無限

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

テンプレート:記号文字

無限(むげん、infinity)とは、限りの無いことである。

直感的には「限界を持たない」というだけの単純に理解できそうな概念である一方で、直感的には有限な世界しか知りえないと思われる人間にとって、無限というものが一体どういうことであるのかを厳密に理解することは非常に難しい問題を含んでいる。このことから、しばしば哲学論理学、あるいは自然科学などの一部の分野において考察の対象として無限という概念が取り上げられ、そして深い考察が得られている。

本項では、数学などの学問分野において、無限がどのように捉えられ、どのように扱われるのかを記述する。

無限に関する様々な数学的概念

  • 無限大 :記号∞ (アーベルなどはこれを 1 / 0のように表記していた)で表す。 大雑把に言えば、いかなる数よりも大きいさまを表すものであるが、より明確な意味付けは文脈により様々である。例えば、どの実数よりも大きな(実数の範疇からはずれた)ある特定の“数”と捉えられることもある(超準解析や集合の基数など)し、ある変量がどの実数よりも大きくなるということを表すのに用いられることもある(極限など)。無限大をある種の数と捉える場合でも、それに適用される計算規則の体系は1つだけではない。実数の拡張としての無限大には ∞(+∞) と −∞ がある。大小関係を定義できない複素数には無限大の概念はないが、類似の概念として無限遠点を考えることができる。また、計算機上ではたとえば∞+iのような数を扱えるものも多い。
  • 無限小 (infinitesimal): (0を除く)いかなる数よりも(その絶対値が)小さな数ととられることもある記号あるいは拡張された数。無限大と同じく、これは1つの数を表すものではなく、限りなく小さくなりうる変数と考える。微分積分学における dx などの記号は、これが無限小であるとする考え方は、19世紀を通じて否定されるようになったが、20世紀後半からは、超準解析の立場から見直されるようになった。

感覚的には分かり易いと思われる直観的な無限大・無限小の概念ではあるが、現代的な実数論には直接的には存在しない(いわゆる ε-δ 論法によって量的に扱われる)。一方で、超準解析などにおいては数学的に定式化され、その存在を肯定される。

  • 無限遠点ユークリッド空間平行に走るが、交差するとされる空間外のあるいは拡張された空間における無限遠の点。平行な直線のクラスごとに1つの無限遠点があるとする場合は射影空間が得られる。この場合、無限遠点の全体は1つの超平面無限遠直線無限遠平面 etc.)を構成する。また全体でただ1つの無限遠点があるとする場合は(超)球面が得られる。複素平面に1つの無限遠点 ∞ を追加して得られるリーマン球面は理論上きわめて重要である。無限遠点をつけ加えてえられる射影空間や超球面はいずれもコンパクトになる。
  • 無限集合有限集合(その要素の数が有限である集合)でない集合
  • 無限小数: その小数表示が有限の桁ではない数。
  • 無限列: 数(あるいは点などの要素)に番号を付けて無限に並べたもの、つまり長さが無限の数列、点列など。より厳密には自然数全体の集合 N 上で定義される写像

歴史

紀元前400年から西暦200年頃にかけてのインド数学では、厖大な数の概念を扱っていたジャイナ教の学者たちが早くから無限に関心をもった。教典の一つである「スーリヤ・プラジュニャプティ」(Surya Prajnapti)では、すべての数は可算、不可算、無限の3種類に分類できるとしている。さらに無限には、1方向の無限、2方向の無限、平面の無限、あらゆる方向の無限、永遠に無限の5種類があるとした。これにより、ジャイナ教徒の数学者は現在でいうところの集合論や超限数の概念を研究した。

無限大記号の由来

テンプレート:Mainウロボロスが由来となっている。」や、「ジョン・ウォリスが無限大の記号として採用したのが最初である。」などの説が存在するが、「ローマ数字のↀ(CIƆ)が変化したものである。」という説が有力とされている。

超限数

ドイツ数学者ゲオルク・カントールは、無限には異なる種類があることを見出し、これを超限数と名付けた。現代数学では濃度の概念で捉えられる。

超限数は <math>\aleph</math>(アレフ)の記号を用いて表記され、最も濃度が小さいものは <math>\aleph_0</math>(アレフ・ヌル、またはアレフ・ゼロ)で表される。<math>\aleph_0</math> の次に大きい濃度を持つ集合の濃度は <math>\aleph_1</math> で表され、以後同様に <math>\aleph_2</math> 等が定義される。一方、濃度 <math>\kappa</math> を持つ集合の冪集合の濃度は <math>2^{\kappa}</math> で表されるが、この濃度が常に <math>\kappa</math> より真に大きくなることがカントールにより証明されている。

自然数全体の集合 N の濃度は <math>\aleph_0</math> である。整数全体の集合 Z や有理数全体の集合 Q の濃度も <math>\aleph_0</math> であり、この無限を可算無限と呼ぶ。<math>2^{\aleph_0}</math> の濃度を持つ集合としては実数全体の集合 R がある。

カントールは、<math>\aleph_0</math> より濃度が大きく <math>2^{\aleph_0}</math> より濃度が小さい無限は存在しない --- つまり <math>2^{\aleph_0}=\aleph_1</math> が成り立つ --- という仮説(連続体仮説)を立てたが、これを証明することはできなかった。連続体仮説は、現在では通常の数学の体系からは「証明も反証もできない」ことが証明されている。

また、数学の体系の多くの自然な拡張において、<math>2^{\aleph_0}=\aleph_1</math> ではなく、<math>2^{\aleph_0}=\aleph_2</math> が成り立つことが知られている。

デデキント無限

テンプレート:Details

ある集合が自身と対等な(すなわち同じ濃度を持つ)真部分集合が存在するとき、その集合はデデキント無限であるという。デデキント無限でない集合はデデキント有限であるという。デデキント無限集合は常に無限集合であるが、その逆を証明するには弱い形の選択公理が必要である。無限集合が、デデキント無限集合であるということと、可算無限部分集合を持つことは同値である。

符号位置

記号 Unicode JIS X 0213 文字参照 名称

テンプレート:CharCode

参考文献

関連記事