# Uniform algebra

A **uniform algebra** is a closed subalgebra of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff space X, endowed with the supremum norm, that contains the constant functions and separates the points of X<sup>[1](https://arxiv.org/abs/1507.05477)</sup>. Equivalently, a commutative unital Banach algebra is a uniform algebra precisely when its Gelfand transform is an isometry<sup>[2](https://www.nzdr.ru/data/media/biblio/kolxoz/M/MC/MCc/Garnett%20J.B.%20Bounded%20analytic%20functions%20%28revised%201ed.%2C%20Springer%2C%202007%29%28470s%29.pdf)</sup>. Uniform algebras are the natural setting for problems of uniform approximation by polynomials and rational functions on compact sets, and they serve as standard examples of complex Banach algebras<sup>[3](https://arxiv.org/abs/1201.5996)</sup>.

| Key fact | Detail |
|---|---|
| Definition | A closed subalgebra of C(X) (supremum norm, X compact Hausdorff) containing the constants and separating the points of X<sup>[1](https://arxiv.org/abs/1507.05477)</sup> |
| Abstract characterization | A Banach algebra is uniform iff it is isometrically isomorphic, as an algebra, to a closed, point-separating subalgebra of C(X) for some compact Hausdorff space X<sup>[4](https://planetmath.org/uniformalgebra)</sup><sup> • </sup><sup>[12](https://www.maths.tcd.ie/pub/ims/bull92/wef/Articles/Izzo/Izzo-wef.pdf)</sup> |
| Isometry criterion | The Gelfand transform is an isometry if and only if \( \|f^{2}\| = \|f\|^{2} \) for all f in the algebra<sup>[2](https://www.nzdr.ru/data/media/biblio/kolxoz/M/MC/MCc/Garnett%20J.B.%20Bounded%20analytic%20functions%20%28revised%201ed.%2C%20Springer%2C%202007%29%28470s%29.pdf)</sup> |
| Maximal ideal space | The set of nonzero multiplicative linear functionals with the weak-* (Gelfand) topology; pointwise convergence of nets, and weak-* limits of multiplicative functionals remain multiplicative<sup>[5](https://citeseerx.ist.psu.edu/document?doi=3437b7507bfa031dd2bd3192276db1a9906113ca&repid=rep1&type=pdf)</sup> |
| Peak-point conjecture | The conjecture that maximal ideal space equal to X plus every point a peak point forces A = C(X) was disproved by Brian Cole in 1968<sup>[1](https://arxiv.org/abs/1507.05477)</sup> |
| Positive cases | The conjecture holds for algebras generated by smooth functions on compact smooth two-manifolds<sup>[6](https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/blms/33.2.187)</sup> and for algebras generated by real-analytic functions on real-analytic varieties<sup>[1](https://arxiv.org/abs/1507.05477)</sup> |

## Definition and abstract characterization

Let X be a compact metric space (more generally, compact Hausdorff) and C(X) the algebra of continuous complex-valued functions on X with the supremum norm \( \|f\|_{X} = \sup\{|f(x)| : x \in X\} \). Given a compact space X, a uniform algebra on X is defined as a subalgebra of C(X) that is closed, includes all constant functions, and distinguishes any two distinct points of X.<sup>[1](https://arxiv.org/abs/1507.05477)</sup> Closure in the supremum norm means that A contains uniform limits of its elements, which is why these algebras arise wherever uniform approximation is studied.

Conversely, an abstract Banach algebra with these properties can be recognized internally. A Banach algebra A is uniform if and only if it is isometrically isomorphic, as an algebra, to a closed, point-separating subalgebra of C(X) for some compact Hausdorff space X<sup>[4](https://planetmath.org/uniformalgebra)</sup>. The corresponding intrinsic test is the square-preserving norm condition: the Gelfand transform is an isometry, \( \|\hat{f}\| = \|f\| \) for all f, exactly when \( \|f^{2}\| = \|f\|^{2} \) for all f<sup>[2](https://www.nzdr.ru/data/media/biblio/kolxoz/M/MC/MCc/Garnett%20J.B.%20Bounded%20analytic%20functions%20%28revised%201ed.%2C%20Springer%2C%202007%29%28470s%29.pdf)</sup><sup> • </sup><sup>[12](https://www.maths.tcd.ie/pub/ims/bull92/wef/Articles/Izzo/Izzo-wef.pdf)</sup>. When A is a uniform algebra, the range \( \hat{A} \) of the Gelfand transform is a uniformly closed subalgebra of \( C(M_{A}) \), and \( \hat{A} \) is isometrically isomorphic to A<sup>[2](https://www.nzdr.ru/data/media/biblio/kolxoz/M/MC/MCc/Garnett%20J.B.%20Bounded%20analytic%20functions%20%28revised%201ed.%2C%20Springer%2C%202007%29%28470s%29.pdf)</sup>.

## The maximal ideal space and the Gelfand transform

For a commutative unital Banach algebra B, the set \( M_{B} \) of all nonzero linear multiplicative functionals is the maximal ideal space; the linear multiplicative functionals and the maximal ideals are in bijective correspondence<sup>[5](https://citeseerx.ist.psu.edu/document?doi=3437b7507bfa031dd2bd3192276db1a9906113ca&repid=rep1&type=pdf)</sup>. The space \( M_{B} \) carries the weak-* topology inherited from the dual space \( B^{*} \), called the Gelfand topology, under which a net \( \{\varphi_{\alpha}\} \) converges to \( \varphi \) exactly when \( \varphi_{\alpha}(f) \to \varphi(f) \) for every f in B<sup>[5](https://citeseerx.ist.psu.edu/document?doi=3437b7507bfa031dd2bd3192276db1a9906113ca&repid=rep1&type=pdf)</sup>. A weak-* limit of multiplicative functionals is again a nonzero multiplicative functional, since the limit applied to the unit is 1<sup>[5](https://citeseerx.ist.psu.edu/document?doi=3437b7507bfa031dd2bd3192276db1a9906113ca&repid=rep1&type=pdf)</sup>.

Each point x of the underlying space X determines the evaluation functional \( \delta_{x} \), \( \delta_{x}(g) = g(x) \), and the map \( x \mapsto \delta_{x} \) embeds X homeomorphically into \( M_{A} \). When this embedding is onto, the maximal ideal space of A is said to coincide with X<sup>[7](https://www.mathnet.ru/php/getFT.phtml?jrnid=sm&option_lang=eng&paperid=2267&what=fullteng)</sup>.

## Examples

The standard examples come from approximation on compact plane sets. For a compact set E in the complex plane, the algebras A(E), P(E), and R(E), consisting respectively of functions continuous on E and holomorphic in its interior, uniform limits of polynomials, and uniform limits of rational functions, are all uniform algebras with the supremum norm<sup>[8](https://encyclopediaofmath.org/wiki/Approximation_of_functions_of_a_complex_variable)</sup>. The algebra C(X) of all continuous functions on X is itself the trivial uniform algebra on X, and characterizing C(X) among the uniform algebras on X is a central problem of the subject<sup>[1](https://arxiv.org/abs/1507.05477)</sup>.

The theory also extends beyond the classical setting: commutative unital Banach algebras over complete valued fields with a square-preserving norm and finite basic dimension are isometrically isomorphic to subalgebras of basic function algebras, a valued-field analog of the uniform algebra picture<sup>[3](https://arxiv.org/abs/1201.5996)</sup>.

## Boundaries and peak points

The Shilov boundary of a uniform algebra A on X is the smallest closed subset of X on which every function of A attains its maximum modulus; it is denoted \( \partial A \) or \( \partial_{0} M_{A} \)<sup>[9](https://encyclopediaofmath.org/wiki/Boundary_%28in_the_theory_of_uniform_algebras%29)</sup>. A point x of X is a peak point for A if there exists f in A with f(x) = 1 and \( |f(y)| < 1 \) for all y in X other than x<sup>[1](https://arxiv.org/abs/1507.05477)</sup>. Peak points lie in the Shilov boundary, and if t is a peak point then the fiber of the maximal ideal space over t consists of the single evaluation functional \( \delta_{t} \)<sup>[7](https://www.mathnet.ru/php/getFT.phtml?jrnid=sm&option_lang=eng&paperid=2267&what=fullteng)</sup>.

For the algebra A = R(X) of uniform limits of rational functions on a plane compactum X, A coincides with C(X) if and only if X equals the Shilov boundary of \( M_{A} \), written \( \partial_{0} M_{A} \)<sup>[9](https://encyclopediaofmath.org/wiki/Boundary_%28in_the_theory_of_uniform_algebras%29)</sup><sup> • </sup><sup>[13](https://www.maths.nottingham.ac.uk/plp/pmzjff/Papers/pdf/Swisscheeses2.pdf)</sup>. The criterion does not carry over to uniform algebras in general: one can find a uniform algebra A, different from \( C(M_{A}) \), such that \( M_{A} \) is metrizable and each point of \( M_{A} \) is a peak point, giving \( \partial_{0} M_{A} = M_{A} \); another uniform algebra has all its Gleason parts reduced to singletons even though the Shilov boundary remains a proper subset of the maximal ideal space<sup>[9](https://encyclopediaofmath.org/wiki/Boundary_%28in_the_theory_of_uniform_algebras%29)</sup>.

The Shilov boundary has algebraic generalizations. Setting \( \partial_{1} M_{A} = M_{A} \), and letting I be the closed ideal generated by \( n - 1 \) elements of A, the closure of the union of the boundaries \( \partial M_{A/I} \) over all such ideals is denoted \( \partial_{n} M_{A} \). Take the algebra of functions that are continuous on the closed bidisc and holomorphic inside it: here \( \partial_{1} M_{A} \) equals the skeleton \( |\lambda_{1}| = |\lambda_{2}| = 1 \), \( \partial_{2} M_{A} \) coincides with the topological boundary, and \( \partial_{3} M_{A} = M_{A} \). These higher-order boundaries are used in proving theorems on multidimensional analytic structure in maximal ideal spaces<sup>[9](https://encyclopediaofmath.org/wiki/Boundary_%28in_the_theory_of_uniform_algebras%29)</sup>.

## The peak-point and Gleason conjectures

Two conditions are necessary for a uniform algebra A on X to equal C(X): the maximal ideal space of A must be X, meaning every nonzero multiplicative linear functional is point evaluation, and every point of X must be a peak point for A<sup>[1](https://arxiv.org/abs/1507.05477)</sup>. It was once conjectured that these two conditions together were sufficient. Brian Cole disproved this peak-point conjecture in 1968<sup>[1](https://arxiv.org/abs/1507.05477)</sup>. A related conjecture of [Andrew Gleason](https://www.edgepedia.org/andrew-gleason), made in 1957, held that if every point of the maximal ideal space is a one-point Gleason part for A, then A must contain all continuous functions on X; Cole also produced a counterexample to this conjecture in 1968<sup>[10](https://www.researchgate.net/publication/286403493_Isolated_point_theorems_for_uniform_algebras_on_two-_and_three-manifolds)</sup>.

Counterexamples have been exhibited in geometric settings as well. Richard Basener constructed in 1973 a subset X of the unit sphere in \( \mathbb{C}^{2} \) such that the algebra R(X) of uniform limits of rational functions holomorphic near X satisfies both conditions yet differs from C(X); for X contained in the unit sphere, the peak-point condition is automatic for any algebra containing the polynomials<sup>[1](https://arxiv.org/abs/1507.05477)</sup>.

**Positive peak-point theorems.** In several natural settings the conjecture does hold. John T. Anderson and Alexander J. Izzo proved in 2001 that if A is a uniform algebra generated by \( C^{1} \)-smooth functions on a compact differentiable two-dimensional manifold M with boundary, with maximal ideal space M and every point of M a peak point, then A = C(M)<sup>[6](https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/blms/33.2.187)</sup>. In 2015 the same authors established a peak-point theorem for uniform algebras generated by real-analytic functions on real-analytic varieties, generalizing their earlier results with John Wermer; the proof reduces approximation on a variety to approximation on a decreasing sequence of subvarieties, using the fact that under the peak-point hypothesis an annihilating measure has no point masses<sup>[1](https://arxiv.org/abs/1507.05477)</sup>. Related work shows that for a compact real-analytic variety V in \( \mathbb{C}^{n} \) of arbitrary dimension, the two conditions imply P(V) = C(V)<sup>[1](https://arxiv.org/abs/1507.05477)</sup>.

## Analytic structure in the maximal ideal space

The maximal ideal space of a uniform algebra can carry analytic structure beyond the original compact set. V. N. Senichkin developed a method, based on subharmonic functions, for introducing a one-dimensional analytic structure into the maximal ideal space of a uniform algebra, working with functions on \( M_{A} \) that locally belong to the Gelfand transform algebra \( \hat{A} \)<sup>[11](https://www.mathnet.ru/php/archive.phtml?jrnid=sm&option_lang=eng&paperid=2267&wshow=paper)</sup>. Work on the maximal ideal space also studies fibers of projections associated with enlarging an algebra by an added function: the functions of the original algebra are constant on each fiber, while the added function separates the points of every fiber<sup>[7](https://www.mathnet.ru/php/getFT.phtml?jrnid=sm&option_lang=eng&paperid=2267&what=fullteng)</sup>.

## References

1. [John T. Anderson, Alexander J. Izzo (2015). A Peak Point Theorem for Uniform Algebras on Real-Analytic Varieties. arXiv.](https://arxiv.org/abs/1507.05477)
2. [John B. Garnett. Bounded Analytic Functions, Graduate Texts in Mathematics 236, Springer, 2007, Sect. 1: Maximal ideal spaces.](https://www.nzdr.ru/data/media/biblio/kolxoz/M/MC/MCc/Garnett%20J.B.%20Bounded%20analytic%20functions%20%28revised%201ed.%2C%20Springer%2C%202007%29%28470s%29.pdf)
3. [Uniform Algebras Over Complete Valued Fields. arXiv.](https://arxiv.org/abs/1201.5996)
4. [Uniform Algebra. PlanetMath.](https://planetmath.org/uniformalgebra)
5. [Norm-Preserving Criteria for Uniform Algebra, Chapter 3: Boundaries and Peaking Functions. CiteSeerX.](https://citeseerx.ist.psu.edu/document?doi=3437b7507bfa031dd2bd3192276db1a9906113ca&repid=rep1&type=pdf)
6. [John Anderson (2001). A Peak Point Theorem for Uniform Algebras Generated by Smooth Functions on Two-Manifolds. Bulletin of the London Mathematical Society 33(2), 187.](https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/blms/33.2.187)
7. [V. N. Senichkin. The Maximal Ideal Space of a Uniform Algebra. Mathematics of the USSR-Sbornik.](https://www.mathnet.ru/php/getFT.phtml?jrnid=sm&option_lang=eng&paperid=2267&what=fullteng)
8. [Approximation of Functions of a Complex Variable. Encyclopedia of Mathematics.](https://encyclopediaofmath.org/wiki/Approximation_of_functions_of_a_complex_variable)
9. [Boundary (in the Theory of Uniform Algebras). Encyclopedia of Mathematics.](https://encyclopediaofmath.org/wiki/Boundary_%28in_the_theory_of_uniform_algebras%29)
10. [Isolated Point Theorems for Uniform Algebras on Two- and Three-Manifolds. ResearchGate.](https://www.researchgate.net/publication/286403493_Isolated_point_theorems_for_uniform_algebras_on_two-_and_three-manifolds)
11. [V. N. Senichkin (1980). Subharmonic Functions and Analytic Structure in the Maximal Ideal Space of a Uniform Algebra. Math. USSR-Sb. 36(1), 111-126.](https://www.mathnet.ru/php/archive.phtml?jrnid=sm&option_lang=eng&paperid=2267&wshow=paper)
12. [maths.tcd.ie](https://www.maths.tcd.ie/pub/ims/bull92/wef/Articles/Izzo/Izzo-wef.pdf)
13. [maths.nottingham.ac.uk](https://www.maths.nottingham.ac.uk/plp/pmzjff/Papers/pdf/Swisscheeses2.pdf)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Advanced algebraic structures › Operator algebras › Banach and normed algebras › Commutative Banach and function algebras*

*Initially written Sep 17, 2026 · Reviewed: Sep 30, 2026; Oct 15, 2026 · Edited: Sep 30, 2026; Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license