Category:Stone-Weierstrass Theorem

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Stone-Weierstrass Theorem:

Let $T = \struct {X, \tau}$ be a compact topological space.

Let $\map C {X, \R}$ be the set of real-valued continuous functions on $T$.

Let $\times$ be the pointwise multiplication on $\map C {X, \R}$.

Let $\struct {\map C {X, \R}, \times}$ be the Banach algebra with respect to $\norm \cdot_\infty$.

Let $\AA$ be a unital subalgebra of $\map C {X, \R}$.

Suppose that $\AA$ separates points of $X$, that is:

for distinct $p, q \in X$, there exists $h_{p q} \in \AA$ such that $\map {h_{p q} } p \ne \map {h_{p q} } q$.

Then the closure $\overline \AA$ of $\AA$ is equal to $\map C {X, \R}$.

Pages in category "Stone-Weierstrass Theorem"

The following 3 pages are in this category, out of 3 total.