集合しゅうごうsetと集合演算しゅうごうえんざんset operation-基本演習きほんえんしゅう

1演習えんしゅう方針ほうしん

集合しゅうごうsetの問題もんだいでは、図ずで予想よそうしてよいが、解答かいとうでは $$x\in A$$x\in A の条件じょうけんに戻もどる。包含ほうがんinclusionは「任意にんいの元げんelement」から始はじめ、集合しゅうごうsetの等式とうしきは両側りょうがわの包含ほうがんinclusionで示しめす。

Venn図ずVenn diagramは方針ほうしんを立たてる補助ほじょであり、証明しょうめいそのものではない。等式とうしきでは左ひだりから右みぎ、右みぎから左ひだりの両方向りょうほうこうを示しめし、失敗しっぱいを示しめるときは条件じょうけんを破やぶる反例はんれいcounterexampleを挙あげる。

2問題もんだい 1

$$A=\{1,2,3\}$$A=\{1,2,3\}、$$B=\{3,2,1,1\}$$B=\{3,2,1,1\} とする。$$A=B$$A=B であることを説明せつめいせよ。

2.1解答かいとう

集合しゅうごうsetでは順序じゅんじょと重複ちょうふくを記録きろくしない。$$A$$A の元げんelementは $$1,2,3$$1,2,3 であり、$$B$$B の元げんelementも $$1,2,3$$1,2,3 である。したがって任意にんいの $$x$$x について $$x\in A⟺x\in B$$x\in A\Longleftrightarrow x\in B が成立せいりつするので、外延性がいえんせいextensionalityより $$A=B$$A=B である。

2.2解説かいせつ

この問題もんだいは、集合しゅうごうsetの同一性どういつせいが表示ひょうじの仕方しかたではなく元げんelementの一致いっちで決きまることを確認かくにんしている。

2.3よくある誤あやまり

書かき出だしたリストの並ならび順じゅんや重複ちょうふくが違ちがうから別べつの集合しゅうごうsetだと判断はんだんする誤あやまりである。

3問題もんだい 2

全体集合ぜんたいしゅうごうuniversal setを $$U=\{1,2,3,4,5\}$$U=\{1,2,3,4,5\} とし、$$A=\{1,2,3\}$$A=\{1,2,3\}、$$B=\{3,4\}$$B=\{3,4\} とする。$$A\cup B$$A\cup B、$$A\cap B$$A\cap B、$$A\setminus B$$A\setminus B、$$A^c$$A^c を求もとめよ。

3.1解答かいとう

和集合わしゅうごうunionは少すくなくとも一方いっぽうに属ぞくする元げんelementの集合しゅうごうなので、$$A\cup B=\{1,2,3,4\}$$A\cup B=\{1,2,3,4\} である。

共通部分きょうつうぶぶんintersectionは両方りょうほうに属ぞくする元げんelementの集合しゅうごうなので、$$A\cap B=\left\{3\right\}$$A\cap B=\{3\} である。

差集合さしゅうごうset differenceは $$A$$A に属ぞくし $$B$$B に属ぞくしない元げんelementの集合しゅうごうなので、$$A\setminus B=\{1,2\}$$A\setminus B=\{1,2\} である。

補集合ほしゅうごうcomplementは $$U$$U の中なかで $$A$$A に属ぞくしない元げんelementの集合しゅうごうなので、$$A^c=\{4,5\}$$A^c=\{4,5\} である。

3.2解説かいせつ

補集合ほしゅうごうcomplementでは全体集合ぜんたいしゅうごうuniversal setを固定こていする必要ひつようがある。この問題もんだいでは $$U$$U が明示めいじされているため $$A^c$$A^c を決きめられる。

3.3よくある誤あやまり

$$A^c$$A^c を「$$A$$A に書かかれていない全すべての数かず」と考かんがえ、全体集合ぜんたいしゅうごうuniversal setを確認かくにんしない誤あやまりである。

4問題もんだい 3

任意にんいの集合しゅうごうset $$A,B,C$$A,B,C について、$$A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$$A\cap(B\cup C)=(A\cap B)\cup(A\cap C) を示しめせ。

4.1解答かいとう

任意にんいの $$x$$x を取とる。すると

である。論理ろんりlogicの分配法則ぶんぱいほうそくdistributive lawより、これは

と同値どうちである。したがって

である。任意にんいの $$x$$x について同値どうちなので、外延性がいえんせいextensionalityより等式とうしきが成立せいりつする。

4.2解説かいせつ

この問題もんだいは、集合演算しゅうごうえんざんset operationを元げんelementの条件じょうけんへ翻訳ほんやくする練習れんしゅうである。

4.3よくある誤あやまり

図ずだけで説明せつめいして、任意にんいの $$x$$x に対たいする同値性どうちせいを示しめさない誤あやまりである。

5問題もんだい 4

$$A_n=\{m\in \mathbb{Z}\mid n\text{は}m\text{を割り切る}\}$$A_n=\{m\in\mathbb Z\mid n\text{ は }m\text{ を割り切る}\} とする。$$\bigcap _{n=1}^4{A}_n$$\bigcap_{n=1}^{4}A_n を説明せつめいせよ。

5.1解答かいとう

$$m\in \bigcap _{n=1}^4{A}_n$$m\in\bigcap_{n=1}^{4}A_n とは、$$m$$m が 1、2、3、4 のすべてで割わり切きれるという意味いみである。したがって $$m$$m は $$\mathrm{l}\mathrm{c}\mathrm{m}(1,2,3,4)=12$$\mathrm{lcm}(1,2,3,4)=12 の倍数ばいすうである。よって $$\bigcap _{n=1}^4{A}_n$$\bigcap_{n=1}^{4}A_n は 12 の倍数ばいすう全体ぜんたいである。

5.2解説かいせつ

添字付そえじつき共通部分きょうつうぶぶんindexed intersectionでは「すべての添字そえじindexについて」を確認かくにんする。この問題もんだいでは、複数ふくすうの割わり切きれる条件じょうけんを同時どうじに満みたすことが要求ようきゅうされている。

5.3よくある誤あやまり

共通部分きょうつうぶぶんintersectionを和集合わしゅうごうunionと混同こんどうし、「どれか少すくなくとも 1 つで割わり切きれる」と読よむ誤あやまりである。共通部分きょうつうぶぶんintersectionでは、指定していされた条件じょうけんをすべて同時どうじに満みたす必要ひつようがある。

6問題もんだい 5

順序上じゅんじょじょうの注意ちゅういとして、この問題もんだいだけ濃度のうどcardinalityの考かんがえ方かたを先取さきどりする。単射たんしゃinjectionとは違ちがう元げんが同おなじ相手あいてへ重かさならないこと、全射ぜんしゃsurjectionとは行いき先さきに余あまりがないこと、全単射ぜんたんしゃbijectionとはその両方りょうほうを満みたす対応たいおうである。

正せいの偶数ぐうすう全体ぜんたい $$E=\{2,4,6,\text{[PARSE ERROR: Undefined("Command("dots")")]}\}$$E=\{2,4,6,\dots\} と $$\mathbb{N}=\{1,2,3,\text{[PARSE ERROR: Undefined("Command("dots")")]}\}$$\mathbb N=\{1,2,3,\dots\} の間あいだに全単射ぜんたんしゃbijectionを構成こうせいせよ。

6.1解答かいとう

$$f:\mathbb{N}\to E$$f:\mathbb N\to E を $$f\left(n\right)=2n$$f(n)=2n と定義ていぎする。$$f\left(n_1\right)=f\left(n_2\right)$$f(n_1)=f(n_2) なら $$2n_1=2n_2$$2n_1=2n_2 なので、実数じっすうの非零定数ひれいていすう $$2$$2 で割わって $$n_1=n_2$$n_1=n_2 を得える。よって $$f$$f は単射たんしゃinjectionである。

任意にんいの $$e\in E$$e\in E は $$e=2n$$e=2n と書かける正せいの整数せいすう $$n$$n を持もつ。したがって $$f\left(n\right)=e$$f(n)=e であり、$$f$$f は全射ぜんしゃsurjectionである。よって $$f$$f は全単射ぜんたんしゃbijectionである。

6.2解説かいせつ

濃度のうどcardinalityは、数かぞえ終おえることではなく、全単射ぜんたんしゃbijectionで比較ひかくする。この問題もんだいは、無限集合むげんしゅうごうでは真しんの部分集合ぶぶんしゅうごうproper subsetが全体ぜんたいと同おなじ濃度のうどcardinalityを持もちうることを確認かくにんしている。

6.3よくある誤あやまり

$$E⊊\mathbb{N}$$E\subsetneq\mathbb N だから濃度のうども小ちいさいと判断はんだんする誤あやまりである。これは有限集合ゆうげんしゅうごうの直感ちょっかんを無限集合むげんしゅうごうへそのまま移うつしたことによる。

7関連かんれんリンク

8証明しょうめい演習えんしゅう：集合演算しゅうごうえんざんが包含ほうがんを保たもつこと

8.1問題もんだい

$$A\subseteq B$$A\subseteq B のとき、任意にんいの集合しゅうごう $$C$$C について

を証明しょうめいせよ。また、全体集合ぜんたいしゅうごう $$U$$U を固定こていしたとき

も証明しょうめいせよ。

8.2解答かいとう

$$x\in A\cup C$$x\in A\cup C とする。$$x\in A$$x\in A または $$x\in C$$x\in C である。$$x\in A$$x\in A なら $$A\subseteq B$$A\subseteq B より $$x\in B$$x\in B なので $$x\in B\cup C$$x\in B\cup C である。$$x\in C$$x\in C でも $$x\in B\cup C$$x\in B\cup C である。よって $$A\cup C\subseteq B\cup C$$A\cup C\subseteq B\cup C である。

$$x\in A\cap C$$x\in A\cap C とする。$$x\in A$$x\in A かつ $$x\in C$$x\in C である。$$A\subseteq B$$A\subseteq B より $$x\in B$$x\in B なので $$x\in B\cap C$$x\in B\cap C である。よって $$A\cap C\subseteq B\cap C$$A\cap C\subseteq B\cap C である。

$$x\in U\setminus B$$x\in U\setminus B とする。もし $$x\in A$$x\in A なら $$A\subseteq B$$A\subseteq B より $$x\in B$$x\in B となり矛盾むじゅんする。したがって $$x\notin A$$x\notin A であり、$$x\in U\setminus A$$x\in U\setminus A である。

8.3解説かいせつ

この問題もんだいは、集合演算しゅうごうえんざんが包含ほうがんをどう保存ほぞんし、補集合ほしゅうごうだけは包含ほうがんの向むきを反転はんてんさせることを確認かくにんする演習えんしゅうである。