集合の濃度

2つの集合の間に全単射が存在する場合には、それらの集合の濃度は等しいと言います。集合の濃度が等しいことを二項関係と解釈したとき、これは反射律・対称律・推移律を満たす同値関係です。

等しい濃度を持つ集合

集合$A$から集合$B$への写像$f:A\rightarrow B$が全単射であることとは、$f$が単射かつ全射であることとして、すなわち、\begin{eqnarray*}&&\left( a\right) \ \forall a,a^{\prime }\in A:\left[ a\not=a^{\prime
}\Rightarrow f\left( a\right) \not=f\left( a^{\prime }\right) \right] \\
&&\left( b\right) \ \forall b\in B,\ \exists a\in A:b=f\left( a\right)
\end{eqnarray*}がともに成り立つこととして定義されます。

集合$A,B$が与えられたとき、$A$から$B$への全単射が存在する場合には、$A$と$B$は等しい濃度（same cardinality）を持つと言い、そのことを、\begin{equation*}\left\vert A\right\vert =\left\vert B\right\vert
\end{equation*}で表記します。つまり、任意の集合$A,B$について、\begin{equation*}\left\vert A\right\vert =\left\vert B\right\vert \Leftrightarrow \text{全単射}f:A\rightarrow B\text{が存在する}
\end{equation*}という関係を満たすものとして集合の濃度の相等関係$=$は定義されるということです。

集合$A,B$が与えられたとき、$A$から$B$への全単射が存在する場合、それは1つだけであるとは限りません。ただ、$A$から$B$への全単射が存在する場合には、その個数に関わらず、$\left\vert A\right\vert =\left\vert B\right\vert $が成り立つものとみなします。言い換えると、$A$から$B$への全単射がいくつ存在するか分からない場合でも、少なくとも1つ存在することが明らかであれば、$\left\vert A\right\vert=\left\vert B\right\vert $が成り立つものとみなすということです。

例（等しい濃度を持つ集合）

集合$A,B$がそれぞれ、\begin{eqnarray*}A &=&\left\{ a_{1},a_{2},a_{3}\right\} \\
B &=&\left\{ b_{1},b_{2},b_{3}\right\}
\end{eqnarray*}で与えられているものとします。写像$f:A\rightarrow B$を、\begin{eqnarray*}f\left( a_{1}\right) &=&b_{1} \\
f\left( a_{2}\right) &=&b_{2} \\
f\left( a_{3}\right) &=&b_{3}
\end{eqnarray*}を満たすものとして定義する場合、この写像$f$は全単射です。実際、始集合の要素$a_{i},a_{j}\in A$を任意に選んだとき、\begin{equation*}a_{i}\not=a_{j}\Rightarrow f\left( a_{i}\right) \not=f\left( a_{j}\right)
\end{equation*}が成り立つため$f$は単射であり、終集合の要素$b_{i}\in B$を任意に選んだとき、それに対して、\begin{equation*}f\left( a_{i}\right) =b_{i}
\end{equation*}を満たす$a_{i}\in A$が存在するため$f$は全射です。以上より$f$は全単射であることが示されたため、\begin{equation*}\left\vert A\right\vert =\left\vert B\right\vert
\end{equation*}が成り立ちます。

例（等しい濃度を持つ集合）

すべての自然数からなる集合\begin{equation*}\mathbb{N} =\left\{ 1,2,\cdots \right\}
\end{equation*}とすべての正の偶数からなる集合\begin{equation*}
E=\left\{ 2,4,\cdots \right\}
\end{equation*}が与えられているものとします。写像$f:\mathbb{N} \rightarrow E$はそれぞれの自然数$n\in \mathbb{N} $に対して、以下の正の偶数\begin{equation*}f\left( n\right) =2n
\end{equation*}を定めるものとします。この$f$は全単射です。実際、異なる自然数$n,n^{\prime }\in \mathbb{N} $を任意に選んだとき、\begin{eqnarray*}f\left( n\right) &=&2n\quad \because f\text{の定義} \\
&\not=&2n^{\prime }\quad \because n\not=n^{\prime } \\
&=&f\left( n^{\prime }\right) \quad \because f\text{の定義}
\end{eqnarray*}となるため$f$は単射です。また、正の偶数$e\in E$を任意に選ぶと、正の偶数の定義より$\frac{e}{2}\in \mathbb{N} $であるとともに、\begin{eqnarray*}f\left( \frac{e}{2}\right) &=&2\cdot \frac{e}{2}\quad \because f\text{の定義} \\
&=&e \\
&\in &E
\end{eqnarray*}となるため$f$は全射です。したがって$f$は全単射であるため、\begin{equation*}\left\vert \mathbb{N} \right\vert =\left\vert E\right\vert
\end{equation*}であることが示されました。

例（カントールの対角線論法）

すべての自然数からなる集合を、\begin{equation*}\mathbb{N} =\left\{ 1,2,\cdots \right\}
\end{equation*}で表記し、すべての正の有理数からなる集合を、\begin{equation*}\mathbb{Q} _{++}=\left\{ \frac{m}{n}\in \mathbb{R} \ |\ m,n\in \mathbb{N} \right\}
\end{equation*}で表記します。ただし、2つの正の有理数$\frac{m_{1}}{n_{1}},\frac{m_{2}}{n_{2}}\in \mathbb{Q} _{++}$が等しいことは、\begin{equation*}\frac{m_{1}}{n_{1}}=\frac{m_{2}}{n_{2}}\Leftrightarrow m_{1}n_{2}=m_{2}n_{1}
\end{equation*}が成り立つこととして定義されます。例えば、2つの正の有理数$\frac{1}{2},\frac{2}{4}$について$1\cdot4=2\cdot 2$が成り立つため、これらは等しい有理数とみなされます。つまり、約分したときに同じ数になる有理数どうしを区別せず、それらを同一の有理数とみなすということです。以上を踏まえた上で、すべての正の有理数を以下の要領で並べます。

$$\begin{array}{cccccc}
\hline
\frac{1}{1} & \frac{2}{1} & \frac{3}{1} & \frac{4}{1} & \frac{5}{1} & \cdots \\ \hline
\frac{1}{2} & \frac{3}{2} & \frac{5}{2} & \frac{7}{2} & \frac{9}{2} & \cdots \\ \hline
\frac{1}{3} & \frac{2}{3} & \frac{4}{3} & \frac{5}{3} & \frac{7}{3} & \cdots \\ \hline
\frac{1}{4} & \frac{3}{4} & \frac{5}{4} & \frac{7}{4} & \frac{9}{4} & \cdots \\ \hline
\frac{1}{5} & \frac{2}{5} & \frac{3}{5} & \frac{4}{5} & \frac{6}{5} & \cdots \\ \hline
\vdots & \vdots & \vdots & \vdots & \vdots & \ddots \\
\hline
\end{array}$$

つまり、表の$i$行目には、分母が$i$であるような正の有理数を左側から小さい順で並べるということです。約分したときに他と一致するような有理数は除外されているため、表にはすべての有理数が記載されているとともに、重複はありません。以上を踏まえた上で、\begin{equation*}\left\vert \mathbb{N} \right\vert =\left\vert \mathbb{Q} _{++}\right\vert
\end{equation*}が成り立つことを示すために全単射\begin{equation*}
f:\mathbb{N} \rightarrow \mathbb{Q} _{++}
\end{equation*}を具体的に構成します。表の$1$行目に並ぶ有理数に対して左から順番に番号$1,2,3,\cdots $を付与するとどうなるでしょうか。つまり、

$$\begin{array}{cccccc}
\hline
f\left( 1\right) =\frac{1}{1} & f\left( 2\right) =\frac{2}{1} & f\left( 3\right) =\frac{3}{1} & f\left( 4\right) =\frac{4}{1} & f\left( 5\right) =\frac{5}{1} & \cdots \\ \hline
\frac{1}{2} & \frac{3}{2} & \frac{5}{2} & \frac{7}{2} & \frac{9}{2} & \cdots \\ \hline
\frac{1}{3} & \frac{2}{3} & \frac{4}{3} & \frac{5}{3} & \frac{7}{3} & \cdots \\ \hline
\frac{1}{4} & \frac{3}{4} & \frac{5}{4} & \frac{7}{4} & \frac{9}{4} & \cdots \\ \hline
\frac{1}{5} & \frac{2}{5} & \frac{3}{5} & \frac{4}{5} & \frac{6}{5} & \cdots \\ \hline
\vdots & \vdots & \vdots & \vdots & \vdots & \ddots \\
\hline
\end{array}$$

と定めるということです。このような$f$は明らかに単射です。しかし、表の$1$行目には有理数が無限に並んでいるため、このような$f$のもとでは表の$1$行目に並ぶ有理数に対して番号$1,2,3,\cdots $を付与するだけであり、表の$2$行目以降に並ぶ有理数に番号を付与できません。したがって、このような$f$は全射ではなく、ゆえに全単射でもありません。では、表中の有理数に対して左上から対角線状に番号$1,2,3,\cdots $を付与するとどうなるでしょうか。つまり、

$$\begin{array}{cccccccc}
\hline
f\left( 1\right) =\frac{1}{1} & \longrightarrow & f\left( 2\right) =\frac{2}{1} & & f\left( 6\right) =\frac{3}{1} & \longrightarrow & f\left( 7\right) =\frac{4}{1} & \cdots \\ \hline & \swarrow & & \nearrow & & \swarrow & & \\ \hline
f\left( 3\right) =\frac{1}{2} & & f\left( 5\right) =\frac{3}{2} & & f\left( 8\right) =\frac{5}{2} & & \frac{7}{2} & \cdots \\ \hline
\downarrow & \nearrow & & \swarrow & & & & \\ \hline
f\left( 4\right) =\frac{1}{3} & & f\left( 9\right) =\frac{2}{3} & & \frac{4}{3} & & \frac{5}{3} & \cdots \\ \hline & \swarrow & & & & & & \\ \hline
f\left( 10\right) =\frac{1}{4} & & \frac{3}{4} & & \frac{5}{4} & & \frac{7}{4} & \cdots \\ \hline
\downarrow & & & & & & & \\ \hline
\vdots & & \vdots & & \vdots & & \vdots & \ddots \\ \hline
\end{array}$$

と定めるということです。約分したときに重複する有理数は表から除かれているため、異なる自然数に割り当てられる正の有理数は異なります。したがって$f$は単射です。また、正の有理数$q\in \mathbb{Q} _{++}$を任意に選んだとき、これは既約分数\begin{equation*}q=\frac{m}{n}
\end{equation*}として表されます。この分数は表の$n$行に存在し、対角線状の列挙により有限番目に必ず番号が割り当てられます。したがって$f$は全射です。以上で$f$が全単射であることが明らかになりました。つまり、\begin{equation*}\left\vert \mathbb{N} \right\vert =\left\vert \mathbb{Q} _{++}\right\vert
\end{equation*}が成り立ちます。

等しくない濃度を持つ集合

集合$A,B$が与えられたとき、$A$から$B$への全単射が存在しない場合には、$A$と$B$は等しくない濃度（unequal cardinalities）を持つと言い、そのことを、\begin{equation*}\left\vert A\right\vert \not=\left\vert B\right\vert
\end{equation*}で表記します。つまり、任意の集合$A,B$について、\begin{equation*}\left\vert A\right\vert \not=\left\vert B\right\vert \Leftrightarrow \text{全単射}f:A\rightarrow B\text{が存在しない}
\end{equation*}という関係を満たすものとして集合の濃度の非相等関係$\not=$は定義されるということです。

例（等しくない濃度を持つ集合）

集合$A,B$がそれぞれ、\begin{eqnarray*}A &=&\left\{ a_{1},a_{2},a_{3}\right\} \\
B &=&\left\{ b_{1},b_{2}\right\}
\end{eqnarray*}で与えられているものとします。$A$の要素の個数は$B$の要素の個数よりも多いため、写像$f:A\rightarrow B$を任意に選ぶと、\begin{equation*}f\left( a_{i}\right) =f\left( a_{j}\right) \in B
\end{equation*}を満たす$A$の異なる要素$a_{i},a_{j}$が存在するため$f$は単射ではなく、したがって全単射でもありません。$A$から$B$への任意の写像について同様の議論が成立するため、$A$から$B$への全単射は存在せず、したがって、\begin{equation*}\left\vert A\right\vert \not=\left\vert B\right\vert
\end{equation*}であることが示されました。

単射を用いた濃度の相等関係の判定

集合$A,B$が与えられたとき、$A$から$B$への単射と、$B$から$A$への単射がともに存在する場合、$A$から$B$への全単射が存在することが保証されます（シュレーダー＝ベルンシュタインの定理）。以上の事実を踏まえると、濃度の相等関係に関する以下の命題を得ます。

命題（単射を用いた濃度の相等関係の判定）

集合$A,B$について$A$から$B$への単射と$B$から$A$への単射がともに存在するならば、\begin{equation*}\left\vert A\right\vert =\left\vert B\right\vert
\end{equation*}が成り立つ。

証明

会員専用コンテンツです
【ログイン】【会員登録】

つまり、$A$から$B$への全単射を具体的に構成できない場合でも、$A$から$B$への単射と$B$から$A$への単射をそれぞれ構成できるのであれば、$A$と$B$の濃度が等しいことを保証できるということです。

例（単射を用いた濃度の相当関係の判定）

半開区間$(0,1]$と開区間$\left( 0,1\right) $の濃度が等しいことを示します。それぞれの$x\in (0,1]$に対して、\begin{equation*}f\left( x\right) =\frac{x}{2}+\frac{1}{4}
\end{equation*}を定める写像$f:(0,1]\rightarrow \left(0,1\right) $と、それぞれの$x\in\left( 0,1\right) $に対して、\begin{equation*}g\left( x\right) =x
\end{equation*}を定める写像$g:\left( 0,1\right)\rightarrow (0,1]$に注目します。これらはともに単射です。実際、$x_{1},x_{2}\in (0,1]$を任意に選んだとき、\begin{eqnarray*}f\left( x_{1}\right) =f\left( x_{2}\right) &\Leftrightarrow &\frac{x_{1}}{2}+\frac{1}{4}=\frac{x_{2}}{2}+\frac{1}{4} \\
&\Rightarrow &x_{1}=x_{2}
\end{eqnarray*}となるため$f$は単射です。また、$x_{1},x_{2}\in \left( 0,1\right) $を任意に選んだとき、\begin{equation*}g\left( x_{1}\right) =g\left( x_{2}\right) \Leftrightarrow x_{1}=x_{2}
\end{equation*}となるため$g$は単射です。したがって先の命題より、\begin{equation*}\left\vert (0,1]\right\vert =\left\vert \left( 0,1\right) \right\vert
\end{equation*}が成り立ちます。

全射を用いた濃度の相等関係の判定

集合$A,B$が与えられたとき、$A$から$B$への全射と、$B$から$A$への全射がともに存在する場合、選択公理を認めるのであれば、$A$から$B $への全単射が存在することが保証されます。以上の事実を踏まえると、濃度の相等関係に関する以下の命題を得ます。

命題（全射を用いた濃度の相等関係の判定）

集合$A,B$について$A$から$B$への全射と$B$から$A$への全射がともに存在するならば、\begin{equation*}\left\vert A\right\vert =\left\vert B\right\vert
\end{equation*}が成り立つ。ただし、選択公理を認めるものとする。

証明

会員専用コンテンツです
【ログイン】【会員登録】

つまり、$A$から$B$への全単射を具体的に構成できない場合でも、$A$から$B$への全射と$B$から$A$への全射をそれぞれ構成できるのであれば、$A$と$B$の濃度が等しいことを保証できるということです。ただし、先の命題とは異なり、こちらの命題では選択公理が要求されることに注意してください。

例（全射を用いた濃度の相等関係の判定）

閉区間$\left[ 0,1\right] $と開区間$\left( 0,1\right) $の濃度が等しいことを示します。それぞれの$x\in \left[ 0,1\right] $に対して、\begin{equation*}f\left( x\right) =\left\{
\begin{array}{cl}
\frac{1}{2} & \left( if\ x=0\vee x=1\right) \\
x & \left( if\ 0<x<1\right)
\end{array}\right.
\end{equation*}を定める写像$f:\left[ 0,1\right]\rightarrow \left( 0,1\right) $と、それぞれの$x\in \left( 0,1\right) $に対して、\begin{equation*}g\left( x\right) =\sin ^{2}\left( 2\pi x\right)
\end{equation*}を定める写像$g:\left( 0,1\right)\rightarrow \left[ 0,1\right] $に注目します。これらはともに全射であるため、先の命題より、\begin{equation*}\left\vert \left[ 0,1\right] \right\vert =\left\vert \left( 0,1\right)
\right\vert
\end{equation*}が成り立ちます（演習問題）。

単射と全射を用いた濃度の相等関係の判定

集合$A,B$が与えられたとき、$A$から$B$への単射と、同じく$A$から$B$への全射がともに存在する場合、選択公理を認めるのであれば、$A$から$B$への全単射が存在することが保証されます。以上の事実を踏まえると、濃度の相等関係に関する以下の命題を得ます。

命題（単射と全射を用いた濃度の相等関係の判定）

集合$A,B$について$A$から$B$への単射と全射がともに存在するならば、\begin{equation*}\left\vert A\right\vert =\left\vert B\right\vert
\end{equation*}が成り立つ。ただし、選択公理を認めるものとする。

証明

会員専用コンテンツです
【ログイン】【会員登録】

この命題のポイントは、存在が保証されている$A$から$B$への単射と全射は異なる写像でもよいという点です（それらが同じ写像であるならば、その写像そのものが全単射であることは明らかです）。つまり、$A$から$B$への全単射を具体的に構成できない場合でも、$A$から$B$への単射と全射をそれぞれ構成できるのであれば、$A$と$B$の濃度が等しいことを保証できるということです。この命題でも選択公理が要求されています。

例（単射と全射を用いた濃度の相等関係の判定）

自然数集合$\mathbb{N} $と整数集合$\mathbb{Z} $の濃度が等しいことを示します。それぞれの$n\in \mathbb{N} $に対して、\begin{equation*}f\left( n\right) =n
\end{equation*}を定める写像$f:\mathbb{N} \rightarrow \mathbb{Z} $と、それぞれの$n\in \mathbb{N} $に対して、\begin{equation*}g\left( n\right) =\left\{
\begin{array}{cl}
0 & \left( if\ n=1,2\right) \\
\frac{n-1}{2} & \left( if\ n\geq 3\wedge n\text{は奇数}\right) \\
-\frac{n-2}{2} & \left( if\ n\geq 4\wedge n\text{は偶数}\right)
\end{array}\right.
\end{equation*}を定める写像$g:\mathbb{N} \rightarrow \mathbb{Z} $に注目します。$f$は単射であり$g$は全射であるため、先の命題より、\begin{equation*}\left\vert \mathbb{N} \right\vert =\left\vert \mathbb{Z} \right\vert
\end{equation*}が成り立ちます（演習問題）。

部分集合への全単射を用いた濃度の相等関係の判定

集合$A,B$が与えられたとき、$A$から$B$の部分集合への全単射と、$B$から$A$の部分集合への全単射がともに存在する場合、$A$から$B$への全単射が存在することが保証されます。以上の事実を踏まえると、濃度の相等関係に関する以下の命題を得ます。

命題（部分集合への全単射を用いた濃度の相等関係の判定）

集合$A,B$について$A$から$B$の部分集合への全単射と$B$から$A$の部分集合への全単射がともに存在するならば、\begin{equation*}\left\vert A\right\vert =\left\vert B\right\vert
\end{equation*}が成り立つ。

証明

会員専用コンテンツです
【ログイン】【会員登録】

この命題では選択公理が要求されてないことに注意してください。

例（部分集合への全単射を用いた濃度の相等関係の判定）

自然数集合$\mathbb{N} $と整数集合$\mathbb{Z} $の濃度が等しいことを示します。$\mathbb{Z} $の部分集合$\mathbb{N} $を注目した上で、それぞれの$n\in \mathbb{N} $に対して、\begin{equation*}f\left( n\right) =n
\end{equation*}を定める写像$f:\mathbb{N} \rightarrow \mathbb{N} $を構成します。また、$\mathbb{N} $の部分集合$E=\left\{ 2,4,6,\cdots \right\} $に注目した上で、それぞれの$z\in \mathbb{Z} $に対して、\begin{equation*}g\left( z\right) =\left\{
\begin{array}{cl}
4z+2 & \left( if\ z\geq 0\right) \\
-4z & \left( if\ z<0\right)
\end{array}\right.
\end{equation*}を定める写像$g:\mathbb{Z} \rightarrow E$を構成します。これらはともに全単射であるため、先の命題より、\begin{equation*}\left\vert \mathbb{N} \right\vert =\left\vert \mathbb{Z} \right\vert
\end{equation*}が成り立ちます（演習問題）。

濃度の相等関係は同値関係

全体集合$U$を任意に選んだ上で、その部分集合どうしの濃度が等しいか判定する状況を想定します。$U$の任意の部分集合$A,B\in 2^{U}$について、以下の関係\begin{equation*}\left( A,B\right) \in R\Leftrightarrow \left\vert A\right\vert =\left\vert
B\right\vert
\end{equation*}を満たすものとして$2^{U}$上の二項関係\begin{equation*}R\subset 2^{U}\times 2^{U}
\end{equation*}を定義します。ただし、$2^{U}$は$U$のべき集合、すなわち$U$のすべての部分集合を要素として持つ集合族です。つまり、$U$の部分集合$A,B$について、$A$と$B$が等しい濃度を持つ場合、そしてその場合にのみ$\left( A,B\right) \in R$が成り立つものとして$2^{U}$上の二項関係$R$を定義するということです。この二項関係$R$を濃度の相等関係$=$と同一視することにより、濃度の相等関係$=$を$2^{U}$上の二項関係とみなすことができます。では、濃度の相等関係$=$はどのような性質を満たす二項関係でしょうか。

集合$U$のべき集合$2^{U}$上に定義された濃度の相等関係$=$は$2^{U}$上の同値関係です。つまり、$=$は反射律、対称律、推移律に相当する以下の性質\begin{eqnarray*}&&\left( E_{1}\right) \ \forall A\in 2^{U}:\left\vert A\right\vert
=\left\vert A\right\vert \\
&&\left( E_{2}\right) \ \forall A,B\in 2^{U}:\left( \left\vert A\right\vert
=\left\vert B\right\vert \Rightarrow \left\vert B\right\vert =\left\vert
A\right\vert \right) \\
&&\left( E_{3}\right) \ \forall A,B,C\in 2^{U}:\left[ \left( \left\vert
A\right\vert =\left\vert B\right\vert \wedge \left\vert B\right\vert
=\left\vert C\right\vert \right) \Rightarrow \left\vert A\right\vert
=\left\vert C\right\vert \right] \end{eqnarray*}を満たします。

反射律$\left( E_{1}\right) $は、任意の集合$A$の濃度は自身$A$の濃度と一致することを意味します。つまり、$A$から$A$自身への全単射が必ず存在するということです。

対称律$\left( E_{2}\right) $は、集合$A,B$を任意に選んだとき、$A$と$B$の濃度が等しい場合には、$B$と$A$の濃度も等しいことが保証されることを意味します。つまり、$A$から$B$への全単射が存在する場合には、$B$から$A$への全単射が存在することも保証されるということです。

推移律$\left( E_{3}\right) $は、集合$A,B,C$を任意に選んだとき、$A$と$B$の濃度が等しく、$B$と$C$の濃度が等しい場合には、$A$と$C$の濃度が一致することが保証されることを意味します。つまり、$A$から$B$への全単射と$B$から$C$への全単射がともに存在する場合には、$A$から$C$への全単射が存在することが保証されるということです。

命題（濃度の相等関係は同値関係）

集合$U$のべき集合$2^{U}$上に定義された濃度の相等関係$=$は$2^{U}$上の同値関係である。

解答を見る

会員専用コンテンツです
【ログイン】【会員登録】

濃度の相等関係$=$は同値関係であるため、集合$A\in 2^{U}$を任意に選んだとき、それを代表元とする同値類\begin{equation*}\left[ A\right] =\left\{ B\in 2^{U}\ |\ \left\vert A\right\vert =\left\vert
B\right\vert \right\}
\end{equation*}が得られます。これは集合$A$と等しい濃度を持つ集合を要素とする集合族です。さらに、$2^{U}$の$=$による商集合が、\begin{equation*}2^{U}/==\left\{ \left[ A\right] \ |\ A\in 2^{U}\right\}
\end{equation*}と定義されますが、商集合の性質より、これは$2^{U}$の分割です。つまり、「等しい濃度を持つ」という基準から$U$の部分集合を複数のグループに分類したとき、それぞれの部分集合は何らかのグループに属するとともに、異なる複数のグループに属する部分集合が存在しないことが保証されます。

演習問題

問題（等しい濃度を持つ集合）

集合$A,B$がそれぞれ、\begin{eqnarray*}A &=&\left\{ x\in \mathbb{Z} \ |\ 0\leq x\leq 5\right\} \\
B &=&\left\{ x\in \mathbb{Z} \ |\ -5\leq x\leq 0\right\}
\end{eqnarray*}と定義されています。ただし、$\mathbb{Z} $はすべての整数からなる集合です。このとき、\begin{equation*}\left\vert A\right\vert =\left\vert B\right\vert
\end{equation*}が成り立つことを証明してください。

解答を見る

会員専用コンテンツです
【ログイン】【会員登録】

問題（等しい濃度を持つ集合）

すべての自然数からなる集合$\mathbb{N} $とすべての整数からなる集合$\mathbb{Z} $の間には、\begin{equation*}\left\vert \mathbb{N} \right\vert =\left\vert \mathbb{Z} \right\vert
\end{equation*}という関係が成り立つことを証明してください。

解答を見る

会員専用コンテンツです
【ログイン】【会員登録】

問題（等しい濃度を持つ集合）

すべての実数からなる集合$\mathbb{R} $とすべての正の実数からなる集合$\mathbb{R} _{++}$の間には、\begin{equation*}\left\vert \mathbb{R} \right\vert =\left\vert \mathbb{R} _{++}\right\vert
\end{equation*}が成り立つことを証明してください。

証明

会員専用コンテンツです
【ログイン】【会員登録】

問題（全射を用いた濃度の相等関係の判定）

それぞれの$x\in \left[ 0,1\right] $に対して、\begin{equation*}f\left( x\right) =\left\{
\begin{array}{cl}
\frac{1}{2} & \left( if\ x=0\vee x=1\right) \\
x & \left( if\ 0<x<1\right)
\end{array}\right.
\end{equation*}を定める写像$f:\left[ 0,1\right]\rightarrow \left( 0,1\right) $と、それぞれの$x\in \left( 0,1\right) $に対して、\begin{equation*}g\left( x\right) =\sin ^{2}\left( 2\pi x\right)
\end{equation*}を定める写像$g:\left( 0,1\right)\rightarrow \left[ 0,1\right] $に注目します。これらがともに全射であることを示してください。

解答を見る

会員専用コンテンツです
【ログイン】【会員登録】

問題（単射と全射を用いた濃度の相等関係の判定）

それぞれの$n\in \mathbb{N} $に対して、\begin{equation*}f\left( n\right) =n
\end{equation*}を定める写像$f:\mathbb{N} \rightarrow \mathbb{Z} $と、それぞれの$n\in \mathbb{N} $に対して、\begin{equation*}g\left( n\right) =\left\{
\begin{array}{cl}
0 & \left( if\ n=1,2\right) \\
\frac{n-1}{2} & \left( if\ n\geq 3\wedge n\text{は奇数}\right) \\
-\frac{n-2}{2} & \left( if\ n\geq 4\wedge n\text{は偶数}\right)
\end{array}\right.
\end{equation*}を定める写像$g:\mathbb{N} \rightarrow \mathbb{Z} $に注目します。$f$は単射であり$g$は全射であることを証明してください。

解答を見る

会員専用コンテンツです
【ログイン】【会員登録】

この教材についての議論

この教材について質問したり、他の学習者と議論したりするには会員登録とログインが必要です。

会員はコメントを投稿できます
他のユーザーへの返信も可能です
過去の議論を検索・閲覧できます
投稿内容は後から編集できます

WIISでは、年齢・性別・学歴・職業・社会的立場などにかかわらず、すべてのユーザーが「学ぶ人」として対等であると考えています。

ここは知識を競う場所ではなく、互いの考えを尊重しながら理解を深めていくための場です。質問や意見の表明はもちろん、分からないことを率直に尋ねることも歓迎します。

建設的で安心できる学習環境を維持するため、投稿の前にガイドラインをご確認ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合には以下のフォームからご連絡をお願い致します。

集合の濃度

関連教材

等しい濃度を持つ集合

等しくない濃度を持つ集合

単射を用いた濃度の相等関係の判定

全射を用いた濃度の相等関係の判定

単射と全射を用いた濃度の相等関係の判定

部分集合への全単射を用いた濃度の相等関係の判定

濃度の相等関係は同値関係

演習問題

関連教材

この教材についての議論

ログイン

このページの目次