12确界原狸 定义设ScR,若彐a∈R,s.t (1)x∈S→x≤O (2)任何a'<a,n∈S,s.t.n>a 则称α为的上确界,记为a=supS 例S=[0,1),SupS=11.2 确界原理 0 0 , s.t. (1) 2 , , s.t. . sup . [0,1), sup 1 S R R x S x x S x S S S S α α α α α α α ⊂ ∃ ∈ ∈ ⇒ ≤ ′ ′ < ∃ ∈ > = = = 设 ，若 ； （ ） 任何 则称 为 的上确界，记为 定 例 义