内的集合

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "内的集合" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2012年1月)

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

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

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

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

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

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

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

などが言える。

実数体の内的部分集合

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

• 標準自然数 ${\displaystyle \mathbb {N} }$
• 超準自然数 ${\displaystyle {}^{\ast }\mathbb {N} \setminus \mathbb {N} }$
• 標準実数 ${\displaystyle \mathbb {R} }$
• 超準実数 ${\displaystyle {}^{\ast }\mathbb {R} \setminus \mathbb {R} }$
• 無限大超実数 ${\displaystyle G(\mathbb {R} ):=\{x\in {}^{\ast }\mathbb {R} \mid \forall n\in \mathbb {Z} _{+}\ n\leq |x|\}}$
• 無限小超実数 ${\displaystyle \mu (\mathbb {R} ):=\{x\in {}^{\ast }\mathbb {R} \mid \forall n\in \mathbb {Z} _{+}\ |x|\leq 1/n\}}$

Fehreleの原理

任意のモナディック集合 ${\displaystyle M}$ とギャラクティック集合 ${\displaystyle G\subseteq M}$ に対し、内的集合 ${\displaystyle I}$ が存在して ${\displaystyle G\subseteq I\subseteq M}$ が成り立つ。したがってとくにモナディックかつギャラクティックな集合は内的である。この事実は「Fehreleの原理」として知られている^[1]。

脚注

参考文献

この節には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。 脚注を導入して、記事の信頼性向上にご協力ください。（2024年7月）

• Goldblatt, Robert (1998), Lectures on the hyperreals: An introduction to nonstandard analysis, Graduate Texts in Mathematics, 188, New York: Springer-Verlag 
• Abraham Robinson (1996), Non-standard analysis, Princeton landmarks in mathematics and physics, Princeton University Press, ISBN 978-0-691-04490-3 

関連項目

• 標準部函数（英語版）
• 上部構造 (数学)

表 話 編 歴 無限小
歴史	擬等式（英語版） ライプニッツの記法 積分記号 超準解析への批判（英語版） The Analyst（英語版） 『方法』 カヴァリエリの原理（不可分の方法）
関連分野	超準解析 超準微積分学（英語版） 内的集合論（英語版） 綜合微分幾何学（英語版） 滑らかな無限小解析 構成的超準解析（英語版） 無限小応変理論（英語版）（物理学）
定式化	微分小 超実数 二重数 超現実数
個々の概念	標準部分（英語版） 移行原理（英語版） 超整数 増分定理 モナド 内的集合 レヴィ＝チヴィタ体 超有限集合（英語版） 連続の法則（英語版） 溢出（英語版） microcontinuity（英語版） 等質性の超越法則（英語版）
数学者	ゴットフリート・ライプニッツ アブラハム・ロビンソン ピエール・ド・フェルマー オーギュスタン＝ルイ・コーシー レオンハルト・オイラー
教科書	『無限小解析』 『無限小解析の基礎』 『解析教程』