Teorema 1. Sea A un algebra de Banach con unidad e.

Entonces existe una norma k| k| sobre

A equivalente a la norma original tal que (A, k| k|) es un
algebra de Banach con unidad, adem
as
k|ek| = 1.

Demostraci on. Sea x A fijo y definamos Lx : A A como Lx (y) = xy. Luego Lx es lineal pues la
operacion de multiplicaci
on es lineal por la derecha, y ademas es continua (tomar suceciones conver-
gentes, aplicar desigualdad triangular y el hecho que (kxyk kxkkyk). Busquemos ahora una norma
que sea equivalente a la norma original k k.

kLx yk = kxyk kxkkyk , y A

Luego definamos |||x||| := kLx k. Hemos demostrado |||x||| ||x|| , x A.
Por otro lado tenemos
|||x||| = ||Lx ||
e
= sup{||Lx y|| : ||y|| 1} Elegir y 0 =
||e||
||x||||y 0 ||
e
= ||x ||
||e||
||x||
=
||e||
Luego se tiene
kxk
|||x||| kxk , x A
kek
Lo que muestra que las normas ||| ||| y k k son equivalentes.
Ademas x, y A,

|||xy||| = kLxy k
= kLx Ly k
kLx kkLy k
= |||x||| |||y|||

Por lo tanto, con la norma ||| |||, A es un algebra de Banach. Para completar la demostracion obser-
vemos que:
|||e||| = kLe k = sup{kLe yk : kyk 1} = sup{kyk : kyk 1} = 1.

Este teorema permite suponer que la unidad de una algebra de Banach tiene norma 1. Si A no
tiene unidad podemos identificarlo con uno como sigue.
Lema 1. Un algebra de Banach A sin identidad puede ser inmersado en un
algebra de Banach AI
como un ideal de codimensi
on uno.

Demostracion. Sea AI = A F, tenemos el siguiente conjunto (AI , +, , ) con la suma y producto

on binaria  definida como sigue:
por un escalar usuales y la operaci

(a, )  (b, ) = (a, ) (b, ) = (ab + b + a, )

y la norma en AI
k (a, ) kAI = kakA + ||F
on de Cauchy en (A1 , k kAI ) entonces
Sea (an , n ) una suceci

kakA k(a, )kAI

kkA k(a, )kAI

1
Como (A, k k) y (F, | |) son espacios de Banach entonces (an ) y (n ) son suceciones de Cauchy en A
y F respectivamente, luego existe a A y F tales que:

(an ) a (n )

Luego (a, ) AI , es decir AI es un espacio de Banach. Ahora verifiquemos que la norma sobre AI
satisfase la condici
on de ser sub-multiplicativa.

k (a, ) (b, ) k = k (ab + b + a, ) k

= kab + b + ak + ||
kabk + kbk + kak + ||
kakkbk + |kbk + kak + kbk
= (kak + ||)kbk + (kak + ||)||
= k(a, )kk(b, )k

(AI , k kAI ) es un algebra de Banach