連続線形作用素

関数解析学や作用素論といった数学の分野において、連続線形作用素は中心的な役割を果たす概念の一つです。これは、無限次元を含む線形空間における変換を考える際に、空間の構造、特に位相や距離の情報を保つ性質である「連続性」を線形変換に課したものです。

定義

厳密には、連続線形作用素は、二つの線形位相空間の間で定義される線形変換であり、同時に位相的な意味での連続性を持つものを指します。位相空間における連続性とは、直感的には、定義域で互いに近い点同士が、変換先の空間でも近い点へと写される性質です。線形変換の構造にこの連続性が加わることで、解析学的な手法を用いた研究が可能となります。

ノルム空間における連続性と有界性

特に、ノルム空間（ベクトルに対して「大きさ」が定義された空間）においては、連続線形作用素はさらに扱いやすい形で特徴づけられます。ノルム空間上の線形作用素について、連続であることと有界であることが完全に同値になります。ここでいう「有界性」とは、変換の「大きさ」がある範囲に収まる性質を指し、具体的には、入力ベクトルのノルム（長さ）を定数倍することで、出力ベクトルのノルムを常に上から抑えられるような定数が存在することを意味します。

この連続性と有界性の同値性は、ノルム空間上の連続線形作用素の理論を大きく発展させました。バナッハ空間やヒルベルト空間といった重要なノルム空間上の連続線形作用素は、量子力学や偏微分方程式など、数学だけでなく物理学など様々な分野で応用されています。

主な性質

連続線形作用素はいくつかの基本的な、かつ非常に有用な性質を持っています。

有界集合を保つ: 連続線形作用素は、定義域内の有界な集合を、値域内のやはり有界な集合に写します。これは、入力が「有限の範囲」に収まっているならば、出力も必ず「有限の範囲」に収まることを保証します。
線形汎関数と核: スカラー値を返す線形作用素、すなわち線形汎関数が連続であることと、その核（変換によってゼロベクトルに写される定義域のベクトルの集合）が閉集合であることは必要十分条件です。これは、線形汎関数の連続性という解析的な性質が、その核という幾何学的な構造（閉性という位相的な性質）と深く結びついていることを示しています。
* 有限次元空間での連続性: 有限次元の線形空間上で定義されたすべての線形作用素（特に線形汎関数）は、常に連続になります。これは、有限次元空間が持つ比較的単純で扱いやすい位相構造に起因します。

連続性の同値性

線形位相空間上の線形作用素 A の連続性について、驚くべきことに以下の三つの条件は互いに同値となります。

1. 作用素 A が、定義域空間の原点 (0) で連続である。
2. 作用素 A が、定義域空間内の「ある特定の点」で連続である。
3. 作用素 A が、定義域空間内の「すべての点」で連続である（至る所で連続）。

この性質は、線形作用素の連続性を証明したり確認したりする際に非常に強力です。通常、関数の連続性を調べるには定義域の全ての点で確認する必要がありますが、線形作用素の場合は、原点あるいはどこか一点での連続性を示すだけで、全体での連続性が保証されます。

この同値性は、線形位相空間における開集合の基本的な性質と、線形変換の加法性から導かれる逆像の構造を利用して証明されます。線形性が空間の「均質性」をもたらし、一点での振る舞いが空間全体での振る舞いを決定づける要因となります。

連続線形作用素は、線形性と連続性という二つの根本的な性質を組み合わせることで、関数解析学における多くの美しい理論の基盤となっています。特にノルム空間での有界性との結びつきは、この概念を様々な数学的対象や応用分野で不可欠なものとしています。

もう一度検索