解析学に
おけるバナッハ極限(
英:
Banach limit)とは
有界な
実数列の成すバナッハ空間 ℓ ∞ {\\displaystyle \\
ell ^{\\infty }} で
定義された汎関数 L I M : ℓ ∞ → R {\\displaystyle \\mathrm {
LIM} :\\
ell ^{\\infty }\\
to \\mathbb {R} } で、
任意の数列 x = ( x n ) {\\displaystyle x=(x_{n})} と y = (
y n ) {\\displaystyle y=(y_{n})} に
対して次の条件を満たすものをいう:
最後の条件より
L I M {\\displaystyle \\mathrm {
LIM} } は
線形汎関数 lim n → ∞ {\\displaystyle \\
lim _{n\\
to \\infty }} の
延長であることが
分かる。