[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
766(2): 01/29(水)05:52 ID:EVVFWOG9(1/7) AAS
>>760
>ここで、Aのべき集合から空集合を除いた P'を考えて、その部分集合として、
>Aから一つずつ Aの要素を取り出して 集合族A-{aξ：ξ<α}を作る
STOP！
「Aから一つずつ Aの要素を取り出して」のところ
ここで、Aが無限集合なら「Aの空でない部分集合からその要素への選択関数」が必要
なぜか？
それは、要素を取りだす行為が有限回で完結しないから
したがって部分集合が空でないなら、かならず要素が取り出せることを保証せねばならない
それが選択公理 わかった？
783(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/29(水)15:30 ID:s7oLTcE3(3/5) AAS
>>773
ご苦労さんｗ
なんか、大学初年生に諭している気分だなｗ ；ｐ）
１）証明は、君が独り言ちたように、一つではない
”Aが無限集合なら「Aの空でない部分集合からその要素への選択関数」が必要”>>766
って それ あったかな？ｗ
２）いや、「Aの空でない部分集合」を考えるのは良いよ
そして、個人として
「Aの空でない部分集合からその要素への選択関数」を考えるのも君の勝手だ
３）だが、”Aが無限集合なら「Aの空でない部分集合からその要素への選択関数」が必要”
省4
787: 01/29(水)15:57 ID:BOFoeGBB(5/10) AAS
>>783
> ”Aが無限集合なら「Aの空でない部分集合からその要素への選択関数」が必要”>>766
> って それ あったかな？ｗ
選択関数無しでどうやって無限個の元を並べるつもり？
あんたはナイーブに
>Aから一つずつ Aの要素を取り出して
とか言っちゃってるけどさ
>４）「Aの空でない部分集合からその要素への”選択関数”」無しでも
> Thomas Jech氏の証明が成り立つことは、>>778に示した（それは いままでも。何度もね）
上の問いに答えられてないからただの妄想。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s