Recopilado por Ing.

Aura Marina Juárez UNAH 1er PAC 2023

BASE Y DIMENSION DE UN ESPACIO VECTORIAL

DEFINICION DE BASE

Se llama base de un espacio vectorial V, a un conjunto de vectores, linealmente

independiente, que genera a dicho espacio.

Una base de un espacio vectorial V permite expresar cualquier vector de V como

combinación lineal de dicha base, de manera única para cada vector.

Un espacio vectorial puede tener más de una base. Los subespacios de espacios vectoriales,
al ser ellos mismos espacios vectoriales, también poseen bases.

BASE CANONICA

La base canónica (llamada también base natural o base estándar) de un espacio vectorial
está formada por los vectores canónicos del espacio.

Base canónica de R2: {(𝟏, 𝟎), (𝟎, 𝟏)} = {𝒊̂, 𝒋̂}

̂}
Base canónica de R3: {(𝟏, 𝟎, 𝟎), (𝟎, 𝟏, 𝟎), (𝟎, 𝟎, 𝟏)} = {𝒊̂, 𝒋̂, 𝒌

Base canónica de 𝑅𝒏 : {𝒆𝟏 , 𝒆𝟐 , 𝒆𝟑 , … , 𝒆𝒏 }

𝑒1 = (1,0,0, … ,0)

𝑒2 = (0,1,0, … ,0)

𝑒3 = (0,0,1, … ,0)

𝑒𝑛 = (0,0,0, … ,1)

Base canónica de 𝑴𝟐𝒙𝟐 : el espacio de matrices de 2x2:

1 0 0 1 0 0 0 0
{( ),( ),( ),( )}
0 0 0 0 1 0 0 1
Cualquier matriz de 2 x 2 se puede expresar como combinación lineal de dichos vectores de
manera única:

𝑎 𝑏 1 0 0 1 0 0 0 0
( ) = 𝑎( )+𝑏( )+𝑐( )+𝑑( )
𝑐 𝑑 0 0 1 1 1 0 0 1

Base canónica de 𝑴𝟑𝒙𝟐 :

1 0 0 1 0 0 0 0 0 0 0 0
{(0 0) , (0 0) , (1 0) , (0 1) , (0 0) , (0 0)}
0 0 0 0 0 0 0 0 1 0 0 1
 Recopilado por Ing. Aura Marina Juárez UNAH 1er PAC 2023

En la base canónica de un espacio vectorial, los vectores además de ser linealmente

independientes, y ser suficientes para generar a todo el espacio, son todos unitarios y
ortogonales entre sí.

El siguiente dibujo muestra un vector del espacio vectorial 𝑅3 generado por distintas bases:

freepng.es

Ambos dibujos dan la idea de que los vectores son ortogonales entre sí, con la diferencia de
que en el segundo dibujo parece que, además, son de la misma magnitud.

DIMENSION DE UN ESPACIO VECTORIAL

Todas las bases de un mismo espacio o subespacio V, siempre tienen el mismo número de
vectores, a ese número se le llama dimensión del espacio, y se representa como dim(V)

La dimensión de un espacio o subespacio es el máximo número de vectores linealmente

independientes que puede haber en un espacio o subespacio. Así:

- En 𝑅2 , la dimensión es 𝑛 = 2, el máximo número de vectores de 𝑅2 , linealmente

independientes, que puede haber en un conjunto es 2.
- En 𝑅3 , la dimensión es 𝑛 = 3, el máximo número de vectores de 𝑅3 , linealmente
independientes, que puede haber en un conjunto es 3.
- En 𝑅𝑛 , la dimensión es 𝑛, el máximo número de vectores linealmente
independientes de 𝑅𝑛 que puede haber en un conjunto es 𝑛.

TEOREMA

En un espacio o subespacio V de dimensión 𝑛:

 Un conjunto con más de 𝑛 vectores siempre será linealmente dependiente

 Un conjunto con menos de 𝑛 vectores, no puede generar a V.

Por ejemplo, un conjunto de 3 vectores de 𝑅2 siempre será linealmente dependiente,

entonces, puede que genere a 𝑅2 , pero nunca será una base.

Un conjunto de 2 vectores de 𝑅3 , puede ser linealmente independiente, pero nunca será

una base para 𝑅3 , porque no puede generar a 𝑅3 , no posee suficientes vectores.
 Recopilado por Ing. Aura Marina Juárez UNAH 1er PAC 2023

TEOREMA

Dado un conjunto con 𝑛 vectores pertenecientes a 𝑅𝑛 :

 Dicho conjunto es una base de 𝑅 𝑛 si es linealmente independiente

 Dicho conjunto es una base de 𝑅𝑛 , si genera a 𝑅𝑛

El teorema garantiza que, dado un conjunto de exactamente 𝑛 vectores de 𝑅 𝑛 , para

determinar si es una base de 𝑅 𝑛 , basta con verificar que el conjunto genera al espacio, o,
verificar que es linealmente independiente, no es necesario verificar las dos.

EJERCICIOS

1.Determine si los siguientes conjuntos 𝑯𝟏 = {(𝟏, 𝟎, −𝟏), (𝟎, 𝟐, 𝟏), (𝟏, −𝟏, 𝟑)} y 𝑯𝟐 =
{(𝟏, 𝟏, 𝟐), (𝟎, −𝟏, 𝟏), (𝟏, 𝟎, 𝟑)}, son bases del espacio vectorial 𝑅𝟑 .

Vemos que ambos son conjuntos con 3 vectores de 𝑅3 , entonces basta con verificar si
generan a 𝑅3 , o, basta con determinar si son linealmente independientes, lo cual, lo
podemos verificar simplemente calculando su determinante.

Para 𝐻1 :

1 0 1
| 0 2 −1| = 9 ≠ 0
−1 1 3

El conjunto 𝐻1 es linealmente independiente, entonces es una base para el espacio R3 .

Para 𝐻2 :

1 0 1
|1 −1 0| = 0
2 1 3

El conjunto 𝐻2 es linealmente dependiente, entonces no es una base para el espacio R3 .

2. Dados los siguientes conjuntos, explique, a simple vista cual sí podría ser una base y
cual no podría ser una base, para su respectivo espacio vectorial.

a) {(5,1), (10,2)} para R2

No es una base, porque el conjunto es linealmente dependiente (los vectores son múltiplos).

b) {(1,4), (0, −3), (7,2)} para R2

No es una base, porque el conjunto es linealmente dependiente (el número o cantidad de

vectores es mayor que la dimensión del espacio)
 Recopilado por Ing. Aura Marina Juárez UNAH 1er PAC 2023

c) {(1,0)} para R2

No es una base, el número o cantidad de vectores es menor que la dimensión del espacio.

d) {(1,0,1,0), (0,2, −1,0), (3,0, −2,1), (1,1,4,1)} para R4

En este caso, habrá que aplicar una definición, pero afortunadamente, basta con calcular el
determinante:

1 0 3 1
0 2 0 1
| | = −17 ≠ 0
1 −1 −2 4
0 0 1 1

Como el conjunto es linealmente independiente, y tiene 4 vectores de 𝑅 4 , se concluye que

es una base para 𝑅4 .

3. Encuentre una base para el espacio 𝑾 = {(𝒙, 𝒚, 𝒛) ∈ R𝟑 : 𝒛 = 𝟒𝒙 + 𝟓𝒚} e indique la

dimensión del espacio.

Se trata de un subespacio de R3 . En la descripción del subconjunto, ¿cuántas variables

arbitrarias, o variables independientes, aparecen? Vemos que son dos variables arbitrarias,
entonces, expresamos el vector general, (𝑥, 𝑦, 𝑧), solamente en términos de las variables
arbitrarias, y expresamos la que no es arbitraria, en términos de ellas. Si escogemos a 𝑥, 𝑦
como las variables arbitrarias:

𝑥 𝑥
( )=( 𝑦 )
𝑦
𝑧 4𝑥 + 5𝑦

Ahora, expresamos este vector como una suma de vectores, escribiendo un vector para
cada variable arbitraria:

𝑥 𝑥 0
( 𝑦 0 𝑦
)= ( )+( )
4𝑥 + 5𝑦 4𝑥 5𝑦

Observe que hay un vector solo para "𝑥" y otro vector solo para "𝑦". La suma de los vectores
tiene que dar como resultado el vector original.

Lo siguiente es “extraer” la variable en cada uno de los vectores:

𝑥 𝑥 0 1 0
( 𝑦 0 𝑦
) = ( ) + ( ) = 𝑥 (0) + 𝑦 (1)
4𝑥 + 5𝑦 4𝑥 5𝑦 4 5
 Recopilado por Ing. Aura Marina Juárez UNAH 1er PAC 2023

Lo que hemos obtenido es una combinación lineal de vectores independientes uno del otro,
y, dicha combinación lineal representa cualquier vector del conjunto 𝑊, entonces tenemos
una base para el subespacio:

1 0
Base para 𝑊: {(0) , (1)} dim(𝑊) = 2
4 5
La dimensión del espacio o subespacio es el número de vectores que hay en una base, o, el
número de variables o parámetros arbitrarios en las componentes de los vectores. Observe
que en la base se escriben los vectores, sin las variables.

Cualquier vector del espacio 𝑊 se puede expresar, de manera única, como una combinación
lineal de los vectores de la base.

4. Determine una base para el espacio 𝑾 = {(𝒙, 𝒚, 𝒛, 𝒕) ∈ R𝟒 : 𝒙 + 𝒚 = 𝟎, 𝒛 − 𝒕 = 𝟎}

¿Cuántas variables arbitrarias hay?

Observe que si se le asigna un valor a "𝑥", queda determinado el valor de "𝑦" , y si se le

asigna un valor a "𝑧" , el valor de "𝑡" queda determinado, entonces, hay dos variables
arbitrarias y dos que no lo son. Elija como variables o parámetros arbitrarios a dos de las
variables, no importa cuales: 𝑥, 𝑧 ; 𝑥, 𝑡 ; 𝑦, 𝑧 ; 𝑦, 𝑡. Si elegimos 𝑥, 𝑡:

𝑥 𝑥 1 0
𝑦 −𝑥 −1 0
( ) = ( ) = 𝑥( )+𝑡( )
𝑧 𝑡 0 1
𝑡 𝑡 0 1
1 0
−1 0
Base para 𝑊 = {( ) , ( )} dim(𝑊) = 2
0 1
0 1

𝒂 𝒂−𝒄
5. Determinar una base para 𝑾 = {( ) : 𝒂, 𝒄 ∈ R}
𝒂+𝒄 𝒄
En este caso, en el vector (matriz de 2x2) solo hay variables arbitrarias, ya solamente queda
separar el vector en una suma:
𝑎 𝑎−𝑐 𝑎 𝑎 0 −𝑐 1 1 0 −1
( )=( )+( ) = 𝑎( )+𝑐( )
𝑎+𝑐 𝑐 𝑎 0 𝑐 𝑐 1 0 1 1
1 1 0 −1
Base para 𝑊 = {( ),( )} dim(𝑊) = 2
1 0 1 1
 Recopilado por Ing. Aura Marina Juárez UNAH 1er PAC 2023

𝒂 𝒃
6. Determine una base para 𝑾 = {( ) : 𝒂, 𝒃, 𝒅 ∈ R}
𝒃 𝒅
De nuevo, está explícito que hay tres variables arbitrarias:

𝑎 𝑏 𝑎 0 0 𝑏 0 0 1 0 0 1 0 0
( )=( )+( )+( ) = 𝑎( )+𝑏( )+𝑑( )
𝑏 𝑑 0 0 𝑏 0 0 𝑑 0 0 1 0 0 1
1 0 0 1 0 0
Base para 𝑊= {( ),( ),( )} dim(𝑊) = 3
0 0 1 0 0 1

Para reforzar:

https://youtu.be/iG7pQoEAlIE

https://youtu.be/l64i9GEfzfI