En análisis funcional, un homomorfismo topológico o simplemente homomorfismo (si el contexto así lo permite) es un concepto análogo al de homomorfismo en general, pero particularizado para la categoría de los espacios vectoriales topológicos (EVTs). Este concepto es de considerable importancia en el análisis funcional, y el teorema de la función abierta da una condición suficiente para que una aplicación lineal continua entre espacios de Fréchet sea un homomorfismo topológico.
Definiciones
Un homomorfismo topológico es una aplicación lineal continua entre espacios vectoriales topológicos (EVTs) de modo que la aplicación inducida es abierta cuando , (que es la imagen de ), se le da la topología del subespacio inducida por . Este concepto es de considerable importancia en el análisis funcional y el conocido teorema de la función abierta da una condición suficiente para que una aplicación lineal continua entre espacios de Fréchet sea un homomorfismo topológico.
Un embebido de EVT o un monomorfismo topológico es un homomorfismo topológico inyectivo. De manera equivalente, un embebido de EVT es una aplicación lineal que también es un embebido topológico.
Caracterizaciones
Supóngase que es un aplicación lineal entre EVTs, teniendo además en cuenta que se puede descomponer en la composición de las siguientes aplicaciones lineales canónicas:
donde es la clase de equivalencia canónica y es la aplicación inclusiva.
Los siguientes enunciados son equivalentes: es un homomorfismo topológico Para cada base del entorno del origen en , es una base del entorno del origen en . La aplicación inducida es un isomorfismo de EVTs.
Si además el rango de es un espacio de Hausdorff de dimensión finita, entonces las proposiciones siguientes son equivalentes: es un homomorfismo topológico. es continuo. es continuo en el origen. está cerrado en .
Condiciones suficientes
Teorema de la aplicación abierta
El teorema de la aplicación abierta, también conocido como teorema de homomorfismo de Banach, proporciona una condición suficiente para que un operador lineal continuo entre EVTs metrizables completos sea un homomorfismo topológico.
Ejemplos Cada operador lineal continuo en un EVT es un homomorfismo topológico.
Sea un EVT de dimensión sobre el cuerpo y sea distinto de cero. Ahora, considérese que se defina por . Si tiene su topología euclídea habitual y si es de Hausdorff, entonces es un isomorfismo de EVT.
Véase también Homomorfismo Funciones abiertas y cerradas Sobreyección de espacios de Fréchet Espacio vectorial topológico
Referencias
Bibliografía
Categoría:Análisis funcional