バナッハ空間への有界作用素の空間がバナッハ空間になること

以下の命題を示します.

$(A, | | \cdot | |_{A}), (B, | | \cdot | |_{B})$ をノルム空間, $Hom (A, B)$ を $A$ から $B$ への有界線形作用素全体のなすノルム空間とする. $B$ がバナッハ空間ならば, $Hom (A, B)$ もバナッハ空間である.

まず, バナッハ空間の復習をします.

ノルム空間

$(K, | \cdot |_{K})$ を絶対値が定義された体（たとえば $R$ や $C$ など）. $V$ を $K$ 上のベクトル空間とする（有限次元とは限らない）. 写像 $| | \cdot | |_{V} : V \to R$ が $V$ のノルムであるとは, 以下の条件をみたすことである:

$x \in V$ に対して, $| | x | |_{V} = 0 \Leftrightarrow x = 0$ .
$a \in K$ , $x \in V$ に対して, $| | a x | |_{V} = | a |_{K} | | x | |_{V}$ .
$x, y \in V$ に対して, $| | x + y | |_{V} \leq | | x | |_{V} + | | y | |_{V}$ （三角不等式）.

ノルム空間とは, ベクトル空間 $V$ と $V$ のノルム $| | \cdot | |_{V}$ の組 $(V, | | \cdot | |_{V})$ のことである. 誤解のおそれがなければ, 単に $V$ のことをノルム空間と呼ぶ.

以下の文章ではつねに, $K$ は実数体 $R$ または複素数体 $C$ のどちらかとします.

$(V, | | \cdot | |_{V})$ をノルム空間とします. $x, y \in V$ に対して, $| | x - y | |_{V}$ を $x$ と $y$ の距離と定めることにより, $V$ は位相空間になります. したがって, $V$ の点列の収束性を考えることができます.

バナッハ空間

$(V, | | \cdot | |_{V})$ をノルム空間とする. $V$ がバナッハ空間であるとは, $V$ の任意のコーシー列 $(x_{n})_{n \in N}$ が, $V$ の点に収束することである.

ユークリッド空間

ユークリッド空間 $R^{n}$ および $C^{n}$ は, 通常の絶対値によりバナッハ空間となる.

L^{p}

空間 (

p < \infty

)

$(X, M_{X}, μ_{X})$ を測度空間, $p$ を非負整数とする. $X$ 上の可測関数 $f : X \to K$ に対して, $| | f | |_{p}$ を以下で定める（ $| | f | |_{p}$ は $\infty$ となることもある）:

$| | f | |_{p} := (\int_{X} | f (x) |^{p} d μ)^{1 / p} .$

$L^{' p} (X)$ を, $X$ 上の可測関数 $f : X \to K$ で, $| | f | |_{p} < \infty$ をみたすもの全体のなす $K$ ベクトル空間とする.

$(L^{' p} (X), | | \cdot | |_{p})$ はノルム空間にはならない. 実際, 測度0の集合上を除いて $f (x) = 0$ となるが $f = 0$ ではない可測関数 $f$ に対しては, $| | f | |_{p} = 0 \Rightarrow f = 0$ が成り立たない. そこで, 次の同値関係を考える.

$N \subset L^{' p} (X)$ を, $| | f | |_{p} = 0$ をみたす可測関数全体のなす $L^{' p} (X)$ の部分空間とする. 商空間

$L^{p} (X) := L^{' p} (X) / N$

の元に対しても, ノルム $| | \cdot | |_{p}$ が自然に定まり, $(L^{p} (X), | | \cdot | |_{p})$ はバナッハ空間となる. $(L^{p} (X), | | \cdot | |_{p})$ を $L^{p}$ 空間という.

L^{p}

空間 (

p = \infty

)

$(X, M_{X}, μ_{X})$ を測度空間とする. $X$ 上の可測関数 $f : X \to K$ に対して, $| | f | |_{\infty}$ を以下で定める（ $| | f | |_{\infty}$ は $\infty$ となることもある）:

$| | f | |_{\infty} := inf {a \in R | μ (| f (x) | > a) = 0} .$

$L^{\infty} (X)$ を, $| | f | |_{\infty} < \infty$ をみたす可測関数 $f : X \to K$ 全体のなす $K$ ベクトル空間とする. $(L^{\infty} (X), | | \cdot | |_{\infty})$ はバナッハ空間となる. 例2と同様に, $p = \infty$ の場合も $(L^{p} (X), | | \cdot | |_{p})$ を $L^{p}$ 空間という.

続いて, ノルム空間の間の写像について考えます.

関数解析の本では, $A$ から $B$ への「作用素」という言葉は, $A$ の部分集合上で定義された写像を指すことが多いかも知れませんが, ここでは $A$ 全体で定義されているものだけを扱います.

有界作用素

$(A, | | \cdot | |_{A})$ , $(B, | | \cdot | |_{B})$ を $K$ 上のノルム空間とする. 線形写像 $T : A \to B$ が, $A$ から $B$ への有界作用素であるとは, ある正の数 $M$ が存在して, 任意の $a \in A$ に対して, $| | T (a) | |_{B} \leq M | | a | |_{A}$ が成り立つことである.

$T : A \to B$ が有界作用素であれば, ある $M > 0$ が存在して, 任意の $a, a^{'} \in A$ に対して,

$| | T (a) - T (a^{'}) | |_{B} = | | T (a - a^{'}) | |_{B} \leq M | | a - a^{'} | |_{A}$

が成り立ちます. したがって, 有界作用素は連続写像になります. 逆に, ノルム空間の間の線形写像 $T : A \to B$ が連続であれば, $T$ は有界作用素になります. 実際, もし $T$ が有界作用素でなければ, 自然数 $n = 1, 2, \dots$ に対して, $A$ の元 $a_{1}, a_{2}, \dots$ が存在して,

$| | T (a_{n}) | |_{B} > n | | a_{n} | |_{A}$

が成り立ちます. $a_{n}^{'} := \frac{a_{n}}{n | | a_{n} | |}$ とおけば, $| | a_{n}^{'} | | \to 0$ $(n \to 0)$ ですが $| | T (a_{n}^{'}) | |_{B} > 1$ $(n = 1, 2, \dots)$ なので, $T$ は連続ではありません.

続いて, 有界作用素のノルムを定義します.

作用素のノルム

$(A, | | \cdot | |_{A})$ , $(B, | | \cdot | |_{B})$ を $K$ 上のノルム空間, $T : A \to B$ を有界作用素とする. $R_{> 0}$ の部分集合 $C_{T}$ を

$C_{T} := {c \in R | すべての x \in A に対して | | T (x) | |_{B} \leq c | | x | |_{A}}$

と定義する. $T$ のノルム $| | T | |$ を, $C_{T}$ の下限と定める.

$T$ が有界作用素であれば, $C_{T}$ は空ではなく, 下に有界なので, 必ず下限を持ちます. 実際には,

$C_{T} = ⋂_{\begin{matrix} x \in A \\ x \neq 0 \end{matrix}} [\frac{| | T (x) | |_{B}}{| | x | |_{A}}, \infty) \subset R$

と, $C_{T}$ は $R$ の閉集合になるので, $C_{T}$ は最小値を持ちます.

続いて, 作用素の空間にノルム空間の構造を入れます.

$(A, | | \cdot | |_{A})$ , $(B, | | \cdot | |_{B})$ を $K$ 上のノルム空間, $Hom (A, B)$ を $A$ から $B$ への有界作用素全体の集合とする. $T, S \in Hom (A, B)$ , $c \in K$ に対して, 線形写像 $T + S$ , $c T : A \to B$ を

$\begin{array}{rcl} (T + S) (a) & := & T (a) + T (b) \\ (c T) (a) & := & c T (a) \end{array}$

で定める. このとき, 線形写像 $T + S$ , $c T$ は有界作用素になり, $Hom (A, B)$ は作用素のノルムによってノルム空間になる.

まず, $Hom (A, B)$ が和とスカラー倍について閉じていることを示す. $T, S \in Hom (A, B)$ , $c \in K$ とする. すべての $a \in A$ に対して,

$\begin{array}{rcl} | | (T + S) (a) | |_{B} & \leq & | | T (a) | |_{B} + | | S (a) | |_{B} \leq (| | T | | + | | S | |) | | a | |_{A} \\ | | (c T) (a) | |_{B} & \leq & | c |_{K} | | T | | | | a | |_{A} \end{array}$

が成り立つから, $T + S$ , $c T$ は有界作用素である.

続いて, $Hom (A, B)$ がノルム空間になることを示す.

まず, $| | T | | = 0 \Leftrightarrow T = 0$ を示す. $| | T | | = 0$ ならば, すべての $a \in A$ に対して $| | T (a) | |_{B} \leq 0 | | a | |_{A} = 0$ なので, $T (a) = 0$ . よって, $T = 0$ . 逆も全く同様.

次に, $c \in K$ に対して $| | c T | | = | c |_{K} | | T | |$ を示す. $c = 0$ なら $c T = 0$ なので, 上の証明より $| | c T | | = 0$ . $c \neq 0$ とする. すべての $a \in A$ に対して,
$| | c T (a) | |_{B} \leq | c |_{K} | | T | | | | a | |_{A}$
であるから, $| | c T | | \leq | c |_{K} | | T | |$ である. もし, $| | c T | | < | c |_{K} | | T | |$ だったとすると,
$| | T (c a) | |_{B} \leq \frac{| | c T | |}{| c |_{K}} | | c a | |_{A} < | | T | | | | c a | |_{A}$
となり, $| | T | |$ の最小性に反する.

最後に, $| | T + S | | \leq | | T | | + | | S | |$ を示す. すべての $a \in A$ に対して,
$| | (T + S) (a) | |_{B} \leq | | T (a) | |_{B} + | | S (a) | |_{B} \leq (| | T | | + | | S | |) | | a | |_{A}$
であるから, $| | T + S | | \leq | | T | | + | | S | |$ . $◻$

最後に, $Hom (A, B)$ がバナッハ空間になることを示します.

命題1の証明

$(T_{n})_{n \in N}$ を $Hom (A, B)$ のコーシー列とする. 線形写像 $T : A \to B$ を以下で定める:

$a \in A$ とする. $| | T_{n} (a) - T_{m} (a) | |_{B} \leq | | T_{n} - T_{m} | | | | a | |_{A}$ であり, $(T_{n})_{n \in N}$ はコーシー列なので, $| | T_{n} - T_{m} | | \to 0$ $(n, m \to \infty)$ . よって, $(T_{n} (a))_{n \in N}$ は $B$ のコーシー列である. $B$ はバナッハ空間なので, $lim_{n \to \infty} T_{n} (a) = b_{a}$ となる $b_{a} \in B$ が存在する. $T (a) := b_{a}$ と定める. 和とスカラー倍は極限で保たれるので, $T$ は線形写像である.

まず, $T$ が有界作用素であることを示す. そのために $(| | T_{n} | |)_{n \in N}$ が有界であることを見る. 実際, 十分大きな $N \in N$ をとれば, $n > N$ に対しては $| | T_{n} | | < | | T_{N} | | + 1$ とできるので, $M = max {| | T_{1} | |, \dots, | | T_{N - 1} | |, | | T_{N} | | + 1}$ とおけば, $| | T_{n} | | \leq M$ $(n = 1, 2, \dots)$ . よって, すべての $a \in A$ に対して $| | T (a) | | \leq M | | a | |_{A}$ .

続いて, $T_{n} \to T$ $(n \to \infty)$ を示す. 正の数 $ϵ$ を任意にとる. 十分大きな $N \in N$ をとれば, $n, m > N$ に対して, $| | T_{n} (a) - T_{m} (a) | | < ϵ | | a | |_{A}$ がすべての $a \in A$ に対して成り立つ. $m \to \infty$ とすれば $| | T_{n} (a) - T (a) | | < ϵ | | a | |_{A}$ $(a \in A)$ . $ϵ$ は任意（ $a$ によらず）だったので, $| | T_{n} - T | | \to 0$ $(n \to \infty)$ .

投稿日：2024年1月23日

更新日：2024年1月29日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Takumi Ishikawa

488

名古屋の大学生です。整数論を研究したいです。

他の人のコメント

コメントはありません。

読み込み中

Takumi Ishikawa

バナッハ空間への有界作用素の空間がバナッハ空間になること