ノルムの連続性を証明する
関数解析の勉強をしていて,教科書のノルムの連続性についての記述が証明の方向性を示すのみだったので,証明を完成させることにしました.
問題を設定するため,以下の定義をしておきます.Kreyszig(1989)から引用します.
2.2-1 Definition (Normed space, Banach space). A normed space
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
is a real-valued function on
whose value at an
is denoted by
and which has the properties
(N1)
(N2)
(N3)
(N4)(Triangle inequality)
hereand
are arbitrary vectors in
and
is any scalar.
A norm ondefines a metric
on
which is given by
(1)![]()
and is called the metric induced by the norm. The normed space just defined is denoted byor simply by
. ▮
以上の設定のもとで,本記事の目的に進みます.Kreyszig(1989)に記述されている方向性(証明中の(i)を使う)に従い,以下の事実を証明します.
事実.
ノルムは連続である,すなわち,
は連続写像である.
証明.
(N4)で とすると
であるので以下を得る.
(N4)で とすると
であるので以下を得る.
よって二つを合わせて以下を得る.
(i)
次に,ノルム が連続であることを示す.そのためには,
「任意の に対して,ある
が存在して,
任意の に対して,
(ii)
が成り立つ」ことを示せばよい. を一つ固定する.(i)より,
であり,したがって,ある
について
が成り立つので,任意の について
ととれば,
は任意にとれるので,(ii)が成り立つことがわかる.(証明終わり)
以上,ノルムが連続であることを証明しました.ノルムの性質(N4)を用いていることがわかります.
参考文献
[1] Kreyszig, E. (1989), Introductory Functional Analysis with Applications, Wiley.