BASE Y

DIMENSION
Se dice que una recta tiene una dimensin y que un plano tiene
dos dimensiones. En esta seccin se dar la definicin
matemtica de dimensin a partir de los conceptos de conjunto
generador e independencia lineal.

BASE
Se llama base de un espacio (o subespacio) vectorial a
un sistema generador de dicho espacio o subespacio,
que sea a la vez linealmente independiente.
Propiedades:
1. Una base de S es un sistema generador minimal de S.
2. Adems es un conjunto independiente maximal dentro
de S.
3. Una base de S permite expresar todos los vectores de S
como combinacin lineal de ella, de manera nica para
cada vector.

Un conjunto de vectores v1, v2,, vn es una base

para un espacio vectorial V si:
i) {v1, v2,, vn} es linealmente independiente.
ii) {v1, v2,, vn} generan a V.
Todo conjunto de n vectores linealmente
independientes en Rn es una base en Rn.
La base canonca en Rn consiste en n vectores.

 Teorema 1:
Si {v1, v2, , vn} es una base para V y si v V,
entonces existe un conjunto nico de escalares c 1,
c2, , cn tales que
c1 v 1 + c 2 v 2 + + c n v n
Teorema 2:
Si {u1, u2, , um} y {v1, v2, , vn} son bases para un
espacio vectorial V, entonces m = n; es decir,
cualesquiera dos bases en un espacio vectorial V
tienen el mismo nmero de vectores.

 El conjunto de n vectores e que se define como constituye

una base (la base cannica) de Rn.

Son linealmente independientes porque forman un

determinante no nulo, es decir det[e ]0
Son sistema generador de Rn porque todo vector
(a1,a2,. . . ,an) Rn se puede expresar como combinacin
lineal de ellos:
(a1,a2,. . . ,an)= a1 (1,0,. . . ,0)+ a2(0,1,. . . ,0)+ . . . + a1n(0,0,. . . ,1)

DIMENSION
Si el espacio vectorial V tiene una base con un nmero
finito de elementos, entonces la dimensin de V es el
nmero de vectores en todas las bases y V se
denomina espacio vectorial de dimensin finita. De
otra manera, V se denomina espacio vectorial de
dimensin infinita. Si V = {0}, entonces se dice que
V tiene dimensin cero.
Notacin. La dimensin V se denota por dim V.
Todas las bases de un mismo espacio o subespacio tienen
el mismo nmero de vectores. Se llama dimensin de
dicho espacio o subespacio.
Por tanto, la dimensin es el mximo nmero de vectores
independientes que podemos tener en el espacio o
subespacio.

 Teorema 1: La dimensin de Rn
Como vectores linealmente independientes en Rn
constituyen una base, se observa que
dim Rn = n
Propiedades de la dimensin.
1. Significado fsico de la dimensin: el espacio tiene
dimensin 3, los planos dimensin 2, las rectas dimensin
1, el punto dimensin 0. El subespacio {0} es el nico de
dimensin 0.
2. Si S y T son subespacios y S est contenido en T,
entonces dim S dim T. Adems, si se da la igualdad,
dim S = dim T, entonces ambos espacios han de coincidir.

 Dimensin finita: Un espacio vectorial V es de

dimensin finita si y slo si la base de V tiene
un finito nmero de vectores Rn Cn Pn Mmn
Dimensin infinita: Un espacio vectorial V es
de dimensin infinita si y slo si la base de V
tiene un infinito nmero de vectores

 Teorema 1:
Suponga que dim V = n. Si {u1, u2, . . . , um} es un conjunto
de m vectores linealmente independientes en V, entonces
mn
Teorema 2:
Sea H un subespacio de un espacio vectorial de dimensin
finita V. Entonces H tiene dimensin finita y
dim H dim V
Teorema 3:
Los nicos subespacios propios de R3 son los conjuntos de
vectores que estn en una recta o en un plano que pasa
por el origen

Resumen
Sean {V,K,+,.} un espacio vectorial, dim V = n, y S
V, S={s1,s2,.sn}, entonces si S es linealmente
independiente, S es una base de V.
Sean {V,K,+,.} un espacio vectorial, dim V = n, y S
V, S={s1,s2,.sn}, entonces si S es generador de V,
entonces S es una base de V.
Ejemplo:

Rn tiene dimensin n, pues tiene una base de n

elementos.

GRACIA
S