NDICE

INTRODUCCIN
CAPTULO I: Conceptos fundamentales
CAPTULO II: Existencia de una base
CAPTULO III: Equicardinalidad de las bases de Hamel infinitas
CAPTULO IV: Teoremas de la dimensin
CAPTULO V: Reticulados de subespacios
CAPTULO VI: Condiciones de cadenas
CAPTULO VII: ordenadas y coordenadas Reformulacin de la definicin de bases
CAPTULO VIII: Equipotenciales entre espacio vectoriales y la clase de los cardinales
CAPTUL-O IX: Espacios duales infinitos




















ESPACIOS VECTORIALES

CAPITULO I:

Definicin

Sea V un conjunto no vaco y sea (K, +, ) un campo. Se dice que V es un espacio vectorial
sobre K si estn definidas dos leyes de composicin, llamadas adicin y multiplicacin por un
escalar, tales que

__ __
__ __ __ __
__ __ __ __ __ __ __ __ __
__ __ __ __
__ __
) ,
, .
) , , : ( ) ( )
) 0 0 ,
)
i La adicin asigna a cada pareja ordenada u v de elementos de V un nico
elemento u v V llamado la suma de u v
ii u v w V u v w u v w
iii V tal que v v V
iv v v v
| |
|
\ .
+ e
e + + = + +
- e + e
e - e
__ __ __
__ __ __ __ __ __
0
) , :
V tal que v v
v u v V u v v u
+ =
e + = +
__
__ __
__
__ __ __ __ __ __
__ __
) ( , )
,
.
) ; , : ( )
) , ; : ( )
vi La multiplicacin por un escalar asigna a cada pareja ordenada v
de elementos K y v V un nico elemento v V llamado el elemento
de por v
vii K u v V u v u v
viii K v V v v
o
o o
o
o o o o
o | o | o
e e e
e e + = +
e e + =
__ __
__ __ __
__ __ __
) , ; : ( ) ( )
) 1 : 1 ,
.
v
ix K v V v v
x Si es la unidad de K v v v V
A los elementos de V se les llama vectores y a los de K escalares
|
o | o | o|
+
e e =
= e






CAPITULO II:

EXISTENCIA DE UNA BASE
Un conjunto de finito de vectores
{ }
1 2 3
, , ,...,
n
v v v v es una base para un espacio vectorial V si:
i)
{ }
1 2 3
, , ,...,
n
v v v v es Linealmente Independiente.
ii)
{ }
1 2 3
, , ,...,
n
v v v v genera V .

Todo conjunto de vectores linealmente independiente en
n
es una base de
n

Sean
1
(1, 0, 0,..., 0) e = ;
2
(0,1, 0,..., 0) e = ;
3
(0, 0,1,..., 0) e = ; (0, 0, 0,...,1)
n
e =

El conjunto de vectores
{ }
1 2 3
, , ,...,
n
e e e e es un conjunto de vectores L. I., por lo tanto
constituyen una base cannica para
n
.

Una base cannica para
3
P (conjunto de polinomios de grado 3) ser el conjunto
{ }
2 3
1, , , x x x

Una base cannica para
2 2
M

(conjunto de matrices de orden 2) es
1 0 0 1 0 0 0 0
, , ,
0 0 0 0 1 0 0 1
( ( ( (
`
( ( ( (
)


Encuentre una base para el subespacio de
3
;
( ) { }
, , 2 3 0 W x y x x y z = + = ?
Escogiendo arbitrariamente , x y y z , en el plano ( , , ) x y z W e
De 2 3 y x z = + ; ( , 2 3 , ) ( , 2 , 0) (0, 3 , ) (1, 2, 0) (0, 3,1) x x z z x x z z x z + = + = +
Lo cual muestra que (1, 2, 0) y (0,3,1) , generan W , es claro que los vectores son L. I. (dado
que cualquiera de los vectores no es mltiplo del otro), as los vectores (1, 2, 0) y (0,3,1)
resultan ser una base para W .





Definicin
DIMENSIN
Si el espacio vectorial V , tiene una base finita, entonces la Dimensin de V es el nmero de
vectores en todas las bases, y V se llama espacio vectorial de dimensin finita.
De otra manera V se llama espacio vectorial de dimensin infinita.

Si
{ } 0 V = , entonces se dice que V tiene dimensin cero.

Dimensin de
n

n vectores linealmente independientes en
n
constituyen una base del espacio vectorial
n
.
Entonces dim
n
=n

La dimensin del espacio vectorial
n
P es
dim
n
P = 1 n+

Y la dimensin del espacio vectorial
2 2
M

es
dim
n n
M n n

=

Tr. Sea H un subespacio de un espacio vectorial de dimensin finita V , entonces H tiene
dimensin finita y
dim dim H V s
La dimensin de un espacio vectorial se define como el nmero de elementos o cardinal de una
base de dicho espacio. Dado que para todo espacio de Hilbert de dimensin infinita podemos
distinguir entre bases de Hilbert y de Hamel, podemos definir la dimensin vectorial ordinaria y
la dimensin vectorial de Hilbert. Se tiene que para cualquier espacio vectorial V, la relacin
entre dimensin de Hammel y dimensin de Hilbert es la siguiente:
(1)
En espacios de dimensin finita tambin se pueden definir las bases de Hilbert como bases de
Hamel ortogonales. De hecho, para un espacio de dimensin finita, la dimensin de Hilbert es
igual a la dimensin de Hamel. En dimensin finita toda base de Hamel es base de Hilbert y
viceversa, por lo que para un espacio de dimensin finita en (1) se da siempre la igualdad.


CAPITULO III:

EQUICARDINALIDAD DE LAS BASES DE HAMEL INFINITAS

Se denomina cardinalidad de un conjunto al nmero de elementos del mismo.
Si no hay lmite para el cardinal de un conjunto linealmente independiente, decimos que V tiene
dimensin lineal innita.
Decimos que un subconjunto B
d
V, forma una base lineal o de Hamel de V, cuando es
linealmente independiente y maximal (i.e., no est contenido en ningn otro subconjunto
linealmente independiente de V).
La dimensionalidad depende del cuerpo sobre el que est construido el espacio vectorial V.
Por ejemplo, si d < podemos mostrar que dim
R
V = 2 dim
C
V.
En efecto, si B
d
= {|x1
i
], . . . , |x
d
]i} constituye una base del espacio vectorial complejo V,
entonces, B
2d
= {|x
1
]i, i |x
1
]i, . . . , |x
d
]i, i |x
d
]i} forma una base del mismo espacio vectorial,
entendido como espacio vectorial real:
|x
k
]i, i |x
k
]i, k = 1, . . . , d, son vectores linealmente independientes en un espacio vectorial real,
pero no lo son en un espacio vectorial complejo.

CAPITULO IV:
TEOREMA DE LA DIMENSIN
Sea la aplicacin lineal , donde U es un espacio vectorial de dimensin finita.
Entonces se verifica:

() ( ) ( ) ( )
Como siempre: si f es inyectiva se denomina monomorfismo, si es sobreyectiva epimorfismo.
Si es una aplicacin lineal biyectiva entre dos espacios vectoriales definidos sobre un
mismo cuerpo K, decimos que f es un isomorfismo. En el caso de que exista un isomorfismo
de U en V, diremos que U es isomorfo a V. Una aplicacin lineal de un espacio
vectorial en s mismo se denomina endomorfismo. Si adems de endomorfismo es biyectiva
recibe el nombre de automorfismo.
Caso de que exista un isomorfismo de U en V, diremos que U es isomorfo a V. En este caso se
demuestra fcilmente que V es tambin isomorfo a U, por lo que hablaremos de espacios
vectoriales isomorfos, es decir, espacios vectoriales con las mismas propiedades algebraicas.
Dos espacios vectoriales de dimensin finita definidos sobre un mismo cuerpo K son isomorfos
si y solo si tienen la misma dimensin. Y en este caso son isomorfos a K
n
.







CAPITULO V:
RETICULADOS DE SUB ESPACIO VECTORIAL
Sea (V, +, K, *) un espacio vectorial cualquiera y W , W

V, diremos que W es un sub

espacio vectorial de V, si y solo si:

)
)


Ejemplo 2:
Sea: (R
3
,+, R,*) un sub espacio vectorial
W = {(x, y, z) R
3
/x=z}
Es W un sub espacio vectorial de R
3
?
Solucin
) ()
) (

) (

) (

) (

) ( )

(

) (

)

()

()

() ()

)

(

) (

)
) ( ) ( ) ( )

( )


( ) ( )

OPERACIONES CON SUB ESPACIOS
Sean W
1
y W
2
dos sub espacios vectoriales de V.

1. INTERSECCIN DE SUB ESPACIOS
La interseccin de dos subespacios vectoriales se define de la siguiente forma:

+

La interseccin de dos sub espacios es un sub espacio de V.
Observacin: Para la interseccin sucesiva de espacios vectoriales se procede,
inductivamente, de dos en dos.

2. UNIN DE SUBESPACIOS
La unin de dos sub espacios vectoriales se define de la siguiente forma:

+

La unin de sub espacios no siempre es sub espacio de V.

3. SUMA DE SUB ESPACIOS
La suma de dos sub espacios vectoriales se define de la siguiente forma:

+

La suma de dos sub espacios es un sub espacio de V.
Si W
i
son sub espacios vectoriales, con i=1,..., n se define la suma de estos n sub
espacios vectoriales como:

+



4. SUMA DIRECTA DE SUB ESPACIS VECTORIALES
Si la interseccin entre W
1
y W
2
es el sub espacio trivial (es decir, el vector nulo),
entonces a la suma se la llama "suma directa". Es decir:

+


CAPITULO IX:
ESPACIOS DUALES INFINITOS
Dado cualquier espacio vectorial V sobre un cierto cuerpo F, definimos el espacio dual V*
como el conjunto de todas las funcionales lineales en F, es decir, transformaciones lineales en
V a valoresescalares (en este contexto, un "escalar" es un miembro del cuerpo-base F). El
propio V* se convierte en un espacio vectorial sobre F bajo la definiciones siguientes ('punto a
punto') de la adicin y de la multiplicacin escalar

para todos , en V*, a en F y x en V. En lenguaje del clculo tensorial, los elementos de V a
veces se llaman vectores contravariantes, y los elementos de V* vectores covariantes (y a
campos de estosuno-formas).

Los productos bilineales y los espacios duales
Como vimos arriba, si V es finito-dimensional, entonces V es isomorfo a V*, solamente que el
isomorfismo no es natural y depende de la base de V con que comenzamos. De hecho,
cualquier isomorfismo de V a V* define un producto bilineal no degenerado nico en V por

y cada producto bilineal no degenerado en un espacio finito-dimensional da lugar inversamente
a un isomorfismo de V a V*.
Inyeccin en el doble-dual
Hay un homomorfismo natural de V en el doble dual V**, definido por ((v))(f) = f(v) para
todo v en V, f en V*. Esta funcin es siempre inyectiva; es un isomorfismo si y solamente si V
es finito-dimensional.

Otras propiedades
Si V es el espacio de Hilbert, entonces su dual continuo es un espacio de Hilbert que es contra-
isomorfo a V. ste es el contenido del teorema de representacin de Riesz, y da lugar a
la notacin bra-ketusada por los fsicos en la formulacin matemtica de la mecnica cuntica.
En analoga con el caso del doble dual algebraico, hay siempre un operador lineal continuo
inyectivo naturalmente definido : V V '' en su doble dual continuo V ''. Esta funcin es de
hecho una isometra, significando ||(x)||=||x|| para todo x en V. Espacios para los cuales la
funcin es una biyeccin se llaman reflexivos. El dual continuo se puede utilizar para definir
una nueva topologa en V, llamada la topologa dbil. Si el dual de V es separable, entonces
as es el espacio V mismo. El inverso no es verdad; el espacio l es separable, pero su dual
es l

, que no es separable.