現代数学の系譜工学物理雑談古典ガロア理論も読む42

現代数学の系譜工学物理雑談古典ガロア理論も読む42at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む42 - 暇つぶし2ch744:6%95%B0 超実数 (抜粋) 超冪による構成ここで一つの疑問が出てくる。それは U とは違う自由超フィルター V を選んだら、その商 A/V は A/U に同型かどうかということだ。この疑問は、連続体仮説と同等であるということがわかっている。ZFC と連続体仮説を仮定したうえで、これらの体は順序同型で一意的であるということが証明できる。 ZFC と連続体仮説の否定を仮定したうえで、それぞれ可算に添字付けられた実数の超冪で、順序非同型な体のペアが存在することを証明できる。＜和文と同じ箇所＞ https://en.wikipedia.org/wiki/Hyperreal_number Hyperreal number (抜粋) The ultrapower construction One question we might ask is whether, if we had chosen a different free ultrafilter V, the quotient field A/U would be isomorphic as an ordered field to A/V. This question turns out to be equivalent to the continuum hypothesis; in ZFC with the continuum hypothesis we can prove this field is unique up to order isomorphism, and in ZFC with the negation of continuum hypothesis we can prove that there are non-order-isomorphic pairs of fields that are both countably indexed ultrapowers of the reals. (引用終り) つづく

次ページ

続きを表示

1を表示