元 (数学)

テンプレート:特殊文字 数学において元（げん、テンプレート:Lang-en-short または テンプレート:En）とは、集合を構成する個々の数学的対象のことである。元素、要素ともいう。

ジュゼッペ・ペアノの導入した記法に従えば、対象 テンプレート:Mvar が集合 テンプレート:Mvar の元であることを、 「テンプレート:Math」と書き表すテンプレート:Efn。

このとき、対象 テンプレート:Mvar が集合 テンプレート:Mvar に属する（ぞくする、テンプレート:Lang-en-short）、あるいは集合 テンプレート:Mvar は対象 テンプレート:Mvar を含むテンプレート:Efnとも言う。また集合を空間、元を点と言うこともある。

概要

「属する」という二項関係は、数学的対象と集合（あるいは一般にクラス）との間に定まる非対称な関係（帰属関係）である。

外延性の公理により、集合はそれに属する全ての数学的対象を指定することで特徴づけられる。

通常用いられる集合論 ZF においては基礎の公理が述べるところによって帰属関係は整礎、すなわち任意の集合は自身を元として含むことはない（帰属関係は反対称関係である）。

しかし、基礎の公理の代わりにテンプレート:仮リンクを置くテンプレート:仮リンクではそのような制約を受けないテンプレート:仮リンクが存在し得る。

帰属関係は推移的でないテンプレート:Efn。これは集合の包含関係がそうであることと対照的である。

素朴な説明

集合の歴史的な定義は、Cantor (1895: 481) によれば

と述べられる。

このある種で漠然とした定義においても、直観的な集合論を展開することはできる。テンプレート:Main

例えば、集合 テンプレート:Math に対し、テンプレート:Math は各々 テンプレート:Mvar の元である。ここで、「元であること」と「部分集合であること」を混同してはならない。先の例であれば テンプレート:Math や テンプレート:Math などは テンプレート:Mvar の部分集合だが テンプレート:Mvar の元ではないテンプレート:Efn。

定義

形式論理に基づく現代的な集合論は、（相等関係 テンプレート:Math 以外に）一つのテンプレート:仮リンク記号（二項述語 テンプレート:Math）を含む一階述語論理で記述される。

そのような記述法の下で、文「テンプレート:Mvar は テンプレート:Mvar の元である」は テンプレート:Math という式に翻訳される。

ハウスドルフは、このような記述自身は元からある概念を元にして定義を構成するような手法でないことを注意している テンプレート:Quotation

集合と類

先に与えた定義に従って記述された式

$x\in M$

において、文字 テンプレート:Mvar が表すものは集合である。

素朴集合論においてよく知られた逆理が導かれるなどの理由により、元 テンプレート:Mvar の属する対象 テンプレート:Mvar は集合でなく類（クラス）と考えたほうが有効な場面がある。例えば圏論では圏に属する元（圏論の文脈ではこれを「対象」と呼ぶ）の全体は類と考える。

ZF(C)集合論においてよく用いられる類の定式化は、単項述語そのものを類と見做すことである。つまり、「テンプレート:Mvar が類 テンプレート:Mvar の元である」とは単に述語 テンプレート:Mvar を用いた式 テンプレート:Math のことに他ならない。

元素

最もよく用いられる ZFC 集合論では全ての元がそれ自身集合として実現されるが、別の集合論では必ずしもそうではない。集合の元であって、かつそれ自身は集合として実現されないような元を原子 (atom) あるいは テンプレート:仮リンク（根源的元/原要素/原始元/基本元素) と呼ぶ。

そのような場合においては、必ずしも集合でないような対象に対しても、考えている数学的体系に属する対象であることを以って「元」と呼ぶ方が自然である。数、点、函数など（これらは集合として実現できる）と言った従来の数学的体系の殆どに加えて、星、分子、カエルなどもその体系における「元」ということになる。

代数系の特定の元

代数系の研究においては、その代数的構造に特徴的な性質を持つ代表的な元に特定の名前を付けるのが有用である。例えば、単位元、可逆元、吸収元など。

関連項目

• 包含関係

関連文献

• 『岩波数学入門辞典』（岩波書店、2005年） ISBN 978-4-000-80209-3
• 『新数学事典』（大阪書籍、1991年） ISBN 978-4-754-84006-8