Una caracterización que afirma que una subálgebra A de C(X), las funciones continuas reales sobre un espacio compacto de Hausdorff X, es densa para la topología uniforme si y solo si A contiene las constantes y separa los puntos de X (con una condición adicional de *-invarianza en el caso complejo).

Principio

El cierre algebraico bajo operaciones puntuales más la capacidad de separar puntos (y contener constantes) basta para aproximar uniformemente cualquier función continua en compactos; la topología de X y los generadores algebraicos determinan el poder de aproximación.

Demostración

El teorema clásico de Weierstrass es el caso en un intervalo: los polinomios forman una álgebra en [a,b] que contiene constantes y separa puntos, por lo que los polinomios son densos en C([a,b]) para la norma uniforme; Stone generaliza este criterio a espacios compactos de Hausdorff y subálgebras arbitrarias.

Aplicación incorrecta

Asumir densidad cuando la subálgebra no separa puntos, carece de constantes, o en el caso complejo no es estable frente a la conjugación compleja; asumir que el teorema vale en espacios no compactos o fuera del contexto de la norma uniforme.

Consecuencia

Proporciona resultados fundamentales de aproximación: polinomios, polinomios trigonométricos y otras álgebras concretas aproximan uniformemente funciones continuas, posibilitando aproximación espectral, cálculo funcional y aproximación constructiva en análisis.

Inversión

Si fallan las condiciones de separación o de constantes, la álgebra no es densa y existen funciones continuas que no pueden aproximarse uniformemente; de igual modo la no-compacticidad puede impedir la aproximación uniforme sin restricciones adicionales.

Límite

Requiere un dominio compacto de Hausdorff y la norma uniforme (sup); se distinguen las versiones real y compleja (esta última exige *-invariancia), y el resultado no se extiende automáticamente a espacios no compactos o no Hausdorff sin modificación.

Tensión semántica

Relacionado con otros teoremas de aproximación (Muntz, Runge, Korovkin) con diferentes hipótesis y tipos de conclusión; existe tensión entre condiciones algebraicas de generación y requisitos analíticos de aproximación en varios espacios de funciones.

Síntesis

Stone–Weierstrass unifica y generaliza la aproximación polinómica afirmando que una álgebra de funciones continuas que contiene constantes y separa puntos (y es *-invariante en el caso complejo) es densa uniformemente en un espacio compacto de Hausdorff, conectando la generación algebraica con la aproximación analítica.