
すみませんが、定理7.1について、説明が簡潔過ぎるためか私に理解できないことがありますのでお教えいただければありがたく思います。
「定理7.1 すべての集合Aについて、Aのべき集合β(A)からAへの単射は存在しない」について
この証明のあらすじを簡単に3段階にまとめると
(i) 単射f:β(A)→Aが存在すると仮定して
X={f(B)|B∈β(A),f(B)∉B}、x=f(X)・・・・・①
なるX(=Aの部分集合)を考える。
(ii)しかしそのようなXの存在は自己矛盾している(第3行目~第6行目)ので、①のようなXは存在し得ない。
(iii)したがってfは単射ではない。
ということになると思います。
しかし、単射fで①以外のAの部分集合
Y={f(B)|B∈β(A),f(B)∈B}、y=f(Y)・・・・・②
もあり得ると思います。これも否定されないと証明は不十分なのではないでしょうか?
それとも単射fを仮定すると必ず①のようなXが存在するはずである、ということが暗黙に言えているのでしょうか?
A 回答 (3件)
- 最新から表示
- 回答順に表示
No.3
- 回答日時:
φ⊂A
φ∈β(A)
f(φ)∉φ
だから
f(φ)∈X={f(B)|B∈β(A),f(B)∉B}…①
だから
X≠φ
だから
単射fを仮定すると必ず①のようなXが存在する
単射f:β(A)→Aが存在すると仮定して
X={f(B)|B∈β(A),f(B)∉B}
f(X)∈Xと仮定すると
fは単射だから
X∈β(A)
f(X)∉X
となってf(X)∈Xに矛盾する
f(X)∉Xと仮定すると
X∈β(A)
だから
f(X)∈X
となってf(X)∉Xに矛盾する
No.2
- 回答日時:
A:「宝クジは外れる場合がある。
」B:「当たる場合もあるから、そんなこと言えないでしょ。」
どちらが正しい?
No.1
- 回答日時:
とりあえず ① のうしろにある
x=f(X)
って何の意味があるの?
そして「単射fを仮定すると必ず①のようなXが存在する」んだけど.... どこが疑問?
ご回答ありがとうございます。
「単射fを仮定すると必ず①のようなXが存在する」が証明の初めに書いてあればそれなりに納得したと思うのですが、いきなり①が出てきてなぜこのようにおくことができるのかがわからなかったのが疑問が出た理由です。
強いて書くとすれば下記のようになると思いますが?もし齟齬があればご指摘くださればありがたく思います。
f:β(A)→A が単射であるとする。
Aの部分集合は
X={f(B)|B∈β(A),f(B)∉B}、x=f(X)・・・・・①
Y={f(B)|B∈β(A),f(B)∈B}、y=f(Y)・・・・・②
のどちらかであるが、①は必ず存在する。
なぜなら②はAの部分集合Bに対してf(B)(∈A)なる元1個しか含まないものの存在しか許さないのでβ(A)の元すべてを表し尽くせないからである。
以上
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
今、見られている記事はコレ!
-
弁護士が解説!あなたの声を行政に届ける「パブリックコメント」制度のすべて
社会に対する意見や不満、疑問。それを発信する場所は、SNSやブログ、そしてニュースサイトのコメント欄など多岐にわたる。教えて!gooでも「ヤフコメ民について」というタイトルのトピックがあり、この投稿の通り、...
-
弁護士が語る「合法と違法を分けるオンラインカジノのシンプルな線引き」
「お金を賭けたら違法です」ーーこう答えたのは富士見坂法律事務所の井上義之弁護士。オンラインカジノが違法となるかどうかの基準は、このように非常にシンプルである。しかし2025年にはいって、違法賭博事件が相次...
-
釣りと密漁の違いは?知らなかったでは済まされない?事前にできることは?
知らなかったでは済まされないのが法律の世界であるが、全てを知ってから何かをするには少々手間がかかるし、最悪始めることすらできずに終わってしまうこともあり得る。教えてgooでも「釣りと密漁の境目はどこです...
-
カスハラとクレームの違いは?カスハラの法的責任は?企業がとるべき対応は?
東京都が、客からの迷惑行為などを称した「カスタマーハラスメント」、いわゆる「カスハラ」の防止を目的とした条例を、全国で初めて成立させた。条例に罰則はなく、2025年4月1日から施行される。 この動きは自治体...
-
なぜ批判コメントをするの?その心理と向き合い方をカウンセラーにきいた!
今や生活に必要不可欠となったインターネット。手軽に情報を得られるだけでなく、ネットを介したコミュニケーションも一般的となった。それと同時に顕在化しているのが、他者に対する辛らつな意見だ。ネットニュース...
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
【遊びのピタゴラスイッチはな...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
至上最難問の数学がとけた
-
大学の記述入試で外積は使えま...
-
AとBはn次正方行列とする。 積A...
-
直角三角形じゃないのに三平方...
-
x^100を(x+1)^2で割ったときの...
-
「ax+by=1を満たす整数x,yが存...
-
パップスギュルダンの定理について
-
実数の整列化について
-
modを使用した平方根の求め方
-
ほうべき(方巾)の定理について
-
複素幾何の予備知識
-
コーシーの積分定理 複素積分
-
微分形式,微分幾何学の参考書
-
合同式の変形
-
4.6.8で割るとあまりはそれぞれ...
-
「メネラウスの定理」、学校で...
-
大学数学 解答
-
ピタゴラス数について。
おすすめ情報