有界線形作用素の定義の有界についてすこし考える
関数解析の勉強をしていて,有界線形作用素(bounded linear operator)の定義のうち,有界とはどういう意味であるか,をさくっと理解できずにモヤモヤしてしまったので,その解釈をメモしておくことにしました.
問題を設定するため,過去記事2.2-1 Definition (Normed space, Banach space). を用います.また距離空間 における有界集合の定義をKreyszig(1989)から引用します.
We call a nonempty subset
a bounded set if its diameter
is finite.
線形作用素の定義もKreyszig(1989)から引用します.
In calculus we consider the real line
and real-valued functions on
(or on a subset of
). Obviously, any such function is a mapping of its domain into
. In functional analysis we consider more general spaces, such as metric spaces and normed spaces, and mappings of these spaces.
In the case of vector spaces and, in particular, normed spaces, a mapping is called an operator.
Of special interest are operators which “preserve” the two algebraic operations of vector space, in the sense of the following definition.
2.6-1 Definition (Linear operator). A linear operatoris an operator such that
(i) the domainof
is a vector space and the range
lies in a vector space over the same field,
(ii) for alland scalars
,
(1.a)
(1.b). ▮
以上の設定のもとで,本記事の目的に進みます.有界線形作用素の定義と解釈をKreyszig(1989)から引用します.
2.7-1 Definition (Bounded linear operator). Let
and
be normed spaces and
a linear operator, where
. The operator
is said to be bounded if there is a real number
such that for all
,
(1). ▮
ノルムの性質 より
とはならないはずです.他の教科書を調べてみたところ,Brezis(2011)による有界線形作用素の定義には
であることが明示されています.先に進みます.
Formula (1) shows that a bounded linear operator maps bounded sets in
onto bounded sets in
. This motivates the term bounded operator.
いま とすると,(1)は
と書き換えることができます.Kreyszig先生によると,(1)は有界集合を有界集合に写像することを示しているとのことです.つまり,作用素 が有界であるためには,
は
中の有界集合の要素である
(1)
は
中の有界集合の要素である
が必要である,ということのようです.
以上,有界線形作用素の有界とはどのような意味か,についてその定義をもとにすこし考えてみました.
参考文献
[1] Kreyszig, E. (1989), Introductory Functional Analysis with Applications, Wiley.
[2] Brezis, H. (2011), Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer.
[3] 首都大学東京 倉田先生の講義ノート http://www.comp.tmu.ac.jp/tmu-kurata/lectures/fun10/fun100511.pdf