点 (数学)のソースを表示

'''点'''（てん）とは、空間における正確な位置を定義するために使われる概念である。一切の体積、面積、長さをもたない。数学では概して(特に位相幾何学)、どの空間形態も基本的要素として点から成るとされる。点は幾何学、物理学、ベクトル・グラフィックスにおいて基本的用語として使われる。

==ユークリッドの点==
ユークリッド幾何学における"点"は大きさ、方向など位置以外のあらゆる特徴を持たない。ユークリッドの公理や仮定では、一部の場合には点の存在が明らかだとする。つまり例えば、1平面上の2直線が平行でなければ、その両線上に位置する1点が確実に存在する。

時にユークリッドはこの公理に沿わない事実があることを想定した。例えば線上の点の順序についてや、時に有限個の点ではない点の存在についてである。そのため、点に対する伝統的公理は全てが完全で決定的というわけではない。

[[エウクレイデス|ユークリッド]]の[[ユークリッド原論|原論]]によれば、「位置をもち、部分を持たないものである」と "[[定義]]" されている。また、[[公理]]からの[[演繹]]を重視する現代数学においては、「点とは何か」ということを直接に定義せず、単に[[幾何学]]的な[[集合]]（[[空間]]）の元のことであるとみなされる。これは、点（や[[直線]]など）を[[実体]]のない[[無定義術語]]として導入しておいて、その性質として幾つかの公理を満たすことを "要請" するという立場である。

たとえば、[[ユークリッド幾何学]]とよばれる "普通の" 幾何学が成立する空間（[[ユークリッド空間]]）では、点は

* 任意の一点から他の一点に対して直線（[[線分]]）を引くことができる。
* 任意の点を中心として任意の長さ（[[半径]]）で[[円 (数学)|円]]を描くことができる。

などの公理（原論では "公準"）を満たす。もちろん他の無定義述語や定義された述語に関する公理も含めてユークリッド幾何学が形成されるのである。ユークリッド幾何学についての詳細は[[ユークリッド原論]]などを参照されたい。

[[category:幾何学|てん]]
[[Category:数学に関する記事|てん]]