.

LES y APLICACIONES
LEMENTA .
. RACIONES E
CAP, xr.-OPE
490

DE VARIAS UNIDADF.s.
MpLEJOS
§ EROS CO . , ·'
9. NUM to de vista ar1tmetico no es
de el pun 1 , 11 e.
. . ·o'n-Des
Defin1c1 · ·6 der c"mpo
a. de os numeras ' Pti es
424. ' va ampliaci n d d~ resúeltos todos los Prob¡
cesaria una nue Jejo han que a . e-
. t ma comP 1
en 8el s1~ e 't' cos elementa es. o desde el punto· de vista ge0
aritme i • embarg , t • -
maNo suce de lo mismo, sm hemos O 1 grado .
represen
,1 l
ar aritmética.
,
, . o ues aunque introducir un ca cu o ~eometrico,
metrt1c lo'sppuntos del plano ; plana no sucede lo mismo en h
men e G metria ' • l
. . f actorio7 en la •eo ordmar10,
satis . · . ni mucho menos en a Geo.
0
Georpetría del e~paci dimensiones. . .,
metría del espac10 de n. t r una hueva amphac10n del carn.
· t ral mten ª d · d ,
·Parece, pues, na u . . dinarios, intro uc1en o nurneros
, compleJos or )
po de los numeros t reales: (ai, a2, ..... ' an .
complejos den componen es para fos complejos ordinarios,
. razones que . d
Por las mismas . números compleJos e n campo.
. . como iguales os .1 1 . ,l
defmire.mos . . , ales los que ocupan e mismo uga~·.
nentes cuando tengan ig~ números que tienen opuestos sus
Llamaremos opuestos a . os .
componentes. . · . num
Para que los nuevos_ , eros comprendan
. a los nú.meros
. rea.
les, d~finiremos la igualdad
a= (a, O, O, . •••,,O)
y para que cOmprendan a los·complejos ordinarios, adoptaremos

(a, b) = ( a, b, O, . . . . ; , O) .
Análogamente, quedan incluídos entr e los complejos de ·,i

componentes todos los de menor númer o de componentes (~).

·425. RepresentaciQn geornét,rica.-Es completamente análo-

ga_a la de los números 'complejos ordinarios . P ara n = 3 basta
tomar
·, tres ejes ortogonales
. entre sí; cada número complejo
(a1·, a2, a3) está representado por el punto que tiene estas co-
.ordenadas cartesianas, o por el vector· de origen O que .tiene
como ex~remo el punto (a1? a2, á3); las proyecciones del vector so-
b:e los tres ,ejes se llaman las componentes del vector, y sus me-
didas son los componentes del número
· . Los númer-0s realéls, están represen1'adcis por los puntos, del
~Je x~ qu~ llamare~os eje real, y los otros dos ejes se. llaman
imaginarios.
(*) _Otos . convenios ~odrían estab¡ , . . .
, ·. . !:leerse, corno _ Por ejemplo:
pero esto no aumenta la a == (a, a, a; . .... , a)., . .
generalid ad de I d
. a escomposlción polinómica (427) .

•
 ' § 9•-»l)-.. .
u1J!:nos
, COl\1 ¡,L ;,
Analogamente 1:Jos Dt v ·
componentes se ' ·d ara repre Aftt>..s llN 1n>.n~
dimensiones., a ºPtan n e ~entar los n,
, , Jea recta umer os corn .
426. Adición nguJares en PleJos de 'tt
I
meros complejo~ Yd sustracción.-L . e espacio de u
. ·
. 1os componentes en co lllPonent latn
. aretn 08 8
Es decir: . que ocupan en ~s al formadounia de varios nú -
os sutnand Por las sumas d
.
+
( ªi, a2, .... , a,,)
(b
b,
os el rnisrno lu . e
gar_
= (a ·.+ b +
1,
b )
. .. .. + l1, ª2+ b. + ...." ++l,,..... + (l 4 L,.) ..,.,,.
i

-Ev1denteniente t·
i , ..... ,

2
1
• , .. ... ,
'f , , ' iene la _, ....' a + b
um orme, asociativ
eorno en los nún-. . nLuutativa.
a Y co
sullla a81,
- def1
. "
·a "+.... + ""'' ).
n1 a Jas Propied d
d .uc t o d e un núnie.LLJ.eros co tnplefos o d' .
a e~
lt. 1· -
mu Ip icando Por , t
ro conipI eJo. de n re Inar1os, se define el pro-
También la diferenes_ e cadaeino de looms Ponentes por uno r~l
· ' c1a s d · comp ,
meras compleJ· os d. e efine COJllo . . onentes de a quél
La suma d or 1nar·10s. · en el cam Po d e los nú-·
e vectores se d f'
el teorema (390) de 1 e me como en el
mos análogament la Proyección de una lín plano, y aplicando
. . . e a represent . , ea quebrada, obtene-
rios, mediante er vector ac10n del ·complejo suma d
1 . suma de ló" , e va.
os sumandos. . s vectores representantes de
427. Forma polinómica · ·S _ · 1
, · - on f undament 1
numeros_ que tienen nulos •n ·-1 a es en_ 1a teoría los
restante. Estos n números: . . componentes, e igual a 1 el
1
.
'?1=(1, 0,0, ...,0), e 2 1 (O 10 O) . (O
' ' ' ... , ' ... , e,. = , O O 1)
se llaman unidades complefas, porque cualqu1·er : ' ' ... ,
. numero puede
expresarse por m ed10 de ellos del siguiente modo.
' r_ : . • ••

( ai; a2, a3, ... , an) (a1, O, O; ..·., O) ·+ ·co' a')_, O.' ... , O) + ...
+ (O, O, O, ... , an) = a1 e1 + a2 -e2 + :·~ + an e,. -· . _[621
Pero no ~on éstos los únicos nú~eros co~pl~jos qu~ gozan de
tal propieda d ; · la condición necesaria y suficiente 'que deben
cumplir n números complejos _a rbitrarios ei, e2, .. .. . , e,. para
~ue cualquier otro ( á1 , a2, ••• •.: _a~) . pueda .expresarse como
combinación lineal ·de ellos con coe{icientes re.ales unívocamente
determinados, es decir : :
(a1, a2, . . . . . , a ) = A1 e1 A2 e2 +...... + An en•,
11,
+ . ,1

es que sea-distinto- de cero el déter:mihante ?e ~as,- compo~e~tes

d _ . . arece como determinante del sISte-
e e1; ~2, en, el cua1 ap . · d ompone: la igualdad· an-
•••• • ,
rna_ de ec_uaciones lineales e~ que, ~:n ~:~lo conjunto de valores
ter1orj s~stema que determinara . ., • ..
Para las 'J..
 , . ELEMENTALES Y APLICACIONES
XI --OPERACIO!;iES
492 CAP, . · ,
mar sistema de unulades compl .
natura1 lla , e30,a
Parece, pues, . todo sistema de n numeros cornpie.
(en sentido eampho). ª distinto de cero el determinante de los
que tiene sus
e1, e2, ..•.. ' »"' . .
componentes ( ) : d i,d(J,dés comple7as a toda transforrnac. ,
Se llarrta cambio 'edudn s en otro. Las más sencillas son las idon
de un sis· t e.ma de um aªsustitución
e · I de coef'ic1en
Imea · te s reales e.
finidas aphcando t III Cap. VII) ; pues el nuevo deter
0 1
módulo no nulo <. . s ~s igual al antiguo por el módulo~ 1•
nante de los coef1c1en e l e

la sustituci~n. . . mediata de este cambio de unidades, resuJ.

6
Como ~p~i~acdi nd m doptar una unidad real eo = 1 si no lo e.
ta la pos1b1hda e d d 8 s
ninguna de las n umdades. a a ..
428. Multiplicación._:.De igual modo que en el, caso de los
l ··· ordinarios el J oducto de dos numeras com.
números comp eJOS '
piejos superiores · .
(a1 e1
+ n- e -1
-..: 2 - .....
+ a- en) (b1 e1 + b2 e2 + .~... + bn en)
..

efinirlo como producto de dos polinomios para que goce

hay que d . . t·
ide las propiedades distributjva y asocia 1va; Y como 1a conmu.
tativa se verifica siempre cuando; un factor es. re_al, ~-uedará
. completamente establecida la teoria d~ la multiphcac10n una
vez definido el producto de cada dos umdades: er por es, Desde
luego, para que la multiplicación sea posible dentro del sistema,
, habrá que adoptar una ~efinición del tipo siguiente:
(1) (2) In)
er · es = Ara e1 + Ara e2 + ..... + Ars en , [63]
(hl (h)

y si queremos que sea conmutativa, habremos de tomar 'A,.s=Asr .

Queda, pues, una amplísima indeterminación para poder ele-
gir los parámetros ')..; y según el sistema de. valores de éstos que
adoptemos, resulta una teoría distinta de números complejos.

429. Teorema final de la Aritmética. Parecería, pues,

abierta la posibilidad de in_finitos sistemas complejos de n uni-
dades; pero la indeterminación se. convierte en imposibilidad,
si nos atenemos al principio de permanencia de las leyes for-
males; Y se convierte en determinación si se sacrifica alguna
de éstas. '
. . 1ª. def mic10n
Según · · ' adoptada, la multiplicación es uniforme
•
Y distributiva. Consideremos además las otr as propiedades for-
males de los compleJ·os ord'inar1os
. que podemos escalonar asi, .·
(A): Propiedad asociativa,. - (C): propiedad conmutati--
va. - (M).
: existencia de módulo • - (P1 )· .• propie
· da d unifor-

•
 t
9·-?-l-01\fEJt
· OS COl\fpL
• EJos DE VARIA
me inversa, equivaJ 8 UNIDADES
(d . • . ente a 493
iviso1·es de c'ero). 1a ( Qº) : inexiste .
divi&or no nulo. . - ( Q) : existen . ncta de subctros
. , , equivalente a 1 • c1a . de cociente por todo
Para_prolongar, la Aritmétic a eiustencia de reciproco.
mentales, comenzarem a, conservando
] l . os Por · . a la tablasusde1eyeslt'funda-
[ 63 a condición (e e· ) exigir .
· '• d .. r• • et : : : : e ( mu 1p11car
prop1e ad. Mociativa; igualdad r eª .. et)' a fin de conservar la
[63] relaciones de igualdad f' . Que nnpone a los coeficiente,,
desarrollos de ambos mi b aclles de obtener identificando los
gen de indeterminación eym ros. Queda todavía un amplio mar-
g1r. d'1ch os coef1c1entes
· · ' ,\ docurre Pregu ntar s1· será posible ele-
1
-- que se conserven las otra e ª ~abla de multiplicar, de modo
compleJos · ordinarios.
. s Prop1edade 8, como acontece con los
Así planteado el P~oblema la e ., . . ·
pues. si se supone com , _' ~testac1oh es mmed1ata;
st
drado .- 1 ( ahora vere°m:n e os um dades imaginarias de cu,a-
b10· d e um'd a d es ) se · .tiene
. s: que esto · se logra siempre, por cam-

(er+es) -(er-es) =: e2 +
er,es ea,e, - e/= O.
r -

Juego, P~r 1~ Propiedad (Q,) debe ser e,~ e., o bien e,= e, ; y
por cons1gmente hay una sola unidad imaginaria, reduciéndose
el sistema de n componentes al de los complejos binarios.
Resulta así, en su forma más sencilla y restringida ( *), el
teorema final de la Aritmética, como fué demo&trado por Han-
kel, y con mayor generalidad por Weierstrass :
No exi,ste ningún s'istema de números complejos de más de dos
uni,dades en que el producto sat'isfaga ,a todas las leyes formales
de la Aritmética. ·
Ya no es posible continuar la serie de _amplia:ion~s del con-
cep t o. d e nu,
, mer o• Con este teorema llega a .su termmo natural
el desarrollo de la Aritmética.

. . contiene como caso particular a . (Qo) '. ~e-

NOTA - Es obvio que ( Q) d. números enteros se verifica
, . n el 'Campo e. 1os . b.
nos exigente; asI p. eJ. e d factores no nulos; pero no su sis-
· ( Qo), pues el cero no es producto e
te ( Q). . . _ b p y p no es nulo, es a =. b.
La propiedad ( p I) exp~esa,: SI a•~ ; es nulo, es a = O; es dec;r
Como coroiario resulta: SI a. p = o(,Q ) Recíprocamente, de esta resu a
no existen s~bceros, como expresa
..,.. o debe ser a = .b.
O • .

(P 1 ), pues siendo (a-b) 11 - ·. .

. t . gido todavía
(•) Mas res nn
din arios ; entonces, la
es suponeru! satisface e, se.·
ción [66) a q _
propiedad ( Q > se anu
la algún fac r,
.
.
4: al de los complejos or-
ue el sistema .contie::mpone e11 factores e, -
Y e es un complejo .or-
r • ··
-
•
A' Padoa en ' el
- +
(A bi) ; lue¡ro, por . . . . 66) ·ha ·sido . expuesta por . ,
dinario. . . de la ecuac16n [
1
, &ita· con"secuencia !MVla 1935, pág. 63. .
P~riodico di Ma.tematiche,

•
 , MENTALES y 'APLICACIO~ES
XI -OPERACIONES ELE
494 CAP, · .

, ros enteros reales ' y · los entet·os

. complejos
, . ' tie.
Mp r.os
' EJE ,_, .. 1. Los
. nume , Q· pues
M Qo ;pero n 0 ' . no existe reciproco de ni·n'•
1 propiedades A, .' · ti
nen as d1 1 ) t d · t
gún número, salvo 'e . V Bibliografía en pág.. 6 ' o SIS ema de ele.
En Álgebra abstr_a:cta ( . . llama campo de integridad.
mentos con .la propiedad Q se . ,
0

430.·
·
fundamen ª ··
t I de los números complejos.-r 0 d0
l . x de n uni a es' es raíz de una ecuaci n a ge raica, de
Teorema · ·a d '6 l b
numero comp eJo ' coeficientes reales.
d a [o ·sumo, con . ., :1• , • f' .
gra o n. . . 427 ) una expres10n po mom1?a cuyos coe 1cien.
· La umdad real 1 tiene ( . ( ~) . el número dado x tiene una expresión
tes llamarémos Sll'. ~12, ..... , .J•~n ,:.:. ,~
n; calculando los productos de x
polinómica de coe~icientes y2i, i!rior obtenemos el siguiente cuadro:
2
por sí mismo, segun la. reg a an '

1 = ;11 61 + ;12 6 2 + ..... + ~fo en '>}

xl = ~21 61 +_~22 e2 + ..... + f ~2n 6 n

x2 = ; 31 e1 + Sa2 6 2 + ..... + ~3n n

6
1
[64]

X::; .. i~: ;: ºi~: ;~ •.:.:. -~• •.:, \

Si el módulo A de esta sustitución fuese distinto de cero, A O, =
constituirían ~n nuevo sistema de unidades complejas las. n potencias
xº, x1, x2, .... , xn-1, luego po(lría expresarse xn como combinación lineal de
ellas con coeficientes reales, y sería: :

• ,..n -
"' -
,
11.1
xº +,11.2 xl + .. ... +'1''·n ':•··.-,,11-. 1· • [65]
Si, ~or el ~ontrario, es A = ·O, las filas de ~ -están ligadas linealmente,
es decir, una de ellas re~ulta de sumar las otr a s, multiplicadas por núme-
ros reales no todos nulos; luego entre los primer os miembros existe una
relación del tipo:

[66]
no siendo nulos toqos los coeficientes reales µ.
[6E]~ ambos c~sos ha resultado qu_e ~1 número x satisface a una ecuación
5 ·. de grado n~ o a una ecuación [66] , de grado inferior a n.
·Como corolario inmediat0 lt .
f, ·
ace a1 una ecuac1on • ,
algeb ·resud a que. .cada unidad imaginaria e.' satis-
.
, tud de ·1a condició,n Q ::ca , e coeficientes reales y, po_r tanto, en v1r-
los ÍE:1.ctor'es trinomios ºd
n~~ero complejo debe anular a alguno de
compone ségún c41·6 )· dco~ficientes reales en que el trinomio se eles-
' , es ec1r: ·

e,, -ai
( - -
)2=-1.
Por tant~: . bi
s1 se_.efectúa el camb· d .
10
· e unidades
'
(. 1

. i _===.1,?., _..... ,n--:1), ·

1
(•) Si adoptamos e - . . •
, i - 1, como suel e hacerse .O
· <424), coetl~ientea son 1, O, O, .... ·
l cuyo, d e t ernunante
.
§

no es
9. - NUME:Ros

Jtnidades imaginarias ·U nu1º! resulta: los CUadrad d

COJttpLEJo~ DE
' V.ARJAs UNIDADES 495

j Llamaremos siste t Bon iuual es a· - 1.

ma normal de .
dades complejas cuyos cu~dr d unidades al formado ....,...
., ' ' \ a os sean - l.
08 e ,,.,, __ las 11iu11as
""'-11

yv~ 1 y n - J
1
.
UDI-
Caso mas general: no se
l . supone la .to ct· . ,
comp eJo 1 nod . comprende al siete~ n ic1on [61], es decir el sistema
mero
t 1 ·
me 1an e as unidades com • ·
'"ª rear Ent '
onces no es ex presable el nú-
logamente: . .
1
p eJas, pero si lo es x• y resulta aná-
Si el determinante del sistema
un sistema de unidades y xº+i adn~t e:. nulo, las n potencias de x, forman
11 . ' . m1 e expr ·, . .
x • S1 se presupone la propied d ( Q ) esion 1mea] mediante x, x', . .. ,
sulta una, ecuación
. . de gr a do n.ª º ' se puede suprimir el factor z y re-
Si el determinante es nulo 1h · ., ·
, decir,. .satisface
. . , ay untt relac1qn
x a. una ecuación que si·~p1·t· d lineal
d entre
d sus f ilas, es
lt ·d "' I 1ca a es e gra o menor que n.
Resu a, pu.es, entro de la hipótesis más general, la existencia de uni-
dades compleJas normales. ·

431. Sistemas complejos ~,rnarios y éuat~rnarios . - Suponiendo

que el sistema complejo, coh unidades normales, comprenda al real, el
teorema ha resultado inmediatamente de las propiedádes C) y Qn) . Sin
suponer ninguna de ambas, con sólo admitir la propiedad asociati va. resul-
ta imposible la solución en el ~aso n 3. Es decir: =
I. Adoptando un sistema normal de unidades 1, u1 , u2 , es decir, t al que
U 2 - _ 1 u 2
1 - ' 2 =-
1' cualquier' definición que se adopte del producto
U{ u2 =A + µ U1 + 'V U2 , .
, con d uc e a llna contradicción, pues multiplicando por
L · U 2, resulta:

.· - u1 =' le U2 + µ u1 u2 - v, · , 'k u?
- + µ 'J. + µ 2 U1 + u. v U2 -• v• ,

l
d. . , de igualdad ·de los números compleJos debena
y en virtud de Ja con 1c10n sible por ser µ, real. . .
. . 1 - u2, lo cual no . es po '
ser - - · _ 4 se tiene:
JI. Análog amente, para n - ' .

u.
-
U2 -
¡._ + ¡._1. u1· + "'2+ A'i.3 ua
u2
-
•
[67 )
.1 - ') ' + t.'1 U¡ + i,.' 2 U2 + . 3. U3
U U3 ·- ' "
:2 - " ')." U1 + i."2 U2 + A. 3 U3 . .
U 3 U1 - '}.. + la propiedad asociativa
1 . ., d
·t mos suponer ademas e . veremos la solución de
En este. caso neces1 a trario ·resulta, ·como '
· es de lo con · · t s
la ·conmutativ a , {!u . alal).do los coef1c1en e
. . . . !dad e igu
los cuatermos. la primera igua ' c~ndiciones:
· Multiplicando por u1 . b·r os .. resultan 1as
.d· e u en am os-
b m1em , •" •
, 'J. + ''3 ,.,. 3' [68]
e U2 3 · 0 ::: " 2 3
'). 2 + 'A3 ,._ 21
1"
·
- - 1,
.2 . . •==
índices y acentos,

y análogamente, P
ermutando os
1
¡._
' i.' .
O == i. s 1
}..'1 i.1
,, . 'A.'
+ [69]
[70]
-'J...'2+'A'1 3' -i."'A."2+'A. 2 2'
_ 1- 3 , , O- 1 . , 'J.." no pue,
· · 1 - 'A " 12 + 'A" 2 ¡._ 1 ' · resu lt-a que 'A.3, 'A. 1, 2'
- - Jumna dan:
de la primera c;das igualdades . ' [71]
De 1a S l·gualdades tan t o, las segu . , ,. ==
· ,...~.1 •. - 'J.. 2 •
den ser nu los '. por
:· · · , ,, ,.,., ,3 --:;- "A.1,
_ _ ,.,. 3' (
],z -
 . . ·
ERACIONES ELEMENTA
t
LES y APLICACIONES
. 96 CAP, XJ.-OP • Id ·d '[67]
4 ·
te multiplicando por u~
1 riínera 1gua a
:r:a
• Y Por
miembros, por la propiedad
Por otra par • . ltan iguales los. primd u en los segundos lnieinbro,
u1 la segunda~ resu d
conmutatl·va ,. igualan ° los coeficientes e 2 ' '

resulta: , ,., '}.," ; es decir:

1 " A ').'9=A2"'2 +
s 2 •
. 2+ 2 • , . _ ,., , que so'lo es compatible con (71], sien.
· ,A A
y como__
,,, +o' resulta 11,1 - 8 ·
,,
es _
A. 2
o y ana1oga
, , mente resu 1ta: . r..
do "A1 -11.s-, ~" =i..' =1·-
. , _,,, i=O "-1 2
""2 - /1, _¡

Pero, entonces, las primeras igualdades [ 68], [69] y [701, se reducen

a éstas: ..
-l=AsA"2,
,- 1 = i..' 1 A.3 ' , ,, , '
-1=11, 211,1

.
Y multiplicándolas obtenemos -l a condición imposible:
-1= (A'¡t."2i..a) 2 ,
· S. . . de de la cond1c10n
. . , con mu tativa , y designamos por las. mismas
.
i se prescm : . . . .1
letras con cualquier d1stmtivo, os co - eficientes de los productos
, invertidos
, .
67
,
de unidades, .en el cuadro [ ] • resu Ita con. cálculo analogo que 1a umca
ue corresponden a la Arit-
solución viene dada por los val<;>res o, l , - l, q
mética de los cuaternios. · · . .
Obtenemos así, en st{ forma restringida más sencilla, ~l _teo~~ma de
FROBENlUs (1878): Los únicos sistemas complejos de 'multiplicac!on as~-
cidtiva y distributiva, que tienen la propiedad Qo, son los compleJos ordi
narios y los cuaternios. 0

432. Sistemas irreducibles, de dos, tres y cuatro unidades . - Conocidos

los teoremas de Weierstrass y Frobenius,. no es extraño que en el cuadro de
todos los sistemas complejos de 2, 3 y 4 unidades, in serto a continuación,
aparezcan Pi:od~ct.os nulos de unidades, con las solas excepciones de los
cuaternios y de los complejos ordinarios, (que t ienen la propiedad Qo);
, y . también . parece excepcional el ca&o de_los complejos binarios hiperbóli-
c?s,_ J?ero éstos no. tienen . la . propiedad Qo, puesto qu e el producto de la
suma por la diferenci_a de unidades, calculado en ( 4.29) es nulo.
Adopté el lector tales sunia y diferencia como nueva$ unidades, y verá
la trivialidad de tal Aritmética hiperbólica, pues se reduce a calcular por
separado con las primeras y segundas componentes reduciéndose por
tanto, a la Aritmética de los númer~s reales L · ' t 1' aso
de n componentes,
. si se adopta . • o mismo acon ece · e ·e
en
l
Y e prod ucto de dos , distintas
, 1
iguc~mo cuadrado de cada una ella misma,
ci'bl-es, que dan excluidos
, ª ª
cero. dTales
. por su trivialidad 1 1sistemas,
. . . , llamados redu-
· Sistemas
l. •. • complejos de tres unid d e a c as1f1cac1on.
siguientes es el mismo d 1 t bl ª
es. - El significado de los cuadros
e
temas irreductibles que' comp a d a deª muit·1P1·icar. He aquí todos
· los SIS·
·
ren en a los .números reales:
Producto conmutativo
1 i · ,¡ . •• l
/
i' .Producto alternad~
i
,
,1

i i o
i Q
1 i ..•.
i o o
o i 1
i o o i
J -j o
 § 9. - Nulla:nos
COAt.pLEJos DE V
2. Producto esca[ ' AlU>.s UNIDADES 497
ar Y vect .
escalar
0 de Vectores o nu·""' oria[ de Vectore11 de E El od ·to U ado
d 1 • . ' . ...eros co 1 . •· pr uc am
por siguiente regla d rnp_ eJos de tres componentes está defini-
.. e cornpos1ción: . ,

e1 . e. - e
o bien, si se incluyen los núrn· - 2, e~:::: e, .c, == O.
eros reales entre los complejos:
(a + bi + cj)
+ b' . , ( ,
·'. a.
y el' pro9,ucto llamado vectorial d d
i e i) == aa' + bb' + ec'
. ,
+
(a b e) X (a' b' ') e os compleJos, es este :

' ' ' •• " (be•~ có') ,, + (ca' -ac') e,+ (al>' - ba' )
EL producto
.escalar . vec_torial de Hamilton es e,Íe producto vectorial, menoe el

.Los tres sistemas tie_nen gra; utilidad en Geometria y Mecánica, pero

salen del cuadro del Álgebra, pue; ninguno tiene módulo, ni propiedad
asociativa, ;ni cumplen- la condición (Q Los tres quedan incluídos en el 0
).

cálculo de cuaternios, que tíenen todas estas propiedades y que constituye

un importante complemento de la Aritmética, como veremos en seguida.

3. Sistemas C9mplejos de cuatro unidades. - Los únicos de multiplica-

. · son
ción conmutativa · · los cinco . primeros.
: ·
El 5<;> se hace re d uc ible
.d' dpor
cámbio· de unidades , COimo acontece con 1os h Iper O1
. b'l'cos de dos um a es,
según ya dijimos.

1 1. j k 1 i j k 1 i j k 1 i j k
.
i 'j,
J k o 'l. k º· o i j o ·O i o o o
J
1.
/ ,- ú ·o j o +k o j o o o j o o o

k o o o k o o o k o .o o k o o o

1 ·i
., .
k 1 i j k 1 i j k 1 i j k
J

i -1 k-i '/, 1 k j i 1 1 k
't - 1 k -j
. -k -1 i j-k 1 -i j -j o o
J k o o J
k j -4 -1 k-j i-1 k k o o
k-j o o
1 i k 1 . 1 j k
1 i J k J
1 J k .
k o i 1 ·i k
i ...-1 k +J i o
'l k k o o j-k o o j -:i o o

· k ck O , -j-k
- •
o o
k o o o k-k o o

J- o k ±J . o . la. permut ación del

k o o alternados, esto es, . uest~ Entre ellos
·stemas d to en su op · .. el
. ·estantes son s1 .erte al pro uc l de los cuater~1os, !
Los siete I f ctores, conv1. a 6Q que es e ficientes ima.gma-
1 s dos a · 1 s1stem ·' d d s con coe Q
orden de _o .·mportancia e bio de uni e _, len la condicfón º'
destaca po~ ~::e de él por ca;e , todos, que cump
79 que se e 1 s únicos en
rios puros. Son ° I

/
•