Banach algebra

In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra A over the real or complex numbers (or over a non-Archimedean complete normed field) that at the same time is also a Banach space, that is, a normed space that is complete in the metric induced by the norm. The norm is required to satisfy

\forall x,y\in A:\|x\,y\|\ \leq \|x\|\,\|y\|.

This ensures that the multiplication operation is continuous.

A Banach algebra is called unital if it has an identity element for the multiplication whose norm is 1, and commutative if its multiplication is commutative. Any Banach algebra $A$ (whether it has an identity element or not) can be embedded isometrically into a unital Banach algebra $A_{e}$ so as to form a closed ideal of $A_{e}$ . Often one assumes a priori that the algebra under consideration is unital: for one can develop much of the theory by considering $A_{e}$ and then applying the outcome in the original algebra. However, this is not the case all the time. For example, one cannot define all the trigonometric functions in a Banach algebra without identity.

The theory of real Banach algebras can be very different from the theory of complex Banach algebras. For example, the spectrum of an element of a nontrivial complex Banach algebra can never be empty, whereas in a real Banach algebra it could be empty for some elements.

Banach algebras can also be defined over fields of p-adic numbers. This is part of p-adic analysis.

Examples

The prototypical example of a Banach algebra is $C_{0}(X)$ , the space of (complex-valued) continuous functions on a locally compact (Hausdorff) space that vanish at infinity. $C_{0}(X)$ is unital if and only if X is compact. The complex conjugation being an involution, $C_{0}(X)$ is in fact a C*-algebra. More generally, every C*-algebra is a Banach algebra.

The set of real (or complex) numbers is a Banach algebra with norm given by the absolute value.
The set of all real or complex n-by-n matrices becomes a unital Banach algebra if we equip it with a sub-multiplicative matrix norm.
Take the Banach space Rⁿ (or Cⁿ) with norm ||x|| = max |x_i| and define multiplication componentwise: (x₁,...,x_n)(y₁,...,y_n) = (x₁y₁,...,x_ny_n).
The quaternions form a 4-dimensional real Banach algebra, with the norm being given by the absolute value of quaternions.
The algebra of all bounded real- or complex-valued functions defined on some set (with pointwise multiplication and the supremum norm) is a unital Banach algebra.
The algebra of all bounded continuous real- or complex-valued functions on some locally compact space (again with pointwise operations and supremum norm) is a Banach algebra.
The algebra of all continuous linear operators on a Banach space E (with functional composition as multiplication and the operator norm as norm) is a unital Banach algebra. The set of all compact operators on E is a Banach algebra and closed ideal. It is without identity if $dim E = \infty$ .[1]
If G is a locally compact Hausdorff topological group and μ is its Haar measure, then the Banach space L¹(G) of all μ-integrable functions on G becomes a Banach algebra under the convolution xy(g) = ∫ x(h) y(h⁻¹g) dμ(h) for x, y in L¹(G).[2]
Uniform algebra: A Banach algebra that is a subalgebra of the complex algebra C(X) with the supremum norm and that contains the constants and separates the points of X (which must be a compact Hausdorff space).
Natural Banach function algebra: A uniform algebra all of whose characters are evaluations at points of X.
C*-algebra: A Banach algebra that is a closed *-subalgebra of the algebra of bounded operators on some Hilbert space.
Measure algebra: A Banach algebra consisting of all Radon measures on some locally compact group, where the product of two measures is given by convolution of measures.[2]

Counterexamples

The algebra of the quaternions $\mathbb {H}$ is not a complex Banach algebra (for any norm on $\mathbb {H}$ ), for if ${\mathcal {A}}$ is a complex Banach algebra that is also a division algebra, then ${\mathcal {A}}\approx \mathbb {C}$ (Gelfand–Mazur theorem), since if $\lambda \in \mathbb {C}$ is a point in the non-empty[3] spectrum $\sigma (a)\subseteq \mathbb {C}$ of $a\in {\mathcal {A}}$ , $a-\lambda 1$ is not invertible, hence $a-\lambda 1=0$ since ${\mathcal {A}}$ is a division algebra, whence $a=\lambda 1$ [4] (which also proves the Gelfand–Mazur theorem).

Properties

Several elementary functions that are defined via power series may be defined in any unital Banach algebra; examples include the exponential function and the trigonometric functions, and more generally any entire function. (In particular, the exponential map can be used to define abstract index groups.) The formula for the geometric series remains valid in general unital Banach algebras. The binomial theorem also holds for two commuting elements of a Banach algebra.

The set of invertible elements in any unital Banach algebra is an open set, and the inversion operation on this set is continuous, (and hence is a homeomorphism) so that it forms a topological group under multiplication.[5]

If a Banach algebra has unit 1, then 1 cannot be a commutator; i.e., $xy-yx\neq \mathbf {1}$ for any x, y ∈ A. This is because xy and yx have the same spectrum except possibly 0.

The various algebras of functions given in the examples above have very different properties from standard examples of algebras such as the reals. For example:

Every real Banach algebra that is a division algebra is isomorphic to the reals, the complexes, or the quaternions. Hence, the only complex Banach algebra that is a division algebra is the complexes. (This is known as the Gelfand–Mazur theorem.)
Every unital real Banach algebra with no zero divisors, and in which every principal ideal is closed, is isomorphic to the reals, the complexes, or the quaternions.
Every commutative real unital Noetherian Banach algebra with no zero divisors is isomorphic to the real or complex numbers.
Every commutative real unital Noetherian Banach algebra (possibly having zero divisors) is finite-dimensional.
Permanently singular elements in Banach algebras are topological divisors of zero, i.e., considering extensions B of Banach algebras A some elements that are singular in the given algebra A have a multiplicative inverse element in a Banach algebra extension B. Topological divisors of zero in A are permanently singular in any Banach extension B of A.

Spectral theory

Unital Banach algebras over the complex field provide a general setting to develop spectral theory. The spectrum of an element x ∈ A, denoted by $\sigma (x)$ , consists of all those complex scalars λ such that x − λ1 is not invertible in A. The spectrum of any element x is a closed subset of the closed disc in C with radius ||x|| and center 0, and thus is compact. Moreover, the spectrum $\sigma (x)$ of an element x is non-empty and satisfies the spectral radius formula:

\sup\{|\lambda |:\lambda \in \sigma (x)\}=\lim _{n\to \infty }\|x^{n}\|^{1/n}.

Given x ∈ A, the holomorphic functional calculus allows to define ƒ(x) ∈ A for any function ƒ holomorphic in a neighborhood of $\sigma (x).$ Furthermore, the spectral mapping theorem holds:

\sigma (f(x))=f(\sigma (x)).

[6]

When the Banach algebra A is the algebra L(X) of bounded linear operators on a complex Banach space X (e.g., the algebra of square matrices), the notion of the spectrum in A coincides with the usual one in operator theory. For ƒ ∈ C(X) (with a compact Hausdorff space X), one sees that:

\sigma (f)=\{f(t):t\in X\}.

The norm of a normal element x of a C*-algebra coincides with its spectral radius. This generalizes an analogous fact for normal operators.

Let A be a complex unital Banach algebra in which every non-zero element x is invertible (a division algebra). For every a ∈ A, there is λ ∈ C such that a − λ1 is not invertible (because the spectrum of a is not empty) hence a = λ1 : this algebra A is naturally isomorphic to C (the complex case of the Gelfand–Mazur theorem).

Ideals and characters

Let A be a unital commutative Banach algebra over C. Since A is then a commutative ring with unit, every non-invertible element of A belongs to some maximal ideal of A. Since a maximal ideal ${\mathfrak {m}}$ in A is closed, $A/{\mathfrak {m}}$ is a Banach algebra that is a field, and it follows from the Gelfand–Mazur theorem that there is a bijection between the set of all maximal ideals of A and the set Δ(A) of all nonzero homomorphisms from A to C. The set Δ(A) is called the "structure space" or "character space" of A, and its members "characters."

A character χ is a linear functional on A that is at the same time multiplicative, χ(ab) = χ(a) χ(b), and satisfies χ(1) = 1. Every character is automatically continuous from A to C, since the kernel of a character is a maximal ideal, which is closed. Moreover, the norm (i.e., operator norm) of a character is one. Equipped with the topology of pointwise convergence on A (i.e., the topology induced by the weak-* topology of A^∗), the character space, Δ(A), is a Hausdorff compact space.

For any x ∈ A,

\sigma (x)=\sigma ({\hat {x}})

where ${\hat {x}}$ is the Gelfand representation of x defined as follows: ${\hat {x}}$ is the continuous function from Δ(A) to C given by ${\hat {x}}(\chi )=\chi (x).$ The spectrum of ${\hat {x}},$ in the formula above, is the spectrum as element of the algebra C(Δ(A)) of complex continuous functions on the compact space Δ(A). Explicitly,

\sigma ({\hat {x}})=\{\chi (x):\chi \in \Delta (A)\}

.

As an algebra, a unital commutative Banach algebra is semisimple (i.e., its Jacobson radical is zero) if and only if its Gelfand representation has trivial kernel. An important example of such an algebra is a commutative C*-algebra. In fact, when A is a commutative unital C*-algebra, the Gelfand representation is then an isometric *-isomorphism between A and C(Δ(A)) .[lower-alpha 1]

Banach *-algebras

A Banach *-algebra A is a Banach algebra over the field of complex numbers, together with a map * : A → A that has the following properties:

(x*)* = x for all x in A (so the map is an involution).
(x + y)* = x* + y* for all x, y in A.
$(\lambda x)^{*}={\bar {\lambda }}x^{*}$ for every λ in C and every x in A; here, ${\bar {\lambda }}$ denotes the complex conjugate of λ.
(xy)* = y* x* for all x, y in A.

In other words, a Banach *-algebra is a Banach algebra over $\mathbb {C}$ which is also a *-algebra.

In most natural examples, one also has that the involution is isometric, that is,

||x*|| = ||x|| for all x in A.

Some authors include this isometric property in the definition of a Banach *-algebra.

gollark: If it wasn't for the fact that many people need it to write in their preferred language, I would be against it. It's annoyingly complex and makes many things unreasonably hard.

gollark: I am required to say this if Arch is mentioned ever.

gollark: btw I use arch.

gollark: I think you can just mount it with some sort of autodiscard option.

gollark: https://github.com/drhagen/parsita is a Python library I found which looks okay and apparently does those.

Notes

Proof: Since every element of a commutative C*-algebra is normal, the Gelfand representation is isometric; in particular, it is injective and its image is closed. But the image of the Gelfand representation is dense by the Stone–Weierstrass theorem.

References

Conway 1990, Example VII.1.8.
Conway 1990, Example VII.1.9.
Conway 1990, Theorem 7.3.6.
Conway 1990, Corollary to theorem 8.1.
Conway 1990, Theorem VII.2.2.
Takesaki 1979, Proposition 2.8.

Bollobás, B (1990). Linear Analysis. Cambridge University Press. ISBN 0-521-38729-9.CS1 maint: ref=harv (link)
Bonsall, F. F.; Duncan, J. (1973). Complete Normed Algebras. New York: Springer-Verlag. ISBN 0-387-06386-2.CS1 maint: ref=harv (link)
Conway, J. B. (1990). A Course in Functional Analysis. Graduate Texts in Mathematics. 96. Springer Verlag. ISBN 0-387-97245-5.CS1 maint: ref=harv (link)
Dales, H. G.; Aeina, P.; Eschmeier, J; Laursen, K.; Willis, G. A. (2003). Introduction to Banach Algebras, Operators and Harmonic Analysis. Cambridge University Press. ISBN 0-521-53584-0.CS1 maint: ref=harv (link)
Mosak, R. D. (1975). Banach algebras. Chicago Lectures in Mathematics. University of Chicago Press). ISBN 0-226-54203-3.CS1 maint: ref=harv (link)
Takesaki, M. (1979). Theory of Operator Algebras I. Encyclopaedia of Mathematical Sciences. 124 (1st ed.). Berlin Heidelberg: Springer-Verlag. ISBN 978-3-540-42248-8. ISSN 0938-0396.CS1 maint: ref=harv (link)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[7] Proof: Since every element of a commutative C*-algebra is normal, the Gelfand representation is isometric; in particular, it is injective and its image is closed. But the image of the Gelfand representation is dense by the Stone–Weierstrass theorem.

[1] Conway 1990, Example VII.1.8.

[harvnb_conway_1990_example_VII.1.9.-2] Conway 1990, Example VII.1.9.

[3] Conway 1990, Theorem 7.3.6.

[4] Conway 1990, Corollary to theorem 8.1.

[5] Conway 1990, Theorem VII.2.2.

[6] Takesaki 1979, Proposition 2.8.

Functional analysis (topics, glossary)
Spaces	Hilbert space, Banach space, Fréchet space, topological vector space
Theorems	Hahn–Banach theorem, closed graph theorem, uniform boundedness principle, Kakutani fixed-point theorem, Krein–Milman theorem, min-max theorem, Gelfand–Naimark theorem, Banach–Alaoglu theorem
Operators	bounded operator, compact operator, adjoint operator, unitary operator, Hilbert–Schmidt operator, trace class, unbounded operator
Algebras	Banach algebra, C-algebra, spectrum of a C-algebra, operator algebra, group algebra of a locally compact group, von Neumann algebra
Open problems	invariant subspace problem, Mahler's conjecture
Applications	Besov space, Hardy space, spectral theory of ordinary differential equations, heat kernel, index theorem, calculus of variation, functional calculus, integral operator, Jones polynomial, topological quantum field theory, noncommutative geometry, Riemann hypothesis
Advanced topics	locally convex space, approximation property, balanced set, Schwartz space, weak topology, barrelled space, Banach–Mazur distance, Tomita–Takesaki theory

Spectral theory and ^*-algebras
Basic concepts	Involution/-algebra Banach algebra B-algebra C-algebra Noncommutative topology Projection-valued measure Spectrum Spectrum of a C-algebra Spectral radius Operator space
Main results	Gelfand–Mazur theorem Gelfand–Naimark theorem Gelfand representation Polar decomposition Singular value decomposition Spectral theorem Spectral theory of normal C*-algebras
Special Elements/Operators	Isospectral Normal operator Hermitian/Self-adjoint operator Unitary operator Unit
Spectrum	Krein–Rutman theorem Normal eigenvalue Spectrum of a C*-algebra Spectral radius Spectral asymmetry Spectral gap
Decomposition of a spectrum	(Continuous Point Residual) Approximate point Compression Discrete Spectral abscissa
Spectral Theorem	Borel functional calculus Min-max theorem Projection-valued measure Riesz projector Rigged Hilbert space Spectral theorem Spectral theory of compact operators Spectral theory of normal C*-algebras
Special algebras	Amenable Banach algebra With an Approximate identity Banach function algebra Disk algebra Uniform algebra
Finite-Dimensional	Alon–Boppana bound Bauer–Fike theorem Numerical range Schur–Horn theorem
Generalizations	Dirac spectrum Essential spectrum Pseudospectrum Structure space (Shilov boundary)
Miscellaneous	Abstract index group Banach algebra cohomology Cohen–Hewitt factorization theorem Extensions of symmetric operators Limiting absorption principle Unbounded operator
Examples	Wiener algebra
Applications	Almost Mathieu operator Corona theorem Hearing the shape of a drum (Dirichlet eigenvalue) Heat kernel Kuznetsov trace formula Lax pair Proto-value function Ramanujan graph Rayleigh–Faber–Krahn inequality Spectral geometry Spectral method Spectral theory of ordinary differential equations Sturm–Liouville theory Superstrong approximation Transfer operator Transform theory Weyl law