稠密に定義された作用素

数学の、特に作用素論の分野における稠密に定義された作用素（ちゅうみつにていぎされたさようそ、テンプレート:Lang-en）とは、部分的に定義されたある種の関数のことで、位相的な意味では「ほとんど至る所」定義された線形作用素のことである。稠密に定義された作用素は、関数解析学の分野において、先天的に「意味を持つ」ような対象よりもより広いクラスへと応用されるような作用素として登場する。

定義

ある位相ベクトル空間 X から別の位相ベクトル空間 Y への線形作用素 T が稠密に定義されているとは、T の定義域が X の稠密部分集合であり、値域が Y に含まれていることを言う。

例

• 単位区間 [0, 1] 上で定義される実数値連続関数からなる空間 C⁰([0, 1]; R) を考える。C¹([0, 1]; R) を連続的微分可能な関数からなるその部分空間とする。上限ノルム ||·||_∞ を空間 C⁰([0, 1]; R) に備えることで、その空間は実バナッハ空間となる。D を微分作用素

$(\mathrm{D}u)(x)=u^{\prime }(x)$

としたとき、これは C⁰([0, 1]; R) からそれ自身への稠密に定義された作用素で、その定義域は稠密な部分空間 C¹([0, 1]; R) である。そのような作用素 D は非有界作用素の例であることにも注意されたい。実際

$u_n(x)=e^{-nx}$

に対して

$\frac{\Vert \mathrm{D}{u}_n{\Vert }_{\mathrm{\infty }}}{\Vert u_n{\Vert }_{\mathrm{\infty }}}=n$

が成立するため、D は非有界作用素である。この非有界性は、作用素 D を何らかの連続的な方法で C⁰([0, 1]; R) へと拡張しようとする際に、困難をもたらす。

• 一方、テンプレート:仮リンクは稠密に定義された作用素の連続的な拡張の例である。任意のテンプレート:仮リンク i : H → E とその共役 j = i^∗ : E^∗ → H において、j(E^∗) から L²(E, γ; R) への自然な連続線形作用素（実際それは包含（inclusion）で等長）が存在し、j(f) ∈ j(E^∗) ⊆ H は L²(E, γ; R) における f の同値類テンプレート:Enlink [f] へと向かう。j(E^∗) が H において稠密であることを示すことは難しくない。上述のような包含は連続であるため、j(E^∗) → L²(E, γ; R) の H 全体への連続線型拡張 I : H → L²(E, γ; R) が唯一つ存在する。この拡張がペイリー-ウィナー写像である。

参考文献

• テンプレート:Cite book