Banach algebra
Banach algebras (according to Stefan Banach ) are mathematical objects of functional analysis that generalize some known function spaces and operator algebras on the basis of essential common properties, e.g. B. spaces of continuous or integrable functions or algebras of continuous linear operators on Banach spaces .
A Banach algebra is a vector space in which a multiplication and a norm are also defined in such a way that certain compatibility conditions are met.
definition
A vector space over the field or the real or complex numbers with a norm and a product is a Banach algebra if:
 is a Banach space , i.e. a completely normalized vector space ,
 is an associative  algebra ,
 for everyone , d. H. the norm is submultiplicative .
As is common in algebra, the symbol for the product is often left out, only in the case of convolution the symbol or is often used. If one only demands that it is a normalized space, that is, one waives the completeness, one obtains the more general concept of normalized algebra .
Special classes of Banach algebras
Banach  *  algebra or involutive Banach algebra
A Banach  *  algebra (over ) is a Banach algebra over together with an involution such that

(involutive) 

(antimultiplicative) 

(semilinear, antilinear or conjugated linear) 

(isometric) 
In other words, a Banach  *  algebra is a Banach algebra and at the same time a * algebra with an isometric involution. Some authors leave out the condition of isometry and then speak of a Banach  * algebra with isometric involution . Most naturally occurring involutions on Banach algebras, however, are isometric.
C * algebras and Von Neumann algebras
The Banach algebra of continuous linear operators over a Hilbert space motivates the following definition: A Banach algebra on which a semilinear antimultiplicative involution is given is called C * algebra if the socalled C * condition is fulfilled:
 for all
Such Banach algebras can be represented on Hilbert spaces . They are then in a certain topology in the Operators algebra over the Hilbert space completed , so they are called Von Neumann algebras .
Examples
 Each Banach space is multiplied by zero, i.e. H. = 0 for all elements of the Banach space, to a Banach algebra.
 Be a compact space and the space of continuous functions . With the pointwise operations and the involution defined by ( complex conjugation ) and the supremum norm , it becomes a commutative C ^{*} algebra. The space of limited complexvalued functions on a topological space (which is equivalent by means of StoneČech compactification ) or the space of C _{0} functions , the continuous functions on a locally compact space that vanish at infinity, can also be considered.^{} _{}
 Let be the unit circle in . Let it be algebra with continuous functions that are holomorphic in the interior of D. With the pointwise operations and the involution defined by ( complex conjugation ) and the supremum norm, a commutative Banach  * algebra, which is not a C ^{*} algebra. This Banach algebra is also called the disk algebra .^{}
 If a Banach space, then the algebra of the continuous, linear operators is a Banach algebra, which in the case is not commutative. If a Hilbert space is , then it is a C ^{*} algebra.^{}
 The trace class and the HilbertSchmidt class , or more generally the shadow classes , are examples of noncommutative Banach * algebras that are not C ^{*} algebras.
 In the harmonic analysis , the Banach  * algebras , i.e. the convolutionalgebras over a locally compact group, are considered.
 H * algebras are involutive Banach algebras, which are also Hilbert spaces, together with an additional condition that links the involution with the Hilbert space structure.
Basics
Some basics of the theory of Banach algebras are discussed, which show an interplay between algebraic and topological properties.
The one element
Many of the above examples are Banach algebras without a unit element . If a unity is nevertheless required, one can be adjoint . In many cases there are approximations of one in these Banach algebras ; this is a topological construct that is often a substitute for the missing unit element. This is especially true for C * algebras and group algebras .
The group of invertible elements
If a Banach algebra with one element is 1, the group of invertible elements is open . If namely is invertible and with , then it is also invertible, because it is easy to consider that converges and the inverse is closed. Furthermore, the inversion is continuous as a mapping on the group of invertible elements. Hence it is a topological group .
The spectrum
In linear algebra , the set of eigenvalues of a matrix plays an important role in the study of the matrices; H. of the elements of the Banach algebra . This generalizes to the term spectrum:
Be a Banach algebra with one element. For the range of , , compact and after the GelfandMazur theorem not empty. The formula applies to the spectral radius . This formula is astonishing because the spectral radius is a purely algebraic quantity that only uses the concept of invertibility, the righthand side of the spectral radius formula, on the other hand, is given by the standard of the Banach algebra.
For the remainder of this section, be commutative with one element. The set of all multiplicative functionals is referred to as the spectrum of , or according to Gelfand also as the Gelfand spectrum or Gelfand space of . The spectrum of is a compact space and the Gelfand transformation imparts a homomorphism of to in the Banach algebra of continuous complexvalued functions . A continuous function is assigned to each element , whereby . The spectrum of an element and the spectrum of the algebra are then related via the formula . This is explained in the article about the Gelfand transform.
Maximum ideals
Let be a commutative Banach algebra with one element. Is , then is a maximal ideal (with codimension 1). Conversely, if a maximal ideal is, the closure is a real ideal because of the openness of the group of invertible elements, so it must apply. Then the quotient algebra is a Banach algebra, which is a body , and this must be isomorphic according to the GelfandMazur theorem . Therefore the quotient mapping is a multiplicative functional with a core . If one denotes the set of maximum ideals with , one has a bijective mapping:
There is thus a bijective relationship between the subset of the dual space and the purely algebraically defined set of maximum ideals.
Applications
 Banach algebras etc. are used. a. in operator theory , as it is e.g. B. is used in quantum field theory.
 There is also the extension to Von Neumann algebras and Hilbert modules and the abstract K and KK theory , which is also referred to as noncommutative geometry .
 For the investigation of locally compact groups, one uses the Banach algebras and the group C * algebras in harmonic analysis .
literature
 FF Bonsall , J. Duncan: Complete Normed Algebras (= results of mathematics and their border areas. NF vol. 80). Springer, Berlin et al. 1973, ISBN 3540063862 .

Richard V. Kadison , John R. Ringrose : Fundamentals of the Theory of Operator Algebras. Special Topics. Academic Press, New York NY et al .;
 Volume 1: Elementary Theory (= Pure and applied mathematics. Vol. 100, 1). 1983, ISBN 0123933013 ;
 Volume 2: Advanced Theory (= Pure and applied mathematics. Vol. 100, 2). 1986, ISBN 0123933021 .
 Masamichi Takesaki: Theory of Operator Algebras I. Springer, Berlin 1979, ISBN 3540903917 (2nd printing of the 1st edition. (= Encyclopaedia of Mathematical Sciences. Vol. 124 = Encyclopaedia of Mathematical Sciences. Operator Algebras and Non Commutative Geometry. Vol. 5). Springer, New York et al. 2002, ISBN 354042248X ).