logo

可逆線型変換の空間の性質 📂線形代数

可逆線型変換の空間の性質

定理1

$\Omega$のすべての可逆線形変換の集合を考えよう。

$$ \Omega = \left\{ \text{all invertible linear operator on } \mathbb{R}^{n} \right\} $$

  • (a) $T_{1} \in \Omega$と$T_{2} \in L(\mathbb{R}^{n})$に対して、次が成り立つならば、$T_{2} \in \Omega$である。

    $$ \| T_{2} - T_{1} \| \| T_{1}^{-1} \| < 1 $$

    ここで、$\| T \|$は線形変換のノルムである。

  • (b) $h \gt 0$に対して、以下が成り立つ: $$ \| T^{-1} \| \le \dfrac{1}{h} \iff \| T \mathbf{x} \| \ge h | \mathbf{x} |\quad \forall \mathbf{x} $$

  • (c) $\Omega$は開集合である。

  • (d) 以下のように与えられた$f : \Omega \to \Omega$は連続である:

    $$ f( T ) = T^{-1} $$

証明

(a)

$T_{1} \in \Omega$と$T_{2} \in L(\mathbb{R}^{n})$に対して、次が成り立つとする。

$$ \| T_{2} - T_{1} \| \| T_{1}^{-1} \| < 1 $$

$\| T_{1}^{-1} \| = \dfrac{1}{\alpha}, \| T_{2} - T_{1} \| = \beta$としよう。すると、仮定によって$\beta < \alpha$が成り立つ。線形変換のノルムの性質により、すべての$\mathbf{x} \in \mathbb{R}^{n}$に対して、以下が成り立つ。

$$ \begin{align*} \alpha | \mathbf{x} | &= \alpha | T_{1}^{-1}( T_{1} ( \mathbf{x})) | \\ &\le \alpha \| T_{1}^{-1} \| | T_{1} (\mathbf{x}) | \\ &= \alpha \dfrac{1}{\alpha} | T_{1} (\mathbf{x}) | = | T_{1} (\mathbf{x}) | \\ &= | T_{1} (\mathbf{x}) - T_{2}(\mathbf{x}) + T_{2}(\mathbf{x}) | \\ &\le | T_{1} (\mathbf{x}) - T_{2}(\mathbf{x}) | + | T_{2}(\mathbf{x}) | \\ &\le \| T_{1} - T_{2} \| |\mathbf{x}| + | T_{2}(\mathbf{x}) | \\ &= \beta |\mathbf{x}| + | T_{2}(\mathbf{x}) | \end{align*} $$

したがって、以下を得る:

$$ \begin{equation} (\alpha - \beta) | \mathbf{x} | \le | T_{2} ( \mathbf{x} ) |,\quad \forall \mathbf{x}\in \mathbb{R}^{n} \end{equation} $$

この時、$\alpha - \beta > 0$であるから、以下が成り立つ。

$$ \mathbf{x} \ne \mathbf{0} \implies T_{2}(\mathbf{x}) \ne \mathbf{0} $$

これは線形変換が単射であるための同値条件であるため、$T_{2}$は単射であり、したがって可逆変換である。

$$ \| T^{-1} \| \le \dfrac{1}{h} \iff \| T \mathbf{x} \| \ge h | \mathbf{x} |\quad \forall \mathbf{x} $$

(b)

  • $(\Longrightarrow)$

    $\| T^{-1} \| \le \dfrac{1}{h}$とする。そうすると、

    $$ \begin{align*} && \| T^{-1} \| &\le \dfrac{1}{h} \\ \implies && h \| T^{-1} \| &\le 1 \\ \implies && h \| T^{-1} \| | T \mathbf{x} | &\le | T \mathbf{x} | \\ \implies && h |T^{-1} T \mathbf{x} | \le h \| T^{-1} \| | T \mathbf{x} | &\le | T \mathbf{x} | \\ \implies && h | \mathbf{x} | &\le | T \mathbf{x} | \\ \end{align*} $$

  • $(\Longleftarrow)$

    $$ \begin{align*} && | T \mathbf{x} | &\ge h | \mathbf{x} | \\ && \| T \| | T \mathbf{x} | &\ge h | \mathbf{x} | \\ \implies && \| T^{-1} \| | T \mathbf{x} | &\ge h \| T^{-1} \| | \mathbf{x} | \\ \implies && \| T^{-1} \| | T \mathbf{x} | &\ge h \| T^{-1} \| | \mathbf{x} | \\ \end{align*} $$

(c)

(a) によると、以下を満たすすべての$T_{2} \in L(\mathbb{R}^{n})$は$T_{2} \in \Omega$である。

$$ d(T_{1}, T_{2}) = \| T_{1} - T_{2} \| < \alpha $$

したがって、すべての$T_{1} \in \Omega$は$\Omega$の部分集合となる近傍を持つため、内点である。$\Omega$のすべての要素が内点であるため、$\Omega$は開集合である。

(d)

合成を以下のように簡潔に表記しよう。

$$ T_{2} \circ T_{1} = T_{2}T_{1} $$

$(1)$を$\mathbf{x} = T_{2}^{-1}(\mathbf{y})$に置換しよう。

$$ \begin{align*} && (\alpha - \beta) | T_{2}^{-1}(\mathbf{y})| &\le | T_{2} ( T_{2}^{-1}(\mathbf{y}) ) | = | \mathbf{y} |,\quad \forall \mathbf{y}\in \mathbb{R}^{n} \\ \implies && | T_{2}^{-1}(\mathbf{y})| &\le \dfrac{1}{\alpha - \beta}|\mathbf{y}| \end{align*} $$

すると、線形変換のノルムの性質によって、以下が成り立つ。

$$ \| T_{2} ^{-1} \| \le \dfrac{1}{\alpha - \beta} $$

さらに、以下が成り立つ。

$$ T_{2}^{-1} - T_{1}^{-1} = T_{2}^{-1}( T_{1} - T_{2} ) T_{1}^{-1} $$

すると、積のノルムはノルムの積より大きいため、以下が成り立つ。

$$ \| T_{2}^{-1} - T_{1}^{-1} \| \le \| T_{2}^{-1} \| \| T_{1} - T_{2} \| \| T_{1}^{-1}\| \le \dfrac{\beta }{\alpha (\alpha-\beta)} $$

だから、$d(T_{1}, T_{2}) = \|T_{2} - T_{1} \| =\beta \to 0$の時、$d(T_{1}^{-1}, T_{2}^{-1})=\|T_{2}^{-1} - T_{1}^{-1}\| \to 0$であるので、$T \mapsto T^{-1}$の写像は連続である。


  1. Walter Rudin, Principles of Mathmatical Analysis (第3版, 1976), p209 ↩︎