1

TEORA GENTICA DE LOS CAMPOS NUMRICOS

Ya habamos comentado cuando tratamos Nmero real que para generarlos podamos
proceder esencialmente de dos formas distintas.
Una de ellas, crear directamente a los nmeros reales. En ese caso los naturales, los enteros
y los racionales terminan siendo subconjuntos de los reales. Que fue la opcin que
desarrollamos oportunamente.
La otra, crear a los naturales, a partir de ellos construir a los enteros, con estos a los
racionales y por ltimo con los racionales generar a los reales. (El paso de los reales a los
complejos es el mismo en ambas opciones)
Desarrollemos ahora esta ltima opcin.

NMERO NATURAL
Axiomas de Peano
1) 0 es un nmero natural
2) Todo nmero natural tiene un siguiente

Al siguiente de a lo anotamos a
a se dice precedente de a

3) 0 no tiene precedente.
4) Si los siguientes de dos naturales son iguales entonces dichos nmeros son
iguales. a b a b
5) Axioma de induccin completa
Si un conjunto cumple: i) Contiene al 0
ii) Si contiene al natural x necesariamente contiene a su
siguiente x
Entonces dicho conjunto contiene al de todos los naturales
Sinteticamente

i) 0 A

A
ii) Si x A x A
Nota

x x

x x
1

Teorema Unicidad del antecedente

x a
ab
x b
Dem

x a x a
a b 4)
x b x b

ab

Teorema
0 es el nico natural sin antecedente
Dem
Consideramos el conjunto formado por el 0 y todos los naturales que tienen
antecedente. Si probamos que dicho conjunto es el de todos los naturales; entonces como
enunciamos el nico natural sin antecedente es el cero.
Denominamos H 0 x / x Para demostrar que H utilizaremos el
axioma de induccin completa
i) 0 H

lo cual se cumple por definicin de H

ii) Si x H

x H

De i) y ii) Ax. I .C.

Para poder asegurar que x H debemos probar que x 0

o que x tiene antecedente. La primera opcin no se da
pues 0 no es el siguiente de ningn natural; pero s la
segunda pues el antecedente de x existe y es x.
H

Teorema
Todo natural es distinto de su siguiente. x x x
Dem
Utilizaremos una idea similar a la del teorema anterior. Consideramos el conjunto de
los naturales distintos de su siguiente; si probamos que dicho conjunto es el de todos
los naturales. Entonces todos los naturales son distintos de su siguiente.
Sea H x / x x
i) 0 H

ya que 0 0 pues 0 no tiene antecedente y si lo tiene 0

ii) Si x H

x H
2

Si x H

x x x x

Pues si x x x x por ser el

antecedente de un natural nico.

De i) ii) Ax. I .C.

Suma en los naturales

Definicin Llamamos suma a una funcin : tal que:

1) 0 y y y
2) x y x y
Denominamos operacin en un conjunto A a una funcin de A A A Por lo tanto para
que la definicin dada nos conduzca como queremos a una operacin en debemos
verificar que es una funcin de En otras palabras que todo par de naturales
tiene una y solo una imagen.
( x, y)
si x 0 ( x, y) (0, y) tiene una y solo una imagen que es y
Si x 0 x x y x y Def x y

que por lo visto existe y es nico.

Teorema
x 0 x x

Dem
Otra vez la misma idea. Sea H x / x 0 x Probaremos axioma de
induccin completa mediante que H
i) 0 H ya que 0 0 0 por como fue definida la suma

ii) Si x H

x H

Queremos demostrar que x 0 x

Ahora x 0 def x 0 (*) x
(*) x 0 x

pues partimos de la hiptesis que x H

De i) ii) H
Teorema
x y x y

Dem Nuevamente recurriremos al axioma de induccin completa.

3

Sea H x / x y x y y

probemos que H

0 y Def y 0 y 0 H

i) 0 H
ii) Si x H

x H

Queremos probar que x H

x y x y

x y Def x y xH ( x y) Def x y
De i) ii) H
Teorema

Conmutativa
x y y x x, y

Dem
Adivine que camino vamos a seguir? Acert.
Consideramos H x / x y y x y
i) 0 H

0 y Def y
0 y y 0 0 H
y 0 T.ant y
x H
Para probar qu x y y x y e x H debemos demostrar que

ii) x H

x y Def x y xH y x T .ant y x y

De i) ii) H
Neutro
0 / x 0 0 x x x

Es consecuencia de la definicin de suma y de algunas de las proposiciones demostradas

anteriormente. Adems el 0 es el nico neutro de la suma; pues si existiera otro neutro 0'
0 0' 0 por ser 0' neutro
0 0'
0 0' 0' ya que 0 es neutro
Recordemos que el resultado de una operacin es nico.

Teorema Asociativa
x ( y z) ( x y) z x, y, z

Dem

Otra vez recurriremos al axioma de induccin completa. Consideramos

H x / x ( y z ) ( x y) z y, z
Intentaremos demostrar que H

i) 0 H

Para lo cual debemos demostrar: 0 ( y z) (0 y) z y, z

0 ( y z) y z
0 ( y z ) (0 y) z 0 H
(0 y ) z y z
ii) Si x H

x H

Para poder afirmar que x H debemos demostrar que

x ( y z) ( x y) z y, z

( x y) z Def x y z Def ( x y) z xH x ( y z ) Def x ( y z )

De i) ii) H

Teorema
xa x a 0

Dem
Tambin por induccin completa.
Consideramos: H x / si x a x a 0
i) 0 H

Queremos probar que: si 0 a 0 a 0

Ahora si 0 a 0
a0
Como 0 a a
ii) Si x H

x H

Para poder afirmar que x H debemos demostrar:

si x a x a 0

Ahora x a x ( x a) x x a x xH
De i) ii) H
Teorema
Si `x `x y x y
5

a0

Dem

`x y Def `x y x y

`x y x y

`x y x y

Teorema
Si x 0 x y 0 y
Dem
Si x 0 `x llamemos z al antecedente de x. O sea que `x z x z

x y z y Def ( z y) ' existe el antecedente de x y que es z y x y 0

Corolario
x y 0 x 0 y 0

Definicin
Denominamos 1 al siguiente del 0.

Sintticamente 1 0

Teorema
x x 1 x

Dem
x 1 x 0 x 0 x

Orden
Intentaremos definir una relacin de orden en los naturales. En otras palabras
definir x y Y que la relacin < cumpla con las propiedades que previsiblemente
deben cumplirse. Antes de tal definicin probemos:
Teorema
x, y se cumple una y solo una de las siguientes proposiciones:

i) x y

ii) a , a 0 / x a y

iii) b , b 0 / x y b

Dem
Probemos primeramente que todo par de naturales cumple i) ii) o iii) y luego que
cumple solo una.
Consideramos H x / x cumple i) ii) o iii) y
Probemos que H induccin completa mediante.
6

y 0 x y x cumple i)

y
y 0 y , y 0 / x y 0 y y x cumple ii)

Por lo tanto 0 H

i) 0 H

ii) Si x H

x H

Para poder afirmar que x H debemos demostrar que x cumple i) ii) o iii)
Si x H

x cumple i) ii) o iii)

En caso de que x cumpla i) tenemos que x y x y y 1 x cumple iii) y

por lo tanto x H
Si x cumple ii) o sea a N , a 0 / x a y
Como a 0 `a x `a x `a x `a x a y
En caso de que `a 0 x y x cumple i)
Y si `a 0 x cumple ii)
Por lo tanto x H
Si x cumple iii) en otras palabras b , b 0 / x y b
x y b y b b , b 0 / y b x x cumple iii)

Y en consecuencia x H
Con lo cual queda demostrado que H y por lo tanto todo par de naturales verifica
necesariamente i) ii) o iii). Probemos ahora que se cumple una sola de ellas; lo cual
haremos por absurdo.
Si se cumple i) x y

x a x a 0 lo que es abs.
ii) a , a 0 / x a y
Anlogamente se demuestra que suponer que se cumplen simultneamente dos o ms de las
tres condiciones nos conduce a una contradiccin.
Definicin

Dados x e y naturales; decimos que x y a , a 0 / x a y

Teorema

x, y se cumple una y solo una de las siguientes proposiciones:

i) x y
ii) x y
iii) y x
Lo cual es consecuencia inmediata de la definicin y del teorema inmediato anterior.
7

Teorema Transitiva

x y
xz
yz
Dem

x y a , a 0 / x a y
x a b z x (a b) z
y z b , b 0 / y b z
Por otra parte a 0 b 0 a b 0
Y por lo tanto x z

Teorema Monotona de la suma

x y xz yz

Dem

x y a , a 0 / x a y

x a z y z

x a z y z

Como a 0 a z 0 x z y z

Teorema Monotona generalizada de la suma

x y
x z yt
zt
Dem

x y monot
z t monot

x z y z
transitiva
y z y t

Definicin
Definimos

xy yx

Teorema Cancelativa de la suma

Dem

x z y t

xa ya x y

Intentaremos hacerlo por absurdo. Suponemos entonces que x y Aplicando

tricotoma tenemos que: x y o y x
Si x y monot x a y a lo cual contradice la hiptesis.
Si y x monot y a x a lo cual tambin contradice la hiptesis.
Por lo tanto no queda otra opcin de que x y

Definicin

x y

x y
x y

Teorema

1) x x x
Idntica
2) x y
x y Antisimtrica
yx

3) x y
xz
yz

Transitiva

Demostraciones a cargo del lector.

Definicin

Teorema

x y

yx

x 0 x

Dem

Si x 0 x 0
Si x 0 x , x 0 / x 0 x Def
Teorema

0 x x0

1) Si x y x y
2) Si x y `x `x y

Dem 1)

x y a , a 0 / y a x
Como a 0 `a adems a `a 1 Sustituyendo en y a x nos queda
y `a 1 x y `a 1 x
y 1 `a x y `a x
y

Si `a 0
Si `a 0

y x

y x

y x

Dem 2) Anloga

10

Producto en los naturales

Definicin Llamamos producto a una funcin .: tal que:
1) 0. y 0 y
2) xy xy y
Para que la definicin dada nos conduzca como queremos a una operacin en debemos
verificar que es una funcin de En otras palabras que todo par de naturales
tiene una y solo una imagen.
( x, y)
si x 0 ( x, y) (0, y) tiene una y solo una imagen que es 0
Si x 0 x x. y x . y Def `xy y

que por lo visto existe y es nico.

Teorema Absorcin
x.0 0 x

Dem
Consideramos H x / x.0 0 intentaremos probar que H utilizando el
axioma de induccin completa.
i) 0 H para lo cual hay que probar 0.0 0 lo cual se cumple por la primera parte de la
definicin dada
ii) Si x H

x H

Ahora x H

x.0 0

x.0 Def x.0 0 x.0 xH 0

De i) ii) H
Teorema
x. y x. y x

Demostracin por induccin completa a cargo del lector

Teorema Conmutativa
x. y y.x x, y

Tambin acepta una demostracin por induccin completa que dejamos a cargo del lector.

10

11

Teorema Distributiva respeto de la suma

x.( y z) x. y x.z x, y, z

Demostracin por induccin completa a cargo del lector.

Teorema

Neutro
x.1 x x

Demostracin por induccin completa.

Teorema Hankeliana

x0

x. y 0
y0

Dem Si x 0 Se cumple la tesis

Si x 0 queremos probar que y 0

Como x 0 `x o dicho de otra manera x z
xy zy zy y 0 T.ant zy 0 y 0
Corolario
x0

y 0 xy 0

Teorema Monotona del producto

x y
xz yz
z0
Dem

x y a , a 0 / x a y
Como a 0 z 0 az 0

x a z yz

entonces xz yz

Ejercicio Probar

0 x y
xz yt
0 zt
Teorema Cancelativa del producto

xz yz
x y
z0
11

xz az yz

12

Dem
Por absurdo. Suponemos que x y por tricotoma x y y x

Si x y como z 0 monotona

xz yz lo cual contradice la hiptesis

Si y x como z 0 monotona

yz xz lo que tambin contradice la hiptesis.

No quedando otra opcin que x y

Teorema Propiedad Arquimediana
Dados dos naturales cualesquiera, siempre existe un mltiplo de uno de ellos que supera al
otro. En lenguaje de hiptesis - tesis

a, b
H)
0ab

T) n / na b

Dem
tomando n b tenemos que na ba b.1 b b

a a 0 a 1

Mtodo de Induccin Completa

Oportunamente trabajamos el tema. Ahora lo veremos
en este marco terico.
Lema
nk

y / y k n

Dem

n k y , y 0 / y k n

nk
n k y 0 / yk 0k n

En ambos casos y / y k n

Ahora por hiptesis y / y k n

Si y 0 n k n k

Si y 0 def

nk nk

12

13

Teorema Principio de Induccin Completa.

P una funcin proposicional de dominio

H ) 1) P(k ) V
2) Si P(h) V P(h 1) V
h N ; h k

T) P(n) V

n N ; n k

Dem
Consideramos H y / P( y k ) Verdadera Probemos que H utilizando
el axioma de induccin completa.
i) 0 H
Ahora 0 H P(0 k ) V
Como P(0 k ) P(0) y P(0) V por hiptesis 0 H
ii) Si x H x H
Para demostrar que x H debemos probar que P( x k ) V
Como x H

P( x k ) V H)

P( x k 1) P( x k ) V

De i) ii) H
Entonces n ; n k Lema

n y k siendo y H

P(n) P( y k ) V

Principio de buena ordenacin

Antes de tratar el mencionado principio vamos a algunas definiciones previas.
Definicin
Consideramos A , diremos que:
1) A esta acotado superiormente

k / k a a A

(k se dice cota superior de A)

2) A esta acotado inferiormente h / h a a A
(h se denomina cota inferior de A)
3) A esta acotado A esta acotado superior e inferiormente.
Ejercicios: Investigar si los siguientes conjuntos estn acotados superior y/ inferiormente ;
en caso afirmativo determinar sus cotas
1) B= x / 2 x 7

2)

Si un conjunto esta acotado superiormente (inf.) Cuantas cotas superiores (inf.) tiene?
13

14

Observacin Todo conjunto de naturales est acotado inferiormente por 0

Definicin
Sean: A un conjunto de nmeros naturales, M , m .
M a a A
1) M es mximo de A
M A

Diremos que:

m a a A
2) m es mnimo de A
m A
En otras palabras el mximo (min.) es una cota superior (inf.) que adems de serlo
pertenece al conjunto.
Ejercicios: Analizar si los conjuntos

1) B= x / 2 x 7

2)

Tienen mximo y/o mnimo ; en caso afirmativo hallarlos.

Teorema Principio de buena ordenacin
Todo conjunto de naturales no vaco tiene mnimo.

H) H ; H

T) mn H

Dem

Si 0 H 0 mn H
Si 0 H

pues 0 x x H ya qu H

Consideramos K y / y x x H
Observemos que 0 K
Ahora si y K necesariamente y 1 y K Ax. IC K
H H K
Por otra parte H H ya que H
H K por como fue definido K
De donde H lo cual contradice la hiptesis. Por lo tanto es falsa la
Proposicin y K necesariamente y 1 y K
y0 K / y0 1 K
Dicho de otra manera hemos probado que existe un ltimo elemento en K
tal que su siguiente est en H. Intentaremos probar que y0 1 es el
mnimo buscado.

Nos falta probar que y0 1 H lo cual haremos por absurdo; supongamos que y0 1 H
Como y0 1 x x H si y0 1 H y0 1 x x H y0 1 K
Pero y0 1 K

Por lo tanto y0 1 H

De ambas proposiciones subrayadas concluimos que y0 1 min H

14

15

Corolario
Todo conjunto de naturales no vaci y acotado superiormente tiene mximo.
Demostracin a cargo del lector. Le sugerimos considerar el conjunto de las cotas
superiores y demostrar que este ltimo conjunto tiene mnimo y que dicho mnimo es el
mximo del conjunto inicial.
Diferencia o resta
Si a, b ; a b la definicin de nos permite asegurar que d / b d a .
Adems el natural d es nico. Ya que si d / b d a b d b d
d d
Al natural d que como acabamos de ver existe y es nico lo denominaremos diferencia
entre a y b. Concretamente.

Definicin
a, b , a b

a b d

bd a

Sobre la divisin conversamos en otra oportunidad.

NMERO ENTERO
Observemos que las restas 2 5 y 4 7 dan el mismo resultado (-3) pero en este marco
terico todava no sabemos an quin es -3. Por ahora podemos manejarnos exclusivamente
dentro del conjunto de los nmeros naturales.
De alguna manera los pares ordenados de naturales 2,5 y 4,7 nos conducen al mismo
entero. Observemos que 2 7 4 5 .
Similares observaciones podemos hacer sobre 7 10 y 1 4 . Nuevamente los pares
ordenados 7,10 y 1, 4 nos conducen al mismo entero. Otra vez podemos observar que
7 4 10 1 .

Teorema

H) R : ; a, b R c, d a d b c
T) R es de equivalencia.

Dem
Idntica

a, b R a, b

a, b

Como a b b a a, b
Recproca

a, b R c, d
a, b R c, d

a, b R a, b

a, b

c, d R a, b

a d bc c b d a
15

c, d R a, b

16

Transitiva

a, b R c, d

c, d R e, f

a, b R c, d
c, d R e, f

a, b R e, f

a d b c a d f b c f
ad f bd e
c f d e b c f b d e

a f be

a , b R e, f

Nota A partir de ahora si a, b R c, d anotamos a, b c, d

As 2,5 4,7 pues 2 7 5 4 . Tambin 7,10 1, 4
Teorema
1)
2)

a, b a x, b x
a, b a x, b x

x
x ; x a x b

Demostracin a cargo del lector.

Observacin
Si a b
Si a b

a, b a b, b b a b,0
a, b a a, b a 0, b a

As que dado cualquier par ordenado de naturales, existe otro par equivalente con al menos
una componente cero.
Definicin
Llamamos conjunto de los nmeros enteros (anotamos ) al conjunto cociente
determinado por la relacin en . Sintticamente

Por lo tanto en este desarrollo terico un entero es una clase de equivalencia.

Observacin
Si a b
Si a b

a, b a b,0
a, b 0, b a

16

a, b a b,0
a, b 0, b a

17

Operaciones con enteros

Adicin

Definicin : 2 ; x, y z, w x z, y w

Comencemos demostrando que se trata de una operacin. Para lo cual debemos demostrar
que si sumamos dos enteros obtenemos un entero y uno solo. Ahora, es inmediato que la
suma de dos enteros es un entero. Faltara demostrar la unicidad del resultado. La
definicin que acabamos de ver involucra a un representante de cada entero que estamos
sumando los pares x, y y z, w respectivamente tendramos que demostrar que dicha
definicin no depende de los representantes elegidos. O sea que:
Si x, y x, y

x, y z, w x, y z , w

z , w z , w

Probmoslo.

x, y x, y

x, y x, y

z , w z , w

z, w z, w

x y z w y x w z

x y y x

z w w z

x z , y w x z , y w

x z , y w x z , y w x, y z , w x, y z , w
Teorema

, es un grupo conmmutativo.

Dem Dejamos asociativa y conmutativa a cargo del lector.

Neutro Comencemos por observar que x, y 0,0 x 0, y 0 x, y
As que 0, 0 / x, y 0,0 x, y x, y
Por lo tanto la adicin de enteros tiene elemento neutro y este es 0, 0
Opuesto Queremos probar: x, y z, w / x, y z, w 0,0
Ahora: x, y z, w 0,0 x z, y w 0,0

x z, y w 0,0

x z 0 y w 0 x z y w
17

18

Para que esto se cumpla alcanza con tomar z y w x

En definitiva x, y y, x / x, y y, x x y, x y 0,0
Nota Al probar que , es un grupo conmmutativo se desprende que el neutro es nico,
que se cumple la cancelativa y est definida la resta como la suma del opuesto.
Multiplicacin
Comencemos por observar: x y z w xz xw yz yw xz yw xw yz
Definicin

: ; x, y z, w xz yw, xw yz

Para demostrar que es una operacin alcanza con demostrar que el resultado no depende del
representante elegido. En otras palabras que:
Si x, y x, y

x, y z, w x, y z , w

z , w z , w

Comenzaremos probando:
Si x, y x, y x, y z, w x, y z, w

Ahora: x, y z, w x, y z, w xz yw, xw yz xz yw, xw yz

xz yw xw yz xw yz xz yw x y z y x w x y w y x z
Si x, y x, y x, y x, y x y y x De donde multiplicando
ambos miembros por z nos queda: x y z y x z y si ahora multiplicamos por w

x y w y x w Sumando miembro a miembro estas ltimas igualdades obtenemos

x y z y x w x y w y x z y como vimos de ac se desprende que
x, y z, w x, y z, w
Anlogamente Si z, w z, w x, y z, w x, y z, w
Entonces:

18

19

Si x, y x, y

x, y z, w x, y z , w

z , w z , w

Teorema

, ,

es un dominio de integridad.

Demostracin a cargo del lector.

Inmersin de los naturales en los enteros

Es claro que en este marco terico no podremos considerar a los naturales como enteros.
Pues un entero es una clase de equivalencia, en este caso un conjunto formado por infinitos
pares de naturales. Sin embargo con la presencia de un isomorfismo entre la los naturales y
una parte de los enteros, podremos de alguna forma considerar a los enteros como una
extensin de los naturales.

Nota Anotamos 0 n, 0 ; n
Observemos que tanto la suma como el producto es cerrada en 0 , es ms
n,0 m,0 n m,0
n,0 m,0 nm 0.0, n.0 0.m nm,0

Teorema

f : 0 ; f (n) n,0 es un isomorfismo entre , , y 0 , ,

Dem:

n,0 n,0 pues n 0 0 n

n,0 n,0 f (n) f (n)

f inyectiva Si n n

f sobreyectiva

n,0 0

n / f (n) n,0

f homomorfismo 1) f (n m) f (n) f (m) n, m

2) f (n.m) f (n) f (m) n, m
Proposiciones que fueron demostradas en la nota inmediata anterior.
Nota

Al ser , , y 0 , , isomorfas por f y f (n) n,0 , al entero n, 0 lo

podemos anotar simplemente n .
19

20

Tenemos que en este marco terico los naturales no estn incluidos en los enteros pero son
isomorfos a 0 y este s es un subconjunto de .
Tambin a partir de ahora no haremos distincin entre la suma de enteros (anotada hasta el
momento ) y la de naturales (que escribimos +). Lo mismo para el producto de enteros y
de naturales.
Por otra parte si anotamos n al entero 0, n , teniendo en cuenta que
Si a b a, b a b,0 a, b a b,0
a, b 0, b a
Todo entero lo podemos anotar n n.

Si a b

a, b 0, b a

Orden en
Comencemos por observar que: x y z w x w y z
Lo cual hace razonable la siguiente definicin.
Definicin

x, y z, w x w y z

Nota Estamos usando el mismo smbolo para menor en enteros que en naturales. Ahora
esta libertad est justificada en el hecho que n m f (n) f (m)
Pues:

n m n 0 0 m n,0 m,0

Nota Primero que nada tendramos que probar que la definicin de menor dada no depende
de los representantes elegidos. En otras palabras que:
Si x, y x, y

z, w z, w

x, y z, w x, y z , w

Lo cual dejamos a cargo del lector como tambin que el menor definido es una relacin de
orden estricto total compatible con la suma y el producto (monotonas)

20

21

NUMERO RACIONAL
Comencemos por observar que bajo el otro marco terico que desarrollamos (cuando
a c
generamos directamente a los reales)
ad bc Ahora segn esta opcin,
b d
a
todava no tiene sentido hablar de
a, b pero si trabajar con productos.
b
Teorema

R : * * ; a, b R c, d ad bc es de equivalencia.

Dem.
Idntica

a, b R a, b

a, b *

Como ab ba a, b
Recproca

Transitiva

a, b R c, d
a, b R c, d

a, b *

c, d R a, b

a, b R c, d

c, d R f , g

a, b R a, b

ad bc cb da

c, d R a, b

a, b R f , g

a, b R c, d
c, d R f , g

ad bc
adcg bcdf
cg df

acg bcf

si c 0 ag bf

d 0

a, b R f , g

Ahora si c 0 tenemos que ad 0 y como d 0 a 0

df 0 y como d 0 f 0
Entonces en este caso ag bf 0
Nota

a, b R f , g

A partir de ahora si a, b R c, d anotamos a, b c, d

a
en lugar de a, b
b
a c
ad bc
Con estas notaciones
b d
Tambin escribiremos

Ejercicio Probar:

a ax

b bx

x *
21

22

Definicin
Llamamos conjunto de los nmeros racionales (anotamos ) al conjunto
cociente determinado por la relacin de equivalencia anteriormente definida sobre *
*
Ms precisamente
en donde : * * ; a, b c, d ad bc

Operaciones con racionales

Definicin
a c ad bc
b d bd
a c ac
2)
b d bd

1)

Para demostrar que hemos definido dos operaciones en tendremos que probar que dichas
definiciones no dependen de los representantes elegidos. O sea que:
a c a c
b d b d

a a
c c
Si

b b
d d
a
c
a
c

b d b d
a c a c
ad bc ad bc
Comencemos por probar que

b d b d
bd bd
ad bc bd ad bc bd adbd bcbd ad bd bcbd
a a
a a
Como

ab ab abdd abdd
b b
b b
c c
d d

c c

cd cd
d d

cd bb cdbb

Sumando estas dos ltimas igualdades miembro a miembro nos queda que
abdd cd bb abdd cdbb

a c a c
Que si observa con atencin es equivalente a
b d b d
a c a c
Anlogamente se demuestra que
b d b d
22

23

Teorema

, , es un cuerpo.

Demostracin a cargo del lector.

Nota Que , , sea un cuerpo trae como consecuencia que , , verifique todas
las propiedades que vimos para , , luego de enunciado el axioma 1 (axioma de
cuerpo) y antes del axioma 2 (axioma de orden). Dentro de las cuales resaltamos: la
unicidad de los neutros, cancelativas, absorcin, ausencia de divisores de cero
(Hankeliana), la posibilidad de definir resta y divisin.

Inmersin de los enteros en los racionales

a
Anotamos 0 r / r con a
1

Teorema
x
f : 0 ; f ( x) es un isomorfismo entre , , y 0 , ,
1
Dem
Dejamos a cargo del lector que f es una funcin biyectiva. Probemos s que es un
homomorfismo:
p q
p q
f p q
(*) f ( p) f (q) p, q

1
1 1
p.q
p q
f p.q
(**) f ( p) f (q) p, q

1
1 1
p q p.1 1.q p q
(*)

1 1 1.1 1

p q p.q p.q
(**)

1 1 1.1 1

Nota
x
x
Al ser , , y 0 , , isomorfas por f y f ( x) , al racional lo
1
1
podemos anotar simplemente x .
Tenemos que en este marco terico los enteros no estn incluidos en los racionales pero son
isomorfos a 0 y este s es un subconjunto de .

Tambin a partir de ahora no haremos distincin entre la suma de racionales (anotada hasta
el momento ) y la de enteros (que escribimos +). Lo mismo para el producto de
racionales y de enteros.

23

24

Orden en los racionales

Como

a ax

b bx

x * podemos afirmar que

a a

b b

a
En consecuencia r , a, b con b 0 / r . En otros trminos todo racional
b
puede ser representado por una pareja de enteros de segunda componente positiva. Este
comentario viene a colacin para la siguiente definicin.

Definicin
a
c
Consideramos r , s / r con b 0 y s con d 0
b
d
Decimos que r s ad bc

Nota Estamos usando el mismo smbolo para menor en racionales que en enteros. Ahora
esta libertad est justificada en el hecho que p q f ( p) f (q)
p q
Pues:
p q p.1 1.q
1 1
Nota Primero que nada tendramos que probar que la definicin de menor dada no depende
de los representantes elegidos. En otras palabras que:

a a
Si
b b
a c

a c

b d
b d

c c
d d

Lo cual dejamos a cargo del lector como tambin que el menor definido es una relacin de
orden estricto total compatible con la suma y el producto (monotonas)

24