[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ12 http://rio2016.5ch.net/test/read.cgi/math/1735693028/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
676: 132人目の素数さん [] 2025/01/27(月) 13:25:06.95 ID:T6In1xa/ >>674 >選択公理は、無限集合族を定義域とする関数だから、特別に公理が必要だ >”P(A)-Φ”という 定義域が ただ一つならば、置換公理の関数で間に合う 馬鹿だねえ君は P(A)-ΦはAの空でない部分集合全体からなる集合族だろ なんで馬鹿アピールやめられないの? もう十分だと言ってるのに http://rio2016.5ch.net/test/read.cgi/math/1735693028/676
677: 132人目の素数さん [] 2025/01/27(月) 13:43:17.83 ID:T6In1xa/ >>674 f:P(A)-Φ→AはAの空でない任意の部分集合の代表元を定めている選択関数なんだよ このfを用いて a0=f(A) a1=f(A-{a0}) a2=f(A-{a0,a1}) ・・・ でAの元を並べ、α<β⇔aα<aβで(A,<)を定義することで、Aとsup{α|aα is defined}との順序同型写像を構成してるんだよ それによってAが整列集合であることが言えるのさ 君、ぜんぜん分かってないね もう黙れば? 口開くとアホなことしか言わないから http://rio2016.5ch.net/test/read.cgi/math/1735693028/677
678: 132人目の素数さん [] 2025/01/27(月) 13:51:25.90 ID:zED1d/2g >>674 >Aに 順序数の付番付け をするために、そのべき集合P(A)-Φの 順序数の付番付け が必要とする考え だれも、そんな●ったことは言ってないが? 幻聴が聞こえるのか? ●ル http://rio2016.5ch.net/test/read.cgi/math/1735693028/678
679: 132人目の素数さん [] 2025/01/27(月) 13:53:39.37 ID:zED1d/2g >>674 > Jech氏の意図は、べき集合P(A)-Φの部分集合として{A,A-{a1},A-{a2},・・・} が、置換公理で取り出せるってことだね どこにもそんなこと書いてないが 幻聴が聞こえるのか? ●ル http://rio2016.5ch.net/test/read.cgi/math/1735693028/679
680: 132人目の素数さん [] 2025/01/27(月) 13:57:16.76 ID:zED1d/2g >>674 fを決めれば、a1、a2、・・・は一意だが http://rio2016.5ch.net/test/read.cgi/math/1735693028/680
681: 132人目の素数さん [] 2025/01/27(月) 13:58:57.35 ID:zED1d/2g >>674 > as desired ●ルは英語も読めんのか 「望みどおり 整列が得られる」という意味だろ http://rio2016.5ch.net/test/read.cgi/math/1735693028/681
682: 132人目の素数さん [] 2025/01/27(月) 14:01:54.21 ID:VZyTU7BU ●ルに引導 1.Aを整列するのに、P(A)-φからAへの選択関数fは必要だが、P(A)-φ全体の整列など不要 2.上記の選択関数fを決めれば、Aの整列は一意に決まるが、逆にAの整列から、上記の選択関数fは一意に決まらない http://rio2016.5ch.net/test/read.cgi/math/1735693028/682
683: 132人目の素数さん [] 2025/01/27(月) 14:12:10.26 ID:T6In1xa/ >>674 これは酷い >さて、以前にも書いたが そしてまた間違えた http://rio2016.5ch.net/test/read.cgi/math/1735693028/683
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 319 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.157s*