1

FACULTAD DE CIENCIAS NATURALES Y MATEMATICAS ESCUELA

PROFESIONAL DE MATEMATICA

Isometría Isomórfica De Un Algebra de Banach De División En el Cuerpo De Los Complejos

Línea de investigación:
Matemática Pura

TESINA PARA OPTAR EL TITULO PROFESIONAL DE LICENCIADO EN

MATEMATICA

Autor:
Lino Quispe, Sarai Blandina

Asesor:
Mg. Contreras Tito, Vladimiro
(Código del Asesor)

Jurados:
…………..
………….
…………..

Lima-Perú
2022
 2

Introducción

En el presente trabajo se estudiara a las algebras asociativas y veremos que

con algunas condiciones más estas algebras serán algebras de Banach, es de suma

importancia restringirnos solo a trabajar con algebras de Banach Complejas aun

cuando tengamos también a las algebras de Banach Reales, utilizaremos la teoría de

Gelfand para algebras de Banach con unidad y se estudiara con suma determinación

el Teorema de Gelfand-Mazur que fundamentalmente determina que para un A

álgebra de Banach con cuerpo en C y en la que todo elemento distinto de cero es

invertible, entonces A es isométricamente isomorfo a C según el enfoque que nos

brinda Rudin(1991), este teorema es una particularidad del teorema propuesto por

Stanislaw Mazur en 1938.

Uno de los motivos para limitarnos solo al estudio de las algebras de Banach

complejas, son las funciones holomorfas que son el primordial objetivo de la

enseñanza del análisis complejo, además de ser un cimiento para el análisis funcional.

Soares(2000) nos define a las funciones holomorfas de la siguiente manera:

Sea: ƒ: Ʋ→ C, Ʋ ⊂ C abierto, una función compleja ƒ es holomorfa en Ʋ si

ƒˊ(x) existe para todo x ∈ Ʋ. Decir que ƒ es holomorfa en Ʋ es lo mismo que decir que

∂ƒ
( z )=0 en todos los puntos del abierto Ʋ.
∂Z

Esta definición será más vista más adelante en la demostración

minuciosamente detallada del teorema 2.5.4 enunciado por Rudín (1991) así:

Si A es un álgebra de Banach con elemento unidad y x ∈ A, entonces:

(a) El espectro σ(x) de x es un subconjunto compacto y no vacío,

 3

(b) El radio espectral ρ(x) de x satisface

ρ ( x )=lim ¿∨x ∨¿1/ n

n→∞

En líneas generales para la demostración del ítem (a) que es parte importante

para la demostración del Teorema de Gelfand-Mazur, usaremos el enfoque

Douglas(1972) que parte de suponer que σ(x) es vacío entonces x−ℷe seria regular ∀ ℷ

∈ C, bastara formar una función ƒ compleja de variable compleja analítica,

considerando la función ƒ: ρ(x) → A, definida ƒ(ℷ)=( x−ℷe )−1

mostramos que ƒ es una función analítica valorada en ρ(x) que está acotada en el

infinito y usamos el Teorema de Liouville para obtener la contradicción, como

habíamos comentado anteriormente se demostrara con más detalle el Teorema 2.5.4

enunciado.

Para entender el concepto de isométricamente isomorfo recordemos algunos

conceptos importantes definidos en Martin(2011), sean A y Ɓ dos algebras, diremos

que son isomorfas si la aplicación lineal Ѱ: A → Ɓ es una aplicación inyectiva y

sobreyectiva, a Ѱ también se le conoce como isomorfismo, si además estas algebras

son normadas y || Ѱ(x) ||= || x ||  ∀ x ∈ A, diremos que Ѱ es una isometría y que

A es isométricamente isomorfo Ɓ, podemos decir que A y Ɓ son indistinguible, un

enfoque más claro de que es un isomorfismo isométrico es la identificación total

entre dos algebras A y Ɓ normadas, podemos denotarlo de la siguiente manera: A ≡

Ɓ.

El interés académico del Teorema de Gelfand-Mazur es ver que la única

álgebra de Banach con cuerpo en C que a su vez es una algebra de división en C es

el mismo conjunto  C por el enfoque anterior dado, pues nos dice que es la
 4

identificación total, es decir tiene el mismo comportamiento viéndolo de esta manera

gozan de las mismas propiedades.

La metodología para el desarrollo de este trabajo el método hipotético-

deductivo este método nos ayudara a demostrar el Teorema de Gelfand-Mazur,

partiendo de la hipótesis dada la cual nos dice que dada un A álgebra de Banach con

cuerpo en C y en la que todo elemento distinto de cero es invertible debemos

demostrar que A es isométricamente isomorfo a C, para llegar a esta premisa

utilizaremos las definiciones de isomorfismos isométricos entre algebras normadas, la

teoría de Gelfand para algebras de Banach complejas con unidad, el teorema 2.5.4, así

como los elementos singulares en un algebra de Banach compleja y el espectro de un

elemento del algebra de Banach,

Partiendo de la idea que nos brinda Conway (1985), sea un x∈A, σ(x) ≠ ∅ por

el teorema 2.5.4 entonces ℷ x ∈ σ(x), por definición x−ℷ x e es singular, por tanto no

tiene inversa y como A es una algebra de división entonces x−ℷ x e =0, con estos

avances llegaremos a demostrar que va existir una Ѱ aplicación lineal tal que sea un

isomorfismo isométrico y que conserve la norma. Con esto llegaremos a ver que

existe una isometría Ѱ entre A y C tal que hace que A y C sean isométricamente

isomorfos

El objetivo de la tesis es probar que existe un isomorfismo isométrico entre un algebra

de Banach con unidad y los números complejos C.

En el capítulo 2 se verán las primordiales resultados y definiciones de las

algebras de Banach complejas acompañadas de algunos ejemplos con sumo detalle

para que el lector este familiarizado, veremos los homomorfismos complejos y nos
 5

introduciremos al espectro de un elemento algebra de Banach y su radio espectral, por

ultimo demostremos el Teorema de Gelfand-Mazur.