定義可能実数のソースを表示

[[File:Square root of 2 triangle.svg|thumb|200px| [[2の平方根]]は底辺の長さが 1 の[[直角三角形]]の[[斜辺]]の長さに等しく、ゆえに'''作図可能数'''である]]

非公式には、'''定義可能実数'''（ていぎかのうじっすう）とは説明によって一意的に定まる[[実数]]のことである。
ここでいう説明とは構成方法のことや[[形式言語]]の式で表現されるものである。
例えば、[[2の平方根]]のうち正のもの、<math>\sqrt{2}</math>は
方程式 <math>x^2  = 2</math>の唯一の正の解として定義でき、[[コンパス]]と[[定規]]で作図可能でもある。

形式言語やその解釈の選び方の違いによって定義可能性の概念は異なる。
定義可能な数の概念は幾何学における[[作図可能数]]、[[代数的数]]、[[計算可能実数]]などを含む。
形式言語は[[可算個]]の式しか持たないので、どの形式言語で定義可能性を考えたとしても定義可能実数は可算個しかない。
しかしながら[[カントールの対角線論法]]で知られるように実数は不可算個あるため、[[ほとんど (数学)|ほとんどすべての]]実数は定義不可能な実数である。

== 作図可能数 ==
{{main article|作図可能数}}

実数を特定する手法の一つに幾何学的な方法がある。
実数<math>r</math>が作図可能数であるとは、与えられた長さ1の線分から始めてコンパスと定規を使って長さ<math>r</math>の線分を構成する方法が存在することを言う。

全ての正の整数、および有理数は作図可能である。
2の正の平方根も作図可能である。しかしながら2の立方根は作図可能でない。これは[[立方体倍積問題]]がコンパスと定規で解けないことに関係している。

== 代数的実数 ==
[[File:Algebraicszoom.png|thumb|[[複素平面]]上の代数的数を次数で色分けしたもの(赤=1, 緑=2, 青=3, 黄色=4)]]

実数<math>r</math>が[[代数的数]]であるとは、整数係数の多項式の解であること。
すなわち整数係数の多項式<math>p(x)</math>で<math>p(r)=0</math>となるものが存在すること。

全ての有理数は代数的であるし、全ての作図可能数も代数的数である。2の立方根のように作図可能でない代数的数も存在する。

代数的実数全体は実数体の[[体の拡大|部分体]]になっている。
つまり、0と1は代数的数であり、<math>a</math> と <math>b</math> が代数的実数（ただし<math>b \neq 0 </math>）なら<math>a+b</math>, <math>a-b</math>, <math>ab</math>, <math>a/b</math>も代数的実数である。

また、単に実数体の部分体であるだけでなく、正の整数<math>n</math>と代数的実数<math>a</math>に対して<math>a</math>の<math>n</math>乗根である実数もまた代数的実数となる。

代数的数は[[可算集合|可算個]]しかないが実数は不可算個存在するため、[[濃度 (数学)|濃度]]の意味でほとんどの実数は代数的ではない。
この[[非構成的な証明]]はゲオルグ・カントールの1874年の論文"[[Georg Cantor's first set theory article|On a Property of the Collection of All Real Algebraic Numbers]]"により初めてもたらされた。

代数的でない数のことを[[超越数]]と呼ぶ。
超越数の最も有名な例は [[円周率|{{pi}}]] や [[ネイピア数|{{mvar|e}}]] などである.

== 計算可能実数 ==
実数が[[計算可能実数]]であるとはアルゴリズムで、与えられた任意の自然数<math>n</math>に対して、
その実数の十進展開の<math>n</math>桁目を計算できること。
この概念は[[アラン・チューリング]]によって1936年に提唱された。{{r|turing}}

計算可能実数は代数的数を含み、多くの超越数も含む。<math>\pi</math> や{{nowrap|<math>e</math>.}}も計算可能である。
代数的実数と同様、計算可能実数も実数の部分体を成している。
また、自然数<math>n</math>についての<math>n</math>乗根についても閉じている。

これまでの説明と同様、ほとんどすべての実数は計算可能でない。
計算可能でない実数の例としては、[[Specker sequence]]の極限や、
[[チャイティンの定数|Chaitin's &Omega; numbers]]のような[[アルゴリズム的ランダムな無限列|アルゴリズム的ランダムな実数]]などがある。

== 算術における定義可能性 ==

[[ペアノの公理|ペアノ算術]]のような算術の形式的理論による定義可能性もある。

[[ペアノの公理|算術の言語]]は 0、1、後続者関数、足し算、掛け算を表す記号を持ち、それらは[[自然数]]上での通常の解釈がされることを想定している。
実数<math>a</math>が''算術において定義可能である'' (または''[[算術的階層|算術的]]である'') とは、
その[[デデキント切断]]がその算術の言語の[[Predicate (logic)|述語]]として定義できることである。
すなわち、算術の言語における一階の式<math>\varphi</math>で自由変数を3つ持つもので、
<math display=block>\forall m \, \forall n \, \forall p \left (\varphi(n,m,p)\iff\frac{(-1)^p\cdot n}{m+1}<a \right ).</math>
となるものが存在すること。ここで''m'',''n'',''p''は正の整数の上を動くものとしている。

[[二階算術|second-order language of arithmetic]]は一階算術の言語に加えて、
自然数全体の部分集合全てをわたる量化記号と変数を使用するものである。
実数が二階算術で定義可能であるときそれを''[[解析的階層|解析的]]である''という.

全ての計算可能実数は算術的である。算術的実数は実数の部分体を成しており、解析的実数も同様である。
全ての算術的数は解析的であるが、解析的数で算術的でないものが存在する。
解析的数は可算個しかないので、ほとんどの実数は解析的でなく、算術的でもない。

[[Specker sequence]]の極限は、計算可能ではないが解析的な実数の一例である。

算術的実数と解析的実数の定義は[[算術的階層]]と[[解析的階層]]の中で階層化することができる。
一般に、実数が計算可能であることと、そのデデキント切断が算術的階層の最下層にある<math>\Delta^0_1</math>に位置することは同値である。
同様に、算術的なデデキント切断で定義される実数の集合は解析的階層の最下層を構成する。

== ZFCのモデルにおける定義可能性 ==
実数<math>a</math>が'''パラメータなしで一階の集合論の言語で定義可能である'''とは、
[[集合論]]の言語の式で[[自由変数]]を一つ持つもの <math>\varphi</math> があって、<math>a</math>が<math>\varphi(a)</math>を満たす唯一の実数であること。{{r|kunen}}
この概念自体は集合論の言語の式としては表すことができない。

全ての解析的数、特に計算可能数は集合論の言語で定義可能である。
ゆえに良く知られている実数、すなわち[[Zero|0]], [[One|1]], <math>\pi</math>, <math>e</math>, 代数的数などは全て集合論で定義可能な実数である。

ZFCの集合[[モデル理論|モデル]]<math>M</math>で不可算個の実数を持つものは<math>M</math>の中で (パラメータ無しでは) 定義できない実数を必ず含むことになる。
これは、式が可算個しかなく<math>M</math>上で定義できる<math>M</math>の元は可算個しかないことによる。

この議論は[[フォン・ノイマン宇宙]]のようなZFCの[[クラス (集合論)|クラス]]モデルに適用したとき、さらなる問題が出てくる。
"実数<math>x</math>が''クラス''モデル<math>N</math>の上で定義可能"という主張はZFCの式としては表せない。{{r|hlr|tsirelson}} 
同様に、フォン・ノイマン宇宙が定義できない実数を含むかどうかという問題はZFCの文として表現できない。
さらには、全ての実数、全ての実数集合、実数上の関数などが定義可能であるようなZFCの可算モデルも存在する。{{r|hlr|tsirelson}}

== 関連項目 ==
* [[ベリーのパラドックス]]
* [[構成可能集合]]
* ''[[Entscheidungsproblem]]''
* [[順序数定義可能集合]]
* [[Tarski's undefinability theorem]]

==参考文献==
{{reflist|refs=

<ref name=hlr>{{Citation | last1=Hamkins | first1=Joel David | author1-link = Joel David Hamkins | last2=Linetsky | first2=David | last3=Reitz | first3=Jonas | year=2013 | title=Pointwise Definable Models of Set Theory | journal=[[Journal of Symbolic Logic]] | volume=78 | issue=1 | pages=139–156 | arxiv=1105.4597 | doi=10.2178/jsl.7801090 | s2cid=43689192}}</ref>

<ref name=kunen>{{Citation | last1=Kunen | first1=Kenneth | author1-link=Kenneth Kunen | year=1980 | title=[[Set Theory: An Introduction to Independence Proofs]] | publisher=North-Holland | location=Amsterdam | isbn=978-0-444-85401-8 | page=153}}</ref>

<ref name=tsirelson>{{Citation | last1=Tsirelson | first1=Boris | author1-link=Boris Tsirelson | year=2020 | title=Can each number be specified by a finite text? | periodical=WikiJournal of Science | volume=3 | issue=1 | doi=10.15347/WJS/2020.008 | arxiv=1909.11149 }}</ref>

<ref name=turing>{{Citation | last1=Turing | first1=A. M. | author1-link=Alan Turing | year=1937 | title=On Computable Numbers, with an Application to the Entscheidungsproblem | journal=[[Proceedings of the London Mathematical Society]] | series=2 | volume=42 | issue=1 | pages=230–65 | doi=10.1112/plms/s2-42.1.230 | url=http://www.abelard.org/turpap2/tp2-ie.asp }}</ref>

}}

{{Number systems}}
{{デフォルトソート:ていきかのうしつすう}}
[[Category:集合論]]
[[Category:数学に関する記事]]