ノルム代数

数学の特に函数解析学におけるノルム環（ノルムかん）テンプレート:Efnまたはノルム代数（ノルムだいすう、テンプレート:Lang-en-short; ノルム多元環、ノルム線型環）テンプレート:Mvar は適当な位相体 テンプレート:Mvar（とくに実数体 テンプレート:Mathbf または複素数体 テンプレート:Mathbf）上のノルム空間かつ多元環であって、そのノルムが

劣乗法性: $\Vert xy\Vert \le \Vert x\Vert \Vert y\Vert (\mathrm{\forall }x,y\in A)$

を満たすものを言うテンプレート:Efn。加えて、テンプレート:Mvar が乗法単位元 テンプレート:Math を持つ（単位的多元環）ならば テンプレート:Math も仮定することがあるテンプレート:Efn。

定義

ノルム代数は、ノルム体テンプレート:Efn テンプレート:Mvar 上の テンプレート:Mvar-代数 テンプレート:Mvar と テンプレート:Mvar 上定義されたノルム テンプレート:Math の組 テンプレート:Math で以下の性質を満たすものを言う:

• 独立性: $\Vert a\Vert =0⟺a=0(\mathrm{\forall }a\in A).$
• 斉次性: $\Vert \lambda a\Vert =|\lambda |\cdot \Vert a\Vert (\mathrm{\forall }\lambda \in 𝕂,\mathrm{\forall }a\in A).$
• 劣加法性 (三角不等式): $\Vert a+b\Vert \le \Vert a\Vert +\Vert b\Vert (\mathrm{\forall }a,b\in A).$
• 劣乗法性: $\Vert a\cdot b\Vert \le \Vert a\Vert \cdot \Vert b\Vert (\mathrm{\forall }a,b\in A).$

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

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

例

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

性質

• ノルム代数 テンプレート:Mvar のノルムはテンプレート:Ill2と呼ばれる位相を定義する。ノルムの性質によりノルム代数の任意の代数演算が連続となることが直ちに従う:$$\begin{array}{cc}& a_n\to a,b_n\to b,{\lambda }_n\to \lambda (a_n,a,b_n,b\in A,{\lambda }_n,\lambda \in 𝕂)\\ & ⟹{\lambda }_n{a}_n\to \lambda a,a_n+b_n\to a+b,a_n\cdot b_n\to a\cdot b(\text{as }n\to \mathrm{\infty })\end{array}$$（極限は テンプレート:Mvar のノルム位相に関してとる）
• ノルム代数の各代数演算は、あきらかにその完備化にまで延長することができ、この完備化ノルム代数はバナッハ代数になる。したがって、任意のノルム代数は何らかのバナッハ代数に含まれる。

単位元添加

テンプレート:Seealso （単位的とは限らない）任意の テンプレート:Mvar-ノルム代数 テンプレート:Mvar は、その「単位化」(unitalization) の閉イデアルになる。この「単位化」は線型空間の直和 テンプレート:Math 上にノルムと積を

$(a,\lambda )(b,\mu )=(ab+\lambda b+\mu a,\lambda \mu ),\Vert (a,\lambda )\Vert =\Vert a\Vert +|\lambda |$

入れて得られる単位的ノルム代数である（ただし、ノルムは テンプレート:Math など同値なノルムに取り換えてよい）。

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

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

応用

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

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

局所バナッハ代数

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

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

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

関連項目

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

参考文献

• テンプレート:Cite book2

外部リンク

• テンプレート:SpringerEOM
• テンプレート:MathWorld
• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:Nlab