次の問題を解いているのですが…。
よろしくお願い致します。(i)の必要性の証明で困ってます。
[[問] 次の(i),(ii)を証明せよ。Z(-)を負整数全体の集合とする。
(i) 全順序集合Aが整列集合でない⇔Z(-)⊂A.
(ii) Aが全順序集合且つAの任意の可算な部分集合が整列集合⇒Aは整列集合
[(i)の証]
十分性を示す。
A=Z(-)と採れば{2z;z∈Z(-)}⊂Aでしかもこの部分集合は最小値を持たない。
よってAは全順序だが整列集合とならない。
必要性を示す。
∃B⊂A;minBが存在しない。その時,Z(-)⊂Aを言えばいいのですがどうすればいえますでしょうか?
[(ii)の証]
対偶「Aは整列集合でないならば(Aは全順序集合でない∨(∃B⊂A;Bは可算だが非整列))」となる。
もし,Aが非整列ならAは全順序ではない場合もありうる。
もし,Aが非整列だがAは全順序の場合,∃B⊂A;(Bは可算∧minBが存在しない)でなければならない。これは,(i)の必要性よりZ(-)⊂A (Z(-)は可算)と言えるのでB:=Z(-)と採ればよい。
この時,B非整列なので(∵最小値を持たないBの部分集合としてBを採ればよい)
Aが全順序集合且つAの任意の可算な部分集合が整列集合⇒Aは整列集合
が示せた。となったのですがこれで正しいでしょうか?
No.6ベストアンサー
- 回答日時:
>(P⇒Q)=trueを示す代わりに¬(P⇒Q)=falseを示すが背理法でしたね。
>P⇒Qの定義は(¬P)∨Qなので¬(P⇒Q)はP∧¬Qですね。
>だから(Aが全順序集合且つAの任意の可算な部分集合が整列集合)∧(Aは非整列集合)
>が偽になる事を言えばいいのですね。
そゆこと。
>(1)の必要性の証明
>minBが存在しないB(⊂A)がある。そこで{b_n}⊂B,b_n>b_(n+1)なる列が採れる。
Z(-)∋∀z|→f(z):=b_-zと順序同型写像が採れるのでZ(-)と{b_n}は順序同型。
よってZ(-)⊂A.
分かってますね。okok。
要するに、「整列である」=「無限降下列を含まない」
がいえるということですね。
ではさようなら。
No.5
- 回答日時:
これは(ⅱ)の証明の修正ですね。
>Aが全順序集合且つAの任意の可算な部分集合が整列集合⇒Aは非整列集合と仮定してみる。
「⇒」は間違い。「かつ」です。
>Aは整列ではないのだから(i)よりZ(-)⊂Aと言え,Z(-)は可算な部分集合なのに整列ではない。
よって矛盾。
あとはいいです。
『「AかつB」が矛盾』から、「AならばBでない」が言えます。
僕が、ほとんど答えを言ったようなものだから、証明を下に、と言ったのは、(1)の必要性の証明のことですよ。
ありがとうございます。
> >Aが全順序集合且つAの任意の可算な部分集合が整列集合⇒Aは非整列集合と仮定してみる。
> 「⇒」は間違い。「かつ」です。
(P⇒Q)=trueを示す代わりに¬(P⇒Q)=falseを示すが背理法でしたね。
P⇒Qの定義は(¬P)∨Qなので¬(P⇒Q)はP∧¬Qですね。
だから(Aが全順序集合且つAの任意の可算な部分集合が整列集合)∧(Aは非整列集合)
が偽になる事を言えばいいのですね。
> 僕が、ほとんど答えを言ったようなものだから、証明を下に、と言ったのは、(1)の必要性の証明のことですよ。
minBが存在しないB(⊂A)がある。そこで{b_n}⊂B,b_n>b_(n+1)なる列が採れる。
Z(-)∋∀z|→f(z):=b_-zと順序同型写像が採れるのでZ(-)と{b_n}は順序同型。
よってZ(-)⊂A.
ですね。
No.4
- 回答日時:
>ありがとうございます。
おかげさまで見通しよくなりました。理解しましたか?
もう答えを言った様なもんなんで、証明できたら、下にどうぞ。
> 理解しましたか?
> もう答えを言った様なもんなんで、証明できたら、下にどうぞ。
Aが全順序集合且つAの任意の可算な部分集合が整列集合⇒Aは非整列集合
と仮定してみる。
Aは整列ではないのだから(i)よりZ(-)⊂Aと言え,Z(-)は可算な部分集合なのに整列ではない。
よって矛盾。
、、、ですね。
No.3
- 回答日時:
(ⅱ)の証明は大筋はいいが・・・ああ、添削したい。
まず確認やが、
>(i) 全順序集合Aが整列集合でない⇔Z(-)⊂A.
のZ(-)⊂Aの意味は、Aの部分集合でZ(-)と順序同型なものがとれる、という意味ですね。
>[(i)の証]
>十分性を示す。
>A=Z(-)と採れば{2z;z∈Z(-)}⊂Aでしかもこの部分集合は最小値を持たない。
・Z(-)⊆A のとき A=Z(-)とは普通なりませんね。Z(-)≠A の場合はどうするのですか?
・それとも(善意に解釈すると)、”Aの部分集合Bとして、B=Z(-) をとると”、という意味ですか?
・そもそも{2z;z∈Z(-)}を考えるまでもなく、Z(-) が最小値を持たないでしょう。
・十分性はきわめて簡単な証明になりますから、やり直しましょう。
>[(ii)の証]
>もし,Aが非整列だがAは全順序の場合,∃B⊂A;(Bは可算∧minBが存在しない)でなければならない。
・minBが存在しない→Bは非整列 (この二つは勿論同じではない)
・「でなければならない」→であることをを示せば良い。
>これは,(i)の必要性よりZ(-)⊂A (Z(-)は可算)と言えるのでB:=Z(-)と採ればよい。
・B:=Z(-)→B=Z(-) (こんなところで「定義」の記号は使わない)
>この時,B非整列なので(∵最小値を持たないBの部分集合としてBを採ればよい)
>Aが全順序集合且つAの任意の可算な部分集合が整列集合⇒Aは整列集合が示せた。となったのですがこれで正しいでしょうか?
最後は良い。
(2)は(1)からほとんど自明なので、(1)の必要性が、この問題のポイントですね。
整列でないということは、最小値を持たない部分集合がとれるわけで、その中に、Z(-) と同型な集合が(つまり、無限降下列が)とれそうですね。
後は自分で。レスには答えます。
ありがとうございます。
> のZ(-)⊂Aの意味は、Aの部分集合でZ(-)と順序同型なものがとれる、という意味ですね。
はい、そうです。
> >[(i)の証]
> >十分性を示す。
:
> (2)は(1)からほとんど自明なので、(1)の必要性が、この問題のポイントですね。
ありがとうございます。おかげさまで見通しよくなりました。
No.2
- 回答日時:
[(ii)の証]ですが、対偶
>対偶「Aは整列集合でないならば(Aは全順序集合でない∨(∃B⊂A;Bは可算だが非整列))」となる。
としていますが、「背理法で証明すれば」(i) から容易に導けると
思います。全順序まで否定してはいけません。すなわち
Aが全順序集合且つAの任意の可算な部分集合が整列集合であるのに
「Aは整列集合でない」と仮定する。
すると(i) から、Aは「整数全体の集合と順序同型な」Z(-)を含む
Z(-)⊂A あとは、整列集合の定義がわかっていれば終わりです。
よって
[(i)の証明]がポイントです。
命題「全順序集合Aが整列集合である」の否定の命題は
「整列集合である」の定義から、どういうことか、書き出してみましょう。
ありがとうございます。
> [(ii)の証]ですが、対偶
>>対偶「Aは整列集合でないならば(Aは全順序集合でない∨(∃B⊂A;Bは可算だが非整列))」となる。
> としていますが、「背理法で証明すれば」(i) から容易に導けると
> 思います。
そうですね。背理法なら簡単ですね。
> [(i)の証明]がポイントです。
> 命題「全順序集合Aが整列集合である」の否定の命題は
> 「整列集合である」の定義から、どういうことか、書き出してみましょう。
否定は「全順序集合Aが整列集合でない」なので「全順序集合Aにおいて∃B⊂A;Bは最小元を持たない」ですね
No.1
- 回答日時:
初めに、Z(-)⊂Aって順序同型の意味で含まれるということで良いんだよね。
(i)
> A=Z(-)と採れば{2z;z∈Z(-)}⊂Aでしかもこの部分集合は最小値を持たない。
この書き方だと何も示せてないよ。A=Z(-)はどこから出るの?
証明自体は、Z(-)⊂AならZ(-)自体が最小値を持たない部分集合だから自明だよね。
必要性は
B⊂Aに最小値が存在しないとしよう。このとき、b(n)∈Bならb(n+1)∈Bかつb(n+1)<b(n)なb(n+1)があるわけだ。このとき{b(n)}はZ(-)と順序同型になる。
(ii)
冗長な書き方だと思うけど、特に間違いはないかな。
簡略に書けば、Aが全順序で整列でなければ(i)からZ(-)⊂Aで、Z(-)が整列でない可算な部分集合になるから背理法で示せるね。
ありがとうございます。
> 初めに、Z(-)⊂Aって順序同型の意味で含まれるということで良いんだよね。
はい,そうです。
> (i)
>> A=Z(-)と採れば{2z;z∈Z(-)}⊂Aでしかもこの部分集合は最小値を持たない。
> この書き方だと何も示せてないよ。A=Z(-)はどこから出るの?
そうでした。A=Z(-)だと特殊な場合しか言ってない事になりますね。
> 証明自体は、Z(-)⊂AならZ(-)自体が最小値を持たない部分集合だから自明だよね。
そうでした。自明でした。
> 必要性は
> B⊂Aに最小値が存在しないとしよう。このとき、b(n)∈Bならb(n+1)∈B
> かつb(n+1)<b(n)なb(n+1)があるわけだ。このとき{b(n)}はZ(-)と順序同型になる。
納得できました。どうもありがとうございました。
> (ii)
> 冗長な書き方だと思うけど、特に間違いはないかな。
> 簡略に書けば、Aが全順序で整列でなければ(i)からZ(-)⊂Aで、
> Z(-)が整列でない可算な部分集合になるから背理法で示せるね。
ありがとうございます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
区間縮小法
-
位相でないものの例
-
フーリエ変換についてのコト
-
高2の数学の対数関数です。 真...
-
エクセルで(~以上,~以下)...
-
シグマの範囲が2nまでの関数で...
-
離れた列での最大値の求め方
-
【数学】 lim x→a ↑これってど...
-
「余年」の意味について教えて...
-
年代と年台・・・どちらが正し...
-
「無限の一つ前の数字は何?」...
-
不等式で辺々加えるときに不等...
-
三角関数 -3分のπって3分の5...
-
lim[n→∞](1-1/n)^n=1/e について
-
数3微分についてです。 合成関...
-
フーリエ変換後の負の周波数成...
-
変数と関数の違いはなんですか?
-
三角関数の範囲について、 0≦x≦...
-
2次関数
-
f(x)=logx/x (x>0) の極限の求...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報