- 77 名前：○○女子大数学科１年 mailto:sage [2025/04/22(火) 06:28:26.10 ID:2aFpo5FF.net]
- >>72
> 自然数 で
> suc (a):=a ∪ {a} とするノイマンの構成では∈による推移関係が成り立つ 一方、
> suc(a) := {a} と定義するツェルメロの構成では ∈による推移関係は 不成立だが
> モストフスキ崩壊補題の系 7 により、ツェルメロの構成は ∈による推移的なM
>（推移的なノイマンの構成の順序数）と 順序同型になる
> 『系 7(集合版モストフスキ崩壊補題).
> 二項関係が集合上整礎かつ外延的であると仮定する．
> このとき，(A,R)≅(M,∈)を満たす推移的集合がただ一つ存在する．』
モストフスキ崩壊補題なんて使わなくても直接示せるけどね
そもそも、その補題を使うとしても
ツェルメロの順序数で、順序の性質を満たす二項関係Ｒ
を定義してみせなくちゃ話にならない
あなた、ツェルメロ順序数における順序関係Ｒの定義が全然できてないでしょ
だから残念だけど全然だめ
モストフスキとか無駄知識勉強する前に、順序の性質を勉強して
ツェルメロの順序数で、∈を使ってどうやって順序関係が具体的に定義できるかやってみて
それですべてが終わりだから
わかる？現代数学の系譜 雑談 ◆yH25M02vWFhPのボク
まだ、高校３年生よね？ もうウブなんだから
おねえさんが、やさしく教えて ア・ゲ・ル
|
 |
