[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
749(1): １３２人目の素数さん [sage] 2019/01/24(木) 23:48:32.41 ID:lCDCS7R2(1/3) AAS
「代表が選出された」とは、fが1つ指定済みになった状態のことを指す
もし選択公理が代表を選出するなら、「選択公理」と書いた時点で
「fが1つ指定された状態」になっていなければならない
ところで、(A_λ｜λ∈Λ)を空でない集合族とするとき、
この集合族に対して選択公理を使ったときの書き始めの部分は次のようになる
1. 選択公理により、Π_λ A_λ≠φ である。
2. そこで、f∈Π_λ A_λ を1つ取る。
この2行において、選択公理を使っているのは「1」の部分であり、
この行では Π_λ A_λ≠φ としか言ってないので、まだfは指定されていない。
fを指定しているのは「2」の部分であり、明らかに人間がfを指定している。
そして、この「2」によって「fが1つ指定された状態」になる。
つまり、選択公理そのものは代表を選出しない
まあ細かいニュアンスの違いに過ぎないことには同意するけどね。
762(1): １３２人目の素数さん [sage] 2019/01/25(金) 06:03:35.43 ID:arcY11Uy(1/34) AAS
>>749-753
そこ、時枝記事で重要か？
どうでもよくね？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s