スレタイ箱入り無数目を語る部屋3

スレタイ箱入り無数目を語る部屋3at MATH

スレタイ箱入り無数目を語る部屋3 - 暇つぶし2ch530:汲揩ﾂ理論は無限のモデルを持たねばならないことをも示す" 多項式環において、その元の各多項式は有限次だが、その次数はいくらでも大きくとることができる従って、多項式環は無限次元線形空間を成す>>459 (代数学 I (第2回) 都築暢夫広島大) 無限次元線形空間においては、無限次元ベクトルが取れるというか、無限次元線形空間からベクトルを無作為に選べば、それは当然無限次元無限次元ベクトル（a0,a1,・・an,・・）を多項式に翻訳すれば f(x)＝a0+a1x^1+・・anx^n・・となるこの式の次数はいかなる有限次よりも大であることは明白これは、レーヴェンハイム?スコーレムの定理の上方部分の通り、正統な結果である (参考) https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86 レーヴェンハイム?スコーレムの定理（英: Lowenheim?Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。 (引用終り) 以上

次ページ

続きを表示

1を表示