Álgebra Lineal y Geometrı́a I EXAMEN febrero 2019

1.- Sea A = {( a, x ) : a, x ∈ Q}. Se define en A la operación ( a, x ) · (b, y) = ( ab, bx + y).

Demostrar que ( A, ·) es un grupo no abeliano. Probar que B = {(1, x ) : x ∈ Q} es un subgrupo
de A.

Solución: Para justificar que ( A, ·) es un grupo, hemos de comprobar que la operación

interna esté bien definida, i.e. que ( a, x ) · (b, y) ∈ A para todo ( a, x ), (b, y) ∈ A, que esta
satisfaga la propiedad asociativa, que exista un elemento neutro y que todo elemento
tenga inverso:
I) Que la operación interna es cerrada resulta evidente: ( a, x ) · (b, y) = ( ab, bx + y) ∈
A ya que ab ∈ Q, bx + y ∈ Q para cualesquiera a, b, x, y ∈ Q
II) Sean ( a, x ), (b, y), (c, z) ∈ A. Se tiene
[( a, x ) · (b, y)] · (c, z) = ( ab, bx + y) · (c, z) = ( abc, c(bx + y) + z)
( a, x ) · [(b, y) · (c, z)] = ( a, x ) · (bc, cy + z) = ( abc, bcx + cy + z) = ( abc, c(bx + y) + z)
Por tanto, [( a, x ) · (b, y)] · (c, z) = ( a, x ) · [(b, y) · (c, z)] y la operación es asociativa.
III) Por definición, el elemento neutro (e, w) es el que deja invariante a cualquier otro
elemento del grupo bajo la operación interna, esto es
( a, x ) · (e, w) = ( a, x ) ∀( a, x ) ∈ A
Desarrollando el miembro izquierdo, encontramos que
( a, x ) · (e, w) = ( ae, ex + w) = ( a, x ) =⇒ ae = a ex + w = x =⇒ e = 1, w = 0
de modo que el elemento neutro es el (1, 0)
IV) Por último, nos cercioramos de la existencia de elemento inverso para un elemento
genérico ( a, x ), esto es, aquel que cumple ( a, x ) · ( A, X ) = (1, 0). Tenemos
( a, x ) · ( A, X ) = ( aA, xA + X ) = (1, 0) =⇒ aA = 1 xA + X = 0
1 x
=⇒ A = X = − xA = −
a a
Ası́, el inverso de ( a, x ) es (1/a, − x/a). Nótese que los elementos con a = 0 carecen
de inverso y, por tanto, han de excluirse del grupo.
Para concluir la primera parte del ejercicio, mostramos que ( A, ·) no es un grupo abe-
liano. Basta con encontrar un contraejemplo. Verbigracia:
(1, 2) · (3, 4) = (1 · 3, 3 · 2 + 4) = (3, 10)
(3, 4) · (1, 2) = (3 · 1, 1 · 4 + 2) = (3, 6)
por lo que (1, 2) · (3, 4) 6= (3, 4) · (1, 2) y el grupo no es abeliano.

En la segunda parte del problema se pide probar que ( B, ·) es un subgrupo de ( A, ·). Las
propiedades a verificar son las mismas que antes, excepto la asociativa, que se hereda
automáticamente:
Febrero 2019
Álgebra Lineal y Geometrı́a I EXAMEN febrero 2019

I) La operación interna es cerrada, ya que, dados (1, x ), (1, y) ∈ B

(1, x ) · (1, y) = (1, x + y)

que es de la forma (1, z) con z ∈ Q y, por tanto, pertenece a B

II) El elemento neutro (1, 0) está en B

III) Sea (1, x ) un elemento genérico de B. Utilizando el resultado encontrado antes (o

el que (1, x ) · (1, y) = (1, x + y)), se deduce que su inverso es (1, − x ) ∈ B

Queda pues demostrado que ( B, ·) es un subgrupo.

2.- Sea V = R4 [ x ]. Se consideran los polinomios

p1 ( x ) = 3 − 2x + x2 + 4x3 + x4

p2 ( x ) = 4 − x + x2 + 6x3 − 2x4
p3 ( x ) = 7 − 8x + 3x2 + ax3 + bx4
Determinar los valores de a, b ∈ R para los cuales el subespacio W = lin{ p1 ( x ), p2 ( x ), p3 ( x )}
tiene dimensión 2. Para dichos valores encontrar una base de W y calcular las coordenadas
de p1 , p2 , p3 en esa base.

Solución: El subespacio W tendrá dimensión 2 si y solo si el conjunto { p1 , p2 , p3 } solo

contiene dos vectores linealmente independientes, es decir, debe tenerse

λp1 + µp2 = p3

para ciertos λ, µ ∈ R. Desarrollando esta expresión

λ(3 − 2x + x2 + 4x3 + x4 ) + µ(4 − x + x2 + 6x3 − 2x4 ) = 7 − 8x + 3x2 + ax3 + bx4

Igualando coeficientes llegamos al sistema



 3λ + 4µ = 7

−2λ − µ = −8



λ+µ = 3

4λ + 6µ = a





λ − 2µ = b


De las tres primeras (basta con tomar dos de ellas) se determinan λ = 5, µ = −2, lo que
da directamente los valores de a y b

a = 4λ + 6µ = 20 − 12 = 8 b = λ − 2µ = 5 + 4 = 9

Febrero 2019
Álgebra Lineal y Geometrı́a I EXAMEN febrero 2019

Ahora que p3 depende linealmente de p1 y p2 , una base de W viene dada por

B = { p1 , p2 } = {3 − 2x + x2 + 4x3 + x4 , 4 − x + x2 + 6x3 − 2x4 }

Respecto de la citada base, p1 = (1, 0), p2 = (0, 1) y p3 = (5, −2), puesto que p1 =
1 · p1 + 0 · p2 , p2 = 0 · p1 + 1 · p2 y p3 = 5p1 − 2p2 , como determinamos anteriormente.

3.- Sean ρ1 , ρ2 , ρ3 : R3 −→ R las formas lineales dadas por

ρ1 ( x1 , x2 , x3 ) = 2x1 − x2 + x3

ρ2 ( x1 , x2 , x3 ) = x1 + x2
ρ3 ( x1 , x2 , x3 ) = x1 − 3x3
Estudiar si ρ1 , ρ2 , ρ3 son linealmente independientes. En tal caso, encontrar una base de R3 de la
cual {ρ1 , ρ2 , ρ3 } sea base dual.

Solución: Estudiar la independencia lineal consiste en discutir la existencia de soluciones

no triviales a la ecuación

aρ1 + bρ2 + cρ3 = 0 a, b, c ∈ R

esto es
a(2x1 − x2 + x3 ) + b( x1 + x2 ) + c( x1 − 3x3 ) = 0
Equivalentemente

(2a + b + c) x1 + (− a + b) x2 + ( a − 3c) x3 = 0

Dado que las formas lineales x1 , x2 , x3 son independientes, la igualdad anterior conduce
al sistema de ecuaciones 
2a + b + c = 0

−a + b = 0

a − 3c = 0


Se trata de un sistema lineal homogéneo. En virtud del teorema de Rouché-Frobenius,

el sistema tendrá soluciones distintas de la trivial a = b = c = 0 (y, por ende, ρ1 , ρ2 , ρ3
serán linealmente dependientes) si y solo si el determinante de la matriz de coeficientes
es cero. Sin embargo, dicho determinante vale
 
 2 1 1 
 
−1 1 0  = −10
 
 1 0 −3

Ası́, el sistema {ρ1 , ρ2 , ρ3 } es libre. En consecuencia, existe una base {v1 , v2 , v3 } de R3 tal
que {ρ1 , ρ2 , ρ3 } es su base dual, lo que significa que

ρi (v j ) = δij i, j = 1, 2, 3
Febrero 2019
Álgebra Lineal y Geometrı́a I EXAMEN febrero 2019

es decir, ρ1 (v1 ) = 1, ρ2 (v3 ) = 0 y ası́ sucesivamente. Una forma rápida de encontrar estos
vectores es por medio de matrices como sigue. Si v1 = ( X1 , Y1 , Z1 ), las condiciones que
debemos imponer son

ρ1 (v1 ) = 2X1 − Y1 + Z1 = 1 ρ2 (v1 ) = X1 + Y1 = 0 ρ3 (v1 ) = X1 − 3Z1 = 0

o bien     
2 −1 1 X1 1
1 1 0   Y1  = 0
1 0 −3 Z1 0
Para resolver el sistema, calculamos la inversa de la matriz de coeficientes (la cual es
regular, pues es la traspuesta de la matriz cuyo determinante obtuvimos). Se encuentra
que la inversa de esta matriz es
  −1  
2 −1 1 0,3 0,3 0,1
1 1 0  = −0,3 0,7 0,1 
1 0 −3 0,1 0,1 −0,3

Se sigue que
      
X1 0,3 0,3 0,1 1 0,3
 Y1  = −0,3 0,7 0,1  0 = −0,3
Z1 0,1 0,1 −0,3 0 0,1
Análogamente, siendo v2 = ( X2 , Y2 , Z2 ) y v3 = ( X3 , Y3 , Z3 ), tenemos
      
X2 0,3 0,3 0,1 0 0,3
 Y2  = −0,3 0,7 0,1  1 = 0,7
Z2 0,1 0,1 −0,3 0 0,1
      
X3 0,3 0,3 0,1 0 0,1
 Y3  = −0,3 0,7 0,1  0 =  0,1 
Z3 0,1 0,1 −0,3 1 −0,3
4.- Sea (V, K ) un espacio vectorial finitamente generado. Justificar razonadamente y explicitando
los teoremas usados el siguiente resultado:

’Todas las bases de V tienen el mismo cardinal.’

Solución: Tan solo haremos uso del teorema fundamental de los espacios vectoriales finitamen-
te generados.

Sean (V, K, +, ·) un espacio vectorial finitamente generado y B, B0 dos bases de V, con-

sideremos B sistema libre y B0 sistema generador de V (dado que son bases, ambos
sistemas de vectores B y B0 son libres y generadores). Por el teorema citado, ∃ B̃ sistema
generador de V tal que card( B̃) = card( B0 ) y B ⊂ B̃, de donde deducimos que al estar

Febrero 2019
Álgebra Lineal y Geometrı́a I EXAMEN febrero 2019

incluido B en B̃, card( B) ≤ card( B0 ).

De esta misma manera, intercambiando los papeles de B y B0 obtenemos que card( B0 ) ≤

card( B). Concluimos ası́ que card( B) = card( B0 ) se cumple para dos bases B, B0 cuales-
quiera de V, q.e.d.

Febrero 2019