Tema 2: Espacios Vectoriales Base y Dimensin de un espacio (subespacio) vectorial o Algebra Lineal Curso 2004-2005

Prof. Manu Vega

1.

Base y dimensin de un espacio (subespacio) vectorial o

Se dice que un conjunto de vectores D = {1 , u2 , ..., un } forman una base del espacio vectorial u

V si los vectores de {D} pueden generar todo el espacio vectorial V y si dichos vectores son linealmente independientes. La dimensin del espacio vectorial V es igual al nmero de vectores o u que constituyen su base. De la misma manera, se dice que un conjunto de vectores E = {1 , v2 ,..., vn } forman una v base del subespacio vectorial S si los vectores de {E} pueden generar todo el subespacio vectorial S y si dichos vectores son linealmente independientes. La dimensin del subespacio vectorial S o es igual al nmero de vectores que constituyen su base, y se denomina cardinal de V (cardV ), u al nmero de vectores de la base. u Nota Un conjunto D = {1 , u2 , ..., un } es una base de V si todo vector de V puede escribirse de u forma unica como combinacin lineal de los vectores de D. Se dice que un espacio vectorial V o es de dimensin nita n o n-dimensional si o dim V = n N

1.1.
1.

Propiedades
Sea V un espacio vectorial de dimensin nita. Entonces todas las bases de V tienen el o mismo nmero de elementos. El espacio vectorial {0} tiene dimensin 0 por denicin. u o o Cuando un espacio vectorial no es de dimensin nita, se dice que es de dimensin innita. o o

2.

Sea V un espacio vectorial de dimensin nita n, cualquier conjunto de n+1 o ms vectores o a son linealmente dependientes.

Corolario a la propiedad: (i) Todo conjunto de vectores linealmente independiente de n elementos es base de V . (ii) Todo conjunto de vectores de n elementos que sea sistema generador es base de V . (iii) Sea V un espacio vectorial de dimensin nita n, entonces cualquier conjunto que resulte o de eliminar un vector de una base de V es linealmente independiente. (iv) Supongamos que D genera un espacio vectorial V , entonces, cualquier nmero mximo de u a vectores linealmente independientes en D es una base de V .

1.2.
1.2.1.

Teoremas de la dimensin o
Primer teorema de la dimensin o

Sea S un subespacio vectorial del espacio vectorial V n-dimensional. Entonces dim S n. Si, en particular, dim S = n necesariamente S = V . La dimensin de cualquier subespacio S o de V es menor o igual que la dimensin del espacio o

dim S dim V. 1.2.2. Segundo teorema de la dimensin o

Sean S y T dos subespacios vectoriales de dimensin nita de una espacio vectorial V sobre o un cuerpo k. En este caso S + T tiene dimensin nita y se cumple o dim (S + T ) = dim S + dim T dim (S T ) . Nota Observese que si S y T son suplementarios entonces S T = 0 y resulta

dim (S + T ) = dim S + dim T.