Un álgebra sobre un anillo o cuerpo provista de una topología tal que las operaciones algebraicas (suma, producto y multiplicación por escalares) son aplicaciones continuas respecto de esa topología.

Principio

La estructura algebraica y la topología deben ser compatibles: la continuidad de las operaciones organiza el comportamiento algebraico mediante restricciones topológicas y permite argumentos analíticos sobre objetos algebraicos.

Demostración

El álgebra C(X) de funciones continuas de un espacio compacto X en R o C, con suma y producto puntuales y la topología de la norma sup, es un álgebra topológica (en particular una álgebra de Banach) en la que las operaciones son continuas.

Aplicación incorrecta

Tratar como álgebra topológica cualquier álgebra provista de una topología arbitraria sin comprobar la continuidad de las operaciones, o suponer indebidamente completitud o normabilidad por la sola existencia de una topología.

Consecuencia

Cuando la topología y las operaciones algebraicas son compatibles, se pueden aplicar métodos de análisis y topología —teoría espectral, completación, argumentos de continuidad— para estudiar cuestiones algebraicas y representaciones.

Inversión

La noción puramente algebraica que se obtiene al prescindir de la topología: un álgebra considerada sólo en términos de homomorfismos e ideales sin restricciones de continuidad.

Límite

Requiere una topología explícita y la continuidad de cada operación algebraica; excluye objetos puramente algebraicos a los que se añade una topología sin compatibilidad. En análisis se suele exigir Hausdorff o localmente convexo, pero no es obligatorio en la definición formal.

Tensión semántica

Coincidencias con álgebra de Banach y anillo topológico: las álgebras de Banach imponen una norma y completitud, mientras que un anillo topológico puede no garantizar la continuidad de la multiplicación por escalares; distinguir estas hipótesis topológicas es una fuente habitual de ambigüedad.

Síntesis

Un álgebra topológica es un álgebra cuyas operaciones respetan una topología elegida, posibilitando la interacción entre la estructura algebraica y técnicas topológicas o analíticas.