ブラウザよりも高速アクセス！
66 関係: 単射、反対称関係、反射関係、同型写像、同値関係、合流性、実数、完全関係、対合、対応 (数学)、対称関係、差集合、上下関係、上界、不等号、不等式、平行、圏論、ハッセ図、ラッセルのパラドックス、ベル数、初等幾何学、アフィン空間、クラス (集合論)、グラフ (関数)、グラフ理論、タプル、冪集合、写像、写像の合成、全単射、全射、全順序、公理的集合論、図形の合同、倍数、値域、空集合、等式、算術、素数、線型代数学、直積集合、選好、非対称関係、順序対、順序組、順序集合、計算機科学、部分写像、...、部分集合、関係 (数学)、関係の合成、関係代数 (数学)、集合、集合の分割、逆関係、推移関係、推移閉包、汎函数、指示関数、有理数、数学、整列集合、整礎関係、整数。 インデックスを展開 (16 もっと) »
単射
数学において、単射あるいは単写（たんしゃ、injective function, injection）とは、その値域に属する元はすべてその定義域の元の像として唯一通りに表されるような写像のことをいう。一対一（いったいいち、）の写像ともいう。似ているが一対一対応は全単射の意味で使われるので注意が必要である。.
反対称関係
反対称関係（はんたいしょうかんけい、antisymmetric relation）とは、集合 X に関する二項関係 R であって、次の条件を満たすものをいう。 すなわち、X の任意の元 a と b に対して「a から b への関係、および b から a への関係がともに成り立つならば、a.
新しい！!: 二項関係と反対称関係 · 続きを見る »
反射関係
反射関係（はんしゃかんけい、reflexive relation）は、数学における二項関係の一種。二項関係には反射性 (reflexivity) のものと非反射性 (irreflexivity) のものがある。なお、ここでの（二項）関係は X × X という形式であり、集合 X からそれ自身への関係である。.
同型写像
数学において，同型写像（isomorphismfrom the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape"）あるいは単に同型とは，は準同型写像あるいは射であって，逆射を持つものである逆関数ではない．．2つの数学的対象が同型 (isomorphic) であるとは，それらの間に同型写像が存在することをいう．自己同型写像は始域と終域が同じ同型写像である．同型写像の興味は2つの同型な対象は写像を定義するのに使われる性質のみを使って区別できないという事実にある．したがって同型な対象はこれらの性質やその結果だけを考える限り同じものと考えてよい． 群や環を含むほとんどの代数的構造に対して，準同型写像が同型写像であることと全単射であることは同値である． 位相幾何学において，射とは連続写像のことであるが，同型写像は同相写像あるいは双連続写像とも呼ばれる．解析学において，射は可微分関数であり，同型写像は微分同相とも呼ばれる． 標準的な同型写像 (canonical isomorphism) は同型であるようなである．2つの対象が標準的に同型 (canonically isomorphic) であるとは，それらの間に標準的な同型写像が存在することをいう．例えば，有限次元ベクトル空間 から二重双対空間への標準的な写像は標準的な同型写像である．一方， は双対空間に同型であるが，一般には標準的にではない． 同型写像は圏論を用いて形式化される．ある圏の射 が同型射であるとは，両側逆射を持つことをいう，すなわち，その圏における別の射 があって， かつ となる，ただし と はそれぞれ と の恒等射である．.
同値関係
数学において、同値関係（どうちかんけい、equivalence relation）は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割（類別）する。 同値関係にあることを表す記法は文献によって様々に用いられるけれども、与えられた集合上の同値関係 に関して二元 が同値であることを "" や "" で表すのがもっともよく用いられる記法である。 に関して同値であることを明示する場合には、"" や "" あるいは "" などと書かれる。.
合流性
合流性（confluence）は項書き換えシステムなどの特性で、項を複数の方法で書き換え可能な場合に、その複数の方法で書き換えた結果は適切に書き換えてやれば合流するという性質のことである。合流性はチャーチ・ロッサー性と呼ばれる特性と等価である。合流性を持つシステムは書き換え規則の適用順序によらない一貫性を持ち、遅延評価、並行評価、部分評価などの柔軟な評価方法が可能になる。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
完全関係
完全関係（英: Total relation）とは、数学における二項関係の一種。集合 X における二項関係 R が「完全」であるとは、X に属する全ての a および b について、aRb かbRa が成り立つ（あるいは両方成り立つ）ことをいう。 数学的に記述すると次のようになる。 これには反射関係が含まれる点に注意されたい。 例えば、「- 以下」という関係は実数の集合において完全関係である。なぜなら、任意の2つの実数を選んだとき、前者が後者以下となるか、後者が前者以下となるかのどちらかが必ず成り立つからである。一方、「- 未満」は完全関係ではない。同じ数を選んだとき、両者には「- 未満」という関係は（どちらの順序でも）成り立たないためである。順序関係については、詳しくは順序集合を参照されたい。「（A は B の）真部分集合である」という関係も完全関係ではない。 完全関係について、「比較可能性; comparability」があるということもある。 推移関係が完全関係でもあるとき、全擬順序（total preorder）と呼ぶ。半順序が完全関係でもあるとき、全順序と呼ぶ。 Category:集合論 Category:数理論理学 Category:数学に関する記事.
対合
対合（たいごう、ついごう、involution）は、自分自身をその逆として持つ写像である。 これは空間上の変換であって、二回繰り返すと恒等変換となる（元に戻る）という性質 を持つものと言ってもよい。ただし、それ自身が恒等変換となるものは通常は除いて考える。またこれは変換群に属する位数 2 の元 を指すと言っても同じことであり、それを理由に一般の群（抽象群）においても位数 2 の元を対合と呼ぶことがある。.
対応 (数学)
数学における対応（たいおう、Correspondence）は、古い文献に頻繁に現れていた多価函数（多値写像）の概念を明確にしたものである。通常の意味の函数（写像）が定義集合の各元に値の集合の一つの元を値として割り当てるのに対して、多価函数は値の集合の複数の元を割り当てることが許されるのであった。対応の概念を考えるときには、これら複数の函数値を一つの集合（値の集合の部分集合）として割り当てる。言い換えれば、対応とは定義域の各元に終域の部分集合を割り当てる写像である。.
新しい！!: 二項関係と対応 (数学) · 続きを見る »
対称関係
対称関係（たいしょうかんけい、Symmetric relation）は、数学における二項関係の一種。集合 X における二項関係 R が「対称」であるとは、X に属する全ての a および b について、aRb が成り立つなら bRa も成り立つことをいう。 数学的に記述すると次のようになる。 対称関係と反対称関係（aRb かつ bRa ならば b.
差集合
差集合（さしゅうごう、set difference）とは、ある集合の中から別の集合に属する要素を取り去って得られる集合のことである。特に、全体集合 を固定して、 からその部分集合 の要素を取り去って得られる集合を の補集合という。.
上下関係
上下関係（じょうげかんけい）とは、社会的な力が上のものと下のものとの関係である。.
上界
上界（じょうかい）.
不等号
不等号（ふとうごう）は、実数などの大小を表すための数学記号である。より一般的には、順序集合（例: 整数、実数）の2つの要素の間の順序（大小ともいう）を表す。 順序集合の二つの元は、等しいか、片方が他方より大きいか、等しくなく大小関係がないか、のいずれかである。 2つが等しい場合は等号（.
不等式
不等式（ふとうしき、inequality）とは不等号（ふとうごう）を用いて、数量の大小関係を表した式を言う。 値や量を評価するという意味では等式を不等式の一種であると見なすこともできる。.
平行
初等幾何学、特にユークリッド幾何学における平行性（へいこうせい、parallelism）は、ユークリッド平面上の直線が互いに交わらないという関係性を抽象化するものである。三次元空間において、直線と平面や平面同士についても共有点がないことを以って平行性を考えることができる。ただし、三次元空間内の直線同士の場合には、それらが互いに平行となるためにはそれらが同一平面上にあることを要請しなければならない（交わらない二直線は、それらが同一平面上にないならばねじれの位置にあるという）。 平行線はユークリッド原論における平行線公準の主対象である。 平行性は第一義にはの性質の一つであり、ユークリッド幾何学はその種の幾何学の特別な実例である。その他の幾何学においては、例えば双曲幾何学などでは、同様の（しかしまったく同じではない）特定の性質を満たすことを「平行」と言い表す。 以下、特に言及のない限り、主にユークリッド幾何学における平行性について述べる。.
圏論
圏論（けんろん、category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。 考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。.
ハッセ図
ハッセ図（ハッセず、英: Hasse diagram）は、数学における有限半順序集合を単純に図示する方法のひとつで、半順序のを描いたものである。具体的には有限半順序集合 (S, ≤) があるとき、S の個々の元を頂点とし、x < y で、かつ x < z < y となるような z が存在しない場合にのみ x から y に上向きの線（辺）を描く（ここで二項関係 < は全ての x について (x, x) という元を ≤ から除くことで得られる）。 この場合、「 y は x をする」または「 y は x の immediate successor（直接の後続）である」という。さらに、各辺が両端の頂点以外を通らないように頂点を配置する必要がある。このような図（頂点にはラベルが付属するものとする）は半順序を一意に特定し、任意の有限な半順序では推移簡約が一意に定まる。ただし、図における元の配置の仕方は様々なものが考えられ、ひとつの順序集合に対して見た目の異なるハッセ図が多数存在することになる。 ハッセ図はドイツの数論学者ヘルムート・ハッセ（1898年–1979年）に因んで名付けられている。これはハッセが部分体や拡大体がなす半順序集合を図示するために効果的に活用したからである。しかし、ハッセが最初にこの図を使ったわけではなく、少なくとも では既にこの図が使われている。ハッセ図は半順序集合を手で図示する技法として生まれたが、最近ではグラフ描画技法を使って自動的に描くことができる。 「ハッセ図」という言葉は、個々のグラフの描画とは関係なく、抽象概念としての有向非循環グラフの推移簡約を指すこともある。ただし、本項目ではこの意味では使わない。.
ラッセルのパラドックス
ラッセルのパラドックス（Russell's paradox）とは、素朴集合論において矛盾を導くパラドックスである。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡における、フレーゲの『算術の基本法則』における矛盾を指摘する記述に表れる。これは1903年に出版されたフレーゲの『算術の基本法則』第II巻（Grundgesetze der Arithmetik II）の後書きに収録されている。同じパラドックスはツェルメロが1年先に発見していたが、彼はその発見を公開せず、ヒルベルトやフッサールなどのゲッティンゲン大学の同僚たちだけに知られているだけだった。 ラッセルが型理論（階型理論）を生み出した目的にはこの種のパラドックスを解消するということも含まれていた。.
新しい！!: 二項関係とラッセルのパラドックス · 続きを見る »
ベル数
香の図 5本の縦線を横線でつないでグループ化する方法の総数は5番目のベル数 B5.
初等幾何学
初等幾何学（しょとうきかがく、elementary geometry矢野健太郎編、東京理科大学数学教育研究所第2版 編集『』、共立出版、2010年、「初等幾何学」より。ISBN 978-4-320-01931-7）は、二次元（点や直線や円など）・三次元（錘体や球など）の図形をユークリッド幾何学的に扱う数学、幾何学の分野である。.
新しい！!: 二項関係と初等幾何学 · 続きを見る »
アフィン空間
数学において、アフィン空間（あふぃんくうかん、affine space, アファイン空間とも）または擬似空間（ぎじくうかん）とは、幾何ベクトルの存在の場であり、ユークリッド空間から絶対的な原点・座標と標準的な長さや角度などといった計量の概念を取り除いたアフィン構造を抽象化した幾何学的構造である。（代数的な）ベクトル空間からどの点が原点であるかを忘れたものと考えることもできる。 1次元のアフィン空間はアフィン直線、2次元のアフィン空間はと呼ばれる。.
新しい！!: 二項関係とアフィン空間 · 続きを見る »
クラス (集合論)
集合論及びその応用としての数学におけるクラスまたは類（るい、class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、ツエルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。 （どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class) とも呼ばれる。例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。 集合論以外の文脈では「クラス」を「集合」の同義語として使うこともある。この用法はクラスと集合が現代的な集合論の用語法に基づく区別をされていなかった時代からある。19世紀以前の多くの"クラス"に関する議論は集合のことを指していた、もしくはもっと曖昧な概念をさしていた。この意味でのクラスは「級」という訳語を当てることがある（たとえば滑らかさのクラスの C1-級など）。.
新しい！!: 二項関係とクラス (集合論) · 続きを見る »
グラフ (関数)
関数のグラフ（graph）は、直観的には、関数を平面内の曲線もしくは空間内の曲面としてダイアグラム状に視覚化したものである。形式的には、関数 のグラフとは、順序対 の集合である。 例えば、 と が常に実数であるような関数の場合、グラフは座標平面上の点の集まりとみなすことができる。このような関数のうち、応用上重要な関数の多くは、グラフを座標平面上に曲線として描くことが可能である。 グラフの概念は、関数のみならず、より一般の写像や対応に対しても定義される。標語的には、グラフは関数や対応を特徴付ける集合であるといえる。.
新しい！!: 二項関係とグラフ (関数) · 続きを見る »
グラフ理論
ラフ理論（グラフりろん、graph theory）は、ノード（節点・頂点）の集合とエッジ（枝・辺）の集合で構成されるグラフに関する数学の理論である。グラフ (データ構造) などの応用がある。.
新しい！!: 二項関係とグラフ理論 · 続きを見る »
タプル
タプルまたはチュープル（tuple）とは、複数の構成要素からなる組を総称する一般概念。 数学や計算機科学などでは通常、順序付けられた対象の並びを表すために用いられる。個別的には、n 個でできた組を英語で「n-tuple」と書き、日本語に訳す場合は通常「n 組」としている。タプルの概念そのものも組と呼ばれる場合がある。なお、 n-tuple は数学のタプルを意味するほか、同様に double、triple などの拡張として倍数詞の表現にも利用される（詳細は「倍#西洋数学における n 倍を表す表現」を参照）。.
冪集合
冪集合（べきしゅうごう、power set）とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪（べき）と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。 集合と呼ぶべき対象を公理的に構成的に与える公理的集合論では、集合から作った冪集合が集合と呼ばれるべきもののうちにあることを公理の一つ（冪集合公理）としてしばしば提示する。.
写像
写像（しゃぞう、mapping, map）とは、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。函数（関数）、変換、作用素、射などが写像の同義語として用いられることもある。 ブルバキに見られるように、写像は集合とともに現代数学の基礎となる道具の一つである。現代的な立場では、「写像」と（一価の）「函数」は論理的におなじ概念を表すものと理解されているが、歴史的には「函数」の語は解析学に出自を持つものであり、一部には必ずしも写像でないものも函数の名の下におなじ範疇に扱われる（多価函数参照）。文献によっては「数の集合（大抵の場合実数体 または複素数体 の部分集合）を終域に持つ写像」をして特に「函数」と呼び、「写像」はより一般の場合に用いる。函数、二項関係、対応の各項も参照のこと。.
写像の合成
数学において写像あるいは函数の合成（ごうせい、composition）とは、ある写像を施した結果に再び別の写像を施すことである。 たとえば、時刻 t における飛行機の高度を h(t) とし、高度 x における酸素濃度を c(x) で表せば、この二つの函数の合成函数 (c ∘ h)(t).
新しい！!: 二項関係と写像の合成 · 続きを見る »
全単射
数学において、全単射（ぜんたんしゃ）あるいは双射（そうしゃ）(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が全単射の良い例である。 全単射であることを一対一上への写像 (one-to-one onto mapping)あるいは一対一対応 (one-to-one correspondence) ともいうが、紛らわしいのでここでは使用しない。 写像 f が全単射のとき、fは可逆であるともいう。.
全射
数学において、写像が全射的（ぜんしゃてき、surjective, onto）であるとは、その終域となる集合の元は何れもその写像の像として得られることを言う。即ち、集合 から集合 への写像 について、 の各元 に対し となるような の元 が（一般には複数あってもよいが）対応させられるとき、写像 は全射 (surjection, onto mapping/function) であるという。全写（あるいは全写像）とも書く。 全射（および単射、双射）の語は20世紀フランスの数学結社ブルバキ（1935年以降『数学原論』シリーズを刊行している）により導入されたものである。接頭辞 sur- はフランス語で「上の」を意味し、写像の始域が終域全体をすっぽり覆い尽くすように写し込まれるイメージを反映したものになっている。sur, in, bi, jection いずれもラテン語源である。.
全順序
数学における線型順序（せんけいじゅんじょ、linear order）、全順序（ぜんじゅんじょ、total order）または単純順序（たんじゅんじゅんじょ、simple order）は、推移的、反対称かつ完全な二項関係を言う。集合と全順序を組にしたものは、全順序集合 (totally ordered set), 線型順序集合 (linearly ordered set), 単純順序集合 (simply ordered set) あるいは鎖 (chain) と呼ばれる。 即ち、集合 X が関係 ≤ によって全順序付けられるとき、X の任意の元 a, b, c に対して、以下の条件 が満足される。 反対称性によって a < b でも b < a でもあるような不確定な状態は排除される。完全性を持つ関係は、その集合の任意の二元がその関係でであることを意味する。これはまた、元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である。また完全性から反射性 (a ≤ a) が出るから、全順序は半順序の公理を満たす。半順序は（完全性の代わりに反射性のみが課されるという意味で）全順序よりも弱い条件である。与えられた半順序を拡張して全順序をえることは、半順序のと呼ばれる。.
公理的集合論
公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。.
新しい！!: 二項関係と公理的集合論 · 続きを見る »
図形の合同
ユークリッド幾何学において、二つの図形が合同（ごうどう、congruence）とは、それらの形と大きさが同じであるということを数学的に表した概念である。場合によっては、形と大きさが同じである他に、一方が他方の鏡像である場合を含める。つまり、より厳密に言えば、二つの点集合が（互いに）合同であるとは、一方が他方に等距変換（すなわち、平行移動、回転および鏡映という剛体運動 (rigid motion) の組み合わせ）で移るとき、かつそのときに限り言う。しかるに二つの異なる平面図形が互いに合同ならば、いずれか一方の図形を位置を変え、あるいは鏡像反転して（しかし大きさは変えずに）他方の図形に一致させることができ、また紙の上に書いたそれらを切り取って（必要ならば紙を裏返して）ぴったり重ねることができる。 初等幾何学では以下のような形で「合同」という語がしばしば用いられる.
新しい！!: 二項関係と図形の合同 · 続きを見る »
倍数
数学において、数 の倍数（ばいすう、英:multiple）とは、 を整数倍した数、あるいはそれらの総称である。つまり、 を指す。 ならば、 の倍数は無数に存在する。 を整数に限ると、 の倍数とは「 で割り切れる整数」のことであり、 の約数（「 を割り切る整数」）と対比されることも多いが、倍数は が整数でなくても定義できる。 倍数の中で 以外は符号の違いだけの組が現れるので、 と表すこともある。とくに が正の整数で負の数を考えない、あるいは本質的でない場合は（正の）倍数として だけを考えることも多い。 整数全体からなる集合 \mathbb を用いると、 の倍数は a\mathbb である。.
値域
数学、特に素朴集合論における写像の値域（ちいき、range）は、その写像の終域または像の何れかの意味で用いられる。現代的な用法ではほとんど全ての場合において「像」の意味である。.
空集合
集合（くうしゅうごう、empty set）は、要素を一切持たない集合の事である。公理的集合論において、空集合は公理として存在を仮定される場合と、他の公理から存在が導かれる場合がある。空集合を表す記号として、∅ または \emptyset、 がある。記号 ∅ はノルウェー語等で用いられるアルファベット Ø に由来しており、形の似ているギリシャ文字φ, Φ（ファイ）とは全く関係がない。.
等式
等式（とうしき、equation）とは、二つの対象の等価性・相等関係 (equality) を表す数式のことである。.
算術
算術 (さんじゅつ、arithmetic) は、数の概念や数の演算を扱い、その性質や計算規則、あるいは計算法などの論理的手続きを明らかにしようとする学問分野である。.
素数
素数（そすう、prime number）とは、 より大きい自然数で、正の約数が と自分自身のみであるもののことである。正の約数の個数が である自然数と言い換えることもできる。 より大きい自然数で素数でないものは合成数と呼ばれる。 一般には、素数は代数体の整数環の素元として定義される（そこでは反数などの同伴なものも素数に含まれる）。このため、有理整数環 \mathbb Z での素数は有理素数（ゆうりそすう、rational prime）と呼ばれることもある。 最小の素数は である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。 素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。 自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。 分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ。.
線型代数学
線型代数学（せんけいだいすうがく、linear algebra）とは、線型空間と線型変換を中心とした理論を研究する代数学の一分野である。現代数学において基礎的な役割を果たし、幅広い分野に応用されている。また、これは特に行列・行列式・連立一次方程式に関する理論を含む。線形などの用字・表記の揺れについては線型性を参照。 日本の大学においては、多くの理系学部学科で解析学（微分積分学）とともに初学年から履修する。なお、高校教育においては平成27年度からの新課程では行列の分野が除外されている。.
新しい！!: 二項関係と線型代数学 · 続きを見る »
直積集合
数学において、集合のデカルト積（デカルト­せき、Cartesian product）または直積（ちょくせき、direct product）、直積集合、または単に積（せき、product）、積集合は、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合である。 具体的に二つの集合 に対し、それらの直積とはそれらの任意の元 の順序対 全てからなる集合をいう。 では と書くことができる。有限個の集合の直積 も同様のn-組からなる集合として定義されるが、二つの集合の直積を入れ子 (nested) にして、 と帰納的に定めることもできる。.
選好
選好（せんこう、preference）とは、選択肢の集合上に定義される二項関係である。選好関係（preference relation）とも呼ばれ、\succsim,\ge, Rなどの記号で表される。経済主体の嗜好や行動様式を表現する最も基本的な概念であり、無差別関係（indifferent relation）や効用関数（utility function）も選好関係から導出される。選好関係\succsimが合理性（rationality）と呼ばれる条件を満たすとき、\succsimと全く同じ情報を持つ効用関数が無数に存在することが知られている。 ミクロ経済学やゲーム理論の中心的な枠組みであり、マクロ経済学、財政学、金融論、経営学、会計学、マルクス経済学、政治学、社会学、進化生物学などや社会科学のさまざまな分野で用いられている。.
非対称関係
非対称関係（英: Asymmetric relation）とは、対称的でない二項関係を意味する。 場合によっては、次のような狭い意味の定義をされることがある。X における関係 R が非対称であるとは、X の属する全ての元 a および b について、a から b への関係が成り立つときは b から a への関係が成り立たない場合である。数学的に表すと次のようになる。 この意味の非対称関係は、反対称的であると同時に非反射的である。 推移関係では、非対称性と非反射性は等価である。この場合の非対称性は上の狭い意味の定義を包含するが、逆は成り立たない。空の関係は、後者の意味で非対称であると同時に対称でもある。.
新しい！!: 二項関係と非対称関係 · 続きを見る »
順序対
数学における順序対（じゅんじょつい、ordered pair）は、座標 (coordinate) や射影 (projection) とも呼ばれるふたつの成分 (entry) を持つ対象を総称するものである。順序対では常に、第一成分（第一座標、左射影）と第二成分（第二座標、右射影）の対によって対象が一意に決定される。第一座標が a で第二座標が b であるような順序対は通常、(a, b) で表される。「順序」対という呼称は、a.
順序組
数学における順序組（じゅんじょぐみ、ordered tuplet, ordered list etc.）あるいは単に組 とは、通常は有限な長さの列を言う。特に非負整数 に対して、 個の要素や成分などとも呼ばれる元あるいは対象を順番に並べたもは -組 と呼ぶ。.
順序集合
数学において順序集合（じゅんじょしゅうごう、ordered set）とは「順序」の概念が定義された集合の事で、「順序」とは大小、高低、長短等の序列に関わる概念を抽象化したものである。ただし、順序集合内の2つの元, に順序関係が定まっている（「比較可能」である）必要はなく、両者が「比較不能」であってもよい。 比較不能のケースを許容していることを強調して順序集合の事を半順序集合（はんじゅんじょしゅうごう、partially ordered set, poset）ともいう。一方、半順序集合の中で比較不能のケースがないものを特に全順序集合 という。（「半順序」という言葉が「全順序」の対義語ではない事に注意。全順序集合も半順序集合の一種である。） 全順序集合の簡単な例は整数の集合や実数の集合で、通常の大小比較を順序とみなしたものがある。 一方、全順序ではない半順序集合の例としては、正の整数全体の集合に整除関係で順序を入れたものや、（2つ以上元を含む）集合の冪集合において、包含関係を順序とみなしたものがある。例えば2元集合 において と はいずれも他方を包含していないので S の冪集合は全順序ではない。 実生活に近い例では、「AさんはBさんの子孫である」という事を「A＜B」という大小関係とみなす事で人間全体の集合を半順序集合とみなせる。AさんとBさんはどちらも他方の子孫でない事もありうる（兄弟同士、叔父と甥、赤の他人等）ので、この順序集合は全順序ではない。.
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: 二項関係と計算機科学 · 続きを見る »
部分写像
単射な部分写像の例 単射でない全域写像の例 数学において部分写像（ぶぶんしゃぞう、partial mapping）あるいは部分函数（partial function）は適当な部分集合上で定義された写像である。即ち、集合 から への部分写像 は の任意の元に の元を割り当てることが求められる写像 の概念を一般化して、 の適当な部分集合 の元に対してのみそれを要求する。 となる場合には は全域写像 (total function) と呼ばれ、これは写像と同じ概念を意味する。部分写像を考えるときには、その定義域 がはっきりとは分かっていないという場合もよくある。.
部分集合
集合 A が集合 B の部分集合（ぶぶんしゅうごう、subset; 下位集合）であるとは、A が B の一部（あるいは全部）の要素だけからなることである。A が B の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。.
関係 (数学)
集合 X1, …, Xk 上の関係 L とは、それらの直積の部分集合 L ⊆ X1 × … × Xk である。 関係は集合の個数 k により分類される。 集合 X1, …, Xk は定義域と呼ばれる。すべての Xj が同じ集合 X のとき、L を X 上の k 項関係と呼ぶ。.
新しい！!: 二項関係と関係 (数学) · 続きを見る »
関係の合成
数学における二項関係の合成（ごうせい、composition）は、与えられた二つの関係 R, S から新たな関係 S ∘ R を作り出す操作である。この最もよく知られた特別の場合が写像の合成である。.
新しい！!: 二項関係と関係の合成 · 続きを見る »
関係代数 (数学)
数学の抽象代数学の分野において 関係代数 (relation algebra) とは "逆" と呼ばれる対合を持つのことである。動機付けとなるような関係代数の例は、集合 X 上の全ての二項関係からなる集合 Pow(X2) であって、演算 R • S を通常の関係の合成とし、R の逆を逆関係で定義する。関係代数は 19世紀の オーガスタス・ド・モルガン と チャールズ・サンダース・パースの結果から現れ、の代数的論理学において全盛となった。現在の、関係代数の等式による定式化は、1940年代に始まるアルフレト・タルスキと彼の弟子たちの研究によってなされた。.
新しい！!: 二項関係と関係代数 (数学) · 続きを見る »
集合
数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。.
集合の分割
集合を6つの部分に分割した図（オイラー図による表現） 数学において、集合 X の分割 (partition) とは、X 全体を互いに重ならない部分/ブロック/セルに分けることを言う。より形式的に言えば、それらの「セル」は分割された集合から見て相互に排他的で完全な全体集合 (MECE) となっている。.
新しい！!: 二項関係と集合の分割 · 続きを見る »
逆関係
数学における二項関係の逆関係（ぎゃくかんけい、inverse relation）は、関係（のグラフ）に属する順序対の成分を逆順にして得られる関係である。例えば、「～の子である」という関係の逆関係は「～の親である」という関係である。.
推移関係
推移関係（すいいかんけい、Transitive relation）は、数学における二項関係の一種。集合 X の二項関係 R が推移的であるとは、Xの任意の元 a、b、c について、a と b に R が成り立ち、b と c に R が成り立つとき、a と c にも R が成り立つことをいう。推移的関係とも。 一階述語論理でこれを表すと、次のようになる。.
推移閉包
推移閉包（すいいへいほう、transitive closure）は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R を意味する。 たとえば X を人間（生死は問わない）の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xRy である。あるいは X を空港の集合とし、「x から y への直通便が存在する」という関係 xRy を考えると、その推移閉包は「x から y まで一回または複数の航空便で行くことができる」という関係 xRy である。.
汎函数
数学の特に函数解析や変分法における汎函数（はんかんすう、functional）は、ベクトル空間からその係数体あるいは実数値函数の空間への写像のことを指して言う。言い換えると、ベクトルを入力引数とし、スカラーを返す函数である。よくある状況として、考えるベクトル空間が函数の空間のときには函数を入力の引数としてとるので、汎函数のことを「函数の函数」と考えることもある。変分法において汎函数の使用は、ある種の汎函数を最小化する函数を求めることから始まった。物理学への特別に重要な応用として、を最小とする系の状態を探すことがある。.
指示関数
数学において指示関数（しじかんすう、indicator function）、集合の定義関数、特性関数（とくせいかんすう、characteristic function）は、集合の元がその集合の特定の部分集合に属するかどうかを指定することによって定義される関数である。.
有理数
有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
整列集合
数学において、整列順序付けられた集合または整列集合（せいれつしゅうごう、well­ordered set）とは、整列順序を備えた集合のことをいう。ここで、集合 上の整列順序関係 (well­order) とは、 上の全順序関係 "" であって、 の空でない任意の部分集合が必ず に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 を慣例に従ってしばしば単純に で表す。.
整礎関係
数学において、二項関係が整礎（せいそ、well-founded）であるとは、真の無限降下列をもたないことである。.
整数
数学における整数（せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero）は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen（「数」の意・複数形）に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理（的）」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
