ブラウザよりも高速アクセス！
25 関係: 単位元、反対称関係、可逆元、吸収元、外延性の公理、対称関係、二項関係、代数的構造、形式論理学、圏論、フェリックス・ハウスドルフ、クラス (集合論)、ジュゼッペ・ペアノ、等式、特徴づけ (数学)、順序数、部分集合、赤攝也、集合、集合論、推移関係、正則性公理、数学、数学的対象、整礎関係。
単位元
数学、とくに抽象代数学において、単位元（たんいげん, ）あるいは中立元（ちゅうりつげん, ）は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。.
新しい！!: 元 (数学)と単位元 · 続きを見る »
反対称関係
反対称関係（はんたいしょうかんけい、antisymmetric relation）とは、集合 X に関する二項関係 R であって、次の条件を満たすものをいう。 すなわち、X の任意の元 a と b に対して「a から b への関係、および b から a への関係がともに成り立つならば、a.
新しい！!: 元 (数学)と反対称関係 · 続きを見る »
可逆元
数学、とくに代数学における可逆元（かぎゃくげん、invertible element）または単元（たんげん、unit）とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。.
新しい！!: 元 (数学)と可逆元 · 続きを見る »
吸収元
数学、とくに抽象代数学において吸収元（きゅうしゅうげん、absorbing element）は二項演算を持つ集合に属する特別な元で、吸収元とほかのどのような元との積も、吸収元自身になってしまうという性質を持つものである。半群論においては、吸収元のことをしばしば零元と呼ぶM.
新しい！!: 元 (数学)と吸収元 · 続きを見る »
外延性の公理
外延性の公理(がいえんせいのこうり、axiom of extensionality)は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものである。.
新しい！!: 元 (数学)と外延性の公理 · 続きを見る »
対称関係
対称関係（たいしょうかんけい、Symmetric relation）は、数学における二項関係の一種。集合 X における二項関係 R が「対称」であるとは、X に属する全ての a および b について、aRb が成り立つなら bRa も成り立つことをいう。 数学的に記述すると次のようになる。 対称関係と反対称関係（aRb かつ bRa ならば b.
新しい！!: 元 (数学)と対称関係 · 続きを見る »
二項関係
数学において、二項関係（にこうかんけい、binary relation）あるいは二変数関係 (dyadic relation, 2-place relation) は、集合 の元からなる順序対のあつまりである。別な言い方をすれば、直積集合 の部分集合を、集合 上の二項関係と呼ぶ。あるいはもっと一般に、二つの集合 に対して、 と との間の二項関係とは、直積 の部分集合のことをいう。 二項関係の一つの例は素数全体の成す集合 と整数全体の成す集合 の間の整除関係である。この整除関係では任意の素数 は、 の倍数である任意の整数 に関係を持ち、倍数でない整数には関係しないものとして扱われる。例えば、素数 が関係を持つ整数には などが含まれるが や は含まれない。同様に素数 が関係する整数として などが挙げられるが、 や はそうではない。 二項関係は数学のさまざまな分野で用いられ、不等関係、恒等関係、算術の整除関係、初等幾何学の合同関係、グラフ理論の隣接関係、線型代数学の直交関係などのさまざまな概念が二項関係として定式化することができる。また、写像の概念を特別な種類の二項関係として定義することもできる。二項関係は計算機科学においても重用される。 二項関係はn-項関係 （各 -番目の成分が関係の -番目の始集合 からとられているようなn-組からなる集合）で とした特別の場合である。 ある種の公理的集合論では（集合の一般化としての）類の上の関係を考えることができる。このような拡張は、集合論における元の帰属関係や包含関係の概念（に限った話ではないが）のモデル化を、ラッセルの逆理のような論理矛盾に陥らずに行うために必要である。.
新しい！!: 元 (数学)と二項関係 · 続きを見る »
代数的構造
数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。 また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。 なお、分野（あるいは人）によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は、代数系の代数構造とも呼ばれる。 現代では、代数学とは代数系を研究する学問のことであると捉えられている。.
新しい！!: 元 (数学)と代数的構造 · 続きを見る »
形式論理学
形式論理（けいしきろんり）とは、.
新しい！!: 元 (数学)と形式論理学 · 続きを見る »
圏論
圏論（けんろん、category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。 考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。.
フェリックス・ハウスドルフ
フェリックス・ハウスドルフ（Felix Hausdorff, 1869年11月8日 – 1942年1月26日）は、ドイツの数学者。 位相空間などの研究に貢献した。ボン大学、グライフスヴァルト大学の教授を務めた。ハウスドルフはユダヤ人であったため、ナチス政権がドイツを支配していた1942年に強制収容所に送られることが決定され、妻や義理の妹と共に自殺した。.
新しい！!: 元 (数学)とフェリックス・ハウスドルフ · 続きを見る »
クラス (集合論)
集合論及びその応用としての数学におけるクラスまたは類（るい、class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、ツエルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。 （どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class) とも呼ばれる。例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。 集合論以外の文脈では「クラス」を「集合」の同義語として使うこともある。この用法はクラスと集合が現代的な集合論の用語法に基づく区別をされていなかった時代からある。19世紀以前の多くの"クラス"に関する議論は集合のことを指していた、もしくはもっと曖昧な概念をさしていた。この意味でのクラスは「級」という訳語を当てることがある（たとえば滑らかさのクラスの C1-級など）。.
新しい！!: 元 (数学)とクラス (集合論) · 続きを見る »
ジュゼッペ・ペアノ
ュゼッペ・ペアノ（ペアーノ、Giuseppe Peano, 1858年8月27日、ピエモンテ州クーネオ – 1932年4月20日、トリノ）はイタリアの数学者。トリノ大学教授。自然数の公理系 （ペアノの公理）、ペアノ曲線の考案者として知られる。 人工言語の一つである無活用ラテン語を提唱したことでも知られる。.
新しい！!: 元 (数学)とジュゼッペ・ペアノ · 続きを見る »
等式
等式（とうしき、equation）とは、二つの対象の等価性・相等関係 (equality) を表す数式のことである。.
特徴づけ (数学)
数学において、「性質 が対象 を特徴づける (characterize)」とは、 が性質 を持っているだけでなく、性質 を持っているものが のみである ことを意味する。「性質 は を同型の違いを除いて特徴づける」というような主張も一般的である。.
新しい！!: 元 (数学)と特徴づけ (数学) · 続きを見る »
順序数
数学でいう順序数（じゅんじょすう、ordinal number）とは、整列集合同士の"長さ"を比較するために、自然数を拡張させた概念である。.
新しい！!: 元 (数学)と順序数 · 続きを見る »
部分集合
集合 A が集合 B の部分集合（ぶぶんしゅうごう、subset; 下位集合）であるとは、A が B の一部（あるいは全部）の要素だけからなることである。A が B の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。.
新しい！!: 元 (数学)と部分集合 · 続きを見る »
赤攝也
赤 攝也（赤 摂也、せき せつや、1926年5月7日- ）は、日本の数学者。.
新しい！!: 元 (数学)と赤攝也 · 続きを見る »
集合
数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。.
集合論
集合論（しゅうごうろん、set theory, théorie des ensembles, Mengenlehre）は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。（論理や述語論理とともに）集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に（無定義語の）「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係（二項関係）を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では二つの集合はそれぞれの集合の元の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合（を帰属関係で順序付けしたもの）と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 \mathrm（これは真のクラスになる）もまた整列順序付けられている。以上のもとで、集合の濃度を と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。.
新しい！!: 元 (数学)と集合論 · 続きを見る »
推移関係
推移関係（すいいかんけい、Transitive relation）は、数学における二項関係の一種。集合 X の二項関係 R が推移的であるとは、Xの任意の元 a、b、c について、a と b に R が成り立ち、b と c に R が成り立つとき、a と c にも R が成り立つことをいう。推移的関係とも。 一階述語論理でこれを表すと、次のようになる。.
新しい！!: 元 (数学)と推移関係 · 続きを見る »
正則性公理
正則性公理（せいそくせいこうり、axiom of regularity）は、別名基礎の公理（きそのこうり、axiom of foundation） とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。.
新しい！!: 元 (数学)と正則性公理 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学的対象
数学および数学の哲学において、数学的対象（すうがくてきたいしょう、mathematical object）は数学の中から生じてくる抽象的対象である。 一般的に遭遇する数学的対象として、数、順列、分割、行列、集合、関数、および関係などが挙げられる。数学の分科としての幾何学は、六角形、点、線、三角形、円、球、多面体、位相空間、および多様体のような対象を持つ。別の分科の代数学は、群、環、体、格子、および束といった対象を持つ。圏は、数学的対象を一斉に生じさせるものであるとともに、それ自体がひとつの数学的対象である。 数学的対象の存在論的な立場は、数学の哲学で調査および議論される重要な主題である。この議論については、論文を参照のこと。.
新しい！!: 元 (数学)と数学的対象 · 続きを見る »
整礎関係
数学において、二項関係が整礎（せいそ、well-founded）であるとは、真の無限降下列をもたないことである。.
新しい！!: 元 (数学)と整礎関係 · 続きを見る »
ここにリダイレクトされます：
∍、∌、∊、∈、∉、∋、帰属関係 (数学)、帰属関係 (集合論)。
