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''
''X'' there is ''f''
''A'' with ''f''(''x'')
''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
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
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