作用素ノルム

1 作用素ノルムの概要

1.1 定義と基本的な考え方

作用素ノルムは、線形作用素がどれだけ“増幅”あるいは“縮小”するかを数値化する手段である。ノルム（長さや大きさの尺度）が与えられた2つのベクトル空間（入力空間と出力空間）を考え、その間の線形写像 \(T\) に対し、入力の大きさを基準として出力の大きさが最大どれだけ増えるかを測る。

典型的には、ノルム空間 \(X\) と \(Y\) の間の線形作用素 \(T: X \to Y\) について \[

\|T\|=\sup_{x\neq 0}\frac{\|Tx\|_Y}{\|x\|_X}

\] のように定める。ここで分数は「入力の長さに対する出力の長さの倍率」を表す。最大値が厳密に存在するとは限らず、しばしば上限（極限値としての最大に近い量）が用いられる。

この定義の利点は、幾何学的な直観（“作用させたときの伸び率”）が直接式に反映される点にある。また、ノルムの定義として連続性や有界性といった解析上の性質と密接に結びつく。

1.2 有界線形作用素との関係

1.2.1 有界性の意味づけ

線形作用素 \(T\) が有界であるとは、入力をノルムで評価したときに出力が比例して抑えられる、という状況を意味する。すなわち、ある定数 \(C\) が存在して \[

\|Tx\|_Y \le C\|x\|_X \quad (x\in X)

\] が成り立つことを指す。

この条件は、線形性と合わせることで非常に強い情報になる。具体的には、入力の長さが小さいほど出力の長さも抑制され、極端な“発散的増幅”が起こらないことを保証する。作用素ノルムは、この比例定数としての最良（最小）値を与える点で、定義の中心的役割を担う。

1.2.2 ノルムが有限となる条件

前節の不等式が成立するなら、定義の分数はすべて \(C\) 以下に収まり、したがって上限としての \(\|T\|\) は有限になる。逆に、\(\|T\|\) が有限であれば同様の評価

\[

\|Tx\|_Y \le \|T\|\|x\|_X

\] が得られる。この同値関係により、作用素ノルムが意味を持つかどうかは、有界性の有無と一致する。

ゆえに、バナッハ空間（ノルムで完備な空間）の枠組みでは、有界線形作用素は作用素ノルムにより一つの自然な“距離”を持つ対象となり、解析学の議論が安定して進む。

1.3 作用素ノルムの公理的性質

作用素ノルムは、線形作用素の空間に対してノルム（長さの尺度）として振る舞う。ここで重要なのは、単なる定義式が満足するだけでなく、ノルムとしての基本公理を満たすことである。

1.3.1 劣加法性

2つの有界線形作用素 \(S,T: X\to Y\) に対し \[

\|S+T\|\le \|S\|+\|T\|

\] が成り立つ。直観的には、ある入力に対して \(S+T\) が作る出力は \(S\) と \(T\) の出力を足し合わせたものなので、倍率（伸び率）の上限もそれぞれの上限の和で抑えられる、という見方ができる。これはノルムの持つ一般的な三角不等式と対応している。

1.3.2 内積（スカラー倍）に対する整合

スカラー \(\alpha\) と作用素 \(T\) に対して \[

\|\alpha T\| =	\alpha	\,\|T\|

\] が成立する。線形性により \( (\alpha T)x = \alpha (Tx)\) が成り立ち、出力ノルムのスカラー倍に関する性質がそのまま作用素ノルムの形にも反映される。

この性質は、作用素ノルムが空間の尺度として“整合的”であることを保証し、後の議論で距離構造や収束の概念を適用可能にする。

1.3.3 一致性と零作用素

零作用素 \(0\) は任意の入力を零へ写すので、定義から \(\|0\|=0\) が従う。さらに逆に、\(\|T\|=0\) ならばすべての入力で \(Tx=0\) が結論でき、したがって \(T\) は零作用素に一致する。つまり、作用素ノルムが真に“長さ”としての役割を果たしていることが確認される。

以上より作用素ノルムは、線形作用素の集合に対してノルムの公理を満たす。

---

2 代表的な定式化と計算方法

2.1 表現空間とノルムの選択

作用素ノルムは、作用素そのものだけでなく、入力・出力に入れるノルムの選び方に依存する。したがって実際の計算では「どのノルムで評価するか」が最初の設計になる。

2.1.1 作用素の台とノルム空間

入力空間 \(X\) と出力空間 \(Y\) のノルムを明示し、そのもとで \(T: X\to Y\) の倍率を測るのが基本形である。同じ線形写像でも、ノルムを変えれば値が変わりうる。特に有限次元ではノルム同士の同値性が効いて大きくは破綻しないが、無限次元では差が本質的になりやすい。

2.1.2 入力空間のノルムが与える影響

入力ノルムが異なると、極大化対象（分数の分母）が変わる。たとえば、ある方向に入力を大きいと評価するノルムでは、その方向の出力倍率が抑えられ、別の方向を強く評価するノルムでは逆に倍率が跳ねることがある。

このため解析的には、作用素ノルムを比較する際に“入力側の強さ”と“出力側の測り方”を分解して考えるのが一般に有効になる。

2.2 有限次元での具体例

無限次元の一般論は抽象的に見えるが、有限次元では計算可能な形に落とし込める。特に行列表示により具体的評価が行いやすい。

2.2.1 行列ノルムとしての見方

基底を固定すると、線形作用素は行列 \(A\) によって表される。入力空間と出力空間のノルムが、例えばベクトルの成分に基づく規格化で与えられる場合、作用素ノルムは「その行列がベクトルに作用したときの最大の増幅率」として計算できる。

たとえば \(x\neq 0\) を動かしたときの \(\|Ax\|/\|x\|\) の上限が、行列に対する作用素ノルムに一致する。

2.2.2 代表的な行列ノルムとの対応

有限次元では、ベクトルノルムの選択に対応して行列ノルムも複数の代表的な形が得られる。具体的には、あるノルムのもとでの最大列和（あるいは最大行和）として現れるタイプ、直交変換に対して特別な性質を持つタイプなどが知られる。

どのノルムを採用するかは目的に依存し、誤差評価の簡便さや対称性の扱いやすさといった観点で選ぶのが実務的である。

2.3 間接計算の考え方

作用素ノルムを定義通りに直接計算することは難しい場合が多い。そのため上限と下限を別々に評価し、値を挟み込む方針がよく用いられる。

2.3.1 上からの評価

入力 \(x\) に対し \(\|Tx\|\) を解析的に抑える不等式を作れば、\(\|T\|\) の上界が得られる。典型的には

\[

\|Tx\|\le B\|x\|

\] の形で示し、その最良の定数が上界として効く。成分表示や積分評価、あるいは不等式の連鎖によってこの種の評価が構築される。

2.3.2 下からの評価

上界だけでは確定しないので、逆に具体的な入力をいくつか選び、対応する倍率 \(\|Tx\|/\|x\|\) を計算することで下界を得る。最終的に最も大きな候補に近い入力が見つかれば、上界とのギャップが縮まってノルムの推定が改善される。

2.3.3 極値の存在と近似

一般には最大値が実現されないことがあるが、適切な条件（完備性、コンパクト性、凸性など）を仮定すると、上限に近い列が存在し極限での到達が見込める。近似の観点では、候補入力を増やして上界と下界を収束させる戦略が使える。数値計算ではこの考え方がそのままアルゴリズム設計につながる。

---

3 代表的な作用素ノルムの例

3.1 最大作用素ノルム（随伴を含まない基本形）

3.1.1 一般バナッハ空間上の定義

バナッハ空間 \(X,Y\) の間の有界線形作用素 \(T:X\to Y\) では、基本形として \[

\|T\|=\sup_{x\neq 0}\frac{\|Tx\|}{\|x\|}

\] を最大作用素ノルムとみなす。ここで随伴や内積構造を必要としないため、一般性が高い。ノルムを用いた定義だけで完結する点が、広い応用範囲に結びつく。

3.1.2 線形性と整合する評価

このノルムの計算・評価では線形性が本質的に働く。スカラー倍に対する振る舞いと、作用素の和に対する劣加法性により、不等式の構成が系統化される。入力を線形結合で表す操作が多い解析では、ノルムのこの整合性が“見通しのよい評価”を可能にする。

3.2 ヒルベルト空間上の特別なノルム

3.2.1 極値問題としての定式化

ヒルベルト空間では内積が利用できるため、作用素ノルムはしばしば“ある種の最適化問題”として再解釈される。直観的には、単位球上での \(\|Tx\|\) を最大化する問題に帰着し、しかも内積により候補の整理がしやすい。

この枠組みでは、スペクトル理論の道具が組み合わさり、極値に関する議論が具体化しやすい。

3.2.2 スペクトルとの関連（概要）

ヒルベルト空間では、作用素ノルムとスペクトル（固有値やスペクトル集合）との関係が強くなる。特に自己共役や正常作用素などのクラスでは、ノルムがスペクトル半径やスペクトルの端点と結びつく。一般の有界作用素でも、直接一致までは保証されないものの、スペクトル情報がノルムの挙動を規定する方向で働く。

このため、ヒルベルト空間上の特別なノルムは、解析と線形代数の橋渡しとして位置づけられる。

3.3 連続作用素・コンパクト作用素との関係

3.3.1 有限ランクとの関係

コンパクト作用素は、ユニット球をうつした像がコンパクトになる性質を持ち、有限ランク作用素はその代表的な例となる。有限ランクのときは作用素の値空間が有限次元に制限されるため、ノルムの計算が有限次元の方法に還元できる場面が多い。

この関係は、複雑な作用素を有限次元の近似に置き換える手順の基礎になる。

3.3.2 近似可能性

コンパクト作用素はしばしば有限ランク作用素で近似できる。ノルム収束が成立するかどうかは設定に依存するが、少なくとも多くの実用的な状況で“有限次元の計算”へ橋渡しする役割を果たす。作用素ノルムはその近似の良さを測る尺度として使われる。

---

4 解析学における役割と応用

4.1 収束と連続性

4.1.1 作用素のノルム収束

作用素列 \((T_n)\) が \(T\) にノルム収束するとは \(\|T_n-T\|\to 0\) が成り立つことをいう。この種の収束は強い条件であり、関数としての点ごとの収束より情報量が多い。とくに有界集合上での一様な挙動が保証されるため、安定性の議論に直結する。

また、ノルム収束は連続性の保存に関わる。線形性と併せることで、極限操作が演算に対して整合的になることがある。

4.1.2 有限近似による安定性

近似においては誤差を作用素ノルムで測ると扱いやすい。仮に計算した近似作用素 \(\tilde T\) が \(T\) に対して \(\|\tilde T-T\|\) が小さいなら、出力の誤差は入力ノルムに比例して抑えられる。これは数値解析の誤差制御にとって直観的に重要である。

4.2 解析的議論での利用

4.2.1 写像の連続性評価

作用素ノルムは“連続性の定量化”にも使われる。線形作用素が有界であることは連続性と一致し、作用素ノルムはその連続度（リプシッツ定数の最良値）に対応する。したがって、解析の局所的な議論が大域的な評価へと拡張される土台になる。

4.2.2 不等式（評価法）としての作用素ノルム

多くの場面で作用素ノルムは評価法の中心となる。不等式の形で \(\|Tx\|\) を \(\|x\|\) によって抑えることで、方程式の解の存在や近似の収束、あるいは残差の評価が組み立てられる。

結果として、ノルムは“証明の部品”として働き、見通しのよい鎖状評価を可能にする。

4.3 演算に対する振る舞い

4.3.1 合成作用素への評価

作用素の合成 \(ST\) に対しては \[

\|ST\|\le \|S\|\,\|T\|

\] という基本評価が得られる。倍率が連続的に適用されるため、増幅の上限も連鎖して積で抑えられる。これは推定の計算連鎖を可能にし、複雑な演算のノルム見積もりを簡略化する。

4.3.2 和と差のノルム評価

和に関しては劣加法性があるため、差は \[

\|S-T\| \le \|S\|+\|T\|

\] のように上界化できる。さらに状況によっては、差そのものを特定の構造（例えば既知の打ち消しや安定成分）で分解してより鋭い推定が行える。解析上はこの“差の見積もり”が収束証明の核になることが多い。

4.3.3 逆作用素がある場合の見方

逆作用素 \(T^{-1}\) が存在するとき、ノルム \(\|T^{-1}\|\) は逆写像がどれだけ入力を“縮めて”元へ戻すか、あるいは不確かさをどれだけ増幅するかに対応する。したがって、\(\|T^{-1}\|\) が大きい状況では逆問題が不安定になりやすい。逆に小さければ、元に戻す操作が比較的安全になる。

この観点から、作用素ノルムは行列解析で言う条件数の議論へ自然につながる。

5.4（任意）作用素ノルムと関連概念の整理

この節では、作用素ノルムをめぐる周辺概念の関係を見取り図として整理する。個々の定義や詳細は別項目に譲りつつ、位置づけを統一して把握することが目的である。

5.1 自己作用素・対称性を持つ場合の特徴

自己作用素（実数係数や内積を意識した自己共役に相当するクラス）や対称性のある作用素では、ノルムが“極値の取りやすさ”や“スペクトルの規則性”と結びつきやすい。たとえば、内積のもとでの幾何学的構造が作用し、上限を達成する方向（固有ベクトルに関連する方向）が現れやすい。

その結果、ノルム推定が解析的に簡約される場合がある。

5.2 スペクトル半径との位置づけ

スペクトル半径は作用素の反復に伴う挙動を測る量であり、作用素ノルムはその“上からの制御”を与える関係で結びつく。一般に、反復のノルムは幾何級数的な評価により抑えられ、その抑えがスペクトル半径の情報と調和する。

したがって、スペクトル半径は長期挙動の指標、作用素ノルムは瞬間的な増幅度の指標として補完関係にある。

5.3 随伴作用素との関係（概要）

随伴作用素は内積を持つ空間において定義できる概念であり、作用素のノルムやスペクトルに関する性質を整理するのに役立つ。概略として、随伴と合成した作用素はより対称的な構造を持ち、そこからノルムが導かれる流れが生まれる。

この関係は、とくにヒルベルト空間の特別なノルム計算で効率化の役割を果たすことが多い。