mathdiaryのブログ

数学についての覚え書きを雑多にしていきます.

部分空間の直和について

$V$ を線形空間とし, $W, W'$ を $V$ の部分空間とする. $g : W \times W' \rightarrow W+W'$ を $g(w, w') = w + w'$ と定める. このとき,

${\rm Ker} ~ g = \{ (w, -w) ~ | ~ w \in W \cap W' \} =: {\rm Skew}(W \cap W')$.

$Proof.$

${\rm Skew}(W \cap W') \subset {\rm Ker} ~ g$ は明らか.

$(w, w') \in {\rm Ker} ~ g$ とする. $g(w, w') = w + w'=0$ なので $w'=-w$. よって $w \in W \cap W'$ で $(w, w') = (w, -w) \in {\rm Skew}(W \cap W')$ (証明終)

 

$\pi_1 : W \times W' \rightarrow W , \pi_2 : W \times W' \rightarrow W'$ をそれぞれ第一, 第二射影とする. すると上の主張より,

$\pi_1 ({\rm Ker} ~ g)=\pi_2 ({\rm Ker} ~ g)=W \cap W'$

がすぐわかる.

ゆえに $g$ が単射であることと, $W \cap W'=0$ は同値である.

定義より $g$ が全射線型写像であることは明らかなので, $W \cap W'=0$ は $g$ が同型であることと同値である.

$4\cos\theta + 2\sin\theta = \sqrt{2}$ のときの $\tan\theta$

個人的に面白かったのでメモ. 問は以下のようなもの.

 

$0^\circ < \theta < 180^\circ$ かつ $4\cos\theta + 2\sin\theta = \sqrt{2}$ のとき, $\tan\theta$ を求めよ.

 

最初にやった解き方は以下.

$\cos\theta=0$ のときは $\sin\theta=1$ となりこれは条件を満たしていないので $\cos\theta \neq 0$. よって与式の両辺を $\cos\theta$ で割ることができて,

$\displaystyle 4+2\tan\theta=\frac{\sqrt{2}}{\cos\theta}$

となる. この両辺を2乗したうえで, 右辺に $\displaystyle 1+\tan^2\theta=\frac{1}{\cos^2\theta}$ を適用すれば,

$\displaystyle 4\tan^2\theta + 16\tan\theta + 16 = 2 + 2\tan^2\theta$

整理して2で割って,

$\tan^2\theta + 8\tan\theta + 7 = 0$

因数分解して,

$(\tan\theta + 1)(\tan\theta +7) = 0$

よって $\tan\theta = -1, -7$ となる. ところが $\theta$ の範囲についての条件より $\sin\theta > 0, \cos\theta < 0$ であるから, これを加味したうえで具体的にこれらの値を求めて $4\cos\theta + 2\sin\theta$ に代入してみると, $\tan\theta=-1$ は条件を満たさないことが分かる. よって $\tan\theta=-7$. (終わり)

うっかり最初は両方とも解かと思ってしまったが, チェックすると一方はダメなことが分かった. 本当は $\tan\theta = -1$ は $\theta = -45^\circ$ に対応した解であり, $\theta$ の範囲に制限がなければちゃんと解になりうる(実際, $\displaystyle \cos\theta=\frac{1}{\sqrt{2}}, \sin\theta=-\frac{1}{\sqrt{2}}$ は問題にある等式を満たしている)のだが, 今の場合は角度の条件を満たさない. $\tan\theta$を直接求めると $\sin, \cos$ が同符号か異符号かの情報は残るが, それぞれの符号がどうであったかの情報はつぶれてしまう. それゆえに一見正しそうに見えるが間違いの物が紛れ込んでしまう. $\tan$ を直接扱うと不都合が起きる例はやったことがなかった(あるいは忘れてた)のでやや驚いた. というわけで $\cos\theta$ を直接求めるとどうなるかやってみた.

 

与えられた等式の両辺を2乗して整理すると,

$\displaystyle 8\sin\theta\cos\theta = -6\cos^2\theta - 1$

となる. $0^\circ < \theta < 180^\circ$ の範囲では $\cos\theta$ の符号は分からないが, $\sin\theta$ は正であると分かる. 上式の右辺は常に負だから $\cos\theta$ は負であると分かる.

$\displaystyle \sin\theta = \sqrt{1-\cos^2\theta}$ を与式に代入して,

$\displaystyle 4\cos\theta + 2\sqrt{1-\cos^2\theta} = \sqrt{2}$

根号のある項だけ左辺に残して両辺を二乗して整理すると,

$\displaystyle 20\cos^2\theta -8\sqrt{2}\cos\theta - 2 = 0$

因数分解して,

$\displaystyle \left( 10\cos\theta + \sqrt{2} \right) \left( 2\cos\theta - \sqrt{2} \right) = 0$

先の議論より $\cos\theta < 0$ であるから, $\displaystyle \cos\theta = -\frac{\sqrt{2}}{10}$ である. $\displaystyle \sin\theta = \frac{7\sqrt{2}}{10}$ と分かる. ゆえに $\tan\theta=-7$ である.(終わり)

このように $\cos$ を直接求めるようにすれば符号の情報がつぶれずに残るので, 解を出す時点で誤った符号のものをはじくことができる. 個人的には条件を満たさない解をはじくのが非常に分かりやすくなったと感じる. 何かの本には載っているかもしれないが, 解が複数現れることが予見されるときは, なるべく情報を落とさないように気を付けながら議論を進めたいものである.

反例の匣

どうということはない反例をメモするところ.

  1. 「稠密な集合の, 連続な写像による逆像は稠密になるとは限らない」:

    $f : \{0\} \rightarrow \mathbb{R}$ を $f(0)=0$ と定めれば, $\mathbb{R} - \{0\}$ は $\mathbb{R}$ で稠密であるが $f^{-1}(\mathbb{R} - \{0\})=\emptyset$ となり, これは $\{0\}$ で稠密でない.

  2. 「ある連続写像 $f$ の像の中で稠密な集合 $A$ があったとする. $f^{-1}(A)$ は始域のなかで稠密になるとは限らない」:

    $f : \mathbb{R}_{\geq 0} \rightarrow \mathbb{R}_{\geq 0}$ を, $x \leq 1$ のときは $f(x)=0$ , $x>1$ のときは $f(x)=x-1$ と定める. ここで $\mathbb{R}_{\geq 0}$ は非負実数の全体を表すものとする. $f$ が連続であることは明らかである. このとき $f$ の像は $\mathbb{R}_{\geq 0}$ であって, $\mathbb{R}_{\geq 0} -\{0\}$ はその中で稠密であるが, その逆像は $\mathbb{R}_{\geq 0} - \left[0, 1\right]$ となり, これは $\mathbb{R}_{\geq 0}$ で稠密ではない.

  3. 「 $\displaystyle \overline{f \left(\bigcup_{\lambda \in \Lambda} M_\lambda \right)} \neq f \left(\bigcup_{\lambda \in \Lambda} \overline{M_\lambda} \right)$ 」:

    $\Lambda = \mathbb{Q}$ とし, $r \in \mathbb{Q}$ について $M_r = \{r\}$ とする. $f : \mathbb{R} \rightarrow \mathbb{R}$ は恒等写像とする. このとき

    $\displaystyle \overline{f \left(\bigcup_{r \in \mathbb{Q}} M_r \right)} = \overline{\mathbb{Q}} = \mathbb{R}$

    $\displaystyle f \left(\bigcup_{r \in \mathbb{Q}} \overline{M_r} \right)=f \left( \bigcup_{r \in \mathbb{Q}} M_r \right) = f(\mathbb{Q})=\mathbb{Q}$