★P106

…その場合,\((W_{\lambda},\leq _{\lambda}),(W_{\lambda^{\prime}},\leq _{\lambda^{\prime}})\)のいずれか一方は他方の切片,したがって部分順序集合であるから…

 

松坂先生の集合・位相入門,理解できない箇所はところどころあるけどここもその一つ。周回後のレベルアップした(であろう)自分に期待するんだけど読むたびにやっぱりなんか釈然としない。多分しょーもないことなんだろうけど…。色々考えた末,以下の理解に落ち着いた:

理解

たとえば\((W_{\lambda},\leq _{\lambda})\)が\((W_{\lambda^{\prime}},\leq _{\lambda^{\prime}})\)の切片であるとする.切片\[(W_{\lambda^{\prime}},\leq _{\lambda^{\prime}})\langle a \rangle(= \{x|x \in W_{\lambda^{\prime}},x \leq_{\lambda^{\prime}} a\})\]これ自体は(あくまで\(W^{\prime}\)の元から順序\(\leq_{\lambda^{\prime}}\)で\(a\)よりも小さい元を集めたものに過ぎないから)ただの\(W_{\lambda^{\prime}}\)の部分集合であり,順序は定義されていない.しかし,一般に,順序集合\(A\)の空でない任意の部分集合\(M\)は,順序が与えれれていなくても,「\(A\)における順序を\(M\)上に制限した」と考えることで\(A\)と同じ順序が与えれられる(※).したがって,部分集合\((W_{\lambda^{\prime}},\leq _{\lambda^{\prime}})\langle a \rangle\)は順序集合\[((W_{\lambda^{\prime}},\leq _{\lambda^{\prime}})\langle a \rangle , \leq_{\lambda^{\prime}})\]となる.これが\((W_{\lambda},\leq _{\lambda})\)に等しいから\[\leq_{\lambda^{\prime}}=\leq _{\lambda}\]となる.

理解終

※は89,90ページの部分順序集合についての記述から判断したもののちょっと自信ない。
…まあ,さしあたりこの理解でいいや^^;

★P270

\((a_n)_{n\in \mathbb{N}},(b_n)_{n\in \mathbb{N}}\)を\(\mathbb{R}\)の点列とする.このとき\[\lim_{n\rightarrow \infty} a_n =a,~\lim_{n\rightarrow \infty} b_n =b,~a_n\leq b_n \Longrightarrow a \leq b\]

証明の途中で出てきました。直観的にはマジで明らかだけどちょっと気になったので調べてみます。高校数学ではこれをアタリマエとして使っていると思います。\(a_n\leq b_n\)はもちろん\(\forall n \in \mathbb{N} [a_n\leq b_n]\)の略記です。

証明

\[\lim_{n\rightarrow \infty} a_n =a,\lim_{n\rightarrow \infty} b_n =b,a_n\leq b_n \land a > b\]と仮定する.\(\forall \epsilon >0 \exists n_1\in \mathbb{N} [n>n_1 \Rightarrow d(a_n,a)<\epsilon]\)であるから\(\epsilon\)として例えば\(\frac{a-b}{3}>0\)をとると,
\begin{align*}
d(a_n,a)<\frac{a-b}{3}\Longleftrightarrow~&|a_n-a| < \frac{a-b}{3}\\ \Longleftrightarrow~&-\frac{a-b}{3}< a_n-a < \frac{a-b}{3}\\ \Longleftrightarrow~&a-\frac{a-b}{3}< a_n < a+\frac{a-b}{3}\\ \end{align*}他方,\(\forall \epsilon >0 \exists n_2\in \mathbb{N} [n>n_2 \Rightarrow d(b_n,b)<\epsilon]\)であるから上と同様に\(\epsilon=\frac{a-b}{3}>0\)として\[d(b_n,b)<\frac{a-b}{3}\Longleftrightarrow~b-\frac{a-b}{3}< b_n < b+\frac{a-b}{3}\]ここで,\[a-\frac{a-b}{3}-\left(b+\frac{a-b}{3}\right)=\frac{a-b}{3}>0\]これは\(a_n \leq b_n\)に反する.

証明終

これで安心(^^)!(死んだ目)

★P263(問題4の一部)

\[\forall \epsilon >0 \exists \delta >0[d^{\prime\prime}(x,y) \Longrightarrow d(x,y)<\epsilon]\]を示せ.ただし,\(d^{\prime\prime}(x,y):=\min\{1,d(x,y)\}\)

証明

与えられた\(\epsilon\)が\(\epsilon < 1\)であれば\(\delta = \epsilon\)と定め,\(\epsilon \geq 1\)であれば\(\delta = \delta^{\prime} < 1 (\leq \epsilon)\)と定めればよい.以下,それを確かめる.

\(\epsilon < 1\)のとき:
\(d^{\prime\prime}(x,y):=\min\{1,d(x,y)\}<\epsilon \).\(1 \leq d(x,y)\)とすれば\(\min\{1,d(x,y)\}=1<\epsilon\)となり矛盾.したがって\(1>d(x,y)\)である.このとき,\(\min\{1,d(x,y)\}=d(x,y)<\epsilon\)

\(\epsilon \geq 1\)のとき:
\(d^{\prime\prime}(x,y):=\min\{1,d(x,y)\}<\delta^{\prime}(<1)\).\(1 \leq d(x,y)\)とすれば\(\min\{1,d(x,y)\}=1<\delta^{\prime}<1\)となり矛盾.したがって\(1>d(x,y)\)である.このとき\(\min\{1,d(x,y)\}=d(x,y)<\delta^{\prime}<1\leq \epsilon\)より\(d(x,y)<\epsilon\)

証明終

多分簡単な問題だと思うんですけど任意に与えられた正数\(\epsilon\)をそのままで\(\delta\)探しして結構時間がかかってしまった…

これ記法や表現を適当に変えれば高校生向けの論理の問題に出来る気がします。

★P254

\(\mathbb{R}\)の開区間\(J=(0,\infty)\)の各点\(x\)に対し,\(f(x)=\frac{1}{x}\)として写像\(f:J\rightarrow \mathbb{R}\)を定義する.この写像は,明らかに(\(\mathbb{R}\)の部分距離空間としての)\(J\)から\(\mathbb{R}\)への連続写像である.

 
証明

示したいことは
\begin{align*}
&\forall a \in J \forall \epsilon >0 \exists \delta >0[d(x,a)<\delta \Rightarrow d'(f(x),f(a))<\epsilon]\\ \Longleftrightarrow~&\forall a \in J \forall \epsilon >0 \exists \delta >0\left[|x-a|<\delta \Rightarrow \left|\frac{1}{x}-\frac{1}{a}\right|<\epsilon\right]\\
\end{align*}である.\[\left|\frac{1}{x}-\frac{1}{a}\right|=\left|\frac{a-x}{xa}\right|=\frac{|x-a|}{|x||a|}<\frac{\delta}{|x||a|}<\epsilon\]
となるような\(\delta\)の存在を示したい.まず,\(0 <\delta < a\)と\(\delta\)を定める.すると\(|x-a| < \delta \Leftrightarrow (0 <)a-\delta < x < a+\delta\)より\((0 < )|a-\delta| < |x|\).また\((0 <)|a|-|\delta|\leq |a-\delta|\)であるから,\[\left|\frac{1}{x}-\frac{1}{a}\right| <\frac{\delta}{|x||a|} < \frac{\delta}{|a-\delta||a|} < \frac{\delta}{(|a|-|\delta|)|a|}=\frac{\delta}{(|a|-\delta)|a|} \tag{1} \]したがって\(\frac{\delta}{(|a|-\delta)|a|}<\epsilon\)を満たすように\(\delta\)を定めればよい.\(
(2)~\frac{\delta}{(|a|-\delta)|a|} < \epsilon \Leftrightarrow~\delta < \frac{\epsilon |a^2|}{1+\epsilon|a|}\)であるが,\(\delta\)は\(\delta < a\)と定めたのであったから,改めて\(\delta\)を\[\delta < \min \left\{a,\frac{\epsilon |a^2|}{1+\epsilon|a|}\right\}\]を満たす\(\delta\)として定めればよい.実際,こうして定まる\(\delta\)を\(\delta^{\prime}\)とおけば,\(\delta^{\prime} < a,~\delta^{\prime} < \frac{\epsilon |a^2|}{1+\epsilon|a|}\)が成り立つので,上の不等式\((1),(2)\)(の\(\delta\)を\(\delta^{\prime}\)に変えたもの)が成り立ち,その\(2\)式から\(\left|\frac{1}{x}-\frac{1}{a}\right| < \epsilon\)が得られる.

証明終

★P249

\(d(x,A)=0\)であることは,定義によって,いかなる正数\(\epsilon\)を与えた場合にも,\(d(x,y)<\epsilon\)となる\(y\in A\)が存在すること(中略)を意味する.

 
えっなんで?

証明

\(\{d(x,y)|y \in A\}=M\)とおく.
\begin{align*}
&~d(x,A)=0\\
\Longleftrightarrow &~\inf\{d(x,y)|y \in A\}=0\\
\Longleftrightarrow &~\inf M=0\\
\Longleftrightarrow &~\begin{cases}\forall c \in M [0\leq c] \quad\text{※ 恒真命題}\\ \forall c \in M [c^{\prime} \leq c]\Rightarrow c^{\prime}\leq 0\end{cases}\\
\Longleftrightarrow &~\forall c \in M [c^{\prime} \leq c]\Rightarrow c^{\prime}\leq 0\\
\Longleftrightarrow &~\forall c^{\prime}\in \mathbb{R}\left[\forall c \in M [c^{\prime} \leq c]\rightarrow c^{\prime}\leq 0\right]\\
\Longleftrightarrow &~\forall c^{\prime}\in \mathbb{R}\left[\overline{\forall c \in M [c^{\prime} \leq c]} \lor c^{\prime}\leq 0\right]\\
\Longleftrightarrow &~\forall c^{\prime}\in \mathbb{R}\left[\exists c \in M [c^{\prime} > c] \lor c^{\prime}\leq 0\right]\\
\Longleftrightarrow &~\forall c^{\prime}\in (-\infty,0]\cup(0,\infty)\left[\exists c \in M [c^{\prime} > c] \lor c^{\prime}\leq 0\right]\\
\Longleftrightarrow &~c^{\prime}\in (-\infty,0]\cup(0,\infty) \Rightarrow (\exists c \in M [c^{\prime} > c] \lor c^{\prime}\leq 0)\\
\Longleftrightarrow &~c^{\prime}\in (-\infty,0]\lor c^{\prime}\in(0,\infty)\Rightarrow (\exists c \in M [c^{\prime} > c] \lor c^{\prime}\leq 0)\\
\Longleftrightarrow &~\begin{cases}c^{\prime}\in (-\infty,0]\Rightarrow (\exists c \in M [c^{\prime} > c] \lor c^{\prime}\leq 0) \quad \text{※ 恒真命題}\\ c^{\prime}\in(0,\infty) \Rightarrow (\exists c \in M [c^{\prime} > c] \lor c^{\prime}\leq 0)\end{cases}\\
\Longleftrightarrow &~c^{\prime}\in(0,\infty) \Rightarrow (\exists c \in M [c^{\prime} > c] \lor c^{\prime}\leq 0)\\
\Longleftrightarrow &~(c^{\prime}\in(0,\infty) \Rightarrow \exists c \in M [c^{\prime} > c]) \lor (c^{\prime}\in(0,\infty) \Rightarrow c^{\prime}\leq 0\quad\text{※ 矛盾命題})\\
\Longleftrightarrow &~c^{\prime}\in(0,\infty) \Rightarrow \exists c \in M [c^{\prime} > c]\\
\Longleftrightarrow &~\forall c^{\prime}\in(0,\infty)\exists c \in M [c^{\prime} > c]\\
\Longleftrightarrow &~\forall c^{\prime}\in(0,\infty)\exists c \in \{d(x,y)|y \in A\} [c^{\prime} > c]\\
\Longleftrightarrow &~\forall c^{\prime}\in(0,\infty)\exists y \in A [c^{\prime} > d(x,y)]\\
\Longleftrightarrow &~\forall \epsilon >0 \exists y \in A [d(x,y) < \epsilon]
\end{align*}

証明終

★P218

一方,\(M\)は\(\mathbb{R}\)の閉集合であるから,明らかに,それらの上限および下限はともに\(M\)に属さなければならない

 

証明

\(M=[a,b]\)とおくとき,\(c = \sup M \notin M\)と仮定する.\[c=\sup M \overset{\text{def}}{\Longleftrightarrow} \left\{
\begin{array}{l}
\forall x \in M[x\leq c] \cdots(1)\\
\forall x \in M[x\leq c^{\prime}]\Rightarrow c \leq c^{\prime}\cdots(2)\\
\end{array}
\right.\]であるから,\((1)\)において\(b\in M\)より\(b \leq c\).\((2)\)の仮定を満たす\(c^{\prime}\)として\(b\)が挙げられるので,\(c \leq b\).ここで\(c=b\)と仮定すると\(b \in M\)だから\(c \in M\)となり\(c \notin M\)に反する.したがって\(c < b\).しかしこれは\(b \leq c\)と矛盾する.下限についても同様.よって\(\sup M \in M,~\inf M \in M\)である.

証明終

★P216

\(\mathbb{R}^n\)の部分集合\(M\)は,それが\(\mathbb{R}^n\)のある球体\(B(a;\epsilon)\)に含まれるとき,有界であると言われる.これは,\(M\)が\(\mathbb{R}^n\)のある開区間(あるいは閉区間)に含まれることといっても,明らかに同じことである.

 

証明

示すべきことは\[\exists \epsilon >0 [M \subset B(a;\epsilon)] \Longleftrightarrow M \subset \text{開区間(となる開区間が存在)}\]である.\(B(a;\epsilon)=\{x|x\in\mathbb{R}^n,d(a,x)<\epsilon\}\).

必要性.\(x \in M\)を任意にとる.このとき,仮定により\(d(a,x)<\epsilon\)である.
\begin{align*}
d(a,x)<\epsilon \Longleftrightarrow &\sqrt{\sum_{i=1}^{n}(x_i-a_i)^2}<\epsilon\\
\Longleftrightarrow &(x_1-a_1)^2+\cdots+(x_n-a_n)^2<\epsilon^2\\
\Longrightarrow &(x_i-a_i)^2<\epsilon^2~(i=1,\cdots,n)\\
\Longleftrightarrow &|x_i-a_i|<\epsilon~(i=1,\cdots,n)\\
\Longleftrightarrow &x\in\text{開区間}
\end{align*}

十分性.\(M\subset\{x=(x_1,\cdots,x_n)|a_i < x_i < b_i~(i=1,\cdots,n)\}\)とする.\(x=(x_1,\cdots,x_n)\in M\)とすると,\(a_i < x_i < b_i(i=1,\cdots,n)\)が成り立つ.\(\max\{b_1-a_1,\cdots,b_n-a_n\}\)より大きい\(\epsilon^{\prime}\)をとる.この\(\epsilon^{\prime}\)に対して,
\begin{align*}
d(a,x)= &\sqrt{\sum_{i=1}^{n}(x_i-a_i)^2}=\sqrt{(x_1-a_1)^2+\cdots (x_n-a_n)^2}\\
<&\sqrt{(b_1-a_1)^2+\cdots (b_n-a_n)^2}\\
\leq &|b_1-a_1|+\cdots |b_n-a_n| \\
= &(b_1-a_1)+\cdots (b_n-a_n) < n\epsilon^{\prime}
\end{align*}

この\(n\epsilon^{\prime}\)より大きい\(\epsilon\)をとればよい.

証明終

★P207問題5

\(A,B\)が位相空間\(S\)の閉集合で,\(A \cup B,A \cap B\)がともに連結ならば,\(A,B\)はいずれも連結であることを示せ.

これで半日潰した(´;ω;`)

証明

\(A\)が連結でないか,または\(B\)が連結ではないとする.ここでは\(A\)が連結ではないと仮定する.すなわち,\[\exists A_1,A_2\in\mathfrak{A}_A[A=A_1\cup A_2,A_1\cap A_2=\phi,A_1\neq \phi,A_2 \neq \phi]\]ただし\(\mathfrak{A}_A\)は相対位相\(\mathfrak{A}_A=\{A^{\prime}\cap A|A^{\prime}\in \mathfrak{A}\}\),\(\mathfrak{A}\)は\(S\)の位相.
\(A\cap B\)が連結であることから,\begin{align*}&\lnot(\exists A_1^{\prime},A_2^{\prime}\in \mathfrak{A}_{A\cap B}[A\cap B=A_1^{\prime}\cup A_2^{\prime},A_1^{\prime}\cap A_2^{\prime}=\phi,A_1^{\prime}\neq \phi,A_2^{\prime}\neq\phi])\\ \Longleftrightarrow~&\forall A_1^{\prime},A_2^{\prime}\in \mathfrak{A}_{A\cap B}\\&[A\cap B\neq A_1^{\prime}\cup A_2^{\prime}\text{(あ)}\lor A_1^{\prime}\cap A_2^{\prime}\neq \phi \text{(い)}\lor A_1^{\prime}=\phi \lor A_2^{\prime}=\phi\text{(う)}]\end{align*}ただし\(\mathfrak{A}_{A \cap B}=\{A^{\prime}\cap(A\cap B)|A^{\prime}\in \mathfrak{A}\}\).ここで,
\begin{cases}
A\cap B=(A_1 \cup A_2)\cap B =(A_1 \cap B)\cup (A_2 \cap B)\\
(A_1 \cap B) \cup (A_2 \cap B) =A_1 \cap A_2 \cap B)=\phi\\
A_1 \cap B = (A^{\prime} \cap A)\cap B=A^{\prime} \cap (A\cap B)~(A^{\prime}\in\mathfrak{A})したがってA_1\cap B\in \mathfrak{A}_{A\cap B}\\
A_2 \cap B = (A^{\prime} \cap A)\cap B=A^{\prime} \cap (A\cap B)~(A^{\prime}\in\mathfrak{A})したがってA_2\cap B\in \mathfrak{A}_{A\cap B}
\end{cases}
であるから,\(A_1^{\prime}=A_1 \cap B,A_2^{\prime}=A_2 \cap B\)とすれば,(あ)(い)は成り立たない.したがって,(う)\(A_1\cap B =\phi \lor A_2\cap B=\phi\)でなくてはならない.たとえば\(A_1\cap B=\phi\)とする.このとき,
\begin{cases}
A\cup B=(A_1 \cup A_2)\cup B =A_1 \cup (A_2 \cup B)\\
A_1\cap (A_2 \cup B)=(A_1\cap A_2) \cup(A_1\cap B)=\phi \cup \phi =\phi\\
A_1\neq \phi,A_2 \cup B \neq \phi
\end{cases}
あとは\(A_1, A_2 \cup B\in \mathfrak{A}_{A\cup B}\)であることが示せれば,\(A\cup B\)が連結であることと矛盾し,\(A_1\cap B\neq\phi\)となる.\(A_2\cap B\neq\phi\)も同様にして示せる.すると\(A\cap B\)が連結であることと矛盾し,証明が完了する.

\(A_1\in \mathfrak{A}_{A\cup B}\)であること:\(A_1 \cap B =\phi\)に注意して
\begin{align*}
A_1=&A_1 \cup (A_1 \cap B)=A_1 \cap (A_1 \cup B)=(A^{\prime}\cap A) \cap ((A^{\prime}\cap A) \cup B))\\
=&(A^{\prime}\cap A) \cap ((A^{\prime}\cup B)\cap (A\cup B))=((A^{\prime}\cap A) \cap (A^{\prime}\cup B))\cap (A\cup B)
\end{align*}\(A,B,A^{\prime}\in \mathfrak{A}\)だから,\((A^{\prime}\cap A) \cap (A^{\prime}\cup B)\in \mathfrak{A}\).したがって\(A_1\in\mathfrak{A}_{A\cup B}\)

\(A_2 \cup B \in \mathfrak{A}_{A\cup B}\)であること:\(A_2 \cup B=(A^{\prime}\cap A) \cup B=(A^{\prime}\cup B)\cap (A\cup B) \).\(A^{\prime},B\in \mathfrak{A}\)だから\(A^{\prime}\cup B \in \mathfrak{A}\).よって\(A_2\cup B\in\mathfrak{A}_{A\cup B}\)

証明終

疲れた。

★P204

区間\([0,1]\)に属する\(t\)に対し,\[f(t)=(1-t)a+tb\]とおけば,\(f:[0,1]\rightarrow \mathbb{R}^n\)は明らかに連続で,(後略)

 

(; ・`д・´)

証明

\(a=b\)のとき,\(f(t)=a\)(定値写像)となるが,これは連続写像である(第4章A)例3).以下,\(a\neq b\)とする.\(O \in \mathfrak{O}(\mathbb{R}^n)\)を任意にとる.\begin{align*}&f^{-1}(O)=\{t|f(t) \in O\}\\&O=B^{(n)}(c;\epsilon)=\{x|x \in \mathbb{R}^n,d(c,x) < \epsilon\}~(c\in\mathbb{R}^n)\end{align*}であるから,\[f^{-1}(O)=\{t|f(t)\in\mathbb{R}^n,d(c,f(t))<\epsilon\}\]ここで,\begin{align*}\displaystyle
d(c,f(t))=&\sqrt{\sum_{i=1}^{n} (c_i-(1-t)a_i-tb_i)^2} = \sqrt{\sum_{i=1}^{n} (c_i-a_i+(a_i-b_i)t)^2}\\
=&\sqrt{\sum_{i=1}^{n} \{(c_i-a_i)^2+2(c_i-a_i)(a_i-b_i)t+(a_i-b_i)^2 t^2\}}\\
=&\sqrt{\left(\sum_{i=1}^{n}(a_i-b_i)^2\right)t^2+2\left(\sum_{i=1}^{n}(c_i-a_i)(a_i-b_i)\right)t+\sum_{i=1}^{n}(c_i-a_i)^2}
\end{align*}\(\sum_{i=1}^{n}(a_i-b_i)^2=a^{\prime},2\left(\sum_{i=1}^{n}(c_i-a_i)(a_i-b_i)\right)=b^{\prime},\sum_{i=1}^{n}(c_i-a_i)^2=c’\)とおけば\(a^{\prime}>0\)で,\(d(c,f(t))<\epsilon\)より
\begin{align*}
\sqrt{a^{\prime}t^2+b^{\prime}t+c^{\prime}}<\epsilon \Longleftrightarrow~&a^{\prime}t^2+b^{\prime}t+c^{\prime}<\epsilon^2\\
\Longleftrightarrow~&\alpha < t < \beta\lor t\in\phi\\
\Longleftrightarrow~&t \in (\alpha,\beta)\lor t\in\phi
\end{align*}ゆえに\[f^{-1}(O)=\{t|f(t)\in\mathbb{R}^n,t \in (\alpha,\beta)\}=(\alpha,\beta)\in B^{(1)}(c^{\prime};\epsilon^{\prime})=\mathfrak{O}(\mathbb{R})\]または\[f^{-1}(O)=\{t|f(t)\in\mathbb{R}^n,t \in \phi\}=\phi\in\mathfrak{O}(\mathbb{R})\]よっていずれの場合も\[f^{-1}(O)\in\mathfrak{O}(\mathbb{R})\]

証明終

一般に,\(f:A \rightarrow B\),\(Q\)を\(A\)の部分集合とすると,\(f^{-1}(Q) \subset A\)が成り立つ.実際,
\begin{align*}
x\in f^{-1}(Q)\Longleftrightarrow &x \in \{x|x\in A , f(x) \in Q\}\\
\Longleftrightarrow & x\in A , f(x) \in Q\\
\Longrightarrow & x\in A
\end{align*}したがって確かに\(f^{-1}(Q) \subset A\).

 

★182(で使うちしき)

\(f:S\rightarrow S^{\prime}\)が全単射であるとき,\[f(A^c)^c=f(A)\]

絵をかけばほんと「明らか」なんだけど…念のため…(鬱)

証明

\(f(A)\subset f(A^c)^c\)であること:
\(a^{\prime} \in f(A)=\{y|\exists x \in A[f(x)=y]\}\)とすれば,\(f(x)=a^{\prime}\)となる\(x \in A\)が存在する.これを\(x_1\)とおく.ここで,\(a^{\prime} \in f(A^c)=\{y|\exists x \in A^c[f(x)=y]\}\)と仮定すれば,\(f(x)=a^{\prime}\)となる\(x \in A^c\)が存在することになる.これを\(x_2\)とおく.すると\(f(x_1) =a^{\prime},f(x_2)=a^{\prime}\)より\(f(x_1)=f(x_2)\).今,\(f\)は(全)単射であるから,\(x_1=x_2\)となるが,しかしこれは\(x_1 \in A, x_2 \in A^c\)であることに矛盾する.したがって\(a^{\prime} \in f(A^c)^c\).よって\(f(A)\subset f(A^c)^c\).

\(f(A^c)^c \subset f(A)\)であること:
\(a^{\prime} \in f(A^c)^c(=S^{\prime}-f(A^c))\)とする.このとき\(a^{\prime} \notin f(A)\)と仮定すると,\(a^{\prime} \notin f(A^c),a^{\prime} \notin f(A)\).ここで\(S = A \cup A^c\)であるから,\(f(S) = f(A \cup A^c) = f(A) \cup f(A^c)\)(∵P45(5.3)).また,\(f\)は全(単)射であるから\(f(S) = S^{\prime}\).よって\(S^{\prime} = f(A) \cup f(A^c)\).\(a^{\prime} \notin f(A^c),a^{\prime} \notin f(A)\)より\(a^{\prime} \notin S^{\prime}\)となるがこれは矛盾である.したがって\(a^{\prime} \in f(A)\).よって\(f(A^c)^c \subset f(A)\).

証明終

そういえば以前「数学は『イメージ』で理解しろ(させろ)」と主張に出会ったことがある。だけど,それって言い換えれば「イメージできない数学は理解できない(理解する術がない)」ということにならないだろうか?直観のきく世界から出ないのであればそれでもいいのかも知れないけど。そもそも,「絵」や「たとえ話」で理解したものは理解したと言えるのだろうか?

© 2024 佐々木数学塾, All rights reserved.