集合演算におけるベキ等律

同じ集合どうしの共通部分や和集合をとると、それはいずれももとの集合と等しい集合になります。共通部分や和集合が満たすこのような性質をベキ等律と呼びます。

ベキ等律

前節では、集合どうしが等しいことを利用して集合を相等変換できることを学びました。本節からは、そのような相等変換を行うための基本法則を順に学んでいきます。最初に取り上げるのはベキ等律(idemopotent law)です。ベキ等律は「同じ集合との共通部分や和集合を何度とっても結果は変わらない」という性質を表します。一見すると自明に思えるかもしれませんが、この法則は複雑な集合式を簡単にしたり、逆に証明の途中で同じ集合を自由に付け加えたりする際の基本となる重要な法則です。

集合\(A\)を任意に選んだとき、共通部分\(\cap \)と和集合\(\cup \)に関して以下の関係\begin{eqnarray*}\left( a\right) \ A\cap A &=&A \\
\left( b\right) \ A\cup A &=&A
\end{eqnarray*}が成り立ちます。つまり、同じ集合どうしの共通部分や和集合はもとの集合と一致するということです。これをベキ等律(idemopotent law)と呼びます。

命題(ベキ等律)
全体集合が\(U\)であるものとする。任意の集合\(A\)に対して、\begin{eqnarray*}\left( a\right) \ A\cap A &=&A \\
\left( b\right) \ A\cup A &=&A
\end{eqnarray*}が成り立つ。

証明

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

ベキ等律と集合の相等関係\(=\)の推移律より、任意の集合\(A\)に対して、\begin{equation*}A\cap A=A\cup A
\end{equation*}という関係もまた成り立ちます。つまり、同一の集合どうしの論理積と論理和は一致します。

例(ベキ等律)
集合\(A\)が、\begin{equation*}A=\left\{ 1,2,3\right\}
\end{equation*}であるとき、\begin{eqnarray*}
A\cap A &=&\left\{ 1,2,3\right\} \cap \left\{ 1,2,3\right\} \quad \because A\text{の定義} \\
&=&\left\{ 1,2,3\right\} \quad \because \text{共通部分の定義} \\
&=&A\quad \because A\text{の定義}
\end{eqnarray*}であり、\begin{eqnarray*}
A\cup A &=&\left\{ 1,2,3\right\} \cup \left\{ 1,2,3\right\} \quad \because A\text{の定義} \\
&=&\left\{ 1,2,3\right\} \quad \because \text{和集合の定義} \\
&=&A\quad \because A\text{の定義}
\end{eqnarray*}であるため、ベキ等律が成立しています。

例(ベキ等律)
集合\(A\)を任意に選ぶと、その補集合\(A^{c}\)は集合であるため、ベキ等律より、\begin{eqnarray*}\left( a\right) \ A^{c}\cap A^{c} &=&A^{c} \\
\left( b\right) \ A^{c}\cup A^{c} &=&A^{c}
\end{eqnarray*}がともに成り立ちます。

例(ベキ等律)
集合\(A,B\)を任意に選ぶと、これらの共通部分\(A\cap B\)は集合であるため、ベキ等律より、\begin{eqnarray*}\left( a\right) \ \left( A\cap B\right) \cap \left( A\cap B\right)
&=&\left( A\cap B\right) \\
\left( b\right) \ \left( A\cap B\right) \cup \left( A\cap B\right)
&=&\left( A\cap B\right)
\end{eqnarray*}がともに成り立ちます。

ベキ等律は集合を簡単にするだけでなく、証明の途中で同じ集合を自由に付け加えることも可能にします。

例(ベキ等律)
集合\(A\)を任意に選んだとき、\begin{eqnarray*}A &=&A\cap A\quad \because \text{ベキ等律} \\
&=&\left( A\cap A\right) \cap A\quad \because \text{ベキ等律} \\
&=&A\cap \left( A\cap A\right) \quad \because \text{ベキ等律}
\end{eqnarray*}が成り立ちます。また、\begin{eqnarray*}
A &=&A\cup A\quad \because \text{ベキ等律} \\
&=&\left( A\cup A\right) \cup A\quad \because \text{ベキ等律} \\
&=&A\cup \left( A\cup A\right) \quad \because \text{ベキ等律}
\end{eqnarray*}が成り立ちます。さらに、\(=\)の推移律より、ここに登場したすべての集合は一致します。

 

ベキ等律の一般化

集合\(A\)が任意に与えられたとき、\begin{eqnarray*}\left( A\cap A\right) \cap A &=&A\cap A\quad \because \text{ベキ等律} \\
&=&A\cap \left( A\cap A\right) \quad \because \text{ベキ等律}
\end{eqnarray*}すなわち、\begin{equation*}
\left( A\cap A\right) \cap A=A\cap \left( A\cap A\right)
\end{equation*}が成り立ちます。つまり、3つの\(A\)の間にある2つの\(\cap \)のどちらを最初に作用させても最終的に得られる集合は等しくなります。そこで、これら2つの集合を区別せずに、\begin{equation*}A\cap A\cap A
\end{equation*}で表記します。和集合についても同様に考えると、\begin{equation*}
\left( A\cup A\right) \cup A=A\cup \left( A\cup A\right)
\end{equation*}という関係が成り立つため、これら2つの集合を区別せずに、\begin{equation*}
A\cup A\cup A
\end{equation*}で表記します。

任意個の集合\(A\)の共通部分や和集合についても同様の議論が成立します。つまり、有限\(n\)個の集合\(A\)の間にある\(n-1\)個の\(\cap \)の中のどれを最初に作用させても最終的に得られる集合はいずれも等しいため、それらの集合を区別せずに、\begin{equation*}\overset{n\text{個}}{\overbrace{A\cap \cdots \cap A}}
\end{equation*}で表記します。同様に、有限\(n\)個の集合\(A\)の間にある\(n-1\)個の\(\cup \)の中のどれを最初に作用させても最終的に得られる集合はいずれも等しいため、それらの集合を区別せずに、\begin{equation*}\overset{n\text{個}}{\overbrace{A\cup \cdots \cup A}}
\end{equation*}で表記します。

以上の表記を踏まえたとき、以下が成り立つことが集合の個数\(n\)に関する数学的帰納法により示されます。

命題(ベキ等律)
任意の集合\(A\)に対して、\begin{align*}& \left( a\right) \ A\cap \cdots \cap A=A \\
& \left( b\right) \ A\cup \cdots \cup A=A
\end{align*}が成り立つ。ただし、\(A\cap \cdots \cap A\)や\(A\cup \cdots \cup A\)は有限\(n\)個の\(A\)の共通部分ないし和集合である。
証明

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

 

ベキ等律の有用性

集合\(A,B\)を任意に選んだとき、\begin{eqnarray*}A\cap B &\Leftrightarrow &A\cap B\cap B\quad \because \text{ベキ等律} \\
&\Leftrightarrow &A\cap B\cap B\cap B\quad \because \text{ベキ等律} \\
&\Leftrightarrow &\cdots \\
&\Leftrightarrow &A\cap B\cap B\cap \cdots \cap B\quad \because \text{ベキ等律}
\end{eqnarray*}すなわち、\begin{equation}
A\cap B\Leftrightarrow A\cap B\cap B\cap \cdots \cap B \quad \cdots (1)
\end{equation}を得ます。\(\left( 1\right) \)の左側の集合\begin{equation*}A\cap B
\end{equation*}は、集合\(A\)に対して「集合\(B\)との共通部分をとる」という操作を1回だけ行うことにより得られる集合です。一方、\(\left( 1\right) \)の右側の集合\begin{equation*}A\cap B\cap B\cap \cdots \cap B
\end{equation*}は、同様の操作を繰り返し行うことにより得られる集合です。\(\left( 1\right) \)はこれらの操作の結果が一致することを保証します。

和集合についても同様に考えることにより、\begin{equation*}
A\cup B\cup B\cup \cdots \cup B
\end{equation*}を得ます。

つまり、「同じ集合との共通部分をとる」という操作や「同じ集合との和集合をとる」という操作を繰り返し行うことは、その操作を1回だけ行うことと同じであることをベキ等律は保証します。したがって、ベキ等律のもとでは繰り返しを含む煩雑な操作を簡略化したり、逆に、同じ操作を繰り返し行ってもよいことが保証されます。ベキ等律を今後学ぶ交換律・結合律・分配律などと組み合わせることにより、複雑な集合を段階的に簡単な形へ変形できるようになります。

 

演習問題

問題(ベキ等律)
集合\(A\)を任意に選んだとき、\begin{equation*}\left( \left( A\cup A\right) \cap A\right) \cap \left( A\cup A\right) =A
\end{equation*}が成り立つことをベキ等律だけを用いて証明してください。

解答を見る

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

問題(ベキ等律)
集合\(A\)を任意に選んだとき、\begin{equation*}\left( \left( A\cup A\right) \cap A\right) \cup \left( A\cap \left( A\cup
A\right) \right) =A
\end{equation*}が成り立つことをベキ等律だけを用いて証明してください。

解答を見る

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

問題(ベキ等律)
集合\(A\)を任意に選んだとき、差集合\(\backslash \)に関するベキ等律は、\begin{equation*}A\backslash A=A
\end{equation*}と表現できますが、これは成り立つでしょうか。理由とともに答えてください。

解答を見る

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

問題(ベキ等律)
集合\(A\)を任意に選んだとき、対称差\(\triangle \)に関するベキ等律は、\begin{equation*}A\triangle A=A
\end{equation*}と表現できますが、これは成り立つでしょうか。理由とともに答えてください。

解答を見る

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

この教材についての議論

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

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

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

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

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

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

ログイン

会員向けコンテンツです。

まだ会員登録がお済みでない方は、会員登録ページよりアカウントを作成してください。

AIに質問
wiis専属チューター ×
本日の利用回数を確認中...
こんにちは!この教材の専属チューターです。数式の証明や概念の解説など、何でも聞いてください。

💡 教材のテキストや数式をドラッグ選択すると、自動的に下の入力欄に数式付きで引用されます!

このページの目次

最近閲覧したページ