エンジニアを目指す浪人のブログ

情報系に役立ちそうな応用数理をゆるめにメモします

ノルムの連続性を証明する

関数解析の勉強をしていて,教科書のノルムの連続性についての記述が証明の方向性を示すのみだったので,証明を完成させることにしました.

問題を設定するため,以下の定義をしておきます.Kreyszig(1989)から引用します.

2.2-1 Definition (Normed space, Banach space).  A normed space {\displaystyle X } is a vector space with a norm defined on it. A Banach space is a complete normed space (complete in the metric defined by the norm). Here a norm on a (real or complex) vector space {\displaystyle X } is a real-valued function on {\displaystyle X } whose value at an {\displaystyle x \in X  } is denoted by
                        {\displaystyle ||x|| }
and which has the properties
(N1)                 {\displaystyle ||x|| \ge 0  }
(N2)                 {\displaystyle ||x|| = 0 \;\;\;  \Longleftrightarrow \;\;\;  x = 0 }
(N3)                 {\displaystyle || \alpha x|| =  |\alpha| \; ||x||  }
(N4)                 {\displaystyle ||x + y|| \le ||x|| + ||y||  }         (Triangle inequality)
here {\displaystyle x } and { \displaystyle y } are arbitrary vectors in {\displaystyle X } and {\displaystyle \alpha } is any scalar.
 A norm on {\displaystyle X } defines a metric {\displaystyle d } on {\displaystyle X } which is given by
(1)                  {\displaystyle d(x,y) = ||x-y|| \;\;\;\;\;\; (x,y \in X) }       
and is called the metric induced by the norm. The normed space just defined is denoted by {\displaystyle (X,|| \cdot ||) } or simply by {\displaystyle X }. ▮ 

 

以上の設定のもとで,本記事の目的に進みます.Kreyszig(1989)に記述されている方向性(証明中の(i)を使う)に従い,以下の事実を証明します.

事実.
ノルムは連続である,すなわち,
   {\displaystyle x \mapsto ||x||, \; (X,|| \cdot ||) \to \mathbf{R} }
連続写像である.

証明.
(N4)で {\displaystyle x=x-y  } とすると {\displaystyle ||x|| \le ||x-y|| + ||y|| } であるので以下を得る.    
    {\displaystyle -||x-y|| \le ||y|| - ||x|| }
(N4)で {\displaystyle y=y-x  } とすると {\displaystyle ||y|| \le ||x|| + ||y-x|| } であるので以下を得る.
    {\displaystyle ||y||-||x||  \le ||y-x|| }
よって二つを合わせて以下を得る.
    {\displaystyle \Bigl| ||y||-||x|| \Bigr| \le ||y-x|| }              (i)
次に,ノルム {\displaystyle || \cdot || } が連続であることを示す.そのためには,
「任意の {\displaystyle \epsilon \gt 0 } に対して,ある {\displaystyle \delta \gt 0 } が存在して,
任意の {\displaystyle a \in X } に対して,{\displaystyle ||x -a || \lt \delta \;\;\; \Longrightarrow \;\;\; \Bigl| ||x||-||a|| \Bigr| \lt \epsilon }              (ii)
が成り立つ」ことを示せばよい.
{\displaystyle a \in X } を一つ固定する.(i)より,{\displaystyle \Bigl| ||x||-||a|| \Bigr| \le ||x-a|| } であり,したがって,ある {\displaystyle \delta } について
    {\displaystyle ||x -a || \lt \delta \;\;\; \Longrightarrow \;\;\; \Bigl| ||x||-||a|| \Bigr| \lt \delta }
が成り立つので,任意の {\displaystyle \epsilon } について {\displaystyle \delta =\epsilon } ととれば,{\displaystyle a \in X } は任意にとれるので,(ii)が成り立つことがわかる.(証明終わり)


以上,ノルムが連続であることを証明しました.ノルムの性質(N4)を用いていることがわかります.


参考文献
[1] Kreyszig, E. (1989), Introductory Functional Analysis with Applications, Wiley.