Universidad Central del Ecuador

Facultad de Ciencias
Álgebra Lineal

Base genérica no canónica para

(Rn [x] , R, +, ·)

Integrantes: Barba Nicole

Pilacuán Gandy
Toral Rabec
Vilatuña Andrés
Profesor: Ing. Vicente Chicaiza
Fecha de realización: 27 de mayo del 2019
Fecha de entrega: 29 de mayo del 2019
Quito, Ecuador
Índice de Contenidos i

Índice de Contenidos

1. Preámbulo 1
1.1. Base canónica del espacio vectorial . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2. Construcción de la base no canónica 2

2.1. Caso 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2.2. Caso 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

Referencias 4

Base genérica no canónica para (Rn [x] , R, +, ·) IM-03 Álgebra Lineal II

Preámbulo 1

1. Preámbulo
1.1. Base canónica del espacio vectorial
Sea p ∈ Rn [x], p = ni=0 ai ti = a0 + a1 t + ... + an tn un polinomio de grado menor o igual a n
P

con coeficientes reales.

Sea C = {1, t, ..., tn } base canónica de Rn [x]. Se sabe que esta base es linealmente independiente
(por definición) y, para comprobarlo, se realiza una combinación lineal de sus elementos. la cual
genera un sistema de ecuaciones de la siguiente forma.

α0 + 0 + 0 + ... + 0 = 0 


0 + α1 + 0 + ... + 0 = 0 
(1)
0 + 0 + α2 + ... + 0 = 0 


0 + 0 + 0 + ... + αn = 0 

Expresando el sistema de ecuaciones en forma matricial AX = 0, se obtiene lo siguiente.

    
1 0 0 ··· 0 α0 0
0 1 0
 · · · 0  α1  0
   

0 0 1 · · · 0  α2  = 0
    
(2)
 .. .. . . ..   ..   .. 
    
. . . .   .  .
0 0 0 ··· 1 αn 0
 
Si A 6= 0 ⇒ X = 0. Entonces,
 

 
1
 0 0 · · · 0
  0
 1 0 · · · 0
  0 0 1 · · · 0 = 1 6= 0

 A =  (3)
 .. .. . . .. 
. . . .


 
0 0 0 · · · 1

Así, por (3) se comprueba que el C es linealmente independiente.

1.2. Definiciones

Definición 1.2.1. Un conjunto B se dice base de un espacio vectorial si solamente si:

(i) Rn [x] =< B >

(ii) B es un sistema libre

Definición 1.2.2. Para generar el espacio vectorial de Rn [x] (ii), se necesitan n + 1 vectores
linealmente independientes.

Base genérica no canónica para (Rn [x] , R, +, ·) IM-03 Álgebra Lineal II

Construcción de la base no canónica 2

2. Construcción de la base no canónica

En la presente sección se van a tomar en cuenta los coeficientes de la matriz A y su determinante,

dado que los vectores columna de la matriz A son isomorfos a los elementos de las base C. Para
construir una base B de Rn [x], debe satisfacer las condiciones (i), (ii) de la definición 1.1.2.

2.1. Caso 1

Sea B1 un conjunto generador de Rn [x], tal que,

B1 = {α0 , β0 + β1 t, ..., η0 + η1 t + ... + ηn tn } (1)

Con α0 , β1 , ..., ηn 6= 0.

Utilizando la representación matricial de la sección 1.1 se obtiene la matriz A con los coeficientes
de los elementos del sistema generador B1 . Así,
 
α0 β0 · · · η0
 0 β1 · · · η1 
 
A= .
 .. . . . (2)
 .. . . .. 

0 0 · · · ηn

Se observa claramente que la matriz A es triangular superior, por lo que su determinante será
el producto de los elementos de la diagonal. Entonces,
 
A = α0 · β1 · ... · ηn 6= 0 (3)
 

De (2) se concluye que B1 es linealmente independiente. Luego, por (i) y (ii), B2 es una base
de Rn [x].

2.2. Caso 2

Sea B2 un conjunto generador de Rn [x], tal que,

n o
B2 = α0 + α1 t + ... + αn tn , β1 t + β2 t2 + βn tn , ..., ηn tn (4)

Con α0 , β1 , ..., ηn 6= 0.

Utilizando la representación matricial de la sección 1.1 se obtiene la matriz A con los coeficientes
de los elementos del sistema generador B2 . Así,

Base genérica no canónica para (Rn [x] , R, +, ·) IM-03 Álgebra Lineal II

Construcción de la base no canónica 3

 
α0 0 ··· 0
 α1

β1 ··· 0 
A=
 .. .. .. ..  (5)
 . . . .

αn βn · · · ηn

Se observa claramente que la matriz A es triangular inferior, por lo que su determinante será el
producto de los elementos de la diagonal. Entonces,
 
A = α0 · β1 · ... · ηn 6= 0 (6)
 

De (6) se concluye que B2 es linealmente independiente. Luego, por (i) y (ii), B2 es una base
de Rn [x].

Base genérica no canónica para (Rn [x] , R, +, ·) IM-03 Álgebra Lineal II

Referencias 4

Referencias
[1] Sheldon Axler. Linear algebra done right (1995)

[2] Elon Lages Lima. Álgebra Linear (1996).

Base genérica no canónica para (Rn [x] , R, +, ·) IM-03 Álgebra Lineal II