- ベストアンサー
Zornの補題の意味は何?
takttaの回答
http://okwave.jp/qa2205290.html 下記のリンク先が参考になりませんか。 また松村英之朝倉書店 集合論をみればいいかとも思います。
関連するQ&A
- Zornの補題について
Zornの補題を用いて、すべての線形空間V(≠{0})にも基底が存在する事を証明するにはどうすれば良いのでしょうか? わかる方いましたら解答を教えて頂けると助かります。<(_ _)> Zornの補題:帰納的順序集合Xには極大元が存在する
- ベストアンサー
- 数学・算数
- 集合の問題です。至急お願いします!
集合と位相の問題なのですが、Zornの補題の章で帰納的順序集合には極大限があると書いてあったのですがなぜそうなるのでしょうか? 帰納的順序集合には極大限があるという事を証明していただけるでしょうか? よろしくお願い!!
- 締切済み
- 数学・算数
- 実数の整列化について
大学で数学を学んでいる者です。最近、集合と位相の科目で、整列可能定理を学びました。それは、選択公理・Zornの補題と同値な命題であって、その内容は 「任意の集合において、適当な順序関係を定義すれば、整列集合にすることができる。(整列集合とは、空でない部分集合が常に最小元を持つ集合)」 という内容でした。 さて、実数の集合は通常の順序関係では整列集合ではありません(例えば開区間は最小数を持ちません)。定理によれば、適当な順序によって実数の集合も整列集合になる訳です。 それなら、それは具体的にはどのような順序なのかと調べて見たんですけど、どうも見つかりません。どなたか知っている人がいれば教えてください。
- ベストアンサー
- 数学・算数
- 最大元と極大元の定義の違いが分かりません
数学の基礎「齋藤正彦著」p22からの抜粋です。 定義 (X,≦)を順序集合,AをXの部分集合とする。 「1) aがAの元でAの全ての元xに対してx≦aが成り立つ時,aをAの最大元といい,maxAと書く,Aの全ての元xに対してa≦xが成り立つ時,aをAの最小元といい,minAと書く。最大元や最小元は存在するとは限らない,あるとすれば一つしかない。 2) aがAの元で,Aのいかなる元xに対してもa<xとならない時,aを極大元という。x<aなるAの元が存在しない時,aを極小元という。極大元や極小元は存在しない事も有るし,沢山存在する事もある」 と定義が紹介されてるのですが最大元と極大元についてのこの文意 "aがAの元でAの全ての元xに対してx≦aが成り立つ"と"aがAの元で,Aのいかなる元xに対してもa<xとならない" とは同値だと思います。 違いが分かりません。 一体,どのように違うのでしょうか?
- ベストアンサー
- 数学・算数
- 集合 上限 下限
集合 上限 下限 Wikipediaによれば、 上界の集合の最小元(つまり、最小の上界)のことを、上限といい、sup(A) と書く。 下界の集合の最大元(つまり、最大の下界)のことを、下限といい、inf(A) と書く。 http://www.misojiro.t.u-tokyo.ac.jp/~murota/lect-kisosuri/supmax031208.pdf を参考にしたのですが理解出来できませんでした。 Aを実数の部分集合とするとき、 実数 a が、Aの上界であるとは、Aの任意の元x に対して、x≦a が成り立つことである。 そのなかで、最小の上界を上限と言う。 ピンときません・・・ 具体例を示して教えて頂けるとありがたいです。 ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 位相数学の証明問題です。
(1)R空間の部分集合で連結かつコンパクトなものは有界な閉区間に限ることを示してください。 (3)[a,b]上で定義された実数値連続関数f(x)に対して、正の実数δで次の※性質をもつものが存在することを示してください。 ※|x-y|<δを満たすすべてのx,y∈[a,b]に対して、|f(x)-f(y)|<0.1 の証明を、どなたか分かる方、よろしくお願いします
- 締切済み
- 数学・算数
お礼
リンク先見てみました。参考にしてみます。あと、参考書を教えてくれてありがとうございます。