第四章極值與確界.docVIP

第四章 極值與確界 集合之極值與確界 定義4.1.1. 令SR為一非空子集合. 若存在s*S使對所有的sS，ss*恆成立，則稱 s*為S之最大(或極大)元素 (maximal element)。 若存在s*S使對所有的sS，ss*恆成立，則稱 s*為S之最小(或極小)元素 (minimal element)。 例題1. 討論下列各集合之最大與極小元素 (a). N (b). Z (c). (d). (e).Q 解：(a). N的最小元素是1，沒有極大元素。 (b). Z沒有最小元素，也沒有最大元素。 (c).沒有最小元素，極大元素為2。 (d).的極小元素為–4，極大元素為2。 (e).Q沒有最小元素，也沒有最大元素。 定義4.1.2. 令SR為一非空子集合 (a). 若存在uR使得對S中的元素s，恆有su，則稱S有上界(bounded above)，u為S之一上界(upper bound)，否則稱S沒有上界。 (b). 若存在lR使得對S中的元素s，恆有ls，則稱S有下界(bounded below)，l為S之一下界(lower bound)，否則稱S沒有下界。 (c). 若S既有上界且有下界，則稱S為有界。 例題2. 在例題1各例中 (a). N有下界但沒有上界 (b). Z沒有下界也沒有上界 (c).為有界 (d).為有界 (e).Q為有界 令SR，S，若S有上界，則集合 U = {xR：x為S之一上界} = 所有S之上界之集合為一半無窮區間。 定理4.1.1. 令u*為U之左端點，則u*U 證明： 若u*U，則u*不是S之上界，因此下面命題不真 su*，sS 所以存在一個s0S 使得u* s0 令u1 = ，則u* u1 s0，則 由u* u1知u1Uu1為S之上界。 (b) 由u1 s0知u1不是S之上界。 因此得出(a)、(b)之矛盾，故假設u*U不正確。 所以u*U，u*稱為是集合S的最小上界(l.u.b. , least upper bound)。 同理，如果S有下界，則存在一個最大的下界(g.l.b. , greatest lower bound) l*。 定義4.1.3. 令SR為一非空子集合 (a). 若u*R滿足 (a.1) u*為S之一上界 (a.2) 若u為S之任一上界，則u*u 則稱u*為S之最小上界。 (b). 若l*R滿足 (b.1) l*為S之一下界 (b.2) 若l為S之任一下界，則ll* 則稱l*為S之最大下界。 由定理4.1.1及其後討論可得 定理4.1.2. 令SR，S。 　(a). 若S有上界，則S之最小上界存在。 　(b). 若S有下界，則S之最大下界存在。 例題3. 討論例題1中各集合之l.u.b.與g.l.b. (a). N沒有l.u.b.，N之g.l.b.為1 (b). Z沒有l.u.b.，也無g.l.b. (c).之l.u.b.為2，g.l.b.為0 (d).之l.u.b.為2，g.l.b.為–4 (e).Q之l.u.b.為π，g.l.b.為0 引理4.1.3. 令SR為一非空子集合 (a). 若S之l.u.b. u*存在，則下面命題為真 ε 0，sS，u*-εsu* ( u*-εsu*) (b). 若S之g.l.b. l*存在，則下面命題為真 ε 0，sS，l* sl*+ε ( l* sl*+ε) 證明：(a) 令ε0為任一正數，則u*-ε u* = l.u.b. of S, 因此u*-ε不是s之上界sS，u*-εs，故得u*-εsu*。 (b) 證法相似。 在上述討論中，如果S沒有上界或沒有下界，當然就沒有l.u.b.或g.l.b.，有 _ 時候會造成討論上的不便，因此引進新的概念。先令R= R。 定義4.1.4. 令SR為一非空子集合。定義 sup S == S之上確界(supremum) inf S == S之下確界(infimum) _ _ 在上述的定義下，非空集合S之上、下確界永遠存在於R中，此時R稱為廣義實數集。 例題4. 討論例題1中各集合之上、下確界 (a) sup N = ， inf N = 1 (b) sup Z = ， inf Z = (c) sup = 2， inf = 0 (d) sup() = 2， inf() =–4 (e) sup(Q) =π， inf(Q) = 0 把定義4.1.4和引理4.1.3結合起來