User:Ulf Rehmann/PreTeX:Banach algebra

'Prepared for $\rm\TeX$ retyping: Please open the link: Banach algebra in a separate window and edit this page by encoding appropriate $\rm\TeX$ code between the prepared pairs of $ signs. If finished, change the {{TEX|want}} above into {{TEX|done}}, remove this italicized sentence and move this page to the title "Banch algebra".

$ \newcommand{\C}{\mathbf{C}} \newcommand{\norm}[1]{\left\|#1\right\|} \newcommand{\abs}[1]{\left|#1\right|} $ A topological algebra $A$ over the field of complex numbers whose topology is defined by a norm which converts $A$ into a Banach space, the multiplication of the elements being separately continuous for both factors. A Banach algebra is said to be commutative if $xy=yx$ for all $x$, $y\in A$ (cf. Commutative Banach algebra). A Banach algebra is said to be an algebra with a unit if $A$ contains an element $e$ such that $ex=xe=x$ for any $x\in A$. If a Banach algebra has no unit, a unit may be adjoined, i.e. it is possible to construct a Banach algebra $\tilde{A}$ with a unit element such that $\tilde{A}$ contains the initial algebra $A$ as a closed subalgebra of codimension one. In any Banach algebra $A$ with a unit element $e$ it is possible to change the norm for an equivalent one so that in the new norm the relationships $\norm{ab} \leq \norm{a}\norm{b}$, $\norm{e} = 1$ are valid. In what follows it is, as a rule, assumed that the algebra does contain a unit and that it satisfies the norm conditions given above.

Examples.

1) Let $X$ be a compact topological space and let $C(X)$ be the set of all continuous complex-valued functions on $X$. $C(X)$ will then be a Banach algebra with respect to the usual operations, with norm $$ \norm{f} = \max_{X}\abs{f}. $$

2) The set of all bounded linear operators on a Banach space forms a Banach algebra with respect to the usual operations of addition and multiplication of linear operators with the operator norm.

3) Let $V$ be a bounded domain in $n$-dimensional complex space $\C^n$. The set of bounded holomorphic functions on $V$ is a Banach algebra with respect to the usual operations, with the natural sup-norm: $$ \norm{f} = \sup_V\abs{f}. $$ This Banach algebra contains the closed subalgebra of bounded holomorphic functions on $V$ that have a continuous extension to the closure of $V$. The simplest example is the algebra of functions that are continuous in the disc $\abs{z} \leq 1$ and analytic in the disc $\abs{z} < 1$.

4) Let $G$ be a locally compact group and let $L_1(G)$ be the space (of equivalence classes) of all functions that are measurable with respect to the Haar measure on $G$ and that are absolutely integrable with respect is this measure, with norm $$ \newcommand{\groupint}[3]{\int_#1 #2\,d#3} \newcommand{\Gint}[1]{\groupint{G}{#1}{g}} \norm{f} = \Gint{\abs{f(g)}} $$ (left Haar integral).

If the convolution operation $$ (f_1 * f_2)(h) = \Gint{f_1(g)f_2(g^{-1}h)} $$ is considered as the multiplication in $L_1(G)$, then $L_1(G)$ becomes a Banach algebra; if $G$ is an Abelian locally compact group, then the Banach algebra $L_1(G)$ is commutative. The Banach algebra $L_1(G)$ is said to be the group algebra of $G$. The group algebra $L_1(G)$ has a unit (with respect to the convolution) if and only if $G$ is discrete.

If $ $ is commutative it is possible to construct a faithful representation of $ $, given by the Fourier transform of each function $ $, i.e. by the function

$$ $$ on the character group $ $ of $ $. The set of functions $ $ forms a certain algebra $ $ of continuous functions on $ $ (with respect to the ordinary pointwise operations), called the Fourier algebra of the locally compact Abelian group $ $. In particular, if $ $ is the group of integers $ $, then $ $ is the algebra of continuous functions on the circle which are expandable into an absolutely convergent trigonometric series.

5) Let $ $ be a topological group. A continuous complex-valued function $ $ on $ $ is said to be almost periodic if the set of its shifts $ $, $ $, forms a compact family with respect to uniform convergence on $ $. The set of almost-periodic functions forms a commutative Banach algebra with respect to the pointwise operations, with norm

$$ $$ 6) The skew-field of quaternions does not form a Banach algebra over the field of complex numbers, since the product of elements of a Banach algebra $ $ should be compatible with multiplication by numbers: For all $ $ and $ $ the equation

$$ $$ must be valid; it is not valid in the field of quaternions if $ $, $ $, $ $.

Any Banach algebra with a unit is a topological algebra with continuous inverses. Moreover, if $ $ is the set of elements of a Banach algebra $ $ which have a (two-sided) inverse with respect to multiplication, then $ $ is a topological group in the topology induced by the imbedding $ $. If $ $, then $ $, and

$$ $$ where $ $, and the series is absolutely convergent. The set of elements invertible from the right (from the left) in $ $ also forms an open set in $ $.

If in a Banach algebra $ $ all elements have an inverse (or even a left inverse), then $ $ is isometrically isomorphic to the field of complex numbers (the Gel'fand–Mazur theorem).

Since a certain neighbourhood of the unit in a Banach algebra $ $ consists of invertible elements, the closure of any non-trivial ideal is again an ideal which does not coincide with $ $. In particular, a maximal (left, right, two-sided) ideal is closed.

An important task in the theory of Banach algebras is the description of closed ideals in Banach algebras. The problem can be simply solved in a number of cases. In the algebra $ $ (cf. Example 1) each closed ideal has the form $ $, where $ $ is a closed set in $ $. If $ $ is the algebra of all bounded linear operators on a separable infinite-dimensional Hilbert space, then the ideal of completely-continuous operators is the only closed two-sided ideal in $ $.

An element $ $ has a left (right) inverse if and only if it is not contained in any maximal left (right) ideal. The intersection of all maximal left ideals in $ $ coincides with the intersection of all maximal right ideals; this intersection is called the radical of the algebra $ $ and is denoted by $ $. An element $ $ belongs to $ $ if and only if $ $ for any $ $. Algebras for which $ $ are said to be semi-simple. The algebras $ $ and the group algebras $ $ are semi-simple. All irreducible (i.e. not having a non-trivial invariant subspace) closed subalgebras of the algebra of all bounded linear operators on a Banach space are semi-simple.

The resolvent of an element $ $ is the function

$$ $$ defined on the set of all $ $ for which a (two-sided) inverse to $ $ exists. The domain of existence of the resolvent contains all points $ $ with $ $. The maximal domain of existence of the resolvent is an open set; the resolvent is continuous on this set and is even analytic, moreover $ $. In addition, Hilbert's identity

$$ $$ is valid. The complement of the domain of existence of the resolvent is called the spectrum of the element $ $ and is denoted by $ $. For each $ $ the set $ $ is non-empty, closed and bounded.

If $ $, then the sets $ $ and $ $ need not coincide, but

$$ $$ The number

$$ $$ is called the spectral radius of the element $ $; Gel'fand's formula

$$ $$ where the limit on the right-hand side always exists, is valid. If $ $, then $ $; the converse is true, generally speaking, only in commutative Banach algebras whose radical coincides with the set of generalized nilpotents, i.e. elements $ $ for which $ $. In any Banach algebra the relationships $ $, $ $ and $ $ are true. If $ $ is commutative, then $ $ and $ $ are valid.

Examples of non-commutative algebras in which generalized non-zero nilpotents are absent are known. However, if $ $ for any $ $, then the Banach algebra $ $ is commutative. The condition $ $ for all $ $ is also sufficient for an algebra $ $ with a unit to be commutative.

An algebra $ $ is said to be an algebra with involution if an operation $ $ is defined on $ $ that satisfies the conditions

$$ $$ for all $ $. The mapping $ $ is said to be an involution in $ $. A linear functional $ $ on an algebra $ $ with an involution is said to be positive if $ $ for any $ $. If the linear functional $ $ is positive, then

$$ $$ for all $ $. If the involution in $ $ is an isometry, i.e. if $ $ for all $ $, then

$$ $$ A Banach algebra $ $ with involution is said to be completely symmetric if $ $ for any $ $; $ $ is said to be a $ $-algebra (a completely-regular algebra) if $ $ for any $ $. Any $ $-algebra is completely symmetric. Examples of completely-symmetric algebras include the group algebras $ $ of commutative or compact groups. Examples of $ $-algebras include the algebras $ $ (the involution in $ $ is defined as transition to the complex conjugate function) and closed subalgebras of the algebra of bounded linear operators in a Hilbert space containing both the operator and the adjoint operator (involution is defined as transition to the adjoint operator). Any $ $-algebra is isometrically isomorphic (involution being preserved) with one of these algebras (the Gel'fand–Naimark theorem). In particular, any commutative $ $-algebra $ $ is isometrically isomorphic (involution being preserved) with one of the algebras $ $ (this theorem includes the Stone–Weierstrass theorem).

An element $ $ of a Banach algebra with involution is said to be Hermitian if $ $. For a Banach algebra with an involution to be a $ $-algebra it is necessary and sufficient that the condition $ $ be fulfilled for all Hermitian elements $ $. If, in a Banach algebra with an involution, $ $ (upper bound over all Hermitian elements), then this algebra is topologically $ $-isomorphic with a $ $-algebra. If, in an arbitrary Banach algebra, $ $ for all real $ $ for a certain fixed element $ $, then $ $ coincides with the spectral radius, i.e. $ $.

The theory of Banach algebras, and of commutative Banach algebras in particular, has numerous applications in various branches of functional analysis and in a number of other mathematical disciplines.

Comments

Gel'fand's formula is also called the spectral radius formula.

References

[Bo]	N. Bourbaki, "Elements of mathematics. Spectral theories", Addison-Wesley (1977) (Translated from French) MR0583191 Zbl 1106.46004
[DuSc]	N. Dunford, J.T. Schwartz, "Linear operators", 1–3, Interscience (1958–1971) MR0117523 Zbl 0084.10402
[Ga]	T.W. Gamelin, "Uniform algebras", Prentice-Hall (1969) MR0410387 Zbl 0213.40401
[Ge]	I.M. Gel'fand, "Normierte Ringe" Mat. Sb., 9 (51) : 1 (1941) pp. 3–24
[Gl]	A.M. Gleason, "Function algebras", Proc. Sem. on analytic functions, 2 (1958) pp. 213–226 Zbl 0095.10103
[Go]	E.A. Gorin, "Maximal subalgebras of commutative Banach algebras with involution" Math. Notes, 1 : 2 (1967) pp. 173–178 Mat. Zametki, 1 : 2 (1967) pp. 173–178 MR0208412 Zbl 0172.17901
[GuRo]	R.C. Gunning, H. Rossi, "Analytic functions of several complex variables", Prentice-Hall (1965) MR0180696 Zbl 0141.08601
[HiPh]	E. Hille, R.S. Phillips, "Functional analysis and semi-groups", Amer. Math. Soc. (1957) MR0089373 Zbl 0392.46001 Zbl 0033.06501
[Ho]	K. Hoffman, "Banach spaces of analytic functions", Prentice-Hall (1962) MR0133008 Zbl 0117.34001
[Ka]	I. Kaplansky, "Functional analysis", Surveys in applied mathematics, 4. Some aspects of analysis and probability, Wiley (1958) MR0101475 Zbl 0087.31102
[KaRi]	R.V. Kadison, J.R. Ringrose, "Fundamentals of the theory of operator algebras", 1, Acad. Press (1983) MR0719020 Zbl 0518.46046
[Lo]	L.H. Loomis, "An introduction to abstract harmonic analysis", v. Nostrand (1953) MR0054173 Zbl 0052.11701
[Na]	M.A. Naimark, "Normed rings", Reidel (1984) (Translated from Russian) MR1292007 MR0355601 MR0355602 MR0205093 MR0110956 MR0090786 MR0026763 Zbl 0218.46042 Zbl 0137.31703 Zbl 0089.10102 Zbl 0073.08902
[Ph]	R.R. Phelps, "Lectures on Choquet's theorem", v. Nostrand (1966) MR0193470 Zbl 0135.36203
[Ri]	C.E. Rickart, "General theory of Banach algebras", v. Nostrand (1960) MR0115101 Zbl 0095.09702
[Ro]	H.L. Royden, "Function algebras" Bull. Amer. Math. Soc., 69 : 3 (1963) pp. 281–298 MR0149327 Zbl 0111.11802
[Ze]	W. Zelazko, "Banach algebras", Elsevier (1973) (Translated from Polish) MR0448079 Zbl 0248.46037