元 (数学)
(∋ から転送)
出典: フリー百科事典『ウィキペディア（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]
集合と類
先に与えた定義に従って記述された式
「( ・∋・)」の例文・使い方・用例・文例
- 彼女は今朝早く緊急虫垂切除(術)を受けた。
- 空中給油機は給油中に吹き流しの空中曳航(えいこう)標的をつるす。
- オルガスム(ス)の声をあげる
- その商社はターボプロップ(航空)機市場が拡大すると見込んでいる。
- アルコールの突然の摂取は無血管(性)壊死と呼ばれる状態をもたらす可能性がある。
- ヨム・キプル(ユダヤ教の贖罪の日)はショファーの音とともに終わってしまった。
- 4Pの要素は、売り手側の視点に基づいた製品(Product)、価格(Price)、販売促進(Promotion)、販売ルート(Place)である。
- タックマンモデルとは、チームビルディングにおける5段階、すなわち形成(Forming)、混乱(Storming)、統一(Norming)、機能(Performing)、散会(Adjourning)を示すモデルである。
- ヘッドアンドショルダーズは投資家にとって最も信頼度の高いフォーメーション(株価動向)のひとつだ。
- 典型的なマネジメントサイクルとしてPDCA (計画・実行・検証・改善)が有名です。
- マネジメントバイアウト(MBO)は一種のM&Aだ。
- マネー・マーケット・アカウント(MMA/金融市場預金口座)
- リフレレーション政策(リフレ政策:景気刺激策)
- エコノミック・ リベラリズム(経済自由主義)
- 銘柄コードやアイジンコードなどの証券コードは証券コード協議会(SICC)により付番されている。
- (表示を)よく確認していなかったため、目的地とは反対側の改札口から出てしまった。
- (私は）授業後、友人を待った。
- (私は）コーチにしごかれた。
- あなたの特別な日にキスとハグがあげられるように(私は）そこにいた
- 話を読みなさい。ページの下部にある「聴く(“listen”)」ボタンをクリックして話を聞きなさい。
- >> 「∋」を含む用語の索引
- ∋のページへのリンク
