位相線型空間の圏のソースを表示

[[数学]]の一分野、[[圏論]]における'''位相線型空間の圏'''（いそうせんけいくうかんのけん、{{lang-en-short|''category of topological vector spaces''}}）{{math|'''TVect'''}}（あるいは {{math|'''TVS'''}} などとも書く）は、すべての[[位相線型空間]]を[[対象 (圏論)|対象]]とし、すべての[[連続線型写像]]を[[射 (圏論)|射]]とする[[圏 (圏論)|圏]]である。これが圏を成すのは、二つの連続線型写像の[[写像の合成|合成]]がふたたび連続線型となることによる。

[[位相体]] {{mvar|K}} を一つ固定して、{{mvar|K}} 上の位相線型空間が連続 {{mvar|K}}-線型写像を射としてなす（部分）圏 {{math|'''TVect'''{{sub|''K''}}}} を考えることもできる。

== 具体圏として ==
御多分に漏れず、位相線型空間の圏 {{math|'''TVect'''}} は{{仮リンク|具体圏|en|concrete category}} である。それはつまり、対象は[[集合]]に追加の構造（いまの場合、線型構造と位相）を入れたものであり、射はそれら構造を保つ[[写像]]であるということを意味する。すると明らかに、{{math|'''TVect'''}} から[[位相空間の圏]] {{math|'''Top'''}}, [[ベクトル空間の圏|線型空間の圏]] {{math|'''Vect'''}}, [[集合の圏]] {{math|'''Set'''}} のそれぞれへの{{仮リンク|忘却函手|en|forgetful functor}}があることがわかる。

== 位相圏として ==
位相線型空間の圏は位相的である。それはつまり、大雑把いえば、位相空間の圏 {{math|'''Top'''}} とその台としての集合の圏 {{math|'''Set'''}} の関係性とまったく同じ意味で、{{math|'''TVect'''}} の台として線型空間の圏 {{math|'''Vect'''}} があるということを意味している。より精確に述べれば、

; 始構造の普遍性: 一つの {{mvar|K}}-線型空間 {{mvar|V}} に対し、位相 {{mvar|K}}-線型空間の族 {{math|(''V{{sub|i}}'', ''τ{{sub|i}}''){{sub|''i''&isin;''I''}}}} と {{mvar|K}}-線型写像 {{math|''f{{sub|i}}'': ''V'' → ''V{{sub|i}}''}} からなる任意の族 {{math|((''V{{sub|i}}'', ''τ{{sub|i}}''), ''f{{sub|i}}''){{sub|''i''&isin;''I''}}}} が与えられれば、{{mvar|V}} 上の線型空間位相 {{mvar|τ}} が存在して以下を満たす:
:: 任意の位相 {{mvar|K}}-線型空間 {{math|(''Z'', ''σ'')}} から {{mvar|K}}-線型写像 {{math|''g'': ''Z'' → ''V''}} が与えられれば必ず <math display="block">
  g\colon (Z,\sigma) \to (V,\tau):\text{continuous} 
  \iff f_i\circ g\colon (Z,\sigma) \to (V_i,\tau_i):
  \text{continuous}\quad(\forall i\in I)
</math> が成立する。
: このとき位相線型空間 {{math|(''V'', ''τ'')}} を与えられた条件に関する「始対象」あるいは「始構造」という。

上記の内容において、「線型空間」としているところを「集合」に、「線型写像」としているところを「写像」に全て一斉に置き換えれば、通常の {{math|'''Top'''}} における始位相の特徴付けが得られる。これがこの性質を満たす圏を「位相的」と呼ぶことの理由である。

この性質からいくらか帰結が得られる。例えば:
* 「離散」および「密着」対象が存在する。すなわち、位相線型空間が密着であるとは、それが空な族に関する始構造となることを言う。また位相線型空間が離散であるとは、すべての位相線型空間への可能なすべての線型写像全体の成す族に関する始構造となることを言う（この族は真の類を成すが、実は問題ない。すべての類に関して始構造が存在するための必要十分条件は、すべての集合に関して始構造が存在することである）。
* （終位相の類似対応物として同様に定義される）終構造が存在する（が、気にするべきこともある）。始構造の場合には上で述べたように実は {{mvar|V}} 上で与えられた条件に関する（{{math|'''Top'''}} における）通常の始位相となるという性質があったが、終構造の場合には与えられた条件に関して {{math|'''Top'''}} における意味で終位相となることは必要でない。例えば、空な族に関する終構造として得られる {{math|'''TVect'''{{sub|''K''}}}} の離散対象は、離散位相を備えていない。
* 忘却函手から作られる以下の図式 <math display="block">\begin{matrix}
\operatorname{\mathbf{Vect}}_K & \to & \operatorname{\mathbf{Set}} \\
\uparrow & & \uparrow \\
\operatorname{\mathbf{TVect}}_K & \rightarrow & \operatorname{\mathbf{Top}}
\end{matrix}</math> が可換であり、忘却函手 {{math|'''Vect'''{{sub|''K''}} → '''Set'''}} が右随伴であることから、忘却函手 {{math|'''TVect'''{{sub|''K''}} → '''Top'''}} も右随伴である。また、左随伴に関しても同様の可換図式によって同様のことが言えて、その左随伴は「自由位相線型空間」を定めるものとなる。それを陽に書けば、自由位相 {{mvar|K}}-線型空間とは、自由 {{mvar|K}}-線型空間に特定の始位相を入れたものである。
* {{math|'''Vect'''{{sub|''K''}}}} は[[完備圏|完備かつ余完備]]であるから、{{math|'''TVect'''{{sub|''K''}}}} もまた完備かつ余完備である{{clarify|date=October 2013}}。

== 参考文献 ==
* {{cite book | last=Lang | first=Serge | authorlink = Serge Lang | title=Differential manifolds | publisher=Addison-Wesley Publishing Co., Inc. | location=Reading, Mass.&ndash;London&ndash;Don Mills, Ont. | year=1972 }}

== 外部リンク ==
* {{nlab|id=TopVect}}

{{DEFAULTSORT:いそうせんけいくうかんのけん}}
[[Category:圏 (数学)]]
[[Category:位相線型空間論]]
[[Category:数学に関する記事]]