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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
484
(2): 01/20(月)17:41 ID:lMN8bpqd(12/12) AAS
>>482
> aα= f(A∖{aξ∣ξ<α})
> 選択関数f
> 集合族 A∖{aξ∣ξ<α} (添え字 α)
> 選択された要素 aα (添え字 α)
> 選択関数f が扱うのは上記限りです
> それ以外の集合族は、関係ないですよ
省7
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/

ご苦労様です
ちょっと出かけていました
さあ 続けようか
省25
489
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/21(火)17:13 ID:N2eH+PDU(3/6) AAS
>>486 補足
 >>484より再録
> 並べる前から集合族 A∖{aξ∣ξ<α}だけ取り出せるか?
> 答えは否

ここで、キーワード 集合族 に注目しよう
そして 下記 選択公理:
空集合を要素に持たない任意の集合族に対して、各要素(それ自体が集合である)から一つずつその要素を選び、新しい集合を作ることができる
省22
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 2.623s*