局所凸位相ベクトル空間のソースを表示

[[関数解析学]]および関連する[[数学]]の分野において、'''局所凸位相ベクトル空間'''（きょくしょとついそうベクトルくうかん、{{Lang-en-short|locally convex topological vector space}}）あるいは'''局所凸空間'''（locally convex space）は、[[ノルム空間]]を一般化する[[位相ベクトル空間]]（TVS）の例である。それらは、[[均衡集合|均衡]]かつ[[併呑集合|併呑]]な[[凸集合]]の平行移動によって位相が[[基底 (位相空間論)|生成される]]ような[[位相空間|位相]]ベクトル空間として定義される。または代わりに、それらは[[ノルム|半ノルム]]の[[集合族|族]]を伴う[[ベクトル空間]]として定義され、その族に関して位相を定義することが出来る。一般にこのような空間は必ずしも[[ノルム|ノルム化可能]]ではないが、[[零ベクトル]]に対する凸[[近傍系|局所基]]の存在は[[ハーン＝バナッハの定理]]の成立を保証する上で十分に強く、その結果として連続[[線型汎函数]]に関する豊富な理論がもたらされた。

[[フレシェ空間]]は、[[距離化定理|距離化可能]]かつその[[距離]]に関して[[完備距離空間|完備]]であるような局所凸空間である。それらは、[[ノルム]]に関する完備ベクトル空間であるような[[バナッハ空間]]の一般化である。

== 定義 ==

{{mvar|V}} を、[[複素数]]の部分体 {{math|'''K'''}}（通常は {{math|'''C'''}} 自身か、[[実数|実数体]] {{math|'''R'''}}）上のベクトル空間とする。局所凸空間は、凸集合あるいは半ノルムに関して定義される。

=== 凸集合による定義 ===

{{mvar|V}} 内のある部分集合 {{mvar|C}} について、以下が成り立つ：
# {{mvar|C}} が[[凸集合|凸]]であるとは、{{mvar|C}} 内の任意の {{math|''x'', ''y''}} と {{math|0 ≤ ''t'' ≤ 1}} に対して、{{math|''tx'' + (1 – ''t'')''y''}} が {{mvar|C}} 内に含まれることを言う。これを言い換えると、{{mvar|C}} はその内部の点の間のすべての線分を含むということになる。
# {{mvar|C}} が circled であるとは、{{mvar|C}} 内の任意の {{mvar|x}} に対して、{{math|{{!}}''λ''{{!}} {{=}} 1}} ならば {{math|''λx''}} が {{mvar|C}} 内に含まれることを言う。{{math|'''K''' {{=}} '''R'''}} であるなら、このことは {{mvar|C}} が原点を通るその[[鏡映]]と等しいことを意味する。{{math|'''K''' {{=}} '''C'''}} に対しては、このことは {{mvar|C}} 内の任意の {{mvar|x}} によって生成される一次元複素部分空間において、{{mvar|x}} を通る原点中心の円板を {{mvar|C}} が含むことを意味する。
# {{mvar|C}} が（考えている体が[[順序体|順序付けられている]]場合に）[[錐 (線型代数学)|錐]]であるとは、{{mvar|C}} 内の任意の {{mvar|x}} と {{math|0 ≤ ''λ'' ≤ 1}} に対して、{{math|''λx''}} が {{mvar|C}} 内に含まれることを言う。
# {{mvar|C}} が[[均衡集合|均衡]]であるとは、{{mvar|C}} 内の任意の {{mvar|x}} に対し、{{math|{{!}}''λ''{{!}} ≤ 1}} であるなら {{math|''λx''}} が {{mvar|C}} 内に含まれることを言う。{{math|'''K''' {{=}} '''R'''}} であるなら、このことはもし {{mvar|x}} が {{mvar|C}} 内にあるなら、{{mvar|C}} は {{mvar|x}} と {{math|−''x''}} の間の線分を含むことを意味する。{{math|'''K''' {{=}} '''C'''}} に対してこのことは、{{mvar|C}} 内の任意の {{mvar|x}} が生成する一次元複素部分空間において、原点を中心とし {{mvar|x}} を境界に置く円板を {{mvar|C}} が含むことを意味する。また同値であるが、均衡集合は circled な錐である。
# {{mvar|C}} が[[併呑集合|併呑]]であるとは、すべての {{math|''t'' > 0}} についての {{math|''tC''}} の合併が {{mvar|V}} 全体であること、あるいは同値であるが {{mvar|V}} 内のすべての {{mvar|x}} に対し、{{math|''tx''}} が {{mvar|C}} に含まれるようなある {{math|''t'' > 0}} が存在することを言う。集合 {{mvar|C}} は、その空間内のすべての点を併呑するために膨張させることが出来る。
# {{mvar|C}} が[[絶対凸集合|絶対凸]]であるとは、それが均衡かつ凸であることを言う。

より簡潔に、{{mvar|V}} のある部分集合が'''絶対凸'''であるとは、係数の絶対和が {{math|≤ 1}} であるような線型結合の下で閉じていることを言う。そのような集合は、{{mvar|V}} 全体を張るとき、'''併呑'''と呼ばれる。

'''局所凸位相ベクトル空間'''とは、原点が絶対凸併呑集合の[[近傍系|局所基]]を持つような[[位相ベクトル空間]]のことを言う。平行移動は（位相ベクトル空間の定義より）連続であるため、すべての平行移動は[[位相同型]]であり、したがって原点の近傍のすべての基は与えられた任意のベクトルの近傍に対する基へと平行移動することが出来る。

=== 半ノルムによる定義 ===

{{mvar|V}} 上の[[半ノルム]]とは、次を満たす写像 {{math|''p'': ''V'' → '''R'''}} のことを言う：
# {{mvar|p}} は非負あるいは半正定値。すなわち {{math|''p''(''x'') ≥ 0}}。
# {{mvar|p}} は正同次あるいは正スケール化可能。すなわち、すべてのスカラー {{mvar|λ}} に対して {{math|''p''(''λx'') {{=}} {{abs|''λ''}}&sdot;''p''(''x'')}} となる。したがって、特に {{math|''p''(0) {{=}} 0}} が成り立つ。
# {{mvar|p}} は劣加法的で、次の三角不等式を満たす。{{math|''p''(''x'' + ''y'') ≤ ''p''(''x'') + ''p''(''y'')}}。

{{mvar|p}} が正定値であるなら、すなわち {{math|''p''(''x'') {{=}} 0}} のとき {{math|''x'' {{=}} 0}} であるなら、{{mvar|p}} はノルムである。一般に半ノルムは必ずしもノルムではないが、半ノルムの族に対する類似の性質である分離性（separatedness）が後述のように定義される。

'''局所凸空間'''は、半ノルムの[[族 (数学)|族]] {{math|{{mset|''p{{sub|α}}''}}{{sub|''α''∈''A''}}}} に沿ったあるベクトル空間 {{mvar|V}} として定義される。その空間は自然な位相である、半ノルムの{{仮リンク|始位相|en|Initial topology}}をもたらす。言い換えると、それはすべての写像

:<math>p_{\alpha,y}\colon V\to\mathbf{R};\; x\mapsto p_\alpha(x-y) \quad(\forall y\in V,\, \alpha\in A)</math>

が連続であるような{{仮リンク|位相の比較|label=最も粗い|en|comparison of topologies}}位相である。この位相に対する {{mvar|y}} の近傍の基は、次の方法で定義することが出来る：{{mvar|A}} のすべての有限部分集合 {{mvar|B}} と、すべての {{math|''ε'' > 0}} に対して、

:<math>U_{B, \varepsilon}(y) = \{x \in V : p_\alpha(x - y) < \varepsilon \ (\forall \alpha \in B)\}</math>

を定める。次に注意されたい。

:<math>U_{B,\varepsilon}(y) = \bigcap_{\alpha\in B} (p_{\alpha,y})^{-1}([0,\varepsilon)).</math>

この位相においてベクトル空間の演算が連続であることは、前述の性質 2 および 3 より従う。結果として得られる位相ベクトル空間は、各 {{math|''U''{{sub|''B'',''ε''}}(0)}} が絶対凸かつ併呑であるため（特に後者の性質は平行移動に対して保存されるため）、局所凸である。

=== 二つの定義の同値性 ===

近傍基に関する定義はより良い幾何的な表現を与えるものであるが、半ノルムに関する定義は実際に扱う上でより簡単なものとなる。それら二つの定義の同値性は、[[ミンコフスキー汎関数|ミンコフスキー汎函数]]あるいはミンコフスキーゲージとして知られる構成法によって従う。{{mvar|ε}}-球の凸性を保証する半ノルムのキーとなる性質は、[[三角不等式]]である。

{{mvar|C}} 内の {{mvar|x}} に対し、{{math|0 ≤ ''t'' ≤ 1}} ならば {{math|''tx''}} も {{mvar|C}} 内にあるような併呑集合 {{mvar|C}} を考える。{{mvar|C}} のミンコフスキー汎函数を次で定義する。

:<math>\mu_C(x) = \inf \{\lambda > 0: x\isin \lambda C\}.</math>

この定義より、{{mvar|C}} が均衡かつ凸（また仮定より併呑）であるなら、{{mvar|μ{{sub|C}}}} は半ノルムとなる。逆に、半ノルムの族が与えられたとき、集合

:<math>\{x : p_{\alpha_1}(x) < \varepsilon, \dotsc, p_{\alpha_n}(x) < \varepsilon\}</math>

は凸併呑均衡集合の基を形成する。

== さらなる定義と性質 ==

* 半ノルムの族 {{math|{''p<sub>α</sub>''}<sub>''α''</sub>}} が'''トータル'''（total）あるいは'''分離'''（separated）であるとは、すべての {{mvar|α}} に対して {{math|''p<sub>α</sub>''(''x'') {{=}} 0}} が成り立つときは常に {{mvar|x}} が {{math|0}} となることを言う。局所凸空間が[[ハウスドルフ空間|ハウスドルフ]]であるための[[必要十分条件]]は、それが半ノルムの分離族を持つことである。多くの研究者はハウスドルフの条件を定義に含めている。

* [[擬距離空間|擬距離]]は距離の一般化で、{{math|''d''(''x'', ''y'') {{=}} 0}} が成り立つのは {{math|''x'' {{=}} ''y''}} の場合に限る、という条件を満たさないものである。局所凸空間が、擬距離によってその位相が生じるという意味で擬距離化可能であるための必要十分条件は、それが可算個の半ノルムの族を持つことである。実際、同一の位相を導く擬距離はこのとき

:<math>d(x,y)=\sum^\infty_n \frac{1}{2^n} \frac{p_n(x-y)}{1+p_n(x-y)}</math>

:で与えられる（ここで {{math|1/2<sup>''n''</sup>}} は任意の正の[[級数|総和可能]]な列 {{math|''a<sub>n</sub>''}} で置き換えることが出来る）。この擬距離は平行移動不変であるが、{{math|''d''(''kx'', ''ky'') ≠ {{!}}''k''{{!}}''d''(''x'', ''y'')}} となるという意味で非同次であり、したがって（擬）ノルムを定義することは無い。擬距離が正当な距離であるための必要十分条件は、半ノルムの族が分離であることである。実際そのような場合は、空間がハウスドルフであるときにのみ成り立つからである。さらに空間が完備であるなら、その空間は[[フレシェ空間]]と呼ばれる。

* 任意の位相ベクトル空間と同様に、局所凸空間もまた[[一様空間]]である。したがって[[一様連続|一様連続性]]や[[一様収束]]、[[コーシー列]]について論じることが出来る。

* 局所凸空間内の{{仮リンク|コーシーネット|en|Cauchy net}}とは、すべての {{math|''ε'' > 0}} およびすべての半ノルム {{math|''p<sub>α</sub>''}} に対して、{{math|''λ'', ''μ'' > ''κ''}} ならば {{math|''p<sub>α</sub>''(''x<sub>λ</sub>'' − ''x<sub>μ</sub>'') < ''ε''}} を満たす {{mvar|κ}} が存在するようなある[[有向点族|ネット]] {{math|{''x<sub>κ</sub>''}<sub>''κ''</sub>}} のことを言う。言い換えると、そのようなネットはすべての半ノルムについて同時にコーシー的でなければならない。距離化可能なフレシェ空間とは異なり、一般の空間は非可算の擬距離の族によって定義されることもあり得るため、ここでの完備性の定義は、[[列 (数学)|列]]を使ったより有名なものの代わりにネットを使って行う。定義により、可算であるような列はそのような空間において収束を特徴付ける上で十分ではない。局所凸空間が[[一様空間|完備一様空間]]であるための必要十分条件は、すべてのコーシーネットが収束することである。

* 半ノルムの族が関係 {{math|''p<sub>α</sub>'' ≤ ''p<sub>β</sub>''}} の下で{{仮リンク|前順序|en|preorder}}となるための必要十分条件は、すべての {{mvar|x}} に対して {{math|''p<sub>α</sub>''(''x'') ≤ ''Mp<sub>β</sub>''(''x'')}} となるようなある {{math|''M'' > 0}} が存在することである。その族が[[結びと交わり|結び]]として加法を伴う[[有向集合]]であるなら、言い換えるとすべての {{mvar|α}} および {{mvar|β}} に対して {{math|''p<sub>α</sub>'' + ''p<sub>β</sub>'' ≤ ''p<sub>γ</sub>''}} を満たす {{mvar|γ}} が存在するなら、その族は'''半ノルムの有向族'''（directed family of seminorms）と呼ばれる。すべての半ノルムの族は、同一の位相を定義するという意味で同値な有向族を持つ。実際、与えられた族 {{math|{''p<sub>α</sub>''}<sub>''α'' ∈ ''I''</sub>}} に対して、{{mvar|I}} の有限部分集合からなる集合を {{math|Φ}} とすると、{{math|Φ}} 内のすべての {{mvar|F}} に対して

:<math> q_F = \sum_{\alpha \in F} p_{\alpha}.</math>

:が定義される。{{math|{''q<sub>F</sub>''}<sub>''F'' ∈ Φ</sub>}} は同値な有向族であることが確かめられる。

* 空間の位相が単一の半ノルムによって導かれるなら、その空間は'''半ノルム化可能'''（seminormable）と言われる。有限の半ノルムの族を伴う任意の局所凸空間は半ノルム化可能である。さらに空間がハウスドルフ（族が分離される）なら、その空間は半ノルムの和によって与えられるノルムによってノルム化可能である。開集合に関して、局所凸位相ベクトル空間が半ノルム化可能であるための必要十分条件は、{{math|0}} が[[有界集合|有界]]な近傍を持つことである。

== 例と反例 ==

=== 局所凸空間の例 ===

* すべてのノルム空間はハウスドルフな局所凸空間であり、局所凸空間の理論のほとんどは、一部のノルム空間の理論を一般化するものである。半ノルムの族は単一のノルムとして取られる。すべてのバナッハ空間は完備かつハウスドルフな局所凸空間であり、特に {{math|''p'' ≥ 1}} に対する[[Lp空間|{{mvar|L{{sup|p}}}}-空間]]は局所凸である。
* より一般に、すべてのフレシェ空間は局所凸である。フレシェ空間は、半ノルムの分離可算族を伴う完備局所凸空間として定義できる。
* [[数列空間|実数列の空間]] {{math|'''R'''<sup>''ω''</sup>}} で、半ノルム族<math display="block">p_i(\{x_n\}_n) = |x_i| \qquad (i \in \mathbf{N})</math>を備えるものを考える。この半ノルムの可算族は完備かつ可分であるため、その空間はノルム化可能ではないフレシェ空間である。その空間はまた、有限列に無限個の {{math|0}} を付けくわえて無限列にする自然な方法で {{math|'''R'''<sup>''ω''</sup>}} に埋め込まれる空間 {{math|'''R'''<sup>''n''</sup>}} の[[逆極限|極限位相]]となることに注意されたい。
* 任意のベクトル空間 {{mvar|V}} と、その上の線型汎函数の集まり {{mvar|F}} が与えられたとき、{{mvar|F}} 内のすべての線型汎函数を連続にしながら最も弱い位相を与えることで、{{mvar|V}} は局所凸位相ベクトル空間に作り変えることが出来る。これは {{mvar|F}} によって定められる[[弱位相]]あるいは{{仮リンク|始位相|en|initial topology}}として知られる。その集まり {{mvar|F}} は {{mvar|V}} あるいは他の任意の集まりの[[双対空間|代数的双対]]である。この場合の半ノルムの族は、{{mvar|F}} 内のすべての {{mvar|f}} に対して {{math|''p<sub>f</sub>''(''x'') {{=}} {{abs|''f''(''x'')}}}} で与えられる。
* 微分可能な函数の空間は、他のノルム化不可能な例を与える。{{mvar|a}} と {{mvar|b}} を[[多重指数]]としたとき、{{math|{{underset|''x''|sup}}{{abs|''x<sup>a</sup>D<sup>b</sup>f''}} < ∞}} を満たすような[[滑らかな関数]] {{math|''f'' : '''R'''<sup>''n''</sup> → '''C'''}} の空間を考える。{{math|''p<sub>a,b</sub>''(''f'') {{coloneqq}} {{underset|''x''|sup}}{{abs|''x<sup>a</sup>D<sup>b</sup>f''(''x'')}}}} で定義される半ノルムの族は分離かつ可算であり、その空間は完備なので、距離化可能なフレシェ空間である。これは[[シュワルツ空間]]あるいは急減少函数の空間であり、その[[双対空間]]は{{仮リンク|緩増加表現|label=緩増加超函数|en|tempered representation}}の空間である。
* 函数解析学における一つの重要な[[函数空間]]として、{{math|''U'' ⊆ '''R'''<sup>''n''</sup>}} 内の[[関数の台|コンパクトな台]]を持つ滑らかな函数の空間 {{math|''D''(''U'')}} が挙げられる。{{math|{{subsup|C|0|∞}}(''U'')}} は一様ノルムについて完備でないため、そのような空間の位相についてはより詳細な構成が必要となる。{{math|''D''(''U'')}} 上の位相は次のように定義される：任意の固定された[[コンパクト集合]] {{math|''K'' ⊂ ''U''}} に対し、台 {{math|supp(''f'') ⊂ ''K''}} を持つ函数 {{math|''f'' ∈ {{subsup|C|0|∞}}(''U'')}} の空間 {{math|{{subsup|C|0|∞}}(''K'')}} は、可算個の半ノルムの族 {{math|{{norm|''f''}}<sub>''m''</sub> {{coloneqq}} {{underset|''x''|sup}}{{abs|''D<sup>m</sup>f''(''x'')}}}} を伴う[[フレシェ空間]]である（そのような半ノルムは実際にはノルムであり、ノルム {{math|{{norm|&bull;}}<sub>''m''</sub>}} を伴う空間 {{math|{{subsup|C|0|∞}}}} はバナッハ空間 {{math|''D<sup>m</sup>''(''K'')}} である）。包含によって向き付けられ、すべての合併が {{mvar|U}} に等しいようなコンパクト集合の任意の集まり {{math|{{mset|''K<sub>λ</sub>''}}<sub>''λ''</sub>}} が与えられたとき、{{math|{{subsup|C|0|∞}}(''K<sub>λ</sub>'')}} は[[帰納極限|順系]]を形成し、{{math|''D''(''U'')}} はその系の極限として定義される。そのようなフレシェ空間の極限は[[LF空間]]として知られている。より具体的に {{math|''D''(''U'')}} は、各[[包含写像]] {{math|{{subsup|C|0|∞}}(''K''<sub>λ</sub>) ↪ ''D''(''U'')}} を連続にするような{{仮リンク|終位相|en|final topology}}を伴うすべての {{math|{{subsup|C|0|∞}}(''K<sub>λ</sub>'')}} の合併である。この空間は局所凸かつ完備である。しかし、距離化可能でないためフレシェ空間ではない。{{math|''D''('''R'''<sup>''n''</sup>)}} の双対空間は、{{math|'''R'''<sup>''n''</sup>}} 上の[[シュワルツ超函数|超函数]]の空間である。
* より抽象的に、ある[[位相空間]] {{mvar|X}} が与えられたとき、{{mvar|X}} 上の（必ずしも有界でない）連続函数の空間 {{math|''C''(''X'')}} には、コンパクト集合上の[[一様収束]]の位相を与えることが出来る。この位相は半ノルム {{math|''φ<sub>K</sub>''(''f'') {{coloneqq}} max{{mset|{{abs|''f''(''x'')}} : ''x'' ∈ ''K''}}}} によって定義される（{{mvar|K}} は {{mvar|X}} のすべてのコンパクト部分集合の[[有向集合]]について変動する）。{{mvar|X}} が局所コンパクトであるとき（例えば、{{math|'''R'''<sup>''n''</sup>}} 内の開集合であるとき）、[[ストーン＝ワイエルシュトラスの定理]]が適用される。すなわち、実数値函数の場合、点を分離し、定数函数を含むような {{math|''C''(''X'')}} の任意の[[部分代数]]（例えば、多項式の部分代数）は、[[稠密集合|稠密]]である。

=== 局所凸性を持たない空間の例 ===

位相ベクトル空間の多くは局所凸である。局所凸性を持たない空間の例には、以下のようなものがある：

* {{math|0 < ''p'' < 1}} に対する空間 [[Lp空間|{{math|''L<sup>p</sup>''([0, 1])}}]] で、次の[[F-空間|F-ノルム]]を備えるもの。

::<math>\|f\|_p = \int_0^1 |f(x)|^p \, dx</math>

:このような空間は、ゼロの唯一つの凸近傍が全空間となるため、局所凸ではない。より一般に、アトムレス（atomless）な有限測度 {{mvar|μ}} を備える、{{math|0 < ''p'' < 1}} に対する空間 {{math|''L<sup>p</sup>''(''μ'')}} は局所凸ではない。

* [[単位区間]] {{math|[0, 1]}} 上の[[測度|可測函数]]の空間（[[ほとんど (数学)|ほとんど至る所]]で等しい函数は同一視する）は、平行移動不変な距離によって定義されるベクトル空間位相を持つ。すなわち

::<math>d(f, g) = \int_0^1 \frac{|f(x) - g(x)|}{1+|f(x) - g(x)|} \, dx</math>

:（この距離は可測函数の[[測度収束]]を導く。[[確率変数]]に対して、測度収束は[[確率変数の収束|確率収束]]である）。この空間はしばしば {{math|''L''<sub>0</sub>}} と記述される。

上の例はいずれも、[[実数]]への任意の連続線型写像は {{math|0}} であるという性質を持つ。特にそれらの[[双対空間]]は自明、すなわち、ゼロ汎函数のみを含む。

* {{math|0 < ''p'' < 1}} に対する数列空間 {{math|''ℓ<sup>p</sup>''}} は局所凸ではない。

== 連続線型写像 ==

局所凸空間はベクトル空間であるとともに位相空間であるので、二つの局所凸空間の間で考えられる自然な函数は[[連続 (数学)|連続線型写像]]である。半ノルムを用いることで、線型写像の連続性に対する必要十分条件は、バナッハ空間に対して知られているより有名な[[有界作用素|有界性の条件]]と非常に似たものとして与えられる。

それぞれ半ノルムの族 {{math|{''p<sub>α</sub>''}<sub>''α''</sub>}} および {{math|{''q<sub>β</sub>''}<sub>''β''</sub>}} を備える局所凸空間 {{mvar|V}} および {{mvar|W}} が与えられたとき、ある線型写像 {{math|''T'' : ''V'' → ''W''}} が連続であるための必要十分条件は、すべての {{mvar|β}} に対して、{{mvar|V}} 内のすべての {{mvar|v}} が

:<math>q_\beta(Tv)\le M \left (p_{\alpha_1}(v) +\dotsb+p_{\alpha_n}(v) \right )</math>

を満たすような {{math|''α''<sub>1</sub>, ''α''<sub>2</sub>, ..., ''α<sub>n</sub>''}} および {{math|''M'' > 0}} が存在することである。これを言い換えると、{{mvar|T}} の値域の各半ノルムが[[定義域]]内の半ノルムのある有限和によって上から評価される、となる。族 {{math|{''p<sub>α</sub>''}<sub>''α''</sub>}} が有向族で、上述のように向き付けられるように常に選ばれるなら、上の式はより簡単かつ有名な次の形になる：

:<math>q_\beta(Tv)\le Mp_\alpha(v).</math>

すべての局所凸位相ベクトル空間の[[クラス (集合論)|類]]は、[[射 (圏論)|射]]としての連続線型写像を伴う[[圏 (数学)|圏]]を形成する。

== 関連項目 ==
* [[クレイン＝ミルマンの定理]]

== 参考文献 ==
* {{cite book |last=Conway |first=John |title=A Course in Functional Analysis | year=1990 | publisher=Springer |isbn=0-387-97245-5}}
* {{Cite book
 | isbn         = 978-0-07-054236-5
 | title        = Functional analysis
 | last1        = Rudin
 | first1       = Walter
 | authorlink1  = Walter Rudin
 | year         =  1991 
 | publisher    = McGraw-Hill Science/Engineering/Math
}} <!-- Rudin, Walter (1991) Functional Analysis -->

{{DEFAULTSORT:きよくしよとついそうへくとるくうかん}}
[[Category:位相線型空間]]
[[Category:関数解析学]]
[[Category:数学に関する記事]]