2 つの要素 a,b の順序を考慮して組にしたものを順序対と呼びます。また、集合 A,B の要素からなるすべての順序対からなる集合を A と B の直積と呼びます。
< 前のページ
次のページ >

順序対

何らかの要素\(a,b\)が与えられたとき、それらを要素とする集合に関して、\begin{equation*}
\left\{ a,b\right\} =\left\{ b,a\right\}
\end{equation*}という関係が成り立ちます。つまり、集合を外延的に表現するとき、要素を並べる順番を変えても集合としては等しいままです。一方、2つの要素\(a,b\)を並べる順番を考慮した上で組にしたものを順序対(ordered pair)と呼びます。具体的には、1番目の要素が\(a\)で2番目の要素が\(b\)であるような順序対を、\begin{equation*}
\left( a,b\right)
\end{equation*}と表記します。この場合、\(a\)を第1成分(first entry)と呼び、\(b\)を第2成分(second entry)と呼びます。一方、第1成分が\(b\)で第2成分が\(a\)であるような順序対は、\begin{equation*}
\left( b,a\right)
\end{equation*}となります。

2つの順序対\(\left( a,b\right) ,\left( c,d\right) \)が等しい(equal)こととは、それらの対応する成分どうしが等しいこととして定義されます。つまり、\begin{equation*}
\left( a,b\right) =\left( c,d\right) \Leftrightarrow \left( a=c\wedge
b=d\right)
\end{equation*}を満たすものとして順序対どうしの相等関係\(=\)を定義するということです。この性質を順序対の固有性(characteristic property)と呼びます。このとき、\begin{equation*}
\left( a,b\right) \not=\left( c,d\right) \Leftrightarrow \left( a\not=c\vee
b\not=d\right)
\end{equation*}もまた成り立ちます。つまり、2つの順序対の対応する成分の中の少なくとも一方が異なるとき、それらは異なる順序対とみなされます。

例(順序対)
要素\(a,b\)が与えられたとき、順序対の固有性より、\begin{equation*}
\left( a,b\right) \not=\left( b,a\right) \Leftrightarrow a\not=b
\end{equation*}という関係が成り立ちます。つまり、\(a\)と\(b\)が異なる要素である場合には、\(\left( a,b\right) \)と\(\left( b,a\right) \)を異なる順序対として認識するということです。これは、順序対が2つの要素を並べる順番を考慮した上で組にしたものであることと整合的です。同時に、\begin{equation*}
\left( a,b\right) =\left( b,a\right) \Leftrightarrow a=b
\end{equation*}という関係も成り立ちます。つまり、\(a\)と\(b\)が等しい場合には、\(\left( a,b\right) \)と\(\left( b,a\right) \)もまた等しくなります。これもまた当然です。

 

集合の直積

2つの集合\(A,B\)が任意に与えられたとき、\(A\)の要素\(a\)と\(B\)の要素\(b\)を1つずつ選べば、そこから順序対\(\left( a,b\right) \)を作ることができます。このようなすべての順序対からなる集合を\(A\times B\)で表します。つまり、\begin{equation*}
A\times B=\left\{ \left( a,b\right) \ |\ a\in A\wedge b\in B\right\}
\end{equation*}です。これを\(A\)と\(B\)の直積(direct product)やカルテシアン積(Cartesian product)などと呼びます。

2つの集合\(A,B\)からは以下の2つの直積集合\begin{eqnarray*}
A\times B &=&\left\{ \left( a,b\right) \ |\ a\in A\wedge b\in B\right\} \\
B\times A &=&\left\{ \left( b,a\right) \ |\ b\in B\wedge a\in A\right\}
\end{eqnarray*}が定義可能です。\(A\not=B\)の場合、\(A\times B\)と\(B\times A\)のどちらか一方だけの要素であるような順序対が存在します(演習問題にします)。したがって、\begin{equation*}
A\not=B\Rightarrow A\times B\not=B\times A
\end{equation*}という関係が成り立ちます。一方、\(A=B\)の場合、\(A\times B\)と\(B\times A\)はお互いに同じ順序対だけ要素として持ちます(演習問題にします)。したがって、\begin{equation*}
A=B\Rightarrow A\times B=B\times A
\end{equation*}という関係が成り立ちます。特に、同じ集合\(A\)どうしの直積\(A\times A\)を\(A^{2}\)と表記します。つまり、\begin{equation*}
A^{2}=\left\{ \left( a_{1},a_{2}\right) \ |\ a_{1}\in A\wedge a_{2}\in
A\right\}
\end{equation*}です。

例(集合の直積)
集合\(A=\left\{ a,b,c\right\} \)と集合\(B=\left\{ 1,2\right\} \)に対して、\begin{eqnarray*}
A\times B &=&\left\{ \left( a,1\right) ,\left( a,2\right) ,\left( b,1\right)
,\left( b,2\right) ,\left( c,1\right) ,\left( c,2\right) \right\} \\
B\times A &=&\left\{ \left( 1,a\right) ,\left( 1,b\right) ,\left( 1,c\right)
,\left( 2,a\right) ,\left( 2,b\right) ,\left( 2,c\right) \right\} \\
A^{2} &=&\left\{ \left( a,a\right) ,\left( a,b\right) ,\left( a,c\right)
,\left( b,a\right) ,\left( b,b\right) ,\left( b,c\right) ,\left( c,a\right)
,\left( c,b\right) ,\left( c,c\right) \right\} \\
B^{2} &=&\left\{ \left( 1,1\right) ,\left( 1,2\right) ,\left( 2,1\right)
,\left( 2,2\right) \right\}
\end{eqnarray*}などとなります。
例(集合の直積)
すべての実数からなる集合を\(\mathbb{R}\)で表します。これは数直線上のすべての点からなる集合です。このとき、\begin{equation*}
\mathbb{R}^{2}=\left\{ \left( x,y\right) \ |\ x\in
\mathbb{R}\wedge y\in
\mathbb{R}\right\}
\end{equation*}となります。つまり、\(\mathbb{R}^{2}\)は実数を成分とする座標\(\left( x,y\right) \)からなる集合であり、これは2次元平面上のすべての点からなる集合です。
例(集合の直積)
空集合\(\phi \)は集合であるため、それと任意の集合\(A\)の直積\(A\times \phi \)をとることができます。このとき、任意の順序対\(\left( x,y\right) \)について、\begin{eqnarray*}
\left( x,y\right) \in A\times \phi &\Leftrightarrow &x\in A\wedge x\in \phi
\quad \because \times \text{の定義} \\
&\Leftrightarrow &x\in A\wedge \bot \quad \because \phi \text{の定義} \\
&\Leftrightarrow &\bot \quad \because \text{恒偽式}\bot
\text{の性質} \\
&\Leftrightarrow &x\in \phi \quad \because \phi \text{の定義}
\end{eqnarray*}となるため、\begin{equation*}
A\times \phi =\phi
\end{equation*}が成り立ちます。つまり、空集合との直積をとると空集合になります。同様に考えると、\begin{equation*}
A\times \phi =\phi \times A=\phi \times \phi =\phi
\end{equation*}が成り立つことが示されます(演習問題にします)。

次回は有限集合族の直積集合について学びます。

次へ進む 質問・コメントを投稿する 演習問題(プレミアム会員限定)
Share on facebook
Share on twitter
Share on email
< 前のページ
次のページ >

プレミアム会員サービス

ユーザー名とメールアドレスを入力して有料(500円/月)のプレミアム会員へアップグレードすることにより、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題、解答など)へのアクセスが可能に。
会員サービス
ログイン

プレミアム会員だけが質問やコメントを投稿・閲覧できます。

アカウント
ログイン