• 締切済み

集合の問題です。至急お願いします！

集合と位相の問題なのですが、Zornの補題の章で帰納的順序集合には極大限があると書いてあったのですがなぜそうなるのでしょうか? 帰納的順序集合には極大限があるという事を証明していただけるでしょうか？ よろしくお願い！！

みんなの回答

回答No.1

「集合・位相入門」　松坂和夫著がお勧めです。

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • Zornの補題の意味は何？

    Zornの補題の意味についての質問ですが、Zornの補題:順序集合Aの任意の全順序部分集合が有界ならぼ、Aは極大元を持つ、というのが、数学の教科書に載ってますが、意味がさっぱり分かりません。その理由を言えば、例えば、実数の区間Aとして、実数体Rの部分集合である、全順序集合{x|x is a real number, 0<x<2}をとれば、Aの任意の全順序部分集合は有界なので、Zornの補題より、Aには極大元（よって、この場合、最大値）が有る事になりますが、あきらかに、Aには極大元（最大値）はありません。私の考えではこのような矛盾が出てきてしまうので、Zornの補題の意味がわかりません。何か、その意味を勘違いしてるのでしょうか?教えてください。

  • Zornの補題について

    Zornの補題を用いて、すべての線形空間V(≠{0})にも基底が存在する事を証明するにはどうすれば良いのでしょうか？ わかる方いましたら解答を教えて頂けると助かります。<(_ _)> Zornの補題：帰納的順序集合Xには極大元が存在する

  • ツォルンの補題：

    ツォルンの補題：帰納的順序集合に極大元がある。 各所で使われますが、意味するもののイメージがわきません。証明はいらないがわかりやすいよう、なるほど成り立つというのが納得いくよう、意味するイメージをわかりやすく説明してほしい。

  • 実数の整列化について

    　大学で数学を学んでいる者です。最近、集合と位相の科目で、整列可能定理を学びました。それは、選択公理・Zornの補題と同値な命題であって、その内容は 「任意の集合において、適当な順序関係を定義すれば、整列集合にすることができる。（整列集合とは、空でない部分集合が常に最小元を持つ集合）」 という内容でした。 　さて、実数の集合は通常の順序関係では整列集合ではありません（例えば開区間は最小数を持ちません）。定理によれば、適当な順序によって実数の集合も整列集合になる訳です。 　それなら、それは具体的にはどのような順序なのかと調べて見たんですけど、どうも見つかりません。どなたか知っている人がいれば教えてください。

  • 集合の問題お願いします

    Aが有限集合ならば、その真部分集合への単射は存在しない。 これを数学的帰納法で証明せよ。

  • 「有限集合の部分集合は有限集合」の証明

    有限集合Xの部分集合Aは有限集合であることの証明がわかりません。 X;集合とします X⊇A とします。 とあるテキストによると,Aが有限集合であるとは, ＿＿∀F∈P(P(X))[F;A上帰納的 ⇒ A∈F] との事です。 ここで,Xの冪集合の冪集合P(P(X))∋FがA上帰納的であるとは, ＿＿φ∈F∧∀C∈F∀x∈A[C∪{x}∈F] であると事,とされています。 この定義に従って, ＿X;有限集合 ⇒ A;有限集合 を証明したいのですが,証明がさっぱり分かりません。 是非とも証明を御教え下さい。宜しくお願い致します。

  • 順序集合などに詳しい方の回答お待ちしています。かなり困ってます・・・。

    (A_α)_α∈Λ(ラムダ)を、整列集合Λを添数集合とする集合族として、各A_αはe_αを最小元とする整列集合とする。 直積Π_[α∈Λ]A_αの元a=(a_α)_α∈Λで、Λの高々有限個の元αを除けばa_α=e_αであるようなものを考え、そのようなa全体の作るΠ_[α∈Λ]A_αの部分集合をAとする。 Aの相異なる2元a=(a_α)、a'=(a'_α)をとる。 a_α≠a'_αとなるαは有限個しか存在しないから、 β=max{α∈Λ｜a_α≠a'_α}が存在する。 このとき、 a_β<a'_βならばa<a' a_β>a'_βならばa>a' のように、写像a、a'の間に順序を定義する。 このようにしてAに順序を導入する。 [問]この順序についてAは整列集合となることを証明せよ。 (証) 次の補題を利用する。 [補題] 順序集合Aの元の列(a_n)_n∈Nで、a_1>a_2>a_3>・・・>a_n>・・・となるものをAにおける降鎖という。Aが全順序集合の場合、Aが整列集合⇔Aにおける降鎖は存在しない。 さて、Ａに導入した順序について、Ａが全順序集合となることは容易に示される。よって、上の補題により、A=ΠA_αに降鎖が存在しないことを示せばよい。 仮に、Aに降鎖a^(1)>a^(2)>・・・>a^(n)>・・・が存在すると仮定し、 a^(n)=(a^(n)_α)_α∈Λ max{α|a^(n)_α≠e_α}=α_nとおく。 するとα_1≧α_2≧・・・≧α_n≧・・・である。 (実際、たとえばα_1<α_2とするとmax{α|a^(2)_α≠e_α}=α_2で、 α_1より大きなαに対してはa^(1)_α=e_αであるから a^(1)_(α_2)＝e_(α_2)<a^(2)_(α_2)つまりa^(1)<a^(2)となり矛盾。したがってα_1≧α_2となること等により。) しかし、{α_n|n∈N}は整列集合Λの部分集合なので整列集合であるから、補題より(α_n)は降鎖でない。したがってあるn0∈Nが存在して α_n0=α_(n0+1)=・・・=α_(n0+n)=・・・となる。 この元をα~とおく。 すると、Aでの降鎖の存在の仮定より、 a^(n0)>a^(n0+1)>・・・>a^(n0+n)>・・・ であったが、これはAでの順序の定義より、 a^(n0)_α~>a^(n0+1)_α~>・・・>a^(n0+n)_α~>・・・ である。・・・(☆) しかるにこれは整列集合A_α~における降鎖が存在することとなって (補題より)A_α~が整列集合であることに矛盾。 したがってAには降鎖は存在しない。つまり、Aは整列集合である(終) のような証明が[集合位相入門/松坂和夫]という本に書かれていました。(☆)より前は理解できるのですが、(☆)の部分だけどうしてもわかりません。 ＞これはAでの順序の定義より、 ＞a^(n0)_α~>a^(n0+1)_α~>・・・>a^(n0+n)_α~>・・・ ＞である。 ということは、Ａでの定義から、証明中で定めたα~が この質問文の冒頭で述べたβとなっているってことですか？ だとしてもなぜだかわかりません・・・。 本当にいくら考えてもまったくわからず困っています。 どなたか、わかる方がいらっしゃったら 回答よろしくお願いしますm(_ _)m ※記号がたくさんあって見にくいと思います。 もし、おなじテキストを持っていたら、そちら(p125)を見て貰えると助かりますが・・・。あと、証明はところどころテキストには書かれていない文章を自分で補っている箇所もあります。

  • 指数関数の補集合が帰納的でない証明

    ヒルベルト第１０問題において。 指数関数がディオファントス集合である、 かつ、帰納的であるという証明の後、 指数関数の補集合が帰納的でない証明をしなければ ならないと思うのですが、 どのように証明するのですか？？

  • 集合の問題です

    集合の問題です x∈Nと<v(x),1>∈Z を同一視する ただし<v(x),1>はv(x)-1を意味する またv(x)=x＋1 とすると下の≦がwell-definedでありNの順序の拡張であることを示せ x≦y⇔<v(x),1>≦<v(y),1> という問題です well-defined の意味は元の取り方によらず定義が出来ている事を証明せよという意味みたいですが、具体的にどうすれば証明ができるのかがよくわかりません できる方いましたらよろしくお願いします

  • 順序集合について…

    Ａが全順序集合ならば、Ａの最大元と極大元の最小元と極小元の概念は一致することを示せ。 という問題なのですが、 つまり最大元(最小元)⇒極大元(極小元)これは、定義より当たり前なので 極大元(極小元)⇒最大元(最小元)これを示せばいんですよね。 ここが問題で、私にはこの最大元(最小元)と極大元(極小元)の違いがよく分かりません。詳しく教えてくれませんか？

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する