関係

複数の物事が互いに関わり合っている状態を「関係」と呼びますが、これは数学的には2つの集合の直積の部分集合として定義されます。関係や二項関係、同値関係、順序関係など代表的な関係について解説します。

学習内容

関係

関係は2つの集合の直積の部分集合として定式化されます。

二項関係の定義と具体例

複数の物事が互いに関わり合っている状態を関係と呼びますが、数学において関係(二項関係)とは、2つの集合の直積の部分集合として定式化されます。

自己関係の定義と具体例

始集合と終集合が一致する関係を自己関係と呼びます。自己関係は与えられた集合の直積の部分集合として定義されます。

二項関係の逆関係

集合Aから集合Bへの二項関係Rが与えられたとき、Rの要素である順序対(a,b)の成分を入れ替えることにより得られる順序対(b,a)からなるBからAへの二項関係をもとの二項関係Rの逆関係と呼びます。

二項関係どうしの合成関係

2つの関係 R, S が与えられたとき、xRy と ySz がともに成り立つような y が存在するような順序対 (x,z) からなる集合を R と S の合成関係と呼び、これを S∘R で表します。

二項関係どうしの演算(補関係・共通関係・和関係・差関係)

関係は集合として定義されるため、関係に対して通常の集合演算が適用可能です。補関係、共通関係、和関係、差関係などの概念を定義します。

二項関係の性質

二項関係の基本的な性質について解説します。

二項関係の反射律

集合A上の二項関係Rのもとで、Aの任意の要素xがx自身と関係を持つ場合、Rは反射律を満たすと言います。反射律を満たす二項関係の例を挙げます。

二項関係の非反射律(無反射律)

集合A上の二項関係Rのもとで、Aの任意の要素xがx自身と関係を持たない場合、Rは非反射律を満たすと言います。非反射律を満たす二項関係の例を挙げます。

二項関係の対称律

集合A上の二項関係Rのもとで、Aの任意の要素x,yについて、Rのもとでxがyと関係を持つ場合にはyとxが関係を持つ場合、Rは対称律を満たすと言います。対称律を満たす二項関係の例を挙げます。

二項関係の反対称律

集合A上の二項関係Rのもとで、Aの任意の要素x,yについて、xがyと関係を持つとともにyがxと関係を持つ場合にはxとyが一致する場合、Rは反対称律を満たすと言います。反対称律を満たす二項関係の例を挙げます。

二項関係の非対称律

集合A上の二項関係Rのもとで、Aの任意の要素x,yについて、xがyと関係を持つ場合にはyがxと関係を持たない場合、Rは非対称律を満たすと言います。非対称律を満たす二項関係の例を挙げます。

二項関係の推移律

集合A上の二項関係Rのもとで、Aの任意の要素x,y,zについて、xがyと関係を持つとともにyがzと関係を持つ場合にxとzが関係を持つことが保証されるならば、Rは推移律を満たすと言います。推移律を満たす二項関係の例を挙げます。

二項関係の完備律・完全律・三分律

集合A上の二項関係Rが完備律、完全律、三分律を満たすことの意味をそれぞれ定義した上で、それらの関係を解説するとともに、具体例を挙げます。

同値関係

反射律、対称律、推移律を満たす関係を同値関係と呼びます。

確認テスト

関係に関する確認テストです。

学習ガイド

なぜ関係を学ぶのか|数学における「つながり」を記述する言葉

集合論を学んでいると「関係」という概念が登場します。しかし、なぜ関係を学ぶ必要があるのでしょうか。本記事では、関係が数学においてどのような役割を果たしているのかを解説します。同値関係や順序関係の意味にも触れながら、数学が対象そのものではなく対象同士の関係を研究する学問であることを見ていきます。

なぜ集合論を学ぶのか|大学数学の共通言語としての集合論

集合論は単なる数学の一分野ではありません。現代数学では、数・関数・図形・ベクトルなどの多くの対象が集合によって記述されます。本記事では、なぜ大学数学で集合論を学ぶのか、そして集合論が微分積分学・線形代数学・位相空間論・実数論などとどのように関わっているのかを解説します。

経済学のための数学|経済学部生が学ぶべき数学と学習順序

経済学では、市場や企業、消費者の行動を数学的に分析します。そのため、大学レベルの経済学を理解するには数学の知識が欠かせません。本記事では、経済学を学ぶために必要な数学分野とその学習順序を解説します。

最新の議論

関連分野

論理学

論理学は、数学における証明や推論の基礎となる分野です。命題論理や述語論理を通じて、論理式、真理値、量化記号、証明の考え方を体系的に解説します。大学数学や理論的な学問を学ぶための出発点となる教材を提供しています。

集合

集合論は数学の土台です。あらゆる数学的概念は集合を用いて記述できます。ここでは集合を定義した上で、集合演算とその性質について学び、さらには集合族や直積集合、関係などについて学びます。

写像

写像とは集合のそれぞれの要素に対して別の集合の要素を1つずつ定める規則のことです。関数を一般化した概念が写像です。

集合の濃度

集合の濃度とは要素の個数を一般化した概念であり、これを用いることにより無限どうしを比較できるようになります。

順序集合

順序集合は、集合の要素同士を比較できるようにした数学的構造です。自然数の大小関係から、集合の包含関係、実数の順序、線形代数学や位相空間論で登場する様々な構造まで、多くの数学は順序の概念の上に成り立っています。

このページの目次