EDITOR IAL M 1 H

A.r. KYPOIU

RYP C
BbiCUJER AJll'EBPbi

f/a ucnaiiCt<OM H3u

A. G. KUROSCH

CURSO
de

ALGEBRA SUPERIOR
Traducido del ruso por
EMILI ~N O ~PARI C IO DEilN~ROO,

Candidado a Doctor e11 Cimclas Fsico-Mat emlicas,

Catcdr/lco de Matemticas Superiores.

F.DITORI AL MIR

)fOSCU

1968

CDU 512.8 (075.8)

= 60

Impreso en la U RSS
Derechos reservados

IN D I CE
Palabras do proseo t.ocin
Captulo l . S istemas de ecuaciones lineales . Determinantes
t. Mtodo de eliminacin consecutiva de las incgnitas
2. Doterminantos de segundo y torcer odoo . . . . .
3. Permutaciones y sustituciooos . . . . . .
4. Dotermioant os de n-simo orden . . . . . .
5. Los menores y sus complementos algebraicos
G. C lcu lo de determinantes
. . . . . . . .
7. llegla de Cramer . . . . . . . . . . . .
Caplulo ll. Sis temas de ecuaciones linea les (l eera general )
8. Espacio vectorial de n dimensiones . . .
!l. Dependencia lineal de vectores . . . . . .
10. 1\augo de una matriz . . . . . . . . . .
11. Sistemas de ecuaciones lineales . . . . .
12. Sistemas do ecuaciones lineales ltom ogneas

g
17
22'

32
39
43

50
57
6t
68
7&
82

Capftu lo 111. Algcbra de las m ot ri ces

13. Mu ltiplicacin do matrices
............. ,
H ..\lnlriz inversa . . . . . . . . . . . . . . . . . . . . .
15. Suma do matrices y multiplicacin do una matriz por un nmero
16. Co1strucci n axiomtica de In tCOI' a de los determinantes

88
95
102

Capitulo IV. Nnneros complejos

17. El s is tema de los nmeros complejos . . . .
18. Eslodio posterior de los ntuoros cnmplojos .
1\l. Extraccin de lu raz do los nmeros complejos

Ht

tOO

116
i 25

Capitulo V. Los poli nomios y sus rncca

20. Operaciones con los polinomios
21. Divisores. Mximo comn divisor
22. t.as raices do los polinomios
23. Tooroma fundamental
. . . . . .
2/o. Consecuencias dol teorema fundamenta l
2;. Fracciones racionales . . . . . . . . .

163

Captulo VI. Formns eundrticas

26. 1\oducci n de una fo rma cuadrt ica n In forma cannir.n
27. Ley do iuercin
. . . . .
28. Forma~ dofinidas pos it ivas

169
177
183

Captu lo VII. ~:spacios l inea les

2!1. Ocfiuiciu del espacio lineal. Isomorfismo
:10. Esrmcios do dimensiones fin i lns. Bases
31. Trunslormaciooes lineales
. . . . .
32. Su loespacios lineales
. . . . . . . .
3.3. nnlces caraclerblicas y valores Jlropios

132
137
145
149

158

187
191

197

205

21()

lndice

Cnprtulo
31,.
:lf\.
aG.
37.

\'111. Espac ios cucl ftleo~

Vefinicin clcl c,;pucio cuclclr.o. nuscs orlonorncn lcs . .
Alntriccs Ml.ogonnlcs , trau"funnacio 11cs (U'lu,:oualcs
Trarcsformacioncs ~ imtric:as
. . . . . . . . . . . .
1\cduccirc VtJ IIU!I formn cunurlica 11 Jo~ eje~ pl'ircc ipaJes . P;.tr
do formas . . . . . . . . . . . . . . . . . . . . .

Captulo
38.
39 .
40.

IX. Clcu l o de l ns rnccs ele los to linomns

Ecuaciones de ~cgu ndo. tercero y cu arto g rado
Acotncin do lns ral ees . . . . . . . . . .
Teorema do Slurru
. . . . . . . . . . .
[lot. Otros teoremas sobro e l nmero de races r~alcs
/o2. Colcnlo aproximado do las races . . . . .

Cap [t ulo
1,3.
11,
'15.

'6.

1,1,
t,8.
t,9.
50.

X. Camp os y po li nomios
Anillos y campos numricos
.. ... . ...
An illo . . . . . . . . . . .
. . . . . . . . . . .
Cnrupo
. . . . . . . . . . . . . . . . . . . . . .
lsomorli'!ttn do los anillo~ (de le>~ c<utp~>~). l uiciclad del
cnmro de los nmeros complejos . . . . . . . . . . .
Algcbra lineal y lgcbra de los p olinomios sobro u n campo
nrhilrario . . . . . . . . . . . . .
. . . . . .
Descomposicin clo los pol inom ios en fnclMcs irreducibles
Teorema tlo existencia do la raz . .
Cnmro de fracciones rocionclcs

Captu lo XI. Po l i n omios en n r ins i ndeterminndns

'51. Anillo do los po lircomios en varins ind otcnninntlas . . . . .
'52. Polinomios ~imt ricos . . . . .
. ....... .. .
53. Observaciones complementarias sobre lo~ politH1tnios simtricos
5' Resultante. Eliminacin do una indclt>rminoda . Oiscriminanlc
55. Segunda demos~rnci(m dol teorema fundam ental del lgebra de
los nmeros complejos . . . . . . . . . . . . . . . . .
Captu lo XH . J'oli n omios de coeli~ientes r acion a les
56. Heducibilidad! do los polinom ios sobro e l campo do los nmeros racionales . . . . . . . . . . . . . . . . . . . . .
;57. Ralees raciona les do los polinomios d o cooficiontes enteros
i . 58. Los nmeros algebraicos . . . . . . . . . . . . . . . .

2 1!;

2;1

:l21i
230

237

v.r;

25t
257
2Gio

:m
27!i
282

288
292
297
:IOG

313
320
32!1
3:16

31o:S
354

3!'>9
3Gt.
367

Caprtulo XIII. Formo oorm ol de un a matr iz

59. Equivalencia do las A-matrices . . . . . . . . . . . . .
60. ).-matrices unimodulnros. Relacin entro In semejanza de las
matrices numricas y la e(uivalencia ele sus matrices caractersticas . . . . . . . .
f 61. Forma normal do J ordan
62. Polinomio mlnimo

Cap itulo XIV. Grupos

63. Definicin y e jemplos do gruros . . . . . . . . .
64. Subgrupos . . . . . . . . . . .
- . . . . - .
65. Divisores normo los, g rupo cociente, homomorfi~mos
66. Sum as directos da grupos aholi nnos
i,.67. Crupos abelinnos fin los
b u/Ice alfabticq . . . . . . . . . . . . . .

373

380
389

398

403
410

1,(6

lo22
lt29

1,38

PALABRAS DE PRESENTACION
La verswn castellana de la obra del profesor A. G. Kurosch
Curso de lgebra superior que ofrecemos al lector, es el primer libro
d el autor que se tradu ce a l espaol.
E l conocimiento del itlgebra s uperior es indispensable para la
form acin matemtica del es tudiante que ha decidido consagrarse
al esLudio de las maLem ticas. El presente libro marca un c11mino
relali vamentc corto para pa:>a r del lgebra elemental a l estudio ele los
mtodos abstractos del ; lge bra moderna.
E n los primeros cap l ulos se estudian do lnlladamen te los determinantes y sistemas do ecuaciones lineales, so inlroduceo los nmeros
complejos y las operaci ones sobre las matrices, y se hace una exposicin rle la teora de l o~; polinomios y form as cuadrticas. En los
caplt\llos VII y VIII , el a ut or nos da una idcn primordial dd lgebra
lineal. En el captulo X ve mos que el lgebra lineal, el lge bra de los
polinom ios y las fun ciones racionales pueden generalizarse para el
callo de un campo fundam ental arbitrario. Precis:unenLe en este ca pitulo, el autor nos enseria 'los princi pios del lgebra moderna. Aqu
nos enco ntramos con los conceptos importanLes de anillo y campo.
Esto!; conceptos permiten exponer con may or generalidad la teora
de los poli nomios en varias indeterminadas, suponiendo que los
coeficientes de estos polinomios pertenecen a un campo fundamental
arbitrario. A continuaciiln, las matrices polinomiales tambin so
estudian sobre un cam po fundamental arbitrario y se aplican para
la ela boracin de la teora de las matrices de J ordan. El ltimo captu lo es t dedicado a los grupos; s te es el comiem.o de una rama muy
impor tan te del lgebra moderna, denominada teora de los
grupos.
El au tor de este li bro es un gran espccialisla en teora de grupos.
Su libro Teora de los .:rupoSt, desempe un pa pel muy importa nte
en el desa rrollo de las investigaciones sobre es lo lema en la t.: nin
Sovitica. Hace unos aiios, el prof. A. G. Kurosc h puhlic una origina l obra, titulada Lecciones de lgeb ra general, que fue fa vorab lemen te acogida por los nlgebristas soviticos.
El prof. A. G. Kurosch es jefe de la ctedra de lgebra sup erior
c e la U niversidacl de Mo~c desde el ao 19119.

Palabras de presentacin

El presente libro es un compendio de lgebra s uperior que comprende los conocimientos de esta ciencia obligatorios para los estudiantes
de matemticas de la Universidad de .Mosc. Desde la aparicin
de su primera edicin en ruso, en el ario 1946, ya ha sido reeditado
ocho veces. En la Unin Sovitica ste es uno de los mejores libros
sobre el tema considerado. Esperamos que tenga buena acogida en los
pases de babia hispnica.
Agradeceremos al lector sus observaciones sobre la presente traduccin, que trataremos de tener en cuenta en el futuro.
Mosc. Febrero do 19G8.

/:.'. Aparicio Bernardo

CAPITU LO 1

SISTEMAS DE ECUACIONES
LINEALES. DETERMINANTES

t. Mtodo de eliminacin consecutiva de lus incgnitas

Comenzamos el curso de lgebra superior con el estudio de los
sistemas de ecuaciones de primer grado con varias incgnitas o,
como suele decirse, de los sistemas de ecuaciones linea.les *.
La teora de los sistemas de ecuaciones lineales origina una amplia e importante rama del lgebra, el lgebra lineal, a la que estn
dedicados una gran parle ele los capt.ulos de este libro y, en particular, los tres primeros. So supone que son real es los coeficientes de las
ecuaciones que se consideran en estos tres captulos, los valores de las
incgnitas y, en general, todos los nmeros que aparecen. En realidad, Lodo el contenido de estos captulos se generaliza, palabra por
palabra, al caso de flmcros complejos arbitrarios, ya conocidos por
el lector en el cu rso de la escuela media.
A diferencia del lgebra elemental, aqui se estudian los sistemas
con un nmero arbitrario de ec uaciones e incgnitas. Adems, suponemos que el nmero de ecuacioue:s del sistema no eoincide con el
nmero de incgnitas.
Sea dado un s iste111a de s ecuaciones lineales r.on n. incgnitas.
Convengamos en emplea1 las siguientes notaciones: 1:-~s incgnitas las
desi gnaremos con la letra x con subndices 1, 2 , ... n: x 1, x 2 , , Xn;
supourlremos que las ecuaciones estn num eradas as: la primera,
la segunda, ... , la s-sima; el coeficiente de la incgnita xi en la
i-sima ecuacin, se sealar mediante a;**; finalmente, el trmino
independ iente de la i-sillla ecuacin se designar con b.

Esta denominacin ~: debe ~ qtw , en la g~omcua aoaHtica, una ecuaciu de primer grado con dos incgnitas determina una recta en el plano.
** l:'nr con~iguiente , se cmp lcarm do~ su hnd ices, el primero do los cuales
inuicatel n(uucrt tlo la c~uadn, y el segundo, el nmero do la incgnita. Para
abn~viar, e~to: ndices oo se scpuaru con una coma; cl~ro que, en el caso uo
a11 , no SI! debe leer a onct!~. sino a uno uno. y "" el caso de a34 , no se dl'be
leer a tr~inta y cuato;~, ~iuo a lr1~s cuatro~.

10

r:ap. 1 Sl.fltcmas. de

Nuestro sistema se

er.unf:i()ne~ lint!alt'~.

e~eribit<i

;thora en

);J

forma general siguiente:

aux 1+ n 12X 2 7 ... -7 11w"n ' .,

a::1Xt -:- a22:l:2 1 ... . i tt2:1Xn ~ 2,

.. ... . ....

fls1l:t '

<l.~2't! -l-

Delerminttn(e$

(1)

-1 a.~mXn = bs .

Los eocficicntcs se pueden c.olocar formando un cuadro

z.. a,,)

lt 11 tt 1

a!!tn:."2 . . . a2n

(2)

(
flst 1l .;-.:2 ll sn

dcnomina<lo matriz des filas y n colnmnas; Jos nmeros al) se llaman

elementos de la mat.riz*. Si s = n (o sea, qu1l el nmero de filas es
igual al nmero de columnas), se dice que la mal.riz es cuadrada y de
orden n. La diagonal de esta matriz que tiiJC 111 ngulo supel'ior
izquierdo con ol ngnlo inferior derecho (o seil, formada por los elementos a 11 a 22 , , a,,), se 1lama diagonal principnl. U na m a lriz
cuadrada de ordeu n .o;e llamar matriz unid(!(/ de orden n, si todos los
elemenl.os de su diagonal principal ;on iguales a la uuidad, y todos
los elementos que est<n fuera do esta diagonal son iguales a cero.
Se llama solucin de un sistema de ecnciones Jinoale~; ('1) a un
sistema den nmeros k, k 2 , , k,,, en el que cada t111a de las
ecuaciones del sistema ('1) se convictte en una identidad, desp\ts
de haber sustituido en olla las incgnitas :t 1 por los nmero~ correspondientes k 1, i = 1, 2, ... , n**.
Un sistema do ecuaciones linealc:; puede no tener solucin alguna,
y entonces se llama incompatible. Tal es, por ejemplo, el sistema
x 1 +5x2 ~ '1,
x 1 + 5x2 = 7;

los primeros miembros de estas ecuaciones son iguales, mientras que

los segundos son distintos. Por lo tanto, ningn sistema de valores
de las incgnitas puede satisfacer simultneamente a las dos ecuaciones.
Si el sistema do ecuaciones lineales tiene solucin, se llama compatible. Se dice que un sistema compaUble es deterrni.nado, si posee
una solucin nica (en el lgebra elemental solamente se estudian
Do este modo, si la matriz (2) se examina sin relacin con el si~tcma (1 ,
el primer subndice do! elemento a 1 indira el nunero de su fila, y el segundo,
el nmero do su columna.
Hay q11e subrayar, quo los nmero k 1 k 2 , ... , k, fonnan uno solucin
del sistema y no n soluciones.

, 1. Mtodo de eliminaci6n consecu/.iLa de las inc6gnltas

tales sistemas), e indeterminado, si tiene ms de una solucin. En este

caso, como veremos ms adelante, hay una infinidnd de soluciones.
As, el sistema
x 1 -;- 2x2 = 7, }
X 1 + x2 =4
es determinado y x 1 = 1, x 2 = 3 es una solucin. Por el mtodo
de eliminacin de la incgnita, se puede comprobar fcilmente que
esta solucin es nica. Por otra parte, el sistema

3x1-x2 = 1, }
6x1 -2x2 = 2
es indeterminado, puesto que tiene infinitas soluciones de la forma
X1 =k,

(3)

Xz=3k-1,

donde el nmero k es arbitrario. Con. las soluciones obtenidas por las

frmulas (3) se agotan todas las soluciones de nuestro sistema.
El problema de la teora de los sistemas de ecuaciones lineales
consiste en la elaboracin de mtodos que permitan establecer si es
compatible o no un sistema dado de ecuaciones, y en caso de compatibilidad, indicar el nmero de soluciones y seiialar un mtodo para
hallar todas ellas.
Comenzaremos por el mtodo ms cmodo para hallar prcticamente las soluciones de los sistemas con coeficientes numricos, es
decir, con el mtodo de eliminacin consectiva de Las incgnitas o mtodo de Gauss.

Hagamos primero una observacin. A continuacin, tendremos

que hacer las siguientes transformaciones del sistema de ecuaciones
lineales: ambos miembros de una de las ecuaciones del sistema,
multiplicados previamente por un mismo nmero, se van a restar
de los miembros correspondientes de otra de las ecuaciones del sistema. Supongamos, por ejemplo, que ambos miembros de la primera
ecuacin del sistema (1), multiplicados por el nmero e, se restan de
los correspondientes miembros de la segunda ecuacin. Obtendremos
un nuevo sistema de ecuaciones lineales:

a2tXt
a3t.l."

+ a~Xz -!-

... -!- tt2nXn = IJi.

+ a32.1:z + ... + a;nXn =

lt3,

Tambin se llama mt!totlo de reduccin. (Nota del T.)

(4)

t2

Cnp. 1 Sistnnas de ecuaclo"es lint(,lts. Determinantes

donde

Los sistemas de cuaciones (1) y (-1) son equivalentes, es decir, son

simultneamente incompatibles o son simultneamente compatibles
y, en d ltimo caso, poseen las misma~:< soluciones. En efecto, se<~
k 1 , k 2 , . , k n una soluci n arhiLtaria del si><tema (1). Es evidente,
que estos nm eros satisfacen a todas las ecuaciones del sistema (4),
menos a la segunda. !Sin em bargo, tambin satisfacen a la segund"
ecuacin del sisLema (4): e:; suficiente recordar que esta ecuacin
se expresa mediante la segttnda y la primera de las ecuaciones del
sistema (1). Hec procamente, toda solucin de\ sistema (11) satisfan~
tambin al sistema ('1). En efecto, h segunda ecuacin del sistema
(1) se obt.icm;! restando do :lmbos miemhros do la segunda ecuac.in
del sistema (4) lo::; mit:mbros corrospondicnles do la primera ecu1:1cin
de esto sistema. multiplicados por el nmero - c.
J::~ compren:;iltlo que, si en et sistema (1) se efectan unas c 11anto.~
veces las transformaciones del tipo considerado, el sistema obtenido
de ecuaciones Si! mantendr equivaft>nte tll si:;tema inicial (1).
Puede ocurrir que despus de dectuar tales ttansformac iones
athnezca en nuestro !sistema una ccuadn, cuyos coeficientes en el
primer rniembrc) :sean igu;ue::; a cero. Si el ttntino independiente de
esla ecuacin es t.amhin igual a con>, la ecuacin se satisf<tce con
cualesquiera valores de IM incgnita,;. P or lo tanto, suprimiendo
estct ecuaci6n, llegamos a lUt sistema. de ecuaciones que es ernitalente
al inicial. S i el t,rcnino independiente de la ecuacin consicleradt\ es
diferente de cero, la ecuacin no pued<.: ser satisfech a pot ningunv
do lo:; valores dtl las i ncgni las y, por c::;t.o, d sistema obtenido de
eczwciont:s, al igual que el sistema. inicial equivalente, ser incompatible.
Expongamos ahora el mtodo d e Gau,;><.
Sea dado un s islorna arbitrario de ecuaciones lineales (1). Su>ollgamos para precisar que a 11 =F O; claro, puede ocurrir que a." sea
igual a cero y, entonces, tendramos que comenzar por cualquier
otro coeficiente de la primera (J(:uaciu del sistema, diferente de
cero.
Transformemos ahora el sist.ema (1), eliminando la incgnitn
de todas las ecuaciones, menos de la primera. Para esto, . mult.ipliquemos ambos miembros de la p1imera ecuacin por 021 y esttn"
moslos de los rni emhros correspondieotN~ de la segunda ecuacin.
Despus, mulLipliquemos ambos miembros de la primera ecuacin por
431
, y rcstmoslos de los mienchtos <:onespondientos de la tercera
au
ecuacin, etc., ele.

l-.

 1. Aftodo de tllminacl6n conecullva de ln lnc6gnltas

13

De esto modo , obtendremos un nuevo sistema de s ecuaciones

lipcales con n incgnitas:

a 11 x, + a 1:X2 .:.. a,:Xs + ... + a,.xn = b,, )

a2~Xz + tLJX3 + ... + a2nXn = b2, 1
llS 2.:t'z 1 Cl~3X3 + + CIJnXn = b3, 1
1

(5)

No tenen1os necesidad do esc ribir explicilameotc los expresiones de

los coeficientes nuevos a y de los tmiuos indopendjentes nuevos
bj, mediante los coeficientes y los trminos independientes del sistema inicial (1).
Como ya sabemos, el sistema de cuaciones (5) es equivalente al
s istema (1). Transformemos ahora el sistema (:i). Pero no tocaremos
mcs la primera ecuac.in , y las trllnsjormacione.s solamente las efectuaremos con la par le del si sh~lllH (~)) formada )lm todas las ecuaciones. menos la primera. Se sobrentiende que entro elltts no hny ecuaciones cuyos coefici entes rle los primeros 111icmbros sean iguales
a cero: tales ecuaciones las habramos suprim ilo, si sus trm inos
indepeudienles fuesen i~uales a cero, y en c,so con~rariu, qu edara
ya demostroda la iucomput.ibilidad de nuestro sistema. l'or lo t.unt.o,
huy c.oeficeut.es aii diferentes de cero; supongillnus, para Hcci~a r,
que
=f.= O. Transformemos 11bora el sistema (fl), restando do ambos
miembros do la tercera ecuacin y de cada una de las ~iguicnt e~ ecuaciones, ambos miembros do la segunda ccuaciu, multiplicados por

a;.

respectivamenLe. De esto modo, quedar;i climiutHla x~ de todas

las ecuaciones, menos de la primera y de la segunda. Obtendremos
el sigu iente sistema de ecuaciones, que es eq ui va lente al >'i ~t<'ma (5),
y por consiguiente, tambin al sistemt (t):
tl;:!x2 ~ a.~3x3 -1- ...

!- a,.r,~

a:3.:r3 . ... 1

a'3nXn

I.J~,

t-<

,;,

Nuestro sistema contiene ahora t ecuaciones,

s, puesto (!111', po:;iblementc, a lgunas de las ecuaciones hayan sido su primidas. Es evidente que despus de eliminar la incgnita .:r, puede disminuir el

14

Cap. 1 Sistemas de ecllaciones lineales. Determtnantes

nmero de ec.uacioucs del sisLema. A continuacin, transformaremos

solamente aquella parte de1 sistema obtenido qt1c conticmc todas las
ecuaciones, menos las dos prime1as.
Cuindo :;e terminar este proceso Je elim inacin consecutiva
de las incgnit<ls':'
Si llegamos a uu sistema tal, en el que uua de sus ecuaciones
tenga un trmino independient.c diferente de cero, mientras que
todos los coeficientes del primer miembro sean iguales a cero, entonces, como ya sai.J(!lllOs, nuestro sistema iuicial ser incompatible.
En caso contrari o, obtendtemos el siguienl.e sistema de ecuaciones,
equivalr.nte al sistema (1 ):

a 11x 1 + 1t 1?.x?. ...

+a 1.1<- x,,_ t

+ a,,,xk -l

ai!zx2 + ...

:- u~.h- lx,,_ l

+rt2,,x" + ... + a.,.x,.=b2,

.. . -i- ct 1nx,. = b,

... + it)::t:>nXn =

al::=-l: >tc- t'rt<- 1 + a}:~~~>,,xh +

a,~,- l>x,, +

1
2

b~::-1 ),

.. . + a~~;->xn=bhh- l>.

Aqu, a 11 =f.: O, a;2 =1= O, ... , ar:~/.\- 1 o:/= O, af!,-q .-fo O. Seialcmos
tambin que
s y, evidentemente,
n.
En este wso, el sistema (1) es compatible. Es determinado para
k = n, e indetermina.do, para k< n.
En cfec~o, s i k = n, el sistema (6) tiene la forma

k-<

a 11 x 1

k-<

+ IL12X2 + ... + a 1nXn ::= h,

. n.~:r2. ~ .. : : ~2.n~n ~. b~,
n~~;- '>xn == \~-n .

1
(7)

De la llima ecuacwn obtenemos un valor absolutamente determinado de la incgnita x,. Suslituyodolo eu la penltima ecuacin,
hallaremos un valor univocamente determinado de la incgnita
Xn-t Continuando de este modo, hallaremos que el sistema (7), y por
tanto el sistema (1), poseen solucin nica, es decir, son conwatibles y determinados.
Si k < n , tomamos valores numricos a rbitrarios para las incgnitas independientes x1, + 1, .. . , :en, despus de Lo cual, avan:wndo
por el sistema (6) de ahajo arriba hallaremos , como anteriormente,
unos valores unvocamente determinados para las incgnitas
x 1, _ 1 , , x 2 , x 1. Corno los valores para las incgnitas independientes se puedeu elc.:ir de infinitos modo:;, el sistema (6) y, por
consiguiente, el s istema (1), sern compatibles, pero indeterminados. Es fcil comprobar, que con el mtodo indicado (eligiendo de

x,.,

 1. Mtodo de eltminncn consetutlvn de los Incgnitos

15

todos los modos posibles los valores para lns incgnitas independientes), se hallan todas las soluciones del sis~ema (1).
A primera vista puede parecer que con el mtodo- de Gauss el

sistema de ecuaciones lineales se puede reducir a otra forma ms:

la que result-a de agregar al sistema (7) unas cuantas ecuaciones que
contengan solamente a la incgnita Xn Sin embargo, lo que ocurre
en realidad es que las t.ransformaciones no se han llevado hasta el
fin: como a~- l> :t= O, se puede eliminar la incgnita Xn de todas las
ecuaciones, comenzando desde la (n
1)-sima.
Se debe advertir, que la forma <<triangular del sistema de ecuaciones (7), o la forma trapezoidal del sistema ae ecuaciones (6)
(para k< n), se obtuvo debido a la suposicin de que los coeficientes a 11 ,
etc., etc, eran diferentes de cero. En el caso general, el
sistema de ecuaciones a que llegaremos despus de realizar basta el
fin el proceso de eliminacin de las incgnitas, tomar:{ una forma
triangular o trapezoidal slo despus de un cambio debido de la
numeracin de las incgnitas.
Haciendo un resumen de todo lo expuesto anteriormente, llegamos
a la conclusin de que el mtodo de Gauss se puede aplicar a cualqui.er
sistema de ecuaciones lineales. Adems, el sistema ser incompatible, si en el proceso de las transformaciones obtenemos una ecuacin en
la que los coeficientes de las incgnitas son iguales a cero, mientras
que el trmino independiente es di.ferente de cero; si no nos encontramos con tal ec11acin, el sist1:ma ser compatible. Un sistema compatible de ecuaciones es determinado, si se reduce a la forma triangular (7), e indeterminado, si se reduce a la formri trapezoidal (li) siendo
k< n.
Apliquemos lo expuesto al caso de un sistema e ecuaciones lineales homogneas, es decil, de eeuaciones, cuyos t.rminos independientes soo iguales a cero. T;tl si~tmna siempre es compatible, pues~o que
posee la solucin nula (U, O, . . . , 0). Supongamos que en el sistema
considerado, el nmero de ccuac.iones es menor que el nmero de
incgnitas. .Enlonccs, cst.c sisl(JJnll no podn reducirse a la forma
triangular, puesto que en el proceso do l.ran~formaciones por el mtodo de Guus..~, el nmero tlo ecuaciones del sistema s61o puede disminuir pero uo aumentar; por consiguiente. ste se reducir a la forma
tiapezoidal, es .lcc, sor iudet.erminado.
En ot.ras palabras: si en un sistema dt ecuaciones lineale.~ homognets . d nmero de ecuaciones es nwnor que et nmero de in.cgnilas.
este sistema, adems de In solucin nula. poseer tambin soluciones
no nulas, e;; doci1, solucio nes, en las qnc los valores de cicrtas im:gnitas(o incluso cle todas) ;;crn diferon~es de cero; habr una infinidad
de solucianes dt: stas.
Para la resohl(;in prctic:a de un sislenw de ecuacioues line11les
por el mtodo de Cau;;:,;, se dciJe cscribi1 la matriz de los cocficieJi lcs

a;,;

16

Cap. 1 Sisltmns de ecuaciones lintalrs. Dtltrmlnantes

d el sistema y agregarlo unn r,olumna formada por los trminos independientes, separada para mayor comodidad por una raya vertical.
Todas las tra nsformaciones se de ben efectuar con las filus do esto
matri7. ~amp l iada.
Ejemplos. l. Resolver ol

~ i ~toma

J 0 -f

:!x 2

x 1 - .c2

5r 3
1 3.r3 -

3r 1 - 6z~ -r3 =

Efcc Lucmos las transfo rmncionos

-!J) (o

; 1
11 - :!1
:l
2
( 3 - li - 1 2:,

Por

cln ~ i gu i r.otc,

~n

po.~~

2,

2.-.

In matri z ampliuola del sisLc111a:

1 - 32 - 52 - 119)
O - 12 - 1li ;,:!

--+-

ll egamos a l

( o_;
1 2 -2!\
O

~igu ieon to .<i~ l tma

x 1 + 2x2 ! :-..c3
-- :lr2 - 2z3
quo

- : ' }

O -8

-fJ)
1'1
R

do ecuaciones:

- 9 }
11.

R.

-8.c3
la so lucin nica:

.r, 2, .e: - - 3. J3 - - t.
l'o r cun,i_guitnl<', rl ~ i ~ t c ma inicial es dN crmimulo.
:l. B" l ver el sbt.omn
z o - 5Y~ - Rr3 : "" -

:3, }

:l.r 1 + .r 2 - :l.r3 - :r~, ~

,r, - 7J3 - 2r..,. ~ ...--.,,
ll r2 -r :W.c3 -9.r~

2.

Tran sformemos la rnuLr i7. ampliada del s is ll'ma:

3) ('o -5 8 1111-83)

1 - 5-8 1
3 1 - 3 -5
1
o -7 2 -!J
( t
O H 20 -9
2

---+

2 1 -8

t1

20 -9

-~

~ (o -~~:; -~1 -2;1 H~D

~ (~o -~~ -~1 -2!1.~)
- 8
1 - 8
!\

O -89 o - 29 !G
O
O O
O
2
Hemos llcJlado a un Si!<ll'mn quo contiene la ecunc in 0 = 2.
P o r consiguiente, el lli!ltoma inicia l es incommtihl c.
3. Rc~ol ver el sistema
lt.r 1 -: .r:! - ::Jz3 -..r 4 O,
2& 1 + 3t2 -!- .r3 -:r~ ~ O,
r 1 - 2c2 - 2.r3 1 :lx~, ~~ o.
Este es un sist ema dt1 ecuaciones homogneas, donde el nmero do l'Cuacionos es menor que el nmero do incgnitas; por lo tanto. tiene que ser indetermi nado. Como todos los tnninos independientes son igu ales a cero, vamos a trans-

t7

2. Determinantes de tundo y ter"r orden

formar solamente la matriz de los coofi cicnLes del sistema:

'
(

-3 -1) - - (o
9 5 -13' (o 2
o 7 5 - 11)-- o 7

2 3 1 - 5
1 -2 -2 3

H emos

ob~en ido

1 -2 -2

o -2)

5 -11
1 -2 - 2
3

el sist.oma do ecuaciones:
2r.2

2.c4 =0, )

7.r2 +S.r3 - 11x, =O, ~

,.,-2 r 2 -2.ra+ 3x 4 = 0. J
Cua lquiera de las incgni tas x 2 y "' se puede tomar como incgnita independillllt.o. Sea z 4 = a.; entonces, de la pri~nora ecuacin se deduce que zz = a.; de la
segunda ecuacin obtenemos, xi =+a.;
y, por fin, do In t-ercera ecuacin. :z:1 =
o)

~-~a.. Por lo tan to , la forma general do tns soluciones tlol s istema de ccuocioOJ

11 r~

lado os:
:l . a, " a,
:;-a

et.

2. Detem1inantcs de segundo y ter<cr orden

E l mtodo d e resoluciu < los s is temas do eClll\Cio ucs linea les ,

ex puesto en el prrafo a nt erior. os muy se ncillo y requi ere la realizociiln do clculos d e un mismo tipo. que fci lmen t e so efec tan en las
mqu inas calculodoras. Si n em!Jargo, su defecto esencial consiste
en que no da la posibilidad de form ul a r las cond ic ione. de co mpati!Jil iclad o de dete rmina!Jilidad de un sistem11 med iante s us coefic ient es y t rminos iudc pend ie ntes. Por otra parte, iucluso e n el caso
d o u u s is tema etcrmi nado, co n esto mtodo no so puetlc11 hu llar
f rmu las para ox >resa r la solucin del sistema meslinnte s us coefi cientes y trminos independi c nles. S in em bargo, estos sis lenws encuentran apl icacin en diversas cuestiones tericas y, en parlindar,
en lns inves ligadones geomtri('as. De aqui la lletesidad de dcsnrrollur la Leor>l d e los sistemas do ecua ciones linea les con olros mtodo&
111s profundos. E l caso general v;1 a ser es tudiiJdO en el capLulo
s igu iente. mi e olros qu e el conte ni do del presoutc cn plulo c~ t dodi t:vlo ni eslud io de los s is temas dot.erminados <III C tienen igual u(nnoro
do cc uadones y do incg nitas. Co me nzaremos por los :-;islern as co n
d os y LJes incgnitas. ya estudi ados en el :'d ge hra elemental.
Sea dado un sistema de dos ecuaciones liueales con dos iucguila s

a 11 x , + n 12.:r~ = b,, }
a ~1x1
2-2~2

-l Oz2x2 = b 2,

(1)

Cap. l Sistema.< de ecuaciones llnealrs. Determinantes

i8

cuyos coeficientes form an una matriz cundrada de segun do orden

(2)

Aplicando a l sistema (1 ), ol mtodo de igualacin de los coeficientes

obtenemos:
(n 11 n~~ -n12a 21 ) x, = b 1a 2z - a 12b 2 ,
(a 11a;n - a , 2a 21) Xz = a 11 bz - b,a 2,.
Supougamo.s que a 11 n2 2 -a1:11 21 ::fo O. Entonces,

x,

~ b,n22 - "t2b2 ,
a u o:!:! ... as2a21

(3)

Sustituyendo en las ecuaciones (1) Jos valore:; obtenidos de las incgnitas, os fcil co mJrobar que (3) es solucin del sistema (1); el problema de la unicidad de esta solucin se estudiur en el 7.
El co mn denominador de los valores de las incgnitas (3) est
expresado sencillamente por los elementos de la ma triz (2), o sea,
es precisamen te igual al producto de los elementos de la diagonal
principal menos el producto de lo~> elementos de la segunda diagon<tl.
Este nmero se llama determinante de la matriz (2). ~e suele decir
que es un determinante de segundo orden, puesto que la matriz (2)
es de seg undo orden. Para designar el determinante de la ma~riz (2),
se emplea la siguiente notacin: se escribe la matriz (2), pero en l ugar
de los parntesis se ponen unas barras verticales; de esto rnodo
(4)

Ejemplos.
1)

13 471= 3. 4 - 7. 1 = 5;

1-2

3
5 = 1 . 5- (- 2). 3 = 11
1
Es menester su brayar otra vez ms que, mientras la matri z representa una tabla de nm eos, el dete rmin an te es un nmero co mpletamente determinado por la matri z cuadrada. Seialemos ~ que los
productos a 11 a~2 y a 12a21 , se llo.man trminos del determinante de
segundo orden.
Los numeradores de las expresio nes (3) tienen la misma forma
que el denominador, o sen, tambi n son determinantes de segundo
orden: el numerador de la expresin para x 1 es el determina nte de
una matriz, que se obtiene de la matriz (2) sustituyendo:isu primera
columna por la columna de lo11 trminos inde pendientes del sis tema
2)

 2. Dtttrm In antes de segundo y ltrctr orden

19

(1); el numerador de la expresin para z 2 es el determinante de una

matriz, que se obtiene de la matriz (2) por la misma sustitucin de su
segunda columna. Las frmulas (3) se pueden escribir ahora en la
forma siguiente:
(5)

Esta regla de resolucin de un sistema de dos ecuaciones lineales

con dos incgnitas (denominada regla de Cramer) se expresa del modo
siguiente:
Si el determinante (4) de los coeficientes del sistema de ecuaciones
(1) es diferente de cero, la solucin del sistema (1) se obtiene tomando
por valores de las incgnitas las fracciones, cuyo comn denominador
es el determinante (4) y cuyo numerador, para la illcgnitax1 (i = 1, 2),
es el determinante que se obtiene sus/.ituyendo en el determinante (4)
la columna i-sima (o sea, la columna de los coeficientes de la incgnita
buscada) por la columna de los trminos independim.tes del sistema (1)*.
Ejemplo. Resolver el sistema
2zl

I Zz= 7

x 1-3x2 =-2:
El determinante de los coeficientes es

a~ J ~

-! 1= -7;

es docir, s\e t-s lli!erento de cero, por lo cual, ~e pued~ aplicar In regla de Cra
mer nl s istema.
Los numeradores para las incgnitas son los determinantes:

d 1 = 1-~ -~ 1= -19,

:dz=l; -~ j, -11.

Por lo tanto, la rolucin de nuestro sistema es:

d1

19

.,, ~ -- = -;

11

:r2=d"2 = 7

La introduccin de los determinantes rle segundo orden no aporta

simplificaciones esenciales en la resolucin de un sistema de dos
ecuaciones Ji neales con dos incgnitas. Sin emhargo, los mtodos
anlogos para el caso de sistemas de tres ecuacioTles lineales con tres
E n este enunciado, para abreviar, se ba.bla ll'e la ~uHituril>n de l11s
columnas en el dct.erminantet. A r.ontinuacin, se va a hablar de un modo !'efllejante, si resulta conveniente, de las fil tf y columnas del determinante. de sus

etamentos, diagonales, etc.

20

Cap. f Sistemas de ecutu:lones llneal<S. Determinantes

incgnitas resultan ya prcticamente tiles. Sea dado un sistema

a 11.r1 + a 12x 2 + a 13.r3 = b, }

aux1 + ~ + a23.r3 = ~.
a 31 x, + anxa + a33X3 = b3
cun la ma tl'iz do los coo[icientcs

(6)

(7)

Fcilmente se comprueba que, s i multiplicamos ambos 1niombros

de la primera de las ecuaciones (6) por a 22 a33 - a 23a 3z, ambos miembros de la segunda ecuacin por a 13a 32 - a 12a33 , ambos miembros
+

Fig 1.

de la tercera ecuacin por a 12a23 - a 13a 22 , y despus sumamos estas

tres ecuaciones, los coeficientes de x~ y .r3 result.ar n iguales a cero,
es decir, que estas incgnitas se eliminarn simultneamente. De este
modo, obtenemos la igualdad
(alla:!.2ass + a,zazsaJI + allaz,an -a,JilzzllJ-Ilzaz,a33 - au iLzJilJz) x , =
= b,aWJn + azllzsbs + a,3b2a32-a13azab3-a,zbza33 - b,aa3an.
(8)
El coeficiente de x 1 en esta igualdad se llama determinante de
tercer orden, correspondiente a la matriz (7). Para escribirlo, se
emplean los mismos smbolos que en el caso de los determinantes de
segundo orden; por lo tanto,

~: ~ ~: / = auaaaa33 + a,aauaJI + a a a

13 2 1 32 -

azllz1a 33 - a 11a23a3 ~
(9)
A pesar de que la expresin del determinante de tercer orden es
bast.a nte complicada, la ley de su formacin con los elementos de la
matriz (7) es muy sencilla. En efecto, uno de los tres trminos del
determinante qua figuran en la expresin (9) con el signo ms es el
producto de los elementos de la diagonal principal; cada uno de los
1 as IIJz

a33

a13azall31 -

 2. Deltrmlnanle. de ugundo y tercer orden

21

otros dos, es el producto de los elementos si tuados en la paralela

a esta diagonal, por el elemento situado en el ngulo opuesto de la
matriz. Los trmLnos que figuran en (9) con signo menos, se forman
del mismo modo, pero con respecto a la segunda diagonal. De esto
modo, obtenemos un mtodo de clculo de los determinantes de tercer orden, que conduce (teniendo cierta prctica) a un rpido resultado. En la fig. 1, en el esquema de la izquierda, se seala la regla
para el clculo de los trminos posilivos del determinante de tercer
orden, y en el de la derec ha, la regla para el clculo de sus trminos
negativos.
Ejemplos.

2 1 2
1)

-4 3 1 =2 3 5+ 11 2+2 ( - 4)3 2 3 5
1

2) -2

-2-3-2- 1( -4)5 - 2 1 3=
=30 + 2-24- 12 +20-G = 10.

o -5
3

2 -2

2 = 1 30+02 1 +(-5)(- 2}-(-2)- ( - 5)-3-1-0( -2)-0- 12(-2) -=

= -20+ 15 +4= - 1.

E l segu ndo mien1bro de In igualdad (8) es tambin un determinanle de tercer orden: es precisamente el dctonuinnntc de In matriz
que so obtiene de la ma tri?: (7), sustituyendo s u primera <:olumna 1or
la columna de los trminos independientes del .<i;;tema (li). Si designam os con la letra d el d('lcrminante (9) y con el .!'mbolo d (j =
= 1, 2. 3), el determinante cue ~e obtiene do <~le ltimo, al s us tituir ~~~ j-sima columna por la columna de lo:; l;truinos iudl'pcndientes del .!'i ~lcma (6), la ittwldad (8) loma la fo ma d:.1 = ds. de donde, P<ra d =fo O, ::;e dedur!' que

(10)
Del mi~mo modo, mulliplicando las ecuaciones (G) por los nme
ros o 23a 31 - a2 10 33 o 11 0 3 3 - a,~a3 11 a 1 :,0z 1 - a,,a23 re1-pectiva
mente, ob tenemos para :r 2 la siguiente exprl'sin (.!'i!'ndo
:p O)=
Xz =

:z

(11)

Finalmcnlc, mull.iplicnndo estas ccuacionPs por a 2 ,a 32 - o 22o~"

a 11 a.~2. aua 22 - a,2a2,, rrspcci\"lliHentr, llegamos a la
siguicnle expresin pnrn :r~:

a 12o 3 1 -

X3=

<j .

(12)

22

Cap. 1 Sistemas ck

ecrtaclo~~es

lineales. Determinantes

Sustituyendo las expresiones (10), (11) y (12) en la ecuacin (6)

(se sobrentiende que los determinantes d y todos los d estn escritos
en [orma desarrollada), despus de unos clculos bastante com plicados, pero aseq uibles, vemos que se satisfacen todas estas ecuaciones,
es decir, qu e los nmeros (10) (11) y (12) son la solucin del sistema .
Por lo tanto, si el determinante de los coeficientes de un sistema de
tres ecuaciones lineales con tres incgnitas es diferente de cero, su
solucin se puede hallar por la regla de Cramer, formulada igualmente
queenelcaso de un sistema de dos ecaciones. En el 7, el lec tor hallar<), para un caso miis general, otra demostracin de esta afirmacin
(que no se basa en los clculos omitidos), y tambin la demos tracin
de la unicidad de la solucin (10) (11) y (12) del sistema (6).
Ejemplo. flesol ver el

sis~ema

2x 1 -:ez +x3 ~ 0,}

3x 1 2x2 -5.r3 = 1,
x t 1 3.rz-2.c3 = tl.

El detorminanto do los coelicientes del sistema es di(ereuto do coro:

d=l ~1 -~3 -2
-~ 1=28,
por eso, se le puodo aplicar la regla de Cramer. Los numeradores para las
incgnitas son los determinantes

d=l~ -~ -~ 1=13, dt.=l: ~ -~ 1=47,

4

1 4 - 2

d3=1~ -~ ~ 1=21,
1

3 4

o sea, que la solucin del sistema es ol sistoma de nmeros

3. Permutaciones y sustituciones

Para definir y estudiar los determinantes do orden n, necesitamos

unos cuantos conceptos y datos referentes a !os conjuntos finitos.
Sea dado un conjunto finito M, compuesto de n elementos. Estos se
pueden numerar, empleando para ello los primeros n nmeros naturales 1, 2, ... , n. Como en las cuestiones que nos interesan, las propiedades individuales de los elementos del conjunto M no van

.~

3 . Permutaciones y sustttuclonu

23

.a jugar ningn papel, supondremos simpl emente que los mismos nmeros 1, 2, ... , n, representan a los elementos del conjunto M.
Adems de l a ordenacin normal de l os nmeros 1, 2, ... , n,
stos pueden ser ordenados de muchos modos. As, los nmeros :
1, 2, 3, 4 se pueden ordenar tambin de los modos siguientes: 3,1,
2, 4., o bien, 2, 4, 1, 3, etc. Toda dis posicin de los nmeros 1, 2, ... ,n
en un orden determinado, se llama permutaci6n de n nmeros
(o den smbolos).
El nmero de permutaciones diversas de n smbolos es igual al
producto 1 2 ... n, designado por ni (se lee: factorial de m).
En efecto, la forma general de una permutacin de n smbolos es
i 1 , i 2 , , i", donde cada uno de l os s m bolos i 8 representa uno de
l osnmeros 1., 2, ... , n; adems, ninguno de estos nmeros se repite.
En calidad de i 1 se puede tomar cualquiera de los nmeros 1 , 2, ... , n;
esto ofrece n diferentes posibilidades. Sin embargo, si se ha elegido
ya i~o en calidad de i 2 so puede tomar solamente uno de los n-~
nmeros restantes, es deci;, que el nmero de modos de eleccin de los
smbolos i 1 y i 2 es igual al producto n (n- 1), etc.
Por lo tanto, el nmero de permutaciones de n smbolos, para
n = 2, es igual a 21 = 2 (las permutaciones 12 y 21; en los ejemplos
donde
O, no separaremos con comas los smbolos q ue se permutan); para n = ;), este n mero es igual a 3! = fi, para n = 4,
es igua l a 4! = 24. A continuacin, con el aumento den, el nmero
~e permutaciones crece extraordinariamente; as, para n = 5, es
igual a 5! = 120, y para n = 10, es ya igual a 3 G28 800.
S i en una permutacin cambiamos de lugar dos smbolos cualesquiera (no necesariamente situados uno al lado del otro), permaneciendo
todos los dems en sus silios, obtenemos, evidentemente, una nueva
permutacin. Esta traosrormacin de la permutacin se denomina
t rasposici6n .
Todas las n! permutaciones de n smbolos se pueden colocar en un
c rden tal, que cada permutacin siguiente se ob /.enga de la anterior
mediante una trasposicin, pudiendo adems comenzar por cualquiera
de ellas.
Esta afirmacin es justa para n = 2: s i se pide em pezar por la
permutacin 12, la dispos ic in buscada es 12, 21; s i se pide empezar
por la permutacin 21, la dispos icin es 21, 12. Supongamos, qu e
nuestra afi rmacin ya est demostrada para n - 1, y que queremos
demostrarla para n. Supongamos, adems, que tenemos qu e comenzar con la permul.acin
(1)

n-<

Consideremos todas las permutaciones den smbolos en las que i 1 ocupa el primer l ugar. En total, r es ultan (n - 1)! permutaciones.
Segn la tesis del t eorema, stas pu eden ser ordenadas del modo indi-

Cap. 1 Sistema< de ecuaciones lineales. Determinantes

cado y, adems, comenzando por la permutacin (1), puesto que, l~n

realidad, est.o se reduce a la ordenaciu do todas las permutaciones
den - 1 smbolos y, por la suposicin inductiva, se puede comenzar
por cualquier permutacin y, er1 particular, por la permut.acin
i 2 , , i,.. En la ltima de las permutaciones den smbolos obtenidas de este modo, efectuamos una t.raspo;;icin del smbolo i 1 con
cualquier otro smbolo, por ejemplo, con i 2 , y comenzando con la
pemutaciu nueva obtenida, ordenamos del modo necesario todas
las permutaciones en las que i 2 ocupa el primer lugar, etc. Es evidente,
que de este modo se pueden obtener todas las permutaciones de n
smbolos.
De este teorema se tle<luce que de cualq/J,ier permutacin de n smbolo.~ se puede pasar a CIJ,alquier ot.rn. permutacin de los mismos smbolos, mediante unas ctwntus trasposiciones.
Se dice (JUC, en una permutacin dada, Jos nmeros i y j forntan
una inuersin, si i > j, poro en esta perrnulaciln, i est antes que j.
Una pennutacin se llama par, si sus smbolos forman un nmero
par de inversiones, e impar, en el caso c.ontrario. As, la permutacin
1, 2, ... , n es par para cualquier n, puesto qne en ella el nmero
de invmsiones os igua l a cero. La permut..1cn 451362 (n = 6) contiene 8 inversiones y, por c.onsiguionlc, es par; la permutacin
385:.!4671 (n = 8) contiene 15 invorsio11es y, por consiguiente, es
impar.
Toda trasposicin cambia la. paridad de la permutacin.
Para llcmostral' este importante teorema, consideremos primero
el caso en que los s mbolos i y j que so trasponen estn uno al lado
del otro, es decir, que la permutacin t.iene la forma ... , i, j, . .. ,
donde los JuJtLos susl.ituyen a lo~ smbolos que no se alteran con l<t
trasposici11. La trasposicin couvierte a nuestra permutacin en la
permutacin ... , j, i, . . . ; se comprende, adom:.s; que en ambas permutaciones, cada uno de los smbolos i, j, forma unas mismas inversiones con los smbolos que ~e mantienen en el sitio. Si anl,es los
smbolos i y j no formaba n inversin, en la nueva permutacin aparece una nueva inversin, o sea, el nmero de invmsioncs aumenta en
una unidad; si anles los smbolos i y j formaban inversin, sta ahora
desaparece, o sea, el nmero de inversiones dism in uye en una unidad.
En ambos casos, cambia la paridad de la permutacin.
Supongamos ahora, que entre los smbolos i y j que se trasponen
hay intercalados s smbolos, s >O, es decir, que l a permutacin
tiene la forma
. , i, k 1 ,k2 , , ,. . ,k,, j, ...
(2}
Se puede obtener la trasposicin de los smbolos i y j como resultado
de la ejecucin consecutiva de 2s
1 trasposiciones de elementos
vecinos. Estas son, precisamente, las trasposiciones que permutan

 3. Permutaciones y sustituclone$

los smbolos i y k 1 , a continuaciJJ, i (que ya ocupa el lugar del sirobolo k 1) y k2, etc, hasta que i llegue a ocupar el Jugar del simbolo k .
Despus de estas s trasposiciones viene la trasposicin que permuta
los smbolos i y j, y luego, s trasposiciones del smbolo j con todos
los k, a consecuenc~a do lo cual j ocupa el lugar del smbolo i, mientras
que los smbolos k vuelven a sus lugares antiguos. Por lo tanto, la
paridad de la permutacin fue cambiada un nmero impar de veces.
y por esto, la permutacin (2) y
(3}

t ienen diferente paridad.

Para n :> 2, el nmero de permutaciones pares de n stmbolos es
igual al nmero de permutaciones impares, es decir, es igual a { ni.
En efecto, basndonos en lo demostrado anteriormente, ordenemos
todas las permutacione~ don smbolos de t.al modo, que cada una de
ellas se obtenga de la anterior mediante una traspos icin. Las permutaciones vecinas tendrn entonces paridad contraria, es decir, las
permutaciones estarn colocadas de tal manera, que las pcrmut.aciones pares e impares se alt.ernarn. Nuestra afirmacin se deduce ahora
de la observacin evidente que para n ::;:, 2, el nmero n! es par.
Introduzcamos ahora un nuevo concepto, el de sustituci6n de
gra.do n. Escribamos, una debajo de otra, dos permut-aciones de n
:simbolos, colocando entre parntesis la:; do:s filas obtenidas; por
ejemplo, para n = 5:

51 2)

:1
q
( 52341.
En este ejemplo*, bajo el nmero 3 figura el nmero 5, bajo el nmero 5, el nmero 2, etc. Diremos que el nmero 3 se sustituye por el 5
(o tambin, que la su~titucin transporta eJ 3 sobre el 5); el nmero 5,
por el 2; el nmero 1, por el 3; nmero 4, por el 4 (o que se queda
en el sitio); y, por fin, el nmero 2, por el 1. Por lo tanto, dos permutaciones, escritas una bajo la olrn eu la forma (4), determinan una
aplica.cin biy.ectiva** del conjunto de los primeros cinco nmeros
Por su aspecto. ;e parece a una n1atrir. de dos filas y 5 columnas, pero
tiene un signiric.ado totalmente distinto.

A continuacin se OOIJllcar frecuentemente la siguiente terminologa,

admitida en la teora de conjuntos.
Sean dados dos c.onjuntos 111 y N (finitos o infi nitos) de elementos de cualquier naturaleza.
Si de un modo detonninatlo, a cada elemento x de M (con la notacin
z E M se denota que el elemento .r. pertenece a M) so pone en correspondencia,
un elemento 11 de 11' (1/ E N), y slo uno, se die(' que se ha d('finido una apli-

26

Cap. 1 SLJtema de et:uacionts llntaler.

neterminant~s

naturales sobro s mismo, es decir, una aplicacin que, a cada uno

d e los nmeros naturales 1, 2, ~. 4, 5, pone en rorrespondoncia uno
de estos mismos nmeros naturales, y que. n diversos nmero~ po no
en correspondencia nm~ros difcenlr~s . Como en total hay cinco
n meros de stos, o sea, es un conjunto finito, a cada ltno do estos
nn1 oros corresponder uno do los n1mcros 1, 2, 3, 4, [>, c.~ dcci 1,
precisamente el nmero por el que se sus ti Luye.
Est clam, que la aplicucin biycctiva de l conjunto de los cinco
primeros nmeros ualu rales que hemos obtenido mediante (4). so
podra haber obtenido la1nuin escribiendo, una bajo la otra, otros
pares do permutaci ones do los cinco s mbolos. Estas expresiones se
<>btienen de (4) mediante unas cuantas trasposiciones de las columnas;
tale:~ son, por ejemplo,
.~ 1 5 3
1 ;) 2 4 3)
2 5 1 4 3)
(5)
( 1 :l 2 f 4 ' ( 3 211t5' ( 12345 .

t,)

En todas es tas expresiones, 3 se sus ti luye por 5, 5 por 2, etc.

De modo anlogo, dos permutaciones de TI smbolos, escritas una
bajo la otra, determinan una a>licacin biyecti va del conjunto de los
primeros n nmeros natural es sobre s mismo. Toda aplicacin biyectiva A del conjunto de los primeros n nmeros naturales sobre s mismo,
so llnma sustitucin de grado n. Es evidente, que toda sustituc in A
se puedo expresar mediante dos permutacione.s, escritas una bajo la
otra
(6)

aqu, mediante a. 1 se denota el nmero qul.' eu la sustitucin A sustituyo a l nmero i, i = 1, 2, ... , n.

La sustitucin A posee una multitud de expresiones de la forma
(6). Asi, pues, (4) y (5) son diversas expresiones de una misma s ustitucin do 5 grado.
Se puede pasar de una ex>resin de la sustitucin A a otra, realizando u nas cuantas trasposiciones de las columnas. Tambin so puedo
~btener una expresin do la forma (6), en la que figure, en la fila
superior (o inferior), uua permutacin prefij ada de n simbolos. En
cacin (o una representacin) do /lf on N. El elemento v se llama on este caso
Imagen o reprosentacin do r .
Si todo elemento de N es imagen do al menos un elemento de /lf, so d ice que
se tiene una aplicacin do M sobro N (pu diendo ser pluriunvoca, cuando varios
~lemontos do Jlf tienen una misma imagen). En este caso, la aplicacin se 11oma
~xltaustiva (o sobreyectiva). Si distintos olornoutlls de 111 tienen distintas imgenes , la aplicacin es inyectiva. Una aplicacin exhaustiva e inyectiva so llama
l)lyoctiva (tambin suelo decil'ile que entre M y N se ba e!ltablecido una corrosp ondoncia biunvoca). En esto caso, cada elemento v E N es imagen do un
slo elemento x E M. ( Nota del T.).

.~

3. Pumulnc/onts y sust/tuclonts

27

particula r, toda su~L i lucin A de grado ~~ se puede expresar en la

f Ol'lllll

;1 :-:

1 2 ... /1. )
( I'X1 <Xz a,t

'

(7)

o sea, co n la ordenacin natural de los nm eros on la fila s uperior.

E scribiudolas de este modo, las div e rsas s ustituc iones se diferenciarin unas de otras por las permutac iones que figuran en las lilas
iufcriores, con lo q.ue llegantos a la conclusin de que el nmero

de sustituciones de grado n es igual al n.mero de permutaciones de n

smbolos, es decir, es igual a n!.
Un ejemplo de s us lil.u ci n de grado n os la sustitucin unidad
(o idn tiCll)

n)

1 2 ...
E -= ( 12 ... n '
en la que todos los smbolos permanecen en su s i tio.
Serlalemos que, en la ox>resin (6) d e la sustitucin A. las filas
superior e inferior desempeiian papeles d iferentes y que , por lo general , cam bindolas d e :sitio, obtenemos una Su:J tiluc in diferen te. As
pues, las s ustitucione:s de /1 grado

3123)
211 2) (4214
('3
1

so n distintas: en la primera, el nmero 2 se susti tuye por el 4, mientras

que en la segunda, por el :t
Tomemos una expres in arbitraria (6) el e u no sustitucin A de grad o n. Las permutaciones q ue forman las filas ~<uperi o r e inferior de
esta ex pres in pueden !<Uf de ig ual paridad o de paridad contraria.
Como ya sa bemos, el paso 11 cu;dquier otra llX prcsin do la sustitucin
A se puado realizar 1011diante la ejecucin con>'>eculiva rle unas
c uantas trasposiciones en la fila s uperior y las tras pos iciones col'responcliontos en la fila infor ior. Por otra parte, a l efectuar una traspos ic in e n la fila superior ele la expresin (6) y una trasposicin de los
e lemen tos c orrespondientes en la fila inferi or, las paridades de ambas
pe rmu taciones ca mbi an si mul ~neamenLe, mantenindose as la
coincid encia o la con tra riedad de es tas parid ade:~. Do aqu so deduce
que. en todas las expresiones de la sustituci6n, las paridades de las filas
sup.:rior e inferior coinciden, o bien, en todcu estas expresiones, las
paridades son contrarias. C: n e l primer caso, se di ce que la sustitucin A
es par, en el segundo, que es impar. En pa rt.ic ular, la ::;ustitucin
uniducl es Jlar.
Si la s ustituc in A est escrita on la forna (7), es dec ir, que en la
fil a :;upcrior figura la per111uLa c in par 1, 2, ... , n, e ntonces, la pardad

28

Cap. 1 Sistemas de ecuaciones lineo/c.<. Determinantes

de la sustitucin A se determinar por la paridad de la permutacin

a 11 a 2 , , a,. que figura en la fila inferior. De esto se deduce que
el nmero de las permutaciones pares de grado n es igual al nmero
de las impares, es decir, es igual a -} n!.
A la defiuicin de la paridad de las sustituciones se le puede dar
otra forma un poto diferente. Si en la expresin (G), las paridades
de ambas filas coinciden, el nmero de inversiones, o es par en ambas
filas, o es impar en las dos, es decir, el nmero lotal de inversiones
en 1m; dos filas de la expresin (6) es par; si las paridades de las filas
de la expresin (6) son cont.rarias, el nmero total de inversiones en
estas dos filas es impar. Por lo tanto, t sustituci6n A ser. par, si
el nmero total de inversiones en las dos filas de cualquiera de sus
expresiones es par, e impar, en el caso contrario.
Ejemplo.

Sr~

dada la sustitucin de qu in to grado

3 1 lo 5 2)
( 2 54 3 1
En In fila ~uperior hay ' inven;iones y en 13 infcrio 7. El nm ero total
de inversiones en Jns dos filas es igual a 11 y, mr consiguiente, la sustitucin

es impnr.

Escribamos esta susti lucin en la forma

1 2 3 4 ;,)
( 5 1 2. 1, 3
El nmt>ro d~ invrr~ion r~ en la filn ~uperior I>S O y en !:1 inferior es 5. es dcc.ir,
el nmero total do inversionc~ e~ de nuevo impar. VrmM, pues. quo cu divCT$3~
cxprcsione~ do la sustitucin ~e conserva la pnridud, ero no el mi~mo nmero
total de invon;ioncs.

Q11eremos s<iiular ahora otras formas de dcfiniein de la paridad

de las sus ti tudones que son equivalente!; a las ex puestas anteriormente*. Para este fin, definiremos el producto de sustituciones (que
es tambin de parlicular inters). Como ya sa bemos, la sustitucin
de grado n es un a aplicacin biycctiva del conjunto de los nmeros
1, 2, ... , 11, sobre s mismo. El resultado de la realizacin consecutiva de dos aplicaciones biyectivas del conjunto 1, 2, ... , n
sobre s mismo es, evidentemente, una nueva aplicacin biyectiva
de esle conjunto sobre s mismo, es decir, la realizacin consecutiva
de dos susLiLuciones do grado n da lugar a otra sustitucin tercera
de grado n, absolutamente determinada. Esta ltima se llama producto de la primera de las sustituciones dadas por la segunda. As.
sean dadas las sustituciones de cuarto grado

(1234) '

A= 3 1 4 2
Estas se necesitarn

solaro~nle

(1234)

B= 1 3 4 2

en el capitulo 14 y por esto, en la pri-

mera leetura, este material se puede omitir.

 9. Pumrllaclones y IU$IIIuclones

29

en t.onccs

1 2 3 4)
All = ( 4 1 2 3 .
En efecto, en la sustitucin A el smbolo i se sustituye por el 3,
>ero en la sus ti lucin 13 el s mbolo 3 se susLituye por el 4, por lo
tanto, en la sustitucin AB el sm bolo '1 se sustituye por el 4, etc.
Solamente se pueden multiplicar las sus tituciones de un mismo
grado. Para n :> 3, el producto de las sustituciones de grado n IW et
cotiiTULlativo. En efecto, para las sustituciones A y B con"ideradas
anLeriormente, el producto BA tiene La forma

1 2 3 4)

!JA = ( 3 4 2 1

la sustitucin 'BA es rlifercntc de la sustitucin All. Para todas

las n (n :> 3) se puedcr1 mostrar ejemplos de este tipo, a pesar de que
>ara algunos pares do sustituciones se pueda cumplir eventualmente
la ley conmutativa.
El producto de las Sltstituciones es asoci(ttivo, os decir, que se puedo hablar del producto de un nmero finiLo cualq uiera ele sustitucion es de grado n, tornados (en vista de que no so cu mple la ley conmutativa) en un orden determinado. En efecto, sean liadas la~ su~ ti
Lttcioncs A, B y C. Supongamos que en la sustituci n A ol smbolo
i 1 , '1 <: i 1 <: n se sustituye I>Or el smbolo 2 ; en la sustitucin B,
.el smbolo i 2 se sustituyo por el smbolo i, y eo la sustitucin C, es te
ltimo so sustituye por el smbolo i~. Entonces, en la sustitucin AB,
el sm bolo i 1 se sustHuir por el i 3 , en la sustitucin BC, el smbolo
i 2 se sustituir por el i~. Por consiguiente, en la sus ti t ucin (AB)C.
as como en la sustitucin A (BC), el smbolo i 1 se sustituir por el
smbolo i 1
l'::s evidente, que tll producto de cualquier Slts litucin A por la
sustitucin unidad E, y tambin el producto ele E por A, sott iguales
O SOl\,

a A:
Finalmente, denominaremos inve rsa de la sustituci n A a una
sustitucin del mismo grado A-l , que curn pla las co ndiciones

AA-1 =A-1 A = E.
Fcilmente se observa que la :nversa do la sustitucin

A=

(1 a2 ... a,.n)
a1

30

Cap. 1 Sistemas de tcuaciQn.s lineales. Determinantes

es la sustitucin
A-1 - ("' a2 . ..

~n)

1 2 ... n , '

que se obtiene de la sustitucin A , pennul.audo la fila superior con

la inferior.
Veamos ahora unas susti tucio ne~ do una forma especial, que ~e
obtienen de la sustitucin unidad E mediante uua trasposicin
efectuada en su fila inferior. Tales ;;usLi tu cones son impares, se
llaman trasposiciones y tienen la forma:
.. . i .. . j . . )
( .. ; ... . . . '

(R)

donde los puntos suspensivos sustituyen a Jos smbolos que permanecen en su ;sitio. Convengamos en designar esta trasposicin con
la notacin (i, j). La aplicacin de la trasposicin de Jos smbolos
i, j a In fila inferior de la expresin (7) de una sustitucin arbitraria
A, es equivalente a multiplicar la ~ust.itucin A a la derecha por la
sus ti tucin (8), es decir, por (i, i). Ya sabernos que todas las permutaciones de n smbolos se pueden obtener do una de ellas, por ejemplo, de la permutacin 1, 2, ... , n, realir.ando trasposiciones consecutivas; por eso, toda sus ti luci n se puede obtener de la sus ti Lucitt
idntica mediante la realizacin suc.csiva de unas cuantas trasposiciones eu la fila inferior, es decir, mecliant.e una multiplicacin
sucesiva por sustituciones de la forma (6). Por consiguiente, se puede
afirmar (omitiendo el factor E), que toda sustitucin se puede representar en forma de un producto de trasposiciones.
Toda sustitucin se puede descomponer de muchas maneras diversas en un producto de trasposiciones. Pot ejemplo, siempre ~;e
pueden agregar dos factores iguales de la [orma (i, j) (i, j) que, al
multiplicarlos, darn las sustitucin E, es decir, que se eliminan.
mutuamente. Sealemos un ejemplo menos trivial:

1 2 3 4 5)
( 2 54 3 1

(12)(15)(34)=(14)(24)(45) (34) (13).

El nuevo mtodo de determinacin d e la paridad de una sustitucin se basa en el teorema siguiente:

En todas las descomposiciones de una sustitucin en producto de
trasposiciones, la paridad del nmero de estas trasposiciones es la
misma, y coincide con la paridad de la sustitucin misma.
As, la sustitucin del ejemplo considerado anteriormente es
impar, como se puede comprobar calculando el nmero de inversiones.
El teorema quedar demostrado si se muestra que el producto
de cualesquiera k trasposiciones es una sustitucin, cuya paridad

 3. Pumutaciones y sustltuci!>nes

3t

coincide con la paridad del nmero k. Para k = 1 esto es cierto, puesto

que una trasposicin es unu susti tucin impar. Supongamos que ya
est demostrada nuestr<t afirmacin para el caso do k - 1 factores.
Entonces. su validez para k factores se deducir de que los nmeros
k - 1 y k son do paridad contraria, y el producto de una sustitucin
(en el caso considerado, del producto de los primeros k - 1 factores)
por una trasposicin es equivalente a la realizacin de esta trasposicin en la fila inferior de la sus\.i~ucin, es <lecir, camuia su paridad.
Un mtodo muy cmodo de expresin de las sustituciones, que pei'Ulite
hallar fcilmente su paridad, es la dtscomposici6n tn ciclos. Toda sustitucin
de grado n puede ddar en el sitio algunos do los snbolos 1, 2, ... , " otros, ve~
daderamcnte los puede transportar.
Una sustitucin so llama susliluci~" circular o ciclo si al repetirla un
nmem suficionlo do veces. cada uno de los srnbolos que verdaderamente se
transportan puedo ser transportado ~obre cualquiera otro de estos simbolos.
Tal es, por ejemplo, la su~titucin de ocl(ovo grado
1 2 3 4 5 7 8 \
( l 8 G lo ;, 2 7 3) '
sta verdaderamente trnn~purta los ,mbolos 2, 3, 6 y 8, a ~;1ber. el ~mbolo
2 sobro el 8, el smbolo S sobro el 3, el smbolo 3 sobre el G y e l smbolo t) do
nuevo ~obre el 2.
Todu~ las trasposiciones pertenecen al conjunto de los cielos. Por analoga
con la fom111 abreviada <le expresin dt' las trasposiciones quo ~e haha emplendo
nnteriormente, p8ra los ciclos se usa la siguiente rorma do expresin: los smbolos que verdadormnente ~on trans portt1dos so esc riben entro purntc~is uno
tras otro. en el roismo ord en en quo se susti tuyen unos por otros al repetir la
sustitucin; la expresin comienza por cualquiera de los smbolos que verdaderam.e nte ~~~ tran~porlan y t<lrnunn c.on el slmbolo que $0 tnmsr<>rtl\ sobro el nimero. As, para el ejemplo indicado antcriomentc, esta expresi 6n tiene la ronna:
(2 8 3 6).
El nmero de !itobolos que verdadcr~mentc son transportados en el ciclo se
llama longitud del mismo.
So dice que dos cielos do grado n son indcpendicnt.s, si no tienen ~1m bolos
comunes que vel'dadcrnment.o sean t.ransportados. So comprendo que, al multipliwr ciclos independientes, el orden de los factores no influye ~n ~1 resultado.
Toda sustiluti6n se putde descomponer de modo nico en un produclo de
ciclos i!ldrpenclienles dos a do$. La demostracin de c~ta nfinuacio. n no ro presenta dificultad a lguna y !;1 omitimos. La descomposicin se re:olizn del modo

siguiente: comenzamos por c u~lquiera de los ~mbolos <1"~ vcrdad~r;11nente se

tr&nsportan y e~cribimos t.ras (,J aquellos S111holos so lue Jos questP ~o transporta
al repetir la sustituc.in. Continuamos tsl, hasta que volvamos a obtener el smbolo inicial. Despus de qu" se cierre c~to ciclo, comenzunM enn uno de los
smbolos que queclnn y quo vcrdnderament~ se trnnswrtnn , obte~oi cn 1 1 o a~i el
SCg\llll\0 ciclo, t\tC.
J.:jemp los
1 2 3 , ") ( 3 "t.)
!) ( 3 5 1 2 " ~ 1 ) <2) ' .

2 3 ' r. 6 7 S)
2) ( ;,\ 2
8 7 6 t 4 3

= (

;,

t .>G) (38>( t7)

32

Cap. 1 Slsletnnl de ecu.aciones linealu. Dtltrmlnantes

1\~-cpmramonte, p~tra ca do SU$tiLucin, dada modit~nLo su descomposicin

independientes. so puedo hallar una oxrrcsin on la forma ordinaria
(con la con;licin de qno so conozca el grado do a sus\itucin). Por ejemplo:
60 ciclo~

!.

- (1 2345()7)

3) (1372) ( o5)- 3 1 7 5

lj

6 2

s i so sabo quo ol grado do esta sustitucin es igua l n 7.

Son dada una susti Lucin de grado n. y sea so l nrnoro de ciclos independient es on su desr.omposicin. ms e l nmero de smbolos que permanecen en su
silic>. La diferencia n-s se llama decremento do la su~lilucin. Es evidente, que
~1 decremento es i~ual al nmero do los slmbolos quo verdaderamente ;;o transportan. monos el numero do ciclos independientes quo fonnan parte do la descomposicin de la sustitucin. Para los ejemplos 1), 2) y 3), considerad os anteriormonto. ol <lcr.remento es igual n 3, lo. y 4. respor.tivnmonte.
1.11 paridad de tula uttluci6n coincide con la paridad ciel decremento de ella.
1::n cfoclo. todo ciclo do longitud k se puotlo represen t ar en forma do un
producto do k -1 trasposici one~ del modo ~igui onto:
(l~o

12.... , 1,) = (i 1 , i 2) (i 1 , 13) ... (1 1,

t,,.

Suponf,(nmos dalla la descomposicin do la sustitucin A en ciclos ind opl'rHiionLCs.

Si so descomlrOne caun uno do los ciclos en el producto do las trasposiciones que
acabamos do indicar. olrLcndroroos la expresin de la sustitucin A on forma de
un producto de trasposieiono~. E:l nmero do cst ns trasposiciones ser. evirlenI.Cm ente. menor que ol nitmoro de los smboi<L~ ![UO vord<~doramente wn transportaolos por la sustitucin A, en un nmero igual al nmero de lo~ cirlc"' indopendiente~ en la descompMici6n de la sustitucin. Do aqu se deduce. quo la
sustitucin A so ruede doSCOilliiOnor on un producto de trasposiciones. cuyo
nmero os igual a docrcmontn. Por consiguiente, In paridad de la sustitucin
.se dotormina por la paridad del decremento.

l. Determi nantes de 11-simo orden

Queremos generalizar ahora para el caso de un n arbitrario, los

resu ltados obtenidos en el 2 paran = 2 y 3. Con este rin, es necesario definir los delerminnnles de ll-simo orden. Sin embargo, es
imposible hacer esto del mismo modo que se introdujeron los detel'minantes de segundo y tercer orden, es decir, resolviendo en forma
general u.n sistema de ecuaciones lineales, >ues, a medida que a umentase n, los clcu.los so haria n ms y m{ts complicados, y s iendo n
.arbitrario, stos seran prcticamente ir realizables. Procederemos de
otro modo. Examinaremos los determinan les de segundo y tercer orden
ya conocidos. Procuraremos establecer una ley general, de acuerdo
a la cual se expresan estos deLerminarHes mediante los elemen tos
de las matrices correspondientes y tomaremos e.'lta ley por defi nicin
para el determinante de orden n. Despus demostra remos que con
esta definicin sigue cumplindose la regla do Cramer.
A t odo s imboln que so mantiene en su silo su pod!n h ab~r pu~."to en
un c iciM do long itud l. o~ ti PCir, quo en e l ojompl<> 2) ,
ind icadu antoriorment~, ~o podrfa escri bir: (15G) (38) (47) (2). Sin embargo,
no procederemos de est o modo.
corro~pondoncin

 4. Determinantes de ll 81mo ordc"

33

R ecordemos l as expresiones do los determinantes de segundo

tercer orden:

au an 1= a,,a.z -a,.az,,
1 a:u azz
Cl u a,z

a,31

a21
a31

a22 a2.3
a 32 a 33

a ,zazalla
al3a2,a32 - a ,aa1ztl31- a,za2la33-a u llzalls:

llull zzUal

Obsrvese qu e tod o t~rmino del d oterminaoto do seguudo orden

es un producto d e dos elementos, s ituados en diversas filas y en diversas columnas. Adems, todos los productos de este tipo que se pueden
formar con los elemento:; de l a matriz de segundo o rd en (en total son
dos) . se han utilizado \:omo trmiuos del determinante. D e modo
semejante, todo trmiuo clel determinante de tercer orden representa
un producto do tres e lemlu tos, tomados tambi n uuo a uno do cada
fila y de cada columna. Todos los productos de cs t.o, so utilizan
tambiu como trmino~ clol flctetmiuante.
Sea dada ahora una 111nlriz c ua dra da de ordcu n
"u a 1:
IL:::t

a,,. )

fl2z fl:,

(1)

(
On t an2 lln"

Considctemos t odos los productos posibles de n (lemen tos do est a

mat riz, s ituados en di ferentes filas y e11 diferentes column as,
o !'en. los productos dl' la forma
a.,., a2a~ a""",
(2)
duml c los subndic es a, a~ . .. , an fo rman u un de las pcrmulnciones
de l o:~ nmeros 1, 2 . . . . , n . El nmero de estos productos os ig ual
a l nm ero de las di versas permutaciones de n smbolos, es d ecir,
es igual a ni. Vamos a Lomar todos estos produc to~ po r trmin os del
futuro determinante de n -simo orden, corresp ondiente tl l a matriz (1).
Para determinar el s ig no con que igura el producto (2) en el
d eterminante, observemos cue con los subndices 1l e esto producto
se puede formar In suslitufin

1 2 ... n )
( aja!! ... C:tn

(:3)

donde i se s us tituye por a, s i el lllemen to s ituado cu la i-:;imu fila

y en la a rs ima columuu de la m a triz ('1) forma parte del producto
(2). Exam inan do las oxprcsio nes d e los determinautcs de SCR undo
y tercer orden, ob:,;ervamos que eu ell os figuran con signu mi1s los

Cap. f Sllltmas de ecuaciones llntalu. /)t/erntlnant ..

trminos cuyos subndices forman unt su~lilucin par, y con signo

menos, los trminos cuyos subndices forman uno. sus~itucin impar.
Res ulta natural conserva r tumhi n es ta ley en la dMinicin dcl dctcrminnnlo clo n-s imo orclcu.
Por lo tanto, Jlega mos a la s iguicnlt dcfi rri cin: se llama del u m.inonte de n-simo orden, co rrespond iente n la matriz (1), a la sumn
algebraica de ni trminos, constituida del modo siguiente: son Ulrminos de ella todos los productos posibles ele n elementos de la matriz.
lomados uno de cada fil a y de cada columna, tomando el trmino
con signo ms, si sus .ubndiccs formu ,,., .u.~Jitucin par, y tm
signo meuos, en el caso conlrnrio.
!:'ara escribi r ol uctorminanLo de 11-simo onlnn correspondi('ntc
a In matriz (1) se em>l cn;J ht notacin <uc se us en el caso de In~
do t cr111 inante~ <le >~r.gundo y torcer ordcn:
(1 il.t2

...

a1rc

Ozz

...

tlzr

anl (ln2

...

fl n,,

021

(lo)

Los tleterminanlcs de n-simo ordcu, pnru '' = 2 y n - :l, "e

convierten en los <letcrminantes de segundo y tercer or<leo considerados anteriormente; para 11 = 1, es decir, para las matrices conslituidas de un slo elemento, el doterminont o os igunl a l elemento mismo. Sin ombargo, por nhoro, todava no sabemos si para n > 3 so
pueden utilizar Jos determinan les de n-simo orden para la rsoluciu
do sis temas de ecuaciones lineales. Esto se mostrar en el 7; pero
previamente tenemos que estu<liar detalladamente los determin antes
do 11-simo orden y, en particular, tenemos que bailar un mtodo
para su c;lrulo, puesto que sera muy difcil calcular los determi nantes partiendo de su definicin, incluso )>ara n no muy grandes.
Ahora estableceremos las propiedades elementales de los determinantes de n-simo orden, relativas fundamentalmente a una de las
dos cuestiones. Por una parte, nos interesa rn las condiciones pam
que el determinante sea igual a cero; por otra parte, sealaremos unas
transformaciones de la matriz que no alteran a su determinante o que
proporcionan una alteracin de ste, fcilmen te calculable.
Llamaremos lransposici6n de la matriz A a una transformacin
de la misma, segn la cual sus filas se sustituyen por sus columnas
del mismo orden, es deci r, el paso de la matriz (1) a la matriz

au
(

021

~12. ~22.

0 1tl Ozn . . .

(5)

. 4. Dfluminantes de n-istmo orden

se puede decir que transponer la matriz (1) es l.tacerla girar alrededor de la diagona l principal. Correspondientemente, se dice, que
el dete rminante

a..

(12t

ant

lltz a22 anz

a,,.

(6)

ll2Jt ann

se o btiene t ransponiendo el determinantu (4).

P ropiedad t. El determinante no vara al transponerlo.
E n efecto, todo trrniuo del determinante (4) es de la form a
(7)
do ntl o los segundos s ubndi ces forman un a permu l.uci n de los s m bolos
1, :l, ... , n. P ero, lodos los factores del producto (7) se manti enen
tambin en el det erminnnte (6) en diferentes fil as y en diferen tes
columnas, es decir, IJ\U:: (7) es tambin un t.rmino del lleterminanlc
trans puesto. Es evidente que lo recproco tambin es justo. P or lo
ta nto, los det erm inantes (lt) y (6) estn constituidos por los mismos
trminos. El signo del lrrnino (7) e n el determinante(/) se determina
por lo paridad de la ~u.~ti lucin
1 2 ... n )
( ce, cc ex,. '
2

(B)

en el determinante (6), los primeros s ubndices do los elemen tos

indi can el nmero de orden de la columna, mientras que los segu ndos
subndices indica n el nmero de orden de la fila. P or consigui en te,
en el determinante (6) al trm ino (7) correspondo la sus titucin
a t <Xz ..
( 1 2 ...

a")
r~

(9 )

Por lo genera l, las s us tlucio ncs (8) y (9) son dHc rcntes, pero, evidon
temcnte, tionen una mi s mu paridad y, pot lo tanto, el t.rmino (7)
tiene un mismo signo en ambos de terminant es. P or consiguien te, los
determinantes (4) y (6) representan sumas do trminos ig uales, ~omn
dos con signos iguales, es decir, son iguales entre s.
Do la propiedad 1 so cied ucc que cualquier afirmacin sobre lns
filas del dc terminnn tc es vilidn tambin para s us columuas y viceYer
sn, es tlecir, en ol determnante (a distincin de las matrices), lns
fila~>!/ los columnas gozan de los mismos derechos. Partie ndo de es to,
las siguic1es ocho propi~)llnde.s (2-9) se enunciarn y se demostrarn
solame nte para las fil nl! del determ inante; las pro piedades anlogns
para las column as no necesi tarn una demo~ tra.cin especial.

3G

C(l,p. 1 s;stemns (le e!:uadones Uncule.~. Determinantes

Propiedad 2. Si ww de la.s filas del determinante est cor~o~lituida

por ceros, el detaminante es igurtl a c.en1.
En efecto, supongamos tuc lodos Jos elementos de la i sima
fila del determinante sou iguales a cero. En cada uno do los trminos
del dctemtinante tiene que e~~ar incluido ULlO ele los elemtntos de la
i-sinw fila, por Jo cual, en uues tro caso, lodos los wrminos del
delorminantc son iguales a cero.
ProJicdad 3. Si un determinante se obtiene de otro p ermutando
dos fila~. tocios los trminos del primer determinante sern trminos
del segundo, pero con signos contrarios, e!i decir, al pernu~tar dos
filas, el determinante s{J/o cambia de sigJto.
En ofeclo, supongamos que en el detcnninanto (4) se permutan
la i-sima y la j sima fila::;, i =F j, y que todas las dems Iilas so
ma nt iemu en :;u ~ l,io. O IJtenelllos el dclcrm i na n lo

(10)
ti; IL;z (L,.

(j)

(al margen estn selmlados los nmeros de las filas). Si

(11)
es un trmino del determinante (4), cvidcntemcnle, todos sus factores se manlienen tambin en el det.erminante (10) en diferentes filas
y columnas. Por lo t.anto, los determinantes (4) y (10) constan de los
mismos trminos. En el determinante (l,) al trmino (H) le ;orresponde la sustitucin
1 2 ... i ... j .. n )
(12)

\a1

a2 .. . a; ... ai . . .

a,.

'

mientras que en el dete.rminantc (10), la sustitucin

( 1 2 . .. j ... i ... n )
\ a 1 a 2 a; . . . a; . . . a, '

(13)

puesto que el elemento a 1a , por ejemplo, est ahora en la j-sima

1
fila, pero se mantiene en la a r sima columna anterior. Sin embargo,
la sustitucin (13) se obtiene de la sustitucin (12) mediante uua
trasposicin en la fila superior, o sea, t.ienc paridad contraria. De
esto se deduce, que todos los trminos del determinante (4) forman
parte del determinante (10), pero con signos contrarios, es decir, los
determinan l-es (4) y (10) se diferencian entro s solamente .en el signo.

 4. Delerrnin.anles de

n~.l!ima

37

Prtlen

Propiedad 4. Un determinante que tiene dos filas iguales es igual

a cero.
En efecto, supongamos que el valor (Jel determinante es igual
a d y que son iguales entre s los elementos correspondientes de su
i-sima y j-sima filas (i =t= j). En virtud de la propiedad 3, despus
de permutar est.as dos filas, el determinante se hace igual a- d. Sin
embargo, como las filas que se permutau son iguales el determinante,
en realidad, no vara, o sea, d = - d; de donde d = O.
Propiedad 5. Si se multiplican todos los elementos de una ftla
del determinante por un nmero k, el mismo determinante queda
multiplicado por k.
Supongamos que se han multiplicado por k todos los elementos
de la i-sima fila. Cada trmino del detenninanle contiene exactamente un elemento de la i-sima fila. Por lo tanto, todo trminc
adquiere el factor k, es decir, el mismo detcrminant.e queda multiplicado por k .
Esta propiedad tambin :>e puede expresar ;ls: el factor comn de
todos los elementos de una fila del determinante ~e puede sacar fuera
del signo de ste .
Propiedad 6. Un determinante que time dos filas proporcionales
es igual a cero.
Supongamos que los elementos de la j-sima fila del determinante
se diferencian de los clerncnt.os correspondioutes de la i-sima fila
(i =t= j) en un mismo factor k. Sacando este factor comn k rle la
j-sima fila fuera del signo del determinante, obtenemos un determinante con dos filas iguales. Esto ser igual a cero, por la propiedad 4.
La propiedad 4, as como la propiedad 2 para n > J, son, evidentemente, casos particulares do la propiedad li (para k = 1 y k = 0).
Propiedad 7. Si todos los elementos de la i-sima fila de rm determinante de n-simo orden representan una suma de dos sumandos:

<tu = b+c,

j = 1, .. . ,

11,

el determinante es igual a la suma de dos determinantes, en los

que todas las filas, menos la i-sima, coinciden con las del determinante
dado, mientras que la i-sinw fila de uno de los sumandos consta de
los elementos b1 y la del otro, de los elementos ci.
'fodo trmino dol determinante dado se puede rcpresenta1 de la
forma
aro:,a2a2 ... aao: ... ana,, = ata1a2et:! ... (ba.---1- ca) .

anan =

= ata.1 a2a.~ ... bcx .. anun +ara.:a2a ... Ca. ... ana.n
2

Rou ni endo los primeros trminos de estas sumas (con los mismos
signos que tenan los tJminos correspond iente!-> en <'l cle~erminanle

38

Cap. 1 Sitltmn.< tle tcuaciont$ 1/ntal... Dttermlllanlts

dado), oblenenao~ 1111 dclermiua u le di> orcltu 11 , que solamen te se

diferen cia tlel dado, en quo on la i-sim n fila, en luga r de los elementos a 1, figuran los elementos &1. Corre~pondienlcmcnle, los segundos
sumand os formttn un determinaule en enyn i-sima fila fi gul'an los
elem entos Cj . Po1 Jo tanto,
(/JI
flu llJ:!.
fiJ t;
a, z .. a1n
an Osz . .. a,,

"

Cs /2

n,. t

C~

a,,2

...

b,. -1- Cn
llnn

a, ,

On2

!J,

. . a,,

Cs

Cz

...

r,.

Un s

On ~

. ..

,,,,

Ln propiedad 7 se generaliza s in difi culta d al caso en que lodo

elemento de la i-sima fila es una suma, no de dos , sino de m sumntldos ,
2.
Se dice que la i-simu fila de un determinante es combiM.ci6n
lineal de las dems filas, si para cada fila del nmero de orden j,
j = 1, ... , i - 1, i
1, ... , n, so puedo soiialar un nmero k
t.al, que multiplicando la j-sima fila por k 1 y agregando despus
tod as las filas, menos la i-sima (la suma de las filas se debe entender
como la suma por separado de los elementos de todas estas fila s en
cada columna), se obtiene la i-sima fila . Algunos de los coeficientes
k pueden ser iguales a cero, es decir, en realidad, la i-sima fila
es combinacin lineal, no do todas, sino de algunas filas restantes.
En particular, si solamente uno do los coeficientes k; es diferente do
cero, obtenemos el caso de proporcionalidad de dos filas. Finahnenle,
s i una fila so compone totalmente de ceros, s ta siempre ser combinacin lineal de las domts filas: caso en que lodos los k son iguales
a cero.
Pr opiedad 8. Si una de las filas del determinante es combinacin
lineal de las dems, el determinante es igual a cero.
Sea, por ejemplo, la i-sima fila, combinacin lineal de las otras
s filas, 1 ~ s ~ n - 1 . Entonces, lodo elomcn to do la i-si ma fila
ser una s uma de s trminos. Por lo tanto, aplicando la propiedad 7,
representamos nuestro determinante en forma de una s uma de determinantes, en cada uno de los cuales la i-sima fila ser proporcional
a una de las otras filas. Segn l a propiedad 6, todos estos determinantes so n iguales a cero; por consiguiente, tambin ser igual a coro
el determinante dado.
Esta propiedad es una generalizacin de la propiedad 6, y, como
se demostrar en el 10, os el caso ms go neml de igualdad a coro
del determinante.
Pr opiedad 9. El de terminante no vara si a los elementos de una
de sus filas se agregart los elementos correspondientes de otra fila,
multiplicacks por un mismo mmero.

m>