ガロア第一論文と乗数イデアル他関連資料スレ12 (903レス)
前次1-
抽出解除 レス栞

484
(2): 01/20(月)17:41 ID:lMN8bpqd(12/12) AAS
>>482
> aα= f(A∖{aξ∣ξ<α})
> 選択関数f
> 集合族 A∖{aξ∣ξ<α} (添え字 α)
> 選択された要素 aα (添え字 α)
> 選択関数f が扱うのは上記限りです
> それ以外の集合族は、関係ないですよ
 正真正銘の馬鹿
 並べる前から集合族 A∖{aξ∣ξ<α}だけ取り出せるか?
 答えは否
省4
485
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/21(火)16:52 ID:N2eH+PDU(1/6) AAS
>>484
<公開処刑 続く>
(『 ZF上で実数は どこまで定義可能なのか?』に向けて と
  (あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/

ご苦労様です
ちょっと出かけていました
さあ 続けようか

有名な ケネス・キューネンの海賊版を覗いてみた
下記 1)2)と4)を見たが、本件の記述はあまりなかった
( 3)は、期待できそうになかったので、海賊版検索はしなかった)
省22
489
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/21(火)17:13 ID:N2eH+PDU(3/6) AAS
>>486 補足
 >>484より再録
> 並べる前から集合族 A∖{aξ∣ξ<α}だけ取り出せるか?
> 答えは否

ここで、キーワード 集合族 に注目しよう
そして 下記 選択公理:
空集合を要素に持たない任意の集合族に対して、各要素(それ自体が集合である)から一つずつその要素を選び、新しい集合を作ることができる
だった

ここで注目キーワード、集合族は 当然 選択公理なしで、構成できなければならない
集合族が出来た後が、選択公理の出番であり、そこから 選択公理のお仕事が始まる
省19
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 3.434s*