En análisis funcional , un álgebra de funciones de Banach en un espacio compacto de Hausdorff X es una subálgebra unitaria , A , del álgebra conmutativa C*-C (X) de todas las funciones continuas con valores complejos de X , junto con una norma en A que la convierte en un álgebra de Banach .
Se dice que un álgebra de funciones se anula en un punto p si f ( p ) = 0 para todo. Un álgebra de funciones separa puntos si para cada par distinto de puntos, hay una funciónde tal manera que.
Por cadadefinirpara. Entonces es un homomorfismo (carácter) en, distinto de cero sino desaparece en.
Teorema: Un álgebra de funciones de Banach es semisimple (es decir, su radical de Jacobson es igual a cero) y cada álgebra de Banach conmutativa unitaria y semisimple es isomorfa (a través de la transformación de Gelfand ) a un álgebra de funciones de Banach en su espacio de caracteres (el espacio de homomorfismos de álgebras de A en los números complejos dada la topología débil* relativa ).
Si la norma enes la norma uniforme (o norma suprema) en, entoncesSe denomina álgebra uniforme . Las álgebras uniformes son un caso especial importante de las álgebras de funciones de Banach.
Referencias
- Andrew Browder (1969) Introducción a las álgebras de funciones , WA Benjamin
- HG Dales (2000) Álgebras de Banach y continuidad automática , Monografías de la Sociedad Matemática de Londres 24, Clarendon Press ISBN 0-19-850013-0
- Graham Allan y H. Garth Dales (2011) Introducción a los espacios de Banach y las álgebras , Oxford University Press ISBN 978-0-19-920654-4
- álgebras de Banach
- Fragmentos de análisis matemático