ESPACIOS

VECTORIALES

Tema 6.2-

BASE Y DIMENSIN DE UN

ESPACIO VECTORIAL

BASES Y DIMENSIN DE UN
ESPACIO VECTORIAL
En este apartado presentaremos el concepto fundamental de una base de un
espacio vectorial. Como veremos, una base es un conjunto generador
eficiente que no contiene vectores innecesarios. De hecho, se puede
construir una base a partir de un conjunto generador desechando algunos
vectores innecesarios. Adems, conocer una base de un espacio vectorial es
muy til para comprender el espacio y sus propiedades.

BASE DE UN ESPACIO VECTORIAL.-

es una base del e.v. real V si:

B s. libre
B s. generador de V
2

-EJEMPLOS DE BASES.-EJEMPLO 1.-

base cannica
-EJEMPLO 2.-

base cannica

EXISTENCIA DE BASES.Todo e.v. V engendrado por un sistema de generadores finito

tiene al menos una base.
Todas las bases del e.v.
elementos. Entonces:

poseen el mismo nmero de

DIMENSIN DE UN ESPACIO VECTORIAL.El nmero de elementos que posee una base cualquiera de un
e.v. V , recibe el nombre de dimensin del e.v. V (dim V).

Esta informacin resulta muy til

como se ver posteriormente

-CONSECUENCIAS.Si V es un e.v. con dim V = n, entonces:

En un espacio vectorial de dimensin n no puede haber ms de n vectores linealmente independientes

n vectores l.i. de un e.v. V de dimensin n constituyen una base de V

Un s.g. de n vectores de un e.v. V de dimensin n constituye una base de V

Dos perspectivas de una base

Cuando se usa el teorema de la reduccin de un conjunto generador, la
eliminacin de vectores de un conjunto generador debe terminar cuando el
conjunto generador resulta linealmente independiente. Si se elimina otro
vector, no ser combinacin lineal de los vectores restantes y por lo tanto el
conjunto resultante ya no generar el mismo espacio vectorial V.
Una base tambin es un conjunto linealmente independiente que es lo ms
grande posible. Si B es una base de V y si B se agranda con un vector,
digamos
, de V, entonces el nuevo conjunto ya no puede ser linealmente
independiente, porque B genera V y
es por lo tanto una combinacin
lineal de los vectores de B.

Ejemplo.-

Los siguientes tres conjuntos de

muestran cmo un conjunto
linealmente independiente de dos vectores de
puede agrandarse para
formar una base de
y cmo un agrandamiento adicional destruye la
independencia lineal del conjunto. Este mismo ejemplo lo podemos ver desde
otra perspectiva: Un conjunto generador de
formado por 4 vectores puede
encogerse para dar una base, pero una contraccin adicional destruye la
propiedad de ser generador.

Cuando se conoce la dimensin de un espacio o

subespacio vectorial, la bsqueda de una base se
simplifica con el resultado que damos a continuacin,
que dice que si un conjunto tiene el nmero correcto de
elementos, entonces basta con demostrar que el conjunto
es linealmente independiente o bien que genera el
espacio. El teorema es de importancia crtica en
numerosos problemas de aplicaciones (que tienen que
ver con ecuaciones diferenciales o en diferencias, por
ejemplo) donde la independencia lineal es mucho ms
fcil de comprobar que la propiedad de generar.

Segn la consecuencia 3.-, conocida la dimensin de un e.v.

V (
,
), cmo encontrar una
base B de V?:

COORDENADAS DE UN VECTOR
Sea V e.v. real con

base de V.
nicos tales que:

A los escalares (nicos)

llama coordenadas del vector

se les

en la base B.

Hallar las coordenadas del vector

en la base cannica de
en la base

de
8

DIMENSIN DE UN SUBESPACIO
VECTORIAL
Sea S s.v. de V y
B base de S si

: nmero de elementos de una base de S

Si dim V = n, y S es un s.v. de V, entonces:

Cmo encontrar una base B de un subespacio vectorial S?

B = G es s.g. de S
Hay que demostrar que B = G es s. libre
Cmo encontrar una base B de un espacio vectorial V?

Para encontrar una base de

vectores l.i. de
, pues

, basta con hallar n

Para hallar una base de

, basta con hallar n + 1
polinomios l.i. de
, pues

10

RANGO DE UN SISTEMA DE VECTORES

Sea V espacio vectorial real y F una coleccin de vectores de V.

Se llama rango de F ( r ( F ) ) al nmero mximo de

vectores linealmente independientes de F.
Volveremos a estudiar el concepto de rango de una familia de vectores dentro del
marco de la teora de matrices. Esto nos permitir desarrollar mtodos ms
eficientes para calcular el rango de una familia de vectores y tambin para hallar
una base de un subespacio vectorial generado por una familia de vectores.

Si F es un subconjunto del e.v. V que consta de m vectores y dim V = n

11

Conceptos
preliminares

ESPACIO VECTORIAL
ESCALAR
VECTOR

Coordenadas

DEPENDENCIA LINEAL
INDEPENDENCIA LINEAL

SISTEMA GENERADOR
Resultados interesantes

Relacin

Concepto
Condiciones

SUBESPACIO VECTORIAL

COMBINACIN LINEAL

BASE
Dimensin de un
espacio vectorial

Dimensin de un
subespacio vectorial

Concepto
Ejemplos bsicos
Condiciones
Propiedades

S. V. PROPIO
S. V. IMPROPIO

Resultados interesantes
COORDENADAS

Resultados interesantes
Rango de un sistema
de vectores
12