ochiai/shugo2021 の履歴(No.2)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• ochiai/shugo2021 へ行く。
  • 1 (2021-01-20 (水) 17:20:46)
  • 2 (2021-01-20 (水) 17:55:49)

数学基礎Iの中間試験の問題から。講義で学習したものとは異なった解き方かもしれません。要素を取る議論は基本中の基本ではありますが、やや面倒なので、集合の間の等式や包含関係で回避できる時は、要素を取らずに答案を書くと言う手もあります。

• $\displaystyle\bigcap_{n=1}^\infty[-\infty,1/n] =(-\infty,0]$ を示せ。
  • 補集合を考えると、$\cup (1/n,\infty) =(0,\infty)$ を示せば良い。$(1/n,\infty) \subset (0,\infty)$ であるから、$n$ に関する和集合を考えて、$\cup (1/n,\infty) \subset (0,\infty)$ は OK。したがって、逆向きの包含関係 $\cup (1/n,\infty) \supset (0,\infty)$ を示せば良い。要素をとって言い換える。$\forall x \in (0,\infty)$ に対して、$x \in \cup (1/n,\infty)$ を示せば良い。すなわち、$\forall x\gt 0$ に対して、ある自然数 $n$ が存在して、$x\gt 1/n$ が成り立っていれば良い。与えられた $x$に対して、$n\gt 1/x$ となるような自然数 $n$ が存在するからOK。

• $\displaystyle\bigcap_{n=1}^\infty[0,1/n] =\{0\}$ を示せ。
  • $A_n = [0,1/n]$ とする。$\cap A_n = \{0\}$ を示したい。 $B_n=(-\infty,1/n], C=[0,\infty)$ とする。$A_n=B_n \cap C$ である。ゆえに $\cap A_n = \cap (B_n \cap C) = (\cap B_n) \cap C = (-\infty,0] \cap [0,\infty)= \{0\}$ である。ただし、３つ目の等号では一つ上で示した事実 $\cap B_n = (-\infty,0]$ を用いた。証明終わり。

• $\displaystyle \bigcup_{n=1}^\infty (1,2+1/n) = (1,3]$ を示せ。
  • $A_n=(1,2+1/n)$ とする。$A_n \subset A_1$ ゆえ、$n$ に関する和集合を考えて $\cup A_n \subset A_1$. 一方、$A_1 \subset \cup A_n$である。したがって、$\cup A_n = A_1$. 証明終わり。

• $B_n = \{ (x,y) \in \mathbb{R}^2 \mid -1/n \leq x \leq 1+1/n, -1/n \leq y \leq 1/n \}$ とする。$\displaystyle \bigcap_{n=1}^\infty B_n = \{ (x,0) \mid 0 \leq x \leq 1\}$ であることを示せ。
  • 長方形の４辺を用いて $C_n = \{ (x,y) \in \mathbb{R}^2 \mid x \geq -1/n \}$, $D_n = \{ (x,y) \in \mathbb{R}^2 \mid x \leq 1+1/n \}$, $E_n = \{ (x,y) \in \mathbb{R}^2 \mid y \geq -1/n \}$, $F_n = \{ (x,y) \in \mathbb{R}^2 \mid y \leq 1/n \}$ と定義すると、$B_n = C_n \cap D_n \cap E_n \cap F_n$ である。 したがって、$\cap B_n = \cap (C_n \cap D_n \cap E_n \cap F_n) = (\cap C_n) \cap (\cap D_n) \cap (\cap E_n) \cap (\cap F_n)$ である。 $\cap C_n = \{ (x,y) \in \mathbb{R}^2 \mid x \leq 1\}$, $\cap E_n = \{ (x,y) \in \mathbb{R}^2 \mid y \leq 0\}$, $\cap D_n = \{ (x,y) \in \mathbb{R}^2 \mid x \geq 0\}$, $\cap F_n = \{ (x,y) \in \mathbb{R}^2 \mid y \geq 0\}$ を示せば良い。 これらの等式の証明は１つ次元の低い $\cap (-\infty, 1+1/n] =(-\infty,1]$, $\cap (-\infty,1/n] = (-\infty,0]$, $\cap [-1/n,\infty) = [0,\infty)$ に帰着されている。 これらは第１項目の等式を平行移動したり $-1$ 倍して反転した式である。