TEMA 1: PRELIMINARES

1 Estructuras algebraicas
El álgebra, que antiguamente solo se dedicaba a hacer cuentas con números, ha pasado
a ocuparse de estructuras matemáticas más generales y abstractas, que se distinguen por
los axiomas o propiedades que se exigen a las operaciones que en ellas se consideran.

Leyes de composición interna (operaciones binarias)

Definición 1. Dado un conjunto G 6= ∅, se llama operación interna definida en G a
toda aplicación

G×G → G
(a, b) 7→ a ? b ≡ ab.

A veces se simplifica la notación sobreentendiendo el símbolo de operación interna ?,

también llamada “multiplicación”. Al escribir ab decimos que a está multiplicado por b.
Puede ser cualquier operación (no necesariamente la multiplicación de números). Esta
operación queda definida por su “tabla de multiplicar”:

Ejemplo 1:
? a b
a a b
b b a
Ejemplo 2: Suma binaria: Z2
+ 0 1
0 0 1
1 1 0
Cuando la ley de composición interna es la suma, la denotamos con el símbolo +.

Nótese que dados conjuntos G, G0 , G00 , las leyes del tipo G × G0 → G00 , G × G0 → G0 ,
G × G → G0 , no son leyes de composición interna, sino que son operaciones externas.

Grupos
Definición 2. Sea un conjunto G 6= ∅ y una operación interna ? definida en él, es decir
∀a, b ∈ G, a ? b ∈ G. G con dicha ley es un grupo (G, ?) si
• Se cumple la propiedad asociativa: a ? (b ? c) = (a ? b) ? c , ∀a, b, c ∈ G.

• Existe elemento neutro: ∃ e ∈ G , a ? e = e ? a = a , ∀a ∈ G.

• Existe elemento simétrico: ∀ a ∈ G , ∃ a0 ∈ G , a ? a0 = a0 ? a = e.

1
 A menudo al elemento simétrico de a lo llamamos inverso, y lo denotamos por a−1 . Si
la ley de composición interna es la suma, lo llamamos opuesto y lo denotamos por −a.

Si además se cumple la propiedad conmutativa: a ? b = b ? a , ∀a, b ∈ G, el grupo se

llama conmutativo o abeliano.

La estructura de grupo tiene enorme interés en Matemáticas y Física (grupos de

simetría en cristalografía, grupos de Lie, etc).

Ejemplos muy conocidos: los números enteros con la suma, (Z, +); los números
racionales con la suma, (Q, +); los números reales con la suma, (R, +), los números
racionales sin el 0 con la multiplicación, (Q − {0}, · ); los números reales sin el 0 con la
multiplicación, (R − {0}, · ), etc. Todos estos ejemplos son de grupos abelianos. ¿Por qué
(Q, · ) y (R, · ) no son grupos?

Si el congunto G con la ley ? solo cumple la ley de asociatividad, entonces a la estruc-

tura resultante la llamamos semigrupo. Por ejemplo: (N − {0}, +), (Z − {0}, ·).

Propiedades:

1) e es único.
Dem: si ∃ f, a ? f = f ? a = a, ∀a ∈ G → f ? e = f y f ? e = e → f = e.

2) a−1 es único.
Dem: b?a = e = a?b , c?a = e = a?c → c = (b?a)?c = b?(a?c) = b?e = b → c = b.

3) ∀ a, b ∈ G , ∃ ! x ∈ G tal que a ? x = b.
Dem: x = a−1 ? (a ? x) = a−1 ? b → x = a−1 ? b ∈ G.

4) ∀ a, b ∈ G , (a ? b)−1 = b−1 ? a−1 .

Dem: x ? (a ? b) = e → x ? a ? b ? b−1 = b−1 → x ? a = b−1 → x = b−1 ? a−1 .

5) ∀ a ∈ G , (a−1 )−1 = a.
Dem: b−1 = a → b = a−1 → (a−1 )−1 = a.

Definición 3. H 6= ∅ es subgrupo de un grupo (G, ?) si H ⊂ G y (H, ?) es grupo.

Equivalentemente: ∀ a, b ∈ H , a ? b−1 ∈ H ⇐⇒ H subgrupo de G.

Ejemplo 3: Los números pares 2k con k ∈ Z, en el grupo (Z, +), de hecho cualquier
conjunto {mk} con m fijo.

Un grupo especialmente interesante para nosotros es el grupo de las permutaciones.

2
• Grupo de las permutaciones

Dado el conjunto de los n primeros números naturales, X = {1, 2, · · · , n}, una per-
mutación es una biyección
 
1 2 ··· n
α:X→X , α= , αi 6= αj si i 6= j.
α1 α2 · · · αn

({α1 , α2 , · · · , αn } = X pero desordenado).

El conjunto de todas las permutaciones de X se denota como Sn y tiene n! elementos.

Sn , con la operación interna de composición, α ? β = α ◦ β (primero actúa β) forma un
grupo (Demostradlo).
  
12
Se tiene que S2 = e, es conmutativo, pero Sn≥3 no lo es.
21
Llamamos transposiciones a permutaciones que sólo intercambian dos elementos, así
que son inversas de ellas mismas. Llamamos r-ciclos a permutaciones que intercambian
cíclicamente r elementos.

Ejemplo 4: Dado
          
123 123 123 123 123
S3 = e, τ1 = , τ2 = , τ3 = , σ1 = , σ2 = ,
132 321 213 231 312

los inversos de las transposiciones τi (i = 1, 2, 3) son ellas mismas y el inverso del tres-
ciclo σ1 es σ2 (y viceversa). S3 tiene cuatro subgrupos propios: {e, τi } (i = 1, 2, 3) y
A3 = {e, σ1 , σ2 }, todos ellos conmutativos.

Definimos la paridad de una permutación o signatura como s(α) = (−1)k , siendo k

el número de transposiciones necesario para ordenar la permutación. Todas las transposi-
ciones tienen paridad impar, -1. Un k-ciclo tiene paridad (−1)k−1 (1 k-ciclo equivale a
k − 1 transposiciones).
 
1234
Ejemplo 5: La paridad de es +1, pues para deshacer la permutación hay que
4132
hacer un número par de transposiciones, por ejemplo (da igual el camino)

4132 → 1432 → 1423 → 1243 → 1234.

3
Anillos
Definición 4. Un conjunto A 6= ∅ y dos operaciones internas (+) y (·) definidas en él se
dice que forman un anillo (A, +, ·) si

• (A, +) es un grupo abeliano.

• (a · b) · c = a · (b · c) ∀ a, b, c ∈ A (producto asociativo: (A, ·) es semigrupo).

• Tiene la propiedad distributiva de (·) respecto a (+) : (a + b) · c = a · c + b · c,

a · (b + c) = a · b + a · c ∀ a, b, c ∈ A.

Si además (·) es conmutativo, el anillo se dice conmutativo. Si (·) posee elemento

neutro, el anillo se dice que tiene identidad o unitario.

Los ejemplos más importantes son:

• Los números enteros (Z, +, ·): Es posible construir los números enteros a partir
de N, esencialmente incluyendo el 0 y los inversos respecto a (+), para que (Z, +)
sea grupo. Entonces con el producto (·) habitual, (Z, +, ·) tiene estructura de anillo
conmutativo con identidad (pero aún no tenemos los inversos del (·)). Es fácil
encontrar subanillos, por ejemplo los pares 2k con k ∈ Z, que son un subgrupo
respecto de la (+). De hecho se puede probar que si B es subanillo de Z =⇒
∃ m ∈ N tal que B = {mk, k ∈ Z}.

• El anillo de los polinomios A[x] (donde A es un anillo, por ejemplo Z[x]): Sea
x un símbolo abstracto y considérese el conjunto cuyos elementos son objetos de la
forma n
X
2 n
P (x) = a0 + a1 x + a2 x + · · · + an x = ai x i ,
i=0

con ai ∈ A, ∀ i = 0, · · · , n ∈ N. Los elementos del tipo P (x) se llaman polinomios

de grado n de la variable x, y su conjunto se llama el anillo de los polinomios con
coeficientes en A (por ejemplo Z[x] es el anillo de los polinomios con coeficientes
enteros).
Sean dos polinomios P (x) = ni=0 ai xi y Q(x) = m i=0 bi x , con n ≥ m, las opera-
i
P P
ciones + y · de este anillo se definen:

+) P (x) + Q(x) = nk=0 (ak + bk )xk , con bk = 0 ∀k > m.

P

·) P (x) · Q(x) = n+m i+j=k (ai · bj )x , es decir

k
P P
k=0

P (x) · Q(x) = a0 b0 + (a0 b1 + a1 b0 )x + (a0 b2 + a1 b1 + a2 b0 )x2 + · · · + an bm xn+m .

Z[x] es un anillo conmutativo con identidad, y Z es un subanillo de Z[x], el de los

polinomios de grado 0.

4
 Generalmente, los únicos elementos invertibles en A[x] son las constantes no nulas
(polinomios de grado cero no nulos), aunque no siempre es así:

Ejemplo 6: Z4 [x]: polinomios con coeficientes en Z4 (enteros {0, 1, 2, 3} con suma

y producto módulo 4: 2+2=0, 2+3=1, 2·3=2, etc)

(1 + 2x)(1 + 2x) = 1 en Z4 [x] → (1 + 2x)−1 = (1 + 2x).

Cuerpos
Definición 5. Un conjunto K 6= ∅ dotado de dos operaciones binarias internas (+) y
(·) se dice que es un cuerpo si (K, +, ·) es un anillo conmutativo con identidad y todo
elemento x 6= 0 de K tiene inverso x−1 ∈ K respecto de (·), es decir si

• (K, +) es un grupo abeliano.

• (K − {0}, ·) es un grupo abeliano.

• Tiene la propiedad distributiva de (·) respecto a (+).

Ejemplos importantes de cuerpos son: Z2 , que es el cuerpo más sencillo; el cuerpo de

los números racionales, (Q, +, ·); el cuerpo de los números reales (R, +, ·); el cuerpo de los
números complejos, (C, +, ·).

Propiedad: Zm es cuerpo ⇐⇒ m es primo.

Demostración: lo haremos aplicando el llamado Lema de Bézoot, que dice que si a y b son
números enteros diferentes de cero, con máximo común divisor igual a d, entonces existen
enteros x e y tales que ax + by = d.

Vamos a demostrar que para todo 0 6= n ∈ Zm = {0, 1, · · · , m − 1} existe n−1 si y solo

si M.C.D(n, m) = 1, lo que es cierto si y solo si m es primo. Si calculamos el M.C.D.
ocurrirá que o bien

• M.C.D(n, m) = 1. En este caso, por el Lema de Bézoot existen u, v ∈ Z tal que

1 = un + vm =⇒ un = −vm + 1 = 1 (en Zm ) =⇒ n−1 = u,

o bien

• M.C.D(n, m) = r > 1, y podemos escribir n = q1 · r y m = q2 · r con 1 ≤ q2 < m.

Luego se tiene que n · q2 = q1 · r · q2 = q1 · m = 0 (en Zm ) con q2 6= 0. Si existiese n−1 ,
de la ecuación de n · q2 = 0 tendríamos que q2 = n−1 · 0 = 0, que es contradictorio.

5
 2 El cuerpo de los números complejos
Consideremos R × R (R2 ) con la suma y producto de pares definidos como

(1) (a, b) + (c, d) = (a + c, b + d),

(2) (a, b) · (c, d) = (ac − bd, ad + bc),

A esta estructura algebraica (R2 , +, ·) la llamaremos C y es un cuerpo (comprobadlo),

el cuerpo de los números complejos. Los elementos neutros de suma y de producto son
respectivamente (0, 0) y (1, 0). El cuerpo de los reales R es el subconjunto formado por
los pares (a, 0).

El cuerpo de los complejos surge de la necesidad de definir soluciones a la ecuación

x + 1 = 0. En efecto tenemos (0, 1) · (0, 1) = (−1, 0) = −1 en R. También (0, −1) · 2

(0, −1) = (−1, 0) = −1. Luego los pares (0, ±1) son solución de x2 + 1 = 0, que no tiene
solución en R.
√
Llamaremos i = (0, 1) (= −1), unidad imaginaria, y usaremos la notación z = a + bi
para denotar el par (a, b), de forma que en lugar de recordar (1) y (2) usamos el producto
y suma ordinarios con la “regla” i2 = −1.1

Dado z = a + bi, a = Re(z) parte real, b = Im(z) parte imaginaria. Tenemos que
z1 = z2 si y solo si Re(z1 ) = Re(z2 ) y Im(z1 ) = Im(z2 ).

Ejercicio: Calcular el inverso de z 6= l0 = 0 + 0i. <latexit sha1_base64="kkn2k0bqYAkHT7CpH47qDCf1UCE=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE1GPRi8cW7Ae0oWy2k3btZhN2N0IJ/QVePCji1Z/kzX/jts1BWx8MPN6bYWZekAiujet+O4W19Y3NreJ2aWd3b/+gfHjU0nGqGDZZLGLVCahGwSU2DTcCO4lCGgUC28H4bua3n1BpHssHM0nQj+hQ8pAzaqzUEP1yxa26c5BV4uWkAjnq/fJXbxCzNEJpmKBadz03MX5GleFM4LTUSzUmlI3pELuWShqh9rP5oVNyZpUBCWNlSxoyV39PZDTSehIFtjOiZqSXvZn4n9dNTXjjZ1wmqUHJFovCVBATk9nXZMAVMiMmllCmuL2VsBFVlBmbTcmG4C2/vEpaF1Xvquo2Liu12zyOIpzAKZyDB9dQg3uoQxMYIDzDK7w5j86L8+58LFoLTj5zDH/gfP4A1a+M9Q==</latexit>

~v
<latexit sha1_base64="aO+7G/7rLdtzvRDsi0HHLmhp+cY=">AAAB7nicbVBNS8NAEJ3Ur1q/qh69LBbBU0lEqseiF48V7Ae0oWy2k3bpZhN2N4US+iO8eFDEq7/Hm//GbZuDtj4YeLw3w8y8IBFcG9f9dgobm1vbO8Xd0t7+weFR+fikpeNUMWyyWMSqE1CNgktsGm4EdhKFNAoEtoPx/dxvT1BpHssnM03Qj+hQ8pAzaqzU7k2QZZNZv1xxq+4CZJ14OalAjka//NUbxCyNUBomqNZdz02Mn1FlOBM4K/VSjQllYzrErqWSRqj9bHHujFxYZUDCWNmShizU3xMZjbSeRoHtjKgZ6VVvLv7ndVMT3voZl0lqULLlojAVxMRk/jsZcIXMiKkllClubyVsRBVlxiZUsiF4qy+vk9ZV1atV3cfrSv0uj6MIZ3AOl+DBDdThARrQBAZjeIZXeHMS58V5dz6WrQUnnzmFP3A+fwCwf4/N</latexit>

Solución: Sean z −1 = (x, y) y z = (a, b), entonces (1, 0) = z · z −1 = (xa − yb, xb + ya), de
lo que obtenemos R
<latexit sha1_base64="WAt2AfFjt4eypT96EBcwVs6yQ94=">AAAB6HicbVBNS8NAEJ34WetX1aOXxSJ4KomIeix68diK/YA2lM120q7dbMLuRiihv8CLB0W8+pO8+W/ctjlo64OBx3szzMwLEsG1cd1vZ2V1bX1js7BV3N7Z3dsvHRw2dZwqhg0Wi1i1A6pRcIkNw43AdqKQRoHAVjC6nfqtJ1Sax/LBjBP0IzqQPOSMGivV73ulsltxZyDLxMtJGXLUeqWvbj9maYTSMEG17nhuYvyMKsOZwEmxm2pMKBvRAXYslTRC7WezQyfk1Cp9EsbKljRkpv6eyGik9TgKbGdEzVAvelPxP6+TmvDaz7hMUoOSzReFqSAmJtOvSZ8rZEaMLaFMcXsrYUOqKDM2m6INwVt8eZk0zyveZcWtX5SrN3kcBTiGEzgDD66gCndQgwYwQHiGV3hzHp0X5935mLeuOPnMEfyB8/kDrkeM2w==</latexit>

a b
x = 2 v̄ 2 , y = − 2
<latexit sha1_base64="SYLZjvxPhrJ+ZQfG/8E90vEWd6M=">AAAB7nicbVBNS8NAEJ3Ur1q/qh69LBbBU0lEqseiF48V7Ae0oUy2m3bpZhN2N4US+iO8eFDEq7/Hm//GbZuDtj4YeLw3w8y8IBFcG9f9dgobm1vbO8Xd0t7+weFR+fikpeNUUdaksYhVJ0DNBJesabgRrJMohlEgWDsY38/99oQpzWP5ZKYJ8yMcSh5yisZK7V6AKpvM+uWKW3UXIOvEy0kFcjT65a/eIKZpxKShArXuem5i/AyV4VSwWamXapYgHeOQdS2VGDHtZ4tzZ+TCKgMSxsqWNGSh/p7IMNJ6GgW2M0Iz0qveXPzP66YmvPUzLpPUMEmXi8JUEBOT+e9kwBWjRkwtQaq4vZXQESqkxiZUsiF4qy+vk9ZV1atV3cfrSv0uj6MIZ3AOl+DBDdThARrQBApjeIZXeHMS58V5dz6WrQUnnzmFP3A+fwCilI/E</latexit>

.
a +b a + b2 <latexit sha1_base64="FakZRTr6HlGa30Zp7OTRikD6CvY=">AAAB6nicbVBNS8NAEJ3Ur1q/qh69LBbBU0lEqseiF48V7Qe0oWy2m3bpZhN2J0IJ/QlePCji1V/kzX/jts1BWx8MPN6bYWZekEhh0HW/ncLa+sbmVnG7tLO7t39QPjxqmTjVjDdZLGPdCajhUijeRIGSdxLNaRRI3g7GtzO//cS1EbF6xEnC/YgOlQgFo2ilh6Tv9csVt+rOQVaJl5MK5Gj0y1+9QczSiCtkkhrT9dwE/YxqFEzyaamXGp5QNqZD3rVU0YgbP5ufOiVnVhmQMNa2FJK5+nsio5ExkyiwnRHFkVn2ZuJ/XjfF8NrPhEpS5IotFoWpJBiT2d9kIDRnKCeWUKaFvZWwEdWUoU2nZEPwll9eJa2LqleruveXlfpNHkcRTuAUzsGDK6jDHTSgCQyG8Ayv8OZI58V5dz4WrQUnnzmGP3A+fwABJo2d</latexit>

p1 <latexit sha1_base64="7gNKu40NgkePKSBI+vMoIw8cLyY=">AAAB6nicbVBNS8NAEJ3Ur1q/qh69LBbBU0mKqMeiF48V7Qe0oWy2k3bpZhN2N0IJ/QlePCji1V/kzX/jts1BWx8MPN6bYWZekAiujet+O4W19Y3NreJ2aWd3b/+gfHjU0nGqGDZZLGLVCahGwSU2DTcCO4lCGgUC28H4dua3n1BpHstHM0nQj+hQ8pAzaqz0kPRr/XLFrbpzkFXi5aQCORr98ldvELM0QmmYoFp3PTcxfkaV4UzgtNRLNSaUjekQu5ZKGqH2s/mpU3JmlQEJY2VLGjJXf09kNNJ6EgW2M6JmpJe9mfif101NeO1nXCapQckWi8JUEBOT2d9kwBUyIyaWUKa4vZWwEVWUGZtOyYbgLb+8Slq1qndZde8vKvWbPI4inMApnIMHV1CHO2hAExgM4Rle4c0Rzovz7nwsWgtOPnMMf+B8/gACqo2e</latexit>

p2

Los números complejos se identifican con vectores (un par ordenado de números reales
definen un punto en el plano)

= 6⇡r⌘v )
<latexit sha1_base64="rOS6ciUyDaqsBtGRwYnKfjEnCjk=">AAAB7nicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE1GOpF48V7Ac0oWy2m3bpZhN2J0IJ/RFePCji1d/jzX/jts1Bqw8GHu/NMDMvTKUw6LpfTmltfWNzq7xd2dnd2z+oHh51TJJpxtsskYnuhdRwKRRvo0DJe6nmNA4l74aT27nffeTaiEQ94DTlQUxHSkSCUbRS12+K0cifDao1t+4uQP4SryA1KNAaVD/9YcKymCtkkhrT99wUg5xqFEzyWcXPDE8pm9AR71uqaMxNkC/OnZEzqwxJlGhbCslC/TmR09iYaRzazpji2Kx6c/E/r59hdBPkQqUZcsWWi6JMEkzI/HcyFJozlFNLKNPC3krYmGrK0CZUsSF4qy//JZ2LundVd+8va41mEUcZTuAUzsGDa2jAHbSgDQwm8AQv8OqkzrPz5rwvW0tOMXMMv+B8fAMm7Y9z</latexit>

X
<latexit sha1_base64="16IiL0dUR+cBs5N0YOaZnYw6d+Y=">AAAB/nicbVDLSsNAFJ3UV62vqLhyM1iEClISEXUjFN24rGAf0IYymUzaoZNJmJmIMQT8FTcuFHHrd7jzb5ymWWjrgQuHc+6dO/e4EaNSWda3UVpYXFpeKa9W1tY3NrfM7Z22DGOBSQuHLBRdF0nCKCctRRUj3UgQFLiMdNzx9cTv3BMhacjvVBIRJ0BDTn2KkdLSwNxL+/kjqSBeBh8vaw/HyVE2MKtW3coB54ldkCoo0ByYX30vxHFAuMIMSdmzrUg5KRKKYkaySj+WJEJ4jIakpylHAZFOmm/O4KFWPOiHQhdXMFd/T6QokDIJXN0ZIDWSs95E/M/rxcq/cFLKo1gRjqeL/JhBFcJJFtCjgmDFEk0QFlT/FeIREggrnVhFh2DPnjxP2id1+6xu3Z5WG1dFHGWwDw5ADdjgHDTADWiCFsAgBc/gFbwZT8aL8W58TFtLRjGzC/7A+PwB40+VbQ==</latexit>

4 y
<latexit sha1_base64="kqaWhWkGpN+GGGd2tveNu9R1hT0=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE1GPRi8cW7Ae0oWy2k3btZhN2N0Io/QVePCji1Z/kzX/jts1BWx8MPN6bYWZekAiujet+O4W19Y3NreJ2aWd3b/+gfHjU0nGqGDZZLGLVCahGwSU2DTcCO4lCGgUC28H4bua3n1BpHssHkyXoR3QoecgZNVZqZP1yxa26c5BV4uWkAjnq/fJXbxCzNEJpmKBadz03Mf6EKsOZwGmpl2pMKBvTIXYtlTRC7U/mh07JmVUGJIyVLWnIXP09MaGR1lkU2M6ImpFe9mbif143NeGNP+EySQ1KtlgUpoKYmMy+JgOukBmRWUKZ4vZWwkZUUWZsNiUbgrf88ippXVS9q6rbuKzUbvM4inACp3AOHlxDDe6hDk1ggPAMr/DmPDovzrvzsWgtOPnMMfyB8/kD6WONAg==</latexit>

z = (x, y)
F~ = m~a
<latexit sha1_base64="6jNujw4Tuz7kvx+yND/kA7VQYJ8=">AAAB/nicbZDLSsNAFIYnXmu9RcWVm8EiuCqJiLoRioK4rGAv0IQymZ60Q2eSMDMplFDwVdy4UMStz+HOt3GaZqGtPwx8/Occzpk/SDhT2nG+raXlldW19dJGeXNre2fX3ttvqjiVFBo05rFsB0QBZxE0NNMc2okEIgIOrWB4O623RiAVi6NHPU7AF6QfsZBRoo3VtQ89lQrsjYBmd5NrkQOZdO2KU3Vy4UVwC6igQvWu/eX1YpoKiDTlRKmO6yTaz4jUjHKYlL1UQULokPShYzAiApSf5edP8IlxejiMpXmRxrn7eyIjQqmxCEynIHqg5mtT879aJ9XhlZ+xKEk1RHS2KEw51jGeZoF7TALVfGyAUMnMrZgOiCRUm8TKJgR3/suL0DyruhdV5+G8Ursp4iihI3SMTpGLLlEN3aM6aiCKMvSMXtGb9WS9WO/Wx6x1ySpmDtAfWZ8/aWaVyA==</latexit>

= ⇡r3 ⇢f g
3

4 3
= ⇡r ⇢p g x
<latexit sha1_base64="ERh0C4i9tpPdHazPxTyqV7q4prk=">AAAB6HicbVBNS8NAEJ34WetX1aOXxSJ4KomIeix68diC/YA2lM120q7dbMLuRiyhv8CLB0W8+pO8+W/ctjlo64OBx3szzMwLEsG1cd1vZ2V1bX1js7BV3N7Z3dsvHRw2dZwqhg0Wi1i1A6pRcIkNw43AdqKQRoHAVjC6nfqtR1Sax/LejBP0IzqQPOSMGivVn3qlsltxZyDLxMtJGXLUeqWvbj9maYTSMEG17nhuYvyMKsOZwEmxm2pMKBvRAXYslTRC7WezQyfk1Cp9EsbKljRkpv6eyGik9TgKbGdEzVAvelPxP6+TmvDaz7hMUoOSzReFqSAmJtOvSZ8rZEaMLaFMcXsrYUOqKDM2m6INwVt8eZk0zyveZcWtX5SrN3kcBTiGEzgDD66gCndQgwYwQHiGV3hzHpwX5935mLeuOPnMEfyB8/kD59+NAQ==</latexit>

En C, no existe relación de orden compatible con la estructura de cuerpo (no podemos

ordenar puntos en el plano), a diferencia de R.
1
Con notación de polinomios: C = R[i]

6
Conjugación
Definición 6. Definidos el complejo conjugado de z ∈ C, denotado por z̄ o z ∗ , al
complejo con la misma parte real que z y opuesta parte imaginaria.

y
<latexit sha1_base64="kqaWhWkGpN+GGGd2tveNu9R1hT0=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE1GPRi8cW7Ae0oWy2k3btZhN2N0Io/QVePCji1Z/kzX/jts1BWx8MPN6bYWZekAiujet+O4W19Y3NreJ2aWd3b/+gfHjU0nGqGDZZLGLVCahGwSU2DTcCO4lCGgUC28H4bua3n1BpHssHkyXoR3QoecgZNVZqZP1yxa26c5BV4uWkAjnq/fJXbxCzNEJpmKBadz03Mf6EKsOZwGmpl2pMKBvTIXYtlTRC7U/mh07JmVUGJIyVLWnIXP09MaGR1lkU2M6ImpFe9mbif143NeGNP+EySQ1KtlgUpoKYmMy+JgOukBmRWUKZ4vZWwkZUUWZsNiUbgrf88ippXVS9q6rbuKzUbvM4inACp3AOHlxDDe6hDk1ggPAMr/DmPDovzrvzsWgtOPnMMfyB8/kD6WONAg==</latexit>

<latexit sha1_base64="16IiL0dUR+cBs5N0YOaZnYw6d+Y=">AAAB/nicbVDLSsNAFJ3UV62vqLhyM1iEClISEXUjFN24rGAf0IYymUzaoZNJmJmIMQT8FTcuFHHrd7jzb5ymWWjrgQuHc+6dO/e4EaNSWda3UVpYXFpeKa9W1tY3NrfM7Z22DGOBSQuHLBRdF0nCKCctRRUj3UgQFLiMdNzx9cTv3BMhacjvVBIRJ0BDTn2KkdLSwNxL+/kjqSBeBh8vaw/HyVE2MKtW3coB54ldkCoo0ByYX30vxHFAuMIMSdmzrUg5KRKKYkaySj+WJEJ4jIakpylHAZFOmm/O4KFWPOiHQhdXMFd/T6QokDIJXN0ZIDWSs95E/M/rxcq/cFLKo1gRjqeL/JhBFcJJFtCjgmDFEk0QFlT/FeIREggrnVhFh2DPnjxP2id1+6xu3Z5WG1dFHGWwDw5ADdjgHDTADWiCFsAgBc/gFbwZT8aL8W58TFtLRjGzC/7A+PwB40+VbQ==</latexit>

z = (x, y)

z = x + iy ! z̄ = x iy
<latexit sha1_base64="FCXc+XuRA/84BT3oT2NybLpxcfY=">AAACEXicbVC7SgNBFJ31GeNr1dJmMAgBMeyKqE0gaGMZwTwgWcLd2UkyZPbhzKxms+QXbPwVGwtFbO3s/Bsnj0ITD1w4c869zL3HjTiTyrK+jYXFpeWV1cxadn1jc2vb3NmtyjAWhFZIyENRd0FSzgJaUUxxWo8EBd/ltOb2rkZ+7Z4KycLgViURdXzoBKzNCCgttcz8oNg/YknzLgavKVinq0CI8GHydkGkg2Gxf8xw0jJzVsEaA88Te0pyaIpyy/xqeiGJfRoowkHKhm1FyklBKEY4HWabsaQRkB50aEPTAHwqnXR80RAfasXD7VDoChQeq78nUvClTHxXd/qgunLWG4n/eY1YtS+clAVRrGhAJh+1Y45ViEfxYI8JShRPNAEimN4Vky4IIEqHmNUh2LMnz5PqScE+K1g3p7nS5TSODNpHByiPbHSOSugalVEFEfSIntErejOejBfj3fiYtC4Y05k99AfG5w+LR54W</latexit>

x
<latexit sha1_base64="ERh0C4i9tpPdHazPxTyqV7q4prk=">AAAB6HicbVBNS8NAEJ34WetX1aOXxSJ4KomIeix68diC/YA2lM120q7dbMLuRiyhv8CLB0W8+pO8+W/ctjlo64OBx3szzMwLEsG1cd1vZ2V1bX1js7BV3N7Z3dsvHRw2dZwqhg0Wi1i1A6pRcIkNw43AdqKQRoHAVjC6nfqtR1Sax/LejBP0IzqQPOSMGivVn3qlsltxZyDLxMtJGXLUeqWvbj9maYTSMEG17nhuYvyMKsOZwEmxm2pMKBvRAXYslTRC7WezQyfk1Cp9EsbKljRkpv6eyGik9TgKbGdEzVAvelPxP6+TmvDaz7hMUoOSzReFqSAmJtOvSZ8rZEaMLaFMcXsrYUOqKDM2m6INwVt8eZk0zyveZcWtX5SrN3kcBTiGEzgDD66gCndQgwYwQHiGV3hzHpwX5935mLeuOPnMEfyB8/kD59+NAQ==</latexit>

<latexit sha1_base64="cZXBmumuQq5c2Acr4ZtcWR9aPlw=">AAAB+HicdVDLSgMxFM3UV62PVl26CRahgg5p7bTThVB047KCfUA7lEyatqGZB0lGbId+iRsXirj1U9z5N6YPQUUPXDiccy/33uOGnEmF0IeRWFldW99Ibqa2tnd205m9/YYMIkFonQQ8EC0XS8qZT+uKKU5boaDYczltuqOrmd+8o0KywL9V45A6Hh74rM8IVlrqZtKw42IRT6YXufvTs/FJN5NFJiqVbduCyLQs67xY1KRSsS1UgHkTzZEFS9S6mfdOLyCRR31FOJaynUehcmIsFCOcTlOdSNIQkxEe0LamPvaodOL54VN4rJUe7AdCl6/gXP0+EWNPyrHn6k4Pq6H87c3Ev7x2pPq2EzM/jBT1yWJRP+JQBXCWAuwxQYniY00wEUzfCskQC0yUziqlQ/j6FP5PGgUzXzLRTTFbvVzGkQSH4AjkQB6UQRVcgxqoAwIi8ACewLMxMR6NF+N10ZowljMH4AeMt0/nOZKe</latexit>

z̄ = (x, y)

Propiedades: (comprobadlas)

1) z̄¯ = z.

2) z1 + z2 = z̄1 + z̄2 .

3) z1 · z2 = z̄1 · z̄2 .

4) Re(z) = 12 (z + z̄).

5) Im(z) = 1
2i
(z − z̄) = − 2i (z − z̄).

Módulo
Definición 7. Dado z ∈ C, su módulo es |z| = x2 + y 2 ∈ R (longitud del vector z).
p

Propiedades: (comprobadlas)

1) |z1 · z2 | = |z1 ||z2 |.

2) |z1 + z2 | ≤ |z1 | + |z2 | (desigualdad triangular).

3) |z̄| = |z|.

4) |z|2 = z · z̄ (z 6= 0 → z −1 = z̄/|z|2 ).

5) |Re(z)| ≤ |z| , |Im(z)| ≤ |z| → Re(z) ≤ |Re(z)| ≤ |z| , Im(z) ≤ |Im(z)| ≤ |z|.

Ejercicio: Demostrar la desigualdad triangular.

Solución: |z1 +z2 |2 = (z1 +z2 )(z̄1 + z̄2 ) = |z1 |2 +|z2 |2 +z1 z̄2 + z̄1 z2 = |z1 |2 +|z2 |2 +2Re(z1 z̄2 ),
Re(z1 z̄2 ) ≤ |z1 z̄2 | = |z1 ||z2 | → |z1 + z2 |2 ≤ |z1 |2 + |z2 |2 + 2|z1 ||z2 | = (|z1 | + |z2 |)2 Q.E.D.

7
 z = x + iy ! z̄ = x iy
<latexit sha1_base64="FCXc+XuRA/84BT3oT2NybLpxcfY=">AAACEXicbVC7SgNBFJ31GeNr1dJmMAgBMeyKqE0gaGMZwTwgWcLd2UkyZPbhzKxms+QXbPwVGwtFbO3s/Bsnj0ITD1w4c869zL3HjTiTyrK+jYXFpeWV1cxadn1jc2vb3NmtyjAWhFZIyENRd0FSzgJaUUxxWo8EBd/ltOb2rkZ+7Z4KycLgViURdXzoBKzNCCgttcz8oNg/YknzLgavKVinq0CI8GHydkGkg2Gxf8xw0jJzVsEaA88Te0pyaIpyy/xqeiGJfRoowkHKhm1FyklBKEY4HWabsaQRkB50aEPTAHwqnXR80RAfasXD7VDoChQeq78nUvClTHxXd/qgunLWG4n/eY1YtS+clAVRrGhAJh+1Y45ViEfxYI8JShRPNAEimN4Vky4IIEqHmNUh2LMnz5PqScE+K1g3p7nS5TSODNpHByiPbHSOSugalVEFEfSIntErejOejBfj3fiYtC4Y05k99AfG5w+LR54W</latexit>

x
<latexit sha1_base64="ERh0C4i9tpPdHazPxTyqV7q4prk=">AAAB6HicbVBNS8NAEJ34WetX1aOXxSJ4KomIeix68diC/YA2lM120q7dbMLuRiyhv8CLB0W8+pO8+W/ctjlo64OBx3szzMwLEsG1cd1vZ2V1bX1js7BV3N7Z3dsvHRw2dZwqhg0Wi1i1A6pRcIkNw43AdqKQRoHAVjC6nfqtR1Sax/LejBP0IzqQPOSMGivVn3qlsltxZyDLxMtJGXLUeqWvbj9maYTSMEG17nhuYvyMKsOZwEmxm2pMKBvRAXYslTRC7WezQyfk1Cp9EsbKljRkpv6eyGik9TgKbGdEzVAvelPxP6+TmvDaz7hMUoOSzReFqSAmJtOvSZ8rZEaMLaFMcXsrYUOqKDM2m6INwVt8eZk0zyveZcWtX5SrN3kcBTiGEzgDD66gCndQgwYwQHiGV3hzHpwX5935mLeuOPnMEfyB8/kD59+NAQ==</latexit>

<latexit sha1_base64="cZXBmumuQq5c2Acr4ZtcWR9aPlw=">AAAB+HicdVDLSgMxFM3UV62PVl26CRahgg5p7bTThVB047KCfUA7lEyatqGZB0lGbId+iRsXirj1U9z5N6YPQUUPXDiccy/33uOGnEmF0IeRWFldW99Ibqa2tnd205m9/YYMIkFonQQ8EC0XS8qZT+uKKU5boaDYczltuqOrmd+8o0KywL9V45A6Hh74rM8IVlrqZtKw42IRT6YXufvTs/FJN5NFJiqVbduCyLQs67xY1KRSsS1UgHkTzZEFS9S6mfdOLyCRR31FOJaynUehcmIsFCOcTlOdSNIQkxEe0LamPvaodOL54VN4rJUe7AdCl6/gXP0+EWNPyrHn6k4Pq6H87c3Ev7x2pPq2EzM/jBT1yWJRP+JQBXCWAuwxQYniY00wEUzfCskQC0yUziqlQ/j6FP5PGgUzXzLRTTFbvVzGkQSH4AjkQB6UQRVcgxqoAwIi8ACewLMxMR6NF+N10ZowljMH4AeMt0/nOZKe</latexit>

z̄ = (x, y)

Representaciones de los números complejos

z = x + iy = |z|[cos(✓) + isen(✓)]
<latexit sha1_base64="7AKHiTbzOhiazVZwQPTOZOY7zeE=">AAACFXicbVDJSgNBEO1xjXGLevQyGAQlEmZE1IsQ9OIxglkgM4SeTiVp7OkZumvEOMlPePFXvHhQxKvgzb+xswhuDwoe71VRVS+IBdfoOB/W1PTM7Nx8ZiG7uLS8sppbW6/qKFEMKiwSkaoHVIPgEirIUUA9VkDDQEAtuDob+rVrUJpH8hJ7Mfgh7Uje5oyikZq5vduTmwLvnfRv+w2PRXrHwy4g3S1wD+EGUw1y8KX5zVzeKToj2H+JOyF5MkG5mXv3WhFLQpDIBNW64Tox+ilVyJmAQdZLNMSUXdEONAyVNATtp6OvBva2UVp2O1KmJNoj9ftESkOte2FgOkOKXf3bG4r/eY0E28d+ymWcIEg2XtROhI2RPYzIbnEFDEXPEMoUN7farEsVZWiCzJoQ3N8v/yXV/aJ7WHQuDvKl00kcGbJJtsgOcckRKZFzUiYVwsgdeSBP5Nm6tx6tF+t13DplTWY2yA9Yb5+vqZ8l</latexit>

y
<latexit sha1_base64="kqaWhWkGpN+GGGd2tveNu9R1hT0=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE1GPRi8cW7Ae0oWy2k3btZhN2N0Io/QVePCji1Z/kzX/jts1BWx8MPN6bYWZekAiujet+O4W19Y3NreJ2aWd3b/+gfHjU0nGqGDZZLGLVCahGwSU2DTcCO4lCGgUC28H4bua3n1BpHssHkyXoR3QoecgZNVZqZP1yxa26c5BV4uWkAjnq/fJXbxCzNEJpmKBadz03Mf6EKsOZwGmpl2pMKBvTIXYtlTRC7U/mh07JmVUGJIyVLWnIXP09MaGR1lkU2M6ImpFe9mbif143NeGNP+EySQ1KtlgUpoKYmMy+JgOukBmRWUKZ4vZWwkZUUWZsNiUbgrf88ippXVS9q6rbuKzUbvM4inACp3AOHlxDDe6hDk1ggPAMr/DmPDovzrvzsWgtOPnMMfyB8/kD6WONAg==</latexit>

|z|
<latexit sha1_base64="aj9C9dW42oPUH2zpKx1KAUZgQ4s=">AAAB6nicbVDLTgJBEOzFF+IL9ehlIjHxRHaNUY9ELx4xyiOBDZkdemHC7OxmZtYEgU/w4kFjvPpF3vwbB9iDgpV0UqnqTndXkAiujet+O7mV1bX1jfxmYWt7Z3evuH9Q13GqGNZYLGLVDKhGwSXWDDcCm4lCGgUCG8HgZuo3HlFpHssHM0zQj2hP8pAzaqx0P34ad4olt+zOQJaJl5ESZKh2il/tbszSCKVhgmrd8tzE+COqDGcCJ4V2qjGhbEB72LJU0gi1P5qdOiEnVumSMFa2pCEz9ffEiEZaD6PAdkbU9PWiNxX/81qpCa/8EZdJalCy+aIwFcTEZPo36XKFzIihJZQpbm8lrE8VZcamU7AheIsvL5P6Wdm7KLt356XKdRZHHo7gGE7Bg0uowC1UoQYMevAMr/DmCOfFeXc+5q05J5s5hD9wPn8AriGODw==</latexit>

✓
<latexit sha1_base64="9gAB9KzZ1ywvzo8yhDw/sWSDdr0=">AAAB7XicbVDLSgNBEOz1GeMr6tHLYBA8hV0R9Rj04jGCeUCyhNnJbDJmdmaZ6RVCyD948aCIV//Hm3/jJNmDJhY0FFXddHdFqRQWff/bW1ldW9/YLGwVt3d29/ZLB4cNqzPDeJ1pqU0ropZLoXgdBUreSg2nSSR5MxreTv3mEzdWaPWAo5SHCe0rEQtG0UmNDg440m6p7Ff8GcgyCXJShhy1bumr09MsS7hCJqm17cBPMRxTg4JJPil2MstTyoa0z9uOKppwG45n107IqVN6JNbGlUIyU39PjGli7SiJXGdCcWAXvan4n9fOML4Ox0KlGXLF5oviTBLUZPo66QnDGcqRI5QZ4W4lbEANZegCKroQgsWXl0njvBJcVvz7i3L1Jo+jAMdwAmcQwBVU4Q5qUAcGj/AMr/Dmae/Fe/c+5q0rXj5zBH/gff4ApZ2PLQ==</latexit>

x
<latexit sha1_base64="ERh0C4i9tpPdHazPxTyqV7q4prk=">AAAB6HicbVBNS8NAEJ34WetX1aOXxSJ4KomIeix68diC/YA2lM120q7dbMLuRiyhv8CLB0W8+pO8+W/ctjlo64OBx3szzMwLEsG1cd1vZ2V1bX1js7BV3N7Z3dsvHRw2dZwqhg0Wi1i1A6pRcIkNw43AdqKQRoHAVjC6nfqtR1Sax/LejBP0IzqQPOSMGivVn3qlsltxZyDLxMtJGXLUeqWvbj9maYTSMEG17nhuYvyMKsOZwEmxm2pMKBvRAXYslTRC7WezQyfk1Cp9EsbKljRkpv6eyGik9TgKbGdEzVAvelPxP6+TmvDaz7hMUoOSzReFqSAmJtOvSZ8rZEaMLaFMcXsrYUOqKDM2m6INwVt8eZk0zyveZcWtX5SrN3kcBTiGEzgDD66gCndQgwYwQHiGV3hzHpwX5935mLeuOPnMEfyB8/kD59+NAQ==</latexit>

Al ángulo θ se le llama argumento del número complejo z. Cuando expresamos z en

términos de sus coordenadas cartesianas x e y empleamos su representación en cartesianas.
Equivalentemente z se puede caracterizar en términos de su módulo |z| y de su argumento
θ. La relación entre ambas representaciones es

• Coordenadas cartesianas:

x = Re(z) = |z| cos(θ) , y = Im(z) = |z|sen(θ)

• Representación polar (en términos del módulo y del argumento):

p y
|z| = x2 + y 2 , θ = arctan + 2kπ , k ∈ Z,
x
con θ en el cuadrante correspondiente,

es decir tenemos
z = x + iy = |z|[cos(θ) + isen(θ)].

Llamaremos argumento principal, denotado como Arg(z) = θ al argumento θ que

cumple −π < θ ≤ π.

La suma z1 + z2 geométrciamente se entiende como la suma de vectores en el plano.

Por otra parte el producto en polares toma la forma

z1 z2 = |z1 ||z2 |[cos(θ1 + θ2 ) + isen(θ1 + θ2 )],

que geométricamente se entiende bien: el módulo del producto es el producto de los mó-
dulos, y el argumento del producto es la suma de los argumentos.

Propiedades del argumento:

• Arg(z1 z2 ) = Arg(z1 ) + Arg(z2 ) (módulo 2π).

• Arg(z̄) = −Arg(z) (módulo 2π).

• Arg(z −1 ) = −Arg(z) (módulo 2π).

• Arg(z1 /z2 ) = Arg(z1 ) − Arg(z2 ) (módulo 2π).

8
La exponencial compleja y la fórmula de Moivre
La definición precisa de la función exponencial requiere nociones de análisis que no co-
rresponden a este curso. En cualquier caso definimos ez de forma análoga a ex con x ∈ R:
∞
 z n zn
(su serie de Taylor).
X
z z
e = lim 1+ , e =
n→∞ n n=0
n!

De la anterior definición, y usando las series de Taylor de cos(θ) y sen(θ) deducimos la

fórmula de Euler:
eiθ = cos(θ) + isen(θ) , θ ∈ R,
entonces de ez = ex+iy obtenemos

ez = ex [cos(y) + isen(y)].

Propiedades:

• ez1 +z2 = ez1 ez2 .

• e−z = 1/ez (e0 = 1).

• ez = ez̄ .

• ez = 1 ⇐⇒ z = 2πki, k ∈ Z.

• z = |z|eiθ : representación exponencial módulo-argumento (a veces también lla-

mamos polar a esta representación).

De la última propiedad, y de las del argumento, deducimos la fórmula de Moivre:

z n = |z|n einθ = |z|n [cos(nθ) + isen(nθ)] , ∀n ∈ Z.

Ejemplo 7: Fórmulas del ángulo doble (n = 2)

z 2 = |z|2 [cos(2θ) + isen(2θ)] = |z|2 [cos(θ) + isen(θ)]2 ,

desarrollando el miembro de la derecha e igualando partes real e imaginaria concluimos

cos(2θ) = cos2 (θ) − sen2 (θ) , sen(2θ) = 2sen(θ) cos(θ),

y análogamente podemos sacar las fórmulas del ángulo triple con n = 3, o por ejemplo
cos(θ1 + θ2 ) y sen(θ1 + θ2 ) considerando el producto z1 z2 .

9
Raíces complejas
Raíces cuadradas

Supongamos que queremos resolver z 2 = z0 en C, es decir buscamos qué número

complejo z resuelve dicha ecuación conocido z0 . Escribiendo z0 = |z0 |ei(θ0 +2πk) obtenemos
 
θ
i 20 +πk
p
z = |z0 |e .

Teniendo en cuenta que eiπk = ±1, obtenemos dos soluciones en el plano complejo:
p θ0
z = ± |z0 |ei 2 .

Por ejemplo, si z0 = 1 → ±1 son la raíces.

Hasta aquí no es muy diferente del caso real.

Raíces n-ésimas de la unidad

Ahora queremos resolver z n = 1. Escribiendo z = |z|eiθ deducimos que se debe cumplir

|z| = 1 y einθ = 1, es decir nθ = 2πk con k ∈ Z. Por tanto
2πk
z = ei n .

Para argumentos de z en [0, 2π) tenemos que k = 0, 1, 2, · · · , n − 1, es decir hay n

raíces distintas, y éstas son

z0 = 1 , z1 = e2πi/n , z1 = e4πi/n , ··· , zn−1 = e2πi(n−1)/n ,

es decir n soluciones que forman un polígono regular de n lados en el plano complejo (en
el cuerpo de los reales solo hay dos soluciones si n es par, y 1 si n es impar).

Raíces n-ésimas de cualquier complejo

Sea z = |z|eiθ = |z|ei(θ+2πk) ∀k ∈ Z, entonces

√
    
θ 2πk θ 2πk
 
θ
i n + 2πk
1/n
p
n
p
n
n
z=z = |z|e n
= |z| cos + + isen + ,
n n n n

que de nuevo tiene n soluciones distintas (k = 0, 1, · · · , n − 1) con argumento

p en [0, 2π),
determinando un polígono regular de n lados inscrito en el círculo de radio n |z|.

Ejercicio: probar que el conjunto de números complejos de módulo 1 es un grupo con

respecto al producto. ¿Tiene este grupo otros subgrupos a parte de las raíces n-ésimas de
la unidad?

10
Ejemplo 8: Raíces cúbicas de −1 = eiπ :
√
    
3 π 2πk π 2πk
−1 = cos + + isen + , k = 0, 1, 2.
3 3 3 3
√
Para k = 0√tenemos z1 = (1 + 3i)/2, para k = 1 tenemos z2 = −1, y para k = 3 tenemos
z3 = (1 − 3i)/2 = z̄1 . Por tanto, solo una es real. Gráficamente se corresponden con los
vértices de un triángulo equilatero:
y
<latexit sha1_base64="kqaWhWkGpN+GGGd2tveNu9R1hT0=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE1GPRi8cW7Ae0oWy2k3btZhN2N0Io/QVePCji1Z/kzX/jts1BWx8MPN6bYWZekAiujet+O4W19Y3NreJ2aWd3b/+gfHjU0nGqGDZZLGLVCahGwSU2DTcCO4lCGgUC28H4bua3n1BpHssHkyXoR3QoecgZNVZqZP1yxa26c5BV4uWkAjnq/fJXbxCzNEJpmKBadz03Mf6EKsOZwGmpl2pMKBvTIXYtlTRC7U/mh07JmVUGJIyVLWnIXP09MaGR1lkU2M6ImpFe9mbif143NeGNP+EySQ1KtlgUpoKYmMy+JgOukBmRWUKZ4vZWwkZUUWZsNiUbgrf88ippXVS9q6rbuKzUbvM4inACp3AOHlxDDe6hDk1ggPAMr/DmPDovzrvzsWgtOPnMMfyB8/kD6WONAg==</latexit>

z1
<latexit sha1_base64="KvmtD2Qzol9BIWTg7UGnEKQGWco=">AAAB6nicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE1GPRi8eK9gPaUDbbTbt0swm7E6GG/gQvHhTx6i/y5r9x2+agrQ8GHu/NMDMvSKQw6LrfTmFldW19o7hZ2tre2d0r7x80TZxqxhsslrFuB9RwKRRvoEDJ24nmNAokbwWjm6nfeuTaiFg94DjhfkQHSoSCUbTS/VPP65UrbtWdgSwTLycVyFHvlb+6/ZilEVfIJDWm47kJ+hnVKJjkk1I3NTyhbEQHvGOpohE3fjY7dUJOrNInYaxtKSQz9fdERiNjxlFgOyOKQ7PoTcX/vE6K4ZWfCZWkyBWbLwpTSTAm079JX2jOUI4toUwLeythQ6opQ5tOyYbgLb68TJpnVe+i6t6dV2rXeRxFOIJjOAUPLqEGt1CHBjAYwDO8wpsjnRfn3fmYtxacfOYQ/sD5/AEQYo2n</latexit>

z2
<latexit sha1_base64="NzBeE9vq5mC9DhZG+vA9j3WAOK8=">AAAB6nicbVBNS8NAEJ34WetX1aOXxSJ4KkkR9Vj04rGi/YA2lM120y7dbMLuRKihP8GLB0W8+ou8+W/ctjlo64OBx3szzMwLEikMuu63s7K6tr6xWdgqbu/s7u2XDg6bJk414w0Wy1i3A2q4FIo3UKDk7URzGgWSt4LRzdRvPXJtRKwecJxwP6IDJULBKFrp/qlX7ZXKbsWdgSwTLydlyFHvlb66/ZilEVfIJDWm47kJ+hnVKJjkk2I3NTyhbEQHvGOpohE3fjY7dUJOrdInYaxtKSQz9fdERiNjxlFgOyOKQ7PoTcX/vE6K4ZWfCZWkyBWbLwpTSTAm079JX2jOUI4toUwLeythQ6opQ5tO0YbgLb68TJrVindRce/Oy7XrPI4CHMMJnIEHl1CDW6hDAxgM4Ble4c2Rzovz7nzMW1ecfOYI/sD5/AER5o2o</latexit>
x
<latexit sha1_base64="ERh0C4i9tpPdHazPxTyqV7q4prk=">AAAB6HicbVBNS8NAEJ34WetX1aOXxSJ4KomIeix68diC/YA2lM120q7dbMLuRiyhv8CLB0W8+pO8+W/ctjlo64OBx3szzMwLEsG1cd1vZ2V1bX1js7BV3N7Z3dsvHRw2dZwqhg0Wi1i1A6pRcIkNw43AdqKQRoHAVjC6nfqtR1Sax/LejBP0IzqQPOSMGivVn3qlsltxZyDLxMtJGXLUeqWvbj9maYTSMEG17nhuYvyMKsOZwEmxm2pMKBvRAXYslTRC7WezQyfk1Cp9EsbKljRkpv6eyGik9TgKbGdEzVAvelPxP6+TmvDaz7hMUoOSzReFqSAmJtOvSZ8rZEaMLaFMcXsrYUOqKDM2m6INwVt8eZk0zyveZcWtX5SrN3kcBTiGEzgDD66gCndQgwYwQHiGV3hzHpwX5935mLeuOPnMEfyB8/kD59+NAQ==</latexit>

z̄1
<latexit sha1_base64="gyMLyqXYqq47py3oNgHh8LhNiOk=">AAAB8HicbVDLSgNBEOyNrxhfUY9eBoPgKeyKqMegF48RzEOSJcxOZpMh81hmZoW45Cu8eFDEq5/jzb9xkuxBEwsaiqpuuruihDNjff/bK6ysrq1vFDdLW9s7u3vl/YOmUakmtEEUV7odYUM5k7RhmeW0nWiKRcRpKxrdTP3WI9WGKXlvxwkNBR5IFjOCrZMeuhHW2dOkF/TKFb/qz4CWSZCTCuSo98pf3b4iqaDSEo6N6QR+YsMMa8sIp5NSNzU0wWSEB7TjqMSCmjCbHTxBJ07po1hpV9Kimfp7IsPCmLGIXKfAdmgWvan4n9dJbXwVZkwmqaWSzBfFKUdWoen3qM80JZaPHcFEM3crIkOsMbEuo5ILIVh8eZk0z6rBRdW/O6/UrvM4inAEx3AKAVxCDW6hDg0gIOAZXuHN096L9+59zFsLXj5zCH/gff4A0z6QbA==</latexit>

3 Raíces de polinomios. Teorema fundamental del

álgebra z = x + iy = |z|[cos(✓) + isen(✓)]
<latexit sha1_base64="7AKHiTbzOhiazVZwQPTOZOY7zeE=">AAACFXicbVDJSgNBEO1xjXGLevQyGAQlEmZE1IsQ9OIxglkgM4SeTiVp7OkZumvEOMlPePFXvHhQxKvgzb+xswhuDwoe71VRVS+IBdfoOB/W1PTM7Nx8ZiG7uLS8sppbW6/qKFEMKiwSkaoHVIPgEirIUUA9VkDDQEAtuDob+rVrUJpH8hJ7Mfgh7Uje5oyikZq5vduTmwLvnfRv+w2PRXrHwy4g3S1wD+EGUw1y8KX5zVzeKToj2H+JOyF5MkG5mXv3WhFLQpDIBNW64Tox+ilVyJmAQdZLNMSUXdEONAyVNATtp6OvBva2UVp2O1KmJNoj9ftESkOte2FgOkOKXf3bG4r/eY0E28d+ymWcIEg2XtROhI2RPYzIbnEFDEXPEMoUN7farEsVZWiCzJoQ3N8v/yXV/aJ7WHQuDvKl00kcGbJJtsgOcckRKZFzUiYVwsgdeSBP5Nm6tx6tF+t13DplTWY2yA9Yb5+vqZ8l</latexit>

y <latexit sha1_base64="kqaWhWkGpN+GGGd2tveNu9R1hT0=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE1GPRi8cW7Ae0oWy2k3btZhN2N0Io/QVePCji1Z/kzX/jts1BWx8MPN6bYWZekAiujet+O4W19Y3NreJ2aWd3b/+gfHjU0nGqGDZZLGLVCahGwSU2DTcCO4lCGgUC28H4bua3n1BpHssHkyXoR3QoecgZNVZqZP1yxa26c5BV4uWkAjnq/fJXbxCzNEJpmKBadz03Mf6EKsOZwGmpl2pMKBvTIXYtlTRC7U/mh07JmVUGJIyVLWnIXP09MaGR1lkU2M6ImpFe9mbif143NeGNP+EySQ1KtlgUpoKYmMy+JgOukBmRWUKZ4vZWwkZUUWZsNiUbgrf88ippXVS9q6rbuKzUbvM4inACp3AOHlxDDe6hDk1ggPAMr/DmPDovzrvzsWgtOPnMMfyB8/kD6WONAg==</latexit>

|z|
<latexit sha1_base64="aj9C9dW42oPUH2zpKx1KAUZgQ4s=">AAAB6nicbVDLTgJBEOzFF+IL9ehlIjHxRHaNUY9ELx4xyiOBDZkdemHC7OxmZtYEgU/w4kFjvPpF3vwbB9iDgpV0UqnqTndXkAiujet+O7mV1bX1jfxmYWt7Z3evuH9Q13GqGNZYLGLVDKhGwSXWDDcCm4lCGgUCG8HgZuo3HlFpHssHM0zQj2hP8pAzaqx0P34ad4olt+zOQJaJl5ESZKh2il/tbszSCKVhgmrd8tzE+COqDGcCJ4V2qjGhbEB72LJU0gi1P5qdOiEnVumSMFa2pCEz9ffEiEZaD6PAdkbU9PWiNxX/81qpCa/8EZdJalCy+aIwFcTEZPo36XKFzIihJZQpbm8lrE8VZcamU7AheIsvL5P6Wdm7KLt356XKdRZHHo7gGE7Bg0uowC1UoQYMevAMr/DmCOfFeXc+5q05J5s5hD9wPn8AriGODw==</latexit>

Consideremos el anillo de los polinomios sobre un✓cuerpo K[x]. Diremos que el polinomio
<latexit sha1_base64="9gAB9KzZ1ywvzo8yhDw/sWSDdr0=">AAAB7XicbVDLSgNBEOz1GeMr6tHLYBA8hV0R9Rj04jGCeUCyhNnJbDJmdmaZ6RVCyD948aCIV//Hm3/jJNmDJhY0FFXddHdFqRQWff/bW1ldW9/YLGwVt3d29/ZLB4cNqzPDeJ1pqU0ropZLoXgdBUreSg2nSSR5MxreTv3mEzdWaPWAo5SHCe0rEQtG0UmNDg440m6p7Ff8GcgyCXJShhy1bumr09MsS7hCJqm17cBPMRxTg4JJPil2MstTyoa0z9uOKppwG45n107IqVN6JNbGlUIyU39PjGli7SiJXGdCcWAXvan4n9fOML4Ox0KlGXLF5oviTBLUZPo66QnDGcqRI5QZ4W4lbEANZegCKroQgsWXl0njvBJcVvz7i3L1Jo+jAMdwAmcQwBVU4Q5qUAcGj/AMr/Dmae/Fe/c+5q0rXj5zBH/gff4ApZ2PLQ==</latexit>

Q divide al polinomio (o es divisor de) P si ∃ R ∈ K[x]

x tal que P = Q·R. Decimos que un
<latexit sha1_base64="ERh0C4i9tpPdHazPxTyqV7q4prk=">AAAB6HicbVBNS8NAEJ34WetX1aOXxSJ4KomIeix68diC/YA2lM120q7dbMLuRiyhv8CLB0W8+pO8+W/ctjlo64OBx3szzMwLEsG1cd1vZ2V1bX1js7BV3N7Z3dsvHRw2dZwqhg0Wi1i1A6pRcIkNw43AdqKQRoHAVjC6nfqtR1Sax/LejBP0IzqQPOSMGivVn3qlsltxZyDLxMtJGXLUeqWvbj9maYTSMEG17nhuYvyMKsOZwEmxm2pMKBvRAXYslTRC7WezQyfk1Cp9EsbKljRkpv6eyGik9TgKbGdEzVAvelPxP6+TmvDaz7hMUoOSzReFqSAmJtOvSZ8rZEaMLaFMcXsrYUOqKDM2m6INwVt8eZk0zyveZcWtX5SrN3kcBTiGEzgDD66gCndQgwYwQHiGV3hzHpwX5935mLeuOPnMEfyB8/kD59+NAQ==</latexit>

polinomio es irreducible si sus únicos divisores son él mismo y las constantes (análogo
a número primo para N).

Ejemplo 8: x2 + 1, x2 + x + 1 son irreducibles en R[x] pero no en C[x], pues z 2 + 1 =

(z − i)(z + i). z 2 − 2 factoriza en R[x] pero no en Q[x].

Teorema 1. Todo polinomio P (x) ∈ K[x] con grado ≥ 1 posee una descomposición en
factores irreducibles, única salvo multiplicación por constantes.2

Diremos que α ∈ K es una raíz (o un cero) de P (x) si P (α) = a0 + a1 α + · · · + an αn = 0.

Teorema 2. α es una raíz de P (x) ⇐⇒ P (x) = (x − α)Q(x) con Q(x) ∈ K[x] y

grado(Q) < grado(P ).

Demostración:
⇒) Dividimos P (x) por (x−α): P (x) = Q(x)(x−α)+R(x) con grado de R(x) menor que
1 → R(x) = cte, junto con P (α) = 0, implica R(α) = 0, es decir P (x) = Q(x)(x−α)
Q.E.D.
⇐) Trivial.

2
Podéis encontrar la demostración en las notas de A. Ibort y M.A. Rodríguez, por ejemplo.

11
 Una de las diferencias fundamentales entre R y C es la existencia de raíces de poli-
nomios dentro del cuerpo. Los siguientes teoremas son de fundamental importancia:

Teorema 3. Todo polinomio P (z) ∈ C[z] de grado ≥ 1 posee al menos una raíz.

(La demostración no es puramente algebraica, requiere de más conocimientos de variable

compleja).

Este teorema ya no se cumple en R (ejemplo (x2 + 1)).

Teorema 4. Todo polinomio P (z) ∈ C[z] factoriza como producto de polinomios de grado
1, de forma única salvo constantes de multiplicación,

P (z) = a0 + a1 z + · · · + an z n = an (z − z1 )(z − z2 ) · · · (z − zn ),

donde z1 · · · zn son las raíces de P (z) (no necesariamente distintas).

Demostración:
Basta demostrar que todo polinomio irreducible en C es de grado 1. Si P (z) es
irreducible y de grado mayor que 1, por el teorema anterior tiene al menos una raíz α
=⇒ P (z) = (z − α)Q(z), con grado de Q menor que el grado de P =⇒ no es irreducible,
lo que es una contradicción.

De estos resultados concluimos:

Teorema 5. Teorema fundamental del álgebra: todo polinomio en C de grado n

tiene n raíces en C. Se dice que C en un cuerpo algebraicamente cerrado.

(R no lo es porque hay raíces de P ∈ R[x] que no están en R, pero sí en C visto como

extensión de R. Q tampoco lo es.)

Propiedad: Sea P (z) = a0 + a1 z + · · · + an z n ∈ C[z] con coeficientes aj (j = 0, · · · , n)

reales y P (zi ) = 0 entonces P (zi ) = 0 = P (z̄i ) =⇒ si zi es raíz de un polinomio de
coeficientes reales, entonces z̄i también lo es, así que las raíces complejas aparecen en
pares.

Fórmulas de Cardano-Vieta
El cálculo de las raíces de un polinomio se complica a medida que aumenta el grado
del polinomio. Para polinomios de grado dos, P (z) = az 2 + bz + c , es fácil ver que las
raíces son √
−b ± b2 − 4ac
z± = .
2a
Para polinomios de grado 3 aplicamos las fórmulas de Cardano-Vieta (generalizables a
mayor grado):

12
 Dado P (z) = a0 + a1 z + a2 z 2 + a3 z 3 = a3 (z − z1 )(z − z2 )(z − z3 ) (con a3 6= 0), tenemos
a0
P (0) = a0 = −a3 z1 z2 z3 → = −z1 z2 z3 ,
a3
a1
P 0 (0) = a1 = a3 (z1 z2 + z2 z3 + z1 z3 ) → = z1 z2 + z2 z3 + z1 z3
a3
a2
P 00 (0) = 2a2 = −2a3 (z1 + z2 + z3 ) → = −(z1 + z2 + z3 ).
a3
De este sistema de ecuaciones podríamos expresar las raíces z1 , z2 , z3 en términos de los
coeficientes a0 , a1 , a2 , a3 del polinomio.

Ejercicio: Deducir que las fórmulas de Cardano-Vieta para un polinomio de grado n son
n
a0 n
Y
= (−1) zi = (−1)n z1 z2 · · · zn ,
an i=1
n n
a1 X Y
= (−1)n−1 zi = (−1)n−1 [z2 z3 · · · zn + z1 z3 · · · zn + · · · + z1 z2 · · · zn−1 ],
an j=1 1=i6=j
n n n
a2 X X Y
= (−1)n−2 zi = (−1)n [z3 z4 · · · zn + · · · + z1 z2 · · · zn−2 ],
an j=1 k=j+1 1=i6=j,k
..
.
n n n n n
an−1 X X X Y X
= (−1) ··· zi = − zj .
an j =1 j =j +1 j =j +1 1=i6=j ,j j=1
1 2 1 3 2 1 2 ,···

Ley de Descartes de los signos (para coeficientes reales)

Si r es el número número de raíces reales positivas de un polinomio P de coeficientes
reales y s es el número de cambios de signo en sus coeficientes ordenados =⇒ r ≤ s, s − r
par o cero. Cambiando el signo x → −x, aplicamos el criterio a las raíces reales negativas.

Ejemplo 9: x3 + x2 − x − 1 solo tiene un cambio de signo entre el segundo y el tercer

término: s = 1, por tanto r = 1 ó 0, pero como r − s debe ser par =⇒ 1 raíz positiva.
Ahora, haciendo la sustitución x → −x: −x3 + x2 + x − 1 → s = 2 =⇒ r = 2 ó 0 (no
sabemos). Para confirmar factorizamos: (x + 1)2 (x − 1) → las raíces son 1 y -1 (ésta con
multiplicidad 2).

Una regla útil a la hora de factorizar polinomios que tienen raíces enteras es la regla
de Ruffini, que damos por conocida.

Ejemplo 10: Factoricemos el polinomio P (z) = z 3 − 9z 2 + 15z − 7:

1 −9 15 -7
1 1 −8 7 ,
1 −8 7 0
√
por tanto P (z) = (z−1)(z 2 −8z+7). Ahora las raíces de z 2 −8z+7 son (8± 64 − 28)/2 =
4 ± 3 = 1 y 7. Concluimos por tanto que P (z) = (z − 1)2 (z − 7).

13
4 Matrices: nociones básicas
Una matriz m × n en un cuerpo K es una colección de m × n elementos Fij ∈ K ordenados
en m filas y n columnas (i = 1, · · · , m, j = 1, · · · , n)
 
F11 F12 · · · F1n
 F21 F22 · · · F2n 
F ∈K m×n
, F =  .. .. . . ..  ≡ (Fij ).
 
 . . . . 
Fm1 Fm2 · · · Fmn

Notación alternativa Fij → Fji (índice arriba de fila, y abajo de columna), y así F i denota
la fila i-ésima y Fj denota la columna j-ésima de F .

Si m = n la matriz se dice cuadrada.

Operaciones básicas con matrices

Transposición
Dada una matriz F , llamamos transpuesta F T al resultado de intercambiar las filas
de F con sus columnas, es decir, la transposición es la operación

T : Km×n −→ Kn×m
F 7−→ F T ≡ (FijT ) = (Fji ).

Notación alternativa: F T = F t .

Para matrices cuadradras, con m = n, si F = F T la matriz F se dice simétrica, si

se cumple F = −F T entonces F se dice antisimétrica. Los elementos de la diagonal de
una matriz antisimétrica son por tanto nulos (Fii = 0).
Nótese que (F T )T = F , y tenemos que si F es una matriz cuadrada, entonces la com-
binación F + F T es una matriz simétrica y F − F T es antisimétrica.

Ejemplo 11:
 T  
123 147
4 5 6 = 2 5 8
789 369

Traza de una matriz cuadrada (m = n)

Tr(F ) = Fii (suma de elementos diagonales)

X

La traza posee la propiedad cíclica: Tr(A1 A2 · · · An−1 An ) = Tr(An A1 A2 · · · An−1 )

(luego estudiaremos la multiplicación de matrices).

14
Suma

Km×n × Km×n −→ Km×n (ley de composición interna)

F G 7−→ F + G ≡ (F + G)ij = Fij + Gij .

Ejemplo 11:      
102 203 305
0 1 2  + 1 0 0  = 1 1 2 
001 010 011

Producto por un escalar c ∈ K

K × Km×n −→ Km×n (ley de composición externa)

c F 7−→ cF ≡ (cF )ij = cFij .

Producto de matrices

Km×n × Kn×p −→ Km×p

n
X
F G 7−→ F G ≡ (F G)ij = Fik Gkj .
k=1

La columna j-ésima de F G es la combinación lineal de las columnas de F con coeficientes

los elementos de la columna j-ésima de G:

colj (F G) = col1 (F ) · G1j + · · · + coln (F ) · Gnj ,

o por filas
f ilai (F G) = f ila1 (G) · Fi1 + · · · + f ilan (G) · Fin .
Para matrices cuadradas (m = n = p) es ley de composición interna.

Ejemplo 12:      
140 01 4 13
3 1 2  · 1 3  =  5 8  .
017 21 15 10
Vemos por ejemplo que la primera columna es
       
4 1 4 0
 5  = 0 · 3 + 1 · 1 + 2 · 2 ,
15 0 1 7

o la segunda fila es
(5, 8) = 3 · (0, 1) + 1 · (1, 3) + 2 · (2, 1).

15
Propiedades:

i) Asociativa: F (GH) = (F G)H, con F ∈ Km×n , G ∈ Kn×p , H ∈ Kp×r .

ii) Distributiva: F (G + H) = F G + F H, con F ∈ Km×n , G ∈ Kn×p , H ∈ Kn×p .

iii) (F G)T = GT F T , con F ∈ Km×n , G ∈ Kn×p .

Demostración:

i) [F (GH)]ij =
Pn Pn Pp Pp Pn
k=1 Fik (GH)kj = k=1 s=1 Fik Gks Hsj = s=1 ( k=1 Fik Gks ) Hsj =
[(F G)H]ij .

ii) [F (G + H)]ij = Fik (Gkj + Hkj ) = nk=1 Fik Gkj + Fik Hkj = [F G + F H]ij .
Pn P
k=1

iii) [(F G)T ]ij = (F G)ji = nk=1 Fjk Gki = nk=1 GTik Fkj
T
= (GT F T )ij .
P P


Conmutador

Km×m × Km×m −→ Km×m (ley de comp. interna para matrices cuadradas)

F G 7−→ [F, G] = F G − GF (6= 0 en general).

Si [F, G] = 0 decimos que F y G conmutan: F G = GF .

Matriz inversa de una matriz cuadrada

Dada A ∈ Kn×n , diremos que es invertible si ∃ A−1 ∈ Kn×n tal que

A · A−1 = A−1 · A = 1n ,

siendo 1n la matriz identidad de tamaño n × n, es decir

 
100· · · 0
010· · · 0
1 si i = j,
(
 
1n = 001· · · 0 . En componentes: (1n )ij = δij = .
 
 .. .. .. . . ..  0 si i 6= j
. . . . .
000· · · 1

A este símbolo δij le llamamos delta de Kronecker.

Propiedades:

i) (F G)−1 = G−1 F −1 .

ii) (F −1 )T = (F T )−1 .

Demostración:

i) (G−1 F −1 )(F G) = G−1 (F −1 F )G = G−1 1G = G−1 G = 1 = (F G)(G−1 F −1 ).

16
 ii) F F −1 = 1 → (F F −1 )T = 1 → (F −1 )T F T = 1 → (F −1 )T = (F T )−1 .

Veremos distintas formas de determinar si existe la matriz inversa y calcularla. Una
de ellas es a través de operaciones elementales:

• Operaciones elementales:
1) Intercambio de dos filas (columnas).
2) Multiplicar una fila (columna) por un escalar no nulo.
3) 2) y sumar esa fila (columna) a otra.
A un conjunto de operaciones elementales por filas sobre una matriz A lo denotaremos
como ef (A), y por columnas ec (A). Tenemos que ef (A) ≈ A ≈ ec (A) (matrices equiva-
lentes).

Forma escalonada de una matriz (por filas) o matriz escalón

En cada fila, el primer elemento no nulo (pivote) está en una columna a la derecha
del pivote de la fila anterior
 
0· · · 0 a · · ·
0· · · 0 0· · · 0 b ··· 
0· · · 0 0· · · 0 0 · · · 0 c · · ·

Ejemplo 13: Busquemos haciendo operaciones elementales la matriz escalonada por filas
equivalente a una matriz dada:
       
0131 2 2 5 2 2 2 5 2 2 2 5 2
F 2 ↔F 1 F 3 →F 3 −2F 1 F 3 →F 3 +2F 2 1
2 2 5 2  − −−−→ 0 1 3 1  −−−−−−−→ 0 1 3 1  −−−−−−−−→ 0 1 3 1 
4373 4373 0 −1 −3 −1 0000

Forma escalonada reducida por filas

Además de lo anterior, todos los elementos por encima de los pivotes son nulos, y los
pivotes valen 1:  
0· · · 0 1· · · a 0
0· · · 0 0· · · 0 1 · · · b 0 
0· · · 0 0· · · 00 · · · 0 1· · ·

Ejemplo 14: Busquemos haciendo operaciones elementales la matriz escalonada reducida

por filas equivalente a la matriz del ejemplo 13:
     
2252 1 1 2
2 0 −1 0 1 1
1 0 −1/2 0
F →F −2F F →F /2
0 1 3 1  − −−−−−−→ 0 1 3 1  −−−−−→ 0 1 3 1 
0000 00 0 0 00 0 0

17
 Toda matriz A se puede llevar a forma escalonada reducida por filas única ef (A),
o bien por columnas ec (A) también única. El siguiente procedimiento lleva A a forma
escalonada reducida por filas.

1) Colocamos en la primera fila la que tenga el primer elemento no nulo más a la

izquierda (columna c1 ).

2) Sobre el pivote (p1 ) de la primera fila hacems ceros debajo según la operación ele-
mental
anc1
Fn → Fn − F1 (n > 1).
p1
3) Repetimos 1 y 2 para las demás filas, de arriba hacia abajo.

Esto lo lleva a la forma escalonada. Para conseguir la reducida:

4) Normalizamos el pivote de la última fila (FN ) que lo tenga (debajo puede haber filas
de ceros) en la columna cN

5) Aplicamos la operación elemental

Fn → Fn − ancN FN (n < N ).

6) Repetimos 4 y 5 para las demás filas, de abajo a arriba.

Propiedades:

• ef (AB) = ef (A) B ,3 ec (AB) = A ec (B) , ec (A) = [ef (AT )]T , ef (A) = [ec (AT )]T .
(Por ser f ilai (AB) = Ai1 f ila1 (B) + · · · + Ain f ilan (B), etc)

• Si A tiene c filas de ceros en su forma escalonada reducida =⇒ AB tiene al menos

c filas de ceros en su forma escalonada reducida (puede tener más).
(Ya que ef (AB) = ef (A) B y f ilai (ef (A) B) = 0 · f ila1 (B) + · · · , con i índice de
fila nula en ef (A).)
Y por lo mismo, el número de columnas de ceros de CA es siempre igual o mayor
que el de A.

3
Es decir, aplicamos a AB el mismo ef que lleva A a escalonada reducida y genera al menos las mismas
filas de ceros. Si seguimos haciendo operaciones elementales llegaremos a la forma escalonada reducida
de AB, que tendrá esas filas de ceros al menos.

18
Rango de una matriz A ∈ Km×n
Llamemos cf al número de filas no nulas de la matriz escalonada reducida, y cc al
número de columnas no nulas de la matriz escalonada reducida
• Rango por filas: rf (A) = m − cf .
• Rango por columnas: rc (A) = n − cc .
Propiedad:
Claramente rf (A) ≤ m y rc (A) ≤ n, pero además se puede demostrar que
rf (A) = rc (A) = r(A) : Rango de A (r ≤ min(n, m)).
Demostración:
Primero reordenamos las filas de A y pasamos a una  con rf (Â) = rf (A). La fila
i-ésima a partir de i = rf + 1 se puede escribir como combinación lineal del resto de filas:
rf

(4.1)
X
i
 = Â1 λi1 + Â2 λi2 + · · · +  rf
λirf = Âj λij , i = rf + 1, · · · , m.
j=1

Ahora definimos una matriz F (rf ×n) obtenida quitándole a  las filas i = rf +1, · · · , m,
es decir
F i = Âi para i = 1, · · · , rf
y una matriz L (m × rf ), que construimos a continuación tal que
 = L · F. (4.2)
Como
Âi = F 1 Li1 + F 2 Li2 + · · · + F rf Lirf
= Â1 Li1 + Â2 Li2 + · · · + Ârf Lirf ,
entonces vemos que tiene que cumplirse
(
Lii = 1
i, j = 1, · · · , rf .
Lij = 0 (i 6= j)
y si i = rf +1 , · · · , m, de la ecuación (4.1) vemos que
Lij = λij si j = 1, · · · , rf ,
y con esto ya hemos construido la matriz L. Ahora de (4.2) deducimos que las columnas
de  pueden escribirse como combinación lineal de las rf columnas de L, y por tanto
rc (Â) ≤ rf (Â). (4.3)

Aplicando el mismo razonamiento a ÂT llegamos a

rf (Â) = rc (ÂT ) ≤ rf (ÂT ) = rc (Â). (4.4)

Entonces (4.3) y (4.4) implican que rf (Â) = rc (Â) =⇒ rf (A) = rc (A).



19
• Aplicación a la matriz inversa:
Si A cuadrada (n × n) tiene alguna fila de ceros (r < n) entonces A no es invertible.
Si lo fuera, existiría A−1 tal que A A−1 = 1, pero entonces habríamos aumentado el rango
multiplicando por una matriz (ya que r(1) = n), lo cual es imposible como hemos visto.

Si r = n entonces A es invertible y A−1 = ef (1), donde ef es el conjunto de operaciones

elementales de filas que lleva A a la matriz identidad. También A−1 = ec (1) por columnas.

Demostración: Como r = n, la forma (única) escalonada reducida por filas de A es 1, y

por tanto existe ef (1) = ef (A A−1 ) = ef (A)A−1 = A−1 , y análogamente por columnas:
ec (1) = ec (A−1 A) = A−1 ec (A) = A−1 .

Nótese que A es invertible si y solo si su determinante no es nulo: det(A) 6= 0.

 
1 2
Ejemplo 13: Inversa de A =
−1 3

1 2 1 0 F 2 →F 2 +F 1 1 2 1 0 F 2 →F 2 /5 1 2 1 0
−−−−−−−→ −−−−−→
-1 3 0 1 0 5 1 1 0 1 1/5 1/5

1 0 3/5 -2/5
 
F 1 →F 1 −2F 2 −1 1 3 −2
−−−−−−−→ =⇒ A =
0 1 1/5 1/5 5 1 1

También, si ef (A) = 1 podemos calcular C = A−1 B como

ef (B) = ef (AC) = ef (A)C = C,
y si C = BA−1 entonces ec (B) = ec (CA) = C si ec (A) = 1.

Propiedad:
Dada B invertible con r(B) = n y A matriz m × n, entonces r(AB) = r(A). En con-
secuencia, el rango no cambia al hacer un cambio de base (los estudiaremos más adelante).

Demostración:
ef (AB) = ef (A)B. ef es tal que f ilai [ef (AB)] = 0 para i = r + 1, · · · , m. Si
r(AB) < r(A) ≡ r entonces existe λi tal que (con algún λi 6= 0)
r
X r
X n
X
λi · f ilai [ef (AB)] = 0 =⇒ λi [ef (A)]ij · f ilaj (B) = 0
i=1 i=1 j=1

lo que implica que

n r
con
X X
λ0j · f ilaj (B) = 0 λ0j = λi [ef (A)]ij , j = 1, · · · , n,
j=1 i=1

y entonces concluimos r(B) < n lo que es una contradicción.

20
5 Sistemas de ecuaciones lineales
Un sistema de m ecuaciones lineales con n incógnitas:
 
x1
A·X =B , A ∈ Km×n , B ∈ Km×1 , X =  ...  ∈ Kn×1 ,
 
xn

se dice compatible si existe X que lo cumpla (solución) y determinado si X es único.

5.1 Método de eliminación Gaussiana

Como ef (A) · X = ef (B) (sistema equivalente), los X solución de A · X = B lo son
del sistema equivalente y viceversa. Llevemos entonces A a su forma escalonada (no
necesariamente reducida) mediante ef (A). Entonces:

1) Si r(A) ≡ r = m (no hay filas de ceros) =⇒ el sistema es compatible.

El número de parámetros libres, k, es el número de incógnitas menos el número de
ecuaciones independientes: k = n − m (r = m ≤ n). Es decir, si r = m = n,
el sistema es compatible y determinado (en este caso ef (A) = 1 y X = ef (B) =
A−1 B), y si r = m < n, despejamos los xi de la forma escalonada, dejando a la
izquierda los m independientes.

2) Si r(A) < m (hay m − r filas de ceros)

Compatible ⇐⇒ [ef (B)]i1 = 0 , ∀i = r + 1, · · · , m (r(A) = r(A|B)).

El número de parámetros libres es ahora k = n − r y por tanto es

– compatible determinado para r = n.

– compatible indeterminado r < n.

En resumen
r(A) = r(A|B) ⇐⇒ Compatible
r(A) = n ⇐⇒ Determinado
Nótese que siempre se cumple r(A) + k = n.

En el caso particular B = 0, el sistema se llama homogéneo y es siempre compatible,

y será determinado o no según lo que valga k = n − r (X = 0 es siempre solución). En
este caso es más sencillo calcular las soluciones porque ef (B) = 0.

21
Ejemplo 14:

x1 + x2 = 0
 1 1 2 1 1 2 1 1 2
−x1 + x2 = 4 → -1 1 4 → 0 2 6 → 0 1 3
2 4 10 0 2 6 0 0 0

2x1 + 4x2 = 10


( (
x1 + x2 = 2 x1 = −1
→ →
x2 = 3 x2 = 3

Ejemplo 15:

 
123    
12 23
A = 0 1 2  → det(A) = 1 det +2 det = 1+2(4−3) = 3 6= 0 → ∃ A−1
01 12
201

Calculemos su inversa
1 2 3 1 0 0 1 2 3 1 0 0 1 2 3 1 0 0
F 3 →F 3 −2F 1 F 3 →F 3 +4F 2
0 1 2 0 1 0 −−−−−−−→ 0 1 2 0 1 0 −−−−−−−→ 0 1 2 0 1 0
2 0 1 0 0 1 0 -4 -5 -2 0 1 0 0 3 -2 4 1

ya la tenemos escalonada, seguimos:

1 2 3 1 0 0 1 0 -1 1 -2 0
F 3 →F 3 /3 F 1 →F 1 −2F 2
−−−−−→ 0 1 2 0 1 0 −−−−−−−→ 0 1 2 0 1 0
0 0 1 -2/3 4/3 1/3 0 0 1 -2/3 4/3 1/3

1 0 0 1/3 -2/3 1/3 1 0 0 1/3 -2/3 1/3

F 1 →F 1 +F 3 F 2 →F 2 −2F 3
−−−−−−−→ 0 1 2 0 1 0 −−−−−−−→ 0 1 0 4/3 -5/3 -2/3 .
0 0 1 -2/3 4/3 1/3 0 0 1 -2/3 4/3 1/3

Concluimos por tanto 

1 −2 1
1
A−1 =  4 −5 −2 .
3
−2 4 1

   
4 x
Resolvamos ahora el sistema AX = B con B = 5 y X = y .
  
6 z
Como det(A) 6= 0, no hay filas de ceros en ef (A) y la solución es única. Podemos
hacer

1) X = A−1 B con la A−1 que ya hemos calculado antes, o

22
 2)

1 2 3 4 1 2 3 4 1 2 3 4
F 3 →F 3 −2F 1 F 3 →F 3 +4F 2
0 1 2 5 −−−−−−−→ 0 1 2 5 −−−−−−−→ 0 1 2 5
2 0 1 6 0 -4 -5 -2 0 0 3 18

 
x + 2y + 3z = 4
 x = 4 − 2y − 3z = 0

y + 2z = 5 → y = 5 − 2z = −7 ,o
 
3z = 18 z=6
 

3) directamente de la forma escalonada reducida aplicando las mismas operaciones a

B. Siguiendo a partir de la tercera:

4 4 -6 0 0
F 3 →F 3 /3 F 1 →F 1 −2F 2 F 1 →F 1 +F 3 F 2 →F 2 −2F 3
5 −−−−−→ 5 −−−−−−−→ 5 −−−−−−−→ 5 −−−−−−−→ -7 .
18 6 6 6 6

6 Producto de matrices por bloques

Sean las matrices F ∈ Km×n y G ∈ Kn×p , separadas en bloques:
   
F[11] · · · F[1r] G[11] · · · G[1s]
F =  ... . . . ...  , G =  ... . . . ...  ,
   
F[q1] · · · F[qr] G[r1] · · · G[rs]

donde el bloque F[ij] tiene tamaño mi ×nj , el bloque G[ij] tiene tamaño ni ×pj y se cumple

m1 + m2 + · · · + mq = m,
n1 + n2 + · · · + nr = n,
p1 + p2 + · · · + ps = p.

Entonces el producto F G se puede hacer por bloques:

 
(F G)[11] · · · (F G)[1s] r
.
. . . .
.
.  donde (F G)[ij]
X
FG =  . . F[ik] G[kj] .
 
(F G)[q1] · · · (F G)[qs] k=1

Es decir, lo convertimos en un producto “(q × r) × (r × s) = (q × s)”.

En particular esto implica que el producto de matrices “triangulares superiores por

bloques”, es decir tales que los bloques con i > j son nulos, sigue siendo triangular
superior: X
(AB)[ij] = A[ik] B[kj] =⇒ (AB)[i>j] = 0,
k>i

23
ya que si k > i > j tenemos B[kj] = 0.

Ejemplo 16: Sean

1 2 0 1 2 0 0 1 0
   
   
F[11] F[12] G[11] G[12] G[13]
F = =  0 1 1  , G= =  0 0 1 0 1 0 ,
F[21] F[22] G[21] G[22] G[23]
3 1 0 0 1 0 1 0 1

calculemos su producto de acuerdo a la división de bloques establecida arriba:

 
F[11] G[11] + F[12] G[21] F[11] G[12] + F[12] G[22] F[11] G[13] + F[12] G[23]
FG =
F[21] G[11] + F[22] G[21] F[21] G[12] + F[22] G[22] F[21] G[13] + F[22] G[23]

           
12 00 00 20 10 20
 00 + 01 00
+
11 00
+
11 
=










36 + 00 00 + 10 30 + 10

1 2 2 0 3 0
 

=  0 1 1 1 1 1 .
3 6 1 0 4 0

Nótese que dada A matriz n × m podemos separarla en bloques columna o en bloques

fila:  1
A

 . 
A = A1 |· · · | Am =  ..  .
An
También A · V1 |· · · | Vp = AV1 |· · · | AVp con (Vi )m×1 vectores columna.

 
AB
Una aplicación interesante del producto por bloques es si F = y existen A−1
0C
y C −1 entonces resulta que F es invertible y su inversa es
 −1
A −A−1 BC −1

−1
F = ,
0 C −1

como se demuestra fácilmente de imponer F F −1 = 1.

 
AB
Análogamente lo podríamos aplicar para F = .
C 0

24