有界作用素 - Ciallo Wiki

1 有界作用素の基本概念

有界作用素は、ノルム空間上の線形作用素（より一般に連続な線形作用素）を測るための基本的な枠組みである。直感的には、入力の大きさを表すノルムが、出力側で過度に増えないという性質を持つ写像として捉えられる。これにより、解析で頻出する極限操作や評価が安定に行えるようになる。

1.1 有界性の定義とノルム評価

ノルム空間 \(X\) からノルム空間 \(Y\) への線形作用素 \(T:X\to Y\) が有界であるとは、ある実数 \(M\ge 0\) が存在して、任意の \(x\in X\) について \[

\\|Tx\\|\le M\\|x\\|

\] が成り立つことをいう。このとき最小のそのような定数が後述する作用素ノルムに対応する。

この定義の要点は、各入力ごとに異なる増幅係数を許すのではなく、同一の定数で全入力を一様に抑え込む点にある。結果として、\(x=0\) に対する条件が自動的に満たされ、またスケーリングに対する挙動が線形性と整合する。

1.2 有界作用素と連続性

線形作用素に関しては、有界性は連続性と同値になる。実際、\(\\|Tx\\|\le M\\|x\\|\) は \(x\to 0\) のとき \(Tx\to 0\) を導き、原点での連続性が他点へ広がる。逆に、線形かつ連続なら、コンパクトでない集合に対しても評価が一様化され、ノルム不等式の形で有界定数が得られる。

この同値性は関数解析で重要である。なぜなら、「連続」だけでは定量的評価が弱いのに対し、「有界」ならば実際のノルムで上限が与えられ、推定や誤差解析に直結するからである。

1.3 有界作用素の例

有界作用素の具体例は、解析の基本的な道具を確認する役割を持つ。特に、直感的に分かりやすい写像や有限次元での一般論は、有界性の意味を固めるのに適している。

1.3.1 恒等作用素と射影作用素

恒等作用素 \(I:X\to X\), \(Ix=x\) は、有界作用素の典型である。確かに \[

\\|Ix\\|=\\|x\\|\le 1\cdot \\|x\\|

\] が成り立つため、有界定数 \(M=1\) を取れる。

射影作用素も代表例である。たとえば、閉部分空間 \(M\) とその補空間 \(N\) がノルム空間（特にヒルベルト空間）で適切に分解され、\(X=M\oplus N\) に対応して \(P:X\to M\) を「\(x\) を \(M\) へ写す射影」とする。ヒルベルト空間では直交射影が自然で、一般に \[

\\|Px\\|\le \\|x\\|

\] が成り立ち、したがって有界となる。

1.3.2 単純な微分・積分演算（概念例）

微分や積分そのものは、関数空間の取り方に依存する。たとえばあるバナッハ空間（連続関数や適切な微分可能性を備えた関数の空間など）では、積分作用素が有界になることがある。典型的なイメージとしては、核 \(k(t,s)\) による \[ (Tf)(t)=\int k(t,s)f(s)\,ds \] の形を考えると、核の大きさを抑える条件が整えば、ノルムに関する上界を導ける。

一方、微分作用素は、定義域（どの関数を入力に許すか）やノルム（どの程度の滑らかさを測るか）によって、有界にも不適切にもなり得る。したがって、微分・積分の「演算」そのものよりも、「どの関数空間上でそれを作用素とみなすか」が有界性を左右する。

1.3.3 行列（有限次元）としての作用素

有限次元の線形作用素はすべて有界である。具体的には \(X=\mathbb{R}^n\) または \(\mathbb{C}^n\) とし、対応する作用素が行列 \(A\) により \(Tx=Ax\) と書けるとする。このとき、有限次元では任意のノルムが互いに有界同士で比較できるため、\(\\|Ax\\|\le M\\|x\\|\) の形が必ず成立する。

この事実は、解析の多くの場面で「有限次元は自動的に有界性が担保される」という安心感を与える。ただし無限次元では同様の保証は成り立たず、作用素ごとに有界性の検討が必要になる。

2 関数解析における性質

有界作用素は、代数操作・評価・階層化されたクラスの導入によって体系的に扱える。本章では、作用素ノルムの見方と、よく現れる関連概念との位置づけを整理する。

2.1 有界作用素の代数的構造

有界作用素の集合は線形空間として振る舞い、さらに合成に関して閉じる。これにより、線形代数の演算が関数解析の文脈でもそのまま安全に使えるようになる。

2.1.1 和・スカラー倍・合成

有界作用素 \(S,T:X\to Y\) が与えられ、共通の定義域を持つとする。すると \(S+T\) や \(\alpha T\)（\(\alpha\) はスカラー）は再び有界になる。さらに合成 \(ST\) も有界であり、具体的なノルム評価が伴う。

代表的な評価として、作用素ノルムが使えると \[

\\|S+T\\|\le \\|S\\|+\\|T\\|,\qquad \\|\alpha T\\|=	\alpha	\,\\|T\\|

\] が成立し、また合成では \[

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

\] が成り立つ。これらは誤差評価や安定性の議論で直接利用される。

作用素ノルムによる評価

作用素ノルムは、作用素がノルムをどれほど増幅しうるかを最も鋭く測る量として定義される。上の不等式は、和・スカラー倍・合成の各演算がノルムを制御しながら振る舞うことを保証する。

この枠組みの価値は、「何らかの有界性がある」だけでなく、「どの程度の大きさで有界か」を計算可能な不等式で確定できる点にある。結果として、反復や近似の議論が数値的に運用できる。

2.1.2 可換性や結合法則との関係

有界作用素が合成について結合的に振る舞うことは、作用素としての基本構造により保証される。すなわち、合成は通常通り結合法則を満たし、\((RS)T=R(ST)\) が成り立つ。

一方で可換性（\(ST=TS\)）は一般には成り立たない。可換性が成立するならばスペクトルや関数の同時扱いが容易になる場合があるが、これは特別な条件に依存する性質である。従って、一般論としては「合成の結合性は常にあるが、可換性は別問題」という整理が適切である。

2.2 作用素ノルムと最小の有界定数

有界性の定義には「ある定数 \(M\)」が登場するが、解析ではその定数を最小にしたい。作用素ノルムはその要請に応える概念である。

2.2.1 作用素ノルムの定義

線形かつ有界な作用素 \(T:X\to Y\) に対し、作用素ノルム \(\\|T\\|\) を

\\|T\\|=\sup_{\\|x\\|\le 1}\\|Tx\\|

\] あるいは同値な形として \[

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

で定める。ここで用いる「上限」は、増幅の最大可能量に相当し、定義上 \(\\|Tx\\|\le \\|T\\|\\|x\\|\) が全ての \(x\) に対して成り立つ。

さらにこの量は、最小の有界定数として理解できる。すなわち「上界として成り立つ定数の集合」の下端に対応する値が作用素ノルムとなる。

2.2.2 推定法と不等式

作用素ノルムを使えば、さまざまな推定が機械的に組み立てられる。たとえば、\(\\|Tx\\|\) を直接評価しづらい場合でも、\(\\|T\\|\) を見積もることで入力に対する出力の大きさを抑えられる。

具体的には、合成や和に対する評価は \[

\\|STx\\|\le \\|ST\\|\,\\|x\\|\le \\|S\\|\,\\|T\\|\,\\|x\\|

\] のように段階的に制御できる。さらに反復 \(T^n\) による議論も \[

\\|T^n\\|\le \\|T\\|^n

\] といった形で整理できるため、収束性判定や誤差見積りで有用になる。

2.3 特殊なクラスの有界作用素

有界作用素は単一の概念で完結せず、より精密な性質を持つクラスへ分類できる。ここでは特にコンパクト作用素との関係と、閉作用素との対比の要点を扱う。

2.3.1 コンパクト作用素との関係（概観）

コンパクト作用素は、有界集合の像が比較的「よい」性質を持つ作用素として知られる。直感的には、無限次元の扱いで生じがちな複雑さを、像の相対コンパクト性によって弱める役割を担う。

一般にコンパクト作用素は有界作用素である。したがって、まず基礎として有界性が保証され、その上で「さらに像の形状が制限される」という段階的な理解ができる。この階層はスペクトル理論の精密化（固有値や近似の振る舞い）に直結する。

2.3.2 隣接する概念：閉作用素との対比（要点）

閉作用素は、必ずしも全空間上に定義されるとは限らない線形作用素で、グラフが閉集合になることにより連続性の代替的役割を果たす。無限次元では「有界でないが閉である」作用素が自然に現れる。

対比として、有界作用素は定義域が全体であり、かつ連続である。一方、閉作用素は定義域が狭い場合が多く、同時に有界性を満たさないことがある。したがって「閉」という性質は有界性と同義ではなく、解析上は異なる目的を持つ概念として扱う必要がある。

3 ヒルベルト空間での有界作用素

ヒルベルト空間では内積に基づく構造が豊富で、自己共役性やユニタリ性などの特徴がスペクトル論と強く結びつく。本章はその入口として、内積と順序の観点も含めて整理する。

3.1 隣接作用素と内積構造

ヒルベルト空間上では随伴作用素が定義でき、作用素の性質が内積により反映される。随伴は「逆方向の干渉」を表す道具として機能する。

3.1.1 隣接作用素の定義と性質

ヒルベルト空間 \(H\) 上の有界作用素 \(T:H\to H\) に対し、随伴作用素 \(T^*\) を \[ \langle Tx,y\rangle=\langle x,T^*y\rangle\quad(\forall x,y\in H) \] を満たすものとして定める。この随伴は一意に存在し、有界作用素としてもふるまう。

随伴作用素は、内積構造を介して作用素の性質を保存する。例えば \(\\|T\\|=\\|T^*\\|\) が成り立ち、スペクトルや最適近似などの性質が随伴と整合するため、解析の道具として扱いやすい。

3.1.2 自己共役・斜交対称・ユニタリ性

自己共役作用素は \(T=T^*\) を満たす。内積に対して対称的な寄与を持ち、実数的なスペクトル分布を期待できるなど、解析の見通しを良くする。

斜交対称（一般に反自己共役）作用素は \(T^*=-T\) で特徴づけられる。位相的な回転に対応するような挙動を持つため、指数作用素や時間発展の議論で現れることがある。

ユニタリ作用素は \(T^*T=TT^*=I\) を満たし、ノルムを保つ。これは「長さの保存」を意味し、内積の整合性により幾何学的な直観とも結びつく。

3.2 正作用素と順序構造（概観）

正作用素は、内積を用いた二次形式の非負性として理解できる。順序の枠組みが導入されることで、評価や分解の考え方が体系化される。

3.2.1 期待される性質と例

有界作用素 \(A\) が正であるとは、\(\langle Ax,x\rangle\ge 0\) が全ての \(x\in H\) で成り立つことをいう。正性はスペクトルにおける位置関係と深く関わり、さらに平方根の存在など、演算の安定性を高める。

代表例として、ある作用素 \(B\) の随伴と積 \(B^*B\) は常に正になる。これはエネルギー的な量として解釈されることも多く、理論のさまざまな場所で自然に登場する。

3.2.2 分解・評価の枠組み

正性があると、二次形式を通じた評価が可能になる。たとえば \(\langle Ax,x\rangle\) の非負性に基づき、ノルムに関する不等式を導いたり、最小化問題の形に落とし込んだりできる。

さらに、正作用素は平方根のような演算を考える土台を提供する。結果として、複雑な作用素をより単純な構造（非負成分）へ分解して見通しを作る、という方向性が可能になる。

3.3 スペクトル理論への入口

有界性はスペクトル理論を支える土台になる。スペクトルは「作用素が持つ固有的な振る舞い」を、より一般化された形で捕まえる概念である。

3.3.1 固有値とスペクトルの直観

固有値は \(Tx=\lambda x\) を満たす非零ベクトル \(x\) が存在するときの \(\lambda\) である。しかし無限次元では固有値だけでは不十分で、作用素の挙動を記述するためにスペクトルが導入される。

直観的には、スペクトルは「対応する演算 \(T-\lambda I\) がどれほど逆元を持ちにくいか」を表す集合として理解できる。したがって、固有値がある場合はスペクトルに含まれるが、固有値がなくてもスペクトルは意味を保つ。

3.3.2 有界性がもたらす扱いやすさ

有界作用素では、スペクトル集合がコンパクトになるなど、基本的な性質が保証される。さらに解析関数（例えば冪級数展開や一部の有理形式）と作用素が結びつく際、収束や評価の保証が得られやすい。

この「土台としての有界性」は、冪級数が作用素合成に対して収束する議論や、作用素の resolvent が制御される議論で特に重要になる。有界性により、抽象的な操作が実際の計算へ落とし込めるようになる。

4 応用と発展的テーマ

有界作用素は理論だけでなく、近似、数値計算、変換の構造解析などにも広く使われる。さらに誤解を避ける観点も付け加える。

4.1 近似理論・数値解析との接点

近似では、理想的な作用素と計算可能な近似作用素の差を評価する必要がある。ここでノルムに基づく有界性の枠組みが効果を発揮する。

4.1.1 有界性による誤差評価の考え方

理想作用素 \(T\) と近似 \(T_h\) を考え、誤差作用素 \(E=T-T_h\) を導入する。もし \(E\) が有界で、\(\\|E\\|\) が小さいことが示せれば、任意の入力に対し

\\|Tx-T_hx\\|=\\|Ex\\|\le \\|E\\|\,\\|x\\|

\] という形で一様な誤差上界が得られる。

この利点は、特定の入力に依存しない評価が可能になる点にある。反復法や安定化スキームの設計では、この「一様性」が性能保証の基礎になる。

4.1.2 離散化での作用素の取り扱い

離散化では連続空間の作用素を有限次元系へ落とすことが多い。有限次元側では有界性が自動であるため、主な論点は離散化手続きが本来の性質をどれだけ保持するかに移る。

典型的には、離散作用素が有界で、かつ離散化パラメータを小さくしたときに作用素ノルムでの誤差が減るかどうかが評価される。これにより、計算結果の信頼性を理論的に裏づける。

4.2 作用素の写像論的観点

有界作用素は像や核といった基本写像論的対象と密接に関係する。ここでは不変部分空間や分解の考え方を概観する。

4.2.1 不変部分空間と制限作用素

部分空間 \(M\subset X\) が \(TM\subset M\) を満たすとき、\(M\) は \(T\) に関して不変である。この場合、\(T\) を \(M\) に制限した作用素 \(T	_M:M\to M\) が定義でき、制限作用素も有界になる。

この操作により、全空間での問題を不変部分へ分けて研究できる。特にスペクトル解析や漸近挙動の理解では、適切な不変分解が計算を簡略化する。

4.2.2 分解定理の考え方（概観）

有界作用素は、条件のもとでブロック対角化や分解に近い見通しを得ることがある。たとえば、特定の不変部分空間に基づく分解や、スペクトルに沿った構造的整理が行われる。

分解の狙いは、作用素が複雑な一体の対象として現れるのを避け、振る舞いを「より単純な成分の組」として捉えることである。完全な定理は作用素の追加条件（自己共役、正性、可換性など）に依存するため、一般概観としての理解がまず重要になる。

4.3 よくある誤解と注意点

有界性は便利だが、近い概念との取り違えや、定義域の扱いを誤ると誤った結論につながる。ここでは代表的な落とし穴を挙げる。

4.3.1 有界性と一様連続性の混同

有界性は「ノルムの増幅が一様に抑えられる」性質であり、一様連続性は距離の変化が入力全体で一様に制御される性質である。線形作用素に限ると連続性と有界性は一致するが、より一般の写像では別物である。

したがって、任意の写像について「連続なら有界」といった推論は誤りになり得る。特に定義域が非有界である場合には挙動が大きく変わるため、ノルム空間上の線形性と有界性を意識的に確認する必要がある。

4.3.2 線形性の有無が結論に与える影響

線形性は有界性と連続性の同値、作用素ノルムの性質、和や合成に対する評価など、多くの主張の成立に深く関わる。線形でない写像では、同じ不等式の形を満たしても意味や展開が異なり、少なくとも一般に同様の理論が自動的には得られない。

また、線形性がないと「最大増幅」という測度が適切に機能しないことがある。解析で用いる道具を正しく適用するためには、「作用素が線形であるか」を前提として明確化することが重要である。