Ejercicio 1 Verificar lo siguiente:

1. El álgebra de los números complejos puede ser considerada como el sigu-

iente R-subespacio vectorial de R[i], el anillo de polinomios en la variable
i.
C = {c0 + c1 i; cj ∈ R}

2. El producto de complejos coincide con el producto de polinomios modi-

ficado por la siguiente tabla:

1 i
1 1 i
i i -1

Solución:

1. Tenemos que R[i], el conjunto de polinomios en la variable i es un

espacio vectorial con las operaciones usuales de adición y multiplicación
de un polinomio por un escalar, luego tenemos que el conjunto R1 [i] es
un subespacio vectorial de R[i], que esta conformado por todos los
polinomios de grado 1 o menores a este; esto es:

R1 [i] = {c0 + c1 i : c0 , c1 ∈ R}

De aquı́ es que podemos hacer la identificación:

R1 [i] = {c0 + c1 i : c0 , c1 ∈ R} = C

2. Dados a = a0 + a1 i y b = b0 + b1 i ∈ R1 [i], tenemos:

ab = a0 b0 + a0 b1 i + a1 b0 i + a1 b1 i2
Consideremos las siguientes identidades:

(a) 1.1 = 1
(b) i.1 = i
(c) 1.i = i
(d) i.i = −1

Ahora nuestra expresión queda de la forma siguiente:

ab = (a0 b0 − a1 b1 ) + (a0 b1 + a1 b0 )i

lo cual muestra que el producto de polinomios modificado por la

identidades dadad, coincide con el producto de complejos.

1
Ejercicio 2 Verificar lo siguiente:

1. El producto de geométrico mantiene la asociatividad del producto de

polinomios pero, como e2 e1 = −e1 e2 , es no conmutativo.

2. (e1 e2 )2 = −1. Esto permite establecer las identificaciones:

e1 e2 ≡ i y AG(2) ≡ R2 ⊕ C como R-espacios vectoriales.

3. De lo anterior se tiene las identidades:

e1 i = e2 , ie1 = −e2 , e2 i = −e1 , ie2 = e1

Solución:

1. Encontremos los productos ”ab”, ”ba”:

. ab = a0 b0 + a1 b1 + a2 b2 − a3 b3 +
(a0 b1 + a1 b0 + a3 b2 − a2 b3 )e1 +
(a0 b2 + a2 b0 + a1 b3 − a3 b1 )e2 +
(a0 b3 + a3 b0 + a1 b2 − a2 b1 )e1 e2 .....(I)
. ba = a0 b0 + a1 b1 − a2 b2 − a3 b3 +
(a0 b1 + a1 b0 − a3 b2 + a2 b3 )e1 +
(a0 b2 + a2 b0 − a1 b3 + a3 b1 )e2 +
(a0 b3 + a3 b0 − a1 b2 + a2 b1 )e1 e2 .....(II)

De (I) y (II) tenemos que:

ab 6= ba
lo que demuestra que el producto geométrico no es conmutativo.

2. Determinemos (e1 e2 )2 :
(e1 e2 )2 = (e1 e2 )(e1 e2 )
(e1 e2 )2 = e1 e2 e1 e2
(e1 e2 )2 = −e1 e2 e2 e1
(e1 e2 )2 = −1 =⇒ e1 e2 = i
De aqui se desprende que AG(2) = R2 ⊕ C

3. Encontremos los siguientes productos:

(a) e1 i = e1 e1 e2 = e2
(b) e2 i = e2 e1 e2 = −e1
(c) ie1 = e1 e2 e1 = −e2
(d) ie2 = e1 e2 e2 = e1

Ejercicio 3 Dados

2
 A = a0 + a1 e1 + a2 e2 + a3 e1 e2 ∈ AG(2) y
B = b0 + b1 e1 + b2 e2 + b3 e1 e2 ∈ AG(2)

verificar que:

AB = c0 + c1 e1 + c2 e2 + c3 e1 e2 ∈ AG(2)
donde:
c0 = a0 b0 + a1 b1 + a2 b2 − a3 b3
c1 = a0 b1 + a1 b0 + a3 b2 − a2 b3
c2 = a0 b2 + a2 b0 + a1 b3 − a3 b1
c3 = a0 b3 + a3 b0 + a1 b2 − a2 b1
Concluir que:
rM = M r ; ∀r ∈ R y ∀M ∈ AG(2)
Solución: Obtengamos AB haciendo uso del producto de polinomios
modificado mediante la tabla dada:
AB = (a0 + a1 e1 + a2 e2 + a3 e1 e2 )(b0 + b1 e1 + b2 e2 + b3 e1 e2 )
AB = a0 b0 + a1 b1 + a2 b2 − a3 b3 +
(a0 b1 + a1 b0 + a3 b2 − a2 b3 )e1 +
(a0 b2 + a2 b0 + a1 b3 − a3 b1 )e2 +
(a0 b3 + a3 b0 + a1 b2 − a2 b1 )e1 e2
Definamos:
c0 = a0 b0 + a1 b1 + a2 b2 − a3 b3
c1 = a0 b1 + a1 b0 + a3 b2 − a2 b3
c2 = a0 b2 + a2 b0 + a1 b3 − a3 b1
c3 = a0 b3 + a3 b0 + a1 b2 − a2 b1
Luego tendriamos:

AB = c0 + c1 e1 + c2 e2 + c3 c1 c2
Por otro lado, consideremos M = m0 + m1 e1 + m2 e2 + m3 e1 e2 y r ∈ R:
rM = r(m0 + m1 e1 + m2 e2 + m3 e1 e2 )
rM = rm0 + rm1 e1 + rm2 e2 + rm3 e1 e2
rM = m0 r + m1 e1 r + m2 e2 r + m3 e1 e2 r
rM = (m0 + m1 e1 + m2 e2 + m3 e1 e2 )r
∴ rM = M r

Ejercicio 4 Considerando:
a = a1 + a2 i, b = b1 + b2 i ∈ C y
v = v1 e1 + v2 e2 , w = w1 e1 + w2 e2 ∈ R2 ,
explicitar lo tres casos particulares siguientes:
1. El producto geométrico de complejos es un complejo,

3
 ab = ba = (a1 b1 − a2 b2 ) + (a1 b2 + a2 b1 )i ∈ C

concluir que C es una subálgebra conmutativa de AG(2)

2. El producto geométrico de dos vectores es un complejo,

vw = (v1 w1 + v2 w2 ) + (v1 w2 − v2 w1 )i ∈ C
wv = (w1 v1 + w2 v2 ) + (w1 v2 − w2 v1 )i ∈ C

comprobar que vw y wv son complejos conjugados; es decir,

vw = wv ∀v, w ∈ C

3. El producto gemétrico de un vector con un complejo es un

vector,

av = (a1 v1 + a2 v2 )e1 + (a1 v2 − a2 v1 )e2 ∈ R2

va = (a1 v1 − a2 v2 )e1 + (a1 v2 + a2 v1 )e2 ∈ R2

Comprobar que se cumple la identidad:

zv = vz ∀z ∈ C, ∀v ∈ R2

Solución:
1. Determinemos ab y ba

. ab = (a1 + a2 i)(b1 + b2 i)
ab = (a1 + a2 e1 e2 )(b1 + b2 e1 e2 )
ab = a1 b1 + a1 b2 e1 e2 + a2 e1 e2 + a2 b2 e1 e2 e1 e2
ab = (a1 b1 − a2 b2 ) + (a1 b2 + a2 b1 )e1 e2
ab = (a1 b1 − a2 b2 ) + (a1 b2 + a2 b1 )i...(I)
. ba = (b1 + b2 i)(a1 + a2 i)
ba = (b1 + b2 e1 e2 )(a1 + a2 e1 e2 )
ba = a1 b1 + a1 b2 e1 e2 + a2 e1 e2 + a2 b2 e1 e2 e1 e2
ba = (a1 b1 − a2 b2 ) + (a1 b2 + a2 b1 )e1 e2
ba = (a1 b1 − a2 b2 ) + (a1 b2 + a2 b1 )i...(II)

De (I) y (II) concluimos que ab = ba ∈ C

2. Dados los vectores v, w ∈ R2 , calculemos vw y wv

. vw = (v1 e1 + v2 e2 )(w1 e1 + w2 e2 )
vw = v1 w1 + v1 w2 e1 e2 + v2 w1 e2 e1 + v2 w2
vw = (v1 w1 + v2 w2 ) + (v1 w2 − v2 w1 )e1 e2
vw = (v1 w1 + v2 w2 ) + (v1 w2 − v2 w1 )i ∈ C...(I)

4
 . wv = (w1 e1 + w2 e2 )(v1 e1 + v2 e2 )
wv = w1 v1 + w1 v2 e1 e2 + w2 v1 e2 e1 + w2 v2
wv = (w1 v1 + w2 v2 ) + (w1 v2 − w2 v1 )e1 e2
wv = (w1 v1 + w2 v2 ) + (w1 v2 − w2 v1 )i ∈ C...(II)

De (I) y (II) concluimos que:

vw = wv

3. Dados a ∈ C y vR2 tenemos:

. av = (a1 + a2 i)(v1 e1 + v2 e2 )
av = (a1 + a2 e1 e2 )(v1 e1 + v2 e2 )
av = a1 v1 e1 + a1 v2 e2 + a2 v1 e1 e2 e1 + a2 v2 e1 e2 e2
av = (a1 v1 + a2 v2 )e1 + (a1 v2 − a2 v1 )e2 ∈ R2 ...(I)
. va = (v1 e1 + v2 e2 )(a1 + a2 i)
va = (v1 e1 + v2 e2 )(a1 + a2 e1 e2 )
va = v1 a1 e1 + v1 a2 e2 + v1 a1 e2 − v2 a2 e1
va = va = (a1 v1 − a2 v2 )e1 + (a1 v2 + a2 v1 )e2 ∈ R2 ...(I)

De (I) y (II) tenemos que:

zv = vz ∀z ∈ C y ∀v ∈ R2

Ejercicio 5 Verificar la siguiente forma alternativa de expresar la familia

de vectores unitarios del R2

S 1 = w ∈ R2 ; w 2 = 1


Prueba
Tenemos que:

S 1 = w ∈ R2 ; ||w|| = 1


S 1 = w ∈ R2 ; ||w||2 = 1


S 1 = w ∈ R2 ; ww = 1


S 1 = w ∈ R2 ; w 2 = 1


Ejercicio 6 Verificar que:

z ∈ C y v ∈ R2 =⇒ ||zv|| = |z|||v||

Prueba
||zv||2 = (zv)(zv)
||zv||2 = zvzv

5
||zv||2 = zvvz
||zv||2 = z||v||2 z ∈ C
como C es un álgebra, tenemos:
||zv||2 = zz||v||2 ||zv||2 = |z|2 ||v||2

Ejercicio 7 Verificar:

1. Las matrices
       
1 0 0 1 1 0 0 −1
, , y
0 1 1 0 0 −1 1 0

determinan una R-base de R2×2

2. R2×2 contiene una copia isomorfa del R-espacio vectorial R2 que asocia
las matrices m1 y m2 con la base canónica e1 y e2 respectivamente.

3. Se cumple la identidad (m1 m2 )(m1 m2 ) = m0 y por la tanto el álgebra

R2×2 contiene una copia isomorfa del álbegra conmutativa de los
números complejos C que asocia m0 con 1 y m1 m2 con i.

4. Las matrices m1 y m2 cumplen las llamadas condiciones de

Grassmann-Clifford para matrices

m1 m1 = m2 m2 = m0 y m1 m2 + m2 m1 = 0

5. Las condiciones de Grassmann-Clifford para matrices determinan que el

producto de dos matrices expresadas en la forma

a0 m0 + a1 m1 + a2 m2 + a3 m1 m2 ; aj ∈ R

Se expresa exactamente de la misma forma.

Solución:

1. Para demostrar que las matrices

       
1 0 0 1 1 0 0 −1
, , y
0 1 1 0 0 −1 1 0

determinan una base para R2×2 , debemos mostrar que estas son
Linealmente independientes y que generan a R2×2 .
En efecto:

(a) Consideremos las siguiente combinación lineal:

         
1 0 0 1 1 0 0 −1 0 0
α1 +α2 +α3 + α4 =
0 1 1 0 0 −1 1 0 0 0

6
    
α1 + α3 α2 − α4 0 0
=
α2 + α4 α1 − α3 0 0
de donde concluimos que:

α1 = α2 = α3 = α4 = 0
∴ Las matrices:
       
1 0 0 1 1 0 0 −1
, , y
0 1 1 0 0 −1 1 0
son Linealmente Independientes.
(b) Probemos ahora que estas matrices generan a R2×2 , para eso
consideremos la siguiente expresión:

         
1 0 0 1 1 0 0 −1 x y
α1 +α2 +α3 + α4 =
0 1 1 0 0 −1 1 0 z w
   
α1 + α3 α2 − α4 x y
=
α2 + α4 α1 − α3 z w
De esta última expresión concluimos que:
x+w y+z x−w z−y
α1 = , α2 = , α3 = , α4 =
2 2 2 2
Esto muestra que dada una matriz de R2×2 siempre es posible
expresarse como una combinación lineal de las matrices.
       
1 0 0 1 1 0 0 −1
, , y
0 1 1 0 0 −1 1 0

Es ası́ que estas matrices generan al espacio R2×2

2. Para demostrar que R2×2 contiene una copia isomorfa del R-espacio
vectorial R2 de modo que se asocien las bases {m1 , m2 } y {e1 , e2 }, será
mas que suficiente que encontremos un isomorfismo entre R2 y una
parte de R2×2 :
En efecto:  
y x
Definamos la aplicación ϕ : R2 −→ R2×2 tal que: ϕ(x, y) =
x −y

(a) Mostremos que ϕ es un homomorfismo:

Dados v = (x1 , y1 ), w = (x2 , y2 ) ∈ R2 y α, β ∈ R tenemos:
 
αy1 + βy2 αx1 + βx2
ϕ(αv+βw) = ϕ(αx1 +βx2 , αy1 +βy2 ) =
αx1 + βx2 −αy1 − βy2

7
 De aquı́ tenemos:

ϕ(x1 + x2 , y1 + y2 ) = αϕ(x1 , y1 ) + βϕ(x2 , y2 )

∴ ϕ es un homomorfismo.
(b) Ahora vamos a verificar que ϕ es inyectiva.
Sean v = (x1 , y1 ), w = (x2 , y2 ) ∈ R2 , luego:

ϕ(v) = ϕ(w)
   
y1 x1 y2 x 2
=
x1 −y1 x2 −y2
De donde tenemos:
(x1 , y1 ) = (x2 , y2 )
v=w
∴ ϕ es inyectiva.
(c) La aplicación ϕ : R2 −→ ϕ(R2 ) es sobreyectiva.

De lo demostrado concluimos que ϕ es un isomorfismo sobre ϕ(R2 ).

3. Encontremos el valor de (m1 m2 )2 :

(m1 m2 )2 = 
(m1 m2 )(m1 m2 )      
2 0 1 1 0 0 1 1 0
(m1 m2 ) =
1 0 0 −1 1 0 0 −1
   
0 −1 0 −1
(m1 m2 )2 =
1 0 1 0
 
1 0
(m1 m2 )2 = − = −m0
0 1

Ejercicio 8 Dados

A = a0 + a1 u1 + a2 u2 + a3 u1 u2 ∈ AG(2) y
B = b0 + b1 u1 + b2 u2 + b3 u1 u2 ∈ AG(2)

verificar que:

AB = c0 + c1 u1 + c2 u2 + c3 u1 u2 ∈ AG(2)

donde:

c0 = a0 b0 + a1 b1 + a2 b2 − a3 b3
c1 = a0 b1 + a1 b0 + a3 b2 − a2 b3
c2 = a0 b2 + a2 b0 + a1 b3 − a3 b1
c3 = a0 b3 + a3 b0 + a1 b2 − a2 b1

En particular se tiene que:

8
1. Dados v = v1 u1 + v2 u2 , w = w1 u1 + w2 u2 ∈ AG(2)

vw = (v1 w1 + v2 w2 ) + (v1 w2 − v2 w1 ) ∈ AG+ (2)

wv = (w1 v1 + w2 v2 ) + (w1 v2 − w2 v1 ) ∈ AG+ (2)

2. Dados a = a1 + a2 u1 u2 , b = b1 + b2 u1 u2 ∈ AG+ (2):

ab = ba = (a1 b1 − a2 b2 ) + (a1 b2 + a2 b1 )u1 u2 ∈ AG+ (2)

3. v ∈ AG1 (2), z ∈ AG+ (2) =⇒ zv, vz ∈ AG1 (2)

4. v = v1 u1 + v2 u2 ∈ AG1 (2) =⇒ v 2 = v12 + v22 ≥ 0

5. Poniendo z = z1 − z2 u1 u2 ,

z ∈ AG+ (2) =⇒ zz = z12 + z22 ≥ 0

Prueba: Obtengamos AB haciendo uso del producto de polinomios

modificado mediante la tabla dada:
AB = (a0 + a1 u1 + a2 u2 + a3 u1 u2 )(b0 + b1 u1 + b2 u2 + b3 u1 u2 )
AB = a0 b0 + a1 b1 + a2 b2 − a3 b3 +
(a0 b1 + a1 b0 + a3 b2 − a2 b3 )u1 +
(a0 b2 + a2 b0 + a1 b3 − a3 b1 )u2 +
(a0 b3 + a3 b0 + a1 b2 − a2 b1 )u1 u2
Definamos:
c0 = a0 b0 + a1 b1 + a2 b2 − a3 b3
c1 = a0 b1 + a1 b0 + a3 b2 − a2 b3
c2 = a0 b2 + a2 b0 + a1 b3 − a3 b1
c3 = a0 b3 + a3 b0 + a1 b2 − a2 b1
Luego tendriamos:

AB = c0 + c1 u1 + c2 u2 + c3 u1 u2

1. Dados los vectores v, w ∈ AG1 (2), calculemos vw y wv

. vw = (v1 u1 + v2 u2 )(w1 u1 + w2 u2 )
vw = v1 w1 + v1 w2 u1 u2 + v2 w1 u2 u1 + v2 w2
vw = (v1 w1 + v2 w2 ) + (v1 w2 − v2 w1 )u1 u2 ∈ AG+ (2)
. wv = (w1 u1 + w2 u2 )(v1 u1 + v2 u2 )
wv = w1 v1 + w1 v2 u1 u2 + w2 v1 u2 u1 + w2 v2
wv = (w1 v1 + w2 v2 ) + (w1 v2 − w2 v1 )u1 u2 ∈ AG+ (2)

2. Consideremos a = a1 + a2 u1 u2 , b = b1 + b2 u1 u2 ∈ AG+ (2),

determinemos ab y ba

9
 . ab = (a1 + a2 u1 u2 )(b1 + b2 u1 u2 )
ab = (a1 + a2 u1 u2 )(b1 + b2 u1 u2 )
ab = a1 b1 + a1 b2 u1 u2 + a2 u1 u2 + a2 b2 u1 u2 u1 u2
ab = (a1 b1 − a2 b2 ) + (a1 b2 + a2 b1 )u1 u2 ...(I)
. ba = (b1 + b2 u1 u2 )(a1 + a2 u1 u2 )
ba = (b1 + b2 u1 u2 )(a1 + a2 u1 u2 )
ba = a1 b1 + a1 b2 u1 u2 + a2 u1 u2 + a2 b2 u1 u2 u1 u2
ba = (a1 b1 − a2 b2 ) + (a1 b2 + a2 b1 )u1 u2 ...(II)

De (I) y (II) concluimos que ab = ba ∈ AG+ (2)

3. Determinemos los productos zv y vz

. zv = (z1 + z2 u1 u2 )(v1 u1 + v2 u2 )
zv = (z1 + z2 u1 u2 )(v1 u1 + v2 u2 )
zv = z1 v1 u1 + z1 v2 z2 + z2 v1 u1 u2 u1 + z2 v2 u1 u2 u2
zv = (z1 v1 + z2 v2 )u1 + (z1 v2 − z2 v1 )u2 ∈ AG1 (2)...(I)
. vz = (v1 u1 + v2 u2 )(z1 + z2 u1 u2 )
vz = (v1 u1 + v2 u2 )(z1 + z2 u1 u2 )
vz = v1 z1 u1 + v1 z2 u2 + v1 z1 u2 − v2 z2 u1
vz = (z1 v1 − z2 v2 )u1 + (z1 v2 + z2 v1 )u2 ∈ AG1 (2)...(II)

4. Dado v = v1 u1 + v2 u2 ∈ AG1 (2), tenemos:

v 2 = vv = (v1 u1 + v2 u2 )(v1 u1 + v2 u2 )
v 2 = v12 + v1 v2 u1 u2 − v1 v2 u1 u2 + v22
v 2 = v12 + v22 ≥ 0

5. Poniendo z = z1 − z2 u1 u2 tenemos:
zz = (z1 + z2 u1 u2 )(z1 − z2 u1 u2 )
zz = z12 − z1 z2 u1 u2 + z1 z2 u1 u2 + z22 zz = z12 + z22 ≥ 0

Ejercicio 9
{1, u1 , u2 , u1 u2 } es una R-base de AG(2)

Ejercicio 10 El producto exterior de vectores es anti-simétrico y bilineal;

es decir,
w ↑ v = −v ↑ w
(αu + βv) ↑ w = α(u ↑ w) + β(v ↑ w) donde α, β ∈ R
u ↑ (αv + βw) = α(u ↑ v) + β(u ↑ w) donde α, β ∈ R
Prueba
Dados los vectores u, v ∈ R2 y α, β ∈ R
wv − vw vw − wv
1. w ↑ v = =
2 2
w ↑ v = −v ↑ w

10
 (αu + βv)w − w(αu + βv)
2. (αu + βv) ↑ w =
2
(αu)w + (βv)w − w(αu) − w(βv)
(αu + βv) ↑ w =
  2  
uw − wu vw − wv
(αu + βv) ↑ w = α +β
2 2
(αu + βv) ↑ w = α(u ↑ w) + β(v ↑ w)

3. Análogamente se demuestra la tercera identidad.

Ejercicio 11 Complementando lo referente a raices de ±1, tenemos:

1. ±1 ∪ S 1 es un conjunto de las raices de 1.



2. {uv; u y v ortonormales} es un conjunto de las reices de 1.

Prueba

1. Dado:
v = 1 ∨ v = −1 =⇒ v 2

v ∈ {±1} ∪ S1 =⇒
v∈ S1
=⇒ ||v|| = 1 =⇒ ||v||2 = 1 =⇒ v 2 = 1
∴ los elementos de ±1 ∪ S 1 son raices cuadradas de 1.


2. u2 = 1 ∧ v 2 ∧ uv + vu = 0, luego:
(uv)2 = (uv)(uv) = uvuv = −uuvv = −u2 v 2 = −1(1) = −1
∴ los elementos de {u, v/u, v ortonormales} son raices cuadradas de −1

Ejercicio 12 Tenemos algunas consecuencias importantes:

1. El producto interior de 1-vectores coincide con el tradicional producto

interior de R2 y, la 1-magnitud euclidiana de AG1 (2) induce la métrica
euclidiana canónica del R2 .

2. (iej ) ↓ ej = ej ↓ (ej i) = 0 donde 0 ≤ j ≤ 2

(a) Escalares son ortogonales a bivectores (tomar j = 0).

(b) Los vectores e1 , e2 son ortogonales entre si (tomar j 6= 0)

3. De la conocida descomposición de un producto en su parte simétrica y

antisimétrica, aplicada al producto geométrico vw de dos 1-vectores,

vw + wv vw − wv
vw = +
2 2

se tienen las siguientes identidades que muestran que el producto

geométrico determina tanto el producto interior como el producto
exterior de vectores.

11
 vw + wv
v.w = ∈ AG0 (2)
2
vw − wv
v↑w= ∈ AG2 (2)
2
4. De lo anterior resulta que la descomposición del producto geométrico de
dos 1-vectores, en su parte simétrica y antisimétrica, es equivalente a la
descomposición única del producto geométrico de dichos 1-vectores
como suma de un 0-vector con un 2-vector

vw = v.w + v ↑ w

5. e1 ↑ e2 = e1 e2 = i
Prueba
1. Sean:
A = A1 u1 + A2 u2 , B = B1 u1 + B2 u2
AB + BA
A↓B=
2
(A1 u1 + A2 u2 )(B1 u1 + B2 u2 ) + (B1 u1 + B2 u2 )(A1 u1 + A2 u2 )
A↓B=
2
A ↓ B = A1 B1 (u1 ↓ u1 )+A1 B2 (u1 ↓ u2 )+A2 B1 (u2 ↓ u1 )+A2 B2 (u2 ↓ u2 )
A ↓ B = A1 B1 + A2 B2 ... (I)
por otro lado:
AB = (A1 u1 + A2 u2 )(B1 u1 + B2 u2 )
AB = A1 B1 u1 u1 + A1 B2 u1 u2 + A2 B1 u2 u1 + A2 B2 u2 u2
AB = A1 B1 + A2 B2 + A1 B2 u1 u2 − A2 B1 u1 u2
AB = A1 B1 + A2 B2 + (A1 B2 − A2 B1 )u1 u2
de donde se tiene que:
hABi0 = A1 B1 + A2 B2 ...(II)
De (I) y (II) tenemos:
A ↓ B = hABi0 := A.B

- Si B = A =⇒ AA = A21 + A22 + (A1 A2 − A2 A1 )u1 u2

luego
AA = hAAi0 = A21 + A22 = ||A||2

2. Consideremos la base canónica {e1 , e2 } de R2 , luego tenemos.

iej ej = i(ej ej ) = ||ej ||2 i = i
luego: (iej ) ↓ ej = hiej ej i0 = 0 ∴ iej ⊥ ej
En particular:

(a) Si: D = D0 u1 u2 ; AG(2) ∼

= R ⊕ R2 ⊕ Ri
luego:
CD = C(D0 u1 u2 )0 = (CD)u1 u2 = hCDi2
hCDi0 = hCDi1
Como hCDi = 0, se dice que C ⊥ D

12
 (b) e1 ↓ e2 = he1 ei0 = e1 .e2 = 0 =⇒ e1 ⊥ e2
vw + wv vw − wv
3. Tenemos que: v.w = ∈ AG0 (2); v ↑ w = ∈ AG2 (2)
2 2
además:
vw + wv vw − wv
vw = +
2 2
luego:
vw + wv
. v↓w= ∈ R =⇒ hv ↓ wi0 = v.w
2
vw − wv
. v↑w= ∈ Ri
2
4. vw = v.w + v ↑ w
e1 e2 − e2 e1
5. e1 ↑ e2 = = e1 e2
2
Ejercicio 13 Dados los pares ordenados (a, b), (u, v) ∈ S 1 × S 1 ,

1. La siguiente relación en S 1 × S 1

(a, b) ∼ (u, v) ⇐⇒ ab = uv

Es una relación de equivalencia.

2. (a.b)2 + ((a ↑ b)i)2 = 1

Prueba

1. Para demostrar que la relación ∼ es de equivalencia, esta debe ser

reflexiva, simétrica y transitiva.

(a) Tenemos que:

ab = ab =⇒ (a, b) ∼ (a, b)
Lo cual demuestra que ∼ es reflexiva.
(b) Consideremos (a, b), (u, v) ∈ S 1 × S 1 , de modo que:
(a, b) ∼ (u, v) =⇒ ab = uv
=⇒ uv = ab
=⇒ (u, v) ∼ (a, b)
Lo cual demuestra que ∼ es simétrica
(c) Tomemos ahora (m, n) ∈ S 1 × S 1 tal que,
(a, b) ∼ (u, v) ∧ (u, v) ∼ (m, n) =⇒ ab = uv ∧ uv = mn
=⇒ ab = mn
=⇒ (a, b) ∼ (m, n)

13
 con lo cual demostramos que la relación es transitiva.

∴ la relación ∼ es de equivalencia

2. Sean a, b ∈ S 1

. (ab)(ba) = abba = 1 ... (I)

por otro lado:
. (ab)(ba) = (a ↓ b + a ↑ b)(b ↓ a + b ↑ a)
(ab)(ba) = (a ↓ b)(b ↓ a) + (a ↓ b)(b ↑ a) + (b ↓ a)(a ↑ b) + (a ↑ b)(b ↑ a)
(ab)(ba) = (a ↓ b)2 − (a ↓ b)(a ↑ b) + (a ↓ b)(a ↑ b) − (a ↑ b)(a ↑ b)
(ab)(ba) = (a ↓ b)2 − (a ↑ b)(a ↑ b) (ab)(ba) = (a ↓ b)2 + (a ↑ b)2 i2
(ab)(ba) = (a ↓ b)2 + ((a ↑ b)i)2 ...(II)

De (I) y (II) tenemos:

(a ↓ b)2 + ((a ↑ b)i)2 = 1

Ejercicio 14 Los operadores ∂j y ∇ son lineales.

Prueba

1. Af irmacion 1 :
∂j (αf + βg) = α∂j f + β∂j g α, β ∈ R f, g ∈ AG(Ω, R)
En ef ecto :
Sean
f = f0 +f1 u1 +f2 u2 +f3 u1 u2 , g = g0 +g1 u1 +g2 u2 +g3 u1 u2 ∈ AG(Ω, R)
Luego:
∂j (αf + βg) =
∂j (αf0 + αf1 u1 + αf2 u2 + αf3 u1 u2 + βg0 + βg1 u1 + βg2 u2 + βg3 u1 u2 )
∂j (αf + βg) =
α∂j (f0 + f1 u1 + f2 u2 + f3 u1 u2 ) + β∂j (g0 + g1 u1 + g2 u2 + g3 u1 u2 )
∂j (αf + βg) = α∂j f + β∂j g

2. Af irmacion 2 :
∇(αf + βg) = α∇f + β∇g
En ef ecto :
∇(αf + βg) = u1 ∂1 (αf + βg) + u2 ∂2 (αf + βg)
∇(αf + βg) = αu1 ∂1 f + βu1 ∂1 g + αu2 ∂2 f + βu2 ∂2 g
∇(αf + βg) = αu1 ∂1 f + αu2 ∂2 f + βu1 ∂1 g + βu2 ∂2 g
∇(αf + βg) = α∇f + β∇g

Ejercicio 15 La derivada geométrica ”contiene” los conceptos de

gradiente, divergencia y otros; es decir,

1. Si f ∈ C ∞ (Ω, R) entonces la derivada geométrica de f en p es el

gradiente de f en p.

14
 ∇f (p) = ∂1 f (p)e1 + ∂2 f (p)e2 ∈ R2

2. Si g ∈ C ∞ (Ω, R2 ) entonces la derivada geométrica de g en p es la suma

de la divergencia con el ”birotacional” de g en p

∇g(p) = ∇g(p) + ∇ ↑ g(p) ∈ R ⊕ C

3. Si h = f i con f ∈ C ∞ (Ω, R) entonces la derivada geométrica de h en p

es el ”ortogradiente” de f en p; es decir,

∇h(p) = −∂2 f (p)e1 + ∂1 f (p)e2 ∈ R2

Prueba

1. Consideremos una base ortonormal con orientación positiva {e1 , e2 }

Luego:
∇f = e1 ∂1 f + e2 ∂2 f
como f ∈ C ∞ (Ω, R) tenemos:
∇f = ∂1 f e1 + ∂2 f e2

2. Tenemos que g ∈ C ∞ (Ω, R2 ) =⇒ g = g1 e1 + g2 e2

∇g = e1 ∂1 g + e2 ∂2 g
∇g = e1 ∂1 (g1 e1 + g2 e2 ) + e2 ∂2 (g1 e1 + g2 e2 )
∇g = ∂1 g1 + ∂1 g2 e1 e2 − ∂2 g1 e1 e2 + ∂2 g2
∇g = (∂1 g1 + ∂2 g2 ) + (∂1 g2 − ∂2 g1 )i
∇g = ∇ ↓ g + ∇ ↑ g

3. Tenemos por hipótesis que: h = f i con f ∈ ∞(Ω, R)

Luego, como i = e1 e2 =⇒ h = f e1 e2
Luego:
∇h = ∇f e1 e2 = e1 ∂1 f e1 e2 + e2 ∂2 f e1 e2
∇h = ∂1 f e2 − ∂2 f e1 ∇h = −∂2 f e1 + ∂1 f e2 ∈ R2

15