内的集合のソースを表示

{{refimprove|date=January 2012}}
[[数理論理学]]、特に[[モデル理論]]および[[超準解析]]における'''内的集合'''（ないてきしゅうごう、{{lang-en-short|''internal set''}}）は、何らかの（集合論的）モデルの要素となる集合を言う。

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

{{ill2|エドワード・ネルソン|en|Edward Nelson}}の{{ill2|内的集合論|en|internal set theory}} (IST) は超準解析に対する公理的アプローチである（{{ill2|構成的超準解析|en|constructive non-standard analysis}}におけるパルムグレン(Palmgren) のアプローチも参照のこと）。超準解析に関する従来の無限大量も内的集合の概念を用いる。

== 超冪構成における内的集合 ==
実数列 {{math|{{angbr|''u{{sub|n}}''}}}} の同値類として[[超実数]]を定める[[超冪]]{{要曖昧さ回避|date=2024年7月}}構成に関連して、{{math|*'''ℝ'''}} の内的部分集合 {{math|{{bracket|''A{{sub|n}}''}}}} は実数からなる部分集合列 {{math|{{angbr|''A{{sub|n}}''}}}} によって定義される。ここに、超実数 {{math|{{bracket|''u{{sub|n}}''}}}} が集合 {{math|{{bracket|''A{{sub|n}}''}} (&sub; *'''ℝ''')}} に属するには、{{math|''u{{sub|n}}'' &isin; ''A{{sub|n}}''}} を満たす添字 {{mvar|n}} 全体の成す集合が {{math|*'''ℝ'''}} の構成において用いた[[超フィルター]]に含まれることが必要十分である。

より一般に、内的量 (internal entity) とは実数に関する量の自然延長の元となるものを言う。ゆえに
* {{math|*'''ℝ'''}} の任意の元は内的である
* {{math|*'''ℝ'''}} の部分集合が内的であるための必要十分条件は {{mathbf|ℝ}} の[[冪集合]] {{math|{{mathcal|{{unicode|𝒫}}}}('''ℝ''')}} の自然延長 {{math|*{{mathcal|{{unicode|𝒫}}}}('''ℝ''')}} の要素であることである
などが言える。

== 実数体の内的部分集合 ==
{{mathbf|ℝ}} の任意の内的部分集合は「有限」でなければならない。換言すれば、超実数体の任意の内的無限部分集合は超準的な元を含まなければならない。その簡単な帰結として、次の集合は外的である：
* 標準自然数 <math>\mathbb{N}</math>
* 超準自然数 <math>{}^{\ast}\mathbb{N}\setminus\mathbb{N}</math>
* 標準実数 <math>\mathbb{R}</math>
* 超準実数 <math>{}^{\ast}\mathbb{R}\setminus\mathbb{R}</math>
* 無限大超実数 <math>G(\mathbb{R}):=\{ x \in {}^{\ast}\mathbb{R} \mid \forall n \in \mathbb{Z}_{+}\ n\leq | x | \}</math>
* 無限小超実数 <math>\mu(\mathbb{R}):=\{ x \in {}^{\ast}\mathbb{R} \mid \forall n \in \mathbb{Z}_{+}\ | x | \leq 1/n \}</math>

== Fehreleの原理 ==
任意の[[モナド (超準解析)|モナディック]]集合 <math>M</math> と[[銀河 (超準解析)|ギャラクティック]]集合 <math>G \subseteq M</math> に対し、内的集合 <math>I</math> が存在して <math>G\subseteq I \subseteq M</math> が成り立つ。したがってとくにモナディックかつギャラクティックな集合は内的である。この事実は「Fehreleの原理」として知られている<ref>{{citation||author1=Bruno Dinis|author2=Imme van den Berg|title=Neutrices and External Numbers: A Flexible Number System|publisher=CRC Press|year=2019|isbn=9781498772679}}</ref>。

== 脚注 ==
{{脚注ヘルプ}}
{{reflist}}

== 参考文献 ==
{{No footnotes|section=1|date=2024年7月11日 (木) 11:22 (UTC)}}
* {{citation|author-link= Robert Goldblatt|last=Goldblatt |first=Robert |title= Lectures on the [[超実数|hyperreal]]s: An introduction to nonstandard analysis |series= [[Graduate Texts in Mathematics]] |volume= 188 |publisher= Springer-Verlag |location= New York |year= 1998 |ref= harv}}
* {{citation | title=Non-standard analysis | author=Abraham Robinson | authorlink=Abraham Robinson | series=Princeton landmarks in mathematics and physics | publisher=Princeton University Press | year=1996 | isbn=978-0-691-04490-3 }}

== 関連項目 ==
* {{ill2|標準部函数|en|Standard part function}}
* [[上部構造 (数学)]]

{{Infinitesimals}}
{{DEFAULTSORT:ないてきしゆうこう}}
[[Category:超準解析]]
[[Category:数学に関する記事]]