EL CONCEPTO DE NUMERO

por Cesar A. Trejo y Naturales

Facultad de Ciencias Exactas Universidad de Buenos Aires Buenos Aires, Argentina

Departamento Union Secretaria Organizaci6n Washington,

de Asuntos General de la

Cientlficos

Panamericana de los Estados D.C. - 1968 Americanos

© Copyright 1968 by The Pan American Union Washington, D.C.

Derechos Reservados, 1968 Union Panamericana Washington, D.C.

Esta

monografla

ha

sido

preparada Cientificos

para de

su p vb li c c e l on en el 10 Union Ponomericano

Departamento

de Asuntos Editoro:

Eva V. Chesneou

A LOS LECTORES

La c oIe cci Sn de rnonografi"as cienti"ficas fo r rria parte de los p r ogr a.rnas generales de i nf or rna c i on y publicaciones del Depart.arnent o de Asuntos Cienti"ficos y tiene como finalidad principal difundir y presentar de manera sencilla los nuevos temas y metodos que surgen del rapido desarrollo de las ciencias y de la te cnol o gfa , En la actualidad la c ole cc i on consta de cuatro series, en espaf'l.ol y p or tugue s , sobre f{sica, qufrrri c a, bi ol ogfa y rna te rna ti c a., pero se conternpla l a posibilidad de inc1uir otros raITlOSde las ciencias. Desde su comienzo se de s ti no estas rnonog r affa.s a los profesores yestudiantes de ciencias de nivel secundario yuniversitario b as i c o, no obstante s e aspira a que encuentren tarribi e n acogida entre los hombres de ciencias dedicados a la i nve s ti gac i.Sn especializada y el publico en general que se interese en adquirir informacion 0 conocimientos sobre La materia. En esta oportunidad, la Union PanaITlericana agradece a la Agencia para el Desarrollo lnternacional y a la F'urida.ci Sn Nacional de Ciencias de los Estados Unidos par la s i griifi ca ti va ayuda e coriorni c a recibida en apoyo de este programa, a sf COITlO Dr. al Cesar A. Trejo, autor de la rnorio gr affa, y al Dr. Jose Ade m del Centro de Investigaci6n del Instituto Politecnico Nacional, Mexico D. F., por la revision tecnica del manuscrito.

lit

Jesse

D. Perkinson Director

PROLOGO
En la ens eftariz a de la rnat emat ic a , desde la et apa elemental hasta la superior, es necesario adoptar a.l gtin concepto de mirn e-. ro real de acuerdo con el nivel de estudios. La f or rn a c orn pl ej a del concepto de rnirn e r o real pl ant ea problemas didactic os d.if Ic i.Les , Su definicion rigurosa e s c orripl ic a da y se necesitaron muchos siglos para su desarrollo. En forma sucinta se puede describir su ev ol uc i on COInO s i gue , Las pr i rne r a s ideas de ntirrie r o aparecen en los albores de la c iv il i aac i Sn. Los antiguos babilonios y egipcios conciben, alrededor del ano 2.000 a. de J. C., una ar it met ic a en la que ya utilizan fracciones. Con Pit~goras, en el ano 525 a. de J. C., los griegos descubren la necesidad de adoptar ruirne r os irracionales, como 12. En el afio 375 a. de J. C. Eudoxo presenta la t e or fa de los inconmensurables para representar irracionales como Hrnit e de rna grritude s r ac i orial e s , Los nUIneros negativos, que aparecen en la s ol uc i Sn de diversos problemas, se consideran como absurdos, y solo se rna nej an Lib r e rne nt e a partir del siglo XVII. No es sino hasta la segunda rn it a d del siglo XIX que Cantor, Dedekind y Weierstrass desarrollan te or Ia s rigurosas del mirn er o real, incluyendo r ac i.onal e s e irracionales. AS1, r-eempl az ando las magnitudes de Eudoxo por construcciones a partir de los ntirrie-, ros 1, 2, 3, ••• , Cantor construye los irracionales como "sucesiones de racionales", Weierstrass los construye como "clases de racionales" y, f i na.Irne nte , Dedekind como IIcortaduras en c1ases infinitas de racionales". Estas t.eor Ias resultan equivalentes y pe r m it en construir el continuo de los nurne r os reales a partir de los ntirne r oe naturales. E1 Dr. Cesar A. Trejoiniciasumonograflaconuna construccion intuitiva de los nurrie r os reales a partir de los naturales. Desarrolla posteriormente un estudio formal, a partir de los a.xiorn a s de Peano, para construir los mirn er os reales, primero por el rnet odo de encaje de intervalos, 10 que Ie pe r rn it e dar una idea del rnet odo de Cantor, y de s pue s por el rnStodo de cortaduras de Dedekind. La c oris t r uc c i Sn y las propiedades de los ntim er os complejos se estudian en el ultimo c a.pft u.Io,

Esta monografra sera indudablemente de gran utilidad a los profesores yalumnos en los diferentes niveles educativos para la r es o.luc i on de los problemas di dact ic os mencionados al principio de este prologo.

Jose Adem

Mexico,

D. F.,

enero de 1968

VI

INDICE

Prologo Int r oduc ci.on, Conjuntos y Relaciones •••••••••••••••••

CAPITULO 1. PRIMER ENFOQUE DEL CONCEPTO DE NUMERO Y SUS AMPLIACIONES 1. 2. 3. 4. 5. 6. El Nurrie r o Natural "".. Nume r os Enteros. Cons t ru cc ion de una Escala • Escalas Concurrentes y Operaciones Enteras ••• Niirner os Racionales. Arnp'Hacion de la Escala. Dens idad ••.•••••.••••••••.•••••••••••••••.••• Nurn er os lrracionales. Aproxim.aciones Decimale s ..

7 10 12 14 17 19

Sucesiones Real

Convergentes.

Noci on de Nume r o ..

CAPITULO 2. 1. 2. 3. 4. 5. 6.

EL NUMERO NATURA.L VII 25 26 27 31 32 34

Sistem.as Deductivos y Axiom.as ••••••••••••••••• Axiom.as de Peano •••••••••••••••••••••••••.•.••• Indu cc ion Completa Prim.eras Consecuencias de los Axiom.as de
Peano

..
..

Suma y Muktfpl.i ca c ion Orden •.••••••••••.••••••.•••.••.•••••••••••••••• EL NUMERO ENTERO Y EL NUMERO

..

CAPITULO 3. RACIONAL

1.
2.

Introduccion..........................................................................
Relacione s de Equi valen cia ••••.•••••••••••••••• Definiciones par Abs t ra c cion •••••••••••••••••••• Nurn er os Enteros. Sum.a y Diferencia •••••••••• Mul.ttpll cac ion de Enteros ••••.•••••••••••••••••• Propiedades de las Operaciones can Enteros •••• Los Enteros com.o .Amp.li c ion de los Niime r os a Naturales ••.••••••••••••••••••••••••.•.••••••• Propiedades de Z El Num er o Racional............................. Operaciones con Niirner os Racionales Propiedades de Q

39
41 42 43 46 47 48 50 54 57

3.
4. 5. 6. 7. 8. 9. 10. 12.

11.lnmersion.........................................

61
62

CAPITULO 4. 1. 2.

EL NUMERO REAL ..

Intervalos Aproximaciones par Defecto y par Exceso. Definicion de Nurrie r o Real par Encaje de
Intervalos

65
68
71 72 74

..

Operaciones y Orden 4. Idea del Metoda de Cantor ••••••.••••••.••••••••• de Dedekind ................................................ 5. Cortaduras 6. Orden y Operaciones ••..••••••..•...•.•..••••••• 7. Propie dades de R ••..••.•.•....••••.••••••.••••• 8. Definicion Directa del Num e r o Rea1 •.••••••••••• 3. CAPITULO 5. 1. EL NUMERO COMPLEJO

76
78

82

Int r odu cc ion como Par Ordenado. Operaciones e Inrne r s ton Rep r e a eritac ion Cartesiana...................... Forma Polar Potencias y Ra.fce s El Teorema Fundamental del Algebra ••.•••.•••

85 88 92 94 97 101 105

2. El Nurn er o Complejo
3. 4. 5. VIII

6.
Notas

Bi.bfi.o gr affa

....................................................................................

117

INTRODUCCION.

CONJUNTOS Y RELACIONES

0.1 por una advierte por ello el de la

Si s e cotejan las nociones de nurn.er o y estructura ar i trrreti ca parte, con las nociones georn et r-ica s ba s i ca s por otra, s e el ca rfict er mucho mas abstracto de las primeras. Acaso el desarrollo de la Aritmetica es mucho mas reciente que Geometrl'a: ya en el si glo III a. de J. C. tenemos en los Elementos de Euclides un magnl'fico intento de des arrollar la Geornet r I'a COmosistema deductivo; tales intentos no se dan en La Ar itrn.eti ca sino en 1a epoca de Dedekind y Peano en el siglo XIX.

Asimismo, el ca ract e r marcadamente abstracto de La noci6n de nurn er o hace que su expo slc i Sn estructurada sea un problema di dac ti co diffcil. En esta monografl'a procuraremos contribuir a la biisqueda de una soluci6n de este problema, que por cierto no es unica, mediante una exp os i ci Sn de conjunto de diversos aspectos y caminos rria.t ernat i cos posibles, que intenta destacar los m et odos modernos. Dep end e rfi del nivel en que nos encontremos, determinar cual es de los aspectos aquf tratados son adecuados 0 no para ser transmitidos al alumno, pero todos elIos son necesarios para que quien eris efia logre para S1 rrrisrno una vision coherente de los aspectos mat emfiti co y metodo16gico. 0.2 En el ca.pftulo 1 h.acernos un primer enfoque, preliminar e intuiti vo, hasta llegar al numero real. Este primer capltulo desarrolla casi todo el tema de la monograffa al ni vel mas elemental, y ofrece or-ient aci on parior arrrica y motivaciones para el estudio mas detenido subsiguiente. Las referencias Como (1) , (2), .•• , remiten a las notas que aparecen al final de la monograffa. Estas notas pueden orni ti r s e en una primera lectura; en general sefialan aspectos menos el e mentales y muchas de ellas relacionan los t ernas , para el lector corioce dor , con un contexto mas amplio.

0.3
generales

Recordem.os aquf, muy sucintam.ente, algunas nociones sobre conjuntos y relaciones que luego us a r errios ,

de las nociones ba ai c as de corciunto y de eleSe indica que X es uri el ern ent c del conjunto A, 0 que X pertenece al conjunto A, escribiendo entre ambos el sUnboZ-ode pert-enenoia e, es decir X e A. Por ejemplo, si Z es el conjunto de los numeros enteros, para indicar que 2 es un nfimero entero, a sea un elemento del conjunto Z, 0 sea que 2 pertenece a Z, escribirem.os 2 e Z. a, Partiremos

mento de un coniiunto .

b,

del conjunto B, 0 sea que X t arnbi en asf'; x c A :) X e :), En tal caso se dice que A esta -inelu-ido en B, y se

clusion

Supongamos que todo elemento de un conjunto A es elemento e A impZ-ica X e B, 10 que se indica B, mediante el etmbolo de impZ-icacion A es parte 0 eubooniiunto de B, 0 que escribe A C B, con el sUnbolo de inc.
definicion, A c A, pues x e A :) x e A.

Segun esta ultima

c. Un conjunto esta determinado pOT' sus e lementoe, Es decir, si dos conjuntos A y B son tales que to do el ern ent o de A es tambien elemento de B, y todo elemento de B es e1emento de A, entonces A y B son e1 rrrisrn o conjunto: A = B.

d. Puesto que un conjunto esta determinado por sus e1em.entos, . una m.anera s encilla de definirlo es dar una lista expllcita de todos ellos. En tal caso se dice que el conjunto se define por extension o enumerao ion,
Un conjunto definido por extension s e representa c ol.ocando entre Haves los nom.bres 0 s Irnbol os de sus elementos, separados por comas. Por ejem.plo, el conjunto A formado por los num.eros 1, 2, 3 se escribe A = (1,2, 3}. El conjunto Z de los nurn er o s enteros no puede definirse par extension. No es posib1e escribir una lista de todos los nfirne r os enteros, porque hay infinitos, es decir, Z es un oorujurito infini.to, Solo los con.juntioe finitos pueden definirs e por extension.

e, Un procedim.iento rna s general para determ.inar un conjunto es dar una propi.edad que caracterice a sus elem.entos, es decir, tal que los elem.entos del conjunto, y solo ellos, tengan esa propiedad. En tal caso se dice que el conjunto se define por comprerisi6n. Por ej ernp lo , un punta pertenece ala superficie de 1a es£era de centro 0 y radio 3 ern si, y s610 s i , tiene la propiedad de estar a 3 em de 0, es de ci r , esa es£era se define par c ornp r errsion corno el conjunto de los puntos que tienen Lapropiedad di c ha ,

Si e1 conjunto A se ha definido por c ornp r ens i Sn mediante una c ondi c i Sn 0 propiedad P de sus elementos, se 10 menciona a sf: "A es el conjunto de los X tales que X ti ene la propiedad P!", Y s e 10

escribe

asf:
A

= tX \

tiene la propiedad

P},

(1 )

mediante "tales

dos sfmbol os : Llaiies

junto de los" antepuesta

que". (1)

(}, que se lee can la frase "cona su contenido, y berra que s e lee

I,

Par ejemplo, el conjunto par c ornp r ens l Sn as f: Z =

tx \

Z de los mirrie r-os enteros se designa X es un mirn er o entero}.

f. Al dar par estos se escriben el orden elegido, eso diremos que

extension un conjunto (a, b} de dos elementos, en un cierto orden. Pero, cualquiera que sea el conjunto es el mismo: [c, b} = (b, a}. Par [c, b} es un par no ordenado ,

Per a a veces interesa e1 orden en que se c on.si d er a n los elementos a, b, y tenemos los pares ordenadoet (a, b) de primer elemento (b, a) de pr-ime» elemento que son diferentes: En general: a y segundo b y segundo si a :j. b.

elemento elemento

b,
a,

(a, b) :j.' (b, a),

(a, b)
Par

(ai, b')

si,

y solo

s i, a

al

yb

b'•

ejemplo, (a,

b)

(2, 3)

s i, y

s610

s i, a

3;

en cambia

{a, b}
si

(2, 3}

2Yb

3, Y te.rnbi en si

3y b

2.

g. Se llama produeto oaeteeiano del conjunto A par el conjunto B, y se indica A X B, el conjunto de los pares ordenados (a, b) tales que a e: A y b e B:
AXB

[(a, b) a e: A

b c BJ.

Por

ej ernpl.o,
A

si A = [{a,p},

[c, b, e}
(a,q),

B = {p, q}, (b,q),

es (e,p), (e;q)}.
X

(b,p),

Conviene
tabla

escribir

los elementos
(inferior (a,q)

de este conjunto A
a sf:

B en una

de doble entrada Elementos de B

e izquierda), (b,q) (b, p) b de A (e,q) (0, p)

{~

(a, p)

Elementos } de A X B

Elementos

T'arn bi en puede repres entars e graficamente grama como el de La figura 1.

A x B por un di a-

)( B

4
a \
b c~ v,....-_...J A Fig.
1

A x B se repreeent:a (Fig. 2) par paralelas a esas rectas, trazadas segmentos. Los elementos a de A y b de B ee »epreeentan par puntos de los respectivos s egmentos, y la i nt e r s ec c i Sn de las paralelas a los ejes trazadas par elIas, representa el elexnento (a, b) de A X B.

Mas generalmente, el metoda de las coordenadas cartesianas conduce a idear un diagrama del producto cartesiano A X B para conjuntos A y B cualesquiera (no necesariamente conjuntos de puntos): los conjuntos A y B ee representan por segmentos de dos rectas perpendiculares entre sf, y e1 producto cartesiano el r ect angu lo limit ado por las por los ext r erno s de aquellos

--.

- - --I"". --1,1-------'
,
\. I

I ,

I I

(a

'

b) Fig.

AXB

la

-v-__ ..JI
A

Sean A y B dos conjuntos. Si entre los pares ordenados (a, b) de A X B s e consideran los que verifican una c ondi ci Sn 0 propiedad P, se obtiene un subconjunto RcA X B. Tal c ondi ci Sn P aplicada a un par ordenado (a, b) exp r e s a 10 que en 1enguaje

h.

o r di na r i o se llama una r el aaion entre a y b. Por ejemplo, si A = = [1,2,3} yB = [2,3}, Ia c ondrc Ion (relacion entre ayb) "aes menor que bll, aplicada a los seis pares ordenados (a, b) de A X B da el conjunto R
=

[(1,2),

(1,3),

(Z,3)}

A x B.
E:

La condi c i on Iia es rn erio r que b" equiva1e a (a, b)

R.

En Mat e rnat ic a es usual identificar el conjunto R con la relacion, y definir una »elacion como un subconjunto cualquiera de un producto c a r t e s i a no:

Se nama relaeion de A en B a todo del. produato car bes iano A x B.

Definicion. En lugar de (a, b)
€

subcoruiunto R

R escribiremos

t arrrbi en aRb,

que se lee:

"a e s ta en la r el a ci.Sn R con b":

Una r el aci Sn de A en A se llama

»elaeion en A.

1
PRIMER ENFOQUE DEL CONCEPTO DE NUMERO Y SUS AMPLIACIONES
1•

El NGmero Natural

1.1 Durante la mayor parte del siglo XIX, pes e a habers e generalizado de modo mas 0 menos informal las ampliaciones del concepto de nurne r o para obtener a partir de los nfim e r os naturales (a)
0, 1,2, 3, ... (1 )

clases cada vez mas amplias de nurne r os (enteros, racionales, reales, complejos, ... ) se t erria el concepto de numero natural: por algo tan simple y trans parente a la mente, que pa r e cIa imposible a na l i z a r lo 0 referirlo a otros conceptos mas simples. Este estado de cosas se refleja en la af'ir m.ac i on de L. Kronecker (1823-1891): "Dios c r e o los nurne r c s naturales; 10 derria s es obra del h orribr e'! .

1. Z Para indagar
no basta

el significado dar su conjunto N = [0,1,2,3,

de los nfirn e r os naturales

(1),

•..

(2 )

que solo par "abus o de not acd Sn" indicamos a sf, por errurne r a c ron (veas e 0.3 d), ya que se trata de un conjunto i nfi ni.to , Es preciso considerar estos nurneros tal como se pres entan en (1), ordenados en una euoeeion, en Ia cual podemos s efia.Ia r de manera informal e intuitiva estas caracterlsticas: (a) Se parte de un elemento especial, 0;

(b) la suc es i.Sn no termina

nunca ni se rarnifica;

(c) tampoco se cierra sobre slmisrna (como ocurre, por ejempl o, con los nurne r-oa de La esfera del r eLoj, en los cuales a 12 sigue el rnim e r o 1 de partida);

(d) La s uc es i Sn no tiene "puntos de confluencia", gun elemento sigue inmediatamente ados distintos;

es decir,

nin-

(e) no hay nurn er oa naturales "intercalados entre" los de la suc esi Sn, ni excluidos de ella: partiendo de 0 y pasando reiteradamente al elemento siguiente, se obtienen todos los nurn er os naturales. Precisamente estas caracter1sticas condujeron a R. Dedekind y a G. Peano (3) a fundamentar el concepto de mirne r o natural en cinco a xi orrias , a partir de los cuales se estudian sus propiedades, operaciones, etc. De esto trata el capftu.lo 2. 1.3 Otro rn et odo de llegar al mismo resultado, G. Cantor (1845-1918) y F.L.G. Frege(l848-l925), nado sobre todo por B. Russell (n. en 1872), sebasa ooordinabi.l.idad de conjuntos. originado en yperfeccioen La idea de

Preguntemosnos: lHay aqu{ tantos asientos como perosonas? Un modo de averiguarlo es conta» los asientos y contar las personas. Si los resultados son iguales, 0 sea, el mismo mirn.e r o, l a respuesta es: si. Si los resultados sondiferentes, la respuesta es: no. Al proceder as} hemos 1ogrado una informacion mayor que la necesaria para responder a la pregunta, a saber: e1 nfirn er o de pers oria s y e1 nurne r o de asientos. Hay otra manera de responder a la pregunta: pedir que cada persona se siente en un asiento diferente. Pueden ocurrir tres casas: (a) No quedan personas (b) no quedan asientos de pie, pero sl asientos desocupados, desocupados; de pie;

pero S1 personas

(c) no quedan ni personas

de pie ni asientos

desocupados.

Solo en el caso (c) Ia respuesta es: si. En este caso diremos ta rnbi en que el conjunto de asientos y el de personas son coordi»

nabl.ee,
Este segundo rn et odo nos muestra que el concepto de coorodi0 sea de tener el. mismo nUmeroode elementos puede darse independientemente del concepto de nWneroode elementos. En esta ob s e r va ci Sn s e basa precisamente el rn et odo de Cantor -FregeRussell: en Iu gar de ut.i Ii zar el nurn er o para verificar l a coordinabilidad, se utiliza la coordinabilidad de conjuntos para definir el mirne r o:

nabi.l-idad

Se Ll arn a nianero cardinal de un conjunto conjuntos coordinab1es con C. (4)

C a la

clase

de los

1.4 No p r os egui r erno s con el rn et.odo de coordinabilidad de conjuntos, pero s ena l erno s que se aplica tarnbi en a conjuntos infinitos. Cons i de r erno s, por ej ernp l o, el conjunto N de los nUlTIeros naturales y e1 conjunto P de los nurn e r os naturales pares. <.,Tienen estos corujuntioe Ny P el: mismo numero de elementos? De los dos rnetodos s eguidos en 1.3 para responder a una pregunta silTIilar, s6lo es aplicable ahara el segundo. Not ern os que a cada nfirrie r o natural n se Le puede asignar 0 hacer cor responder su doble 2n, que es par, Y COlTIO esta rna.ne r a de se obtienen todos los mirn er os naturales pares, una vez cada uno,

los oorujuntioe

son coordinabl.ee ,
siguientes a nuestra pregun-

Corrs i d e r-ernos las dos respuestas

ta: (R1) N tiene mas elementos que P, pues todo nfim e r o natural par es un nfim er-o natural, pero hay nfirn e r os naturales que no son pares;
(~) N .If P

tienen

el. mismo

~ numero de

elementos

porque

son

coordinables.
<.,Cualde estas respuestas es la correcta? Depende de la conv eric i Sn que s e adopte. La c onvenci.Sn que ha resultado muchfstrno lTIaS conveniente y fructl£era, y se adopta en Mat erna ti.c a., e s la que conduce a la respuesta (Rz) •

~'J~\p'\ C\, A-----Fig. 3

B

! i~,
,

I I

I ,\\

I I\\

.,0 , ,,
11'\

I,,\

,\ \ I\ \

?>'
\
\

C
Fig.

D
4

'B
Fig. 5

<., Tienen los s egmentos AB y A I B I de la figura 3 el mi srno rn e r o de puntas? 51, porque estes conjuntos de puntos son coordi.nabl es , COlTIO puede verse de dos rn a.ner a s diferentes proyectando

nu-

un segrnento sobre el otro desde un punto 0 conveniente. Como tal, puede elegirs e la Lnte r s ec ci Sn de las rectas AA' Y BB' (Fig. 4) 0 la i.nt er e ec ci Sn de las rectas AB' y BA' (Fig. 5).

2.

Numeros

Enteros.

Construcci6n

de una Escala

2.1 Supongarnos definida la suma de nurnerosnaturales (sehara en el capitulo 2-5.1). Se define entonces la difecencia 0 resta como op er a ci on inversa de la suma. Calcular 5 - 3 es hallar un numero que sumado a 3 de como resultado 5. Entonces: 5 - 3 = 2 pueetio que 3 + 2 ;::5, y en general:

a - b = c significa que b + c ;:: a.

(3 )

conjunto

En c arn bi o, Ia diferencia 3 - 7 no puede efectuarse en N pues no hay ni ngun nurnero natural que surnado a 7 de como resultado 3. Luego: La operaaion de res tar no es siempre posible en el

N de los numeros naturales.

10

Esta dificultad conduce a a:mpliar el conjunto (2) de los nurneros para que la resta sea siempre posible. Para ello seintroduce, para cada ntirne r-o natural a, el ndmero negativo - a, llarnado opueetio de a, ampliando a La vez Ia definicion de surna mediante esta c orrvenc'iSrr;

PI'opiedad del nUmero opuesto:

(-a) +a

(-a)

paratodoa.

(4)

Par ejemplo, - 4 es, por definicion, 4 da O. Es - 0 ;:: 0, pues 0 + 0 ;:: O.

el mirne r c que surnado a

La diferencia 3 - 7 es ahora calculable, y s e t.i en e 3 - 7 pues 3 - 7 surnado a 4 da como resultado 0: (6)

4

- 4,

(3 - 7)

(4

3)

"" O.

Con esta arnpl ia ci Sn obtenemos

el conjunto

Z de los numeros

ent eroe:
Z ;: {... , -3, -2, -1, 0,1,2,3, ...

(5)

2.2 Mediante una regla y un triangulo (no necesariamente rectangulo como en ei caso de la escuadra) se pueden trazar paralelas. La figura 6 muestra como s e traza la paralela a una recta r por un punto P deslizando un triangulo sabre el borde de una r egl a, (6)

Fig.

Fig.

Los nUITleros enteros pueden repres entars e por ciertos puntos de una recta, en la cual se han elegido dos puntos cualesquiera distintos a y U para representar los numeros 0 yl respectivamenteo La figura 7 indica COITlOse construye La eeoala meta-ica paT'a Z rn e di a nt e una regIa y un triangulo, es decir, usando solamente las relaciones de incidencia entre puntos y rectas, y el paralelisITlO. Se pas a del punto que representa un nfirne r o entero al que representa al nUITlero siguiente 0 precedente m edi arite una "cadena" de dos pa r al el o g r arnos con un lade c ornfin, a partir de un par a.lel og r arno que tenga al s egm ent o au COITlOuno de sus Ia do s , Por ej ernp lo, el "punto 2" (0 sea, el punto que representa al nurn e r o 2) s e de t e r rrri na rn e di a.nt e Ia cadena de pa r a.Ie Io g r arno s OUBA, BAU2. Los puntos y Use Haman, respecti varn ent.e, or-iqeri y punbo de La eecal.a metT'ioa para Z 0 eje de abeei.eae para Z. Una suma aloebraioa, COITlO

11

unidad

2. 3

1-3 se reduce opuesto: I Los sumandos de (7),

0

4 por

(6) su niirn e r o

a una

suma sustituyendo

cada sustraendo

+ (sea,

3) los

4.

(7 )

ntim e r oa

1, - 3, 4, se Haman terminos de Ia SUITla algebraica (6). Una escala ITletrica para Z facilita mucho el calculo de estas SUITlas a l g eb r ai ca s ,

imaginando que c a.da h~rmino indica un movimiento que en el primero se parte del origen O.

en la recta,

En la suma algebraica ,(6), el primer termino nos lleva al punta El segundo t er rrrin o, - 3, indica que hay que retroceder 3 unidades desde donde e s t ab a.rnos ; asi'llegamos alpunto - 2. EI tercer t er rrrino , 4, indicaavanzar4unidades, 10 que Il eva a l punt o Z (Fig. 8).
1.

Conclusion: 1-3+4=2 y las sumas a l geb r a.ic a s calculadas sucesivamente Son: 1- 3 = -2, -2

~2~

---

Fig.

+4

2. y Operaciones
Enteras

3.

Escalas

Concurrentes

12

3.1 Supuesta definida la rrrul ti p Ii c a ci Sn en N, 0 entre rrurrr e r os naturales (vease capi'tulo 2-5.2), la definicion se arrip lfa a los riumeros enteros mediante la conocida "regIa de los signas". Esta r egl a es aceptada por los estudiantes con curiosidad no exenta de dudas y resistencias, especialmente en el caso ilustrado por:
(-5)
X

(-4)

20 como esta:

(8 )

que suele ju s ti fi c a r s e mediante

una argumentaci6n

Si he gastado 5 pesos par dfa (- 5), lcuanto mas que ahora nfahaae 4d{as (-4)? Terua20pesosmas;"luego",(-5)x(-4}=20.

te-

Para introducir la regIa de los signos sin ap el a r a "razonamientos" como este, es necesario asimilar el concepto de nurn e r-o en un nivel estructural. 3.2 Definicion. Doe esoalae para Z ee LLaman aoncu:lTentes ei. de Lntereeooion ee or-iqen de

eetan en rectae ambae (Fig. 9).

eeoantee y el.

punto

Para evitar arn b ig iie.da.des , escribiremos en caracteres arabigos y r oma no s , respectivamente, los nurn e r os de las es ca.La s El yEa. Mediante un par de escalas Concurrentes Se puede efectuar georn et rd carn ente la mul.tipZicaai6n de un entero por ot r o, con

Fig.

9 trianguZo

Fig.

10

»eqla

des de incidencia

es d eci r , can el solo recurso de las propiedaentre puntas y rectas, y del paralelismo.

Para hallar el producto 3 X 2 se traza la recta 13 y luego su paralela par II; es ta determina en la escala E1 el producto 3 X 2 :;::6 (Fig. 10, Hriea.s llenas). Para h a Il a r el producto 2 X 3 se traza la recta 12 y luego su pa r a.lel.a por Ill; esta paralela determina en l a escala E1 el producto 2 X 3 = 6 (Fig. 10, l{neas punteadas). La figura 11 indica la construcci6n del producto (- 3) X (- 2):;:: 6; la figura12 rnu e s t r a La c on s t r uc c i dn del producto 3 X(_ 2) -6 [l fne a s llenas) y del producto (- 3) X 2 6 [Lfne a s punteadas). (7)

13

=-

E2

-I

x
Fig. 11.

(-2) (-3)
X

X (-2) (-2) :;:: 6. Fi g. 1 Z • Punteado 3 X (- 2) (- 3) X 2 =

=-

6. - 6.

3.3 Las operaciones de euma; »eeta y mul.tripl-icaoion se Haman operaeionee enteras. El nombre se debe a que son siempre realizables en el conjunto Z de los niimeros enteroe , aunque tambien 10 son en otros conjuntos mas amptios que hemos de consider a r, a saber: Q (niimeros racionales), R (reales) y C (complejos). (8)

3.4 Construidas (con regIa y triangulo) dos escalas concurrentes para Z, se pueden efectuar(tambHmconreglaytriangulo)todas las operaciones enteras. En la figura 13 se ef'ecttia geometricamente este calculo: (1 - 3 + 5)
X

(-2)

+1

(-2)

+1

-6

+1

==

-5.

Fig. 13

lA

4.

Numeros

Racionales.

Arnp Ha ci Sn de la Escala.

Densidad

4.1 (Confr6ntese 2.1) Supongamos definida la muZtipHcacion de nfim er os enteros (vea s e 3.1,3.2 y c apftulo 3-5), Se define entonces la division como ope r act Sn i nve r s a de la rn.ultf pli c ac i Sn, Calcular 12: 4 es hallar un mirn e r o que multiplicado por 4 de Como resultado 12. Entonces: 12: 4 3 pueeto que 4 x 3 = 12, Y en general:

a:b

significa

que

a.

(9 )

En c arrib i o, Ia divisi6n 3: 7 no puede efectuarse en Z, pues no hay un nfirn e r'o entero que multiplicado por 7 de como resultado 3. Por 10 tanto: La operaeion de dividir no ee eiempre poeibl.e en el:

conjunto Z de los nUmero8enteros.

Esta imposihilidad conduce a ampliar el conjunto (5) de los nfimeros a fin de que Ia division po» un divisor no nulo sea siempre realizable. Para ello se introduce, para cada nfim er o entero a no nulo (a :J. 0), un ntirn e r o Il.arnado inuereo de a, ampliando a Ia vez la definicion de rriu.Lti Ii c ac i Sn, mediante p este convenio:

i:,

FTopiedad del nUmeroinverso:

1 a
x

1 a

= 1 para

todo

a:J.

O.

(10)

La op e r a ci Sn 3: 7 es ahora 3: 7 pues el mirne r o 3

(3

realizable

y se tiene:

3 X ~ (que se denota por-¥) multiplicada

X

x~,
X ~)

par 7, da par resultado

3: (9)

3X

(t
1

7)

(por (lO))

3. a -(3
X ~),

Ane.l ogarn ente , 3: (- 2) = 3 designa- ~.

x_-t,

que es igual

Y se

Con esta arripl.i ac i Sn obtenemos

el conjunto

Q de los

mimeroe

raeiona "lea.

(10 )

4.2 Una escala rn et r i c a que representa a Z (vease 2.2) puede ahara arn pfi a r s e a fin de representar cualquier mirn e ro raeional , con 10 eual se obtiene la eeoala metl'iaa oorneepondi.entie a Q. Esto puede hacerse mediante dos unicos instrumentos geametricos: req la y tl'U1.ngu"lo, es decir, recurriendo solo a las propiedades de inc i.denc i a entre puntas y rectas, y al paralelisma. (11) Para ella se construye antes otra escala para Z, concurrente can la dada.
La figura 14 muestra c6ma se determina en la escala El el punta representativo del numera~. Una vez trazada la recta III 1, su paralela par I determina en la es ca Ia El el punta buscado. La figura 15 indica la c ons t r-ucc.iSn de una parte de Ia escala rn et r i ca para Q, a saber, la de los rrrul ti pl.os de~. Fig. 14

15

Fig.

15

-..i.

-1

- .1_
3

~
de

"3

3"

4.3

pl.icaeion

(Confr6ntese y division

3.3) Las operacianes se Haman operaeionee

suma, »eeta, muUiEl nombre

raeionalee,

s e debe a que son siempre realizables en el meros raeionalee (con 1a unica r ea t r-i c ci Sn el caso de la ultima), aunque t arnbi en 10 son ampl.ios que hemos de c ons i de r a r , a saber: C (complejos).

conjunto Q de los nude divisor no nulo en en otros conjuntos mas R (mirn er os reales) y

4.4 Construidas (con regIa y t r i arigul o ) dos escalas rn e t r'i c a s concurrentes de Q, s e pueden efectuar (tambi en con r e gl a y t r i a ngulo) todas las operaciones racionales. En Ia figura 16 se ef ec tfia g eornet r-ic am ent e La di vi s i Sn de por ~: s e traza Ia recta que une los puntas de l a escala El y ~ de la escala E;:l; su pa r a l eIa por I d et e rrn i na en El el punto buscado -i. Se llega al rni srno resultado multiptiaando l pOl' La fraaaion inversa del divisor (Fig. 16,11neas punteadas).

16
Fig. 16.

£-: ~

=~.

Lfneas

punteadas,

X~

4.5 Dados dos num e r os raciona1es p y pre hay otro num e r o racional r tal que p < e sta entre p
y

q tales quep<q, s i ern r < q. Di r ern os que r

q.
si p y q son racionales, 10 es ta rn bi en el mirrre r o

En efecto,

p ; q. Este mi rn e r o e at a representado (Fig. 17) par e1 punto rnedlO del segmento pq. En ef ec t o, es facil ver que q - r == r - p.
p
I

q
q-r~
I

'-E.--

r -p Fig.

I ~I~

17

Fig.

18

tre p y r hay un racional p Y r1 otro r3, etc.).

Como cons ecuencia: Entre dOB moneroe raoional.ee distintos P y q hay otro rdonero raeional: r, y pOI' tanto infinitoB (pues enr1, figura 18, entre

y q otro

ra,

entre

La propiedad do que 81, aonjunto 'La l"elaeion < •

que acabamos

de demostrar

s e expresa
8S

dicien-

de 'los nwn8ros »aaionalee

denso respeato

de

Intuitivamente: en cualquier segmento de la escala rnet r ica para Q, por pe qu e fio que sea, hay infinitos puntos que representan nurne r o s racionales. 0 sea, estos puntos ttse acumulan" en todas partes.

4.6 Por ser denso el conjunto Q de los numeros racionales, todas las magnitudes medibles de que se hace uso en la pr ac ti c a y hasta en la ciencia aplicada pueden s er expresadas mediante estos con suficiente grado de apr oxi.mac ion, La precision de los mas perfectos instrumentos de medida no nos puede obligar a salir del campo de los niirne r os racionales.

5.

Niirne r os Irracionales. 5. 1 Puesto

Aproximaciones

Decimales

de ver, los puntos de la eela recta (es de c i r , en todo segmento, por pe qu efio que sea, hay infinitos puntos de esa escala), po dr Ia pensarse que la escala racional comprende todos los puntos de la recta. Pero no es as(: no obstante su de ns i dad, los nWneros »aoionalee no agotan 1.08 puntioe de 'La »eota, Para comprobarlo observemos que todo nurne r o racional ~ , al efectuar la division de m por n en el sistema decimal, se expresa: que, como acabamos

oala

»aoional cubren

densamente

17

(a) 0 bien como fraaaion decimal: 0 nurne r o "decimal. si se llega a un resto cero, par ejemplo, 0,2;

finito",

0,375 ;

(b) 0 bien como expree-ion. decimal- per-iodioa, En efecto, si al dividir m por n no se obtiene nunca un resto cero, puesto que los sucesivos restos son todos menores que n, Uega un momento en que uno se repite y, a partir de el, s e repiten las cifras del cociente. Ejemplos:
S
4

1,333 ...

= 1,3;

~=

0,142857

142857 .•. (es

= 0,142857.

Por consiguiente, un decimal. infinito c if r a s ] no pet-iodioo , como

de c i.r , con infinitas

12:=:

1,4142 ...

(11)

no puede representar un nurrie r o racional. A estos nurrie r-os los llamamos irracionaZes. La denominacionllirracionalll proviene de la imposibilidad de repres entar el riurrre r o como razon de dos enteras. La figura 19 rnuestra dada una es cala rne t r i ca de puede determinar con regZa pas (12) un punta de Ia recta pertenece a tal es cala.

como,
se y comque no
Q,

5. 2 Can 10 dicho en 5. 1 queda

que todo decimal infinito no periodico representa un nurne r o irracionaL Esto basta para demosprobado trar la existencia de infinitos numer as irracionales. Pero nohemos probado que el decimal (11) que exFig. 19 presa 12 sea un decimal infinito no pe r iodi co , Por ella demostraremos directamente que:

18
e s ta

12
Par ser

es un nu rne r o irracional. cuadrado es 2)

entre 1 y 2 y, par tanto,

12 < 2 y 22 > 2, el mirrie r o 12 (cuyo no es ent e r o ,

Si

12 no fuera irroaeional., t endr Iarno s

12=

.s.
n

( 12)

s iendo my n enteros positivos y nf 1. Podemos suponer a dernas que m y n son primos entre sl, pues de 10 contra rio r e duc i.r-Iarno s Ia Er ac ci.on dividiendo ambos te rrntno s por su maximo cornun divisor. De (12) se obtiene: 2=
-::2",

m2

de donde

m2

2n 2 .
2

(13)

Pero si m y ri son primos entre sl, tambieri 10 son m y n2, en cont ra.di ccton con la igualdad (13) s e gtiri la cual ma e s multiplo de n2, es de c i r , ambos tienen el divisor cormin n2fl. Entonces, la s upo s i cion (12) conduce a una c ont r adi cci on , y es par tanto falsa. En consecuencia, 12 es irracional. 5.3 La existencia es 10 mismo expresando mero, la existencia de de segmentos inoormeneurablee, 0 10 que la longitud de cada segmento por un nunWneros irracionaZes, fue descubierta par

los griegos posiblemente en el siglo V a. de J. C. (escuela pitagorica). Este des cubrimiento es un acontecimiento c i errtffi co de gran tras cendencia, que deja profunda huella en la ma ternati ca y la fiIo soffa des de entonces hasta hoy. La t eo r ia de los inconmensurables de Eudoxo (408-335 a. de J .C.), expuesta en forma geomet r i ca en los Bl.emenioe de Euclides, es una obra maestra de la matematica griega, no debidamente apreciada hasta la segunda mitad del siglo XIX, de spu e s que R. Dedekind, F. L. G. Frege, G. Cantor y K. Weierstrass construyeron una t eo r Ia rigurosa del mirne r o real. 5.4 Gracias a La densidad del conjunto Q de los numeros racionales (4.5), todo nurne r o irracional se puede expresar por nurrie r os racionales con tanta ap r oxirn ac i on como se qu'ier a , Por ej errrpl.o , el nurne r o irracional 12 dado por (11) se aproxima indefinidarnente por los nfim e r o s racionales expresados po r decimales finitos: 1; 1,4; 1,41; 1,414; 1,4142; ... En general, los decirnales infinitos terrninos del concepto de aproximac-idn, se pueden interpretar en

Definicion. Se ttaman aproximaaiones deaimates> at entero> at decimo> at aentesimo de un roImero en loma decimaZ a t08 decimaie8 finit08 que 8e obtienen con8iderandO sus cifras:enteras, ha.sta el:decimo> haeta el:eentieeimo, ••. »eepeetriuameni:e,
J •••

aaao

19

Ejemplos.

Aproximaciones -1 ; -1; -1; - 1; -1; Convergentes.

decimales 3, 3; 3, 3, 3, 18; 1; 18; 18;

de los mirne r os : 0,333 ... 0' 0,3; 0,33; 0,333.

Al Al Al Al

entero: decimo: ce nte sirno: rni le s irno:

0,3.

6. Sucesiones

Nocton de Numero en el sistema

Real puede con-

6. 1 Todo numero a, escrito cebirse como una euceeion

decimal,

( 14) de decimates finitosJ que son sus aproximaciones decimales al entero, al de ci.mo, al centesimo, etc. Esta s uce s ion tiene la p r opi.eda d de que si el mirne r o a tiene r d{gitos antes de la coma decimal, los primeros r + h d{gitos de las aproximaciones

son los mismos. s u ce s ion (14) es

Por ejerrrpl o, s i a = 10

TI

==

31,41592

...

la

ao = 31', a 1 = 31, 4,' a2 = 31, 41,' a~ = 31 , 41 5'• a 4 - 31 41 59 .' '" -,

y los prirneros

••.

2+ 3

5 d(gitos de todas las aproximaciones

son los mism.os:

los del decim.al finito 31,415.

6.2 Para el decimal i nf i n it o 0, 999 ••• =: 0,9, con todos sus dfgitos iguales a 9 desde el segundo en adelante, Ia su c e s i ori (14) de sus aproximaciones de cirna l e s e s 0; 0,9; 0,99; 0,999; 0,9999; ... ( 15) (par de-

Pero esta es t a rnb i e n una sucesion fecto) de 1, con errores: I-

de aproxirnaciones

°=

1; 1 - 0,9 = 0,1; pues,

1 - 0,99 == 0,01; en poner: = 0,

1 - 0,999

0,001; ...

20

Convendrernos,

0,999 ...

'9 =

1.

( 16)

Mas generalmente, convendremos en que un decimal infinito con todos sus dlgitos iguales a 9, desde uno en adelante, s e ident if'i ca con el decimal. finito que resulta de el suprimiendo esos dfgitos y aumentando en 1 el que precede al prim.ero de ellos. Por ejemplo: 4,59 6.3

=
0

4,6;

-6,

7'9 =

-6,8;

1,989

1,99.

Definicion provisional.

decimal. finito

L'lamaremoe nWnero real. a infinito, positivo, nul.o 0 negativo.

son mirn e r os reales: 0; 1,333 ...

todo

Por ejemplo, 0,02; Los cuatro

-3,5; primeros

1,3;

35,45678 ...

son racionales: 0' ,

3;
4

rto;

del quinto no podemos afirmar si es racional 0 no; en caso de ser decimal infinito no p e r iod i co sera seguramente irracional.

6.4

Una s uce s ion de nurn er os »ealee (17)

se llama oonuerqeni:e si esos mirne r os pueden escribirse enforma decimal de modo tal que, dado un entero positivo cualquiera 11;, todos los terminos de la s uc e s ion des de uno en adelante tienen los mismos primeros 11; d(gitos, en la misma posicion con respecto a la coma decimal.
T'o da s u ce s i.ori convergente (17) determina un unico nurn er o real a. Este es el dado por el decimal que, para cada 11;, tiene por 11; -esimo d(gito el 11; -esimo d(gito de todos los elementos de la suc es i on desde uno en adelante. Este mirn ero real se llama l-tmite de la auc e s i on (17), y se escribe:

a=
que se lee: "lImite

lim an,
n .... co

de an cuando n tiende al infinito".

6. 5 Ejemplos
(i) La s u ces i.on (14) de aproximaciones decimales deunnumero real es una su ce s ion convergente (vease 6. 1), y su Hrrrit e es ese nurrre r o real. (U) La s uc es iori (15) es convergentey su Hrn it e es 1. Es tambien 1a s uc es iori de aproximaciones decimales de este mirn er o, escrito en la forma 0,9" (vea s e (16». (iii) 1; La s uc es i.cn 0,9; 1; 0,99;

21

, l'

0,999;

1; ... en la forma: 0,99 ... ; ... 0,9 = 1.

es convergente, 0,99 ... ;

pues puede escribirse 0,9; 0,99 ... ; :: 0,9. 0,99;

por ser 1 :: 0,99 ...

Su lImite es 0,99 ...

6,6 A partir de las definiciones de 6.3 y 6.4, se pueden definir las operaciones fundamentales con los num er-os reales. Comencemos por las operaciones enteras (suma, resta y rrruIt ip Ii ca c ion , vea s e 3.3). Sean a y b dos nurrie r c s reales dados par sus sucesiones de aproximaciones decimales: las sucesiones (14) y b2,
•••

( 18)

respectivamente, demostrar que

t a rnb i en

que son sucesiones convergentes (6.5). Se puede son convergentes las sucesiones ( 19) (20) b2, (21) que ee l.laman:

Sus Hrrrit e s son ciertos

8U17Ia

numeros

reales

a
a a

y produato de los nurne r o s reales

diferenaia
a
y b,

+ b, b,
•b

respectivamente.

6. 7 Consideremos ahora Ia division de un nurne r o real-a por otro b , no nul-a (b =/- 0). Puesto que es b =/- 0, sus aproximaciones decimales son no nulae desde una en adelante. Por ejemplo, si b == 0,002, sus aproximaciones decimales son:

22
y entonces

0,002; es bn

:f

0 para todo

n ~ 3.

Suprimiendo entonces un nurne r o finito de terminos de la sucesian (18), queda una nueva su ce s ion , tarnbi en convergente, can el mismo lImite b, y can sus b~rminos todos no nul-as, Ll.arnerno sIa

b~,
Se demuestra cientes: que t.a rnb i eri es convergente Ia su c es i on de co-

•••

(22)

y su li'mite es un nurn e r o real

que ee Llama

oooientie a/ b
de dividir el nurrie r o real a par el nurne r o real b.

6.8 Las definiciones dadas en 6.6 y 6.7 se basan en la convergencia de las sucesiones (19) a (22), que no hemos demostrado. Por otra parte las consideraciones anteriores, s i bien podrlan

completarse en forma rna.t ern.at i carn erit.e i no bj et ab l e , tienen el inconveniente de basarse en un particular sistema de nurne r ac ion y no en pr opi eda de s estructurales de los distintos campos nume r l.-

cos.

En el capitulo 4 veremos

enfoques mas generales,

sin este

defecto.

23

2
EL NUMERO NATURAL
1.
Sistemas Deductivos y Axiomas

1. 1 En este capitu lo p r e s errta.rern os la t eor Ia del nurne r o natural en forma axi orna tt ca , es de c i r , como sistema deductivo. Re co r derrio s , pue s , brevemente, que es un sistema deductivo. 1. 2 Una teo r Ia c i eritffi ca no es un simple ca.ta.Iogo 0 lista de proposiciones. El conocimiento ci.e.nt'if co se alcanza solo cuando i nuestras proposiciones se estruatul'an de modo sistematico, de suerte que po darrios advertir sus rnutu a s relaciones.
Ahora bien, i,que relaciones rnutua s importa percibir?; i,como se estructuran las proposiciones de .una disciplina c i eritift ca ? En una ciencia, algunas proposiciones se pueden deduoi» 0 demoetirar a partir de otras: por ejemplo, tanto las leyes de Kepler sobre el movimiento de los planetas como las de Galileo sobre la cafda de los graves pueden deduc-ir-ee de las 1eyes generales de Ia Dinarnf ca y 1a ley de gr av'ita cion de Newton; la r el.aci on mutua entre estas leyes es una parte de Ia eiencia f{sica. Una dis ciplina mat.ernati ca s e estructura en un conjunto de proposiciones Ll arria da s teol'emas, cada uno de los cua1es ee deduce de otros anteriores. De aquf e1 nomb r e de sistema deduotrioo apl'icado a una teorla rna.temat.i ca estructurada logicamente.

25

1. 3 Puesto que para demostrar una pr opos i ci.cn 0 teorema hay que partir de otras proposiciones ya establecidas, siempre hemos de tomar unas propoeieiones aomo pr-imerae, que hay que aceptar sin derrios tz-aci on. No es que exista en una t eo r Ia rna.terna ti ca alguna p r opo s i c i ori que no pu eda demostrarse apartir de otras, sino que no pueden demoetiraree TODASELLAS a la vez. pu e s por fuerza ha de partirse de a1gunas (que acaso pue dari elegirse de va r ia s maneras posibles). De igual modo, los teoremas de la t eo r ia enuncian propiedades de ciertos objetos 0 entes ideales, algunos de los cuales podr-an definirse mediante otros, pero ta.rnbi eri es forzoso partir de ciertos conoepboe pl'imitivos u objetos pl'imitivos, como

"conjunto", "numero", "punto", "recta", etc. Entre los conceptos primitivos puede haber predicados 0 atributos de relaciones y operacione s primiti vas tales como" s ig", s iguiente a; "IS", pertene ce a; "e", incluido en; etc. (13) Los conceptos primitivos y las p r-o pos i ci.orie s primitivas se r eune n en un sistema de axiomas 0 poetu ladoe que definen el sistema deductivo, constituyendo a la vez la base sobre la cualse demueetran los te or erna s y se elaboran los conceptos no primitivos de la teorla.

2.

Axiomas de Peano

2. 1 Ya h ernos dicho en 1-1. 2 que para precisar el significado de los mirne ro s naturales no basta dar su eorujunbo N = [I, 2, 3, .o.}, sino considerar estos numeros ordenados en una sucesion 0, 1, 2, 3, .,. y s efia Ia mo s de manera informal las caracterlsticas al sistema de axiomas de Peano. que conducen

26

Al pres entar los axiomas de Peano como propoeioionee prime0 primitivas de un sistema de duct ivo , s e t i.erre que partir de ciertos oonceptoe primitivos (vease 1. 3) que aquf son los tres siguientes:

ras

(a) Un oorujunto rales" ;

N, cuyos elementos

se Haman "rnirne r os natu-

(b) Un objeto mat.emat ic o l larnado s Irnb ol o "0";

"cero"

e indicado

par

el

(c) Una relaeion en N, denotada par la frase a par el sfrnbo lo "sig".

"es siguiente de"

Dado un elemento X del conjunto N (0 sea, un rnirner o natural x), un elemento de N que este en esta r el.acion con X se Ll arna r a "siguiente de z'" y se anota r a "sig(X)". (Naturalmente, las expresiones anteriores no implican asignar s eriti do intuitivo alguno a la r eIa ci.on indicada por "sig"; esta es una rel.acion primitiva.) 2.2 Los conceptos primitivos (a) a (c) se vinculan entre sl por siguientes proposiciones primitivas, llamadas axiomas de

las

Peano : (3)

Axwma 1. si objeto
(0 sea:

a (eero l pertienece at ~onjunto

)

N: 0 e: N.

0 es un nurrie r o natural.

Axioma 2. Si X € N, e:x:iste y es unico sig(x) e: N. da numero natural corresponde un nurne r o natural guiente de el, unlvocamente determinado. ) (14) Axioma 3.
guiente

(0 sea: A caHamado si-

Para todo x e N es sig(X) Si sig(x) = sig(Y),

no puede ser

O.

(0 sea:

a no

es si-

de ningun nurri e r o, )

Axioma 4.
nurn e r o natural

enioncee

siguiente

(0 sea: de dos distintos. ) {15}

X

= y.

Un

Axioma

5.

Si

es subooruiunto de
(i) (ii)

N (C eN)

y verifi~a:

e C;
=>

x e: C

sig(x)

e: C;
naturales cumple estas

enton~e8 C

N.
C de numeros

(0 sea: Si un conjunto dos condiciones:

(i) 0 pertenece a C; (U) Si un nurne r o natural tarnbren su siguiente entonces, C. ) (16)

pertenece pertenece

a C, a C; al conjunto

17

TODOS los nurn e r o s naturales

pertenecen

3.

Inducci6n

Completa
0

de

3.1 E1 axioma 5, asimismo llamado axioma de reeurreno-ia induoeion oompl.eta, puede e nunc i a r s e t arribi e n asi.":

Un eoniunto de nWneros natural-es al. que pet-tieneeoan a y el: numero siguiente de cada uno de sus el.ementos, es l.a total.idad de
el loe,
En este axioma s e basa el principio de indu~~i6n compl.eta, que se aplica, como ahora veremos, como rn e to do de definicion y de de mo s tr a ci on. 3.2 En la defini~ion por »ecurreneia se introduce un concepto en que interviene un niirne r o natural arbitrario, y se construye por i.nduc ci on el ente E(n) que se define. Por tanto, esta forma de con ce ptua ci on es en realidad un metoda de »asonamiento ~onstru~tivo, que consiste en definir el objeto E(n) para n 0 e s de ci r ,

el objeto E(O», y en indiear luego un proeedimiento para eonstruir E(n + 1) a partir de E(n), eualquieraque sea el nurn e r o natural n, (17) (AI definir la suma en 5.2, veremos que n + 1 = = sig(n». 3. 3 Ejemplo. En lugar de definir la potencia de exponente natural an como producto de n faetores iguales a a (10 eual no aclararla el significado de aD), podernos definir an por recurrencia .as!:

(
3.4 Del axioma

a = 1,
0

(1) an

an + 1

a,

(2)

o sea, Ll.arrra r ernos aO al nurne r o 1, y (supuesto ya definido an) llarrra r ern.os an + 1 al produeto de an por a. 5 de Peano resulta:

natura

Teorema. t: n. SI

Sea pIn) una propaeioion ee uerdadera;

que depende de un nWnero

28
ENTONCES La

(i) (ii)

prO)

Para todo x e N, pIX)~

pIn) vale

p(X

+ 1);

proposicion

para todo nzimero natural. n.

Demostracion. Sea C el conjunto de los num e r os naturales X para los euales pIX) es verdadera. En virtud de las hi.potes i s (i) y (ii), el subconjunto C eN cumple las condiciones (i) y (ii) del axioma 5, y por tanto C = N. 0 sea, pIn) es ve r da de r a para todo n e N. 3.5 En este teorema
0

se basa el rnetodo de demoetiraoion. par re-

ourreneia

por induccion

compl.eta,

{lS)

Ejem.plo 1. Definida la potencia de exponente natural an por recurrencia m edi a nt e las igualdades (l) y (2) demoetirar que
(3)

Demcst ractcn.

(i) Para

ri

= 0 es,

en virtud de (1):
•

(a • b) 0

l' 1

0•

(4)
X:

(ii)

Supongamos que (3) es valida para

n=

(5) Multiplicando ambos miembros segundo mediante las propiedades rnu It.i.pli c a c lon , (19) s e obtiene: (a • b)
x •

por a • », y transformando el conmutativa y a.so ci at iva de la

(a'

b)

= (a x

bX)

(a'

b)

(a x

a)'

(a x

b),

y aplicando aqul (2) al primer miembro tesis del ultimo miembro, resulta: (a'

y a cada uno de los pa r err-

b )x

= ax + 1

bX

1•

(6)

ENTONCES, (5) implica (6), y e s to , conjuntamente con (4), demuestra la validez de (3) para todo ri e N en virtud del teorema de 3.4. Ejemplo 2. Probar que paratodo ro natural n vale la desigualdad: (1 + h)n ~ 1+ nurne r o h > -1 y todo nume-

h.

(7) miem-

bros

Demoat.ra cton, (i) Para n= 0 se cumple (7) pues ambos dan 1, y es 1 ~ 1.

(U) Supongamos (1 Multiplicando que (7) s e cumple para

29

n ;;;:x:
(8)

+ h) x

X'

h.
por

ambos

miembros

1 + h (que es positivo

pues

h > -1) resulta

(1 + h) x y como xh (1
2 ~

+1 ~

(1

X'

h) • (1

+ h) ;;;: 1 + xh. + h + Xh2

0 resulta
+1 ~

de aqul:
X

+ h) x

1+

h+

rc=

(X

+ 1) • h.

(9)
con (i), teorema

ENTONCES, (8) implica (9), demuestra la validez de (7) para de 3.4.

y esto, conjuntamente todo n E: N en virtud del

Nota. La r e.st r i c c i.on h > -1 es es encial. Si fuera h < -1, a I multiplicar ambos miembros de (8) por el nurne r o neqatriuo 1 + h, se i.nve r t i r Ia e I s entido de Ia desigualdad.

-3, n

Que (7) no vale sin esa restricci6n == 5;(7) da (_2)5 <:: 1 + 5 • (-3),

10 muestra e I ejemplo 0 sea -32 <:: -14, fal.so.

3,6 Sefia l erno s esta seneilla yutilgeneralizaciondel de indue cion eompleta de 3.4: (20) Teorema.

teorema

Sea

p(n)

natural.
(i) (ii)

n.

SI, para un eierto

una propoeioion. que depende de un nUmero numero natural no:

La propoeio-ion
p(X)
=0

p(no) ee uerdadera.;

p(x + 1)

para todo nWnero natural.

x ~ no; n
:?:

ENTONCES vale

La propoeioion

p(n) para todo nWnero natural

eonsiderar la

no.

La de mo s t r a ciori consiste en definida para todo X e N poniendo =

p r o po s i c i on q(X)

q(X)

{(X

= x)

p(X)

si si

X<::

x < no no,
X si

30

es de ci r , q(X) es la pr opos i ci cn

cide con p(x) s i x ~ A es ta pr opo s i ci Sn qfx) Ie es aplicable el teorema de recurrencia de 3.4. En conseeueneia, q(X) es verdadera para todo x e N, Pero esto signifiea que p(X) es verdadera para todo nurrie r o natural X ~ no.

no.

uerdadera x::

x < no,

y coin-

3.7

Ejemplo.

Demoetirar que para todo nWnero natural. n es

2
II

>

n,
demostrar es ahora

( 10) 211 >

La pr opos i cton p(n) que se quiere Vale p(O), pues

n.

20 =
Demostremos mere natural n

1 > O.

( 11)

~ 1,

ahora que la propos i ci on (10) vale para todo nuaplieando el teorema de 3.6 con no 1:

(i)

La p r o po s i c ion

p(no)
es verdadera, (ii) Si es pues

p(l)
2>

=
1.

(21 > 1)

( 12)

21 =

<::

1, 2n >

itnplica

211 + 1

>

n+

1.

En efecto, de Zn> ri se deduce, multiplicando ambos rrri.ern.b r o s porZ, 2 .Zn > 2n, oseaZn+l > 2n, y esta ultima desigualdad implica 2n+l > n + 1 debido a que, para n 2: 1, es 2n

n+

ri 2

+ 1.

( 13)

En virtud de (i) y (ii), por e I teorema de 3.6 queda probada (10) para todo nurrie r o natural ri 2: 1. Esta conclusion, conjuntamente con (11), completa 1a demo s tr acton de que (10) vale para todo nurne r o natural. Nota. La de rno s t r a c ion directa de (10) por recurrencia, aplicando el t eo r erna de 3, 4, ofrecerla rna s dificultades, pues (13) no es val ida para todo mirn e r o natural n. Por ejemplo
Z• 0

>

1 es

fatso,
de Peano

4.

Primeras

Consecuencias

de los Axiomas

El p ro po s i.to de todo 10 que sigue de este c apftul.o es rno s t r a r puede construirse la teorla deductiva del nurne r o natural a partir de los axi orna s de Pe ano , Ha r emo s , pues, de mo at r a cione s a.poyan dorios e.xcIus i.varn.errte enlos cinco ax iorn a.s de 2' 2. El lector puede omitir algunas en una primera vista. En 5 y 6 reemplazamos muchas demostraciones por breves indicaciones entre corchetes [ J. (Zl)
COInO

31

Teorema

1.

si x

f:

Y,

entonces sig(X)
sig(X)::: sig(y)

f:

sig( Y). s e r ia , po r a.xiorria 4,

x = y.

Dernc at r ac i.Sn,

Si fuera

TeoreIIla

2.

sig(X)

distinto

de et.)

f:

x, (0 sea: EZ siguiente

de un nwnero ee '"

DeIIlostracion. les que sig(X) f: x , (i) (ii)

Sea C el conjunto de los mi me r o s naturales Se tiene: I y 3, sig(O)

ta-

Por los axiomas Si xeC,

0

'I 0,

a sea 0 e C; 1,

sea s i sig(x)

'I x,
0

es, por el teorema sea:

sig(X)
€

sig(sig(X»

sig(X),

C. N,
0

Entonces, por el axioma todo x € N es sig(X) f: x,

5 de Peano,

es

sea,

para

Teorema = sig( Y).

3.

Si x

0 existe

un nUmero natural:

y tal. que x

Demos t r a.ctcn, Sea C el conjunto formado que verifican el teorerna. Es: (i) 0
E:

par Oy los nurrie r os

C (trivial);
€

(ii) Sea X rerna (con y Entonces, rna. Teorerna

C. Puesto que sig(X) X), es de c i r , sig(X) por axiorna

=
E:

sig(X), sig(X} verifica C.

el teo-

5, es C

N, 10 que dernuestra

el teore-

4.

E~ e~emento y de~ teorema

Axioma sig( y)

es unt.ao.
".

Derrio at ra.c ion , Nota ctori,

e s precedeni:e Si x de x".

4.
pondrernos y == pr(X), que se lee "Y

32

Escolio. 5.

Para todo x fOes

sig(pr(X»

x,

Surna y Multiplicaci6n

5. 1 Teorerna 5. Existe una operao-ion binaeia en N, que a czda par ordenado (X, Y) de nWneros naturales aeiqna un nWnero natural indiaado x + Y, tal: que:
1) 2)

Para todo x Para todo x

E: E:

N es x + 0 = N Y todo Y
€

Xi

N,

ee x + sigO/} = sig(X + y).

[Para ca da x fijo se prueba la unicidad de x en y. Luego, para y fijo, se prueba la existencia du c c i on en X. ] Definicion Teorema 1. x + Y ee Tlama ~

+ Y par indue cion de x + y par in-

de x e y.

6. Asociatividad
(x

de la surna:
Z).

y)

= x + (Y +

( 14)

[X,

Y fi jo s , induce ion en Z. ]
7.

Teorerna

Conmutatividad

de La euma:

x+ Y [y fijo, i.nduc ci.on en x , ]

Y + x,

( 15)

Definicion 2. Sea * una opel'acion binax-ia en Un condunto A, que a oada pal' ordenado (X, y) de el-emenioe de A aeiqna un el-enento x .. y E: A. Dil'emos que e E: A ee eZemento neutl'O de Za operaeion ~ si pal'a todo X e A ee
X

=e

*X
0+

x.
X E:

(16 )

En virtud

de los teorernas
X

5 y 7 e s , para todo
X

N:
(17)

+0

= x,

es decir,

0 es eLemento neutl'O de Za suma en N. 8.

en

Teorema [Inducci6n Cotolario.

sc y 'I z, entonces x+ y'l x + e para todoxeN.

x.J
de La suma: (2;3)

P1'opiedad oanoelat.iva x+y

=x+

=>

= e:

( 18)

33

Teorema
a)

9.

Dados x e Y,ocurre

uno y soLo uno de eetoe oasoe:

b) c)

x = l/; Existe u'l 0 tal que x + u = y; Existe v 'I 0 tal. que x = y + v.

5.2 Teorema 10. Existe una operaeion binar-ia en N,que a cada par ordenado (X, y) de 'YI1imel'os aturales aeiqna un nUmero nan iural: indicado par x . Y, tal que:
1) 2)

Para todo x

8N

ee x . 0

0;

Para todo xeN

y todo yeN

ee x . sig(y)

= X·

Y + x,
5.J

[Dernostracion Definicion 3.
X·

aria Ioga paso a paso a la del teorerna

Y ee l-lama pl'oducto de x e y; La opel'acion

ee

lLama mul.tipZicaai6n.
Teorerna 11.

Propiedad oonmutat-ioa de la muUipUcaci6n:

x:y

u:

x,

( 19)

[y fijo,

i.nduc cion en

x.J
y ee indica 1.

Definicion 4. Escolio.

El: nUme!'o sig(O) se llama ~

1 ee el.ementio neutro
Por teorernas
==

de La multiplicacion.
10, 7 y 5 es:

Dernoat raci.Sn.

x. 1

==

X·

sig(O)

x:0+
11:

==

:0

+0

x,

y entonces,

por teorerna

x , 1 == 1 • x
Teorerna 12.

==

»,
de la multiplicacion a la

izquierda

!'especto
x

~opiedad dist!'ibutiva de la suma:

»

(y

+ z) == x
Z. ]

+x

s,

(20)

[x e y fijos,

i.n du c c i ori en

34

Escolio.

Prop-iedad dietx-ibueiua
(y

a derechar
X

+ z) .

:::

y.

+ z·

x,

(21 )

Demos tzacton,
Teorerna 13.

Teorem.as

11 y 12.

Prop iedad asoaiativa

(X,

de la multipliaaaion:(23)
(22)

y).

e ==

X·

(y . z) .

[x

e y fijos,

iriduc ci on en

z.J

6.

Orden

6. 1 Definicion 5. Si x +
x::;;

U ==

y, di.remoe que iguaZ que

yl1, (23)

y,

"X (0

es meno!' sea,

y si ademae ee x 1= y

beorema 9, UfO), y" .

diremoe que
(24)

x < y,
(23) Y (24)

"X

es meno!' que

Definicion 6. Las relaciones inversas de las indicadas pOl' se indican, respectivamente, ~ (mayor 0 iqual) y>(mayo!'), de modo que (23 y (24) equioal.en reepect ivamerite a

Y ;;::X, "Y

ee mayor 0 igua Z que x" ee mayor que xlt.

(25)

Y > x,
Teorema 14. x= Demostracion. Escolio 1.

II

(26 )

Dad08 x e Y, ee ver-if'ioa
Y, x< Y, Y

una y soZo una de:

(27) 5.

< x,

Teorerna

9 y definicion

Dados xey,

ee verifiaa

una y eolo una de:

(28)

x = Y,
Demostracion. Escolio 2.

x < Y,

x > y.
6.

Teorerna

14 y definicion

:<;;

e Y :s; x imp l.ioan

= Y.

(29)

Demostracion. 8i fuera X :<;; y e y :s; x, y a.dema s x s e r Ia X < Y e Y < x, en cont r a di c ci on con el teorerna 14. Teorema 15.

f:

y,

Propiedad 0 ley transitiva

(x
:<;;

de :s;

35

y ey
:<;;

:<;;

z) ~ x :s; e, 5 existen

uy

Derno st r ac ion , V tales que:

8i x:s; y e y

e, por la definicion

x+
De aqul resulta

= y,

Y+v

=
0

Z.

(X + U) + V

e,
2,

sea,

por e1 teorerna

6:

x + (u + V) = y por 1a definicion 5 esta igualdad x:<;; 6.2 De (17) y 1a definicion 15, resulta: 16.
La

equivale

z. 5 se deduce
X
:<;;

x, y de aqul,

(29)

y el teorerna

Teorema

»elaeion
:<;;

s:: tiene

las prop iedadee:

reflexiva: antisimetriaa: transitiva:

x
(X

(X:S;

x; Y e Y s X) :s; Y e Y :s; z)

=
:s;

y; s.

Definicion

tisimetriaa
Escolio. 603

7. Una relaaion aon las propiedades reflexiva, y transitiva 8e llama relaaion de orden.(24)
:S

an-

ee una »elaeidn de arden,

17.

Teorema

Monotonta o
X :::

de La swna.
ox>

Si

x < Y, entonaes,

Y,

1/,

l'espeativamente,
Z

x+
~

< Y + s,
(25)

x +Z

:::

Y+

z,

x+z>y+z,

Y l'ea~pl'oaamente.

Derno s t r ac ion, Hagamos 1a derrio s t ra c ion para por la definicion 5 existe uf.o tal que

<

5i x < Y,

x+
de donde

Y,

(30)

36

(X + U) Por los teorem.as form.a a s I: (x + u) + z:::

y entonces (X
X

z:::

1/ + z.

(31 )

y 7, el primer

m.iem.bro de (31) se trans-

+ (u +

Z)

x + (z + u)

(X

+ z) + u,

+ z) + u

Y + e,

(32)

o sea

x+

<Y+

e.

(33 )

Reclprocamente, si es va Ii.da (33) existe uf.o tal que es valida (32), y de aqul, transformando com.o antes el primer miembro, se deduce (31), de donde sigue (30) por 1a propiedad de cance.Iac icn de la suma (corolario del teorema 8). Fina1m.ente, (30) con uf.o equivale a x < y en virtud de la definicion 5. Teorema 18.

?:

O.

Derno s t r a ci.on, a bien x = 0, 0 bien existe = u + 1 ?: 1, y como a de ma s 1 = sig(O) =

X;;::

O.

u tal que x = sig(u) = + 1 > 0, resulta

Escolio Escolio [y

1. Si x 2,

0, entonaee

X:2:

1.
:2:

Si y>
U:2:

x, entoncee y
1, de donde y
:2:

+ 1.

= x + u,
Teorema

+ 1.]
Todo conjunto A

6.4

19 (de buena

ol'de11llcionJ.(86)

de nUme~o8 naturale8 que tenga pOl'

uno menol' que bodo s Loe demde , Derno s t ra c icn, (Puede omitirse

Zo menos un eZemento tiene

en una primera 1ectura. )

Consideremos e1 conjunto B de todos los x € N que son :s:: que todo nurn e r o del conjunto A. EI conjunto B tiene estas propiedades: (i) (ii) 0 pel'teneae a B (por el teorem.a a B. (Pues 18); si yeA, como y + 1> y,

Y no pertenece

No todo x pel'teneae a B. )

(iii) Existe un nUmel'o he B, tal.que h + 1 no pertieneoe a B. (Pues si as f no fue r a , en virtud de (i) y e I axioma 5 todo x perterie c e r Ia a B, en cont r a.dic c ic n con (ii). ) Para pro bar eI teorem.a h Si esto no fuera cierto, h de donde, par e1 escolio h y entonces 6.5 bas tara
€ A.

derno st r a r que

serla

para

todo k perteneciente

a A:

< k,

2 del t e or erria 18

+ 1 s k,
B, contrariamente a (iii), (87)

serfa h + 1
20.

E:

Teorema

(x > 0 e y > 0) ~ x , y >

o.
par

Dernos t rac idn, Par e1 teorem.a 3, y = sig(U); entonces, e1 te or erna 10 y las definiciones 5 y 6,
X·

X·

sig(U) deducir

=
y>

u+

X:2:

> 0,

y de a.qu.i es facil

x·

O.

Corolario.

Inex-ietieno-ia
(X

de diu ieoree
0) ::) X· 18,

de aeYlo:(28) y

foe

yf

f o.

(34)

Dernostracion. Tearerna 21.

(X

Por teorema

I=

0 equivale a > O.
2· X

0) ::)
X

f
U

2·

y.
U

Demostraci6n. (i) Si X tonces, por el t eor erria 12:

2' X

> y es

con

1-

0, y en-

==

(y + u) "" z·

y+

2·

(35)

De 21= 0 Y u 1= 0 se deduce (corolario de teor. 20) 2 o sea (teor. 18) e » U > 0, y entonces, por (35), e X>
»

U 1=
»

0,

y.

(ii) Ana lo garrierit e se procede Caralaria.

(2'

si

< y. de La multipliaaci.6n: u,
(36)

Prop-iedad de oanoelaeion
X

==

z·

0) => X ==

38

Es decir: un factor no nul.o cornun a ambos miembros igualdad puede simplificarse.

de una

Demostraci6n. e . y.

Si fuera x

1= y,

s e r ia por el teorema

21

2·

Xf

3
E:L NUME:RO E:NTE:RO Y EL NUME:RO RACIONAL

1.

Introducci6n

1. 1 Dados dos ntime r os naturales a y b, e st an unlvocamente definidos su swna a + b y su produetio a b que son t arnb ieri nrirner os naturales. Es decir, la s urria y la multiplicaci6n son operaciones en N.

Veamos
s urna ,

ahora

que

ocurre

con

1a operaaion

inve1'sa

de la

39

Dados dos nfirne r os a y b, se llama dife1'enaia 0 »eeta a _ b (a menos b) de minuendo a y suetiraendo b, a todo mirner o x, ei: e:r:iste3 que sumado con el sustraendo b da por suma el minuendo a. 0 sea [c onfr ont e s e cap. 1-2.1):

a_b

significa

que

+ b = a.

(1)

dada por (1), x + b = a, no si bien c ua.ndo la tiene e s unica. Se dice por ello que la resta e s una "operaci6n pare ialrnente definida" en e1 eonjunto N de los nUmeros naturales. Por ej e rnpl o, Pero ocurre que 1a ecuaci6n en
X

eiempre tiene

8oZuoi6n en 'los nUme1'08naturales,

2 - 7 no eeie te en el conjunto N, pues no hay ni ngtin nfirne r o natural. x tal que 1.2 Como se acaba de ver, la diferencia (a, b c N),
(2 )
X

+7

2.

a - b,

no siempre tiene sentido en N; pero cuando e s t an definidas ferencias a - by 0 - d es a - b== c - dsi, Y solo s i, a+ d== b+ c.

las di-

(3)

4+6

(Por ejemplo, La igualdad 4 - 2 == 8 - 6 equivale a la igualdad 8+ 2 obtenida"pasando" 6alprimermiembroy2alsegundo.)

Se presenta

entonces,

en forma natural,

esta idea:

Reemplacemos

la expr es i on a - b por un par ordenado (a, b),

(a, b e

N),
10

y llamemos equ iual.entiee a do s pares ordenados (a, b) y (0, d), que se de nota (a, b) ~ (0, d) s i, y s610 s i, a + d = b + c, (a, b) ~ Asimismo, (o,d) s i, y s6lo s i , a

+d

==

b + c. es
(4) (5)

cuando es tan definidas

b)

en N las diferencias,
(b (ad

40
denadoe,

(a

(0

d)

== ==

(a (ae

+ 0) +
bd)

d),

(a - b).

(e - d)

+ be),

y entonces

sera oportuno definir la suma y el produeto respectivamente, po r : (a, b) + (0, d)

(a, b) . (a

de pares or-

+ c, + txi,

b ad

+ +

d), be).

(o , d)

(ac

1. 3 Veremos ah or a como, gracias a haber elegido las definiciones (3'), (4') y (5'), no en forma arbitraria, sino por los motivos dichos en 1.2, se logra ampliar el conjunto N de los nurn er o s naturales mediante Ia definicion de nuevos nurne r os , de suerte que en el conjunto mas amplio Z (de los rrurner-os entieroe l :
(i) Puedan definirse dos operaciones, suma y multipliaaaion, cuyos resultados coinciden con las correspondientes operaciones en N cuando los elementos de Z a los cuales s e ap1ican son numeros naturales;

(ii) Se conserven las propiedades de las operaciones de surna y mult ipl l ca.ci.cndemostradas en el capltulo 2 -5 para mirrier os naturales (permanenaia de las leyes formales);

(iii) Pueda definirse La »eeta mediante (1), per a ahara ope r a ci.on binaria (totalmente definida) en Z.(29) 2. Relaciones de Equivalencia

como

2. 1 Recardemos (0.3 h) que una relaci6n R en un (a sea, de A en A), es un s ubc onj unt o del producto A X A: RCA X A. Si un para ordenado (x, y) de A X ce ala r el ac i.on R, (x, y) E: R, se escribe tarnbi.en XR lee "x e sta en la relaci6n R con Y".
Definicion.

conjunto A cartesiano A perteneY, que se

lenaia si tiene :t'eflexiva: simet:t'iaa: t:t'ansitiva:

Una r elaoion R en A Be l/lama :t'elaai6n de eauivalas p:t'opiedades:

A :) x RX XR Y :) YRx (XR y e YRZ)
X E:

:) xRz.

2.2 Ejemplos. a. Entre los elementos de un conjunto dado A, la igualdad es una r ela.cion de equivalencia, pues:

x
b.

x,

Y:)

x,

(X

YeY

z) :) X = e,

41

En el conjunto A de todas las figuras de un plano, la aonqrueneia es una r-eIa.ci ori de equivalencia. T'arnbt en 10 e s la senejanza si se 1a define en sentido amplio, conviniendo en cansiderar semejantes tarnbi en ados figuras cangruentes. c. En el conjunto A de todas las rectas, el paral-el iemo es una r e la ci on de equivalencia s i se 10 define en sentido arnp.lio, conviniendo en considerar paralelas ta.rnbi en a una recta r y ella misma: r r,

II

d. La perpendicularidad no es una r ela cion de equivalencia, pues no es reflexiva ni transitiva.

Z.3 Si R e s una r eIa c i on de equivalencia en un conjunto A, a cada elemento a de A l e podemos asociar el conjunto Co. de todos los elementos x de A relacionados por R can a. Este conjunto se .~ .expresa por corrrpr en s ron a s i :
C" y se llama =

[x

I X€A

xRa],

(6)

elaee de equivalenaia

de a »eepeato de R.

Par ejemplo, en el paralelismo de rectas (2.2 b) la clase de' equivalencia C" de una recta a es el conjunto de todas las rectas paralelas a a.

Se de.rnu e s t r-a que s i dos clases rne.nto cornun coinciden:

de equivalencia

tienen

un ele-

En cons ecuencia, dos clases de equivalencia diferentes son disjuntas, es decir, sin el ern ent o s cornurie s , Ade ma s , todo elemento a del conjunto A pertenece a alguna clase de equivalencia, pues por

ser

aRa

se

ti ene

c e C ...

y la union

Entonces, las clas es de equivalencia son dos ados di s jun ta s , de todas ellas es el conjunto A. En otras palabras, todo e Iern ent o X del conjunto A pertenece a una clase de equivalencia y solo a una. Se expresa esto diciendo que las clases de equivalencia forman una particion del conjunto A. 3. Definiciones por Abet.r ac cton

42

3.1 Este tipo de definicion se encuentra enla vida diaria acada instante. Quien ve una fotografi'a y una de sus arrrpl.i.ac io ne s suele decir que s e trata de una sola fotografla, por suponer sin duda que se ha hecho un solo negativo. Las dos figuras tienen de corrrun Iialgo a 10 que He garno s haeiendo abstiraoeidn de ta.rnafio , color, etc.", y que Harnarnos forma. La frase entre corrri Il as no es un mo de lo de precision, peroveremos como se formaliza todo esto rn e di.arit.e una relacion de eouioatencia: la eeneiiansa de figuras (2.2 b). La s emejanza divide 0 clasifica las figuras en elasee de equifo r ma da s par figuras semejantes entre se Esto permite dar una definicion de foma poP abetsaaoion, r e duc i errdo Ia a una definicion expllcita:

val-encia (2.3)

~de semejansa.

una figupa e8 au clase de equivaZencia pespecto de Za forma s i pertenecen Bon semejantes.

Entonces: Dos figuras tienen La misma misr.na c1ase de equiva1encia, es decir, si

ala

3.2 La direcoion de una recta se define par abs t r-ac cion partiendo de 1a base del pa r a.Iel i s mo de rectas, que es una r el a cion de equivalencia (2. 2 c). Dos rectas a y b tienen 'la misma direccion s i pertenecen a la misma clase de equivalencia, es de ci r , si son paral-el-ae: a b.

II

Considerernos

la r e.Iaciori de perpendicularidad

de rectas:

J.

(a es perpendicular

a b).

Al reemplazar a y b por otras rectas al y bl respectivamente paralelas a las anteriores, las nuevas rectas siguen siendo perpendiculares, es decir,

(a J. b,

at

II

a,

bl

II

b)

aI

.J..

t», ee invariante

(7)

por 10 cual diremos to de La re Uxcion Gracias te: a esta

que La perpendicular-idad de paral.e Usmo. invariancia tiene s entido

»eepec-

la definicion

s iguien-

Definici6n. Irisremoeqi e dos dil'ecciones n, y Da (Fig. 20) son peryendicu"lares, si lo son dos l'ectas cua"lesquiera de ta"les direcciones. Dl

b al

bl

.,

Vemos aquf como, para a h definir una r eIa c i cn (perpendicularidad) entre clas es de y equivalencia (direcciones), se elige en cada clase un eleDZ mento 0 representante. GraFig. 20 cias a la invariancia (7) la perpendicularidad entre elementos (rectas) implica una entre ol.aeee , que seguimos llamando "perpendicularidad".

43
I

»elaaion

De modo analogo, niremos operaeionee

operac'Z-ones entre nwneros defientre elaeee de equiva2encia de mirne r o s ,

a partir de Suma y Diferencia

.'-

4.

Niime r os Enteros. 4. 1 Teorema.

meros naturales es decir, tiene

La reZacion definida pOY' (31) Zas propiedades:

entY'e pares ordenados de

BS

una reZaciOn de equivaLencia.

(8)

nU-

ref"le:r:iva: (a, b) ~ (a, b) simetY'ica: transitiva: (a, b) ~ (a,b)~

(0,

d) ~

(0,

d) ~ (a, b)
(e,f)~

(9)

(o,d) y (o,d)~

(a,b)~

(e,f).

(10)

Demoet ra ctcn,

mi m e r o s naturales
Se cumple S e cumple (9), (10),

Se cumple (8), es conmutativa; pue s

pues cap.

a+b
2-5.1,

+ a (la suma de

t eo r , 7).

a+d

b+e~ e + b
s

d+

a.

pue s de las igualdade y miembro e+f=d+e a miembro

a+d=b+e resulta, sumando

y cancelando

terminos:

a+f
y esta igualdad equivale a (a,

+ e, f).

b) .....,(e,

4.2 Por ser "'" una r eIa.ci on de equivalencia da una partiaion del conjunto N X N de los pares o r de na.do s de nurne r o s naturales en elaeee de equiual-enoia (2.3), 0 sea una c Ia s ifi cac lon de estos par e s ordenados. Indicaremos la clase de equivalencia de un par ordenado (a, b) por [a, b], de modo que: [a, b] =
o sea, en virtud

[e, d]
de (3'):

equivale

a (a, b) ~

(0, d),

( 11)

[a, b]

[e, d] equivale
clases

aa

+d

+ e.
'" numero

( 12)

Cada una de estas

de equivalencia

sellama

en-

tero.
4.3 Podemos dar una »epreeentaeion grafiaa de esta partieion en elaeee de equiual.eneia, en la cuallos pares (a, b) E: N x N s e
representan por los puntos de coordenadas enteras de un cuadrante, y las clases de equivalencia [a, b] son subconjuntos formados por los puntos del reticulado pertenecientes a ciertas rectas (Fig. 21) • 4.4 La suma de pares ordenados definida importante propiedad (co nf r ont e s e 3.2): Teorema. AZ eambiar un otro tanto oaurre aon Za Buma. Demos tz a cton, (a' , b') Consideremos en (4') tiene esta

eumando pOl' un

par equiual.ent:e,

las sumas

(4') y

+ (0, d)

(a'

0,

b'

+ d),

[1,0]

[2,0 ]

[3,0 J [4,0 J

1 Fig. 21. bl) (I,O)~

~

2 (3,2),

3 osea con

4
[l,OJ= [2,IJ= [3,2J.

(2,1)~

con (ai,

(a, b),

e s decir,

al + b = hi + a.
Deb errro a de rno at r a r que los resultados equivalentes: (al o sea, que son pares

(13 ) ordenados

45

0,

b1 +

d) ~

(a +

0,

b+

d ),

a+
I

+b+d

b' + d +

a+

O.

Ahora aumando

bien, esta igualdad es verdadera, + d a arnbo s m ie rnb r os •

pues se deduce de (13)

4.5 Consecuencia del te o r erna anterior es que se puede definir la swna de entieroe ;» sea, de clases de equivalencia, [a,b]

[a,d],

( 14)

COITlO clase de equivalencia a la cual pertenece el segundo ITlieITlla bro de (41). Esto es posible (conf r ont e s e 3.2) porque la clase es independiente de los representantes elegidos para las clases [a, b] y [0, dJ. Es Legit irrio , pues, pone r COITlO definicion:

[a, b] +
Ejemplo

[e, dJ:::

[a + e, b + dJ.

( 15)

[6,3

[2,4]:::

[8,7].
ta.m bi en , respectivamente, pues 6 + 0::: 3 + 3)y

Los s urna ndo s pueden es cribirse y [0,2J (por e jerrrpl.o , [6,3J::: entonces la s urn a es:

[3,OJ

[3,0],

[3,0]

+ [0,2]:::

[3,2J.
(es decir, la rni s ma

Los resultados [8,7 J y [3,2 J son iguales clase de equivalencia) pues 8 + 2 = 7 + 3.

4.6 Nota. Para cornp r eride r me jo r 10 dicho en 4.5 vearno s un corit r a ejern plo , La siguiente op e r a c io n entre pares ordenados:
(a,b)

(c, d) ::: (a + d,

be),

(16 ) definib + h);

46

no es extensible a las clases de equivalencia de la relaci6n da por (3'). En efecto, para todo hE: N es (a, b) ,.,_,(a + h, por otra parte es (a + h, b + h)

(c, d) ::: (a + h + d,

be + he),

(17)

y ambos resultados (16) y (17) no pertenecen, en general, a 1a rrris rn a clase de equivalencia. Entonces, la op e r a c io n no es invariante respecto de y no induce una ope r a c i on entre clases respecto de

*.

r--

4. 7 La dif8:roencia 0 por la c on di c ion de que

»eeta de entieroe s e define

a:eJ X:eJ +

como

en (1),

significa

que:

[aI, [Xl,

( 18)

y sera una operao-ion binaz-ia en Z (30) s i la segunda e cua c icn (18) tiene s olu ci on unica [X1,X2] en todos los casos (es de ci r , cualesquiera que sean los enteros [aI, a:oJ y [bl, b;)J). Se de mu e s t r a que, en ef e ct o , es as{_(31}

5.

Multiplicacion

de Enteros en (5'),

tiene

5.1 La rnu It i.p.l'i a ci.ori de pares c ordenados, definida esta importante propiedad [c onf r ont e s e 4.4):

Teorema. A~ cambiar un tanto OCU1'1'e con el: produo to , Demostracic5n.

factor por un par equiva~ente~ otro

los productos (51) Y

Consideremos

con (ai, bl) ~

(a, b),

es de ci r , con

a
Debemos equivalentes:

b= que

bl

+ a.
resultados son pares

( 19) ordenados

demostrar

los

o sea,

que ae

bd

+a

7Jl e

ad

be

+ ae+
l

7Jl d.

(20) (19)

por

Ahora bien, multiplicando ambos miembros de 1a igua1dad d, y ambos miembros por c, se obtienen las igualdades:

ua +
ale y sumando miembro a miembro igualdad (20), con 10 eual queda

ad, be, 1a

estas igualdades, se obtiene demostrado el teorema.

5.2 [Corif r-crit e s e 4.5) Consecuencia de este teorema es que podemos definir la rrruUiplicaci6n de entieroe 0 sea de clases , de equi valencia

[a, b]·

[c, d]

(21 )

como la clase de equivalencia del segundo miembro de (51). Ello es posible porque esta clase es independiente de Los »epneeenbanbee elegidos para las clases [a,b] y [c,d]. Es leg{timo, pues, poner: [a,b]. [c,d]
=

[ac

b d, ad

+ be].

(22)

6.

Propiedades

de las

Operaciones

con Enteros

Definidas mediante (15) y (22) la s urria y la multiplicaci6n de enteros, laverifieaci6nde sus respectivas propiedades conmutativa, asociativa, di s t r ibut iv a , etc. , es simple tarea de r ut iria , Ha garn os l o

solo para la asociatividad de la suma y la conmutatividad de la rnu.Itipl i ca c ion , y notemos que deben aplicarse las propiedades ana lo ga s ya demostradas en el c apft ul o 2 para las operaciones aon nWnero8 natural-es (pasos del tercer miembro al cua r to , y del segundo al tercero, respectivamente):

[a,

bJ.

[0,

dJ =

[ae

+ bd, ad + bo] = [ea + db, da + ob]

db, eb+ da]

= rca +
7. Los Enteros

[e,

dJ·

[a, b]. Naturales rnult ipl i cac ion

como Ampfi.ac lon de los Numeros (15) y (22) de suma y de d = 0: [0, [c,

7. 1 Las definiciones de enteros dan para b = [a,

oJ +

oJ oJ

= ==

[a [a

0,

J,

[a,oJ

• c,

oJ,

e s de c i r , las clases (nurne r o s enteros) que pueden e s c r i bi r s e en la forma [a, oJ, [e, oJ --con segundo componente cero-se comportan respecto de las operaciones de suma y de rnult.ipl i ca c i on , COlTIO los nurne r oe naturales aye que figuran COlTIO primeros componentes. En otras palabras, para efectuar las operaciones de suma y de rnu lt ip.ltca ci.on con nurne r os eniieroe representados por pares con segundo aomponente nu/lo , se efe ctiiari Ia.s correspondientes operaciones con los nurne r os natural-es que figuran corno primeros componentes. Por esta r a zon podemos convenir en identificar(32) cada ente1'0 [a, oJ con el nurrie r o natural a 0 primer componente del par. Con este convenio, e I conjunto N de los nurn e r os naturales es una parte del conjunto Z de los errte r os :
Nez,

y a de m.as queda satisfecho

eI requisito

(i) de 1.3.

Observemos en Ia figura 21 que a cada clase de equivalencia de la forma [a, oJ corresponde una recta que carta a l " eje de abscis as" en el punta que repres enta al mirn e r o natural a.

7.2 He aqul una propiedad la £igura 21:

importante

que puede advertirse

en

Todo nUme~o ente~o 0 cZase de equivaZenaia de pa~es o~denados puede »epreeentiaree de una sola manera en una de las fo:rrmas:
a

[o,oJ
[0,
7.3 Reformulemos

con

c c rc, o.
(33)

(23) (24)

oJ

con 0 eN yet-

la propiedad

s efia Ia da en 7.2 a s I:

Dado uri ent e r o, se 10 pu.ede representar en una, y solo una, de las forrnas (23) a (24), y en ambos casas mediante un nurne r o natural 0 unlvocamente determinado. Si el entero se representa entero
y puesto

en la forma [e,

(23) se llama

no negativo

oJ,
en 7. 1, con el

49

que s e identifica,

como vimos c,

nu m e r o natural s e llama ta rnbi en entero En este

no negativo

o.

caso pondremos

t.arnbi en [e,

oJ =

e.

Por ejemplo:

[3,
Si el rnirne ro entero entero
y se representa

oJ =

3,

[0,

oJ

= 0. en la fonna,(24) se llama

s e representa negativo [0,

el,

por

-c.
Con estas notaciones podemos m e r os enteros en la forma: indicar el conjunto Z de los nu-

L .. ,

-3,

-2,

-1,0,1,2,3,

...

J.

(25)

7.4 Poniendo, para X e y enteros, X :::; Y s i,y solo s i, existe un entero no negativo u tal que X + U Y [c onf r crrte s e capltulo 26. l) se define en Z una r ela c ion $ que puede demostrarse es una r e Ia.ci on de orden (vease capitulo 2-6.2).

8,

Propiedades

de Z

Sin entrar endetalles, s efia Ie mo s a.qu Lqu e todas las propiedades del conjunto Z de los mirne r os enteros con r e La.c ion a las operaciones enteras (suma, resta y mu l.tip l i ca c ion) pueden demostrarse a partir de un n urn.e r o relativamente pe qu efio de propiedades muy sencillas, que ahora enunciaremos:

S.l

~opiedades

aZgebpaiaas de Z

a. En el conjunto Z de los nurn.e r o s enteros e xi s t e una operacion +, Hamada 8urna.. que cumple las leyes: (34)
al'

Asociativa: Conmutativa:

(x
X

+ y) + Z = x + (Y + z) +Y

50

a2'

Y+x

La suma .. es decir

a3. Hay un nurne r o entero 0 (cero), que es elemento neutpo de (capitulo 2-5.1, def. 2),paratodo entero X verifica: O+x=x+O=X (26) llamado

a4. Para
dicado por

cada entero

hay un entero

opueeto de x in-

-x, tal que: x+

(-X) =

(27)

b. En el conjunto Z de los mi me r o s enteros puede definirse una op e r a c i on Hamada rrruZtiplicacion .. que cumple las leyes: b j, Asociativa: b2• Conmutativa:
(X,
X·

Y) •

= X·

(y

z)

y.

x de La
(28)

rrru"ltipUaacion,

b3. Hay un nurne r o entero 1 (uno) que es el.ementio neubro es de ci r , para todo entero x verifica: I·X=
X·I=X

Es 1

f. o.

c. Las ope r ac iorie s de surna y de rnu.ltip Lica c'ion e stan relacio6 nadas por la propiedad siguiente: (3 ) Distributiva:
X·

(y

+ z ) ==

X·

X·

e.

8. 2 Primeras ooneecuenoiae
Para

de las proptiedadee a Iqebraicae

cornprender m e jo r 10 dicho al cornienzo de 8. 1, vearno s eolamenbe las propiedades aUi' enurneradas, se deducen algunas de las conocidas propiedades de los nu me r os enteros en relaci6n can las operaciones enteras.
corno , usando

Teorerna 1. c apft ul o 2-5. 1,

X

Propiedad
cor.

cancelativa
8);
Z

de

Za suma (confr6ntese

de teor.
X

+ y ==

=>

Y ==

z.

(29)

Dernoat r a cion,
X

Se tiene:
=> (-X) ~ (-X

+ y ==

+z

+ +

(X X)

+ y) ==

(-X) (-X

+
X)

(X

+ 2)
2

+ Y ==
0+
2

=>0+ ~ y ==
Teorema 2-5.2, teor.

Y==
2

51
(por a3)'

2.
10):

Ley de abeoro-idn del. aero [con Ir onte s e capitulo

X·

0 ==

o.

(30)

Demostraci6n
X •X

+0

X •X

== X

(x
•0

+ 0)

(por a3, 2 veces), (por c). 1, se deduce (30).

= X ·X

De

X.

+a
3

X.

X • 0, por teorerna

Teorema

-(-X) Demostraci6n.

X. por a2,

(31 )

De (27) s e deduce,

(-X)

X:;: X,

0,

es de ci r , el opuesto

de .:x es

T eorema 4 .
X· ( _ y) ==

. (36) Reg Za d e Zos etqnoe:

- (X (-X) y), , (- y) (32).
'=

(-X).

= - (X,

Y),

(32) (33 )

x.
Par
0

y, b2 basta

Derno s t ra cion ,

Para

de m os t r a r la 18, Es: {par a4},

Y+
(y

(- Y)

+ (-y»
•

=
(-y)

(par tear, 0 (par c),

2),

y +X (-y) Para (33):

(-X) , (-y)
'=

=
y)

==

-(X.

52

-(x,
X •

(_y» Y

==

-(-(X.

Y»

(par (32), (par (31».

2 veces)

:;:

8.3 Las propiedades de Z can referenda al orden S pueden deducirs e de un co r to nu m e r o de propiedades s encillas, que agruparemos en dos c1ases: I. Propi.edadee de arderi
hay una r el a ci on
S

Entre los nurne r os enteros que), con estas propiedades: a. es: al. a2'
a3, S

(menor

a igual

es una »elaoion de arden, es decir

(cap,

2-6.2,

def.

7),

Reflexiva: An ti s irrre t r i ca : Transitiva:

(X (X

S :;;

YeY yeY

S X) S 2')

=> X

S 2'

b. E1 or de n S es totaZ 0 ZineaZ, es decir: cualesquiera X e Y, es X S Y 0 Y S X, «n)

Dados

dos enteros

II. Relaeion

del. X

orden
E :::;
y) ~

con
E

La

est!'Uatu!'a

aZgeb!'aiaa(3S)

a.
b. 8.4

X:5 (0
$

Y~

+
$

Y+
0
:s:;

xY0

x,

Primerae

coneecuenc-iae

VeaITlOSahora COITlO e deducen algunas de las conocidas pros piedades de los nurne r o s enteros can r ela c ion a I orden $, utilizando solarnente las propiedades fundarnentales ya enunciadas. Teorema

5. x s yes

equ iual.ente

ax + z

Y + z.

Derno s t r ac lon
x:::;y~x+z:::;y+z (por Ila),

~ r=

+ z) + (- z)

(y + z) + (- z)

(por Ila), (porb1),

~ x + ( z + (- Z

» :::; y + (z + (- z) )

53

Definicion. Teorema

x-y

+ (- Y).

6. x :::;y,
Resulta

y - x,

x - y :::; 0,
5 tornando all(,

-y :::;x sucesiva-

80n equival.entes.
Derno e t r ac iori. mente: del teorerna

z
Teorema 7.

=
si 0

-x,
$

z
s,

= - y,
entonces

-x - y.
e- x:::; z·

x :::;y impl.ica

y.

Derno at r ac ldn

s;

~ ~

o :::; Y o :::; • z
z· z·

X (Y -x) = z·

(par tear. y + Z • (-X) (par IIb), (por (31», y (por teor.

6),

=
~

Y - z· x:::; z·

6) .

Teorema

8 (X :>; 0 (X :>; 0 y e

:>; y) 0)

~X ~
0s

u
x,

« 0, y. y (33).

(34) (35)

y:>;

Demostraci6n. Corolario Si 1.

Resulta 0 :>;

de IIb, (32)

x~.
sigue de IIb con y =

xs

Dernoat r ac ion, Si 0 s x, el corolario 0, sigue de (35) con y = x ,

x,

Corolario

2.

0 < 1.
1 y bs, es 0:5; 1, 1 ~::: L: 1 ::: 1,

Demostracion. Por corolario o sea 0:>; 1, y como, por ba, 0 f

es 0 < 1.

9.

El Niirne r o Racional

9. 1 Hemos visto que Ia suma, Ia reeta y Ia muUipZiaaaion son operaciones (siempre definidas) en Z. (39) Veamos ahora que ocurre can la ope r a ci Sn inversa de la rnu.It lp.l.i cion , ca Dados dos nurrie r o s a y bean b 1- 0, se llama eooiente a b (a dividido par b) de dividendo a y divisor b ; a todo mirne r o x,si 10 hay, tal que multiplicado por e l divisor da como resultado el dividendo:

a -;- o ::: x significa

Por ejemplo,

que

X·

b :::

a.
12.

(36 )

12 -;- 3 ::: 4, pues

4. 3

Pero ocurre que la e cua cion en X dada par La segunda igualdad en (36) no tiene siempre s olu cion en Z (mirne r o s enteros), si bien cuando la tiene, esta s oIu ci.on es unica. Por ejemplo, 12 -;- 5 no existe en e I conjunto Z, pues no hay rrin gun mirne r o enbero x, tal que x , 5::: 12. Entonces -;- no es una ope r a ci on en Z.(40) Se dice que -;- es una "operacionparcialmente de fini da' I en Z (confr6ntese 1. 1). 9.2 [Conf r ont.es e 1.2). El cociente (a, b en Z,
E:

a -;- b ,
no siempre tiene cocientes, es sentido

Z, pero

1-

0),
e s tari definidos

(37)

cuando

los

s i, y s610 s i,

a·

d:::

b·

c.

(38)

Por ejernplo , la igualdad 12 -:- 6 = 4 -:- 2 equivale ala igualdad 12 2 = 6· 4, que se obtiene "pasando" 2 al primer miembro y 6 al segundo. Se presenta entonces, en forma natural, esta idea: ordenado (con

Reemplacemos la e.xpr e s i.on a.;b por un par segunda componente no nula) que ahora indicaremos

alb,
y llamaremos

(a, b

Z,

-I

0)

(37' ) or-

fraccion,
y

y llamemos

equ iual.entiee a dos pares

<=::-::

denados = b· 0:

alb

old, denotando alb

s i , y solo s i ,

o/d, s i,
d = b·

y solo s i,

a.b
(38') es

alb

""" old,

a·

o.

As irn i s m.o, cuando es t an definidos

en Z los cocientes,

(a
y (a y entonces

b)

(0

-:-

d) = (ad +

be)

(bd)

(39)

-:- b)

. (c

-:- d)

(co)

-:- (bd),

(40) de pares

55

ordenados

sera opo r turio definir la swna y el produeio como a / b y 0/ d, respectivamente por:

(a/b)

(e/d)

(ad

+ be) / (bd)

(39' )

y (a/b) • (e/d) = (ae) / (bd).

(40' )

9.3 [Corifr-onte s e 1. 3). Notemos la estrecha semejanza de los desarrollos anteriores con los de 1. 1 Y 1. 2. T'arnbi en ahora podemos ver como, gracias a haber el e gi do las definiciones (38'), (39') y(40'), no en forma arbitraria sino porlos motivos di ch os en 9.2,10graremos arrrpl.ia r el conjunto Z de los mirne r os enteros mediante la definicion de nuevas nurne r-os , de suerte que en el conjunto mas amplio Q (de los nurn.er-os raeional-ee) : (i) Puedan definirse sus resultados los elementos las operaciones que hemos llama do entey La mul-tripl-ioaoion) de modo que coincidan con los de estas operacianes en Z cuando de Q a los cuales se aplican son nurne r os enteros;

ras (es de ci r , la euma, la reeta

(ii) Se conserven las propiedades de las operaciones enteras mencionadas en 6 y 8 para riurn e r os enteros (permaneneia de Las

leyes fOl'l71ales);
(iii) Pueda definirse el aoaiente mediante (36), ope r a ci cn binaria (totalmente definida) en Q. (41)
y

ahora

como

9.4 (Confr onte s e 4.1). Teorema. La »elaeion ~ entre pares ordenados aI b , old, ... de nianeroe entieroe definida por (38'), es una relaai6n de equivaZenaia, e8 deair (vease 2),tiene Zas propiedades:

r8fle:r:iva:

alb ~ alb al b ~ old:; cld ~ alb

(41 ) (42) (43) b

a s e

eimetx-ica:
transitiva:

al b ~ old y cld ~ el f ~ alb ~ elf.

Se cumple
r os

Demostraci6n.
ti.pf.i
c a c

(41),
es
>

pues

a·
da;

b=
ve

a (la rnu I-,

6) .

on

de

nurne

enteros

conm.utativa;

56

Se cumple Se cumple

(42), pues

ad = bc

cb =

(43), pues de

ad =
resulta, multiplicando

bc

cj

=
be,

de
y cancelando

rni ern br o a miembro

factores,

at y esta igualdad equivale a

alb

p;::;

elf.

9.5 (Conrr cnres e 4.2). Por ser ~ una r e la c icn de equivalencia, da una particion 0 a'lasifiaacion del conjunto de las fracciones en elasee de equivalencia (2.3). Indicaremos la clase de equivalencia del par ordenado al b por de modo que

%,

a b
o sea, en virtud

equivale

alb"", old,

(44)

de (38') :

a
b

equivale clases

•d

::::

b. c.
se llama

(45)

Cada una de estas

de equivalencia

nUmero l"a-

eional-,

fica

res a/ b (elem.entos del praducto cartesiano Z X Z can segunda componente no nula) se representan por puntos de coo r de.na.das enteras del plana, y las clases de equivalencia ~ son subconjuntos formadas por los puntas del reticulado pertenecientes a rectas que pasan por el origen, con exc epci cn del eje de ordenadas (Fig. 22).

9.6 (Confr ont es e 4.3). Po dern os dar una repreeeniaoion gl'ade esta partiaion en cl.aees de eouioaleneia, en la cuallos pa-

57

Fig. 22.
10. Operaciones 10.1

1/2

R<

2/4 ~

(-1)/( -2), Racionales

sea ~

'4

;3

-'2.

-1

con Numeros

o/d, ...

(Confrontese 4.4). La suma de pares ordenados definida en (39') tiene esta importante prapiedad:

alb,

Al. oambia» un eumando otl'O tanto OCUl'l'e con Za suma.

Teorema. Demos tr actcn. Consideremos

por

un

pal'

equ ioal-ent:e,

las sumas

(39') Y

con

a'/b'

R<

alb,

es de c i r , con

a'b

bi

a,

(46)

Debemos equivalentes:

demostrar

que 10s resultados

son pares

ordenados

o sea,

que (ad

+ be) . (hid) = (bd) . (aid + ble).

Ahora bien, esta i gua.Idad, que t arn bi.en se puede escribir (en virtud de la ley distributiva respecto de la suma y de la conmutativa de la rn.u t i.pl i ca c i on] l

es verdadera, pues resulta de (46) multiplicando por d2 y sumando luego a ambos, bbicd,

ambos miembros

10.2 (Conf r crrte s e 4.5). Consecuencia del teorema que se puede definir la suma de nurn e r os racionales, ses de equivalencia respecto de ~,

anterior es sea de cla-

58

75

(47)

como la clase de equivaleneia a la cua l pertenece el segundo miembro de (391). Esto es posible porque la clase es independiente de Loe l'epl'esentantes elegidos para las clases y {}. Es leglt i rno , pues, poner como definicion;

a
b 10.3 cionales

e
d

ad

+
bd

be

(48)

(Oonfr cnte s e 4.7). La difepenaia 0 pesta de mirne r os rase define como en (I), por la corrdic i on de que a b _Q d

x
y

(49)

signifiaa

que
y

(50)

y se prueba que la diferencia es una operaeion (siempre definida) en Q, e s de c i r , que dados dos nurne r os racionales cualesquiera ~ y 12, hay eiempre un uniao nurne r o raeional yX que verifica la eeuacion (50). Ll.mtternono s aquf a verifiear de c i r , que que este nurn.er o es ad

~d

M be, es

g_ _
b

Q_

ad - be bd

(51)

En efecto, en virtud de la definicion (48) y de las de las operaciones can enteros, se tiene: ad - be bd
y a derna s es

propiedades

(ad - be)d - (bd)e (bd)d

a
b

10.4

alb, tanto

old,

[Conf r orite s e 5.1). La rnu It ip Ii ca cio n de pares ordenados ... definida en (401) ti erie esta importante propiedad:

Teorema.

AZ- cambia» un OCU1'1'e con el p1'oducto.

[actor

p01' un par equ iual.ent:e,

otiro

Dernos t ra cton.

Consideremos

los productos

(401) y

59
can al/bl "'" alb, es de c i r , con (52) Debe rn os demostrar equivalentes:
(ac) / (bd)

que los

resultados

son pares ordenados

"'" (alc) / (bId),

o sea,

que

(ao) . (bId)

(bd).

(ale).

Ahora bien, esta i.gua.Idad, que tambi~n se puede escribir virtud de propiedades de Ia rnu It i.pIi ca c i ori de entieroe l z b+aad es verdadera, por ed. pues resulta = al bed,

(en

de multiplicar

ambos rrriernb r os de (52)

10.5 [Gonfr ont e s e 5.2). Consecuencia del teorema anterior es que se puede definir la mul.t-ipl.ioac-ion de nUme1'os »aa-ional.ee , 0 sea, de clases de equivalencia respecto de =«,

a
b
c o m o la clase de equivalencia bro de (40'). Esto es posible

d'
ala cual pertenece es ~ y~. las clases el segundo Es

(53) ITIieITI-

po r qu e la clase

independiente

de

los »epresentant ee
pues, poner

elegidos para COITI.O definicion:

Ie g(tiITIO ,

Ii
10.6 Volvarnos (a, bE: Z Y b:J 0),

ac
bd • pares ordenados

(54)

a la coris i de r ac i on de los y noteITIOS que:

a/ b

Todos los pares de La forma O/h son equivalentes.

sea,

cualesquiera

que

sean

los

enteros

no nulos

h y h, es

O/h

"" O/h.
arn bo s rn i e rn.b r o s son va Ii da en Z.

En efecto, es O' h h· 0, pues virtud de la ley de a.b s o r c i o n del cero,

0 en

60

En co n s e cu e n c i.a , el nurn e r o racianal

o
h

(55)

es el ITI1SITIO cualquiera que sea el entero no nulo h. La llamareITIOS II racional c e r o'! , y veamos que es e.l ern.ent.o neutro de la sUITIa, a sea (capftulo 2-5.

1, def. a b

2),

que

+h

b
(48) de surna se tiene en Z,

(56) en Q, y de las

En efecto, propiedades

en virtud de las

de la definicion

operaciones

b
y a de ma s ah

+
es

a.

h+0 b h

ah bh,
pues

bh

a = -,

de c i r , ah/bh

R:1

alb,

an,

b=

bh· a.

10.7
conjunto cera

Indicarernas can Oo el conjunto Q de los nurrie r o s racionales,

que se obtiene suprimiendo

a partir del el racional

(55). El de que

10.8
cion

ooci.eni:e

de nUITIeros

racionales

se define

por la condi-

a
b significa que
X

c
d

x
y

(57)

c
d

a
b

(58) no es una

Ya vimos que la division 0 formacion del cociente ope r a c i.cri (totalmente definida) en QJ42) Par ej errrplo ,
3

no existe, pues todo nurne r o r a cio na l , multiplicado por el racional cero, da como resultado e I racional cero, y por tanto no hay nin~ ~ . X X 3 gun numero r a c roria1 y que v e r i. fii.que Ti' 0 = ~. i Se demuestra que, en ca m.bio , la division es una ope r a c i on (totalmente definida) en el conjunto Oo (43) que introdujimos en 10. 7. 11. Inrne r eion (embedding)

11.1 (Conf r-onte s e 7.1). Lasdefiniciones(48)delasumay(54) de la multiplicaei6n de mirn er os racionales dan para b = d = 1:

a
1

+c

+c
1

61
(59)

a
1

c
1

£.__:_Q_

1 de "'" (numeros

es de c i r , las clases de equivalencia respecto cionales) que pueden escribirse en la forma

ra-

a o l' -, 1

con segunda

cornponente

1,

se comportan respecto de las operaciones de suma y de multiplica ci on , como los nurn e r os enteros aye que figuran como primeras componentes (numeradores). En otras palabras, para efectuar las operaciones de suma y de rnu.Iti pl i ca c i on con nurrie r os raeionates (fracciones) representados por pares aon denonrinador 1J se efec.tua.n las correspondientes operaciones con los nurne r o s enterOB que figuran como num.eradores. "d d . " Por esta razon po emos convern.. en 1 e nt i filear (44) ca da nur mere »ao-ional: que pueda escribirse en la forma ~, con eI nurne r o entero que figura corno numerador. Can este eonvenio, e l eonjunto Z de los nume r os ent e r os es una parte del eonjunto Q de los racionales:
Z
C

Q,

y a de ma s resulta

satisfecho

el requisite

(i) de 9.3.

i.rrve r s a s de£inidas

11. 2 En consecuencia, se tiene ta.rnb i en para las operaciones en 10.3 y 10. S; a

1

c
1

a-c
1

a
1

c
1

a70

si existe

en Z el cociente de Q

a -:- o.

12.

Propiedades

12.1 (Confrontese 8.1). Sin entrar en de ta.Lle s , s efial erno s aquf que todas las propiedades del co njurrto Q de los nurn e r os racionales en relaci6n can las operaciones racionales (suma, resta, multiplicaci6n y division) pueden demostrarse a partir de un numere relativamente pe qu.efio de propiedades muy sencillas, que ahora enunciaremos.

Propiedades

aZgebraiaas

de Q

62

a. En el conjunto Q de los nurne r o s racionales existe una oper a ci on + , Hamada surna, que veri£ica las rrri s rna s condiciones a1 - a4 s efia.Iada s en 8. I para los enteros. b. En e1 conjunto Qde los mi me r os racionales hay una op e r a-, c ron . , Hamada muz.tipUaacion, que tiene las propiedades b1a »« s efiaIa da s en 8. 1 para los enteros, y ademde: b4• Para cada nurne r o racional no nul-a x (que ahora s efiaIarrios por u n unico s Irnbo lo] existe un rnirn e r o racional, Hamado inverso de x e indicado por lox -1, tal que

(60)

Por ejemplo,

sea,

si x = ~ , es 1 (11. 1). (45)

X-I

2, pue s

3 jr

'3-6"

:;::

c. Las operaciones de suma y mu lt i pl.ica cion en Q, cumplen la ley distributiva: x . (y + 2') = x : y + x : 2'. (46)

12.2

Primeras ooneeoueneiae de 'Las propiedades alqebraicae

(i) Vemos que en Q subsisten todas las propiedades algebraiCas s efia.Ia da s en 8. I para Z, con 10 cual se cumple el requisite (ii) de 9.3. Consecuencia de esto, es que todas las propiedades demostradas en 8.2 para Z (cancelativa de la suma, de

a bs o r c ion del cero, involutiva -( -X) sisten en Q en virtud de las mismas

= x , reglas

de los signos) demostraciones.

sub-

(ii) Una propiedad cuya de mos t r-acion exige el uso de b4, y no es va.Ii da en Z, es esta: Teorema.

La eauacion en x

a· x
tiene

0, unica:

(a,b

e o,

=J

0),

(61 )

en Q ta solucion

(62)

que tcunbien Be denota E._. a

Derrro s t r a c i on , se obtiene: Multiplicando por a -1 ambos miembros de (61)

(a . X)

==

a-I.

0, se transforma
a s I:

y, en virtud

de bl, b4 y b3 el primer

miembro

63

12.3 Lo mismo que en Ny en Z, t arn bi en entre los mirn er o s racionales puede establecerse una relaci6n de orden indicada por s , (47) Sin entrar en detalles sefialemos que si y ~ e s tan escritos con denominadoree positivos (10 eual siempre es po s i bl e , poniendo por ejernplo y no -~), esa r ela ci on :s; puede definirse fo r ma lrn ent e a partir de la r eIa ci.on :s; en Z, estableciendo que

-i
a

a b

:s;

significa

que 7. 5
$

a. d 6 . 6,

s;

b·c.
sea, 35
$

(63)

Por ej errrplo , ~ s

t, pues

36.

12.4 Subsistenpara la relaei6n de orden S; en Q las propiedades sefialadas en 8.3 I Y II para Z. (48) Agreguemos que la r ela cion de orden s en Q (y ta mbi en en Z) es anqu-imediana, es decir, tiene Ia propiedad siguiente, que no puede deducirse de las dadas en 8.3:(49) A:cioma de Arqu£medes. Dadoe d08 numeroe raeionalee que 0 < a < 0, hay un numero natural n tal: que(Fig. ay b
23):

tales

na Fig. 12. 5 Pi-imerae coneeoueno iae (i) Ana.logarn errte a 12.2 (i), todas las propiedades sisten en Q con las rrris ma s dem.ostraciones. (ii) Veam.os ahora propiedades nen sim.ilares en Z. Teorem.a 1. 0< del orden
s;

23

de 8.4 sub-

en Q, que no tie-

x~

0<

x-\

Derno s t r a ci.on, Supongarnos que 0 < x . Si fuera x -1 sOpor el teorerna 8 de 8.4 s e r ia X· x-1;: 1 :s: 0, en contradicci6n con el corolario 2 de 8.4.

64

A se
(0

Definicion. {Confr crrte s e 1-4.5). Un arden ~ en un aonjunto Llama denso s i , dados doe elementos x , y de A tal.ee que x < y sea, x ~ y y x f Y), exi.et:e un el.emento 2€AtaL que x < 2 < y. Teorem.a 2. EL orden
s;

en Q, es deneo . Entonces: y+y

Derno s t r ac ion , 2.x Pero,

y entonces

Sea x < y.

x+x < x + y <

2 . Y.

(64)
=:

por ser 0 < 1 (corolario 2 de 8.4), es 0 < 1 + 1 (por teor. 1) 0 < 2-1 Y por tanto de (64) se deduce:

2,

< x+y <

2

y.

4
EL NUMERO REAL
1. Intervalos 1. 1 Vimos en capftul o 1-6 como s e puede definir un nurne ro real par una expresi6n decimal y e l concepto de ap r oxi ma c i Sn. Asf como los nurne ros racionales se pueden representar mediante una escala racional (cap. 1-4.2) por c i e r t os puntas de una recta, los nurrie r os reales se representan par los punt os de una recta que se llama e.ie de abec-ieae, En un eje de abscisas, a cada punto real que llamaremos abeeiea del punta. se Il arn a r a t arn oien punta r. corresponde un numero El pu nt o P de abscisa r

65

1.2 Dados des niirne r-os reales a y b tales que a < b, se definen los conjuntos siguientes, llamados inter>VaZos finitos de extremo inferior a y extremo superior b, abierto y cerrado , respectivamente: (a, b)

=
=

{x a < x < b}

(1 )

[a,

bJ

{x I a ::;;x ::;; b}.

(2 )

En palabras: el intervaZo abierto (a, b) es el conjunto de los nume r os reales comprendidos entre a y b; este conjunto no contiene como elementos a ninguno de los extremes a y b. EZ Lntier-: ual.o oermado Ca, b] es e1 conjunto de los mirrie r os reales entre a y b, y, a derna s, los extremos a y b. As i rni s m o se definen los intervalos r r a do a derecha": (a, b]
y "cerrado

"abierto

a izquierda

y ce-

[xla

< x ::;; b},

a izquierda

y abierto

a derecha": b}.

[a,b)::::

[xla~x<

Se llama amplitud tervalos a la diferencia a

0

longitud de cualquiera de estos cuatro inde sus extremos: 1 = b - a (Fig. 24).

:<

1 = b-a

>1I

'>i

Fig.

24

Por ejemplo,

la longitud delintervalo(-2,

3)esl=3-(-2)=5.

1.3 Una desigualdad unica tal como X > a caracteriza, en cambi o, una semirrecta que parte de a enel sentido del eje (Fig. 25); la llamaremos Lnberoal-a infinito de s de a hasta infinito: (a, co)

(x \ a < x ] .

Analogamente, los nfime r oa reales x tales que x < a forman el intervalo infinito desde menos infinito (- co) hasta a (Fig. 25): (-co,a)::: {x\x<a}.

66
x
Fig. 25. Intervalos

a a infinitos
(a,oo)

y (-co, a).

1.4 Conviene familiarizarse con la r-epr e s enta.ciSn de intervalos mediante desigualdades en otras formas. Recordemos que se llama modulo de a 0 valor abealu to de a, y se anota al mayor de los nfime roa a y -a (es decir, al que no es negativo). Por ejemplo, 1-2 \ 2, pues de los mirne r os -2 y -(-2) = 2, el mayor es el segundo. Ana.logarne nt e : 1-3 \ = 13\ = 3; \1 \ = 1. La definicion se completa con 10\ = o.

la I,

Entonces,

la desigualdad
S T,

Ixl

equivalea

-T

T,

(T>

0),

y entonces caracteriza el intervalo cerrado de punto medio 0 de abscisa 0, y eemi/lonq idud 0 semiamplitud r (Fig. 26). (50) Mas generalmente, la desigualdad

Ix -

a\

(3)

caracteriza al intervalo cerrado r (Fig. 27), pues equivale a -r

:::; - a :::;, x r

de purrto rne di o a y s erni ampl itud 0 sea, a

(4)

a - r :::; :::; + r. x a
1

t-E -- --------->1 , 1
-r Fig. 26.

2r

I 2r K-----------~
1

°
{x

a-r
Fig. 27.

a+r
-

I Ixl

:::;

r} .

(xl Ix

al

:::;

r}.

1.5 T'arnbi e n la r ep r e s errta ci Sn ge crnet.r-ica ayuda a interpretar y transformar desigualdades entre numeros reales. He aquf algunos ejemplos: (i) De a < b (a a izquierda de b, Fig. (-b a izquierda de -a), y reclprocamente. -b 28) se deduce -b < -a

-a 2.8.

Fig. (ii) Se tiene

a<

° bs

67
i, ys6losi,-b

< -a,

la+bl:::;lal+lbl,
Como se ve analizando todos los casos posibles signos de a y de b. (51) La figura 29 representa b> (a y bpositivos), ya < 0, b> 0.

(5)

en cuanto a los los casos a > 0,

.0

:< 1<-

la

r<

Ilia

I-Ib II

>,

l
a+b
:;;,.1

la+bl la 1+ Ibl

:b

>l

::.
2.9

,a
1

01

r<

Iial-Ibl!

>1

k
Fig.

1-<:-1a+ b I'~ la 1+ Ibl

,'a+b
I
I

1t
I

~:
I

(iii) 'I'arn bi en se demuestra dades (Fig. 29):

(52) que son val ida s las desigual-

la

b\ ~

Ibl -

[c ],

la

+ bl ~

[c ] - Ib\.

(6)

(iv)

Las dos desigualdades

(6) se resuznen

en esta iirrica: (61

)

cuyo segundo rni ernb r o es uno de los segundos (v) Las desigualdades

znieznbros

de (6).

(5) y (61) pueden agruparse

aS1: (7)

Iial
y de a quf resulta,

- Ibl \ ~ la

b\ ~ [c ]

Ibl, Ib\.

cambiando

b por - b:

lal - Ibl \ s la - bl ~ lal

Z. Aproximacionee por Deiecto y por Exceeo. de Numero Real por Encaje de Intervalos

Definici6n

68

2.1 Vimos en el capft ul o 1-5 y 6 que un mirne r o real queda determinado por una exp r e s i Sn decimal, y que el nurne r o es rac i orial si esta se corta 0 es pe r i Sdi c a , e irracional en caso cont.r a r i o. Esto nos condujo a definir provisionalmente el nu.mero real por su exp r e s ion de cirn al (cap. 1-6.3), y este era el concepto de nurne r o aceptado hasta znediados del siglo pasado. Pero la necesidad de independizar el concepto de nurn e r o de todo s i s t erna particular de nurn.er a ci.on, y la revision c r fti ca de los fundamentos y principios de La Maternati ca, condujeron a definiciones mas adecuadas que dieron K. Weierstrass, R. Dedekind, G. Cantor, etc. El rne todo de las cot-tadurae de Dedeki nd , que veremos en 5, tiene ventajas en el desarrollo te Sr ic o, pero la definicion de nurne r o real que ahora da r ern os es la que surge en forma mas natural del proceso de media- oantridadee e involucra el importante concepto de aproximao-ion, Las medidas aproximadas por defecto y por exceso de una cantidad h. son los extremos de intervalos que contienen a h en su interior. Este intervalo es tanto mas pequ e fio cuanto mayor sea el grado de la apz-oxirriaci Sn. 2.2 del Esta idea conduce a una definicion rna.terria ti c a rigurosa a partir de esta i ntui ci Sn ge orndt r i c a.:

nionero peat

To do mirne r o real e s ta representadopor un punto de un eje de a bs c i s a s , y al considerar ap r o xi rn acd ories racionales por defecto y por e xc e s o, cada ve z mejores, ese punto apa r e c e como punta c ornfin de los infinitos i nte r va l os cerrados de una s uc e s i Sn
(8)

con estas terior:

dos propiedades:

cada

Lnt e r val o e s t a contenido

en el an-

(9) y sus longitudes

al a;,) llegan a3 a4
I I ,

a ser A

tan pe.que nas b4 b3

COIIlO

se quiera
-:;;0

b;,) b1

(Fig.

30).

.i

Fig.

30

Una tal Por

sucesi6n

se llama

enoaije de inteI'Va'los.

ej ernpl o , para

el niirrie r o
IT

3,14159 ...

(10)

se tiene: lntervalos Apr. por defecto Apr. por exceso Longitudes

69

[3

4J

1 0,1 0,01 0,001

[3, 1 3,2J 3, 15 J [3,14 , [3,141, 3,142J

Ana.l o garne nte , el nurne r o

/l. = 1,414 .•.

e stfi definido [1;2J, par [1,4; e l encaje 1,5J, de intervalos: 1,42J, [1,414; 1,415J, ...

(11 )

[1,41;

(12)

d onde , como antes, los e xt r e rn o s de La izquie m ac i one s par defecto, y los de Ia derecha rnejores.

rda representan par e xc e s o ,

aproxicada vez

2.3

rtdmero
presa

Vemos, pue s , que admitida La definicion prov ieional de dada en el c a pit.ul o 1-6.3, cada rnirrie r-o real se excomo unico elemento cornfin a todos los intervalos de un en-

real.

c aje de intervalos.
nu.:meros les.
11

En los

12

ejernplos de Z. Z hernos partido de los

de c i rri a>

dados

en (1 O) y {II} par sus expresiones

Pero nuestro

p r opos i to es dar una nueva definicion

de nurnero

real,

sin los inconvenientes

de la definicion

provisional.

Enton-

ces, en lugar de considerar el encaje de intervalos forrnado por las aproximaciones decimales de un nurn e r o real, definir>emos un mirne r o real mediante un encaje de intervalos racionales cualquiera, Pero notemos que un rnisrno mirne r o real se puede determinar por difer>entes encaiiee de intervalos rac ionalee (es decir, de extrernos ra~ionales), considerando otiras aproximaciones racionales. Dos encajes de intervalos (8) y (1 2. )

70

determinan el: mismo ruanero real: si cada extremo inferior intervalo de uno de e110s es rnenor 0 igual que todo extremo rior de un intervalo del otro:

de un supe-

(13) para cualquier par de Indices

i.,

J.

Ahora bien, si definimos una relaci6n E entre los encajes de intervalos estableciendo que (8) e sta en esa re1aci6n con (12.) si se cumplen las condiciones (13), es inrnediato verificar que E es una relaeion de equ-ival eneia (cap. 3 -2). Por tanto E deterrnina una part-ie-ion del conjunto de los encajes de intervalos en el.aeee de eouivalencia, Como dos encajes de intervalos racionales de Ia misma clase de equivalencia determinan e1 mismo nurne r o real, sera oportuno redefinir el numero real, no por una c la se de intervalos racionales, sino par una c1ase de equivalencia de tales encajes. (53) Definici6n 1. Llamarernos encaje de inter'Valos raeionales a toda sucesi6n (8) de intervalos eerrados de extrem08 racionales~ cada uno contenido en el anterior: (9), y tal que dado un nUmero positivo € > 0 arbitrar'io (tan pequeno como se quiera)~ reeul.ta bn - an < E: eon tal de tioma» n Bufieientemente grande (mayor'que un nUmero no que depende del E: dado). (Fig. 30).

Definicion Z. Un numel'o peal A ee una cl.ase de equ-ioal.enc-ia de enr:::ajes e intel'Valos l'acionales r:::omo(8) y (12) l'especto de d la l'elaci6n de equivalencia definida pOI' las condiciones (13). 2.4 Reflexionemos sobre el camino recorrido. En po s e s i Sn del rnirrie ro racional y de una definicion provisional de nurrie ro real, simples consideraciones intuitivas sobre aproximaciones racionales de un mirne r o real, conducen a considerarlo COITlO elemento c ornun de los intervalos de un enc aje (2.2). Luego (2.3) dejamos de lade este enfoque intuitivo, que requiere un conocimiento previo del nurn er o real, pero r-etomamoe el: encaije de int.erualoe racional.es y l.Lamamoe numero peal a una cIa s e de equivalencia de tales encajes. Pa r e ce r a e xt r afio Hamar nurn e ro real a una c Ia s e de equiva1encia de encajes de intervalos racionales. Ello s e debe a que las prop iedadee matemdt-icae de los nfirne r o s reales pueden expresarse como propiedades de tales clases. Lo que irnp o r-ta ante .todo es que para estos nume r os s e puedan definir las operaciones
f un.darne nt a Ie s y el orden

~,

de suerte que el conjunto R de los nurrie r os reales pueda considerarse COITlO una a rnp Ii ac i on del conjunto Q de los racionales, y se conserven las p r opi.ed ade s de las ope r ac i one s y del orden en Q. 3. Operaciones

71

y Orden

3.1 Esbocemos la manera de definir en R las operaciones fundamentales y el or de n es a partir , de la definicion de nurrie r o real dada en 2.3. 3.2 Suma. Sean A y B dos nurne r os reales de te r mi.na.dos por los encajes de intervalos racionales (8) y (12). Si se s u.rnan los extremos inferiores, y par otra parte los superiores, de los intervalos de igual rango en arnbo s encajes, se obtiene un nuevo encaje de intervalos. Este encaje

determina un nfirne r o real taremos por A + B. (64) Por ejemplo, valos para
IT

que llamaremos

suma de A

y B, Y deno-

+!2 tendremos(2.2)
[4,55;4,57J,

el encaje

de inter-

[4;6J,

[4,5;4,7J,

... ,

donde los extremos inferiores son sumas de aproximaciones por defecto de IT y de /2 y, por tanto, aproximaciones por defecto de IT + /2 y a na Io garn ent.e los extremos superiores.

3.3 Resta. Si el nurn e r o real B esta determinado po r el encaje de intervalos (12), determinaremos el nurne r o real -B, Hamado opuee to 0 contirar-io de B, por el encaje de intervalos:

Con esto podemos definir A y el contrario de B:

A B

la difereneia

A - B C0IT10 Ia surna de

== A

(-B).

(14) de

3.4

En forma
y

multiplicaeion

division

anal oga se pueden definir las operaciones de numeros reales. (55)

72

3.5 Orden. El mirne r o real A determinado por el encaje de intervalos (8) se llama poei.triuo , y se denota A > 0, si tiene positiva alguna aproximaci6n racional par defecto es decir, si an> 0 para algun ri, El numero real A se llama neaat.ivo, y se anota A < 0, si tiene negativa alguna ap r oxi ma ci Sn racional par exoeeo; es dec i r , si bn < para algun n. Si no se da ninguno de estos cas os, A es el nurrie r o real cera A = 0. El nfirne r o real A se llama no neqatsivo , y se anota A :2:0, si es A > 0 0 bien A = O.

Se define en R Ia relaci6n A s i existe un nfirne r o real

,0;

,0;

poni e ndo (A, B

E:

B,

R),

no negativo

C (C:2:0), tal que A + C

B.

Con esta definicion se demuestra que S es una relaci6n de orden lineal en el conjunto R de los nurne r o s reales, y que subsisten las derna s propiedades vistas en capitulo 3-8.3 y 12.4, que ahora vi n cu l a.n el orden ,0; con l a estructura algebraic a dada a R mediante las operaciones de s urn a y de rnu It.ipl.ic ac.iSn ,

4.

Idea del Metodo de Cantor

4.1 Si consideramos el rnirne r o real A determinado por el encaje de intervalos (8), vernos que los extremos inferiores:

a 1, a2,···,

an,···,

(15)

forman una s uc es i on de nurne r os racionales que se aproximan tanto como se quiera aI nurne r o A (Fig. 31, a). Lo mismo ocurre con la s uc e s i Sn de los extremos superiores (Fig. 31, b): (1 6)
y con cualquier otra que se forme considerando todos unos y otros extremos; por ejemplo (Fig. 31, c):
0

algunos de

(17) A A r 1
L1

~
a

fe

re ...

Fig.

31.

Sucesiones

fundamentales.

73

4. Z Las sucesiones (l 5), (16) Y (17) tienen la propiedad expresada por la definicion siguiente:

Definicion 1.

Una eucee-idn de nWneros

(18 )

llama de Cauchy 0 fundamental, eciet e un nionero nf:. tal que

se

si para oada numero positivo

4.3 El metoda de G. Cantor se basa en la determinacion de un r o real mediante una sucee ion fundamental de numeroe »aeional.es . Pero un rni sm o nurn e r o real puede aproximarse tanto como se quiera por diferentes sucesiones de mirrier os racionales, como s e fia Iarno s en 4.1. Par eso conviene dar esta definicion:
nfirrie

Definicion 2.

Dos euees iones fundamenta Lee (18) Y

(20)

se llaman equivalentes mero N8 tal que:

si para cada nUmero positivo

e existe

un

nU-

(21 ) Dos sucesiones fundamentales equivalentes determinanel misrno nurrie r o real. Pero COITlO equivalencia Ia de sucesiones fundamentales es una r e Iac i.Sn de equi valencia (cap. 3 -2) Y por tanto define una pa r ti ci Sn del conjunto de las sucesiones fundamentales en clases de equivalencia, la af'i r rna ci Sn del c orrii e nz o e qui va.le a decir que todas las sucesiones fundamentales de una rni s ma clase de equivalencia deterrninan el rrri s rrio nfirn e r o real. Entonces, en el rne todo de Cantor, s i bien cada nume ro real se puede detierminar por una s uc e s i Sn fund arne nta.l de mirrie r os racionales, se 10 define COITlO una c Ia s e de equivalencia de tales sucesiones {conf r Snt e s e 2.3, def. 2): Definici6n 3. Un nUmero real A es una cl.aee de eauioal.eneia de euceeionee fundamentales de nWne!'os »aeional.ee como (18) y (lO), respecto de la !'elaci6n de equivalencia definida po!' la condicion (21)~

74

s.

Cortaduras

de Dedekind

S.l Con los rn et odo s de encaje de intervalos y de sucesiones furid arri e nt a l e s , un rni srno ntirne r o real puede de te r rrii na r s e por infinitas sucesiones de intervalos raciona1es y de nUITleros racionales, r e spe c ti varne nte . Por esoen arrib os rne t od os e1 nurrie r o real se define COITlO una elaee de eou ioal-eneia, Por otra parte, R. Dedekind (1831-1916), uno de los grandes iniciadores del rnode r no aria l.i s i s logico y fi l os Sfi c o de los fundamentos de La Mate mat.i c a, introdujo el niirne r o real par un m et.odo Hamada de las contadurae, Cada cortadura - -que definiremos en 5.2 - - es una c1asificaci6n especial de los ntirne ros r aci onal e s en dos clases, y determina un ntirne r o real. Fe ro, contrariamente a 10 que ocurre en los rne todo s de encaje de intervalos y de Cantor, un rnirrie r o real queda determinado por una un't-ca cortadura si es irracional, y por s6lo dos de ellas si es racional. S.2. Definici6n. Se llama cortadura de Dedekind en el: ooniiurito Q de los nianeroe raoional.ee, 0 cortadul'a en el aampo »aeional , a toda clasifiaaaion de los nUme!'os l'aaionales en dos clases A y B, de modo tal que:

(i) (ii)

Ambas alases

aontienen

nUmeros;

La alaee

Todo rz.Umero la claee A ee menor que oual.qicier nUmero de de B: a e A Y b e B =:; a < b; peirt eneee a una de las dos claeee.

(iii) Todo ndmero raoional.

5.3 Notacion y nombres, La cortadura definida en 5.2 se denota (A, B}; la c1ase A se llama elaee inferior y B se llama elaee superior de Ia cortadura (A, B). 5.4 Teorema. En toda cot-badura (A, B) en el: campo raeional: se pre8enta uno y s6lo uno de l08 siguientes tre8 casos:
(i) La e lase demtie de e l.l.a; A oont-iene

un manero , ae, mayor bo, menor

que

todos

Los

(ii) La ol-aee B contriene un ruanero demde de ella; (iii)

que

todos los

No ee verifica
Ejemplos (i):

ni

(i)

ni (ii).
casos son:

Nota.
Para

de cada uno de estos

75

A B
Para (ii):

LX Ix LX Ix

E: E:

Q Q

yX yx

s 3} 1 > 3} j

A
B Para (iii): Clase mayor que 2:

= Lxix

LX Ix

E: E:

Q Q

y y

x < 3} 1 x ~ 3} ) be
cuyo

3. sea

B: racionales

poei.bivoe

cuadrado

eX IX
{xix

Q, X

:>

0Y

x" » Z};

Clase A: todos los derna s mirrie r os racionales: A

Q yxnoperteneceaB].

En efecto: lO) La c1ase A e s ta formada por todas las aproximaciones racionales por defecto de /2 (que e s irracional, cap. 1-5.2), Y puesto que para cada apz-oxirna ci Sn racional de 12 hay otra mayor que ella, Ia clase A no contiene ningun numero que sea mayor que todos los de rna.s de ella.

2°) La c Ia s e B e s t a formada por todas las aproximaciones radonales por e xce s o de 12, y puesto que para t oda ap r oxi ma c i Sn racional de 12 hay ot r a menor que ella, Ia c1ase B no contiene ru rrgun numero que sea menor que todos los de ma.s de ella. Dernoat.r acf basta

Sn del Teorema.

Por

la definicion

del

caso

(iii),

p r oba r que no pueden

daree a La vez

los dos ptrimeroe caeoe .

Siella o cu r r i e r a , s e r ia por 5.2 (ii), ao <bo, yentonces, envirtud de Ia densidad del orden $; en Q (cap. 3-12.5), existirla un mirne r o r ac i ona.l centre ao y bo, es de ci r , tal que ao < c < boo Pera este mirne r o C, por las definicianes de ao y de ba, no pod rfa pertenecer ni a la c1ase A ni a la c1ase B, en c ont r adi cc i Sn con Ia c ondi ci on (iii) de 5.2. Esta demuestra el aserto, y con ello el teorema.

76

5.5 En los das primeros casas del te or e rn a anterior La cortadura de Dedekind en el c arripo Q no da nada nuevo, pues queda definida 0 determinada por un mirne r o rac-ional. (ao y bo, respectivamente). En el caso (iii) Ia cortadura define un nianero irraeional., El niirne r o irracional del ej e rrrpl o que dimas para e1 caso (iii) es /2.
base Adoptaremos, del conjunto pues, esta definicion de mirne r o real, sobre la
Q de los nurn e r o s racionales:

Definicion. Se llama nUmero real a toda en el campo Q de los nUmeros racionales.(56)

cortadura

de Dedekind

6. Orden y Operaciones
6.1 (Confr6ntese 3.1) Esbocemos ah or a La manera de introducir en el c orij unt o R de los rnirrre r os reales el orden $; y las oper aci one s fundamentales, a partir de La definicion de nfirne r o real por cortaduras dada en 5.5. Sean r y r' dos niirne r os r e a Ie s determinados por las cortaduras de Dedekind (A, B) Y (AI, BI), respectivamente. Es r < r' s i existen por 10 menos dos nurne zo s racionales que pertenecen a B y no a B I.

6,2

Orden.

Not e s e que no basta con que haya uno solo: enlos ejemplos de 5.4 nota para los casas (ii) y (i ), hay un mirrie r-o r a ci ona l , 3, que pertenece a la c Ia s e superior en Ia primera cortadura y no en l a segunda, pero ambas cortaduras definen el rni s m o mirn e r o real bo = ao ;= 3,

La r e Iac i.Sn s; se define en R estableciendo que r < r' a bien r = r I.

que

$;

r' significa

6. 3 Suma. Can las notaciones de 6.2 formemos siguientes (denotados A + AI Y B + BI):

A

los conjuntos

AI

[xix

+ c ', a c

Ay

a e:
l

AI],

+ BI = {xix
que
(A

=
+

+ b', b

B Y b'

E:

BI}.

Se comprueba

AI,

BI)

(22) que

e s una cortadura la dife rencia

(b

de Dedekind.

Para

ello basta can observar

bl)

(a

+ all

(b

a)

(bl

a I)

es positiva y puede hacerse tan pequei'ia como se qui e r a , En efe c to, tales cosas ocurren can cada una de las diferencias en el segundo miembro. Probado que (22) es una cortadura, definiremos como el nurne r o real de fi ni do par ella.
La surna r

+ r'

77

6.4 Reet:a, Con las notaciones de 6.2 formemos los conjuntos siguientes (denotados A - B I Y B - A I):
A B BI AI

= [xix (x

a =b

i», a
e ', b

E:

A Y bl BY

nj ,
AI}.

Ix

E:

E:

Se comprue ba que
(A BI, B - AI)

(23) que La diferencia

es una cortadura.
(b

Para

ella basta probar

-

- c ') - (a

bll

(b

a)

(bl

c ')

es positiva y puede hacerse tan pequei'ia como se quiera. En efecto, tales cosas ocurren can cada una de las diferencias en el segundo miembro. Probado que (23) es una cortadura, definiremos la difeT'encia

r - r:' como el nurrier o real definido por ella.

6.5 MuUiplicaci6n. Por un procedimiento ana logo se forma el produaio de dos nfirne r os reales. Se empiezaporel casoen que ambos sean poe-i t-iuoe , con la advertencia de poner en la clase inferior del producto los num e r os racionales negativos y los productos de los elementos positivos de las c Ia s e s i nfe r i o r e s de los factores. El producto de dos mime r os reales de signo cualquiera se define mediante el de sus valores absolutos y la ap Ii.ca.c.i on de 1a regIa de los signos.

6. 6 Division. Por a.nal ogo procedimiento al de 6, 5 se forma el oooient:e de dos mirne r o s reales, comenzando por e l caso en que ambos sean positivos.
70

Propiedades

de R

78

7.1 (Conf r onte se cap. 3-8.1 y 12.1) Sin entrar en detalles, s e fia.l e rrio s a quf que todas las propiedades del conjunto R de los nurne r o s reales en r e l ac ion con las operaciones racionales(suma, resta, multiplicaci6n y division) pueden demostrarse a partir de un mirrie r o relativamente pe que fio de propiedades muy sencillas, que ahora enunciaremos.

Prop iedadee

alqebra icae

de R
para los enteros (cap. 3-12.1). (cap. 3 -8. 1), .c on 0 sea: hay una ope r ac i Sn

Son las mismas enunciadas la agregada para los racionales

a. En e l conjunto R de los niirne r os rea1es +, llamada suma .. que verifica: al' La ley asociativa: La ley conmutativa: (x

y)

= =

(y
X.

z),

<I.c!.

+y

y+

a3• Existe un mirrie r o real 0 (cero), que es el.emento de "La surna.. es de c i r , para todo nurne r o real x verifica:

neutiro

o
a4, do

+x

=
X

x+

x.

(24)

A c a da nurne ro real

opuee to de x e indicado
x

por

corresponde un nurne r o rea111ama-x, tal que: ::: O. existe (25 ) una opera-

(-x)

b. En e l conjunto R de los nurne r os reales cion, llamada mul t-ipl.ioaaion, que verifica:

b1, bz' bs'

La ley asociativa: La ley conmutativa:

(x , y) ,z

=x

(y,

a).

x 'y

y , x,

la mul.t-ipl-ioaaion,

Hay un nurrie r o real 1 (uno), que es el.ementio neutro de es d e c i r , para todo riurrie r o real x verifica: 1,x=X,1=X,
(26)

Es 1 b4, ro real

'f

0,

A cada mirne r o real no nulo x se puede asociar un nlirnellamado inverso de X e indicado por ~ 0 x" \ tal que: (27)

c. Las operaciones de suma y de rnu'lt.ipLic a ci Sn en R e s t an relacionadas por Ia siguiente propiedad: Distributiva: x

»

(y

+ z)

X 'y

X·

e,

7.2 Subsisten para el orden :-;; n R las propiedades e sefialadas con relaci6n a los enteros (cap. 3-8.3) yel axioma de Arqufmedes (cap. 3-12,4), a las cuales debe agregarse una propiedad concerniente a una sucesi6n de intervalos cerrados. Reuniremos estas propiedades en dos grupos.

79

I.

Protriedadee

de orden
una r eIa.ci Sn :-;;

Entre los nurrie r os reales se puede estab1ecer (menor 0 igua1 que), con estas propiedades: a. al' ::;es una r-elaoi.dn Reflexi va:

de orden;
X :-;; x. (x .s
(X

es de c i r , es:

~.
a3• b.

Anti sirnet r ica:

Transitiva:

e
e

y s x)
y:-;; z)

=
S

y.
s,

:-;; y
0

~X

E1 or de n cses total.

l.ineal., es decir:
X

Dados dos niirne r c s reales

cualesquiera

e y, es

sy6Y

x.

c. Dada una sucesi6n (8) de Lnt.e r-val.os cerrados, cada uno contenido en e I anterior, (9), hay por 10 me nos un mirne r o real perteneciente a todos los intervalos,

Notas. ~ en R es

La propiedad c se enuncia diciendo que el orden oomp l.eto , 0 que R es completo respecto del orden s,

(i)

(ii) En c no se exige que las longitudes de los intervalos sean tan pe que na s como se qui e r a, de modo que no se t.i e ne necesariamente un encaje de intervalos en el sentido de 2.2 y 2.3. Por eso no hay urrioidad para el mirne r c real perteneciente atodos los intervalos (ve a s e 7.3, teorerna 1). (iii) Por otra parte, en c es esencial intervalos sean cerradoe; Par ejemplo, valos abiertos (0,1), (0,1/2), (0, 1/3), . ", la c ondi ci Sn de que los en la s uc e s i Sn de inter-

(0, l/n),

...
»

cada uno e s ta contenido en el anterior, pe r o no hay ni ngfin rrurrre ro perteneciente a todos ellos. Este mismo eje rnp lo muestra la necesidad de que, en el encaje de intervalos racionales de 2.3, los intervalos sean oerradoe .

II.

Relaeion
X ::;;

del orden ~ aon la eetiruotura

2 ~

alqebradoa

80

a.
b.

Y~x+

Y+
~

2.

(0,,;

yO,,;

y)

° ::;;x . y.
Dadoe

tales

c. Axioma de A'l'qutmedes. que < a < b, existe

un manero

doe ruoneroe natural n

»eal ee a y b tal que b ~ ri • a.

7. 3.
{i )

Pr imerae ooneeoueneiae

Vemos que en R subsisten todas las propiedades algebraicas s efia.l a da s para los enteros (cap. 3-8.1) Y para los mirne r os racionales (cap. 3 -12.2). Entonces subsisten en R con las mismas demostraciones los teoremas demostrados en c a.pftul o 38.2 para Z (propiedades cance1ativa de la suma, de a b s o r ci Sn del cero, involutoria -I-,») x, r e gl a de los signos).

Asimismo, subsiste en R con igua1 de rno s t r a ci Sn la propiedad demostrada en c apft ul o 3-12.2 para Q: existencia de soluci6n unica de l a ecuaci6n a- x = b s i a I- 0. Ot r a s e cua ci.ories algebraicas no son resolubles en Q pero sf en R. Por ej ernp l o, la ., e cua caon

xd

0,

que en R tiene las soluciones Xl = 2 - 2 = 0). Pero hay ecuaciones

COnlO

= /2

Y X2 = algebraicas

- /2 (por

ej., (/2)2 - 2 = no resolubles en R,

X2

+ 1 = 0,

pues cualquiera que sea:x: E; R, es X2 <! 0 Y entonces X2 + 1 (: o • . Para llegar a la existencia de s oIu c i on de toda e cua ci on algebraica es preciso arrrpl ia r nuevamente el conjunto de los mirn er o s con la i.nt r odu c ci.on de los nurn e r o s co m pl ejos (cap. 5). (U) As i mi s rno, s ub s i s te n con las rnisrnas de mo st r ac i one s los al orden ~ dernostrados a p r opos i to de los enteros (cap. 3-8.4) y de los racionales (cap. 3-12.5). En R valen ade ma s otras propiedades COnlO consecuencia de que el orden ~ es oompl.eto (Ie de 7.2).

t e or ern a.s concernientes

Teorema 1. Para todo encaije de intervaZos~ ee deei» (2.3), para toda suaesion de intervaZos aerrados aada uno aontenido en eZ anterior y oon longitudes tan pequenas oomo se quiera, existe un ~nioo numero real perteneoiente a todos Zos intervalos. Demostraci6n. 7.2. (U) Unioidad. Si hubiera dos riurne r oe reales distintos r1 Y r2 pertenecientes a todos los intervalos, las longitudes de todos ellos serlan no rrie no r e s que I r1 - r21 > 0, contra la hi p Ste s i s , Definicion
1'0

(i)

Existenoia.

Resulta de la propiedad

Ic de

81

if,

1. Sea S un aonjunto de nianeroe real.ee . ee llama aota supel'iol' de S si

X

El

nUme-

eS

=>

:s;

h, de S, t arnb ie n 10 es todo nfi-

Es claro
rn e r o rn a yo r

que si k es cota supe rior que k,

Tienen cotas superiores los intervalos [1, 3J Y (1,3), el intervalo (1, (0) ni el conjunto Z de los enteros.

pero no

1'0

Definicion 2. Sea S un oonijunto de mimeroe »eal.ee , El manee ee llama extremo superiol' de S, 0 supremo de S, y ee designa e = sup S, s i : {i) e ee co ta superior (ii)

de S; de S
=>

k oota superior

e s h:

Por ejemplo, los intervalos tienen todos el supremo 3. Esta importante mostrarse a partir

[1, 3J y (1,3), yelconjunto

[1, 3},

propiedad de los mirne r os de las de 7.1 Y 7.2: (57)

reales

puede

de-

Teorema 2. Todo conjunto S de ridmeroe real-ee , no vaeio (e» decir, con un eZemento porto menos), que tenga una cota superior, tiene supremo. La p r opi e dad no e s vati da en el conjunto Q de los racionale s. Por ejemplo, el conjunto

[x

IX

eQy

< 2]

tiene la cota superior 2, pues x2 < 2 => x < 2, pero no tiene supremo en Q (las cotas superiores raciona1es son los racionales > 12, pe ro a cada racional > 12 corresponde otro raciona1 > /2 menor que ell. (iii) ASI como con cor-tadurae en Los rac-ionalee se arnp Ifa su conjunto Q con el de los riurne r os reales R, cabe pensar s i, definiendo ana l oga s cotrtadurae en el: campo »eal., no se lograra una ulterior arnp l i ac i Sn de este campo. El bearema de pl.eni.iud de Dedekind, que se demuestra a partir del teorema 2, excluye esta posibilidad: Toda ootrtadura en el: campo real: esta definida pOI' un numero real. (y solo uno). Mas precisamente: (58) Teorema 3.

82

ruimeroe real.ee

Si (A, B) es una part-ie-ion del: conjun.to R de los en dos claeee disjun.tas A y B, tat que

EO

EO

=>

a<

b,

en.ton.ces, 0 bien. A tien.e un eZemen.to mayoY' que todos los demde de A, 0 bien B triene un e lemento mayor que todos 7,os dem6.s de
B. (59)

8.

Definicion

Directa

del Numero

Real

Vimos que todas las propiedades de los nurrie ros r e a.Ies en reladen con las operaciones racionales y el orden, se pueden deduc i r de las enunciadas en 7. 1 y 7. 2, donde figuran solo las operaciones + y " y la r e l a c i on S;. Por e s o puede definirse directamente e l nurne r o real, sin partir del nurn e r o natural y recorrer el camino N ~ Z ~ Q ~ R. El metoda direato consiste en introducir el sistema (R, + " ,s) en el cual R es un conjunto cuyos

e Ie rne nt os se Hanlan nUmeros real.ee , + Y . son do s ope r ac i one s en R, s; es una r e l a.ci Sn en R, y se c urrrpl e n las propiedades de 7.1 y7.2.(eo) Este rrie t odo es el rn a.s utilizado m ode r na.rriente por s u rn avo r agilidad y se de be a D. Hilbert (1862 -1943), qu.ie n expuso su fundam ent o en un celebre a r tfcul o publicado en 1900: Uber die Zahtbegriff

(Sobre el concepto

de nUmepo).
se definen luego N, Z Y QCOnlOsubcon-

En el rrieto do directo juntos especiales de R.

83

5
EL NUMERO COMPLEJO
1. Irit r o duc c i cri 1. 1 l,Por que a mpl iarno s el conjunto N de los nurn e r os naturales? Porque en N no siernpre se puede »eetar; l Por que arrrpliamos el conjunto Z de los enteros? Porque en Z no s i errip r e se puede dio idi», Arnp Ii.arno s el ca rrrpo riu m e r i co para tener ma s libertad en los calculos. En el conjunto Q de los mirne r o s racionales se pueden resolver las ecuaciones de p r irne r grado (cap. 3-12.2(ii». En c arn bi.o, la e cua c i on de segundo grado ,;c2 - i!. 0 0 sea ,;c2 2 no es resoluble en Q. Pero 5110 e s en R (reales), con r a.fce s 0 soluciones Ii y -12 (v ea s e cap. 4-7.3(i)). lFodran resolverse en R todas las ecuaciones de segundo grado? Ya v irn o s en capitulo 4-7. 3(i) que no. La e cu a ci.on ,;c2 + 1 = 0, a sea

85

(1)

no puede resolverse es nunca negativo. 1.2 (i) simple 0 Entonces:

en R pues el cuadrado

de un nurne r o real no

COtnO

bien nos resignamos a aceptar que una e cua ci on tan (1) no puede »eeolveree, y 10 rn i s rrio mu cha s otras;

(ii) 0 bien proseguimos

po riurne r i c o agregando Nez

nuestra serie de ampliaciones

del cam-

otro e s Ia bon a la cadena de inclusiones

C

R.

(2)

1. 3 Esto ultimo es precisamente 10 que ha r erno s . For de pronto, para resolver la e cua c i on (I) i nt r o duc i r ern os un nuevo s Irnbo10 nu.m.er i co , que indicaremos par i-, definido por Ia con di c i ori;
(3 )

Por 10 di ch o en 1.1, este s Irn.boIo i. carece de sentido mientras estemos en el campo real R. Pero veremos que conviene considerar a i. como un ruanero (llama do "unidad irnaginar>ia"), en un

campo numerico
R, es decir

C (de los

"numero« compZejos"),
de inclusiones C. R
C

mas amplio
(2) e I e s Ia bon

que

agregar

a la cadena

( 4)

1. 4 Asimismo, estas:

carecen

de sentido

en R expresiones

como

;-.::-:q:,

r-TI,

(_2)3/4,

log (-3).

Ello es particularmente cl a r o en las dos primeras: no hay n i ngun nurne r o real cuyo cuadrado sea -4 0 -38. Aunque;::r y ;:38 aun carecen de sentido para nosotros, transformemos e s as expr e s rorie s en la hi.pote s i s provisional de que subsista la propiedad distributiva de la r a dic ac i Sn con respecto a la rnu lt ip l i ca.cion , Se obtiene:

r-4 ::: 14·

(-1) (-I)

::: :::

/4.

n ::: vCl, ±2
±

(5)

86

;-::38::: 1-38'

/38. vCT::::

6, 1 ...

;:-r;

(6)

es de c i r , en ambos casos s e obtiene el producto de un nurne r o real por un mismo factor Ahora bien, por definicion de r a fz cuadrada, es un nurrie r o cuyo cuadrado es -1, y como i. cumple esta c on di c i on en virtud de (3), pondremos

n.
i:

:::: ;:::-I,
(5) y (6) pueden escribirse 1-38 = ± 6, 1. .. i.. a s I:

(7)

con 10 cual las iguaidades

./-4

=±

2 i,

Aqu i aparecen ya operacione s con el mirne r o t., Otros problemas, tales como la r-es oIu ci on de e cu a c i one s de segundo grado menos simples que (1), conducen a expresiones tales como

a. + bi.,
llamadas nurne r o s eompl.e.joe ,

(a, o

E:

R),

(8)

1.5 La e cua cion de segundo grado se puede es c r ibi r , dividiendo po r el coeficiente de X2, en la forma
X2

+ px

+q

0,

(9)

y se transforrna
X2

sucesivarnente

a s I:

+ px

::: _q,
(p2/4) _ g,

(x

+ (p/2»2:::

x + (P/2)
±

x=
es deeir, las ralees

-"2

/f -u,
_p2

± /(p2/4

_ q,

de la e cua ci.on (9) son

vt - ~.
~q

(10)

Ejemplos.

(i)

En la e cua c i on x2
_

4x + 3 = son:

a
=

(1 1)

es

p=
Xl

-4, = -(-2)

q=

3.

Las raices 2 + ,/1=

+ ~=

2+ 1

3,

Xa

2 - 1 = 1.

Verifiquernos 32 (ii)
-

la prirnera.

Reernplazando
=:

en (11) resulta:

4 . 3 + 3 = 9 - 12 + 3

a.

87
( 12)

En Ia e cua c i on
X2

2X

2=

es p

-2, q = 2.
Xl=

Las r a.fce s son:

1

-(-1)

+;r-::--2= la prirnera.

+ /-T=

+ i,

Xa

= 1 - i.,

Verifiquernos (1+ i)2_2(l+i)+ +2 a + ai

Re e rnp laz an do en (12) resulta: + i2_2_2i+ 2= 1+ 2i-1-2-2i +

=:0

a.

2=

1+

z:

1.6 Es natural, pues, operar con mirne r os eornplejos (8) como s i se tratara de binomios ordinarios, pero teniendo en cuenta (7) o la igualdad equivalente (3).
Por ejernplo: (a+ (a + bi) . (e + di)
=:

bi)+

(0+

di)=

(a+

e)+

(b+

d)i,

(13) be) i, (14)

ae + adi + bio + bdi."

(ae - bd) + (ad+

Pero esta rria ne r a puramente form.al de p r oce de r , a de ma s de sus misteriosas lagunas, es inadmisible como c on ce pt ua c ion , y fuerza es sustituirla por un desarrollo en forma logica del concepto de mirne r o complejo, como el que expondremos, debido a Ha.rn.i t on I (1853). 2. El Nurn e r o Complejo , rrie r s ron

como Par

Ordenado.

Operaciones

e In-

2.1 No es Licil i ma.glna r U que es" i desde unpuntodevistaintu it i.vo, Pero, desde mediados del siglo XIX, los ma terriat i co s tomaron plena conciencia de que la bas e es encial del concepto de nurn.er o e s ta en las operaciones y sus pr opi e da de s , y de que toda arnp.li a c ion del campo riurn.er i c o se obtiene def-iniendo nuevas numeros. T'oda definicion es l-ibre .. pero resulta de poco valor si no se la elije de rnanera a de cua da , En nuestro caso, deben definirse los nurne r c s complejos y las operaciones con ellos de modo que subsistan las propiedades algebraicas de R (cap. 4-7.2). Pero no es posible definir en e l conjunto C de los cornplejos un orden s en el cual subs i s tan las propiedades del c apit ul o 4-7.3.

88

2.2
f)

Definirernos

el nurne ro complejo

como par ordenado (0.3

==

(a, b)

( 15)

y el segundo,

el primero, eomponent:e real R(Z) == a I{Z) == b (no btl. Por tratarse de pa r e s ordenados, dos nurn e r os complejos Son iguales si tienen los mismos cornponentes. 0 sea, s i los complejos son Z y W se tiene: de nurrie r os reales, llamados
aomponent:e

imaginario

Z ==

W s i , Y s610 s i, R(z)

==

R(W)

e I(z) == leW).

( 16)

Entre

pl.ioaeion
men:

los pares s e definen las operaciones de Buma y de multitomando como gufa las igualdades (13) y (14). En resu-

a todo par ordenado Definie ion. L lamar emoe numero complejo (a, b) de numeros »eal.es a y b. Que el: par es ordenado significa que
(a, b) ==
.,-

(0, d) ei , y

solo ei., a == c y b == d. se definen

(17)

Entre los numel'OS complejos cion por :

la surna y la multiplica-

(a, b) + (c, d)

(a + e, b + d), (ae - bd; ad + be).

(18) (19)

(a, b) 2.3
niciones para b

(e, d)

Inmersi6n.
(18) y (19) = d = 0:
(a,O) (a, 0)

(Confr6ntese cap. 3 -7. 1 y 11.) Las defide suma y de rnu.It ipl i ca c io n de complejos dan

+ (c, (c,

0) 0)

(a + c,

0) 0)

+c
.c

(a· e,

=a

es de c i r , los mirne r os complejos de la forma (a, 0), (0, 0) --de componente imaginario 0- - se comportan respecto de las operaciones de s urn a r y multiplicar, como los numeros reales a yo que constituyen sus r e s p e c ti vo s componentes r e a.Ies , En otras palabras, para efectuar la s urn a y la rnultiplicaci6n con nurneros compl.ejoe de cornponente iIllaginario nulo, se suman 0 multiplican respe c ti varrie nte los rnirne r os real.ee que constituyen sus componentes reales. Por esta r a zon s e conviene en identificar cada complejo (a, 0) con e l nfirne r o real a. Con este convenio, e I conjunto R de los numeres rea1es es una parte del conjunto C de los cornp1ejos: R c C. La i de rrti fi c ac i Sn se s i rn bo l.iza a sf: (a, 0) = a.
(20)

89

2.4 FOI'l7la binomica, El complejo (0, 1) se llama unidad imaginar-ia y se designa por i.. Se fi erie entonces, par (19) y (20):

i/~

(0,1)

'(0,1)

(-1,0)

-1.

(21 )

T'arn bi e n en virtud b· i Finalmente, resulta (a, b) que es la Hamada

de (19) Y (20) se ti ene

(b, 0) • (0, I)

(0, b). en cuenta a + bi.,

(22 ) (20) y (22): (23 )

de (18), teniendo

(a, 0) + (0, b)

forma bin6mica

del ntirne r o complejo.

2.5 Complejos confuqadoe, L1amaremos complejo de (15) Y 10 indicaremos par -:ii, a bien z*, a1 que resulta do e1 signo del componente imaginario:

oonjuqado
carnbi ari-

z*

(a,

- b).

(24)

Teorema 1. (i) La surna y el: produeto de doe oompie ioe conjugados son numel'os l'eales. (ii) Reot'procament:e : si La sWl1ay el: produeto

de dos aomplejos

son numel'os l'eales~ tales

Demostraci6n.

aomplejos son aonjugados.

usando la forma bin6mica:

(i) Se tiene,

z + z*

= (a +

bt)

+ (a - bt)

= 2a + ot

2a,

(25) (26 )

(ii) De (18) anu1ando el componente imaginario de l a suma resulta: d = - b. Del mismo modo, anulando 1a parte imaginaria del producto (19):

o=

ad

+ be = - a b + be, de donde: a
esta importante

e.

90

Se verifica Teorema

de inmediato

propiedad:

2. El aonjugado de una surna ee igual a la euma de los de sus eumando s , y el. conijuqado de un productio ee iqual. al: produeto de los oorujuqadoe de sus faatol'es:(Sl) con.juqadas
(2'

+ w)* =

2'*

+ w*,

(2"

w)*

= 2'*'

io

«,

(27)

por el conjugado de este ultimo, 0 sea c - at., ASI queda en el denominador el producto de dos complejos conjugados, que es real (teorema I}:

2.6. Divisi6n. Para hallar el cociente de dos mirne r os complejos 2' = a + bi. y w = c + d i., semultiplicandividendoy divisor

a + bi. e+di

(a + bi) . (0 - dt) (e+di) ·(e-di)

ae- adt + Me - bdt2

ac + txi + be - ad
02

c2 +

d2

d2

c2

d2

i.

, E1 ultimo miembro de esta serie de igualdades es un numero complejo de la misma forma bi norn i ca que los datos de La division.

Ejemplo: 1 +2i 2 + 3i ~ (1 +U) (2 - 3£) = 2-3£+4£-6£2 4+9 = 8

13

(2 + 3i) (2 - 30

1
13

t.

2.7 Las operaciones definidas en Ctienenlas mismas propiedades que en R (cap. 4-7.1). Por e jernpl o, la corunutativa de Ia multiplicaci6n resulta de las de 1a suma y 1a multrplt cac icn de numeros r ea.Ies , pues en virtud de (19) se ti e ne
(0, d) • (a, b) y como los componentes

(ca-

db, c b

da),

iguaZes

del segundo miembro son ordenadament:e a las del segundo miembro de (19), resulta:
(0, d) • (a, b)

(a, b)

(0, d).

El elemento neutro de 1a suma de complejos es el mirne r o complejo (0,0), que en virtud de 2.3 seidentificaconelnumero real O. Si a + bi.
a s I: 1
=1=

0, el mirne r o complejo

inverso

se c a Lcu Ia , por 2.6,

91
a - bt.
(a

a + bi.

+ bO

(a - b£)

2.8 Demostremos que no es posible definir en e l conjunto C de los numeros complejos un orden s; con las propiedades senaladas en capitulo 4-7.2 para lOB realee y su r eIa c ion con Ia estructura algebraica.
Si tal orden e xi s ti e r a, el correspondiente definido par

orden
yx

eetz-ioto

<,

x <Y

s i , Y solo s i ,

s;

f.

Y,

tendri'a las propiedades: x<y~x+z<y+z

(28 )

°<x
Ahara bien, como i: ser

<y ~
=1=

° < x . y.
0

(29)
=1=

(0,1)

(0, 0),

sea

t.

0, tendri'a

que

°<

i.

a bien

t. < 0.