内的集合とは? わかりやすく解説

内的集合

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/06/23 02:49 UTC 版)

数理論理学、特にモデル理論および超準解析における内的集合(ないてきしゅうごう、: internal set)は、何らかの(集合論的)モデルの要素となる集合を言う。

内的集合の概念は、(実数全体の成す集合 の性質と超実数と呼ばれるより大きな体 * の持つ性質との間の論理的な関係を取りなす)移行原理英語版を定式化する際の道具となる。超実体 * は、特に無限小数を含み、無限小を用いた議論を数学的に厳密に正当化することができる。厳密さをさておけば、移行原理とは「数理論理学的に適当な言語で言い表された 上の解析学は、同様に * に対しても適用できる」ことを指摘するものである。集合論的なレベルで言えば、そのような言語に関する命題が(任意の集合ではなく)内的集合に対してのみ解釈されるということが、その適用を可能とする理由である(ここでは「言語」という用語をややいい加減な意味で用いていることを断っておく)。

エドワード・ネルソン英語版内的集合論英語版 (IST) は超準解析に対する公理的アプローチである(構成的超準解析英語版におけるパルムグレン(Palmgren) のアプローチも参照のこと)。超準解析に関する従来の無限大量も内的集合の概念を用いる。

超冪構成における内的集合

実数列 un の同値類として超実数を定める超冪構成に関連して、* の内的部分集合 [An] は実数からなる部分集合列 An によって定義される。ここに、超実数 [un] が集合 [An] (⊂ *) に属するには、unAn を満たす添字 n 全体の成す集合が * の構成において用いた超フィルターに含まれることが必要十分である。

より一般に、内的量 (internal entity) とは実数に関する量の自然延長の元となるものを言う。ゆえに

  • * の任意の元は内的である
  • * の部分集合が内的であるための必要十分条件は 冪集合 𝒫() の自然延長 *𝒫() の要素であることである

などが言える。

実数体の内的部分集合

の任意の内的部分集合は「有限」でなければならない。換言すれば、超実数体の任意の内的無限部分集合は超準的な元を含まなければならない。その簡単な帰結として、次の集合は外的である:


内的集合

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/13 23:33 UTC 版)

超準解析」の記事における「内的集合」の解説

集合 x が内的とは、ある A ∈ V ( R ) {\displaystyle A\in V(\mathbb {R} )} に対して x ∈ ∗ A {\displaystyle x\in {}^{\ast }A} となることをいう。 A ∈ V ( R ) {\displaystyle A\in V(\mathbb {R} )} ならば ∗ A {\displaystyle {}^{\ast }A} 自身内的である。 超準解析基本的な論理的枠組み定式化しよう: 拡大原理写像 ∗ {\displaystyle \ast } は R {\displaystyle \mathbb {R} } 上で恒等的である。 移行原理いかなる有界論理式 P ( x 1 , … , x n ) {\displaystyle P(x_{1},\ldots ,x_{n})} と A 1 , … , A n ∈ V ( R ) {\displaystyle A_{1},\ldots ,A_{n}\in V(\mathbb {R} )} に対しても、次の同値成り立つ: P ( A 1 , … , A n ) ⟺ P ( ∗ A 1 , … , ∗ A n ) {\displaystyle P(A_{1},\ldots ,A_{n})\iff P({}^{\ast }A_{1},\ldots ,{}^{\ast }A_{n})} 可算飽和性:もし { A k } k ∈ N {\displaystyle \{A_{k}\}_{k\in \mathbb {N} }} が空でない内的集合の減少列ならば、 ⋂ k A k ≠ ∅ {\displaystyle \bigcap _{k}A_{k}\neq \emptyset } 超積用いることで、このような写像 ∗ {\displaystyle \ast } が存在することが示せる。 V ( R ) {\displaystyle V(\mathbb {R} )} の元は標準的呼ばれる。 ∗ R {\displaystyle {}^{\ast }\mathbb {R} } の元は超実数呼ばれる

※この「内的集合」の解説は、「超準解析」の解説の一部です。
「内的集合」を含む「超準解析」の記事については、「超準解析」の概要を参照ください。

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


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

辞書ショートカット

すべての辞書の索引

「内的集合」の関連用語

内的集合のお隣キーワード
検索ランキング

   

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



内的集合のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの内的集合 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの超準解析 (改訂履歴)、超整数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS