Espacios vectoriales normados y espacios

afines normados
En este libro damos por conocidos los elementos de la teora de espacios
vectoriales normados. Para referencia precisa, recordaremos unas definiciones
fundamentales y enunciaremos sin prueba una serie de resultados en forma de
teoremas numerados. El lector que lo desee encontrar demostraciones
completas por ejemplo en el primer tomo del tratado de Anlisis de J.
DIEUDONN [13].

Sea un espacio vectorial sobre . Una aplicacin de E en se

llama una NORMA sobre , si satisface:

La desigualdad del tringulo equivale a la desigualdad:

que llamaremos la COMPAERA DE LA DESIGUALDAD DEL TRINGULO.

Si es una norma sobre , el par se llama un ESPACIO

VECTORIAL NORMADO. Por un abuso usual de lenguaje, se dice tambin
simplemente que es un espacio vectorial normado.

Si se reduce al cuerpo , convenimos en usar como norma sobre l, el

valor absoluto (o mdulo) en .

Con las notaciones de arriba pongamos:

La funcin as definida es una distancia sobre el conjunto .
Hace de un espacio mtrico, caso particular de un espacio topolgico.

Teorema 2.1 Sea un espacio vectorial normado. Las

aplicaciones de E en ; de en

; de en E son aplicaciones continuas.

Definicin 2.1 Dos normas sobre un mismo espacio vectorial se

dicen NORMAS EQUIVALENTES, si definen la misma topologa sobre .

Teorema 2.2 Dos normas sobre un mismo espacio vectorial son

normas equivalentes si y slo si existen nmeros y tales que:

o sea

Corolario 2.1 Si y son normas equivalentes sobre :

1. Las aplicaciones uniformemente continuas de dominio o

contradominio son las mismas para y .

2. es un espacio mtrico completo si y slo si lo es .

3. Un subconjunto de es acotado para si y slo si es acotado

para .

Teorema 2.3 (y definicin) Si es un espacio vectorial de dimensin finita,

dos normas cualesquiera sobre son equivalentes. Definen sobre la
misma topologa que llamaremos la TOPOLOGiA NATURAL de .
Por contraste se puede probar que si es un espacio vectorial de dimensin
infinita, hay siempre normas inequivalentes sobre .
Definicin 2.2 Un espacio vectorial normado se llama ESPACIO

DE BANACH, si (para la distancia definida por la norma ) es un espacio

mtrico completo.

Nota
STEFAN BANACH (1892-1945), gran matemtico polaco, fue uno de los
pioneros del anlisis matemtico de este siglo, especficamente del ``anlisis
funcional''.

Teorema 2.4 Todo espacio vectorial normado de dimensin finita es un

espacio de Banach.
Por contraste, un espacio vectorial normado de dimensin infinita puede ser
completo o no.
Corolario 2.2 (del teorema 4.2.4) Un subespacio de dimensin finita de un
espacio vectorial normado es siempre cerrado en .
Por contraste, un subespacio de dimensin infinita de E puede ser cerrado o
no en E.