ノルム代数

数学の特に函数解析学におけるノルム環（ノルムかん）またはノルム代数（ノルムだいすう、; ノルム多元環、ノルム線型環） は適当な位相体 （とくに実数体  または複素数体 ）上のノルム空間かつ多元環であって、そのノルムが
 劣乗法性: 
を満たすものを言う。加えて、 が乗法単位元  を持つ（単位的多元環）ならば  も仮定することがある。

定義 
ノルム代数は、ノルム体  上の -代数  と  上定義されたノルム  の組  で以下の性質を満たすものを言う:

 独立性: 
 斉次性: 
 劣加法性 (三角不等式): 
 劣乗法性: 

上の三つの条件は  が線型空間として -ノルム空間を成すことを言うものである。最後の「乗法的」な条件は  の乗法に関するものだが、加法に関する三角不等式の乗法的対応物であり、文献によってはこれを乗法的三角不等式 (multiplicative triangle inequality) とも称する。この条件により  の乗法の連続性が保証され、ノルム代数  は位相線型環になる。

上記の劣乗法性がより強く等号で成り立つ（つまり、ノルムが乗法的となる）とき乗法的ノルム代数とも呼ぶが、乗法的ノルム代数は必ず可除となり、したがって乗法的ノルム代数とノルム多元体（さらに強く、バナッハ多元体）は等価な概念を定める。

例 
 もっとも重要なノルム代数の例はバナッハ代数、すなわちノルム完備なノルム代数である。
 絶対値をノルムに持つ位相体  はそれ自身ノルム代数である。
 一変数多項式環  に  で定義されるノルムのもと完備でないノルム代数をなす。

性質 
 ノルム代数  のノルムはと呼ばれる位相を定義する。ノルムの性質によりノルム代数の任意の代数演算が連続となることが直ちに従う:（極限は  のノルム位相に関してとる）
 ノルム代数の各代数演算は、あきらかにその完備化にまで延長することができ、この完備化ノルム代数はバナッハ代数になる。したがって、任意のノルム代数は何らかのバナッハ代数に含まれる。

単位元添加 

（単位的とは限らない）任意の -ノルム代数  は、その「単位化」(unitalization) の閉イデアルになる。この「単位化」は線型空間の直和  上にノルムと積を
 
入れて得られる単位的ノルム代数である（ただし、ノルムは  など同値なノルムに取り換えてよい）。

バナッハ代数の単位化はふたたびバナッハである。

C*-環の単位化は自然な対合とノルム  のもとで C*-環である。例えば、 を局所コンパクト空間とするとき、 上の連続なスカラー値函数で無限遠で消えているもの全体に一様収束のノルムを入れた C*-環  の単位化は  の  上の連続函数環  である。その具体例として  の単位化は  になる。

応用 
ノルム代数はバナッハ代数ほどには重要でないが、それでもバナッハ代数論における構成には、初めにノルム代数に関して行って、その後で完備にする手順を踏むものがある。例えば帰納極限完備化としての、C*-環の、調和解析におけるの環の完備化としての函数環  の定式化など。

バナッハ代数論における多くの定理が、成立に完備性が効いてくるので、一般のノルム代数に対しては成り立たない。先の例で  は、一点における評価写像  が不連続準同型である。また、定数でない多項式  に対し、 を  が可逆でないような  全体の成す集合とすれば、これはコンパクトでない。これらの現象はどちらもバナッハ代数では起こりえない。

局所バナッハ代数 
ある種の応用に対しては弱い形の完備性条件を考えることもある。ノルム代数  が局所バナッハ代数 (local Banach algebra) であるとは、それがで閉じているときにいう。より具体的に、 に対して  を完備化  の中でとったスペクトルとし、 が  の近傍で定義された正則函数で  を満たすものとすれば、 が単位元を持たないならば、  は  に属する。ここに  は  における正則汎函数計算で得られている。

例えば  が局所コンパクトハウスドルフ空間のとき、複素数値コンパクト台付き連続函数  全体の成すノルム代数  は局所バナッハ代数になる。そして がコンパクトでないときは  はバナッハ代数でない。

上記とは異なる意味で、バナッハ代数の帰納極限であることを「局所」バナッハ代数と定義することもある。そのような代数が正則汎函数計算で閉じていることは、正則汎函数計算は帰納極限の各ステップに適用すればよく、各ステップでは実際にバナッハ代数を対象にすることから明らかである。

関連項目 
 合成代数：代数的に定義できるある種の乗法的ノルム代数
 可除代数
 ノルム多元体：乗法的ノルムを持つ可除ノルム代数
 ゲルファント–マズールの定理：単位的実 (resp. 複素) バナッハ多元体は  (resp. ) に限る
 ：有限次元実合成可除代数は  に限る

注

注釈

出典

参考文献

外部リンク 
 
 
 
 
 

関数解析学
多元環
ノルム空間
数学に関する記事