Fact-checked by Grok 2 weeks ago

Banach algebra

A Banach algebra is an associative algebra over the real or complex numbers that is also a complete normed vector space (Banach space), equipped with a submultiplicative norm satisfying \|xy\| \leq \|x\| \|y\| for all elements x, y in the algebra.^[1] This structure combines algebraic operations with topological completeness, enabling the study of continuous linear operators and functions in infinite-dimensional settings.^[2] Banach algebras may or may not possess a multiplicative identity element, though unital cases are common in applications.^[3] Building on the foundational work of the Polish mathematician Stefan Banach in his seminal 1932 monograph Théorie des opérations linéaires, which laid the foundations of modern functional analysis, the theory of Banach algebras was advanced by Israel Gelfand and others in the late 1930s and 1940s.^[4]^[5] Although Banach's work focused primarily on linear operators and spaces, the algebraic framework he developed—particularly the integration of normed division rings—paved the way for subsequent advancements by Israel Gelfand and others in the 1940s, who formalized the spectral theory of Banach algebras.^[6] Notable examples include the algebra C(K) of continuous complex-valued functions on a compact Hausdorff space K under pointwise multiplication and the supremum norm, which is commutative and unital; the space B(X) of bounded linear operators on a Banach space X with composition as multiplication and the operator norm; and the group algebra L^1(G) of integrable functions on a locally compact group G under convolution.^[2]^[7]^[8] Banach algebras play a central role in operator theory, harmonic analysis, and the study of C*-algebras, which extend the structure with an involution to model physical systems like quantum mechanics.^[8] For commutative Banach algebras, Gelfand's transform provides a representation as functions on the maximal ideal space, linking algebraic properties to complex analysis and facilitating applications in spectral theorems for self-adjoint operators.^[9] These structures also underpin summability theory and noncommutative geometry, with ongoing research exploring extensions to infinite matrices and crossed products.^[10]^[11]

Definition and Fundamentals

Definition

A Banach space is a normed vector space over the real numbers \mathbb{R} or the complex numbers \mathbb{C} that is complete with respect to the norm, meaning every Cauchy sequence converges to an element in the space. An algebra over \mathbb{R} or \mathbb{C} is a vector space equipped with a bilinear multiplication operation that is associative, i.e., (xy)z = x(yz) for all elements x, y, z in the space.^[1] A Banach algebra is an associative algebra over \mathbb{R} or \mathbb{C} that is also a Banach space with respect to a norm \|\cdot\| satisfying the submultiplicativity condition \|xy\| \leq \|x\| \|y\| for all x, y in the algebra.^[12]^[2] This norm ensures that the multiplication is continuous and jointly bounded, integrating the algebraic structure with the topological completeness of the space.^[1] Banach algebras may be unital or non-unital; a unital Banach algebra contains a multiplicative identity element e such that ex = xe = x for all x.^[2]^[1] They may also be commutative, meaning xy = yx for all x, y. While the definition applies uniformly over \mathbb{R} or \mathbb{C}, the theory over \mathbb{R} differs from that over \mathbb{C}, particularly in spectral properties, where the spectrum of an element in a real Banach algebra is defined via its complexification and may include non-real complex numbers.^[13]

Basic Properties

In a Banach algebra A, the multiplication operation is jointly continuous with respect to the norm topology. This follows from the submultiplicativity of the norm, \|ab\| \leq \|a\| \|b\| for all a, b \in A, which implies separate continuity in each variable, and hence joint continuity for convergent sequences a_n \to a and b_n \to b, as \|a_n b_n - ab\| \leq \|a_n\| \|b_n - b\| + \|a_n - a\| \|b\| with bounded norms in compact sets.^[14] For non-unital Banach algebras, the unitization \hat{A} is constructed as the direct sum A \oplus \mathbb{C} equipped with the product (a, \lambda)(b, \mu) = (ab + \lambda b + \mu a, \lambda \mu) for a, b \in A and \lambda, \mu \in \mathbb{C}, and the norm \|(a, \lambda)\| = \|a\| + |\lambda\|. This makes \hat{A} a unital Banach algebra with unit (0, 1), and the original algebra embeds as an ideal via a \mapsto (a, 0); all such unitization norms are equivalent.^[15]^[16] An element a \in A is a topological divisor of zero if there exists a sequence (x_n) in A with \|x_n\| = 1 for all n such that \lim_{n \to \infty} \|a x_n\| = 0 or \lim_{n \to \infty} \|x_n a\| = 0; more generally, a joint topological divisor of zero satisfies \lim_{n \to \infty} \|a x_n + x_n a\| = 0 for some such sequence, which implies $0 \in \sigma(a), the spectrum of a.^[16] Relatedly, an approximate identity in A is a net (e_\lambda) with \|e_\lambda\| \leq M for some M > 0 such that \lim_\lambda \|e_\lambda a - a\| = 0 (left approximate identity) or \lim_\lambda \|a e_\lambda - a\| = 0 (right), or both for two-sided; bounded approximate identities exist in many Banach algebras, such as C_0(X) for locally compact X.^[16] In a unital Banach algebra with unit e, the norm satisfies \|e\| \geq 1, and by renorming with an equivalent norm, one can achieve \|e\| = 1; under this normalization, if \|a - e\| < 1, then a is invertible with bounded inverse given by the Neumann series \sum_{n=0}^\infty (e - a)^n.^[14]^[15] More generally, every (unital) Banach algebra admits an equivalent submultiplicative norm with \|e\| = 1, constructed using powers of elements and limits related to the spectral radius formula, ensuring compatibility with the original topology.^[15]

Examples

Algebras of Functions and Measures

One prominent example of a Banach algebra of functions is the space C_0(X) of all continuous complex-valued functions on a locally compact Hausdorff space X that vanish at infinity, meaning that for every \epsilon > 0, the set \{x \in X : |f(x)| \geq \epsilon\} is compact. This space is equipped with the supremum norm \|f\|_\infty = \sup_{x \in X} |f(x)|, under which it is complete, and pointwise multiplication, making C_0(X) a commutative Banach algebra. If X is compact, then C_0(X) coincides with C(X), the space of all continuous functions on X, which is unital with the constant function 1 serving as the multiplicative identity.^[17] A key example from measure theory is the group algebra L^1(G), comprising equivalence classes of Haar-integrable complex-valued functions on a locally compact group G, with the L^1-norm \|f\|_1 = \int_G |f(y)| \, dy (with respect to a fixed left Haar measure) and multiplication given by the convolution (f * g)(x) = \int_G f(y) g(y^{-1}x) \, dy. This structure renders L^1(G) a Banach algebra, and it is commutative whenever G is abelian. The space \ell^1(\mathbb{Z}) of absolutely summable bi-infinite sequences on the discrete group \mathbb{Z}, with the \ell^1-norm \|a\|_1 = \sum_{n \in \mathbb{Z}} |a_n| and discrete convolution (a * b)_n = \sum_{k \in \mathbb{Z}} a_k b_{n-k}, provides another commutative instance since \mathbb{Z} is abelian; its Fourier transform yields an isometric Banach algebra isomorphism onto the Wiener algebra A(\mathbb{T}) of continuous functions on the unit circle \mathbb{T} with absolutely convergent Fourier series.^[18]^[19] These algebras, including L^1(G) and \ell^1(\mathbb{Z}), possess a bounded approximate identity, which can be realized through nets of functions approximating the Dirac measure at the group identity in the weak-* topology of the measure algebra. For instance, on the circle group \mathbb{T}, the trigonometric polynomials—finite sums of the form \sum_{k=-N}^N c_k e^{ikt}—are dense in C(\mathbb{T}) under the uniform norm, forming a unital dense subalgebra whose closure is the full commutative Banach algebra C(\mathbb{T}).^[20]

Operator and Matrix Algebras

One prominent example of a finite-dimensional non-commutative Banach algebra is the algebra M_n(\mathbb{C}) of n \times n complex matrices equipped with matrix multiplication and the operator norm \|A\| = \sup_{\|x\|=1} \|Ax\|, where the vector norm is the Euclidean norm on \mathbb{C}^n.^[21] This norm is submultiplicative, making M_n(\mathbb{C}) a unital Banach algebra that is non-commutative for n \geq 2.^[21] An infinite-dimensional analogue is the algebra B(H) of all bounded linear operators on a complex Hilbert space H, with composition as multiplication and the operator norm \|T\| = \sup_{\|x\| \leq 1} \|Tx\|.^[22] Like M_n(\mathbb{C}), B(H) is unital and non-commutative.^[22] Within B(H), the compact operators K(H) form a closed two-sided ideal.^[23] Over the reals, the algebra of n \times n matrices with quaternionic entries provides another example of a non-commutative Banach algebra, where the underlying field of quaternions \mathbb{H} itself is a 4-dimensional real division algebra normed by \|q\| = \sqrt{a^2 + b^2 + c^2 + d^2} for q = a + bi + cj + dk.^[24] The matrix algebra inherits a compatible operator norm, yielding a unital real Banach algebra that is non-commutative for n \geq 2.^[24] The Gelfand–Mazur theorem characterizes complex unital division Banach algebras, stating that any such algebra is isometrically isomorphic to \mathbb{C}.^[25] This highlights the uniqueness of \mathbb{C} among complex Banach division algebras, contrasting with the real case where \mathbb{H} appears.^[25]

Spectral Theory

Spectrum and Resolvent

In a unital complex Banach algebra A with multiplicative identity e, the resolvent set of an element a \in A is defined as the set

\rho(a) = \{\lambda \in \mathbb{C} : \lambda e - a \text{ is invertible in } A\},

and the spectrum \sigma(a) is its complement in the complex plane:

\sigma(a) = \mathbb{C} \setminus \rho(a).

The resolvent function associated to a is the map R(\lambda, a) = (\lambda e - a)^{-1} for \lambda \in \rho(a). This function is holomorphic (analytic) on the open set \rho(a), as it satisfies the resolvent identity R(\lambda, a) - R(\mu, a) = (\mu - \lambda) R(\lambda, a) R(\mu, a) for distinct \lambda, \mu \in \rho(a), which allows local representation as a power series via the Neumann expansion near points in \rho(a). A fundamental result in spectral theory states that for any a \in A, the spectrum \sigma(a) is a non-empty compact subset of the closed disk \{\lambda \in \mathbb{C} : |\lambda| \leq \|a\|\}. The non-emptiness follows from the following argument: assume \rho(a) = \mathbb{C}. Consider the function g(\lambda) = \lambda R(\lambda, a) - e. This is entire (as R(\cdot, a) is entire) and g(\lambda) \to 0 as |\lambda| \to \infty (by the Neumann series expansion R(\lambda, a) = \sum_{k=0}^\infty a^k / \lambda^{k+1}). An entire function tending to 0 at infinity must be identically 0, so g \equiv 0, implying R(\lambda, a) = e / \lambda. Then (\lambda e - a)(e / \lambda) = e yields a = 0. But \sigma(0) = \{0\} \neq \emptyset, a contradiction unless A is trivial. Compactness arises because \sigma(a) is closed (as the set where invertibility fails is closed, given the openness of the invertible elements) and bounded (contained in the disk of radius \|a\|, by the Neumann series expansion for |\lambda| > \|a\|). The group of invertible elements in A forms an open subset of A, and an element a is invertible if and only if $0 \notin \sigma(a). The Gelfand-Mazur theorem provides a striking characterization of division algebras within the class of complex unital Banach algebras: any such algebra in which every non-zero element is invertible is isometrically isomorphic to \mathbb{C}.^[24] The proof relies on the spectral properties above, showing that the spectrum of any non-zero element must be a singleton \{\lambda_a\} with |\lambda_a| = \|a\|, and constructing the isomorphism via the map a \mapsto \lambda_a. This result underscores the rigidity imposed by the Banach space structure on algebraic division properties.^[24]

Spectral Radius and Functional Calculus

The spectral radius of an element a in a unital complex Banach algebra A is defined as r(a) = \sup \{ |\lambda| : \lambda \in \sigma(a) \}, where \sigma(a) denotes the spectrum of a. A key result in the theory, Gelfand's spectral radius formula, asserts that r(a) = \lim_{n \to \infty} \|a^n\|^{1/n} = \inf_n \|a^n\|^{1/n}. This equality holds for every element a \in A and reveals that the spectral radius is independent of the choice of norm on the algebra, as the limit coincides across equivalent norms. A sketch of the proof begins with the submultiplicativity of the norm: \|a^{m+n}\| \leq \|a^m\| \cdot \|a^n\| for positive integers m, n, which implies that the sequence \phi(n) = \log \|a^n\| is subadditive (\phi(m+n) \leq \phi(m) + \phi(n)). By Fekete's lemma for subadditive sequences, \lim_{n \to \infty} \phi(n)/n exists and equals \inf_n \phi(n)/n. Thus, \lim_{n \to \infty} \|a^n\|^{1/n} exists. To equate this limit to r(a), one direction follows from resolvent estimates: for |\lambda| > r(a), the resolvent R(\lambda, a) = (\lambda - a)^{-1} satisfies \|a^n / \lambda^{n+1}\| \leq \|R(\lambda, a)\| \cdot (r(a)/|\lambda|)^n, yielding \limsup_{n \to \infty} \|a^n\|^{1/n} \leq r(a). The reverse inequality r(a) \leq \liminf_{n \to \infty} \|a^n\|^{1/n} follows by contradiction: suppose L = \liminf_{n \to \infty} \|a^n\|^{1/n} < r(a). Then for |\lambda| > L, the Neumann series \sum_{k=0}^\infty (a/\lambda)^k converges, so \lambda e - a is invertible and \sigma(a) \subset \{\mu \in \mathbb{C} : |\mu| \leq L\}, implying r(a) \leq L, a contradiction. The holomorphic functional calculus extends the spectrum to allow application of holomorphic functions to elements of A. If f is holomorphic on an open set containing \sigma(a), then f(a) is defined by the Cauchy integral formula

f(a) = \frac{1}{2\pi i} \int_\Gamma f(\lambda) R(\lambda, a) \, d\lambda,

where \Gamma is a positively oriented contour enclosing \sigma(a) in its interior and lying in the domain of f. This definition is independent of the choice of contour and yields a bounded algebra homomorphism from the algebra of holomorphic functions on the domain to A, preserving polynomials and power series converging on \sigma(a). A consequence is the spectral mapping theorem: for such an f, \sigma(f(a)) = f(\sigma(a)). This theorem underpins approximations of functions by polynomials via the Stone-Weierstrass theorem on compact sets and facilitates the study of power-bounded elements and asymptotic behavior in Banach algebras. Additionally, r(a) \leq \|a\| always holds, since \sigma(a) is contained in the closed disk of radius \|a\| (as |\lambda| > \|a| implies \lambda - a is invertible by the Neumann series). Equality occurs for normal elements in Banach *-algebras.

Commutative Banach Algebras

Gelfand Theory

In commutative unital Banach algebras, Gelfand theory provides a fundamental representation theorem that embeds the algebra into a space of continuous functions on its spectrum. For a commutative unital Banach algebra A, the Gelfand spectrum \Delta(A) is defined as the set of all non-zero multiplicative linear functionals on A, equipped with the weak* topology, making it a compact Hausdorff space.^[26] These functionals, known as characters, satisfy \chi(ab) = \chi(a)\chi(b) and \chi(1) = 1 for all a, b \in A. The Gelfand transform \hat{G}: A \to C(\Delta(A)), where C(\Delta(A)) denotes the Banach algebra of continuous complex-valued functions on \Delta(A) with the supremum norm, is given by \hat{G}(a)(\chi) = \chi(a) for a \in A and \chi \in \Delta(A). This map is a contractive unital algebra homomorphism, as \|\hat{G}(a)\|_\infty = \sup_{\chi \in \Delta(A)} |\chi(a)| \leq \|a\| follows from the properties of characters and the norm on A.^[26] A central result of Gelfand theory states that the spectrum of an element a \in A, defined as \sigma(a) = \{\lambda \in \mathbb{C} : a - \lambda \cdot 1 \text{ is not invertible}\}, coincides exactly with the range of the Gelfand transform \hat{G}(a)(\Delta(A)). This identification links the algebraic structure of A directly to analytic properties on the spectrum, with the non-emptiness of \Delta(A) ensuring the spectrum is always non-empty for unital Banach algebras.^[26] The spectrum \Delta(A) serves as the maximal ideal space of A, where each character \chi corresponds to a maximal ideal M_\chi = \ker \chi. Closed two-sided ideals in A are in bijective correspondence with the zero sets of the Gelfand transforms of their elements in \Delta(A), providing a topological description of the ideal structure.^[26] If A is semisimple (i.e., its Jacobson radical is zero), then A is isometrically isomorphic to the uniform closure in C(\Delta(A)) of the polynomials in \hat{G}(A), often denoted \overline{P(\hat{G}(A))}. This representation theorem highlights how commutative semisimple Banach algebras can be realized as subalgebras of function algebras, facilitating applications in harmonic analysis and beyond.^[26]

Characters and Ideals

In a commutative unital complex Banach algebra A, a character is a nonzero continuous algebra homomorphism \chi: A \to \mathbb{C}. Such functionals are automatically bounded with \|\chi\| = 1, and their kernels \ker(\chi) are maximal modular ideals of A. Conversely, every maximal modular ideal arises as the kernel of some character.^[8] The collection \Delta(A) of all characters on A, endowed with the weak^* topology inherited from the dual space A^*, forms a compact Hausdorff topological space known as the maximal ideal space (or Gelfand space) of A. This topology ensures that the evaluation map a \mapsto (\chi \mapsto \chi(a)) defines the Gelfand transform, embedding A continuously into C(\Delta(A)), the algebra of continuous complex-valued functions on \Delta(A) equipped with the sup norm. Every character on A extends uniquely to a character on the bidual A^{**}, reflecting the natural embedding of A into A^{**} and allowing the Gelfand theory to apply to the larger algebra.^[8]^[27] Closed ideals in A are in bijective correspondence with the closed subsets of \Delta(A) via the zero set construction. For a closed ideal I \subseteq A, the zero set is defined as

Z(I) = \{\chi \in \Delta(A) \mid \chi(i) = 0 \ \forall \, i \in I\},

which is a closed subset of \Delta(A). The Gelfand transform induces an isometric algebra isomorphism A/I \cong C(\Delta(A) \setminus Z(I)), where the right-hand side carries the sup norm. This correspondence is lattice-preserving: the zero set map sends intersections of ideals to unions of zero sets and vice versa.^[27] Among the ideals of A, primitive ideals are those that are kernels of irreducible *-representations of A; in the commutative case, these coincide precisely with the maximal ideals, as all irreducible representations are one-dimensional and thus given by characters. A closed ideal H \subseteq A is hereditary if, whenever J is another closed ideal containing H, the quotient J/H is again hereditary (or equivalently, H absorbs squares in a certain sense, containing all a \in A such that aAa \subseteq H). Hereditary ideals play a role in decomposing A and analyzing substructures, often corresponding to open subsets of \Delta(A) under the zero set duality.^[27]^[8] A concrete illustration arises with the algebra A = C(K) of continuous complex-valued functions on a compact Hausdorff space K, normed by the sup norm. Here, \Delta(C(K)) consists of the evaluation functionals \chi_x(f) = f(x) for x \in K, and the natural homeomorphism \Delta(C(K)) \cong K identifies the maximal ideal space with the original space K. Closed ideals in C(K) then correspond exactly to functions vanishing on closed subsets of K, with quotients isomorphic to C on the complementary open sets.^[8]

Banach *-Algebras

Definition and Involution Properties

A *-algebra over the complex numbers is an associative algebra A equipped with an involution * : A \to A, which is an antilinear map satisfying (xy)^* = y^* x^* for all x, y \in A, x^{**} = x for all x \in A, and (\lambda x)^* = \bar{\lambda} x^* for all x \in A and \lambda \in \mathbb{C}.^[28] This involution reverses the order of multiplication and conjugates scalars while being involutive. The structure arises naturally in contexts like operator algebras, where it models adjoint operations.^[28] A Banach *-algebra is a complete normed *-algebra (A, \|\cdot\|) where the norm is submultiplicative, meaning \|xy\| \leq \|x\| \|y\| for all x, y \in A, and the involution preserves the norm, so \|x^*\| = \|x\| for all x \in A.^[29] This norm compatibility ensures the involution is continuous and aligns the algebraic and topological structures. Elements x \in A satisfying x = x^* are termed self-adjoint and form a real subspace.^[29] The spectrum \sigma(x) of a self-adjoint element x lies in the real numbers \mathbb{R}.^[29] A self-adjoint element x is positive if \sigma(x) \subseteq [0, \infty).^[30] In a Banach -algebra, the submultiplicativity of the norm and preservation under involution imply \|x^* x\| \leq \|x^*\| \|x\| = \|x\|^2 for all x \in A.^[28] This inequality is strict in general, without the equality \|x^* x\| = \|x\|^2 that characterizes C-algebras among Banach *-algebras.^[31] Positive elements thus satisfy additional constraints on their spectra, ensuring non-negativity aligns with the involutive structure.^[30]

Relation to C*-Algebras

A C*-algebra is defined as a Banach *-algebra A equipped with an involution * satisfying the C*-identity \|\mathbf{x}^*\mathbf{x}\| = \|\mathbf{x}\|^2 for all \mathbf{x} \in A. This condition implies that the involution is isometric, i.e., \|\mathbf{x}^*\| = \|\mathbf{x}\| for all \mathbf{x} \in A, and distinguishes C*-algebras from more general Banach *-algebras by ensuring the norm is compatible with the involution in a strong sense. The Gelfand-Naimark-Segal (GNS) theorem establishes that every C*-algebra is isometrically *-isomorphic to a closed *-subalgebra of bounded linear operators on some Hilbert space. The proof relies on the GNS construction, which associates to any positive linear functional (state) on the C*-algebra a cyclic representation as operators on the corresponding Hilbert space completion of the pre-Hilbert space formed by the algebra modulo the left kernel of the functional. This representation theorem underscores the operator-theoretic foundation of C*-algebras. For commutative C*-algebras, the Gelfand-Naimark theorem provides a concrete realization: every unital commutative C*-algebra A is isometrically *-isomorphic to the algebra C(\Delta(A)) of continuous complex-valued functions on its spectrum \Delta(A), equipped with the sup norm and pointwise conjugation. Here, \Delta(A) is the space of non-zero -homomorphisms from A to \mathbb{C}, topologized by weak* convergence, forming a compact Hausdorff space. This isomorphism highlights the functional-analytic nature of commutative C-algebras.^[32] Not all Banach -algebras satisfy the C-identity. A prominent example is the group algebra L^1(G) for a non-discrete locally compact group G, equipped with convolution multiplication (f * g)(x) = \int_G f(y) g(y^{-1}x) \, dy and involution (f^*)(x) = \overline{f(x^{-1})}, which forms a Banach -algebra under the L^1-norm but fails the C-condition unless G is discrete. In such cases, faithful representations of L^1(G) are not isometric, unlike in C*-algebras. In general Banach -algebras, the spectral radius satisfies r(\mathbf{x}^*\mathbf{x})^{1/2} \leq \|\mathbf{x}\| for all \mathbf{x}, with equality holding for all \mathbf{x} if and only if the algebra is a C*-algebra (up to equivalent norm). This inequality reflects the submultiplicativity of the norm and the fact that r(\mathbf{y}) \leq \|\mathbf{y}\| for any element \mathbf{y}, but the C-identity enforces equality, linking the algebraic structure directly to operator norms in representations.

History and Applications

Historical Development

The foundations of Banach algebra theory trace back to Stefan Banach's seminal 1932 monograph, Théorie des opérations linéaires, which formalized the concept of Banach spaces as complete normed linear spaces and explored linear operations on them, with multiplicative structures implicitly underlying certain operator discussions.^[33] Although the term "Banach algebra" was not yet in use, this work established the normed framework essential for later algebraic developments in functional analysis. In the 1940s, Israel Gelfand and his collaborators advanced spectral theory specifically for commutative Banach algebras, introducing key ideas such as characters and the Gelfand transform to represent these algebras as function spaces. A pivotal result from this period was the Gelfand-Mazur theorem, which characterizes unital complex Banach division algebras as isomorphic to the complex numbers, first proved by Gelfand in the late 1930s and independently by Mazur around 1938, though Mazur's publication lacked a proof.^[34] Gelfand's 1941 paper on normed rings further solidified the role of characters in commutative settings.^[35] The 1950s saw extensions to non-commutative cases, with Richard Arens developing approximation properties and extensions for general Banach algebras in works like his 1951 paper on the second dual. Charles Rickart contributed foundational results on the uniqueness of the norm in Banach algebras through his 1950 paper, influencing the general theory.^[36] Concurrently, C*-algebras emerged as a significant subclass, formalized by Irving Segal in his 1947 paper on irreducible representations of operator algebras, building on John von Neumann's earlier 1930s work with Francis Murray on rings of operators (later termed von Neumann algebras). The term "Banach algebra" gained prominence in the 1950s through functional analysis texts, such as Lynn Loomis's 1953 Abstract Harmonic Analysis, which popularized it for normed algebras with compatible multiplication. In the 1960s, B.E. Johnson advanced the field with results on automatic continuity, showing in his 1969 paper that homomorphisms between certain Banach algebras are necessarily continuous, enhancing the structural understanding.

Applications

Banach algebras find extensive applications in harmonic analysis, particularly through the group algebra L^1(G) for a locally compact abelian group G, which serves as the natural setting for defining the Fourier transform on non-Euclidean spaces.^[37] The Fourier transform maps L^1(G) isometrically onto a subalgebra of continuous functions vanishing at infinity on the dual group \hat{G}, enabling the spectral analysis of convolutions as pointwise multiplication. A key result in this context is Wiener's lemma, which states that if a function f in the Wiener algebra A(\mathbb{T}) of absolutely convergent Fourier series on the circle has no zeros, then its reciprocal $1/f also belongs to A(\mathbb{T}).^[19] This lemma underpins Tauberian theorems, such as the density of the closed ideal generated by f in L^1(G) if and only if \hat{f} has no zeros on \hat{G}. More generally, the closed ideals in L^1(G) are in one-to-one correspondence with the closed subsets of the dual group \hat{G}, consisting of those functions whose Fourier transforms vanish on such a subset.^[38] In operator theory, the Banach algebra B(H) of bounded linear operators on a Hilbert space H models the algebra of observables in quantum mechanics, where self-adjoint elements represent physical quantities and the norm captures boundedness of measurements.^[39] More broadly, C*-algebras, as a special class of Banach -algebras, form the foundation of non-commutative geometry, where Alain Connes uses them to generalize Riemannian geometry to quantum spaces, associating spectral triples to manifolds and deriving metric properties from Dirac operators.^[40] In physics, C-algebras describe the local observables in algebraic quantum field theory, assigning to each spacetime region an algebra of operators satisfying isotony and microcausality, ensuring relativistic invariance.^[41] A significant theoretical application arises in the study of automatic continuity for homomorphisms between Banach algebras. B.E. Johnson established that every surjective algebra homomorphism from a Banach algebra onto a semisimple Banach algebra is automatically continuous, resolving long-standing questions about the interplay between algebraic structure and topology.^[42] Related results include the automatic continuity of -homomorphisms from C-algebras into Banach algebras.^[43] In approximation theory, uniform algebras—closed subalgebras of the continuous functions C(K) on a compact Hausdorff space K that separate points and contain constants—provide a framework for analyzing polynomial approximation in the uniform norm. The disk algebra A(\mathbb{D}), the uniform closure of the analytic polynomials on the closed unit disk, exemplifies such a structure, in which polynomials are dense by definition. Such results underpin bounds on the Markov constant, relating the uniform norm of a polynomial to that of its derivative, which is crucial for numerical algorithms in complex approximation.^[44]

References

[1]
[PDF] 7. Banach algebras Definition 7.1. A is called a Banach ... - OU Math
So a Banach algebra is an algebra, that is, it is a vector space that is also a ring, with a compatibility condition between the two structures, or we can say ...
[2]
[PDF] BANACH ALGEBRAS 1. Basic definitions, invertibility There are a ...
Definition 1.1. A Banach Algebra A is an Algebra that is a Banach space with a norm that satisfies kxyk≤kxkkyk , and there exists a unit element e ∈ A ...
[3]
[PDF] Banach Algebras I: Elementary Properties - KSU Math
The direct product and direct sum algebras as defined as follows. 4. We can ... If A is a (unital) normed algebra, its completion ˜A is a Banach algebra.
[4]
Stefan Banach (1892 - 1945) - Biography - MacTutor
Banach founded modern functional analysis and made major contributions to the theory of topological vector spaces. In addition, he contributed to measure theory ...
[5]
[PDF] Some Work of Stefan Banach and the Mathematics It Has Generated
(I have deliberately omi ed. Banach algebras since, while they are named a er Banach, the basic theory of them was really invented by Gelfand and Naimark.).
[6]
[PDF] Banach Algebras: First Examples - UNM Math
a. Show that End(V ) is a Banach algebra with addition being defined as addition of linear maps and multiplication as composition of linear maps.
[7]
[PDF] Lectures on Banach Algebras | Michael Taylor
We say B has a unit I if I ∈ B satisfies. (1.2). Ix = xI = x, ∀x ∈ B, kIk = 1. Banach algebras arise in a variety of settings. Examples include L(V ) ...
[8]
[PDF] Banach Algebras and Spectral Theory Lecture 1 August 24th. A ...
For a commutative Banach Algebra, ˆA is defined to be the space of non zero C homomorphisms, or the. Maximal Ideal space of A. Observe that ˆA⊂A0 (the dual of A ...
[9]
Banach Algebras Of Infinite Matrices, And Applications To The ...
DORFF, . E. K. (1959). Banach Algebras Of Infinite Matrices, And Applications To The Theory Of Summability.
[10]
[PDF] Kasparov's operator K-theory and applications 4. Lafforgue's approach
Need. Banach algebras crossed product, extending reduced crossed product. Natural crossed product for Banach algebras: L1(G;A). Morphism. jL1. G : KKban. G. (A, ...
[11]
Banach Algebra -- from Wolfram MathWorld
A Banach algebra is an algebra over a field endowed with a norm such that is a Banach space under the norm and.
[12]
[PDF] Real banach algebras
2). The spectrum of an element in a real algebra is defined and its relation to the complexification is discussed in section 3. For the Frobenius-Mazur.
[13]
[PDF] Banach Algebras
Apr 18, 2005 · The fact that it is a group is trivial and continuity of multiplication follows from the sub-multiplicativity of the norm. (see 2.1.2.) The ...
[14]
[PDF] 5. Banach algebras - KSU Math
The Banach algebras described in Examples 5.1.A, 5.1.B and 5.1.D are all unital. For A and B the unit is the constant function 1. For D the unit is the.
[15]
[PDF] An introduction to Banach algebras and operator algebras
Apr 30, 2021 · In this manuscript, we shall be studying the basic properties of Banach ... is a limit of polynomials in r, and since multiplication is jointly ...
[16]
[PDF] FUNCTIONAL ANALYSIS | Second Edition Walter Rudin
Functional analysis is the study of certain topological-algebraic structures and of ... The spectral theorem is derived from the theory of Banach algebras.
[17]
978-0-387-72476-8.pdf
Chapter 2 concludes with determining the structure spaces of tensor products of two commutative Banach algebras and a discussion of semisimplicity of the ...
[18]
[PDF] The Wiener algebra and Wiener's lemma - Jordan Bell
Jan 17, 2015 · ∥ℓ1(Z) . A(T) is a commutative Banach algebra, with unity t ↦→ 1, and the Fourier transform is an isomorphism of Banach algebras ¿ : A(T) → ℓ1(Z) ...<|separator|>
[19]
[PDF] The Stone-Weierstrass Theorem
The Weierstrass Approximation Theorem shows that the continuous real- valued fuctions on a compact interval can be uniformly approximated by polynomials.
[20]
[PDF] A (Very) Short Course on C -Algebras - Dartmouth Mathematics
Feb 14, 2024 · Then with the operator norm, Mn is a Banach algebra. The 2 × 2 ... A of the form λI + La is a C∗-algebra with respect to the operator norm, and ...Missing: M_n( | Show results with:M_n(
[21]
[PDF] banach algebras
is a non-commutative unital Banach algebra. Exercise 1.9. Show that kAk = max1≤i,j≤n |aij| defines a norm on Mn(C) but it is not an algebra norm. Example ...
[22]
[PDF] On compact operators - Alen Alexanderian
Aug 26, 2024 · The goal of this brief note is to collect some of the basic properties of compact operators on normed linear spaces.
[23]
Gelfand–Mazur Theorems in normed algebras: A survey
The Gelfand–Mazur Theorem, a very basic theorem in the theory of Banach algebras states that: (Real version) Every real normed division algebra is ...
[24]
[PDF] Gelfand–Mazur Theorems in normed algebras: A survey
The Gelfand–Mazur Theorem, a very basic theorem in the theory of Banach algebras states that: (Real version) Every real normed division algebra is ...
[25]
I. Gelfand, “Normierte Ringe”, Sb. Math., 51:1 (1941) - Math-Net.Ru
Full-text PDF (2085 kB) Citations (9). Received: 27.06.1940. Bibliographic databases: Language: German. Citation: I. Gelfand, “Normierte Ringe”, Sb. Math., 51:1 ...
[26]
[PDF] Commutative Banach Algebras and Modular Representation Theory
The completion is then a commutative Banach algebra, and the techniques of Gelfand from the 1940s are applied in order to study the space of algebra ...
[27]
[PDF] 4 C*-algebras
4.1. 1 Definition. Let A be a Banach algebra. An involution on A is a map A → A, a 7→ a∗ such that for all a, b ∈ A and λ ∈ C we have: (i).Missing: standard | Show results with:standard
[28]
REPRESENTATION OF BANACH ALGEBRAS WITH AN INVOLUTION
A function satisfying (i) to (iii) is called an involution. It is apparent that continuity of the involution follows from (iv). Conversely if a complex Banach ...
[29]
Involutions on Banach algebras - MSP
An element x e B is called self-adjoint if x = x* and H is used for the set of self adjoint elements in B. ... The singular elements of a Banach algebra, Duke ...
[30]
[PDF] 9. C∗ -algebras - OU Math
The. Gelfand transform gives a representation of a commutative C∗-algebra. A as continuous functions on a compact Hausdorff space (namely, ∆), but if the ...
[31]
On the imbedding of normed rings into the ring of operators ... - EuDML
Гельфанд, И.М., and Наймарк, MA. "On the imbedding of normed rings into the ring of operators in Hilbert space." Matematiceskij sbornik 54.2 (1943): 197-217.
[32]
Théorie des opérations linéaires - EuDML
Stefan Banach. Théorie des opérations linéaires. 1932. <http://eudml.org/doc ... spaces · Piotr Antosik, Equivanishing sequences of mappings · Vlastimil ...
[33]
Did Gelfand's theory of commutative Banach algebras influence ...
Apr 3, 2010 · The key idea in Gelfand's theory -- that maximal ideals are the underlying "points" of a commutative normed ring -- not only revolutionized ...The spectrum of the Banach algebra of certain arithmetic functions ...Spectrum of ring in algebraic geometry vs spectrum of Banach algebraMore results from mathoverflow.netMissing: normierte | Show results with:normierte
[34]
A comparison of the Mackey and Segal models for quantum ...
The C*-algebra corresponds to the Segal model, and Plymen shows that the Z*-algebra satisfies the postulates of Mackey's model. However, a. C*-algebra is much ...
[35]
The Uniqueness of Norm Problem in Banach Algebras - jstor
A Banach algebra, or simply B-algebra, is a normed ring in the sense of I. Gelfand [5]. In other words, it is a linear algebra (not necessarily commutative).
[36]
Harmonic analysis based on certain commutative Banach algebras
This example shows that even if we can express the functions in F 0 and. F' as Fourier transforms of functions on G, this is in general not true for all the.
[37]
[PDF] arXiv:math/9501226v1 [math.CA] 1 Jan 1995
By Wiener's Tauberian theorem, if the Fourier transforms of the elements of a closed ideal I of L1(G) do not have a common zero, then I = L1(G) . In the non- ...
[38]
[PDF] Noncommutative Geometry Alain Connes
This book is the English version of the French “Géométrie non commutative” pub- lished by InterEditions Paris (1990). After the initial translation by S.K. ...
[39]
[PDF] Noncommutative Geometry Alain Connes
This book is the English version of the French “Géométrie non commutative” pub- lished by InterEditions Paris (1990). After the initial translation by S.K. ...
[40]
[PDF] Algebraic quantum field theory - Universität Hamburg
The spectrum of an element A of a C*-algebra lies inside the circle with radius A around the origin and is real for selfadjoint elements. Among the C*-algebras, ...
[41]
Some aspects of automatic continuity - MSP
This paper deals with problems concerning: the continuity of various linear maps between Banach spaces. In the first section, it is shown that if an algebra ...
[42]
Automatic Continuity in Banach Spaces and Algebras - jstor
Every homomorphism of a Johnson algebra is continuous. The remainder of this paper is devoted to the problem of continuity of linear maps from C*-algebras into ...
[43]
[PDF] Approximation in C - arXiv
Nov 8, 2006 · Abstract. This is a survey article on selected topics in approximation theory. The topics either use techniques from the theory of several ...