12确界原理 定义设S∈R,若彐β∈R,St (1)x∈S→x≥B (2)任何β′>β,彐x∈S,s.t.<B 则称β为的下确界,记为β=infS1.2 确界原理 0 0 , s.t. (1) 2 , , s.t. . inf S R R x S x x S x S S β β β β β β β ⊂ ∃ ∈ ∈ ⇒ ≥ ′ ′ > ∃ ∈ < = 设 ，若 （ ）任何 则称 为 的下确界，记为 定义