元 (数学)
(∌ から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/01/10 16:15 UTC 版)
数学において元(げん、英: element または member)とは、集合を構成する個々の数学的対象のことである。元素[1]、要素ともいう。
ジュゼッペ・ペアノの導入した記法[2]に従えば、対象 x が集合 E の元であることを、 「x ∈ E」と書き表す[注釈 1]。
このとき、対象 x が集合 E に属する(ぞくする、英: membership)、あるいは集合 E は対象 x を含む[注釈 2]とも言う。また集合を空間、元を点と言うこともある[6]。
概要
「属する」という二項関係は、数学的対象と集合(あるいは一般にクラス)との間に定まる非対称な関係(帰属関係)である。
外延性の公理により、集合はそれに属する全ての数学的対象を指定することで特徴づけられる。
通常用いられる集合論 ZF においては基礎の公理が述べるところによって帰属関係は整礎、すなわち任意の集合は自身を元として含むことはない(帰属関係は反対称関係である)。
しかし、基礎の公理の代わりに反基礎の公理を置く他の集合論ではそのような制約を受けない超集合が存在し得る。
帰属関係は推移的でない[注釈 3]。これは集合の包含関係がそうであることと対照的である。
素朴な説明
集合の歴史的な定義は、Cantor (1895: 481)[7] によれば
集合 M とは我々の直観や思考からくる対象(これを M の元と言う)の集まりの、その全体のことを言う
と述べられる。
このある種で漠然とした定義においても、直観的な集合論を展開することはできる。
例えば、集合 M = {1, 2, 3} に対し、1, 2, 3 は各々 M の元である。ここで、「元であること」と「部分集合であること」を混同してはならない。先の例であれば {1, 2} や {3} などは M の部分集合だが M の元ではない[注釈 4]。
定義
形式論理に基づく現代的な集合論は、(相等関係 = 以外に)一つの述語記号(二項述語 ∈)を含む一階述語論理で記述される[8]。
そのような記述法の下で、文「x は M の元である」は x ∈ M という式に翻訳される。
ハウスドルフは、このような記述自身は元からある概念を元にして定義を構成するような手法でないことを注意している
« on pourra objecter qu'on a défini idem per idem voire obscurum per obscurius. Il faut considérer qu'il n'y a pas là une définition mais un procédé d'exposition, une référence à un concept primitif familier à tous (...) »[9]
集合と類
先に与えた定義に従って記述された式
- >> 「∌」を含む用語の索引
- ∌のページへのリンク