About: バナッハ環

数学の、特に関数解析学の分野におけるバナッハ環（バナッハかん、英: Banach algebra; バナッハ代数、バナッハ多元環、バナッハ線型環）は、（ふつうは実数体 R または 複素数体 C）上の結合多元環 A であって、バナッハ空間（ノルムが存在し、に関して完備）ともなる。バナッハ代数におけるノルムは乗法に関して 劣乗法性: を満たすことが要求され、それにより乗法の連続性は保証される。名称はステファン・バナッハに由来する。 上述の定義において、バナッハ空間をノルム空間に緩める（つまり完備性を要請しない）場合、同様の構造はノルム環（ノルム線型環）と呼ばれる。 バナッハ環は、ノルムが 1 の乗法単位元を持つとき、単位的（unital）であると言う。また乗法が可換であるとき、可換と言う。単位元を持つ持たないにかかわらず、任意のバナッハ環 A は適当な単位的バナッハ環（つまり A の「単位化」） Ae にこの閉イデアルとなるように等長的に埋め込める。しばしば、扱っている環は単位的であるということがアプリオリに仮定される。すなわち、Ae を考えることで多くの理論を展開でき、その結果を元の環に応用するという方法が取られることがある。しかしこの方法は常に有効という訳ではない。例えば、単位元を持たないバナッハ環においては、すべての三角関数を定義することが出来ない。