可算超準モデルの構造とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 可算超準モデルの構造の意味・解説 

可算超準モデルの構造

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/10 08:27 UTC 版)

算術の超準モデル」の記事における「可算超準モデルの構造」の解説

超積モデル非可算となることが知られている。このことを見るには N {\displaystyle \mathbb {N} } の無限直積から超積モデルへ単射構成すればよい。他方レーヴェンハイム-スコーレムの定理により、算術可算な超準モデル存在しなければならない構成法一つとしてヘンキン構成用いた方法がある。 ・定理 算術の超準モデル順序構造は、ある端点持たない稠密全順序集合 Q {\displaystyle {\mathcal {Q}}} を用いて、 N ⊕ Z × Q {\displaystyle \mathbb {N} \oplus \mathbb {Z} \times {\mathcal {Q}}} と表せる。 特に、可算超準モデル場合上の表示において、 Q {\displaystyle {\mathcal {Q}}} は可算となるので、端点持たない稠密全順序理論DLO)の可算範疇性より、 Q {\displaystyle {\mathcal {Q}}} は Q {\displaystyle \mathbb {Q} } と同型となる。したがって可算超準モデル順序構造は N ⊕ Z × Q {\displaystyle \mathbb {N} \oplus \mathbb {Z} \times \mathbb {Q} } と表せる。 ・証明 いま M {\displaystyle M} を算術の超準モデルとする。 M {\displaystyle M} は N {\displaystyle \mathbb {N} } を含んでいるものと見做せる。ペアノ算術では、各自然数 n {\displaystyle n} に対して、 ∀ x ( ⋀ k = 0 n ( x ≠ n ) → n < x ) {\displaystyle \forall x\left(\bigwedge _{k=0}^{n}(x\neq n)\to n<x\right)} が証明可能である。したがって M {\displaystyle M} に於いて真である。このことから M {\displaystyle M} は N {\displaystyle \mathbb {N} } の後ろ無限大からなる部分繋げたような順序構造をしていることが分かる。すなわち、順序集合として M = N ⊕ ( M ∖ N ) {\displaystyle M=\mathbb {N} \oplus (M\setminus \mathbb {N} )} が成り立つ。 次に M ′ = M ∖ N {\displaystyle M'=M\setminus \mathbb {N} } の順序構造調べる。いま M ′ {\displaystyle M'} 上の二項関係 x E y ⟺ x − y ∈ Z {\displaystyle xEy\iff x-y\in \mathbb {Z} } (つまりある自然数 n {\displaystyle n} に対して x = y + n {\displaystyle x=y+n} または y = x + n {\displaystyle y=x+n} ) を考える。これは同値関係となる。各々同値類は [ x ] = { x + n | n ∈ Z } {\displaystyle \left[x\right]=\{x+n|n\in \mathbb {Z} \}} の形をしていることが分かる商集合 Q = M ′ / E {\displaystyle {\mathcal {Q}}=M'/E} 上の二項関係を [ x ] ≪ [ y ] ⟺ x < y  and  y − x ∈ M ′ {\displaystyle \left[x\right]\ll \left[y\right]\iff x<y{\text{ and }}y-x\in M'} で定めると、これはwell-definedであって全順序となることが分かる。このとき、 M ′ {\displaystyle M'} の2元 u , v {\displaystyle u,v} について、 u < v {\displaystyle u<v} であることと、次の条件同値である: [ u ] = [ v ] {\displaystyle \left[u\right]=\left[v\right]} であってu = x + n , v = x + m {\displaystyle u=x+n,v=x+m} と書いたとき n < m {\displaystyle n<m} ;もしくは [ u ] ≪ [ v ] {\displaystyle \left[u\right]\ll \left[v\right]} したがって M ′ {\displaystyle M'} の順序は Z × Q {\displaystyle \mathbb {Z} \times {\mathcal {Q}}} 上の辞書式順序となっている。 最後に Q {\displaystyle {\mathcal {Q}}} の順序構造調べる。任意の x ∈ M ′ {\displaystyle x\in M'} に対して [ x ] ≪ [ 2 x ] {\displaystyle \left[x\right]\ll \left[2x\right]} が成り立つ。任意の元は偶数または奇数であることはペアノ算術証明できる。よって x {\displaystyle x} はある y ∈ M {\displaystyle y\in M} によって x = 2 y , 2 y + 1 {\displaystyle x=2y,2y+1} のいずれかの形に表せる。またこのとき y ∈ M ′ {\displaystyle y\in M'} であり、 [ y ] ≪ [ x ] {\displaystyle \left[y\right]\ll \left[x\right]} が成り立つ。したがって Q {\displaystyle {\mathcal {Q}}} は端点最大元と最小元)を持たない次に x , y ∈ M ′ {\displaystyle x,y\in M'} について [ x ] ≪ [ y ] {\displaystyle \left[x\right]\ll \left[y\right]} と仮定するx + y {\displaystyle x+y} は偶数または奇数だから、ある z ∈ M {\displaystyle z\in M} によって x + y = 2 z , 2 z + 1 {\displaystyle x+y=2z,2z+1} のいずれかの形に表せる。いずれにしても z ∈ M ′ {\displaystyle z\in M'} であり、 [ x ] ≪ [ z ] ≪ [ y ] {\displaystyle \left[x\right]\ll \left[z\right]\ll \left[y\right]} が成り立つ。すなわち Q {\displaystyle {\mathcal {Q}}} は稠密である。 以上よりM = N ⊕ Z × Q {\displaystyle M=\mathbb {N} \oplus \mathbb {Z} \times {\mathcal {Q}}} であり、 Q {\displaystyle {\mathcal {Q}}} は端点持たない稠密全順序集合である。

※この「可算超準モデルの構造」の解説は、「算術の超準モデル」の解説の一部です。
「可算超準モデルの構造」を含む「算術の超準モデル」の記事については、「算術の超準モデル」の概要を参照ください。

ウィキペディア小見出し辞書の「可算超準モデルの構造」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「可算超準モデルの構造」の関連用語

可算超準モデルの構造のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



可算超準モデルの構造のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの算術の超準モデル (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS