教材一覧
教材検索
SET

全体集合

目次

< 前のページ
次のページ >
Share on twitter
Twitterで共有
Share on email
メールで共有

全体集合

集合論のどのような応用においても、何らかの集合について議論するとき、私たちは、その集合が別の集合の部分集合であることを暗に想定しています。例えば、すべての素数からなる集合\(A=\left\{ 2,3,5,7,11,\cdots \right\} \)が与えられたとき、\(A\)に属さないもの、すなわち素数でないものを挙げよと問われたら、\(4,6,8\)など、素数ではない自然数を答えるのが自然です。このような答え方は、\(A\)がすべての自然数からなる集合\(\mathbb{N}\)の部分集合であることを念頭においたものです。また、数直線上の区間を議論の対象としているとき、それらはいずれもすべての実数からなる集合\(\mathbb{R}\)の部分集合であることを念頭においています。他の場合についても同様です。

そこで、議論の対象となるすべての集合を部分集合として持つような集合を全体集合(universal set)や普遍集合などと呼びます。全体集合を\(U\)で表すとき、議論の対象となる集合\(A\)を任意に選ぶと、両者の間には\(A\subset U\)、すなわち、\begin{equation*}
\forall x\in A:x\in U
\end{equation*}という関係が成り立ちます。

全体集合は議論の対象となる任意の集合を部分集合として持つため、それらの集合の要素はいずれも全体集合の要素です。このような事情もあり、全体集合を、議論の対象となるすべての要素からなる集合とみなすこともできます。

例(全体集合)
ある図書館に所蔵されているすべての本を分野やテーマごとにいくつかの集合に分類しようとしているとき、全体集合はその図書館に所蔵されているすべての本からなる集合です。
例(全体集合)
スマートフォンのアドレス帳に登録されている人を友達や家族などの属性ごとにいくつかの集合に分類しようとしているとき、全体集合はスマートフォンのアドレス帳に登録されているすべての人からなる集合です。
例(全体集合)
全国の都道府県を地域ごとにいくつかの集合に分類しようとしているとき、全体集合はすべての都道府県からなる集合です。
例(全体集合)
\(\{1,3,5,8\}\)や\(\{0,-1,-2,-5\}\)など、整数を要素とする集合について議論しようとしているとき、全体集合はすべての整数からなる集合\(\mathbb{Z}\)です。この場合、すべての自然数からなる集合\(\mathbb{N}\)は全体集合ではありません。なぜなら、整数を要素とする集合を議論の対象としているとき、\(0\)や負の整数を要素として含む集合は議論の対象である一方、自然数集合\(\mathbb{N}\)はそれらを要素として持たないからです。

 

全体集合の内包的表現

全体集合が\(U\)であるとします。このとき、議論の対象である集合\(A\)を内包的に表現することは、何らかの命題関数\(P\left( x\right) \)を導入した上で、\(U\)の要素の中でも命題\(P\left( x\right) \)が真になるようなものからなる集合\begin{equation}
A=\left\{ x\in U\ |\ P\left( x\right) \right\} \quad\cdots (1)
\end{equation}を考えることを意味します。つまり、議論の対象となる集合を命題関数を用いて内包的に表現する場合、全体集合\(U\)は変数の定義域と一致します。

では、全体集合\(U\)そのものはどのような形で内包的に表現できるでしょうか。\(U\)もまた上の集合\(A\)と同様に何らかの命題関数\(R\left( x\right) \)を用いて、\begin{equation*}
U=\left\{ x\in U\ |\ R\left( x\right) \right\}
\end{equation*}という形で表現されるものとします。このとき、\(x\in U\)を任意に選ぶと、\begin{equation*}
x\in U\ \Leftrightarrow \ R\left( x\right)
\end{equation*}という関係が成り立ちます。\(x\in U\)は明らかに真であるため、それと同値である\(R\left( x\right) \)もまた真です。これは任意の\(x\in U\)について成り立ちますが、これは\(R\left( x\right) \)が恒真式であることを意味します。以上を踏まえると、全体集合\(U\)は恒真式\(\top \)を用いて、\begin{equation}
U=\left\{ x\in U\ |\ \top \right\} \quad\cdots (2)
\end{equation}という形で表現できます。

ちなみに、議論の対象である集合\(A\)が\(\left( 1\right) \)として、全体集合\(U\)が\(\left( 2\right) \)としてそれぞれ内包的に表現されているとき、\(x\in U\)を任意に選ぶと、\begin{eqnarray*}
x\in A &\Leftrightarrow &P\left( x\right) \quad \because A\text{の定義} \\
&\Rightarrow &\top \\
&\Leftrightarrow &x\in U\quad \because U\text{の定義}
\end{eqnarray*}となるため、\(A\subset U\)となります。この結果は、全体集合が\(U\)が議論の対象となるすべての集合を部分集合として持つという事実と整合的です。

例(全体集合)
全体集合が\(U\)であるとき、集合\(A\)を、\begin{equation*}
A=\left\{ x\in U\ |\ x=x\right\}
\end{equation*}と定義します。命題関数\(x=x\)は恒真式であるため、この集合\(A\)は全体集合です。つまり、\(A=U\)が成り立ちます。

 

演習問題

問題(全体集合)
全体集合が\begin{equation*}
U=\left\{ 5,6,7,8,9,10,11,12\right\}
\end{equation*}であるとき、以下の集合\begin{eqnarray*}
A &=&\left\{ x\in U\ |\ x\text{は}60\text{の約数}\right\} \\
B &=&\left\{ x\in U\ |\ x\text{は素数}\right\}
\end{eqnarray*}の要素を具体的に特定してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(全体集合)
全体集合が\(U\)であるとき、集合\(A\)を、\begin{equation*}A=\left\{ x\in U\ |\ \left\vert x\right\vert \leq 3\right\}
\end{equation*}と定義します。以下の問いに答えてください。

  1. 全体集合が\(U=\mathbb{N} \)であるとき、集合\(A\)の要素を具体的に特定してください。ただし、\(\mathbb{N} \)はすべての自然数からなる集合です。
  2. 全体集合が\(U=\mathbb{Z} \)であるとき、集合\(A\)の要素を具体的に特定してください。ただし、\(\mathbb{Z} \)はすべての整数からなる集合です。
  3. 全体集合が\(U=\mathbb{R} \)であるとき、集合\(A\)の要素を具体的に特定してください。ただし、\(\mathbb{R} \)はすべての実数からなる集合です。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(全体集合)
全体集合\(U\)に関する以下の主張について、それが成り立つ場合には証明を行い、成り立たない場合には反例を提示してください。

  1. 任意の集合は全体集合\(U\)の部分集合である。
  2. 全体集合\(U\)を部分集合とする集合は存在しない。
  3. 全体集合\(U\)を部分集合とする集合は\(U\)だけである。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

次回は空集合について学びます。

< 前のページ
次のページ >
Share on twitter
Twitterで共有
Share on email
メールで共有
RELATED KNOWLEDGE

関連知識

全事象

全事象

標本空間はそれ自身の部分集合であることから、これもまた事象です。標本空間を事象とみなしたとき、それを全事象と呼びます。全事象は試行によって必ず起こる現象に相当する事象です。

全体集合

述語論理における恒真式・恒偽式・事実式

述語論理において論理式が恒真式であるとは、任意の解釈においてその論理式の値が真であることを意味します。また、論理式が恒偽式であるとは、任意の解釈においてその論理式の値が偽であることを意味します。恒真式や恒偽式ではない論理式を事実式と呼びます。

DISCUSSION

質問とコメント

プレミアム会員専用コンテンツです
ログイン】【会員登録