Juan Carlos Gir on Rojas BASE Todo espacio vectorial distinto del nulo posee una base.

Sea (V, +, K, .) un espacio vectorial, Podemos ver dos casos: 1 caso: Si V = {0V }, el espacio vectorial nulo no tiene bases, esto tambi en puede ser interpretado como que la base del espacio vectorial nulo es el conjunto vac o. V = {0V } la base B = . Demostraci on: Lo haremos por el metodo del absurdo. Supongamos que B = v B : v = 0V L {v } V V = {0V } lo cual es una contradicci on pues V = {0V }, esta contradicci on surge de suponer que B = . Si V = {0V } la base B = . 2 caso: Todo V = {0V }, posee al menos una base. Demostraci on: Como V = {0V } v V : v = 0V , {v } es linealmente independiente. Sea F = {B : B V B es linealmente independiente}, y sabemos que que {v } F . En

F = por

F denimos una relaci on: F , B1 B2 B1 B2 . F.

B1 , B 2

Se verica que es una relaci on de orden parcial en

Tomemos una cadena(1) de C F : C = {Bi : i I} = {Bi }iI , C es tambien una f amilia de conjuntos indexada(2) . Sea H =
i I

Bi , notamos que H contiene todos los elementos de la cadena C . As que

i I, entonces Bi H.

Juan Carlos Gir on Rojas Debemos demostrar que H es linealmente idependiente, osea que H

F.

Sea H es linealmente independiente. Sean vi1 , vi2 , ..., vik H; por denici on existen Bi1 , Bi2 , ..., Bik , tales que: v ik B ik ; 1 k n Como C es una cadena existe j (1 j n) tal que k n, Bik Bij por lo tanto, es evidente que vik Bij ; k n y como Bik es linealmente independiente (puesto que Bij F ), entonces {vi1 , vi2 , ..., vik } es linealmente independiente, por lo tanto H es linealmente independiente, luego H F . En la demostraci on hemos tomado en forma arbitaria una cantidad nita de vectores para luego demostrar que todo subconjunto de H es linealmente independiente, concluyendo que H es linealmente independiente. Como H contiene todos los elementos de C es claro que H es una cota superior(3) de C . Tenemos que (F ,) es un conjunto parcialmente ordenado respecto a la relaci on de inclusi on y F = . Tambien tenemos que toda cadena C de F tiene una cuota superior H en F , entonces aplicando el teorema de Zorn Kuratowski(4) obtenemos que F tiene un elemento maximal(5) B , el cual es linealmente independiente. Ahora debemos demostrar que un conjunto linealmente independiente maximal es una base de V.

Supongamos que existe un v V tal que v no pertenece al subespacio generado por

B , es decir v VL {B }.
Concideremos B 1 =B {v }, donde B 1 es linealmente independiente. Ademas B B 1 y B =B 1 (es decir:B <B 1 ). Entonces B 1 F , lo cual es una contradicci on pues B elemento maximal de F , entonces L {B }= V. Con lo cual hemos establecido que: i)B es linealmente independiente. ii)B genera V, esto es L {B }= V. De i) y ii), decimos que

B es base de V.

*El texto con azul no es necesario para la demostraci on. **Hemos enumerado algunos conceptos que deben ser recordados.

Juan Carlos Gir on Rojas (1).Cadena: Sea (P, ) un conjunto parcialmente ordenado. Un subconjunto no vacio A de P que es linealmente ordenado (totalmente ordenado) por es llamado una cadena en P. (2).Familia de conjuntos indexada: Sean F e I conjuntos, una funci on; f : I F suele representarse en la forma de una familia de conjuntos idexada por I, {Xi : i I} = {Xi }iI , donde Xi = f (i). Con esta notaci on se omite mensionar a la funci on f , pero hay que tener presente que para que sentido, debe existir un conjunto F tal que Xi F para todo i I. En este caso f = {t I F : t = (i, Xi )}. (3).Cota superior: Sea (P, ) un conjunto no vac o parcialmente ordenado y A P (con P = ), se dice que un elemento p P es una cota superior de A, si para cualquier a A se cumple que a p. (4).Zorn-Kuratowski: Sea (P, ) un conjunto no vac o parcialmente ordenado, tal que toda cadena en P tiene al menos una cota superior en P , entonces P tiene elemento maximal. (5).Elemento maximal: Sea (P, ) un conjunto parcialmente ordenado. Un elemento m P es maximal en P si para cada p P (el cual es comparable con m) p m.

Juan Carlos Gir on Rojas CONCEPTOS FUNDAMENTALES: COMBINACION LINEAL: Es conocido el concepto de combinaci on lineal en conjunto nito de elementos, pero qu e signica una combinaci on lineal de un conjunto innito de elementos de un espacio vectorial?. La denici on de espacio vectorial da un axioma para sumar dos elementos de un espacio vectorial V, pero no para sumar una cantidad innita de elementos de V, Es decir, por sumas sucesivas, tal que si v, w, z V, entonces podemos realizar la operaci on v + w + z , esto se hace en el sentido de que se suman un conjunto nito de elementos en V, pero en general, no existe una manera de atribuirle el signicado de suma innita de elementos de un espacio vectorial. Entonces debemos encontrar una manera de expresar una combinaci on lineal de un conjunto innito de elementos de un espacio vectorial y esto lo hacemos de la siguiente manera. COMBINACION LINEAL: Sea (V, +, K, .) un espacio vectorial y W V tal que W es un conjunto innito (es decir que |W| = k , en donde k es un cardinal innito). Se dice que v V es una combinaci on lineal de elementos W con coecientes en K, si existen U W, F K (U y F nitos), digamos que U = {u1 , u2 , ..., un } y F = {1 , 2 , ..., n }, tales que:
n

v=
i=1

i ui = 1 u 1 + 2 u 2 + + n u n

Al igual que para el caso donde las combinaciones se realizan en un conjunto nito, denotaremos el conjunto de todas combinaciones lineales de W como L {W}. INDEPENDENCIA LINEAL: Sea (V, +, K, .) un espacio vectorial y W V tal que W es un conjunto innito (es decir que |W| = k , en donde k es un cardinal innito). Se dice que W es linealmente independiente si todo subconjunto nito de W es linealmente independiente.