SSブログ

デデキントの切断と上限、下限 [集合論入門]

デデキントの切断と上限、下限

 

§1 上界と下界

 

Aを実数全体の集合Rの空でない部分集合とする。

あるα∈Rがあって、任意のx∈Aに対し、α≧xであるとき、αA上界という。

すなわち、

  

である。

あるβ∈Rがあって、任意のx∈Aに対し、β≦xであるとき、βA下界という。

すなわち、

  

Aの上界(下界)が存在するとき、A上に有界下に有界)であるという。Aが上に有界かつ下に下界であるとき、A有界であるという。

 

例1 空でない実数Rの部分集合

  

があるとする。

α≧1の実数αに対して、任意のx∈Aα≧xだから、αAの上界で、1Aの最小の上界である。

β≦0の実数βに対して、任意のx∈Aβ≦xだから、βAの下界で、0Aの最大の下界である。

また、Aは上に有界でかつ下に有界だから、Aは有界である。

 

§2 最大数と最小数

 

ARの空でない部分集合とする。

α∈Rが存在し、α∈AかつαAの上界であるとき、αA最大数といい、記号max Aで表す。

β∈Rが存在し、β∈AかつβAの下界であるとき、βA最小数といい、記号min Aで表す。

 

例2

  

とする。

このとき、1∈Rは、任意のx∈Aに対して

  

が成立するので、1Aの最大数。したがって、max A=1である。

また、0∈Rは、任意のx∈Aに対して

  

が成立するので、0Aの最小数。したがって、min A=1である。

 

例1の場合、Aの最小の上界11∉AだからAの最大数ではなく、Aの最小の下界00∉AだからAの最小数ではない。

 

§3 上限と下限

 

定理1

Aを実数全体の集合Rの空でない部分集合とする。

(ⅰ) Aが上に有界ならば、Aの上界の全体集合Bには最小数が存在する。

(ⅱ) Aが下に有界ならば、Aの下界の全体集合Bには最大数が存在する。

【証明】

(ⅰ)を証明する。

Aの上界全体の集合をBとし、それ以外の数を全体の集合をCとすれば、

  

である。

何故ならば、pAの上界ではない(補足)ので、

  

だから、

  

したがって、ここに実数(C,B)の切断ができる。

すると、デデキント切断によって

のいずれかが存在するが、この場合は、(2)である。

(1)であるとすると、α∈Cだから、先ほどのpと同様に

  

であるxが存在し、ここで

  

であるα’をとれば、α’<xx∈Aだから、このα’Aの上界ではなくα’∈C

故に、

  

これはα=max Cであることに矛盾する。

(ⅱ)も同様。

(証明終)

 

(補足)

pAの上界であるとは、

  

したがって、pAの上界でないは、上の否定をとった

  

すなわち、

任意のp∈Rに対して、

x>p

を満たすx∈Aが存在する

になる。

(補足終)

 

Aの上界の最小数をA上限といい、sup Aあるいはであらわす。

Aの下界の最大数をA下限といい、inf Aあるいはであらわす。

Aが上に有界(下に有界)でないとき、sup A=+∞inf A=−∞とあらわす。

 

上限、下限を用いると、定理1は次のように言い換えることができる。

 

定理2

(1) 上に有界な集合Aには上限sup Aが存在する。

(2) 下に有界な集合Bには下限inf Aが存在する。

 

 

定理3

sup A=αである必要十分な条件は、任意のx∈Aに対してx≦α、かつ、任意の正数ε>0に対してα−ε<xを満たすx∈Aが存在することである。

すなわち、

  

inf A=βである必要十分な条件は、任意のx∈Aに対してβ≦x、かつ、任意の正数ε>0に対してx<β+εを満たすx∈Aが存在することである。

すなわち、

  

 

 

デデキントの公理をもとにしてこれらの定理を導いたが、定理2からデデキントの公理を次のように導くことができる。

 

A,B)という切断があるとする。

集合Aは上に有界だから、定理2より上限α=sup Aをもち、α∈Aα∈Bのいずれか一方である。

もし、α=sup A∈Aならば、αAの最大数である。

α=sup A∈Bならば、定理3より、任意のε>0に対して、

  

であり、α−ε∉Bとなって、αは集合Bの最大数になる。

 

したがって、デデキントの実数の連続性公理と上限・下限の存在の定理2とは同値であり、どちらを実数の連続性の公理として良いことを示している。

 

実数の連続性の公理 (デデキント)

実数全体の集合Aの切断(A,B)を作ると、Aの最大数かBの最小数かのいずれかの一方だけが存在する。

 


nice!(0)  コメント(0) 

nice! 0

コメント 0

コメントを書く

お名前:
URL:
コメント:
画像認証:
下の画像に表示されている文字を入力してください。

この広告は前回の更新から一定期間経過したブログに表示されています。更新すると自動で解除されます。