位相線型環

数学の函数解析学における位相線型環（いそうせんけいかん、; 位相多元環、位相代数）は、位相体 （普通は実数体 または複素数体 ）上の線型環であって、位相を持ち、その位相のもとで線型環演算（つまり、加法、乗法、スカラー倍）が全て連続となるものを言う。
位相線型環の著しい代表例が函数解析学においてよく知られたバナッハ代数である。単位的かつ結合的な位相線型環は位相環を成す。位相線型環の部分構造としては、閉部分線型環を考えるのが自然である。特に、位相線型環 の部分集合 の生成する位相線型環とは、 を含む最小の閉部分線型環、すなわち を含む閉部分線型環すべての交わりを言う。例えば実数直線 内の有界閉区間 に対して、ストーン–ヴァイアシュトラスの定理を用いれば、恒等函数 のみからなる一元集合がバナッハ代数 を生成することがわかる。
 による造語で、自身の博士論文 (1931) の題目で用いられている。
定義.
位相体 に対し、位相 -線型環 は、-線型環であって、以下の写像
がすべて連続となるものを言う。言い換えれば、位相線型環 は位相線型空間であって、さらに連続（かつ双線型）な乗法が定義されるものを言う。
重要な位相線型環のクラス.
バナッハ代数.
もっともよく知られた例はノルム代数、特にバナッハ代数であり、バナッハ代数に対する広汎な理論が既に構築されている。中でも重要な場合として、"C"*-環（特にフォンノイマン環）や、調和解析における群環 などが挙げられる。
フレシェ代数.
フレシェ代数は、劣乗法的列 に関するフレシェ空間を成すような位相線型環を言う。半ノルムの劣乗法性から乗法の連続性が保証される。 
可分局所コンパクトハウスドルフ空間 上定義された複素数値連続函数 全体の成す -線型環 に半ノルム
の定める位相を入れたものはフレシェ代数になる。ただし はコンパクト集合列で、各 は の内部に含まれ、かつ はそれらの合併で被覆されるものとする。このとき にはコンパクト収束の位相が入るから、 とも書かれる。
特に が の開集合のとき、正則函数全体の成す線型環 は の部分フレシェ代数になる。これらの代数はノルム付け可能でないから、したがってバナッハ代数にもならない。これらは多変数複素函数論で役を果たす。
LMC代数.
局所乗法的凸線型環 (local multiplicative-convex algebra; LMC代数) は、劣乗法的半ノルムの族によって定義される局所凸位相を備えた線型環である。半ノルムの劣乗法性により乗法の連続性が保証される。完備LMC代数は、によって調べることができ、アレンス-マイケル代数とも呼ばれる。
 が位相空間で、 が連続函数 全体の成す -代数に各点収束の位相を入れたものとする。各点 に対して と置くことにより劣乗法的半ノルムの族が得られるが、 が非可算ならば はフレシェ代数でない。
局所凸代数.
位相線型環が局所凸線型環であるとは、その位相が局所凸であるときに言う。LMC代数は定義により局所凸線型環となるが、一般の局所凸線型環ではその位相が必ずしも劣乗法的半ノルム族で生成されなくともよい。
例として、複素係数有理函数体 （複素係数多項式環 の商体）を考えよう。自然数 に対して函数 を
と定める。各元 は複素変数函数と解釈することができて、ローラン展開 を持つことに注意する。いま 上の半ノルム を
で定めれば、半ノルム列 を備えた は局所凸線型環を成すことが示せるが、これはLMC代数にはならない。
性質.
バナッハ代数の持つ重要な性質はより一般のクラスに対しては必ずしも期待できない。例えば、バナッハ代数では成り立つ基礎体への準同型が自動的に連続となるという性質（自動連続性 (automatic continuity)）は、フレシェ代数では未解決問題である。バナッハ代数の持つほかの典型的性質も、より一般の状況で要請することにより、位相線型環の更なるクラスを考えることができる。
Q-代数.
単位的位相線型環 が Q-代数 ("Q-algebra") であるとは、 の可逆元全体の成す集合 が開となるときに言う。単位的位相線型環が Q-代数となるための必要十分条件は、集合 の内部が空でないことである。Q-代数の各元 のスペクトル はコンパクトになる。
任意のバナッハ代数は Q-代数であり、フレシェ代数 は Q-代数でない。
連続的反転を持つ代数.
単位的位相線型環 において、反転写像 が連続ならば、 は連続的反転を持つ代数 (, ) と言う。先の例では、局所凸代数 の反転は連続でない。他方、を用いて任意のLMC代数が連続的反転を持つことが示せる。