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