HOME

TheInfoList



OR:

In
functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, Inner product space#Definition, inner product, Norm (mathematics ...
, a uniform algebra ''A'' on a
compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact, a type of agreement used by U.S. states * Blood compact, an ancient ritual of the Philippines * Compact government, a t ...
Hausdorff
topological space In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...
''X'' is a closed (with respect to the uniform norm)
subalgebra In mathematics, a subalgebra is a subset of an algebra, closed under all its operations, and carrying the induced operations. "Algebra", when referring to a structure, often means a vector space or module equipped with an additional bilinear opera ...
of the
C*-algebra In mathematics, specifically in functional analysis, a C∗-algebra (pronounced "C-star") is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra ''A'' of contin ...
''C(X)'' (the continuous complex-valued functions on ''X'') with the following properties: :the constant functions are contained in ''A'' : for every ''x'', ''y'' \in ''X'' there is ''f''\in''A'' with ''f''(''x'')\ne''f''(''y''). This is called separating the points of ''X''. As a closed subalgebra of the
commutative In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a pr ...
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 sp ...
''C(X)'' a uniform algebra is itself a unital commutative Banach algebra (when equipped with the uniform norm). Hence, it is, (by definition) a Banach function algebra. A uniform algebra ''A'' on ''X'' is said to be natural if the
maximal ideal In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all ''proper'' ideals. In other words, ''I'' is a maximal ideal of a ring ''R'' if there are no other ideals ...
s of ''A'' are precisely the ideals M_x of functions vanishing at a point ''x'' in ''X''.


Abstract characterization

If ''A'' is a unital
commutative In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a pr ...
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 sp ...
such that , , a^2, , = , , a, , ^2 for all ''a'' in ''A'', then there is a
compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact, a type of agreement used by U.S. states * Blood compact, an ancient ritual of the Philippines * Compact government, a t ...
Hausdorff ''X'' such that ''A'' is isomorphic as a Banach algebra to a uniform algebra on ''X''. This result follows from the spectral radius formula and the
Gelfand representation In mathematics, the Gelfand representation in functional analysis (named after I. M. Gelfand) is either of two things: * a way of representing commutative Banach algebras as algebras of continuous functions; * the fact that for commutative C*-al ...
.


Notes


References

* * Functional analysis Banach algebras {{mathanalysis-stub