MATEMTICA BASICA

Jos Daro Snchez Hernndez

Bogot -Colombia. julio- 2009
danojuanos@hotmail.com
danojuanos@tutopia.com
danojuanos@yahoo.com
Algunos de mis apreciados visitantes me proponan un material
elemental dirigido a estudiantes un poco ms nefitos, pero
conservando el espritu inicial que me he propuesto desde la
iniciacin de mi trabajo en el ciberespacio. Es sta la razn para
colocar un cursillo que
sea como una invitacin al aprendizaje de la matemtica
avanzada en el campo virtual.

CONTENIDO
1. Fundamentos de Lgica.............................................................
2. Conjuntos.................................................................................
2.1 Clases de conjuntos........................................................
2.2 Proposiones condicionales y cuantificadores.....
3. Mtodos de una demostracin...................................................
4. Parejas ordenadas y producto cartesiano...................................
5. Relaciones y funciones..............................................................
6. Clases de funciones...................................................................
6.3 Funcin inversa...............................................................
6.6 Algunas propiedades de las funciones............................
7. Leyes de composicin interna (operaciones).............................
7.2 Clases de leyes de composicin......................................
8. Concepto de Grupo..................................................................
9. Los nmeros reales..................................................................
9.3 Mtodos geomtricos y expansin decimal.....................
9.4 Propiedades algebricas..................................................
9.5 Propiedades de orden.....................................................
9.6 Propiedades de completitud............................................
10. Los nmeros naturales...........................................................
11. Los nmeros enteros..............................................................
12. Nmeros racionales................................................................

2
8
9
12
16
20
23
27
28
29
32
34
37
40
42
42
46
49
52
54
57

J. Daro Snchez H.

MATEMTICA BASICA

12.6 Construccin de los elementos racionales....................

13. Acotacin. Terminacin. Extremacin.....................................
13.5 Principio de buena ordenacin......................................
13.6 Divisibilidad..................................................................
13.7 El algoritmo de Euclides................................................
14. Teorema fundamental de la aritmtica...................................
15. Congruencias.........................................................................
16. Clases Residuales..................................................................
17. Nmeros complejos...............................................................
17.2 Valor absoluto de un nmero complejo........................
17.3 Imposibilidad de ordenar los nmeros complejos........
17.4 Exponenciales complejas..............................................
17.5 Argumento de un nmero complejo.............................
17.6 Potencias enteras y races de nmeros complejos.......
17.7 Logaritmos complejos...................................................
17.8 Potencias complejas......................................................
Bibliografia......................................................................................

58
61
64
66
69
73
75
79
83
85
88
89
90
92
92
93
97

1. FUNDAMENTOS DE LGICA
1.1 Los vocablos verdadero y falso son fundamentales en el estudio de
la matemtica, se consideran completamente conocidos y se aceptan sin
definir, es decir se admiten intuitivamente como ideas iniciales y se notan
Z

1.2 Las oraciones en las cuales se pueden establecer uno de los vocablos
verdadero o falso se denominan proposiciones o afirmaciones. Son
frecuentemente notadas por letras minsculas : ; < =
EJEMPLOS.

Las frases: Cmo estas?, Cul es tu nombre?, que la suerte te

acompae; no son proposiciones
Bolivar es un hombre muy conocido, Bogot es la capital de Bolivia,
Venezuela es la patria del Libertador; son proposiciones.
Toda proposicin suele ir acompaada de una tabla

J. Daro Snchez H.

MATEMTICA BASICA

:
Z
J
llamada tabla de verdad y que indica las posibilidades de que la
proposicin : sea verdadera o falsa
1.3 Negar una proposicin es el procedimiento, mediante el cual una
proposicin que es verdadera se convierte en falsa y recprocamente si es
falsa se convierta en verdadera.
Se usa en estos casos : para la proposicin y c: para su negacin
:
Z
J

c:
J
Z

1.4 PROPOSICIONES COMPUESTAS. Una propiedad fundamental de las

proposiciones se encuentra en el hecho de poderlas componer para
obtener nuevas oraciones las cuales son nuevamente proposiciones
llamadas proposiciones compuestas y estan caracterizadas por tablas
llamadas tradicionalmente tablas de verdad.
1.4.1 CONJUNCIN: Dadas dos proposiciones : y ; la proposicin
compuesta : ; ( : y ; ) es llamada conjuncin y est definida por la
siguiente tabla
:
Z
Z
J
J

;
Z
J
Z
J

:;
Z
J
J
J

es decir su tabla depende estrechamente de los valores de verdad de las

proposiciones componentes.
EJEMPLO.

Hoy es lunes y estamos a 28 de frebrero de 1936.

Esta es una conjuncin y es una proposicin falsa por que estar a 28 de
febrero de 1936 es una proposicin falsa.
1.4.2. DISYUNCIN: Sean : y ; dos proposiciones, la proposicin : ;
(lese : o ; ) es una proposicin compuesta llamada disyuncin y est
definida mediante la tabla

J. Daro Snchez H.

MATEMTICA BASICA

:
Z
Z
J
J

;
Z
J
Z
J

:;
Z
Z
Z
J

EJEMPLO.

Colombia es una nacin de Amrica del sur o estamos a 9 de

abril de 1948.
Esta proposicin es una disyuncin la cual es claramente una proposicin
verdadera, por que es verdad que Colombia es una nacin de Amrica del
sur.
Se sigue entonces que la veracidad o falsedad de la disyuncin o de la
conjuncin depende de la verdad o falsedad de las proposiciones
componentes.
Hay una variacin de la disyuncin que se presenta en proposiones como
"el papa Juan Pablo II est vivo o el papa Juan Pablo II est muerto"
esta es llamada el o exclusivo o el aut y est definida por la siguiente
tabla
:
Z
Z
J
J

;
Z
J
Z
J

:;
J
Z
Z
J

1.4.3 IMPLICACIN: Sean : y ; dos proposiciones, la proposicin : ; es

llamada implicacin, la cual se lee de una de las formas siguientes
: implica ;
si : entonces ;
: slo si ;
: es una condicin suficiente para ;
; es una condicin necesaria para :
y es una proposicin compuesta definida por la tabla

J. Daro Snchez H.

MATEMTICA BASICA

:
Z
Z
J
J
EJEMPLO.

;
Z
J
Z
J

:;
Z
J
Z
Z

Si no me da pereza, entonces estudio geometra

Es de notar que la mayoria de los enunciados de la matemtica estn en

forma de implicacin, de donde su importancia.
EJEMPLO.

Si + , y - son las longitudes de los lados de un tringulo

rectngulo entonces - # +# ,# .
1.4.4 EQUIVALENCIA: Sean : y ; dos proposiciones, la proposicin : ; es
llamada equivalencia, la cual se lee de una de las siguientes maneras
: es equivalente a ;
: si y slo si ;
: es una condicin necesaria y suficiente para ;
es una propsicin compuesta definida mediante la siguiente tabla
:
Z
Z
J
J

;
Z
J
Z
J

:;
Z
J
J
Z

EJEMPLO.

Sean + y , nmeros enteros entonces se tiene + , si y slo si

, + es un nmero natural.
Los smbolos c, , ,
-,,

proposicionales.

son referidos como los conectivos

En adelante, adems de : ; < = , usaremos :" :# :$ como smbolos

para designar proposiciones y nos referiremos a ellos como los smbolos
proposicionales. Tenemos tantos smbolos proposicionales como
nmeros naturales, disponemos de una buena cantidad de ellos,
suficientes para representar cualquier proposicin que tengamos en la
memoria; seguramente una persona no alcanza en toda su vida a fijar en
su mente ms proposiciones que nmeros. As, podemos considerar que
cada smbolo proposional representa una nica proposicin simple.

J. Daro Snchez H.

MATEMTICA BASICA

A cualquier combinacin de smbolos proposicionales, se le determina

frmula, y aquellas para las cuales se les puede construir su tabla de
verdad son frecuentemente llamadas frmulas bien formadas a0 ,0 b.
Las reglas que gobiernan las frmulas bien formadas son:
a"b Los smbolos proposicionales son frmulas bien formadas
a#b Si ! es una frmula bien formada, entonces su negacin ac!b es una
frmula bien formada.
a$b Si ! y " son frmulas bien formadas entonces tambin lo son a! " b
a! " b a!
" b a! " b y a! " b
a%b Una expresin es una frmula bien formada si y slo si el que lo sea
se sigue de aplicar a"b a#b y a$b.
La regla a%b significa que las nicas frmulas bien formadas son las que se
pueden construir combinando a"b a#b, a$b un nmero finito de veces.
Como una frmula bien formada se ha obtenido a partir de finitos
smbolos proposicionales y por aplicacin de a"b a#b y a$b finitas veces,
siempre es posible construir su tabla de verdad: se dan a los smbolos
proposicionales que aparecen en la frmula bien formada los valores Z J
combinndolos adecuadamente para obtener todos los casos posibles y
luego se van construyendo paso a paso las tablas de verdad de las
frmulas bien formadas que se han ido formando hasta llegar a la de la
frmula bien formada dada inicialmente (Ntese que si aparecen 8
smbolos proposicionales en una frmula bien formada, su tabla de
verdad tendr #8 filas, correspondientes a las #8 formas posibles de
combinar Z y J )
Unos ejemplos aclararn lo dicho: Construir la tabla de verdad de : c:,
: ; c:, y : a: ; b ; :
:
Z
J

c:
J
Z

: c:
Z
Z

:
Z
Z
J
J

;
Z
J
Z
J

:;
Z
J
Z
Z

:
Z
Z
J
J

;
Z
J
Z
J

:;
Z
Z
Z
J

: a: ; b
Z
J
J
J

c:
J
J
Z
Z

a: ; b ac:b
J
J
Z
J

: a: ; b ;
Z
Z
Z
Z

J. Daro Snchez H.

MATEMTICA BASICA

Observando las tablas de verdad anteriores, vemos que existen frmulas

bien formadas como : c:, : a: ; b ; , tales que en su tabla de
verdad nicamente aparece el valor Z , sin importar la verdad o falsedad
de sus proposiciones componentes; estas frmulas se llaman tautologas.
Son las frmulas bien formadas ms importantes, debido a que
corresponden a proposiciones compuestas que intuitivamente son
siempre verdaderas, independientemente de la veracidad de sus
proposiciones componentes.
1.5 NEGACIN: Es de utilidad conocer la negacin de los conectivos
proposicionales y est dado por las siguientes tautologias:
ca: ; b ac:b ac; b
ca: ; b ac:b ac; b
ca: ; b : ac; b
ac:b ;
ca: ; b
: ac; b

ca: c; b ac: ; bd

1.6 EJERCICIOS.
1. Negar las siguientes proposiciones
a+b Si el sol sale esta tarde, entonces voy a jugar
a,b Estudiar slo si llueve
a- b Comer frutas si y solamente si es una pera o una manzana
2. Haga los cuadros de verdad para cada una de las proposiciones
siguientes y concluya si son tautologas o no
a + b : a ; < b a : ; b a: < b
a , b : a ; < b a : ; b a: < b
a- b a: ; b ac:b ;
a. b a : ; b a : ; b a ; < b
a/b cac:b :
a0 b : : :
a1 b : : :
3. De cada una de las expresiones siguientes, diga si es una 0 ,0 o no;
d las razones de sus respuestas:
a+b ac: c; b ca: ; b
a, b :
c< ;
a- b a:" :# b :$ ac:% :$ b
a. b aa:" ac:# bb :" b c:#
a/ b : ; : <
a0 b a c : b a; < b
a1b ca: ; b aac:b ac; bb.

J. Daro Snchez H.

MATEMTICA BASICA

4. Use las tablas de verdad para probar que a: c:b ; es una

tautologa.
5.
Sea
! " frmulas bien formadas. Se dice que "! implica
tautolgicamente a " " si ! " es una tautologa. Se dice que " ! es
tautolgicamente equivalente a " " si ! implica tautolgicamente a " y "
implica tautolgicamente a !, o lo que es igual, si ! " es una
tautologa. Halle cuatro ejemplos de implicaciones tautolgicas y cuatro
de equivalencias tautolgicas
6. Una contradiccin es una 0 ,0 compuesta que siempre es falsa,
independientemente de la veracidad de las proposiciones componentes.
Dar cinco ejemplos de contradicciones, demostrando que lo son
mediante tablas de verdad, si es el caso.
7. Dadas las proposiciones :: Hace fro, y ; : Est de noche, y suponiendo
que la primera es verdadera en este momento y la segunda falsa, escriba
en trminos de : ; y los conectivos, las proposiciones siguientes, y halle
sus valores de verdad:
a+b No est de noche o no hace fro.
a,b Hace fro o no est de noche.
a- b Ni est de noche ni hace fro
a. b Est de noche pero no hace fro.
2. CONJUNTOS
Otra idea fundamental en el estudio de la matemtica, es la de conjunto y
la tomamos sin definir como materia prima. Intuitivamente es una
coleccin de objetos llamados elementos, esta idea la vemos por ejemplo
en un panal de abejas , en un rebao de ovejas, en una planta de crianza
de truchas, son ejemplos de conjuntos.
El hecho de pertenecer a un conjunto es otro concepto primitivo y que se
toma como materia prima.
Notacionalmente los conjuntos suelen indicarse por letras del alfabeto en
mayscula y los elementos que los componen sern indicados por letras
minsculas en este caso se dice que los conjuntos estn dados por
extensin.
Cuando se dan las propiedades que definen a los elementos se dice que
el conjunto se da por comprensin, es cuando se usan los corchetes y las
palabras "conjunto de elementos tales que".
Si denotamos por :aBb a una condicin redactada en trminos de la letra
B, el conjunto determinado por ella se escribe
eB:aBbf eB :aBbf

J. Daro Snchez H.

MATEMTICA BASICA

A la condicin le llamaremos muchas veces una proposicin condicional.

Usaremos tambin la palabra coleccin como sinnimo de conjunto
La frmula "+ Q " es utilizada para indicar "+ es elemento del conjunto
Q " y suele leerse "+ pertenece a Q "
2.1 CLASES DE CONJUNTOS. Los conjuntos se clasifican segn el nmero de
elementos que ellos tienen, as se tendrn conjuntos finitos y conjuntos
infinitos.
El conjunto universal o referencial es un conjunto variable y es el ms
grande conjunto que se considere en un determinado problema, por
ejemplo hablando de nmeros el universo podra ser el conjunto de los
nmeros reales o el de los nmeros complejos dependiendo de la teora,
si es real o si es compleja.
El conjunto vaco es un conjunto que carece completamente de
elementos, se nota por la letra griega F ef.
Algunos conjuntos frecuentemente usados y utilizados son:

e! " # f
nmeros naturales
e " !" # f nmeros enteros
BB +, + , ! nmeros racionales
d el conjunto de los nmeros reales
el conjunto de los nmeros complejos

2.1.2 DEFINICIN. Sea E un conjunto de un universo dado, un subconjunto

Q de E, notado Q
E, est definido por la proposicin condicional
si B Q entonces B E
Esta idea puede visualizarse por medio de un diagrama llamado diagrama
de Venn

M
U

E Q aB E B Q b
Decir que un elemento B no est en E se denota por la proposicin
compuesta

J. Daro Snchez H.

MATEMTICA BASICA

10

B E caB Eb
2.1.3 DEFINICIN. Un conjunto E se dice igual a un conjunto F si la
siguiente proposicin es verdadera
E
FF
E
o sea

E F aE
FF
Eb

2.1.4 PROPOSICIN. Sea E un conjunto arbitrario de un universo dado Y

entonces F
E.
DEMOSTRACIN.

La proposicin condicional
verdadera, pues B F es falsa

B F B E es

siempre

2.1.5 DEFINICIN. Sean E y F conjuntos de un universo dado. La reunin

de E con F , notada E F , est definida por la proposicin compuesta
BEF BEBF
es decir, es el conjunto de los elementos que estn en E o estn en F.
Si hacemos uso de diagrama de Venn tenemos

A
B
E F eBB E B F f
2.1.6 DEFINICIN. Sean E y F conjuntos de un universo dado, la
interseccin de E con F , notado E F , est definida por la siguiente
proposicin
B E F aB E B F b

es decir, el conjunto de los elementos comunes a E y F ; en diagrama de

Venn se tiene

J. Daro Snchez H.

MATEMTICA BASICA

11

A
B
E F eBB E B F f

2.1.7 PROPOSICIN. a+b E F implica E F E F E F

a,b Si E
F entonces E F F y E F E
a- b E a F G b aE F b aE G b
E a F G b aE F b aE G b
a. b E F E
a/ b E F F E
a0 b E F F E
La demostracin se propone como ejercicio.
2.1.8 DEFINICIN. Sean E y F conjuntos de un universo dado, la diferencia
de E con F es notada E F y est definida por la siguiente proposicin
BEF BEBF
con diagrama de Venn sera:

B B

A
U

A
B

E F eB Y B E B F f
2.1.9 DEFINICIN. Sean E y F conjuntos de un universo dado Y y tal que
E
F entonces el complemento de E con respecto a F es definido por
CF E F E
Cuando F es el universo Y se dice simplemente el complemento de E
notado CY E CE y est definido por la proposicin
B CE B E
2.1.10 PROPOSICIN. Sean E y F conjuntos de un universo Y , entonces
a3b CaE F b aCEb aCF b

J. Daro Snchez H.

MATEMTICA BASICA

12

a33b CaE F b aCEb aCF b

a33b aCEb E F
a3@b aCEb E Y
a@b CaY b F
a@3b CaFb Y
DEMOSTRACIN.

Se hacen en forma directa usando las definiciones y la

frmulas bien formadas dadas en la seccin anterior as:
a 3b
B CaE F b B aE F b caB E F b
caB E B F b caB Eb caB F b
B E B F B CE B CF B aCEb aCF b
Siguiendo el mismo orden de ideas se demuestran las restantes
afirmaciones.
2.2 PROPOSICIONES CONDICIONALES Y CUANTIFICADORES
2.2.1 DEFINICIN. Sea E un conjunto de un universo dado, una variable de
E es un smbolo que representa a cualquier elemento de E y una
constante en E es un smbolo que representa exactamente un elemento
de E bien determinado.
2.2.2 DEFINICIN. Una proposicin condicional es una sucesin de
smbolos envolviendo variables y que se convierten en proposicin al
reemplazar estas variables en un universo conveniente y notan
:B B Y

:C C Y

siempre y cuando B C sean las variables.

EJEMPLOS. a"b

a#b
a$b

:B B " ! es una sucesin de smbolos

a:B B " !baB b es la proposicin condicional
:B B# " #B ! es una sucesin de smbolos
a:B B# " #B !baB d b es la proposicin condicional
:B B# " aB "baB "b es una sucesin de smbolos
a:B B# " aB "baB "b baB d b es la proposicin condicional

2.2.3 DEFINICIN. Se llama conjunto solucin de una proposicin

condicional al subconjunto del universo dado, donde la proposicin
condicional es verdadera.
Sea a:B baB Y b y T su conjunto solucin entonces
T eB Y :B es verdaderaf

J. Daro Snchez H.

MATEMTICA BASICA

13

2.2.4 PROPOSICIN. Sea a:B baB Y b una proposicin condicional, si T es el

conjunto solucin de a:B baB Y b entonces
eB Y /:B es falsof eB Y ca:B b es verdadf CT

Sea + eBc:B f c:+ es verdadero

+ eB:B f T + CT .

DEMOSTRACIN.

:+

es falso

2.2.5 PROPOSICIN. Sean a:B baB Y b y a;B baB Y b dos proposiciones

condicionales con T y U como conjuntos de soluciones entonces
eB:B ;B f T U

Sea + eB:B ;B f :+ ;+
es
verdadera :+
verdadera y ;+ es verdadera + T y + U + T U.

DEMOSTRACIN.

es

2.2.6 PROPOSICIN. Sean a:B baB Y b y a;B baB Y b dos proposiciones

condicionales con T y U como conjuntos de soluciones entonces
eB Y /:B ;B f T U

Sea + eB Y :B ;B f :+ ;+ es verdadera
verdadera, , ;+ es verdadera + T + U + T U.

DEMOSTRACIN.

:+ es

2.2.7 PROPOSICIN. Sean a:B baB Y b y a;B baB Y b dos proposiciones

condicionales con T y U como conjuntos de soluciones entonces
eB Y :B ;B f aCT b U

DEMOSTRACIN.

tanto

Se sabe que a: ; b aac:b ; b es una tautologia por lo

eB Y :B ;B f eB Y ac:B b ;B f aCT b U

2.2.8 PROPOSICIN. Sean a:B baB Y b y a;B baB Y b dos proposiciones

condicionales con T y U como conjuntos de soluciones entonces
eB Y :B ;B f aT Ub aCT CUb

DEMOSTRACIN.

eB Y :B ;B f eB Y a:B ;B b a;B :B bf

J. Daro Snchez H.

MATEMTICA BASICA

14

eB Y :B ;B f eB Y ;B :B f aCT U b aCU T b
caCT U b CUd caCT Ub T d
caCT CUb aU CUbd caCT T b aU T bd
aT Ub aCT CUb

2.2.9 Un cuantificador es un smbolo que nos responde a la pregunta

Cantos elementos del universo en consideracin satisfacen a una
proposicin condicional?
As los cuantificadores son de dos tipos: existencial y universal
El cuantificador existencial denotado con b y est definido as:
Sea a:B baB Y b una proposicin condicional y T
Y su conjunto solucin
entonces
abB Y ba:B b T F
lase existe un B en Y tal que :B es verdadera y esto es equivalente a
decir que el conjunto solucin de :B no es vaco.
El cuantificador universal notado a, est definido as: Sea a:B baB Y b una
proposicin condicional y sea T
Y es el conjunto solucin de :B
entonces
aaB Y ba:B es verdaderab T Y
lase para todo B en Y :B es verdadera y esto es equivalente a decir el
conjunto solucin de :B es igual al universo.

a"b La proposicin condicional aB# " !baB b tiene conjunto

solucin no vaco, entonces se puede usar el cuantificador as
abB baB# " !b
a#b aB# " aB "baB "bbaB b tiene por conjunto solucin al conjunto
entonces se puede usar el cuantificador as:
aaB baB# " aB "baB "bb
EJEMPLOS.

2.2.10 NEGACIN DE CUANTIFICADORES

PROPOSICIN.

a"b cabB Y ba:B b aaB Y bac:B b

a#b caaB Y ba:B b abB Y bac:B b

Veamos el caso a#b : Sea T el conjunto solucin de :B entonces

caaB Y ba:B b caT Y b caT T CT b CT CaT CT b CT CaCT b
CT F abB Y bac:B b
EJEMPLO.

Todos los hombres son buenos

Cuantificacin: Sea Y eHombres del mundof
aaB Y baB es buenob
Si queremos la negacin tendramos

J. Daro Snchez H.

MATEMTICA BASICA

15

abB Y baB no es buenob

En espaol sera: Hay hombres que son malos.
2.3 EJERCICIOS

a"b Tomando como referencia al conjunto de los nmeros reales, hallar

los conjuntos que definen las condiciones siguientes
a+b aB# )B "&baB "b !
a,b B# &B "& !
a- b B# #
a#b Resolver el ejercicio a"b tomando como referencial el conjunto de los
enteros.
a$b Resolver el ejercicio a"b considerando como referencial el conjunto
' ( ) * de todos los nmeros naturales mayores o iguales a '.
a%b En cada uno de los tres ejercicios anteriores, anteponer a cada
condicin un cuantificador adecuado para que se obtenga una
proposicin verdadera; dar las razones de sus respuestas.
a&b Escribir la negacin de cada una de las proposiciones siguientes:
Todos los hombres son mortales.
aaBbaB ! Bb
abBbaaCbaB C !b
a'b Tomando como referencial al conjunto de los nmeros reales, hallar
una condicin :aB C b en dos variables, tal que
abBbaaCba:aB C bb sea falsa y
aaCbabBba:aB C bb sea verdadera
a(b a+b Hallar todos los subconjuntos del conjunto " # $ o sea T a" # $b
a,b Hallar todos los subconjuntos del conjunto " # (T a"#b)
a- b Hallar todos los subconjuntos del conjunto " (T a"b)
a. b Hallar todos los subconjuntos del conjunto F.
a/b Podra usted adivinar una relacin entre el nmero de elementos
de un conjunto finito y el nmero de sus subconjuntos?
a)b Escribir la negacin de cada una de las expresiones siguientes:
aaBba:aBb ; aBbb
aaBb:aBb a; aBb <aBbb
abBbaaD ba:aB D b ; aD bb
a*b Sea W un referencial para una condicin :aBb. Sea E W . Definimos
aaB Eba:aBbb como aaBbaB E :aBb es verdaderab. Anlogamente,
definimos abB Eba:aBbb como abBbaB E :aBb es verdaderab.
Demuestre que
caaB Eba:aBbb abB Ebac:aBb b
y que
cabB Eba:aBbb aaB Ebac:aBbb
a"!b Qu sentido tiene para usted expresiones como

J. Daro Snchez H.

MATEMTICA BASICA

16

aaBba# $ &b abBba# % )b ?

Son stas proposiciones? Se podra suprimir el cuantificador?
a""b D justificaciones a las equivalencias siguientes:
aaBba: ; aBbb a: aaBb; aBbb
aaBba: ; aBbb : aaBba; aBbb
abBba: ; aBbb : abBba; aBbb
abBba: ; aBbb : abBba; aBbb
Nota: : es una proposicin en la cual no aparece B.
a"#b Escriba en espaol correcto la negacin de las frases siguentes:
a+b Si las Matemticas son fciles, aprobar el curso
a,b Existe un nmero natural 7 tal que cualquiera sea el natural 8 7 8
a- b Si el costo de vida contina subiendo, algunos tendremos que dejar la
"costumbre burguesa" de comer tres veces al da o trabajar por un
cambio de estructuras.
a. b Todos tenemos problemas y algunos nos dejamos vencer por ellos.
a/b Todos los gatos son pardos o algunos estamos miopes.
a"$b Diga, dando las razones de sus respuestas, cules de las
afirmaciones siguientes son verdaderas y cules no:
a+b " " # " #
a,b " # # # "
a- b + +
a/b E F E F.

3. MTODOS DE UNA DEMOSTRACIN

Uno de los criterios de deduccin ms importantes y el cual es inherente
al hombre, es el dado por la tautologa
c : a: ; b d ;
llamada el modus ponens la cual afirma que con el conocimiento de : y
: ; se deduce la veracidad de ; , es el razonamiento del hombre
prehistrico cuando razonaba as:
Yo mato toro y, si yo mato toro entonces calmo hambre, entonces yo calmo hambre.
Este criterio es utilizado en la mayoria de las pruebas de la matemtica
aunque siempre est tcita su utilizacin. A continuacin se darn unos
mtodos clsicos de demostracin.
3.1 Mtodo trivial ; se trata de estudiar la veracidad de la proposicin
: ; estudiando la proposicin : en si misma. Si : es falsa no importa
que sea ; , : ; siempre es verdadera.

J. Daro Snchez H.

MATEMTICA BASICA

17

EJEMPLO.

Estamos en el siglo XXII, entonces hoy es viernes, es una

proposicin compuesta verdadera por que la hiptesis es falsa.

3.2 Mtodo vaco ; consiste en estudiar la veracidad de la proposicin

: ; estudiando la proposicin ; en si misma, as si ; es vedadera no
importa cual sea el valor de verdad de : la proposicin compuesta : ;
siempre es verdadera.
EJEMPLO.

Si Julio Csar fue un gran guerrero, entonces Bogot es la capital

de Colombia. Esta proposicin es verdadera
En lgebra, si aaB baB# # "bentonces # " ", en una proposicin
verdadera.
3.3 Mtodo indirecto ; se aplica en el estudio de la veracidad de la
proposicin : ; , procediendo de la siguiente forma
a3b Supngase que ; es falsa
a33b Con este hecho y otros conocidos dentro de la teora se
demuestra que : es falsa.
Entonces se tiene que : ; es verdadera. Este mtodo tambin es
conocido como el contrarrecproco.
EJEMPLO.

Si +# es par entonces + es par

a3b Supongamos que + no es par

a33b existe 7 tal que + #7 "
a333b +# a#7 "b# %7# %7 " #a#7# #7b "
as, existe 5 #7# #7 tal que +# #5 " sea que +# no es par.
PRUEBA:

3.4 Mtodo directo ; se trata de probar que la proposicin : ; es

verdadera y se procede as;
a3b Se supone que : es verdadera
a33b Con este hecho y otros bien conocidos de la teora se
demuestra que ; es verdadera.
As : ; es verdadera.
EJEMPLO.

Si ?EFG es un tringulo rectngulo, entonces +# , - #

donde + , son las longitudes de los catetos y - es la longitud de la
hipotenusa.
B
c
a
PRUEBA:

a3b Supongamos que

C
b

es un tringulo rectngulo

J. Daro Snchez H.

MATEMTICA BASICA

18

A
c

a33b con el tringulo B

tenga de lado + , as;

b
a

b
c
c

construimos un cuadrado que

a
b

a333b El rea del cuadrado de lado + , ser

a+ ,b# +# #+, , #
pero sumando reas tenemos que
a+ ,b# - # #+,
as
+# #+, ,# - # #+,
de donde tenemos
+# , # - #

3.5 Mtodo de contradiccin (Absurdo). Sea 7 una teora y : una

proposicin de la teora, de la cual se desea saber su veracidad. El
mtodo consiste en:
a3b Construir una nueva teora 7 w obtenida adjuntado a 7 la proposicin c:
a33b Se demuestra que la teora 7 w es contradictoria inconsistente,
hallando en 7 w una proposicin ; verdadera y c; verdadera.
As tenemos que : es una proposicin verdadera en 7 .
EJEMPLO.

No se puede dividir por cero

PRUEBA. a3b Sea 7 la teora de los nmeros reales y : la proposicin: no se

puede dividir por cero.
a33b Sea 7 w la teora de los nmeros reales en los cuales se puede dividir
por cero.
a333b Consideremos en 7 w la siguiente igualdad
+,
+ , !
Se multiplica por + ambos miembros de la anterior igualdad obtenindose
+# +,
Agregue ,# a los dos lados de la igualdad

J. Daro Snchez H.

Factorizando se tiene

MATEMTICA BASICA

19

+# ,# +, , #

a+ ,ba+ ,b a+ , b,
Como en 7 se puede dividir por cero, entonces simplificamos por a+ ,b
as se obtiene
+, ,
Como + , se tiene
#+ +
Simplificando por + se llega a la proposicin
#"
As en la teora 7 w se tendra simultneamente
#" y #"
obtenindose que 7 w es una teora contradictoria, ( es usual afirmar en
estos casos que 7 w es absurdo)
Luego no se puede dividir por cero.
w

3.6 Mtodo del contra-ejemplo. Dada una proposicin : la cual quiere ser
probada, es decir, la cual se desea adjuntar como verdadera dentro de
una teora. El mtodo consiste en hallar un ejemplo donde se diga lo
contrario de la proposicin deseada, as la proposicin queda
automticamente falsa dentro de la teora.
EJEMPLO.

En la teora de los nmeros enteros si el cuadrado de un nmero

entero es impar el nmero es primo.

PRUEBA.

Se usa el mtodo del contra-ejemplo, as )" *# es nmero impar

sin embargo * no es nmero primo.
As la proposicin es falsa en la teora de los nmeros enteros.
3.7

EJERCICIOS.

a"b Puede suceder que E F F ; d un ejemplo en el cual se cumpla

dicha igualdad. Podra idear (demostrndolo) una condicin necesaria y
suficiente para que tal iguadad se cumpla?
a#b Se pide lo mismo que en el a"b pero con respecto a E F E.
a$b Demuestre que si E F y F G entonces E G y que si Q R
entonces T aQ b T aR b
Aqu T aQ b \\ Q el conjunto llamado partes de Q .
a%b Pruebe que
E a F G b aE F b aE G b
y que
E a F G b aE F b aE G b .

J. Daro Snchez H.

MATEMTICA BASICA

20

a&b Sea W un conjunto referencial y sean E F subconjuntos de W :

Demuestre que
E F E a CW F b .
a'b Puede suceder que E F F; d dos ejemplos en los cuales se
cumpla dicha igualdad e idee (demostrndolo) una condicin necesaria y
suficiente para que tal igualdad se cumpla.
a(b Sean E" E# E8 conjuntos. Pruebe que si aE" E# b y aE# E$ b y y
aE8" E8 b y aE8 E" b, entonces E" E# E8 .
a)b Sean T , U subconjuntos de un conjunto referencial W . Demuestre que
T U si y slo si aCW Ub aCW T b.
a*b Pruebe que aE F b G E aF G b, pero que en general no se
tiene la contenencia en el sentido contrario. Demuestre adems que
E aF G b aE F b aE G b
a"!b Muestre que E aF G b aE F b aE G b
E aF G b aE F b aG Eb
Pero que en general la unin no es distributiva respecto de la diferencia.
a""b a+b D una justificacin a la equivalencia
aaBba:aBb ; aBbb aaBba:aBbb aaBba; aBbb
a,b sela para demostrar que
abBba:aBb ; aBbb abBba:aBbb abBba; aBbb.
Ayuda: niegue en los dos lados de la equivalencia anterior
a"#b Anlogamente al ejercicio anterior, justifique que
abBba:aBb ; aBbb cabBba:aBb abBba; aBbbbd.
a"$b Halle un referencial y condiciones :aBb, ; aBb adecuadas para hacer
ver que en general abBba:aBbb abBba; aBbb no implica abBba:aBb ; aBbb.
a"%b Si E es el conjunto de los enteros mltiplos de ' y F el de los
mltiplos de "!, halle E F y E F .
a"&b a+b Podra hallar dos subconjuntos infinitos del conjunto F de los
nmeros naturales, que sean disyuntos?
a,b Podra hallar siete subconjuntos infinitos de que sean disyuntos
dos a dos?
a- b Ser posible hallar 8 ( siendo 8 nmero natural mayor que ")
subconjuntos infinitos de que sean disyuntos dos a dos?

4. PAREJAS ORDENADAS Y PRODUCTO CARTESIANO

4.1 DEFINICIN. Sean E y F dos conjuntos de un universo dado, una pareja
ordenada a+ ,b de un elementos de E y otro de F est definida por el
siguiente conjunto
a+ ,b ee+f e+ , f f

J. Daro Snchez H.

MATEMTICA BASICA

21

Si + , entonces a+ ,b a, +b ya que ee+f e+ , f f ee, f e+ , f f pues por

hipotesis + ,.
4.2 PROPOSICIN. Si a+ ,b a- . b, entonces + - y , .

Si a+ ,b a- . b entonces ee+f e+ , f f=ee- f e- . f f. Para que

se tenga la igualdad es natural que los conjuntos de un elemento sean
iguales o sea
e+f e- f y e+ ,f e- . f
as del primero se tiene + - y del segundo e+ ,f e+ . f se deduce que
, ..

DEMOSTRACIN.

4.3 DEFINICIN. Sean E y F dos conjuntos de un universo dado. Se define

el producto cartesiano de E por F mediante la siguiente proposicin
aB Cb E F B E C F
es decir, es el conjunto de parejas ordenadas tales que la primera
componente est en E y la segunda en F . Si hacemos uso de un diagrama
de Venn, podramos interpretarlo as

AXB
(x,y)

B
A
E F eaB CbB E C F f
x

4.4 PROPOSICIN. Sean E F y G conjuntos de un universo dado

a 3b E a F G b a E F b a E G b
a33b E aF G b aE F b aE G b

a3b Sea : E aF G b : aB C b aB C b E aF G b
B E C F G B E aC F C G b aB E C F b aB E C G b
aB Cb E F aB C b E G : E F : E G
: a E F b aE G b
Anlogamente se procede para a33b
DEMOSTRACIN.

J. Daro Snchez H.

4.5 EJERCICIOS.

MATEMTICA BASICA

22

a"b Sean V W X conjuntos de un universo dado. Demostrar que

aV W b X
V aX W b.
a#b En las hiptesis de a"b demuestre que V aW X b
aV X b W
a$b Negar las siguientes frases:
Si todos los animales tienen plumas, entonces algunos hombres
tienen cuernos.
Algunos animales son mamiferos y todos tienen piel, es equivalente
a decir que algunas aves tienen piel y todas son ovparas.
Si todos los toreros son buenos, entonces algn toro Colombiano
embiste.
a%b Cuantifique las siguientes frases:
Los habitantes europeos son todos industriales
En la Universidad Nacional unos estudiantes son fsicos
Las medidas de los ngulos interiores de un tringulo siempre
miden ")!! .
a&b
Qu
sentido
tiene
para
usted,
expresiones
como
aaBba# $ &b abBba# % )b?. Son estas proposiciones? Se podra
suprimir el cuantificador?
a'b Sean E F y G conjuntos en un universo, muestre que
E aF G b aE F b aE G b
E aF G b aE F b aG Eb
pero que en general la unin no es distributiva respecto de la diferencia.
a(b Definimos una nueva operacin entre conjuntos llamada la diferencia
simtrica as:
E?F =eBB E
B Ff
a+b Usando una tautologa apropiada pruebe la asociatividad de la
diferencia simtrica: aEF bG EaFG b
a,b Demuestre que EF aE F b aF Eb
a- b Pruebe que la diferencia simtrica es conmutativa
a. b Pruebe que EF E F aE F b
a/b Usando diagrama de Venn y luego prescindiendo de ellos, halle EF,
EE y EF si E
F.
a)b En qu caso E F es igual a F E?
a*b Sea E # $, F ! " y G ". Halle y represente grficamente los
siguentes conjuntos: E F , F aE G b aE F b aE G b, E aF G b,
a E G b a E G b , E aF G b .
a"!b Qu es ! B C, donde B y C son nmeros reales?
a""b Si E es un conjunto cualesquiera, qu es E ?
Nota: Recuerde que F conjunto vaco.
a"#b
a+b Represente grficamente # $ % "
a,b Idee una representacin de a # $b $ "

J. Daro Snchez H.

MATEMTICA BASICA

23

a- b Cul sera la grfica de # a" _b?

a. b Idem. de d $.
a"$b Represente grficamente:
a+b _ # " _
a. b " $ # _
a,b # _ " _
a/b _ # " $
a- b # $ d
a0 b d a " $b
a"%b Demuestre que
E aF G b aE F b aE G b
y que
E aF G b aE F b aE G b.

5. RELACIONES Y FUNCIONES
Sean E y F dos conjuntos de un universo dado, y consideremos su
producto cartesiano E F . Todo subconjunto de E F es llamado una
relacin de E en F . Puesto que F
E F entonces el vaco F es tambin
una relacin de E en F , lo mismo puede decirse de E F que es una
relacin de E en F .

E e+ , - f
F e" # $f
V" ea+ "b a+ #b a, #b a, $b a- "bf
V# ea+ "bf
V$ ea+ "b a+ #b a+ $bf
son relaciones de E en F .
EJEMPLO.

5.1 DEFINICIN. Sea V una relacin de E en F , el conjunto

HV e+ Eab, F baa+ , b V bf
es llamado el dominio de la relacin.
De otra manera el conjunto de todos los primeros elementos de las
parejas que forman a V es llamado dominio de la relacin.
5.2 DEFINICIN. Sea A una relacin de E en F . El conjunto F es llamado
codominio de la relacin y el conjunto
V/-A e, Fab+ Ebaa+ , b Abf
es llamado el recorrido de la relacin. Es decir el recorrido es el conjunto
de todos los segundos elementos de las parejas ordenadas que forman la
relacin.
EJEMPLO.

En el ejemplo anterior se tiene

V/-V " e" # $f
HV" e+ , - f
V/-V# e"f
HV# e+f

J. Daro Snchez H.

MATEMTICA BASICA

V/-V$ e" # $f

24

HV$ e+f.

5.3 DEFINICIN. Sea V una relacin de E en F se dice que V es una relacin

funcional a grfica funcionalb si
a3b El dominio de V es E
a33b La siguiente proposicin es siempre verdadera
aaBbaaCbaaD baaB C b V aB D b V C D b.
EJEMPLOS

a"b aB CbC " B#

" " d es una relacin funcional

de " " en d mientras que

K eaB C bB# C # "f
no lo es , ya que a! "b y a! "b son elementos de K y no se cumple la
condicin a33b de la definicin.
a#b Sean \ e% & ' (f y ] e+ , - . /f 0 ea% +b a& +b a' +b a( /bf es
una relacin funcional, mientras que J ea% +b a& ,b a' . bf no lo es ya
que HJ \ .

5.4 NOTACIN. Cuando 0 es una relacin funcional, aB C b 0 se

acostumbra escribir C 0 aBb. Tambin, "0 es una funcin de \ en ] " se
escribe
0
0 \ ] \ ]

La funcin 0 descrita en el ejemplo a#b se puede escribir entonces en la

forma

X
4
5
6
7

Y
a
b
c
d
e

As, la condicin a3b dada al comienzo significa: de todo elemento de \

sale una flecha y la condicin a33b de ningn elemento de \ salen dos o
ms flechas. Es de notar que a un elemento de ] pueden llegar varias
flechas o ninguna.
5.5 DEFINICIN. Sea \ un conjunto de un universo dado, se llama diagonal
de \ al conjunto

J. Daro Snchez H.

MATEMTICA BASICA

25

?\ eaB BbB \ f

EJEMPLO.

Si \ e+ , - f entonces ?\ ea+ +b a, , b a- - bf

5.6 DEFINICIN. Sean \ e ] conjuntos, sea K

\ ] una grfica o
relacin. Se llama grfica inversa de K al conjunto
K" eaB C baC Bb Kf
] \

5.7 DEFINICIN. Sean K"

\ ] y K#
] ^ . se llama grfica compuesta
por K" y K# y se nota K# K" al conjunto
eaB D babC ] baaB C b K" aC D b K# bf

ntese que K# K"

\ ^.

a"b Sea \ e" # $f ] e+ , f ^ e+ f consideremos

K" ea" +b a# +b a" ,b a$ ,bf
K# ea+ b a+ bf
K$ ea, bf
entonces
K# K" ea" b a" b a# b a# bf y K$ K" ea" b a$ bf
a#b Sean K" eaB C bB d C B# f K# eB d C sin Bf
entonces
K# K" eaB C bB d C sin B# f.
EJEMPLO.

Podemos ahora preguntarnos si al componer dos grficos funcionales

se obtiene un grfico funcional?, la respuesta es si. Ms exactamente
tenemos.
5.8 PROPOSICIN. Sean 0 \ ] y 1 ] ^ dos
1 0 \ ^ es una funcin
DEMOSTRACIN.

proposicin

funciones entonces

a3b Como 0 es funcin se tiene la veracidad de la siguiente

aaB \ babxC ] baaB C b 0 b

y como 1 es tambin funcin para cada C ] habr un elemento D ^ tal
que aC D b 1. Entonces ligando estas dos afirmaciones tenemos que
aaB \ babD ^ baaB D b 1 0 b \
Ha1 0 b
\
entonces se tiene que
H a1 0 b \
a33b Tomemos aB D b 1 0 aB D w b 1 0 entonces
cabC ] baaB C b 0 aC D b 1bd cabC w ] baaB C w b 0 aC w D w b 1bd

J. Daro Snchez H.

MATEMTICA BASICA

26

de la asociatividad de la conjuncin se desprende que

caB Cb 0 aB C w b 0 d caC D b 1 aC w D w b 1d
Como 0 es una funcin cumple el axioma a33b por lo tanto
C C w caC D b 1 aC w D w b 1d
ahora como 1 es funcional cumple tambin a33b de donde
D Dw
As como 1 0 cumple a3b y a33b de la definicin de funcin se sigue que
1 0 es una funcin de \ en ^ . En este caso es costumbre escribir
aB D b 1 0 en la forma D a1 0 baBb D 1a0 aBbb.

5.9 EJERCICIOS

a"b Halle las grficas inversas de

J aB CbB d ! C B" ; K eaB C bB d C sin Bf
a#b Sean K" y K# grficas de \ en ] demuestre que
a+b Si K"
K# entonces K""
K#"

"
a,b aK"" b K"
a$b Que relacin encuentra entre dominio K recorrido de K dominio de
K" y recorrido de K" ?
a%b La relacin "B es profesor de C" es una funcin? Lo sera la relacin "B
es alumno de C" ?.
a&b Halle dominio y recorrido de la relacin "B es hijo de C" . es una
funcin?. Reflexione antes de responder.
a'b Sean E ! & ( % y F " # $ dos conjuntos. Defina cuatro
funciones de E en F y cuatro de F en E.
a(b Dadas las funciones
"
a+b 0 aBb B#
a,b 1aBb " #B# a- b J aBb #B $
#
a. b KaBb $B
$

B"
a/b ,aBb B#

B
a0 b ?aD b D # #
a1b @aBb B#
3 Calcule su valor en el nmero real ".
33 Halle los nmeros 0 a)b 1a"&b , "& J a!b Ka $b ?a'b ?a!b ?a &b @a$b y
@ a !b
333 Halle el dominio y el recorrido de cada una de ellas
a)b Consideremos las siguientes funciones:
1
-$
J
a+b d d
a,b d d
a- b d d
B$
B B$
B B# &
=
3.
P
d d
a. b
a/b d d
a0 b d d
B B
B $B #
B 3. aBb B
#

J. Daro Snchez H.

MATEMTICA BASICA

27

+,=
d d
a1b B B si B !
B B si B !
es decir, +,=aBb B si B ! y si B !, +,=aBb B (Se llama valor
absoluto de B, en lugar de +,=aBb se acostumbre escribir lBl )
a3b Halle -$ a!b -$ a "b -$ a"!b 1a "b 3. a#b 3. a $b Pa#b Pa &b =a#b =a!b
+,=a #b +,=a#b +,=a!b l " l!ll
a33b Halle el recorrido de cada una de las funciones inmediatamente
anteriores.

6. CLASES DE FUNCIONES
6.1 DEFINICIN. Sea 0 \ ] una funcin. Si el recorrido de 0 es todo ] ,
entonces 0 se llama sobreyectiva o una epiyeccin o simplemente 0 es
una funcin de \ sobre ] .
Puede tambin decirse en forma equivalente, que 0 \ ] es una
funcin sobre cuando la siguiente proposicin es verdadera
aaC ] babB \ baC 0 aBbb
6.2 DEFINICIN. Sea 0 \ ] una funcin. Se dice que 0 es una funcin
uno a uno una inyeccin si la siguiente proposicin es verdadera
aaBbaaCba0 aBb 0 aC b B C b
Esta proposicin es claramente equivalente a
aaBbaaCbaB C 0 aBb 0 aC bb

a"b eaB CbB d C B$ f es una funcin uno a uno de d sobre d

a#b 0 eaB C bB d C #B f es una funcin uno a uno de d en d . No es
sobre, pues el recorrido de 0 no contiene al cero ni a los nmeros
negativos. Se puede volver sobre tomando \ d e ] d nmeros
reales positivos. As
0 \ ]
B #B
es uno a uno y sobre.
EJEMPLO.

Una funcin que a la vez es una inyeccin y una epiyeccin se le llama

una biyeccin.

J. Daro Snchez H.

MATEMTICA BASICA

28

6.3 FUNCIN INVERSA

Sea 0 \ ] una funcin. Sabemos que 0 " eaC BbaB C b 0 f es una

grfica inversa, nos preguntamos en que caso 0 " es una funcin?
Veamos antes algunos ejemplos.

Y
a
b
c
d
e

f :X
1
2
3
4

o
sea
0 ea" +b a# ,b a$ /b a% . bf,
la
grfica
inversa
es
"
"
0 ea+ "b a, #ba/ $b a. %bf. Analizando el dominio de 0 , vemos que
H0 " ] . Luego 0 " no puede ser funcin la causa? puesto que
Recorrido de 0 Dominio de 0 " ; tenemos que 0 no es sobre.
Consideremos otro caso dado por

Y
a
b
c

o sea 1 ea! +b a" ,b a# - b a$ +bf entonces su grfica inversa ser

1" ea+ !b a, " b a- # b a+ $ bf

puesto que ! $ y a+ !b 1" a+ $ b 1" , se sigue que 1" no es

funcin la causa? 1 no es uno a uno.
Estos ejemplos nos dicen que si 0 no es uno a uno 0 no es sobre
entonces 0 " no es una funcin. Es decir, si 0 " es funcin, entonces 0
"
debe ser uno a uno y sobre. Como 0 a0 " b es una funcin entonces
0 " es tambin uno a uno y sobre.
En este caso, para todo B \ existe C ] tal que aB C b 0 aC Bb 0 "
de donde aB Bb 0 " 0 por lo tanto B a0 " 0 baBb ?\ aBb luego
0 " 0 ?\ .3+198+6 de \ .
Anlogamente, para todo C ] existe B \ tal que aC Bb 0 " aB C b 0
entonces aC Cb 0 0 " entonces C a0 0 " baC b ?] aC b luego
0 0 " ?] .3+198+6 de ]

J. Daro Snchez H.

MATEMTICA BASICA

29

En forma de diagonal

X
x

Y
f(x)
X

X-1
f (f(x))= x

Y
y

X
-1
f (y)
Y

Y
-1
f(f (y))= y

6.4 DEFINICIN. Sean 0 \ ] y 1 ] \ funciones, se dice que 0 y

1 son funciones inversas si
1 0 ?\ y 0 1 ?]
Las ideas anteriores quedan resumidas en el siguiente teorema
6.5 TEOREMA. Sea 0 \ ] una funcin, 0 tiene funcin inversa si y slo
si 0 es uno a uno y sobre.
a+b " " Sea 0 una funcin y 1 su inversa
Si 0 aBb 0 aBw b entonces 1a0 aBbb 1a0 aBw bb
o sea a1 0 baBb a1 0 baBw b entonces ?\ aBb B Bw ?\ aBw b
Luego 0 es uno a uno
Ahora como 1 es funcin se tiene aaC ] babB \ ba1aC b Bb entonces
0 a1aCbb 0 aBb a0 1baC b ?] aC b C
Luego aaC ] babB \ ba0 aBb C b as 0 es sobre.
a,b" " Supongamos que 0 es uno a uno y sobre entonces
aaC ] babB \ ba0 aBb C b
pero ste B es nico ya que 0 es uno a uno. Si llamamos
1 eaC BbC 0 aBbf
1 es una funcin de ] en \ y evidentemente 1 0 " ya que:
a1 0 baBb 1a0 aBbb 1aC b B ?\ aBb
a0 1baCb 0 a1aC bb 0 aBb C ?] aC b.

DEMOSTRACIN.

6.6 ALGUNAS PROPIEDADES DE LAS FUNCIONES

6.6.1 DEFINICIN. Sea 0 \ ] una funcin, y E

\ , llamamos 0 aEb al
conjunto de las imgenes de los elementos de E
0 aEb e0 aBbB Ef
Notacionalmente : 0 aEb abB Eba0 aBb :b.
6.6.2 PROPOSICIN. Sean 0 \ ] una funcin, E
\F
\ . Las
siguientes proposiciones son verdaderas
a + b 0 a E F b 0 aE b 0 aF b
a , b 0 a E F b 0 aE b 0 aF b
DEMOSTRACIN.

Usando tipo de demostracin directa tenemos:

J. Daro Snchez H.

MATEMTICA BASICA

30

a+b : 0 aE F b abB E F ba0 aBb :b abBbaB E F 0 aBb :b

abBbaaB E B F b 0 aBb :b abBbaaB E 0 aBb :b aB F 0 aBb :bb
a: 0 aEb : 0 aF bb : 0 E 0 F
a,b : 0 aE F b abBbaB E F 0 aBb :b
entonces
abBbaB E B F 0 aBb :b
entonces
abBbacB E 0 aBb :d cB F 0 aBb :db
entonces
: 0 aEb : 0 aF b
de donde
: 0 aEb 0 aF b

La igualdad de a,b no se tiene en general como lo podemos apreciar en el

siguiente ejemplo
Sea \ eB C D + , - / 0 1f, ] e! " # ? %f,
F e+ , - 1f y consideremos la funcin dada por

EJEMPLO.

f: X
x
y
z
a
b
c
e
f
g

E eB C 1f,

tenemos 0 aEb e! " f 0 aF b e? % ! " f, 0 aEb 0 aF b ! " , E F 1

y 0 aE F b !, de aqu tenemos
0 aE F b ! ! " 0 aEb 0 aF b
6.6.3 DEFINICIN: Sean 0 \ ] y H ] ; se llama imgen recproca de
H por 0 al conjunto
0 " aHb B \0 aBb H
En el lenguaje de la teora de conjuntos tenemos
: 0 " aHb 0 a:b H
EJEMPLO.

Sea la funcin

J. Daro Snchez H.

MATEMTICA BASICA

f:X
1
2
3
4
5

31

Y
a
b
c
d

entonces
0 " a, - .b " $ % & 0 " a.b F 0 " a-b % &. Es
evidente que 0 " a] b \ .
6.6.4 PROPOSICIN. Sea 0 \ ] una funcin G ] y H ] entonces
0 " aG Hb 0 " aG b 0 " aHb.

Sea B 0 " aG Hb 0 aBb G H 0 aBb G 0 aBb H

aG b B 0 " aHb B 0 " aG b 0 " aHb.

DEMOSTRACIN.

B0

"

6.6.5 PROPOSICIN. Sea 0 \ ] una funcin y sea E \ . Entonces

tenemos
a+b 0 " a0 aEbb E
a,b Si 0 es uno a uno, 0 " a0 aEbb E

a+b Sea B E entonces 0 aBb 0 aEb usando la definicin de

imgenes recprocas se tiene B 0 " a0 aEbb
a,b Sea B 0 " a0 aEbb entonces 0 aBb 0 aEb tenindose que
a! b B E
a" b B E

Veamos que a!b es falsa, en esta forma a" b es verdadera y quedar la

proposicin demostrada.
Si B E, como C 0 aBb 0 aEb deber existir por definicin de 0 aEb un
elemento Bw E tal que 0 aBw b C 0 aEb entonces 0 aBb 0 aBw b y B Bw esto
implica que 0 no es uno a uno lo cual est contra la hiptesis de que 0 es
uno a uno

DEMOSTRACIN.

6.7 EJERCICIOS

a"b Hallar las funciones inversas de

a+b d d
a,b d d
a- b d d
B B$
B #B
B B#
a#b Demuestre que si 0 es uno a uno entonces 0 aEb 0 aF b 0 aE F b con
lo cual la parte a,b de 6.6.2 se tendra 0 aEb 0 aF b 0 aE F b
a$b Demuestre que 0 " aG Hb 0 " aG b 0 " aHb

J. Daro Snchez H.

MATEMTICA BASICA

32

a%b Sea 0 \ ] y sea H ] Demuestre que

a+b 0 a0 " aHbb H
a,b Si 0 es sobre 0 a0 " aHbb H
a&b Pruebe que una restriccin de una funcin 0 E F se puede definir
simplemente como una funcin 1 G H tal que 1 0 y H F
Nota:
10
significa
que
aB C b 1 aB C b 0
es
decir,
aB H97a1ba1aBb 0 aBbb
a'b a+b Si E es un conjunto con diez elementos y F un nico elemento,
halle todas las funciones de E en F .
a,b Halle todas las funciones de un conjunto E con tres elementos, en
otro con dos elementos.
a- b Halle todas las funciones de un conjunto E con cuatro elementos en
otro F con dos elementos.
a. b Podra hallar una frmula para calcular el nmero de funciones de un
conjunto E con 8 elementos en otro F con 7 elementos. Podra
justificar dicha frmula?
a(b Dada la funcin 0 aBb B# #B ) de d en d ,
a+b Halle su recorrido.
a,b Restrinja el codominio de 0 para obtener una funcin sobreyectiva.
a- b Sin variar el codominio de la funcin en a,b, halle una restriccin
biyectiva que sea contnua.
a. b Halle grfica y algebricamente la funcin inversa de la restriccin
hallada en a- b
a)b Si 0 E F y 1 G H son biyecciones, demuestre que la
funcin inversa de 1 0 es 0 " 1" .
a*b Sean 0 E F biyectiva, 0 " su inversa y R un subconjunto de F.
Pruebe que la imagen recproca 0 " es igual a la imagen directa de R por
medio de la funcin inversa 0 " .
7. LEYES DE COMPOSICIN INTERNA aOPERACIONESb
7.1 DEFINICIN: Sea I un conjunto. Una funcin X de I I en I
X I I I
se llama una ley de composicin interna definida en toda parte de I
una operacin binaria definida en todo I .
En adelante, siempre que digamos ley de composicin definida en I , se
entender definida en toda parte de I . Se acostumbra notar X aB C b en la
forma BX C.
EJEMPLOS

naturales

1. Una ley de composicin interna es la suma de nmeros

:
a7 8b a7 8b 7 8

J. Daro Snchez H.

es decir,

MATEMTICA BASICA

33

eaa7 8b 7 8b7 8 f

2. La suma comn y corriente de nmeros reales

d d d
aB Cb aB Cb B C
es claramente una ley de composicin interna en d.

Ntese que los ejemplos a"b y a#b son diferentes, an cuando se notan las
funciones con el mismo signo.

3. Sea I e+ ,f consideremos X eaa+ +b +b aa+ , b , b aa, +b +b aa, , b +bf

se obtiene que X es una ley de composicin interna en I ; tambin se
acostumbra escribir en la forma
+X + + +X , , ,X + + y ,X , +
en un cuadrado de la forma
X
+
,

+
+
+

,
,
+

As si se quiere hallar BX C, deber tomarse B sobre la primera columna de

la izquierda y C sobre la primera fila y el resultado est en el cruce de la
fila con la columna correspondiente.
4. Sea I el conjunto de todas las proposiciones. Decimos que dos
proposiciones son iguales, si son equivalentes, es decir : ; significa :
es verdadera si y slo si ; es verdadera.
Entonces I I I
(la conjuncin entre proposiciones)
a: ; b : ;
es una ley de composicin interna en I .
5. Sea I como en el ejemplo 4. la implicacin de dos proposiciones
I I I
a: ; b : ;
es una ley de composicin interna.
6. Sea \ un conjunto y denotemos con c \ al conjunto formado con
todos los subconjuntos de \ , tambin llamado partes de \ . La reunin es
una ley de composicin interna definida en c\
c \ c \ c \
aE F b E F

J. Daro Snchez H.

MATEMTICA BASICA

34

7.

d d d
la exponenciacin definida en los
aB Cb BC BC
nmeros reales positivos es una ley de composicin interna definida en
toda parte de d . Si en lugar de d se toma d , no se tendra definida una
"
ley de composicin definida en toda parte de d ya que B # no es real
cuando B !.
8. Sea \ un conjunto no vaco. Sea el conjunto de todas las funciones
de \ en \ (=e0 0 \ \ f)

a0 1 b 0 1
la composicin usual entre funciones, es una ley de composicin interna
en .
7.1.2 EJERCICIOS

a"b Sea d el conjunto de los nmeros reales

d d d
aB Cb B C
la diferencia entre nmeros reales, se pregunta es una ley de
composicin interna definida en toda parte de d?
a#b Sea I un conjunto cualquiera y ! I . Son
: I I I
X I I I
aB Cb B C B
aB C b BX C !
leyes de composicin definidas en toda parte de I ?
a$b Consideremos

d d d
la divisin en d entonces
aB Cb B C
no es una ley de composicin interna definida en toda parte de d por
qu?
7.2 CLASES DE LEYES DE COMPOSICIN

a+b Una ley de composicin X I I I se llama asociativa si y slo

si
aa+ I baa, I baa- I baa+X , bX - +X a,X - bb
Se puede probar fcilmente que las leyes de composicin dadas en los
ejemplos a"b a#b a$b a%b a'b y a)b anteriores son leyes asociativas. As para
a)b, tenemos
aa0 1b 2baBb a0 1ba2aBbb 0 a1aBbb
aB \
a0 a1 2bbaBb 0 aa1 2baBbb 0 a1a2 aBbbb
aB \
Como coinciden en todos los puntos de \ se tiene
a 0 1 b 0 a1 2 b
Las leyes de los ejemplos a&b y a(b no son asociativas, puesto que

J. Daro Snchez H.

MATEMTICA BASICA

35

c a : ; b < d c : a; < b d
puesto que si se toman proposiciones : ; < todas falsas entonces
a: ; b < resulta falsa pero : a; <b es verdadera.
Ahora en a(b se tiene
#
#
a#$b# a#$ b #$ #a$#b

a,b Una ley de composicin X se llama conmutativa si

aB IaaC I baBX C CX Bb
Las operaciones binarias de los ejemplos a"b a#b a%b y a'b anteriores son
conmutativas, mientras que a$b a&b a(b a)b no son conmutativas. As en a$b
+X , , + ,X +, en a&b : ; ; : en muchos casos, en a(b #$ $# y
en a)b 0 1 1 0 en general

a- b Una ley de composicin binaria X en I se llama modulativa si existe

/ I tal que
aB Ia/X B BX / Bb
/ es llamado el mdulo de X .
a"b d d d
el producto de nmeros reales es
aB Cb BC
modulativo pues, aB daB " " B Bb

EJEMPLOS.

a#b Si suponemos que cero es un nmero natural entonces la suma de

nmeros naturales es modulativa pues; a8 a! 8 8 ! 8b

a$b Para la suma entre nmeros reales el cero tambin es el mdulo; en el

cunjunto ca\ b partes de \ el conjunto vaco es el mdulo para la unin
de conjuntos pues, aE c \aE F F E Eb; en el conjunto de
todas las funciones definidas sobre un conjunto \ la aplicacin idntica
de \ , la diagonal de \ es el mdulo para la composicin de funciones
pues, a0 a0 ?\ ?\ 0 0 b
Claramente los ejemplos a$b a%b y a&b de la seccin 7.1 no son modulativos
lo mismo que a(b ya que "\ \ " \ .
a. b Una operacin X en I modulativa, se llama invertiva si
aB IbBw IaBX Bw Bw X B /b
donde / es el mdulo de I para X .

a"b El ejemplo a"b del numeral 7.1 no es invertiva ya que no

existe un nmero natural Bw tal que & Bw Bw & !

EJEMPLOS.

a#b De la misma seccin el ejemplo a#b es una ley invertiva; el ejemplo a'b
es de una ley modulativa pero no es invertiva puesto que

J. Daro Snchez H.

MATEMTICA BASICA

36

aE c \aE F F E Eb, pero dado E F no existe un conjunto

Ew tal que E Ew Ew E F ya que E Ew E F.

a$b La ley de composicin dada en el ejemplo 8 de la seccin 7.1 no es

invertiva, pues si 0 \ \ es una funcin que no es ni uno a uno ni
sobre, no existe 0 w tal que
0 0 w 0 w 0 ?\ . Sin embargo en este
conjunto se habla con frecuencia de funciones invertibles a la derecha a
la izquierda. Ahora si se toma como el conjunto de las funciones de \
en \ que son uno a uno y sobre sea de las biyecciones entonces

a0 1 b 0 1
es una ley de composicin invertible.
7.3 EJERCICIOS.

a"b Sea W :+< 37:+< y definamos en W una adicin as:

W W W
a:+< :+<b :+< :+< :+<
a:+< 37:+<b :+< 37:+< 37:+<
a37:+< :+<b 37:+< :+< 37:+<
a37:+<, 37:+<b 37:+< 37:+< :+<
Es una operacin eta adicin? en caso de serlo es modulativa e
invertiva?
a#b Es la operacin resta entre nmeros reales modulativa e invertiva?.
a$b Busque dos ejemplos ms de operaciones no conmutativas y dos de
operaciones modulativas no invertivas.
a%b a+b En un conjunto de dos elementos, defina una operacin asociativa
y no conmutativa.
a,b Conoce una operacin asociativa y no conmutativa definida en un
conjunto infinito?.
a&b Definamos + , a+ ,b a+ ,b siendo + y , nmeros reales
cualesquiera; demostrar que
a+b es una operacin
a,b es conmutativa
a- b es asociativa
a. b Bajo qu condiciones es modulativa?
a/b Es invertiva?
Nota: es llamada adiplicacin.
a'b Pruebe que para una operacin modulativa, el mdulo es nico
a(b Demuestre que si es invertiva en W , entonces para un elemento
cualquiera, su inverso es nico.

J. Daro Snchez H.

MATEMTICA BASICA

37

8. CONCEPTO DE GRUPO
8.1 DEFINICIN. Sea K un conjunto en el cual se ha definido una ley de
composicin interna X . K se llama un grupo para X , la dupla K X se
llama un grupo, si X es una ley de composicin que es asociativa,
modulativa e invertiva. Si adems X es conmutativa, K se llama un grupo
abeliano o conmutativo.
a"b d , es decir, los nmeros reales con la suma son un
grupo abeliano.

EJEMPLOS

a#b d ! es un grupo abeliano, pues los axiomas de d afirman que

a+ d !aa, d !ba- d !aa+ , b - + a, - bb
a+ d !a" + + " +b
a+ d !ab+w d !ba+ +w +w + "b
a+ d !a, d !a+ , , +b

a$b
Sea
e0 \ \0 es uno a uno y sobref
donde
\ F,
consideremos

a0 1 b 0 1
como ley de composicin en . Entonces es un grupo no
abeliano. Ya demostramos que la composicin de funciones cualesquiera
es asociativa, luego en particular en este caso se tiene la asociatividad.
Como ?\ es uno a uno y sobre, ?\ , entonces se tiene que la
composicin es modulativa y tambin es invertiva.

a%b Sea K a#b T +</= ! " y considere la tabla

+ ! "

! ! "

" " !

la cual define en /a#b una operacin, asociativa, modulativa ( ! es el

mdulo), invertiva ! ! ! " " ! y conmutativa, Luego /a#b
es un grupo abeliano.

a&b Consideremos el plano euclidiano y en l un punto fijo T podemos

rotar alrededor de T el plano un ngulo :
$'!! : $'!!
mejor
#1 : # 1
se mide en radianes. : es considerado positivo cuando se rota en el
sentido contrario al movimiento de las agujas del reloj, y negativo en el
otro sentido. Una rotacin del plano en un ngulo : lo denotaremos V: y

J. Daro Snchez H.

MATEMTICA BASICA

38

es en realidad una aplicacin del plano en si mismo, ms an es una

funcin uno a uno del plano sobre si mismo. Sea
K eV: V: es una rotacin del planof
Definimos en K la operacin
K K K
aV: V< b V: V< V:<
Sabemos ya que es asociativa, adems tomando V! como mdulo la ley
es modulativa y como
V : V : V ! V : V :
aV:
se sigue que la ley es invertiva. Claramente es conmutativa, luego K
es un grupo abeliano.
a'b Sea # un plano euclidiano con un sistema de coordenadas
cartesianas. Sabemos que un punto T se determina dando sus
coordenadas aB Cb. Identifiquemos entonces T con sus coordenadas
aB Cb. Definimos una funcin
L> # #
as
L> aaB Cbb a>B >C b
>!
Tenindose que L> es uno a uno, ya que
L> aaB Cbb L> aaB" C" bb a>B >C b a>B" >C" b >B >B" >C >C"
como > ! podemos simplificar para obtener
B B" C C" aB C b aB" C" b
L> es sobre; puesto que dado aB C b # entonces B> C> # y se tiene que
L> B> C> aB C b
Sea ahora L L> # #> d ! y definimos en L la siguiente
ley de composicin
L L L
aL> L= b L> L= L>=
entonces resulta que es asociativa y conmutativa en L , como se
prueba fcilmente. Adems L" es el mdulo y
L> L " L"
aL>
>

luego la ley es invertiva. As L es un grupo abeliano llamado de las

homotecias del plano.
a(b Sea # un plano euclidiano, si aB Cb # y + , d definimos la
aplicacin X+, :# # como sigue:
X+, aaB Cbb a+ B , C b
Es fcil ver que X+, es uno a uno y sobre. Considrese
X+, :# #+ , d

al conjunto de todas las posibles X+, , y definamos en la siguiente ley

de composicin

J. Daro Snchez H.

MATEMTICA BASICA

39

:
aX+, X-. b X+, X-. X+-,.
la cual resulta asociativa y conmutativa en como fcilmente se puede
verificar, X!! es el mdulo, adems como
a
X+, X+, X!!
X+,
entonces la ley es tambin inversible, as , es un grupo abeliano
llamado el grupo de las translaciones.
8.2 EJERCICIOS

a"b. Demuestre que L= L> L=> , donde L> se define como en el ejemplo
a'b de la anterior seccin.
a#b D una interpretacin geomtrica a los efectos producidos en el plano
por las homotecias y las translaciones.
a$b En el conjunto cociente /a5 b ! " # 5 " definimos una
relacin muy especial dada por
a5 b a5 b /a5 b
+ , + ,
Demuestre que esta relacin es una ley de composicin en /a5 b y que
esta operacin hace de /a5 b un grupo conmutativo.
NOTA. Este ejercicio es una generalizacin del ejemplo a%b de la seccin
anterior, donde se ha definido una operacin anloga en el conjunto
cociente /a#b.
a%b Pruebe que el conjunto I es el mdulo de la operacin " " definida
en T aI b R R I pero que ningn subconjunto propio de I tiene
inverso para ella. Es " " cancelativa?.
a&b Demuestre que T aI b no es grupo. Es la unin cancelativa?
a'b Defina una nueva operacin entre subconjuntos de I llamada la
diferencia simtrica:
E?F B IB E
B F.
Tenindose en cuenta la tabla de verdad del "o" exclusivo a1b y la
tautologa a:
;b
< :
a;
<b (verifquelo primero), pruebe que:
a+b aE?F b?G E?aF ?G b
a)b E?F aE F b aF Eb
a- b La diferencia simtrica es modulativa, dando el mdulo
explcitamente.
a. b "?" es invertiva en T aI b
a/b T aI b ? es un grupo conmutativo.
a0 b La interseccin es distributiva con respecto a la diferencia simtrica.
a*b La operacin + , + , + entre nmeros reales es asociativa?

J. Daro Snchez H.

MATEMTICA BASICA

40

9. LOS NMEROS REALES

9.1 En pocas pasadas bastaban al hombre, para sus necesidades
referentes a conteos y mediciones, los llamados nmeros naturales
" # . En cambio hoy en da no es demasiado exigir que un estudiante
de secundaria est acostumbrado a manejar nmeros como,
! " # "$ $% $" %#

"(

%$")!# # 1 $

&

/ />- ,

los cuales manejan en calculadoras y computadores, y que son llamados

"nmeros reales", aunque, por otra parte, no se sepa qu son en ltima
instancia; es decir, que nunca se haya o lo hayan enfrentado con la
pregunta qu es un nmero real? . En lo que sigue se usarn sin
comentario previo, algunos de los hechos ms elementales relativos a
estos nmeros; entre ellos su representacin geomtrica por medio de
los puntos de una recta

a cada punto de dicha recta ("recta real", , "recta numrica") le

corresponde un nmero, y slo uno, y a cada nmero un punto, y slo
uno, de la recta. En todo caso, y con el objeto de representar los
conceptos, se enunciaran a continuacin las propiedades caractersticas
de lo nmeros reales, los cuales se llamarn en adelante, salvo que se
advierta lo contrario, simplemente nmeros.
El filsofo griego Pitgoras (hacia el 600 a.C.) saba ya que la razn < .6
entre la longitud de la diagonal de un cuadrado a. b y la longitud 6 de su
lado, satisface la igualdad
. # a<6b# 6# 6#
a"b
As pues, razonaba l: existe un "nmero" < tal que <# " " # . Pero
por otra parte, Pitgoras reconoci que < no poda representarse como un
cociente < +, de enteros. En efecto, tomando + y , primos entre si
+, # # +# #,#
Ms an, descomponiendo + en factores primos, resulta que +# es
divisible por # un nmero par de veces aes decir, + #5 b y por lo anlogo
# dividir a #,# un nmero impar de veces (es decir, #,# a#5 b# o sea
%5 # #,# #5 # ,# de donde , #7 ) y + no sera primo relativo con ,.
Luego +# #,# es imposible para + y , enteros. Unicamente podemos
solucionar este "dilema de Pitgoras" introduciendo los nmeros
irracionales: nmeros que no son cociente de enteros.
Razonamientos anlogos demuestran que la razn $ entre la longitud
de la diagonal de un cubo G y la longitud de su arista.

J. Daro Snchez H.

MATEMTICA BASICA

41

Estos resultados son casos particulares del siguiente teorema mucho ms

general:

9.2 TEOREMA. Sea :aBb B8 +" B8" +8 un polinomio con su primer

coeficiente igual a " y los dems +" +# +8 enteros. Si la ecuacin
:aBb ! tiene raices racionales, stas son nmeros enteros.
Supongamos que :aBb ! para alguna fraccin B +, .
Dividiendo + y , por su 7-. (mximo comn divisor) puede expresarse B
como cociente B 6< de dos enteros < 6 primos entre s. Sustituyendo este
valor en :aBb y quitando denominadores
! 68 : <6 <8 +" <8" 6 +# <8# 6# +8 68
luego
<8 +" <8" 6 +8 68
de donde 6 divide a <8 . Esto exige que cualquier factor primo de 6 divide a
<8 y por lo tanto a <. Pero < y 6 no tienen divisores comunes, y por lo
<
tanto 6 ", y la fraccin dada B "
< es un nmero entero, lo
cual queramos demostrar.

DEMOSTRACIN.

Para probar la irracionalidad de #), por ejemplo fundndonos en el

teorema 9.2, procedemos como sigue: Si lBl ', entonces B# #) ! , y,
si lBl &, entonces B# #) !; luego ningn entero puede ser solucin de
B# #) !, y por el teorema 9.2 la solucin de B# #), que es #) no
puede ser racional.
Otros nmeros irracionales son 1 / y muchos otros.
Es de notar que la mayoria de los nmeros reales son irracionales e
incluso, a diferencia de #, no pueden satisfacer ninguna ecuacin
algebrica. Este resultado que hemos ampliado, nos indica ya que para
contestar a la pregunta qu es un nmero real? necesitamos utilizar
ideas enteramente nuevas.
La naturaleza de estas ideas y la relacin entre los nmeros reales y los
racionales sern examinadas parcialmente en los pargrafos que siguen.

J. Daro Snchez H.

MATEMTICA BASICA

42

9.3 MTODO GEOMTRICO Y EXPANSIN DECIMAL

Los griegos de la poca clsica usaron un mtodo geomtrico de
aproximacin para el clculo de los nmeros reales. Para ellos, un
nmero era simplemente una razn a+ ,b entre dos segmentos
rectilneos + y ,. En consecuencia, dieron construcciones geomtricas
para establecer la igualdad entre razones, as como para la adicin,
sustracin, multiplicacin y divisin de razones. De este modo las leyes
del lgebra aparecen como teoremas geomtricos.
La versin griega de la nocin de igualdad entre nmeros racionales y
reales se basaba en una condicin debida a Eudoxio, que especificaba
cundo eran iguales dos razones. Esta condicin se haca depender de las
posibilidades de formar geomtricamente los mltiplos enteros 7 + de
un segmento dado + y comparar geomtricamente las longitudes de los
dos segmentos. Se estipulaba que a+ ,b a- . b cuando, para todo par
de enteros positivos 7 y 8
si 7+ 8, tambin 7- 8. , si 7+ 8, tambin 7- 8.
a#b
8
Algebracamente, 7+ 8, significa que +, 7
suponiendo siempre que ,
y 7 sean positivos. Entonces a#b puede leerse as:
+
8
+
, . , cuando cualquier nmero racional 7 que sea mayor que , es
tambin mayor que .- .
La validez de la condicin a#b de Eudoxio expresa, evidentemente, la
circunstancia de que dos nmeros reales positivos a+ ,b y a- . b son
diferentes si y slo si existe algn nmero racional mayor que uno de
ellos y menor que el otro. Tambin su condicin para a+ ,b a- . b tiene
el mismo fundamento y es el siguiente:
<+ 6, y <- 6. , para enteros convenientes < y 6
a$b
El estudio geomtrico de los nmeros reales es ya desacostumbrado. En
la actualidad se les estudia aritmticamente, mediante aproximaciones
racionales, en expancin decimal (un decimal es, como se sabe, un
nmero racional cuyo denominador es potencia de diez (10)). Por
ejemplo, el irracional # se reemplaza en la prctica por las
aproximaciones sucesivas
" "% "%" "%"% "%"%#
a%b
El nmero 1 es aproximado anlogamente, por los decimales
." $" .# $"% .$ $"%" .% $"%"& .& $"%"&*
a&b
y as sucesivamente.
9.4 PROPIEDADES ALGEBRAICAS

Para cada par aB Cb de nmeros est definido un nmero ay uno slob

designado B C, que es la suma de B con C, y un nmero (y uno slo)

J. Daro Snchez H.

MATEMTICA BASICA

43

designado por BC que es su producto. La operacin que al par aB C b le

hace corresponder en nmero B C arepectivamente BC b se llama adicin
(respectivamente multiplicacin) y se tienen los siguientes axiomas
A.1 La adicin y la multiplicacin son asociativas, es decir para
cualesquiera nmeros B C D se cumple
B a C D b aB C b D
BaCD b aBCbD
A.2 Los nmeros ! y " a! "b son mdulos para la adicin y la
multiplicacin respectivamente, en el sentido siguente
B ! ! B B a B d
B " " B B
aBd
A.3 Dado un nmero B, existe un nmero Bw , y uno slo, tal que
B Bw Bw B !. ste Bw se llama el opuesto de B y se designa por B.
Anlogamente dado B un nmero tal que B !, existe un nmero Bww , y
uno slo, tal que BBww Bww B ". Este Bww es el inverso de B y se le denota
por B" .
A.4 La adicin y la multiplicacin son conmutativas, es decir
B C C B
BC CB
para todo nmero B y todo nmero C.
A.5 La adicin es distributiva con respecto a la multiplicacin, esto es,
BaC D b BC BD
cualesquiera que sean los nmeros B C D
A.6 El nmero " es diferente al nmero !.
A.7 Si + , y - . entonces + - , .
+- ,. .
9.4.1 TEOREMA. + ! ! para todo nmero +

" " ! entonces + " +a" !b de A.2 y A.5

+ + " + ! + + + ! aplicando A.7
a +b + a +b a+ + !b de A.3 y A.1 tenemos
! a +b + + ! de A.3
!!+!
de A.2 se tiene finalmente
!+!

PRUEBA.

9.4.2 TEOREMA. Si +, !, entonces + ! , !.

PRUEBA.

pero

Supongamos que + !, entonces existe +" por lo tanto

+" a+,b +" ! !

+" a+,b a+" +b, " , ,

por lo tanto
,!

J. Daro Snchez H.

MATEMTICA BASICA

44

9.4.3 TEOREMA. El ! no tiene inverso. Esto es, no hay un nmero real B tal
que ! B ".
PRUEBA.

Conocemos por 9.4.1 que ! B ! . Si tenemos ! B " para algn

B, tendramos que ! ", y , ! "
por el axioma A.6, esto es una
contradiccin.

9.4.4 TEOREMA. (Ley cancelativa de la adicin) Si + , + - entonces

, -.
Si + , + - , entonces a +b a+ , b a +b a+ - b, usando
el axioma A.1 tenemos ca +b +d , ca +b +d - pero de A.3 se
recibe ! , ! - finalmente de A.2 se tiene , - .

PRUEBA.

9.4.5 TEOREMA. (Ley cancelativa de la multiplicacin) Si +, +- y + !

entonces , PRUEBA.

Si +, +- y + !, entonces + tiene inverso +" . Por lo tanto de A.7

se tiene
+" a+,b +" a+- b
por A.1 tenemos
a+" +b, a+" +busando A.3
", "por A.2 se llega a
, -.

9.4.6 TEOREMA. Para cualquier nmero + se tiene a +b +.

PRUEBA.

que

Por definicin del opuesto, el nmero a +b es un nmero B tal

a +b B B a + b !
Para + por el axioma A.3 se tiene que
a +b + + a + b !
luego el nmero + tiene dos opuestos aditivos a saber B y +, pero el
axioma A.3 garantiza que
+ B a + b.
Para mayor seguridad se puede demostrar la unicidad del opuesto

J. Daro Snchez H.

MATEMTICA BASICA

45

LEMA.

El opuesto aditivo es nico.

En efecto, sea + un nmero por el axioma A.3 existe +w tal que
+ + w + w + !.
Supongamos
que
hay
otro
+ww
tal
que
ww
ww
+ + + + ! resulta entonces que
+w ! +w a+ww +b +w +ww a+ +w b +ww ! +ww

9.4.7 TEOREMA.
a +b, a+,b.

Para cualesquiera nmeros +

y , se tiene que

PRUEBA.

Basta probar que

a +b, +, +, a+b, !
puesto que en esta forma se tiene que a +b, es el opuesto aditivo de +,
y segn el lema anterior a +b, a+,b.
Ahora por el axioma A.5 tenemos
a +b, +, a +b +,
por el axioma A.3 se tiene
a +b, +, ! , !.

9.4.8 TEOREMA. a +ba ,b +, cualesquiera sean los nmeros + y ,.

PRUEBA.

a +ba ,b +a ,b porqu?
a ,b+ porqu?
a+,b porqu?
,+ +,
porqu?

_________
_________
_________
_________.

9.4.9 TEOREMA. Si + y , son nmeros diferentes de cero cualesquiera,

entonces a+,b" +" ," .
PRUEBA.

ahora

Debemos mostrar que

a+,ba+" ," b "

a+,ba+" ," b +c,a+" ," bd +c, a, " +" bd

+ca,," b+" d +c" +" d ++" "
como el inverso multiplicativo de a+,b es a+,b" y por la unicidad del
inverso se tiene la igualdad.
Para mayor claridad mostemos que el inverso multiplicativo tambin es
nico; sabemos que para + ! existe +w tal que ++w +w + "
supongamos ahora que existe otro nmero +ww tal que ++ww +ww + "
tenemos entonces
+ww " +ww a+w +b+ww +w a++ww b +w " +w .

J. Daro Snchez H.

MATEMTICA BASICA

46

9.4.10 TEOREMA. Para cualesquiera nmeros + y , se tiene

a+ , b a + b a , b
PRUEBA.

Nos basta con probar que

a+ , b c a + b a , bd !
En efecto; a+ ,b ca +b a ,bd + a, ca +b a , bdb
+ a, ca ,b a +bdb + ac, a , bd a +bb
+ a! a +bb + a +b !.

9.4.11 EJERCICIOS.
Pruebe cada una de las siguientes igualdades aclarando los axiomas y
resultado usados
a"b ,a +b a+,b
a#b a +ba ,b ,+
a$b +a, - b +, +a%b ! !
a&b + ! +
a'b , + , a +b
a(b +, .- +. ,b
a)b +, .- a+.,,.
!
a*b +, +
,
+
+a"!b , . ,.
a""b +, ! +, +, "
a"#b a ,b" a," b
a"$b Analice todas las demostraciones de los teoremas 9.4.1 a 9.4.10 y
concluya que tipo de demostracin fue utilizada.
9.5 PROPIEDADES DE ORDEN
Existe en los nmeros una relacin (es mayor que ) que establece un
orden entre los nmeros y que est regida por los siguientes axiomas
llamados de orden
O.1 Dados dos nmeros reales B, C cualesquiera, se cumple una y una
sola de las tres alternativas siguientes:
B C
B C
CB
O.2 Si B C, y a su vez C D , entonces B D .
OA.1 Si B C entonces B D C D , para todo nmero D .
OA.2 Si B ! y , C !, entonces BC !.

J. Daro Snchez H.

MATEMTICA BASICA

47

Estos ltimos axiomas relacionan las propiedades algebricas con el

orden.
En lugar de " B C , B C" se escribe B C . Se acostumbra tambin
escribir C B y, C B en lugar de B C B C .
9.5.1 TEOREMA. Cualesquiera dos desigualdades pueden ser adicionadas.
Esto es, si , + y . - entonces , . + PRUEBA.

Por OA.1 se tiene

, - + - , . , - , . , - , - + entonces por O.2 se tendr
, . + -.

9.5.2 TEOREMA. , + si y slo si , + !

PRUEBA.

Si , +, entonces por OA.1 se tiene , + + +. Por lo tanto

, + !.
Inversamente si , + ! entonces a, +b + ! + de donde , +

9.5.3 TEOREMA. Una desigualdad es preservada si multiplicamos ambos

miembros, por el mismo nmero positivo. Esto es
+ , - ! +- ,PRUEBA.

Puesto que + , tenemos + , !. Por lo tanto usando OA.2

tenemos - a+ ,b ! y por A.5 tenemos -+ -, !, usando el teorema
9.5.2 tenemos +- ,- .

9.5.4 TEOREMA. Si + ! entonces + !.

PRUEBA.

Si + ! entonces + + ! + (por OA.1). As ! + + !

9.5.5 TEOREMA. Si ! + entonces + !.

PRUEBA.

Si ! +, entonces ! + ! (por 9.5.2) + !.

9.5.6 TEOREMA. Si , + y ! - entonces +- ,- .

J. Daro Snchez H.

MATEMTICA BASICA

48

PRUEBA.

Si , + entonces , + !, y por otro lado si ! -, entonces

- !. Por lo tanto a - ba, +b ! +- ,- ! por el teorema 9.5.2
+- ,-

9.5.7 EJERCICIOS.

a"b Ordene de menor a mayor los racionales siguientes

" # # $ $ ' %
# $ & ( % ( &.
a#b Determine sobre una recta numrica los puntos de coordenadas
$ $ & "# ' !$ ##.
a$b Pruebe que no es posible tener B C C B para dos reales
cualesquiera.
a%b Haga ver que
B C B C B C.
a&b Pruebe que
B C C B B C.
a'b Establezca las propiedades anlogas a OA.1 y al teorema 9.5.1
anteriores dadas para la relacin " ".
a(b Demuestre que si B ! y D es tal que BD ", entonces D !.
a)b Pruebe que si + , - !, entonces +- -,
Qu ocurrir si - !?
a*b Demuestre que si ! + ,, entonces ! ", +" .
a"!b Defina y represente grficamente los intervalos semiabiertos + , y
+ ,.
Aqu ; + , B d+ B , y + , B d+ B ,
a""b Qu significan los intervalos a+ +b, + , + , y + + ?.
a"#b Halle y represente grficamente los conjuntos siguientes:
a+b ! # # '
a- b "# _ _ #
a,b ! # )# '
a. b _ $ " _
a/b ! $ # _
a0 b ! # # $
a1b ! $ $ %
a2b " _ # %.
a"$b Represente los nmeros reales sobre una recta vertical, de tal manera
que el punto correspondiente al " est por encima del correspondiente al
cero. Si + ,, cmo estarn ubicados sus puntos correspondientes E y
F?
a"%b Cmo es el producto de los dos nmeros reales negativos?. Cmo
es la suma de dos nmeros negativos?. Demuestre que sus afirmaciones
son verdaderas.
a"&b Demuestre que el cuadrado de un nmero distinto de cero, es
estrictamente mayor que cero.

J. Daro Snchez H.

MATEMTICA BASICA

49

9.6 PROPIEDAD DE COMPLECIDAD.

Como era de esperarse, esta propiedad afirma, en total acuerdo con la
intuicin, que la recta numrica no tiene huecos, que carece de
discontinuidades: que es completa. Sin embargo, como puede apreciarse
por el lenguaje usado, la propiedad en cuestin no est descrita con
precisin suficiente para ser inequvoca y aceptable. Para lograr la
anhelada precisin puede procederse de la manera siguiente:
En primer lugar una pregunta; si la recta nmerica tuviera huecos cmo
podran detectarse estos?. La existencia de uno de tales huecos o cortes
A

automticamente dara al conjunto de los puntos de la recta, en virtud del

orden que los afecta, una clasificacin natural: los puntos que estn
antes del corte (puntos AC) y los puntos que estn despus del corte
(puntos CD). Todo punto es un AC un CD ( pero no las dos cosas al
tiempo), adems, todo punto anterior a un AC es un AC y todo punto
posterior a un CD es un CD. Por ltimo, no existira un punto tal que todo
punto anterior a l fuera un AC y todo punto posterior a l fuera un CD,
(este elemento "sera" precisamente el que falta).
Ms formalmente se procede as: una cortadura aElF b es una clasificacin
de todos los nmeros en dos conjuntos clases E y F de tal manera que:
a3b Hay nmeros en ambas clases (es decir, que ninguna de las dos clases
es vaca)
a33b Si + E y , F , entonces + ,
Dada la cortadura aElF b, como las clases E y F no son vacas existe por
lo menos un nmero + E y un nmero , F , y por la condicin a33b se
debe tener que + ,

Si un nmero B +, entonces como debe estar clasificado, se encontrar

en E en F, pero como por a33b no puede estar en F, entonces
necesariamente estar en E. Anlogamente, todo nmero mayor que ,
debe pertenecer a F .

Por otra parte, los elementos entre + y , tambin deben estar

clasificados, luego las clases E F deben tener una disposicin como la
siguiente

J. Daro Snchez H.

MATEMTICA BASICA

50

Si existe un nmero - mayor o igual que todos los de E y menor o igual

que todos los de F, este nmero - se llama nmero punto frontera de
la cortadura aElF b.
Intuitivamente puede verse que si existiera una cortadura aElF b sin
frontera, la recta tendra un hueco, corte, es decir, no sera continua la
recta nmerica.
En este caso dado un elemento + de E, siempre existira otro elemento
+w E tal que +w +; anlogamente para F (aa, F bab, w F b, w ,). Luego
ningn elemento de E de F podra ser frontera, y como cada nmero
real debe estar en E en F , entonces no existira punto frontera alguno.
La ltima propiedad de los nmeros reales asegura la inexistencia de
estos "huecos" "discontinuidades" en el conjunto de los reales:
V. Toda cortadura aElF b en el conjunto de los nmeros reales determina
un nmero - que es su frontera.

Si el nmero - perternece a la clase E, entonces E es el conjunto de todos

los nmeros menores o iguales que - y entonces - es el mayor de los
elementos de E el "mximo" de E.
Si - F , entonces E es el conjunto de los nmeros menores que - y F es
el conjunto de los nmeros mayores o iguales que - , siendo - el menor
de los elementos de F , el "mnimo" de F.
Las propiedades que se acaban de enunciar caracterizan al conjunto de
los nmeros reales, en el sentido siguiente: si un sistema tiene
esencialmente estas propiedades, entonces salvo notaciones usadas, este
sistema es idntico al de los nmeros reales.
Es claro que los nmeros reales tienen muchas propiedades pero, cada
una de ellas es consecuencia estrictamente lgica de los axiomas antes
enunciados. Como ejemplo consideremos el siguiente teorema conocido
como la propiedad Arquimediana de los nmeros.
9.6.2 TEOREMA. Si B e C son nmeros reales positivos y si se localizan
sucesivamente B #B $B %B entonces llega un momento en que estos
puntos sobrepasan a C, es decir, existe un nmero entero 8 tal que
8B C.
Este hecho, de tan grande evidencia intuitiva, puede sin embargo
demostrarse usando slamente propiedades caractersticas de los
nmeros reales.
En efecto; si todos los mltiplos B #B $B %B de B fueran C, llamando
F la clase de los nmeros , que son mayores iguales que cada uno de
los 8B entonces, si E CF se tiene

J. Daro Snchez H.

MATEMTICA BASICA

51

a3b E F pues todos los mltiplos 8B estn en ella (cada uno de ellos es
menor que el siguiente). F tampoco es vaco pues por ejemplo C es un
nmero que est en esta clase.
a33b Si + E y , F , entonces + es menor que algn 8B y , ser mayor o
igual que este 8B, luego + ,.
Como adems es claro que todos los nmeros estn clasificados,
resultando que aElF b es una cortadura. Si - es la frontera de aElF b
entonces todos los mltiplos de B seran menores o iguales que -, en
particular, para todo natural 8 se cumplira a8 "bB - o lo que es lo
mismo, 8B - B es decir, que todos los mltiplos de B seran tambin
menores o iguales que - B
(n+1)x

Luego, si 5 es un nmero entre - B y - ( por ejemplo 5 - B# ) siendo

mayor que todos los 8B debera estar en F y siendo menor que - debera
estar en E, pero esto no es posible porque E y F no pueden tener
elementos comunes. En consecuencia debe existir un mltiplo de B mayor
que C.

Como se vio hace un instante, dados dos nmeros diferentes B e C, es

fcil hallar nmeros que estn entre ellos, por ejemplo D BC
tiene esta
#
propiedad.
Sin embargo usando la propiedad Arquimediana (9.6.2) puede
demostrarse que entre dos nmeros reales distintos B e C ( tales que
B C por ejemplo) siempre se halla una fraccin 7
8 7 8 enteros con
8 !.
La idea de la demostracin es sta: las fracciones
8# 8" 8! 8" 8# 8$
estn repartidas a igual distancia unas de otras sobre la recta, para
asegurar que una de ellas est entre B e C basta tomar 8" C B, en
efecto, como C B entonces C B ! luego existe 8 tal que
8aC Bb " es decir 8" C B.
Si adems 7 es el menor de los enteros que son mayores que 8B, es decir
7 8B pero 7 " 8B o tambin 7"
8 B entonces
7
7"
"
8 8 8 B aC Bb C
y como 7 8B entonces 7
8 B, luego
7
B 8 C.
Nos resta preguntar dnde se us la propiedad Arquimediana?

J. Daro Snchez H.

MATEMTICA BASICA

52

9.7. EJERCICIOS

". Demostrar que si aPlY b y aPw lY w b son cortaduras en el cuerpo de los

racionales, cualquier nmero racional con una excepcin a lo ms, puede
escribirse como B C aB P C Pw b o como ? @ a? Y @ Y w b
#. Demostrar que para todo % ! existe un 8 bastante grande para que
"!8 %.
$. A veces se define una cortadura de Dedekin en un campo ordenado J
como un par de subconjuntos Pw y Y w de J tales, que cualquier elemento
de J est siempre en Pw o en Y w , y tal que B C siempre que B Pw e
C Y w . Por adicin y supresin de convenientes nmeros particulares,
demostrar que cualquier cotadura aPw lY w b de este tipo da una cotadura
aPlY b en sentido del texto, y viceversa.
%. Si > es un elemento de un dominio ordenado H con ! > ", demostrar
que = # > tienen las propiedades = " => ".
&. Sea H un dominio ordenado "completo". a+b Si H no es isomorfo con ,
demostrar que H contiene un elemento > con ! > ". a,b Si , y - son
elementos positivos cualesquiera de H, demostrar que >8 , - para algn
8.
'.Demuestre que d satisface la propiedad arquimediana: dados
C d B !, existe un natural 8 tal que 8B C.
(. Demuestre que dado cualquier real, siempre existe un real
estrictamente mayor y otro estrictamente menor.
). Pruebe que todo subconjunto de d no vaco y acotado inferiormente
posee inf en d .
*. Pruebe que no es un subconjunto superiormente acotado de d.

10. LOS NMEROS NATURALES.

Se trata con seguridad del conjunto pionero en el estudio de la
matemtica, pues acogindonos al concepto del matemtico aleman
Leopoldo Kronecker nos atrevemos a decir que: "el buen Dios nos di los
nmeros naturales; el resto ha sido obra del hombre". Hacemos a
continuacin una presentacin, de estos nmeros, desde un punto de
vista axiomtico como sigue:
10.1 DEFINICIN. Los nmeros naturales, denotados por el smbolo , son
un conjunto, dos de cuyos elementos son denotados con los smbolos ! y
" a! "b, junto con dos operaciones llamadas adicin y multiplicacin,
denotadas por y respectivamente. Las siguientes propiedades
algebricas debe satisfacer la adicin

J. Daro Snchez H.

MATEMTICA BASICA

53

1A 7 8 8 7 para todo 7 y para todo 8

Esta propiedad es la ley conmutativa de la adicin
2A a8 7b : 8 a7 :b para todo 8 7 :
3A a8 8 ! 8
4A 8 7 8 " 7 " para todo 8 7
5A 8 ! 8 "
Las siguientes propiedades algebricas deben satisfacer la multiplicacin
1M 87 78 para todo 8 7
2M 8a7:b a87b: para todo 8 7 :
3M 8 "8 8
La siguiente propiedad algebrica adicional debe cumplirse
D 8a7 :b 87 8: para todo 8 7 : .
Finalmente en adicin a las anteriores propiedades algebricas, la
siguiente propiedad, que es llamada el
principio de induccin
matemtica, debe tenerse
MI Si W , es tal que ! y
"8 W 8 " W "
en verdadera
entonces W .
Veamos algunos resultados que se deducen de la definicin anterior y
que se hacen como una ilustracin
10.2 TEOREMA. Si 8 y 8 ! ! entonces a8 "b ! !
PRUEBA.

a 8 "b ! ! a 8 " b ! 8 ! " ! ! !

10.3 TEOREMA. Si 8 y 8 ! entonces 8 5 " para algn 5

PRUEBA. Sea W ! 5 "5 . W tiene las siguientes propiedades
a3b ! ! ! W
a33b Supngase que 8 W . Pero, puesto que W , tenemos que 8 y
adems 8 " 5 "5 , por lo tanto 8 " W .
Luego W cumple las hiptesis de MI, siguindose que W . Concluimos
as que si 8 y 8 ! entonces 8 5 "5 esto indica que
8 5 " para algn 5 .

En la construccin de los nmeros naturales el resultado dado por (10.3)

es utilizado como la propiedad del "sucesor", el axioma MI es conocido
como el principio de induccin. Dada nuestra pobreza en el campo de la
lgica matemtica y el espritu de este trabajo no nos entramos en lo
profundo del conjunto de los nmeros naturales pero invitamos a

J. Daro Snchez H.

MATEMTICA BASICA

54

nuestros cibernautas a que estudien el libro introduccin a la teora de

conjuntos captulo IV pg 153 del profesor Jos M. Muoz Quevedo y
publicado por la Universidad Nacional en 1994 donde se hallan los
nmeros naturales con lujo de detalles.
10.4 EJERCICIOS
Utilice el principio de induccin para dar solucin a los problemas " a $
siguientes:
". Si W tal que el cero es su primer elemento, y se 8 W entonces
8 " W Cul es el conjunto W ?
#. Si W es tal que el primer elemento es "! y el sucesor de
cualquier elemento de W es tambin elemento de W . Halle el conjunto W .
$. Encuentre el subconjunto W de constitudo precisamente por
aquellos 8 tales que $8 " es divisible (exactamente!) por #.
%. Cul sera el subconjunto E de tal que
a3w b # es el ltimo elemento
a33w b el antecesor de cualquier elemento de E est tambin en E ?
Nota: Si 8 E, entonces a 8 " se le llama el antecesor y a 8 " el
sucesor.

11. LOS NUMEROS ENTEROS

En el conjunto de los nmeros naturales y desde un punto de vista
algebrico, se tiene la tendencia a estudiar ecuaciones de la forma ms
elemental posible como & B # , problema como, dados 7 8
hallar B tal que 7 B 8. Este problema no tiene en general solucin en
y para tratar de hallarle una solucin se procede a extender y esta
extensin es conocida como el conjunto de los nmeros enteros y es el
conjunto donde la resta diferencia es una operacin y donde tenga
sentido de hablar de perdidas y ganancias o de temperaturas bajo cero o
negativas y que presentamos en una forma axiomtica en la siguiente
definicin:

11.1 DEFINICIN. Sea Q un conjunto que es dado por e 88 f.

Entonces los nmeros enteros, denotados por el smbolo , es el
conjunto formado por Q , junto con dos operaciones, la adicin y la
multiplicacin denotadas y respectivamente, y donde las siguientes
propiedades se deben cumplir:
1. El subconjunto junto con las operaciones y forman el
sistema de los nmeros naturales.

J. Daro Snchez H.

MATEMTICA BASICA

55

2. Las operaciones y satisfacen las propiedes algebricas 1A, 2A,

3A, 4A, 1M, 2M, 3M y D para los elementos tomados en
3. Para todo D existe D tal que D a D b a D b D !
Ntese que as ,+ es un grupo abeliano.
11.1.2 DEFINICIN. Un conjunto W es llamado un dominio de integridad
cuando entre sus elementos estn definidas dos operaciones, notadas
aditiva y multiplicativamente, con las propiedades:
+,W
DI.1. aa+ Wbaa, Wb +,W unvocamente, de modo que sean validas la
ley distributiva, las dos leyes asociativas y las dos conmutativas
aaBWbaB!Bb
DI.2 ab! Wbab" Wb tales que ! " y aaBWbaB"Bb

DI.3 aa+ Wb la ecuacin + B ! tiene solucin en W dada por B +

Dl.4 Se cumple la ley de simplificacin para el producto, es decir
aaB W !b a+ B , B + , b.
Segn esta definicin , el conjunto de los nmeros enteros, es un
dominio de integridad.
Veamos algunos resultados destacados en
11.2 TEOREMA. Si + , entonces existe un nico elemento B tal que
+ B ,.
DEMOSTRACIN.

La dividimos en dos partes a saber

a!b Si + , , entonces + B , para algn B
a" b Si + , , + B ,, y , + C ,, entonces B C
a!b Supngase + , , hay dos posibilidades
a3b Si + entonces B a +b ,, puesto que tenemos
+ B + a +b , + a +b , ! , ,
a33b Si + Q , entonces + 8 para algn 8 . En este caso
tomamos B 8 , tenindose
+ B a 8b a8 , b a 8b 8 , ! , ,
as en este caso B y + B ,.
a" b Supongamos + B , y + C ,, donde + , B C entonces
+ B + C. Presentndose dos casos nuevamente
a3b Si + , entonces obtenemos
B ! B a +b + B a +b a+ Bb
a +b a+ C b a +b + C ! C C
a33b Si + 8 para algn 8 , entonces
B B ! B a+ 8b aB +b 8 a+ Bb 8
a+ C b 8 aC +b 8 C a+ 8b C ! C
En cada caso B C

J. Daro Snchez H.

MATEMTICA BASICA

56

11.3 DEFINICIN. Para cada + , , se define , + al nico nmero B

tal que + B ,. La operacin en as definida por el smbolo es
llamada sustraccin.
Como los nmeros enteros son la base de la aritmtica en los
pargrafos 14, 15 y 16 destacaremos algunas otras de sus mltiples
propiedades y aplicaciones.
11.3.1 EJERCICIO.

a"b Demuestre que ,- no es un grupo.

Demostrar utilizando el principio de induccin matemtica
a#b a8 " " $ & a#8 "b 8#
b
a$b a8 " " % ( a$8 #b 8a$8"
#
a%b a8 " &8 " %8
a&b a8 R %8 " es divisible aexactamenteb por $
a'b "# ## $# 8# 8a8"ba' #8"b a8 ".
a(b aa8 "b+ +< +<# +<8

+<8" "

<"

cuando < ".

a)b Probar que las siguientes reglas valen en todo dominio de integridad:
a3b a+ ,b a- . b a+ - b a, . b
a33b a+ ,b a- . b a+ . b a, - b
a333b a+ ,ba- . b a+- ,. b a+. ,- b
a3@b a+ ,b a- . b si, y slo si, + . , a*b Cules de los siguientes conjuntos de nmeros son dominios de
integridad?
a+b Todos los enteros pares
a,b Todos los enteros impares
a- b Todos los nmeros de la forma + +# con + y , nmeros
enteros
"
a. b Todos los nmeros reales de la forma + , & % , donde + y , son
nmeros enteros
%
a/b Todos los nmeros reales de la forma + ,
*, donde + y ,
son
nmeros enteros
a0 b Todos los nmeros enteros positivos.
a1b Todos los nmeros racionales enteros cuyo denominador sea "
o una potencia de #

J. Daro Snchez H.

MATEMTICA BASICA

57

12. NUMEROS RACIONALES

Nuevamente una propiedad algebrica nos permite la extensin de los
nmeros enteros al tratar de solucionar el problema:
"dados + , hallar un nmero B tal que +B ,".
Este problema por lo general no tiene solucin de y con esta idea se
extiende el conjunto a uno que lo contenga y donde este problema
tenga solucin. En seguida damos una presentacin de la extensin de
en la forma siguiente.
12.1 DEFINICIN. Un cuerpo J es un conjunto en el cual se tienen
definidas dos leyes de composicin distintas, las cuales se notan con
y aadicin y multiplicacinb para las cuales J y J son grupos
abelianos y adems
BaC D b BC BD
para todo B C D J
Ntese que si J es un cuerpo para cada + ! existe +" "inverso"
multiplicativo que satisface la ecuacin ++" +" + "
12.2 TEOREMA. Sea J un cuerpo, la divisin (exepto por cero) es una
operacin en J !.
PRUEBA.

Basta demostrar que para todo + ! y todo , J la ecuacin

+B , tiene una nica solucin B J
Si + !, entonces existe +" J , podemos as construir un elemento
B +" ,
el cual por sustitucin directa se prueba que +B ,.
Supongamos por otra parte que +B , y +C ,, entonces +B +C, de
aqu +" a+Bb +" a+C b a+" +bB a+" +bC de donde se tiene B C.
La solucin de +B , es denotada +, , +, tenindose as definida la
divisin en J . En particular +" +" .

12.3 TEOREMA. En todo cuerpo J , los cocientes obedecen a las siguientes

leyes ( en donde , ! y . !)
a"b +, .- +. ,a#b +, .- +.,,.
+a$b +, .- ,.
a%b +, +, !
a&b Si +, !, entonces +, +, ".
a"b +, .- +," -. " , as
+. +a,," b. +a, " , b. a+, " b,. a-. " b., - a. " . b, -,

PRUEBA.

J. Daro Snchez H.

MATEMTICA BASICA

58

Recprocamente
+
"
," + ," +a.. " b , " a+. b. " , " a-, b. "
, +,
," a,- b. " a," ,b-. " -. " .a#b Sabemos que B +, e C .- son las soluciones de las ecuaciones ,B +
y .C - . Estas ecuaciones pueden combinarse para dar
.,B +.
,.C ,-
,. aB C b +. , de la ecuacin a,. bD +. ,As pues, B C es la nica solucin +.,,.
a$b Como antes, las ecuaciones ,B + .C - pueden combinarse para
dar
a,. baBCb a,Bba.Cb +de la cual sale BC +,.
a%b Sustituyendo en a#b tenemos
"
+, +, +,,+
!a,# b !
,#
+,
a&b Sustituyendo en a$b tenemos +, +, +,
es la nica
+, . Pero
,+
solucin de la ecuacin
a,+bB +,
Como B " satisface a est ecuacin se tendr +,
,+ ".

EJEMPLO.

Se sigue de los axiomas de d que d es un cuerpo.

12.4 DEFINICIN. Un subcuerpo O de un cuerpo dado J es un subconjunto

de J que es as mismo un cuerpo respecto a las operaciones de adicin y
multiplicacin en J restingidas a O .
12.5 TEOREMA. Un subcuerpo W de un cuerpo J es un subconjunto que
contiene al cero y la unidad de J , adems es cerrado para la adicin,
cerrado para la multiplicacin, para cada + W se tiene que + W y si
+ ! entonces +" W , y recprocamente.
EJEMPLO.

d # + ,#+ d , d

es

un

subcuerpo

de

los

nmeros reales.

12.6 CONSTRUCCIN DE LOS ELEMENTOS RACIONALES

Los enteros solos no forman un cuerpo, la construccin de los nmeros
racionales a partir de los enteros como una extensin, es esencialmente
la construccin de un cuerpo que contenga a los enteros como
subconjunto. Naturalmente este cuerpo deber adems, contener las
soluciones de todas las ecuaciones del tipo ,B + con coeficientes
enteros + y , !. La construccin abstracta de los "nmeros racionales"
que resuelvan estas ecuaciones se sigue, simplemente, introduciendo

J. Daro Snchez H.

MATEMTICA BASICA

59

ciertos smbolos nuevos < a+ ,b a los que llamaremos pares, cada uno
de los cuales es solucin de una ecuacin
,B +
Debemos hacer ver que estos nuevos entes puedan igualarse, sumarse y
multiplicarse, exctamente como los cocientes en un cuerpo.
12.6.1 DEFINICIN. El conjunto de nmeros racionales est constitudo
por todos los pares a+ ,b de enteros + y , !. La igualdad entre pares se
rige por el convenio siguiente
a+ ,b a+w ,w b +,w +w ,
Mientras que la suma y el producto se definen as
a+ ,b a+w ,w b a+, w +w , ,, w b
a+ ,ba+w ,w b a++w ,, w b
Los resultados son siempre pares teniendo por segundo componente a
,,w !.
12.6.2 PROPIEDAD. Si a+ ,b a+w ,w b
entonces se tiene
a+ ,b a+ww ,ww b a+w ,w b a+ww , ww b

En efecto, como a+ ,b a+w ,w b entonces +,w +w , as,

a+ ,b a+ww ,ww b a+,ww +ww , ,, ww b
y
a+w ,w b a+ww ,ww b a+w ,ww +ww ,w ,w ,ww b
ahora
a+,ww +ww ,b,w ,ww a+,ww ba,w ,ww b a+ww , b,w ,ww ,ww a+,w b,ww +ww a,,w b,ww
,ww a+w ,b,ww +ww a,w ,b,ww a+w ,ww ba,,ww b a+ww ,w ba,,ww b a+w ,ww +ww ,w ba,,ww b
Luego
a+,ww + ww , ba,w ,ww b a+w ,ww +ww ,w ba,,ww b
de donde
a+,ww + ww , ,,ww b a+w ,ww +ww ,w ,w ,ww b
y se tiene
a+ ,b a+ww ,ww b a+w ,w b a+ww , ww b.

Pueden probarse ahora varias leyes algebricas para los nmeros

racionales que hemos definido. As, en la ley distributiva se puede reducir
simultneamente ambos miembros de la igualdad de acuerdo con la
definicin, del siguiente modo ( supongamos que < <w y <ww estn en )
<a<w <ww b
a+ ,bca+w ,w b a+ww ,ww bd
a+ ,ba+w ,ww +ww ,w ,w ,ww b
a++w ,ww ++ww ,w ,,w ,ww b

<<w <<ww
a+ , ba+w , w b a+ , ba+ww , ww b
a++w ,, w b a++ww ,,ww b
a++w ,,ww ++ww ,,w ,,w ,, ww b

J. Daro Snchez H.

MATEMTICA BASICA

60

Estos dos resultados dan parejas iguales, ya que el segundo resultado

difiere del primero slo en la presencia de un factor , en todos los
trminos. Pero un factor extra en un par, da siempre otro par igual, pues
a,B ,C b aB C b ,BC ,BC BC BC , ya que , !
Esta demostracin explcita de la ley distributiva para nmeros racionales
a paresb es slo un ejemplo del mtodo. Por el mismo empleo directo de
las definiciones y de las leyes de los enteros, se prueban la
conmutatividad y la asociatividad, en efecto
< <w
a+ ,b a+w ,w b
a+,w +w , ,,w b

CONMUTATIVIDAD

<w <
a+ , w b a+ , b
a+w , +, w , w , b
w

<<w
a+ , ba+w , w b
a++w ,, w b

a< < w b <

< a<w <ww b
ca+ ,b a+w ,w bda+ww ,ww b
a+ , b a+w , w b a+ww , ww b
w
w
w
ww ww
a+, + , ,, b a+ , b
a+ , b a+w ,ww +ww ,w ,w ,ww b
a+,w ,ww +w ,,ww +ww ,,w ,,w ,ww b a+,w ,ww +w ,,ww +ww ,,w ,,w ,ww b
a<<w b<ww
<a+w <ww b
a+ ,ba+w ,w ba+ww , ww b a+ , ba+w , w ba+ww , ww b
a++w ,,w ba+ww ,ww b
a+ ,ba+w +ww , w , ww b
a++w +ww ,,w ,ww b
a++w +ww , ,w ,ww b
ASOCIATIVIDAD

<w <
a+ , ba+ , b
a+w + , w , b
w

Un elemento idntico para la adicin es el par a! "b ya que

a! "b a+ ,b a! , " + " , b a+ , b
La ley de simplificacin se conserva y el par a" "b es el elemento idntico
para la multiplicacin. El opuesto de a+ ,b es
a+ ,b a + ,b
Se cumplen pues todos los postulados que definen a un cuerpo. En
resumen tenemos
12.7 TEOREMA. El conjunto de los nmeros racionales, constituido por
todos los pares de nmeros enteros es un cuerpo y definiendo
a+ ,b +,
se tiene que
a+ ,ba+ ,b +, + , !.
12.8 EJERCICIO.
". Admitiendo que el conjunto de los nmeros reales es un cuerpo
Cules de los siguientes conjuntos son subcuerpos de d ?
a+b Todos los enteros positivos
a,b Todos los nmeros de la forma + ,$ con + ,

J. Daro Snchez H.

MATEMTICA BASICA

61

$
a- b Todos los nmeros de la forma + ,
& con + y , nmeros racionales.
a. b Todos los nmeros racionales no enteros.
a/b Todos los nmeros de la forma + ,& con + y , nmeros racionales.
#. Hallar el nmero racional cuyo desarrollo decimal es !$$%%%%
$. Demostrar que el desarrollo decimal de B termina en cero ( en nueve)
si B es racional y su denominador es de forma #8 &7 , donde 7 y 8 son
enteros positivos o nulos y recprocamente.
%. Demostrar que # $ es irracional
& Si + , - . son racionales y B es irracional, demostrar que
a+B ,ba-B . b es, en general irracional. Cundo se presentan
excepciones?
'. Dado cualquier real B !, encontrar un nmero irracional comprendido
entre ! y B.
+(. Si +, .- siendo , ! . !, demostrar que ,.
est comprendida entre
+
, y ..
). Sean + y , enteros positivos. Demostrar que # siempre est
comprendido entre dos fracciones +, y +#,
+, . Cul de las fracciones est
ms prximo a # ?
*. Designemos por + y , las races de la ecuacin cuadrtica B# B " !
8
,8
y sea B8 ++,
. Demostrar que B" " B# " B$ # B8" B8 B8" .
"!. Determinar para qu valores del entero 8 " nmero 8 " 8 "
es racional, y para cules es irracional.

13. ACOTACIN. TERMINACIN. EXTREMACIN.

13.1 DEFINICIN. Sea P un conjunto ordenado, es decir un conjunto en
donde se cumplen los axiomas O1,O2, AO1, y AO2 de la seccin 9.5. Se
dice que un subconjunto E de P aE Pb es acotado superiormente por un
elemento B P si
aa+ Eba+ Bb
Se dice que E es acotado inferiormente por un elemento C P si
aa+ EbaC +b
En estos casos decimos que B es una cota superior de E y que C es una
cota inferior de E.
E se dice acotado si lo es superior e inferiormente.

a"b El conjunto B/B 8" 8 ! " #" $" 8" es un

conjunto acotado, pues, " es la cota superior y ! es la cota inferior.
a#b El conjunto E B dB# # no es un conjunto acotado porqu?

EJEMPLOS

J. Daro Snchez H.

MATEMTICA BASICA

62

13.2
DEFINICIN. Sea E un conjunto de nmeros reales acotado
superiormente. Supongamos que exista un nmero real B que satisface
las dos condiciones siguientes
a+b B es una cota superior de E
a,b Si C es otra cota superior de E, entonces B C
Entonces el nmero B es llamado extremo superior del conjunto E.
Anlogamente se define el extremo inferior ( a+w b C es una cota inferior de
E y a,w b si C" es otra cota inferior de E, entonces C" C ).
Cuando un conjunto es tal que admite extremo superior y extremo
inferior entonces se dice que es un conjunto terminado.
Al extremo superior se le suele llamar el supremun y se nota
sup. Al extremo inferior se llama con frecuencia infimun y se le nota inf.
Sea supE el supremun de un conjunto E si supE E entonces el supE es
llamado mximo de E. Por analoga si infE E, entonces el infimun de E
es llamado mnimo de E.
NOTACIN.

NOTA.

Sea E un conjunto acotado y sea B supE entonces se suele escribir

aDado % !bab+ EbaB % +b
Anlogamente si > infE entonces se suele caracterizar con la siguiente
proposicin
aDado % !bab+w Eba> % +w b.
13.3 TEOREMA. Sean E y F dos conjuntos acotados de nmeros reales con
+ supE , supF . Designemos por G al conjunto
G eB CB E C F f
entonces
+ , supG .
PRUEBA.

Si D G entonces D B C + ,, de modo que + , es una cota

superior de G . Sea - otra cota superior de G . Tenemos que + , - , para
ello sea % ! un nmero positivo dado, existe un nmero B E y existe
un nmero C F tales que
+% B

,% C
Por la adicin de estas desigualdades, encontramos
+ , #% B C Esto es + , - #%. Pero % es arbitrario, resulta as
+,
13.3.1 DEFINICIN. Un subconjunto de nmeros reales se dice mayorado
cuando admite cotas superiores y minorado cuando admite cotas
inferiores. Un conjunto se dice extremado limitado cuando admite cota
inferior y cota superior.

J. Daro Snchez H.

MATEMTICA BASICA

63

A continuacin enunciamos el axioma de completez para los nmeros

reales, el cual, en este momento, estamos preparados para probarlo.

13.4 aG w b Si un conjunto \ de nmeros reales es mayorado, entonces \

tiene supremun.
Dualmente se tiene si \ es un conjunto de nmeros reales que est
minorado entonces \ tiene nfimun.
DEMOSTRACIN.

Sea F el conjunto de las cotas superiores de \ , entonces,

por hiptesis F F, pues \ es mayorado. Sea ahora E CF el conjunto
de los nmeros que no son cotas superiores de \ , es decir, E es el
conjunto de todos los nmeros + tales que existe un elemento B \ tal
que B +. Entonces E tampoco es vaco pues cualquier nmero menor
que un elemento de \ ( que no es vaco) pertenece a E.
Adems
a3b Es claro que cada nmero real est en E o en F pero no en ambos
a33b Si + E y , F , entonces +<,, en efecto, si + E entonces existe
B \ tal que + B y como , F, , es una cota superior de \ entonces
B , as
+ BB,
luego por la transitividad se tiene + ,.
Concluimos as que aElF b es una cortadura, entonces por el axioma G de
los nmeros reales aElF b tiene un punto frontera. Sea - la frontera de
esta cortadura tenindose que - no est en E puesto que si esto ocurriera
existira un elemento B de \ tal que - B pero entonces los elementos
entre - y B estaran en E (por ser menores que B) y seran mayores que (que es la frontera). Luego - es el mnimo de F es decir, es la mnima cota
superior de \ o sea el supremum de \ .
Anlogamente se demuestra que todo conjunto no vaco y minorado tiene
nfimun.
Nota. Cuando este resultado se generaliza a conjuntos ordenados y
cadenas de orden, es conocido como el lema de Zorn.
13.4.1 EJERCICIOS
". Demostrar que el sup y el inf de un conjunto son nicos cuando existe.
#. Hallar el sup y el inf de cada uno de los siguientes conjuntos de
nmeros reales
a+b Todos los nmeros de la forma #: $; &< , donde : ; y < toman
todo los valores enteros positivos.
a,b W B$B# "!B $ !.
a- b W BaB +baB ,baB - baB . b !, siendo + , - . .

J. Daro Snchez H.

MATEMTICA BASICA

64

$. Sean W un conjunto de nmeros reales acotados superiormente,

+ supW y % un nmero positivo. Demostrar que existe por lo menos un
nmero B W tal que + % B +.
%. Sean E y F dos conjuntos de nmeros reales acotados superiormente,
+ supaEb y , supaF b. Si G es el conjunto de los nmeros reales
formados, considerando todos los productos de la forma BC, donde B E
e C F , demostrar que, en general, +, supaG b.
&. Sean B un nmero real !, y 5 un entero positivo ". Representemos
por +! el mayor entero B y suponiendo que +! +" +8" hayan sido
definidos , representemos por +8 el mayor entero tal que
+! +5" 5+## 5+88 B.
a+b Demostrar que ! +3 5 " para 3 " #
a,b Explicar cmo pueden obtenerse geomtricamente los nmeros
+! + " + #
a- b Demostrar que la serie +! +5" 5+## converge y tiene por suma B
a. b Demostrar que B es el sup del conjunto de las sumas parciales de serie
dada en a- b
Nota. La serie dada en a- b origina un desarrollo decimal de B en el sistema
de base 5 .
13.5 PRINCIPIO DE BUENA ORDENACIN
Los nmeros enteros poseen otra propiedad importante no caracterizada
algebricamente y no compartida por otros sistemas de nmeros. Tal
propiedad es la siguiente:
Cualquier subconjunto de nmeros enteros positivos que contenga al
menos un elemento, contiene elemento mnimo.
En otras palabras, cualquier seleccin dada de nmeros enteros positivos
contiene un entero positivo 7 tal que cualquiera que sea el entero + en la
seleccin dada se tiene 7 +.
Por ejemplo el ms pequeo entero positivo par es #.
Ms generalmente, un conjunto de nmeros se llama bien ordenado si
cualquiera de sus subconjuntos no vacos contiene un elemento mnimo.
As pues, el principio anterior indica que los enteros positivos estn bien
ordenados.
13.5.1 TEOREMA. No hay ningn nmero entero entre ! y ".
PRUEBA.

Esto se ve inmediatamente sin ms que echar una ojeada al orden

natural de los enteros pero lo que pretendemos es probarlo utilizando
las hiptesis fundamentales (postulados), sin necesidad de utilizar la
referida serie de enteros (en el caso ! "). Daremos una prueba indirecta
(vea 3.3). Si hay un entero - tal que ! - ", sea G el conjunto de todos

J. Daro Snchez H.

MATEMTICA BASICA

65

los enteros - tales que ! - ", entonces G F. Por el principio de la

buena ordenacin, existe un entero 7 que es el mnimo para G y tal que
! 7 ". Multiplicando esta desigualdad por 7 obtenemos
! 7# 7
#
Entonces 7 es otro nmero entero de G , menor que el supuesto mnimo
de G . Esta contradiccin demuestra el teorema.
13.5.2 TEOREMA. Un conjunto W de nmeros enteros positivos que incluya
al " y que incluya al 8 " siempre que incluya a 8, incluye tambin a
cualquier entero positivo.
PRUEBA.

Bastar probar que el conjunto W w de todos los nmeros enteros

positivos no contenidos en W es vaco. Supongamos que W w no sea vaco,
por el principio de buena ordenacin W w contendr un elemento mnimo
7. Pero 7 " por hiptesis, luego por el teorema anterior, 7 " y 7 "
deber ser positivo. Como adems 7 " 7 resulta que, por la
definicin de 7, 7 " debe estar en W . Se deduce de la hiptesis que
a7 "b " 7, as 7 W 7 W w o sea 7 W 7 W esta contradiccin
demuestra el teorema.
13.5.3 EJERCICIOS
". Demostrar que para cualquier entero + + " es el mayor entero menor
que +.
#. Cules de los siguientes conjuntos son bien ordenados?
a+b Todos los enteros positivos impares
a,b Todos los negativos pares
a- b Todos los enteros mayores que (
a. b Todos los enteros impares mayores que 249.
$. Probar que todo subconjunto de un conjunto ordenado est bien
ordenado.
%. Demostrar que el conjunto de enteros que contiene a "!!! y que
contiene a B ", si contiene a B, contiene a todos los enteros positivos.
&. a+b Un conjunto W de enteros tiene al entero , como "cota inferior" si
, B para todo B en W ; el mismo , puede pertenecer o no pertenecer a W .
Demostrar que cualquier W no vaco que tiene una cota inferior, tiene un
elemento mnimo.
a,b Demostrar que cualquier conjunto de enteros no vaco que tiene una
"cota superior" contiene un elemento mximo.

J. Daro Snchez H.

13.6

MATEMTICA BASICA

66

DIVISIBILIDAD

Una ecuacin +B , con coeficientes enteros, no siempre tiene solucin

entera. Cuando existe tal solucin, se dice que , es divisible por +
13.6.1 DEFINICIN. Un entero , es divisible por un entero + cuando hay
algn entero . tal que , +. . Entonces escribimos +l,, diremos tambin
que , es un mltiplo de + y que + es un factor o divisor de ,
+l, b. , +.
He aqu una nueva relacin "+l,". Son propiedades de esta relacin la
reflexividad y la transitividad
+l+
+l, ,l- +lLa primera propiedad es trivial pues + + " +l+
La segunda tiene por hiptesis directa que , +." y - ,.# , siendo ." y .#
dos enteros adecuados; de lo cual resulta
- +a." .# b como ." .# +l
13.6.2 TEOREMA. Los nicos divisores enteros de " son ".
PRUEBA.

El teorema afirma que si dos enteros + y , son tales que +, " se

debe tener + " y , ", en efecto, +, " as l+,l l+ll,l ". Como
+ ! , !, l+l y l,l son enteros positivos y no hay enteros entre ! y ", por
la ley de tricotoma
l+l " y l,l "
Si los dos signos en el peor de los casos uno, son desiguales el
producto l+ll,l no puede ser igual a ". Entonces l+l " l,l " y por lo
tanto + " y , ".
Como + + " a +ba "b todo entero + es divisible por + + " y ".
Los nmeros + y + por dividirse mutuamente, se llaman "asociados".

13.6.3 DEFINICIN. Dos enteros + y , se llaman asociados si se verifican

las relaciones +l, y ,l+. Los asociados de " se llaman unidades.
Esta definicin significa que un entero es una unidad si y slo si es un
divisor de ", con esto, el teorema 13.6.2 establece, simplemente que las
nicas unidades son ". Si + y , son asociados, + ,." y , +.# . Luego
+ +a." .# b y por la ley de simplificacin queda
" ." .#
O sea que ." es un divisor de " y por lo tanto, ." ". Por lo tanto es
, +." +, as que los nicos asociados de + son +.
Dos enteros + y , son asociados si y slo si l+l l,l.

J. Daro Snchez H.

MATEMTICA BASICA

67

13.6.4 DEFINICIN. Un entero : es primero si, siendo distinto de ! y de

", es divisible nicamente por " y :.
Los primeros nmeros primos son
# $ & ( * "" "$ "( "* #$ #* $"
Todo nmero que no es primo puede descomponerse en un producto de
factores primos:
EJEMPLO.

"#) #( *! "! * # & $#

'(# *' ( ( "# ) ( $ #&

Se observa por experiencia, que obtenemos los mismos factores primos

cualesquiera que sea el mtodo de descomposicin. Esta unicidad la
demostraremos al estudiar el 7-. .
13.6.5 DEFINICIN. Para todo B d, lBl

B si B !
B si B !

13.6,6 TEOREMA. Para todo B d lBl !.

a"b Si B !, entonces lBl ! porque en este caso lBl B.

a#b Si B !, entonces B !. Por lo tanto lBl ! porque aqu lBl B.

PRUEBA.

13.6.7 TEOREMA. Para cualquier B d , l Bl lBl

a"b Si B !, entonces B !, as lBl B y por lo tanto

lBl a Bb B, siguindose que lBl l Bl
a#b Si B !, entonces B !, as lBl B ahora l Bl B por lo tanto
lBl l Bl

PRUEBA.

13.6.8 TEOREMA. Para cualesquier B d se tiene lBl B

PRUEBA.

Si B !, esto es verdad porque B B.

Si B ! entonces B lBl puesto que lBl !.

13.6.9 TEOREMA. lBCl lBllCl para todo B C d

PRUEBA.

Cuando B es reemplazado por B esto es B ! C !

lBCl BC lBllCl. Anlogamente si B ! C !. Ahora si B ! C !
entonces
lBCl BC lBllCl.
Finalmente si B ! C !, entonces BC ! a Bba C b ! luego
lBCl BC a Bba C b lBlCl.

J. Daro Snchez H.

MATEMTICA BASICA

68

13.6.10 TEOREMA. Sea + ! entonces lBl + + B +

-a

a
|a |

PRUEBA. a"b

Si B ! entonces lBl + indica que B +, adems ! B +

a#b Si B !, entonces lBl + indica que B +, , + B aqu lBl + es
verdad cuando + B !.
Por lo tanto lBl + implica + B +

13.6.11 TEOREMA. Para cualesquiera + , d se tiene l+ ,l l+l l,l.

Esta desigualdad es llamada desigualdad triangular.
PRUEBA.

Caso 1. Supongamos que + , !. En este caso l+ ,l + ,

pero + l+l y , l,l as + , l+l l,l luego l+ ,l l+l l,l
Caso 2. Supngase que + , ! entonces a +b a , b ! aplicando el
caso 1 tenemos la +b a ,bl l +l l ,l pero
la +b a ,bl l a+ , bl l+ ,l y l +l l+l l ,l l,l
Luego
l+ ,l l+l l,l

1.3.6.12 EJERCCIOS.

a"b Demuestre que si , ! entonces ",

"
l,l

a#b Demostrar que para todo + d y todo , d ! se tiene

+, l+l
l,l

a$b Demuestre que para tado + , d se tiene l+ ,l l+l l,l

a%b Demostrar que para todo + , d se tiene l+ ,l l+l l,l.
a&b Demostrar que para todo + , d se tiene kl+l l,lk l+ ,l
a'b Demuestre el recproco del teorema 13.6.10.
a(b Demostrar que si +l, y +l- , entonces +la, - b
a)b Demostrar que si , es positivo y no primo, entonces tiene un divisor
positivo . ,.
a*b Presentar la lista de todos los primos positivos menores de "!!.
(Sugerencia: Suprimir los mltiplos # $ & ( y usar el ejercicioa)b)
a"!b Si +l,, demostrar que l+l l,l, cuando es , !.

J. Daro Snchez H.

MATEMTICA BASICA

69

13.7 EL ALGORITMO DE EUCLIDES

El proceso ordinario de dividir un entero + por otro , nos da un cociente
; y un resto <. El resultado
+
<
, ; ,
puede expresarse sin usar explcitamente las fracciones, as
ALGORITMO DE LA DIVISIN:

Para dos enteros + y , con , ! existen dos

enteros ; y <, tales que

+ ,; <

!<,

13.7.1
IMAGEN GEOMTRICA. Si imaginamos los nmeros enteros
representados sobre el eje real, los posibles mltiplos ,; de , forman un
conjunto de puntos equidistantes sobre el eje
-6b

-5b

-4b

-3b

2b

-b

2b

3b

4b

5b

6b

7b

El punto respectivo de + debe caer en uno de los intervalos determinados

por esos puntos, por ejemplo, en el intervalo ,; y ,a; "b excluyendo el
punto ,a; "b. Esto significa que + ,; < siendo < menor que la
amplitud , del intervalo. Esta imagen sugiere la siguiente demostracin,
basada solo en los postulados.
Existen ciertamente algunos mltiplos enteros de , que no exceden a +,
por ejemplo, como , !, , " as
a l+lb, l+l +
Por lo tanto, el conjunto de las diferencias + ,B contiene por lo menos
un entero no negativo, a saber + a l+lb,. De aqu, por el postulado de
buena ordenacin existe un mnimo no negativo para + ,B, al que
llamaremos + ,; <. Por construccin, < !; mientras que si < ,,
entonces + ,a; "b < , ! sera menor que + ,; , contra lo
afirmado al elegir ; . Concluimos pues que ! < , y que
+ ,; a+ ,; b ,; <.

13.7.2 COROLARIO. Dados los dos enteros + y , , quedan determinados

unvocamente el cociente ; y el resto <, que satisfacen a
+ ,; <
!<,
DEMOSTRACIN.

Suponiendo que sea + ,; < ,; w <w , verificndose

! < , y ! <w ,. Entonces < <w , a; w ; b es en valor absoluto
menor que ,, y es mltiplo de ,, luego debe ser cero. De aqu que < <w
,; ,<w ; ; w .

J. Daro Snchez H.

MATEMTICA BASICA

70

Frecuentemente debemos considerar conjuntos de enteros, semejantes a

e , ' $ ! $ ' * f formados por todos los mltiplos de $. Estos
conjuntos tienen la propiedad de que la suma o diferencia de dos
cualesquiera de ellos pertenece al conjunto. En general, un conjunto W de
nmeros enteros, se llama cerrado para al adicin y cerrado para la
sustraccin, cuando W contiene la suma + , y la diferencia + , de dos
enteros cualesquiera + y , de W . Todos los enteros pares ( positivos,
negativos y cero) forman un conjunto cerrado para suma y sustraccin.
Ms generalmente, el conjunto de todos los mltiplos B7 de un entero 7,
es cerrado para la adicin y sustracin, pues B7 C7 aB C b7 es
mltiplo de 7. Ahora vamos a probar que estos conjuntos constituidos
por los mltiplos de un entero son los nicos conjuntos de enteros que
tienen dicha propiedad.
13.7.3 TEOREMA. Todo conjunto no vaco de nmeros enteros, cerrado
para la adicin y sustraccin consiste del cero o contiene un nmero
positivo mnimo del cual son mltiplos todos los dems.

Sea W el conjunto y supongamos aW Fb que contiene un

elemento + !, por definicin W contendr a la diferencia + + ! y
por lo tanto la diferencia ! + +. Luego W contiene al menos un
nmero positivo + +. El principio de buena ordenacin nos dice que
en W hay un mnimo positivo ,.
El conjunto W debe contener todos los mltiplos de , en en efecto,
procediendo por induccin se ve en primer lugar que contiene a , " y
seguidamente si est ,5 tiene que estar ,5 , ,a5 "b. Los mltiplos
negativos tal como ,8 ! ,8 tambin estn en W por ser diferencia
entre ! y 8,. Pero W no puede contener enteros no mltiplos de ,, pues si
hubiera uno digamos + no mltiplo de ,, estara tambin en W el resto de
la divisin de ambos, < + ,; . Pero < no es negativo y es menos que ,,
que es el mnimo entero positivo en W , luego debe ser < ! y + ,; .

PRUEBA.

13.7.4 DEFINICIN. Un entero . se llama mximo comn divisor 7-. de

dos enteros + y ,, si es simultnemente divisor de + y ,, y adems es
mltiplo de cualquier otro divisor comn.
En el lenguaje objeto de la teora de nmeros, el 7-. debe cumplir las
tres propiedades siguientes
si . = 7-.+ ,, .l+ .l, y, -l+ -l. -l.
Por ejemplo, $ y $ son mximos comunes divisores de ' y *. De
acuerdo con la definicin, si hay varios 7-. de dos nmeros, cada uno

J. Daro Snchez H.

MATEMTICA BASICA

71

de ellos debe dividir al otro, luego sern asociados y difieren slo en el

signo. Del par . de mximos comunes divisores de + y , el nmero
positivo se indicar con el smbolo
7-.+ , a+ , b.
Ntese que el calificativo "mximo" en la definicin de 7-. no significa
en principio que a7-. b tenga mayor magnitud que cualquier otro divisor
comn - , sino que a7-. b es el mltiplo de cualquier tal - .
13.7.5 TEOREMA. Si dos enteros cualesquiera + !, , !, tienen un 7-.
positivo a+ ,b, entonces ste puede expresarse como
a+ ,b =+ >,
= >
Una expresin como =+ >, es llamada una "combinacin lineal" con
coeficientes enteros.
PRUEBA.

casos

Consideremos los nmeros de la forma =+ >,, para todos los

a=" + >" ,b a=# + ># ,b a=" =# b+ a>" ># b,

Por lo tanto, el conjunto W de todos los enteros de la forma =+ >, es
cerrado para la adicin y sustraccin, y por el teorema 13.7.3 estar
constituido por los mltiplos de un nmero entero positivo . =+ >,.
Por esta frmula, es claro que todo - factor comn de + y , debe ser un
factor comn de . . Adems los enteros dados + " + ! ,
, ! + " , pertenecen ambos a W , luego sern mltiplos del mnimo
nmero . del conjunto W . En otras palabras, . es un divisor comn al cual
dividen todos los dems divisores comunes, luego . a+ ,b.

Anlogamente, el conjunto Q de todos los mltiplos comunes de + y , es

cerrado para la adicin y sustraccin, su mnimo elemento positivo 7 es
un mltiplo comn que divide a todos los dems mltiplos comunes y se
llama el mnimo comn mltiplo a7-7b de + y ,.
13.7.6 TEOREMA. Dos enteros cualesquiera + y , tienen un mnimo comn
mltiplo 7-7+ , + ,, el cual es divisor de todos los mltiplos
comunes, siendo l a su vez un mltiplo comn.
Para hallar explcitamente el 7-. de dos enteros + y , se puede utilizar
el llamado algoritmo de Euclides.
Sean + y , enteros positivos, ya que un entero negativo puede reeplazarse
por
su
asociado
positivo
sin
alterar
el
7-.
(o
sea
7-. a+ ,b 7-. a + , b). El algoritmo de la divisin da
+ ,;" <"
+ <" ,
a"b

J. Daro Snchez H.

MATEMTICA BASICA

72

Cualquier entero que divida a los enteros + y ,, divide al resto <" ,

recprocamente, todo divisor comn de , y <" es divisor de +, como
resulta por a"b. Los divisores comunes del par + , son pues, los mismos
que los del par , <" as que a+ ,b a, <" b. Esta reduccin puede repetirse
con , y <" , e iterar el proceso
, <" ;# <#
! <# <"
<" <# ;$ <$
! <$ < #

<8# <8" ;8 <8 ! <8 ;8"

<8" <8 ;8"

a#b

Como el resto disminuye constantemente, habr finalmente un resto !

como hemos indicado en la ltima igualdad. Este razonamiento nos dice
que el 7-. buscado es
a+ ,b a, <" b a<" <# b a<8" <8 b
Pero la ltima igualdad de a#b muestra que <8 es divisor de <8" as que el
7-. de ambos es el propio <8 . El 7-. de dos enteros dados + ,, es el
ltimo resto distinto de cero que se obtiene aplicndole el algoritmo de
Euclides.
El mismo algoritmo puede utilizarse para representar explcitamente al
7-. como combinacin lineal =+ >,. Esto se consigue expresando los
restos sucesivos <3 mediante + y , en esta forma:
<" + ,;" + a ;" b,
<# , ;# <" a ;# b+ a" ;" ;# b,

La forma de estas igualdades, indica que puede obtenerse <8 como

combinacin lineal de + y , con coeficientes enteros = y > en cuya
expresin intervienen los cocientes ;3 .
La forma a+ , b =+ >, del 7-. es de gran utilidad. Una consecuencia
importante es que si un nmero primo divide a un producto de dos
factores, debe dividir por lo menos a uno de ellos.
13.7.7 TEOREMA. Si : es un numero primo, :l+, :l+ :l,.
PRUEBA.

Por definicin de nmero primo, los nicos factores de : son "

y :. Si la conclusin :l+ es falsa, los nicos divisores comunes de : y +
son ", as que " es un 7-. de + y :, y por lo tanto, " =+ >:.
Multiplicando por , resultar:
, =+, >:,
Los dos trminos de la derecha son divisibles por : luego , ser divisible
por :, que es la segunda alternativa del enunciado.

J. Daro Snchez H.

MATEMTICA BASICA

73

Si a+ ,b " diremos que + y , son primos entre si. En otras palabras, dos
enteros + y , son primos entre si, si no tienen divisores comunes salvo
". La demostracin del teorema 13.7.7 prueba tambin la siguiente
generalizacin
13.7.8 TEOREMA. Si a+ - b " y -l+,, entonces se debe tener -l,

De aqu resulta una consecuencia, relativa a un entero 7 que sea

mltiplo de dos nmeros primos entre si + y - . Pues el nmero 7 que es
de la forma 7 +. , es divisible por - , as que por el teorema 13.7.8, ser
-l. y 7 +. +a-. w b luego el producto +- divide a 7. Esto demuestra
13.7.9 TEOREMA. Supuesto que a+ - b ", +l7 -l7 +-l7.
13.8 EJERCICIOS

a"b Mediante el algoritmo de Euclides, calcular el 7-. de

a+b a"% $&b
a,b a"" "&b
a- b a")! #&#b
a. b a#)($ ''%$b
a/b a%"%) (')%b
a0 b a"!!" ('&&b
a#b Escribir aB Cb en la forma =B >C a= > son enterosb, en los tres primeros
casos del ejercicio a"b
a$b Demostrar que a! +b l+l para cualquier entero +
a%b Si + !, demostrar que a+- +- b +a, - b
a&b Demostrar que ,l- y l-l , implica - !
a'b
a+b Demostrar que tres enteros cualesquiera, + , - tienen un 7-.
que puede expresarse en la forma =+ >, ?a,b Demostrar que aa+ ,b - b a+ a, - bb aa+ - b , b
14 TEOREMA FUNDAMENTAL DE LA ARTMTICA.
ENUNCIADO:

Todo entero distinto de cero puede expresarse como el

producto de " por factores primos positivos. Esta expresin es nica,
salvo el orden en que los factores se consideren.
Que todo entero + pueda escribirse como un tal producto, puede
demostrarse descomponindolo sucesivamente en factores menores. Este
proceso supone el segundo principio de induccin completa el cual
enunciamos a continuacin
Principio de induccin- segunda forma: Sea :a8b una proposicin
condicional en la variable libre 8 si
a3b :a!b es verdadera y
a33b :a8 "b es verdadera cada vez que :a8b es verdadera ( es decir
aa8 ba:a8b :a8 "bb).

J. Daro Snchez H.

MATEMTICA BASICA

74

Entonces :a8b es verdadera para todo nmero natural, es decir,

aa8 ba:a8bb.
Sea :a+b la proposicin que dice: "+ puede descomponerse en factores
como expresa el enunciado del teorema". Si + " si + es primo, :a+b es
evidentemente cierta. Si + no es un nmero primo tendr un divisor
positivo ,, distinto de " y de +, as que + ,- con , + - +. Pero, de
acuerdo con el segundo principio de induccin, podemos suponer que
:a,b y :a- b son verdaderas, as que , y - puede expresarse como producto
de factores primos
, :" : # :<
- ;" ;# ;=
obtenindose para + la expresin completa.
+ ,- :" : # :< ;" ;# ;=
que es la forma requerida.
Para demostrar la unicidad, consideremos dos posibles descomposiciones
en factores primos del entero +:
+ a "b:" : # :7 a "b;" ;# ;8
Como todos los nmeros primos :4 y ;4 son positivos, las unidades " de
ambas descomposiciones han de ser iguales. El factor :" es un divisor de
+ ;" ;# ;8 , as que la aplicacin del teorema 13.7.7 asegura que :"
divide por lo menos a su factor ;4 de este producto. Como :" divide a ;4 y
los dos son primos, se deber tener :" ;4 ordenando el producto para
que ;4 aparezca de primero y simplificando :" con ;4 queda
:2 : 3 :7 = ; '2 ; '3 ; '8
donde los acentos indican los ;3 en el nuevo orden. Podemos continuar
este proceso hasta que en uno de los dos miembros de la igualdad no
quede ningn factor. Tampoco podrn quedar en el otro, as 7 8.
Hemos pues identificado las dos descomposiciones, sin ms que
reordenar los factores del segundo miembro, como asegurbamos en el
teorema de unicidad. En una descomposicin puede aparecer un nmero
primo : varias veces. Agrupando los factores, podemos escribir
+ :"/" :/## :8/8 , asiendo a! :" : # :8 b
El teorema de unicidad demuestra, que el exponente /3 , corresponde al
factor primo :3 , queda determinado de modo nico para cada entero +.

14.1 EJERCICIOS
". Describir un proceso sistemtico para hallar el 7-. y el 7-7 de dos
enteros, de los que se conoce la descomposicin en factores primos,
ilustrndolo con + #"' , $'! y + "%% , '#& ( Sugerencia: Es
conveniente usar los exponentes ! para los factores primos que dividen a
uno de los nmeros + o ,, pero no al otro)

J. Daro Snchez H.

MATEMTICA BASICA

75

#. Si Z: a+b indica el exponente de la ms alta potencia del primo : divisor

de + demostrar las frmulas
a"b Z: a+ ,b minZ: a+b Z: a,b
a#b Z: aa+ , bb min Z: a+b Z: a,b aa b 7-. b
a$b Z: a+ ,b Z: a+b Z: a,b
a%b Z: a+ ,b maxZ: a+b Z: a, b a 7-7b
$ Si l+l #Z: a+b , para Z: como en el ejercicio 2, demostrar que
l+,l l+l l,l y l+ , l maxal+l l, lb
%. Mediante las frmulas del ejercicio #, demostrar que para nmeros
enteros positivos + y ,, +, a+ ,b+ ,.
&. Demostrar que el nmero de primos es infinito aEucldesb(Sugerencia:
Si :" :# :8 son 8 primos, el producto :" :# :8 " no es divisible por
ninguno de estos primos)
' Si un producto 78 positivo es un cuadrado y si a7 8b ", demostrar
que 7 y 8 son ambos cuadrados.

15 CONGRUENCIAS
Al numerar las horas del da, se acostumbra a contar slo hasta "# y
volver a empezar. Esta sencilla idea de prescindir de los mltiplos de un
nmero fijo, "# en este caso, es la base de la nocin aritmtica de
congruencias. Diremos que dos enteros son congruentes "mdulo "#" si
difieren en un entero mltiplo de "#. Por ejemplo ( y "* son congruentes
y se escribe
( "*a79. "#b
15.1 DEFINICIN. + ,a79.7b significa que 7la+ , b

Se puede decir igualmente que + ,a79.7b cuando la diferencia + ,

pertenece al conjunto de los nmeros mltiplos de 7. Todava cabe otra
definicin, basada en que el resto de la divisin de + por 7 es nico.
Podemos, pues establecer lo que sigue:
15.2 TEOREMA. La condicin necesaria y suficiente para que dos enteros +
y , sean congruentes mdulo 7, es que den el mismo resto al dividirlos
por 7.

Como + ,a79.7b, si y slo

si + , a79. 7b bastar
demostrar este teorema en el caso 7 !. Supongamos primero que
PRUEBA.

J. Daro Snchez H.

MATEMTICA BASICA

76

+ ,a79.7b, entonces + , -7 para algn entero - . Dividiendo , por

7, se obtendr un resto <, dado por , 7; < ! < 7. entonces
+ , -7 a;7 <b -7 a; - b7 <
Esta ecuacin indica que < es el resto de + al dividirlo por 7; sea, que + y
, dan el mismo resto al dividirlos por 7.
Recprocamente, supongamos que el resto es igual y que por ende
+ 7; <
, 7; w <
w
En este caso + , a; ; b7 a+ , bl7, as que + , a7.7b

La relacin de congruencia para un mdulo fijo 7 tiene para enteros

cualesquiera + , - las siguientes propiedades que recuerdan propiedades
anlogas de la igualdad
Reflexiva:
+ +a79.7b
Simtrica: + ,a79.7b , +a79.7b
Transitiva: + ,a79.7b , - a79.7b + - a79.7b
Cada una de estas leyes se demuestra con la definicin de congruencia.
La ley de simetra as dada, requiere simplemente que
7la+ ,b 7la, +b
La hiptesis es + , .7 y la conclusin 7la, +b puesto que
, + a . b7.
La relacin de congruencia para un mdulo fijo tiene otra propiedad que
tambin recuerda a las de la igualdad; las sumas y productos de enteros
congruentes son tambin congruentes.

15.3 TEOREMA. Si + ,a79.7b para todo entero B resulta:

+ B , Ba79.7b +B ,Ba79.7b a +b a , ba79.7b.
Tambin aqu la prueba se reduce a recordar la definicin. As la hiptesis
es que + , 57 para algn 5 ; de aqu podemos obtener las
conclusiones en la forma
7la+ B , Bb
7la+B ,Bb
7la + , b
La ley de simplificacin, vlida en las igualdades, no lo es en las
congruencias. As # ( # "a79."#b, pero no es ( "a79."#b.
Esto sucede por ser # divisor del mdulo, as que la diferencia # ( #
ser divisible por "# en tanto se conserve el factor # . Puede enunciarse la
ley de simplificacin algo modificada.
15.4 TEOREMA. Si - es un nmero primo con 7
-+ -,a79.7b + , a79.7b.

De acuerdo con la definicin, la hiptesis nos dice que 7la+- +,b,

o sea, 7l- a+ ,b y por ser 7 primo con - usando el teorema 13.7.8 resulta
que 7la+ ,b, esto es + ,a79.7b.
PRUEBA.

J. Daro Snchez H.

MATEMTICA BASICA

77

El estudio de las ecuaciones lineales puede extenderse a las congruencias

15.5 TEOREMA. Si - es primo con 7, la congruencia -B ,a79.7b tiene

una solucin entera B. Dos soluciones cualesquiera B" y B# son
congruentes mdulo 7.

Por hiptesis, a- 7b ", luego " =- >7 para dos enteros

convenientes = y >. Multiplicando por , tenemos
, ,=- ,>7
Esto ltimo se puede escribir as
, ,=- a,>b7 , a,=b- a79.7b.
Esto expresa que B ,= es la solucin de , -Ba79.7b.
Por otra parte, dos soluciones B" y B# de esta congruencia se tiene
, -B" a79.7b , -B# a79.7b
por ser la relacin de congruencia simtrica y transitiva se tiene que
-B" -B# a79.7b
Como - es primo con 7, se puede simplificar a15.4b y resulta
B" B# a79.7b.

PRUEBA.

Un caso particular importante se presenta cuando el mdulo 7 es primo,

entonces todo entero no divisible por 7 es primo con l. Esto nos
demuestra el siguiente resultado.
!a79.:b entonces -B , a79.:b tiene
15.6 COROLARIO. Si : es primo y -
solucin nica mdulo :.
Consideremos ahora congruencias simultneas.
15.7 TEOREMA. Si los mdulos 7" y 7# son primos entre si,
congruencias
B ," a79.7" b
B ,# a79.7# b
tienen una solucin comn, B. Dos soluciones cualesquiera
congruentes mdulo 7" 7# .
PRUEBA.

las
son

La primera congruencia tiene como solucin ," ; la solucin ms

general es B ," C7" para algn entero C . Esta debe verificar la segunda
congruencia
," C7" ,# a79.7# b
o
C7" a,# ," ba79.7# b

J. Daro Snchez H.

MATEMTICA BASICA

78

como 7" y 7# son primos entre si, podemos resolver esta congruencia
por el mtodo de (15.5).
Supongamos ahora que B y Bw son dos soluciones del sistema, se tendr
Bw B !a79.7" b y Bw B !a79.7# b
Como 7" y 7# son primos entre si, la diferencia Bw B es divisible por
7" 7# . As que B Bw a7" 7# b.
El mismo mtodo de resolucin se aplica a dos o ms congruencias de la
forma +3 B ,3 a79.73 b con 7-.+3 73 " y con los mdulos primos
entre si dos a dos.
15.8 EJERCICIOS.
" Demuestre las siguientes propiedades de la divisibilidad
a+b 8l8
a8
a,b .l8 8l7 implica .l7 . 8 7
a- b .l8 .l7 .la+8 ,7b . 8 7 +,
a. b .l8 +.l+8 + . 8
a/b +.l+8 + ! .l8
a0 b "l8
a8
a1b 8l!
a8
a2b !l8 8 !
a3b .l8 8 ! l.l l8l
a4b .l8 8l. l.l l8l
a5 b .l8 . ! 8. l8
En lo que sigue las letras + , - B C D representan nmeros enteros.
Probar que las siguientes afirmaciones son verdaderas
a#b Si a+ ,b " -l+ .l, entonces a- . b " (a b 7-. )
a$b Si a+ ,b a+ - b ". entonces a+ ,- b "
a%b Si a+ ,b " entonces a+ , + ,b es " #
a&b Si a+ ,b " y si .la+ ,b, entonces a+ . b a, . b "
a'b Si a+ ,b " entonces a+ , +# +, , # b es ", $.
a(b Si a+ ,b " entonces +8 , 5 " a8 " a5 ".
a)b Un nmero racional +, con a+ ,b " es llamada una fraccin
reductible. Si la suma de dos fracciones reductibles es un nmero entero,
digamos +, .- 8, probar que l+l l.l.
a*b Para cada una de las afirmaciones siguientes dar una demostracin
hallar un contra-ejemplo
a+b Si ,# l8 y +# l8 +# , # , entonces +l,.
a,b Si ,# es el cuadrado ms grande que es divisor de 8, entonces
+# l8 +l,

J. Daro Snchez H.

16

MATEMTICA BASICA

79

CLASES RESIDUALES

Desde la ms remota antigedad, el hombre ha distinguido los enteros

"pares" # % ' ) de los "impares" " $ & ( . Las siguientes leyes de
clculo entre pares e impares son tambin conocidas:
par+par=impa+impar=par,
par+impar=impar
par par=par impar=par,
impar impar=impar
Estas igualdades pueden considerarse, no como teorema relativo a los
enteros ordinarios, sino como definicin de dos operaciones "adicin" y
"multiplicacin", en una nueva lgebra de los dos elementos "par" e
"impar"
Esta lgebra puede tambin considerarse como un lgebra de restos
mdulo #. Los enteros pares son aquellos que dividos por # dan resto !,
mientras que los impares dan resto ". Estos dos restos, pueden sumarse
y multiplicarse del modo ordinario, cuidando luego de reemplazar el
resultado por su resto mdulo #. Esto nos da una tabla
!!""!
!""
!!!"!
"""
que en esencia es la misma tabla para pares e impares. Inversamente,
puede decirse que la igualdad " " ! es un nuevo modo de escribir la
congruencia " " !a79.#b.
Un lgebra anloga N8 de 8 elementos, resultar partiendo de las
congruencias mdulo 8. En la ltima seccin a15b hemos visto que la
congruencia tiene las propiedades caractersticas de la igualdad,
reflexiva, simtrica y transitiva, y las congruencias pueden ser
multiplicadas y sumadas, como las igualdades. En efecto, el teorema 15.4
muestra que si + ,a79.8b y - . a79.8b resulta
+ - , . a79.8b y +- ,. a79.8b
a"b
El lgebra N8 de los elementos mdulo 8 se obtiene reemplazando la
congruencia mdulo 8 por la igualdad. Segn a"b la suma y el producto de
dos enteros estn unvocamente determinados con este nuevo significado
de igualdad. Cualquier entero es igual a uno de los 8 restantes posibles
! " # 8 "
Dos de estos restos pueden sumarse (o multiplicarse) en la forma
habitual reduciendo luego el resultado a su resto mdulo 8, del que
viene a ser "igual"
Las tablas para el caso 8 & son las siguientes

J. Daro Snchez H.

MATEMTICA BASICA

80

0 1 2 3 4

0 1 2 3 4

0
1
2
3
4

0
1
2
3
4

0
1
2
3
4

0
0
0
0
0

1
2
3
4
0

2
3
4
0
1

3
4
0
1
2

4
0
1
2
3

0
1
2
3
4

0
2
4
1
3

0
3
1
4
2

0
4
3
2
1

16.1 TEOREMA. En el sistema N8 de enteros mdulo 8, son vlidas para la

adicin y multiplicacin todas las propiedades enumeradas a
continuacin:
a3b N8 adicin grupo abeliano
a33b aB C b D B aC D b para todo B C D N8
a33b B C C B
para todo B C N8
a3@b Existe " N8 tal que B " " B B para todo B N8
a@b B aC D b B C B D para todo B C D N8
y no cumple la ley de simplificacin a b, es de notar que se entender
B C si y slo si B C a79.8b.
.

a b para la multiplicacin mdulo 8

.
PRUEBA.

Acabamos de ver que dos elementos cualesquiera definen

unvocamente su suma y su producto. Consideremos la ley distributiva.
Cmo
+, - +, +para enteros cualesquiera se debe tener
+a, - b a+, +- ba79.8b
que es la ley distributiva para nuestro nuevo concepto de igualdad en N8 .
El mismo tipo de razonamiento se aplica a las otras leyes, que se
expresan mediante identidades entre sumas y elementos negativos. Los
primeros miembros de cada identidad son congruentes mdulo 8 con los
segundos miembros. Por lo cual las correspondientes expresiones en
N8 son iguales.
El nico postulado que no se conserva inalterado es la ley de
simplificacin del producto. Esta ley equivale a asegurar la no existencia
de divisores de ! en N8 , as que +, ! deber implicar + ! , , !. Pero
estas igualdades se traducen en N8 por congruencias entre enteros, de
modo que tal ley equivaldra a decir:
Si +, !a79.8b entonces + !a79.8b , !a79.8b
Esto, a su vez equivale a decir que
8l+, 8l+ ,, 8l,

J. Daro Snchez H.

MATEMTICA BASICA

81

Pero esta propiedad es cierta si 8 es primo. Si 8 no es primo, admite una

descomposicin 8 +, sin que 8l+ ni 8l, ( como ' $ # 'l$ # sin, 'l$ ni
'l#). Luego, en este caso N8 no satisface la ley de simplificacin.
16.2 Para que la ley de simplificacin de la multiplicacin sea vlida en
N8 , es necesario y suficiente que 8 sea un nmero primo.
Hay otro modo ms sistemtico para construir el lgebra de los enteros
mdulo 8 El artificio de reemplazar congruencia por igualdad significa,
esencialmente, que todos los enteros que dan el mismo resto en su
divisin por 8 pueden agruparse y cada grupo viene a ser un "nmero"
nuevo. Cada uno de tales grupos se llama una "clase residual". Para el
mdulo & hay cinco clases residuales, corresponientes a los posibles
restos
!
"
#
$
%
algunas de estas clases son:

" e "% * % " ' "" "' f

# e "$ ) $ # ( "# "( f

$ e "# ( # $ ) "$ ") f

Para cada mdulo 8 la clase residual <8 determinada por un resto < con
! < 8, est formada por todos los enteros + que dan el mismo resto <
en su divisin por 8. Todos los enteros perteneciente a la misma clase,
son congruentes mdulo 8. Hay 8 clases residuales mdulo 8, a saber
!8 "8 #8 a8 "b8
Las operaciones algebricas en N8 pueden efectuarse directamente sobre
estas clases. Supongamos que la suma de dos restos < y = dan en N8 un
resto >, o sea
< = >a79.8b
El mismo resultado se obtendria si en vez de tomar los restos < y =,
tomsemos otros elementos en las clases correspondientes. Si + est en
<8 y , en =8 , entonces + , est en la clase >8 , que contiene a su suma >,
pues
+ <a79.8b , =a79.8b + , < = >a79.8b
En general el lgebra N8 puede definirse como el lgebra de las clases
residuales; para sumar ( multiplicar) dos clases se eligen dos elementos
+ y , representativos de estas clases y se busca la clase residual que
contiene la suma ( al producto) de estos elementos representativos. Si +8
indica la clase residual que contiene a +, sta puede formularse as:
a+ , b 8 + 8 , 8 ,
a+,b8 +8 ,8
Por ejemplo, la suma "& #& $& de las clases residuales escritas antes
puede hallarse sumando dos elementos elegidos como representantes de

J. Daro Snchez H.

MATEMTICA BASICA

82

la mismas, ' a "$b por ejemplo, obtenindose as a (b, que est en la

clase $& . Otras elecciones como
* a $b "# "" ( ") "% "( $
darn siempre la misma suma $& .
Las clases residuales que hemos definido mediante los restos, pueden
definirse tambin directamente mediante las congruencias segn el
mtodo que ser tratado por los lectores interesados.
16.2 EJERCICIOS

a"b Resolver las siguientes congruencias

a+b $B
a,b #B %a79."!b
#a79.&b
a- b #%$B "( "!"a79.(#&b
a. b %B $ %a79.&b
a/b 'B $ %a79."!b
a0 b 'B $ "a79."!b
a#b Demostrar que la relacin + ,a79.7b es reflexiva y transitiva.
a$b Demostrar directamente que + ,a79.7b y - . a79.7b implica
+ - , . a79.7b y +- ,. a79.7b
a%b + Demostrar que la congruencia +B ,a79.7b tiene solucin si y slo
si, a+ 7bl,. [a b 7-. ]
, Demostrar que si a+ 7bl,, la congruencia tiene exactamente a+ 7b
soluciones incongruentes mdulo 7. [Sugerencia: Dividir + , y 7 por
a+ 7b.]
a&b Si 7 es entero, mostrar que 7# ! "a79.7b
a'b Demostrar que B# $&a79."!!b no tiene solucin.
a(b Demostrar que si B# 8a79.'&b tiene una solucin, tambin tiene
solucin B# '& 8a79.'&b. Generalizar este resultado.
a)b Si B es un nmero impar no divisible por $, mostrar que B# "a79.#%b
a*b Resolver las congruencias simultanes:
+ B #a79.&b
$B "a79.)b
, $B #a79.&b #B "a79.$b
a"!b En una isla desierta, cinco hombres y un mono recogen cocos
durante el da, y despus duermen. El primer hombre se despierta y
decide tomar su parte. Divide los cocos en cinco grupos iguales, y le
sobra un coco, que lo da al mono. Despus toma su parte y vuelve a
dormirse. Entonces despierta el segundo hombre, y haciendo un montn
con los cocos que quedaron, lo divide en cinco partes iguales, y le sobra
un coco, que da al mono. Sucesivamente ocurre lo mismo con cada uno
de los tres hombres restantes. Encontrar el nmero mnimo de cocos que
formaban el montn original. (Sugerencia: Aadir 4 cocos).
a""b Construir las tablas de adicin y multiplicacin para N$ y N% .
a"#b Calcular en N( : a$ %b & $ a% &b $ a% &b $ % $ &
a"$b Hallar todos lo divisores de cero en N#' y N#% .

J. Daro Snchez H.

MATEMTICA BASICA

83

a"%b Determinar exactamente el conjunto de sumas B C y productos BC,

para B en %) C en %)
Cmo estn relacionados los conjuntos %) %) y
%) %) ?
a"&b Demostrar la ley asociativa para la adicin de clases residuales, como
en el caso de las congruencias mdulo 8.

17. NMEROS COMPLEJOS.

Hemos llegado a nuestro ltimo pargrafo, dedicado al estudio del
sistema de los nmeros complejos, el cual presentaremos, siguiendo el
formato ideado por el matemtico irlands Sir William R. Hamilton, en la
forma ms completa posible.
eaB" B# b d dB" B# son realesf

Se define en la adicin y la multiplcacin en la forma

aB Cb B C aB" B# b aC" C# b aB" C" B# C# b

aB Cb BC aB" B# baC" C# b aB" C" B# C# B" C# B# C" b
Adems en se define la igualdad as

B C , B C aB" B# b aC" C# b B" C" B# C#

Tomando B , entonces B aB" B# b en esta representacin

B" es llamado la parte real de B
B# es llamado la parte imaginaria de B

17.1 TEOREMA. Con la suma y multiplicacin as definida en , entonces se

tiene que es un cuerpo. Llamado el cuerpo de los nmeros complejos.
DEMOSTRACIN. a3b es un grupo abeliano, en efecto
G1. aB Cb D aB" C" B# C# b aD" D# b aaB" C" b D" aB# C# b D# b
aB" aC" D" b B# aC# D# bb aB" B# b aC" D" C# D# b
B caC" C# b aD" D# bd B aC D b
G2. B C aB" B# b aC" C# b aB" C" B# C# b aC" B" C# B# b
aC" C# b aB# B# b C B
G3. + B + a+" +# b aB" B# b a+" B" +# B# b a+" +# b
por la igualdad entre parejas se tiene

J. Daro Snchez H.

MATEMTICA BASICA

84

+" B" +" +# B# +#

Pero en d estas ecuaciones tienen por solucin nica
B" B# !
Luego B a! !b es el mdulo aditivo
G4. + B ! a+" +# b aB" B# b a! !b a+" B" +# B# b a! !b
por la igualdad entre parejas se recibe
+" B" ! +# B# !
Cuyas soluciones en d son
B" +" B# +#
Luego B a +" +# b + tenindose la invertiva de la adicin
a33b , es tambin un grupo abeliano, efectivamente se tiene que:
G1. aB Cb D caB" B# b aC" C# bd aD" D# b aB" C" B# C# B" C# B# C" baD" , D# b
aaB" C" B# C# bD" aB" C# B# C" bD# aB" C" B# C# bD# aB" C# B# C" bD" b
aB" C" D" B# C# D" B" C# D# B# C" D# B" C" D# B# C# D# B" C# D" B#C"D" b a"b
Por otra parte tenemos
BaCD b aB" B# bcaC" C# b aD" D# bd aB" B# baC" D" C# D# C" D# C# D" b
aB" aC" D" C# D# b B# aC" D# C# D" b B" aC" D# C# D" b B# aC" D" C# D# bb
aB" C" D" B" C# D# B# C" D# B# C# D" B" C" D# B" C# D" B# C" D" B#C#D# b a#b
comparando a"b y a#b, y usando la definicin de igualdad se concluye que
aB C b D B aC D b
G2. B C aB" B# b aC" C# b aB" C" B# C# B" C# B# C" b
aC" B" C# B# C# B" C" B# b
aC" C# b aB" B# b C B
tenindose la abelianidad del producto.
G3. Clculo del mdulo multiplicativo. Suponiendo + !;
+ B + a+" +# baB" B# b a+" +# b
lo cual es completamente equivalente a
a+" B" +# B# +" B# +# B" b a+" +# b
de donde se desprende el siguiente sistema simultneo de ecuaciones
lineales
+" B" +# B# +"
+" B# +# B" +#
el cual resolvemos por el mtodo de eliminacin
+" +# B" +## B# +" +#
+" +# B" +"# B# +" +#
entonces
-a+"# +## bB# !
como +"# +## !, pues + !, en general se tiene que B# !
Ahora
+"# B" +" +# B# +"#
+## B" +" +# B# +##
entonces recibimos
a+"# +## bB" +"# +## B" "

J. Daro Snchez H.

MATEMTICA BASICA

85

as B a" !b es el mdulo multiplicativo.

G4. Dado + ! calculemos su inverso multiplicativo;
+ B a" !b a+" +# baB" B# b a" !b
lo cual podemos tambin escribir as
a+" B" +# B# +" B# +# B" b=a" !b
de la definicin de igualdad, recibimos el siguiente sistema simultneo de
ecuaciones
+" B" +# B# "
+" B# +# B" !
usando el mtodo de eliminacin tenemos
+"# B" +" +# B# +"
+## B" +" +# B# !
de donde se tiene
"
a+"# +## bB" +" B" +#++
#
"

y por otra parte

+#
+" B"

B#
as

"
B" +#++
#

+#
+"# +"#

+#

+"# +"#

a+" +# b" +"

a333b Se tiene la ley distributiva, en efecto

BaC D b aB" B# bcaC" C# b aD" D# bd aB" B# baC" D" C# D# b
aB" aC" D" b B# aC# D# b B" aC# D# b B# aC" D" bb
aB" C" B" D" B# C# B# D# B" C# B" D# B# C" B# D" b
Ahora, por otro lado
BC BD aB" B# baC" C# b aB" B# baD" D# b
aB" C" B# C# B" C# B# C" b aB" D" B# D# B" D# B# D" b
aB" C" B# C# B" D" B# D# B" C# B# C" B" D# B# D" b
De la definicin de igualdad se sigue que
BaC D b BC BD .

"

17.2 VALOR ABSOLUTO DE UN NMERO COMPLEJO

Vamos a generalizar el concepto de valor absoluto dado para los
nmeros reales
17.2.1 DEFINICIN. Si B aB" B# b, entonces definimos el mdulo o valor
absoluto de B, como el nmero real no negativo lBl dado por
lBl B#" B##

17.2.2 TEOREMA. El valor absoluto as definido cumple las siguientes

propiedades

J. Daro Snchez H.

MATEMTICA BASICA

86

a+b la! !bl !, y lBl ! si B !

a,b lBCl lBllCl para todo B C
a- b BC lBl
lCl si C !
a. b laB" !bl lB" l

Las igualdades a+b y a. b son inmediatas

Para demostrar a,b escribimos B aB" B# b, C aC" C# b as que
BC aB" C" B# C# B" C# B# C" b
obteniendo
lBCl# aB" C" B# C# b# aB" C# B# C" b#
B#" C"# B## C## B"# C## B## C"# aB"# B## baC"# C## b
lBl# lCl#
La ecuacin a- b puede deducirse de a,b escribindola de la forma
lBl lCl BC
DEMOSTRACIN.

Geomtricamente, lBl representa la longitud del segmento que une el

origen con el punto B. Ms generalmente, lB Cl es la distancia entre los
puntos B y C colocados en un plano cartesiano.

17.2.3 DEFINICIN. Si + d entonces + puede considerarse como un

nmero complejo imponiendo la identificacin
+ a+ !b
en esta forma d , dicindose que los reales quedan encajados dentro
de los complejos.
17.2.4 TEOREMA. La ecuacin B# a " !b " tiene por solucin a a! "b
y a! "b
Efectivamente, supongamos que B aB" B# b y que
B# aB" B# baB" B# b " a " !b
Por la definicin de multiplicacin se recibe
aB#" B## #B" B# b a " !b
de donde se desprende el siguiente sistema cuadrtico
B#" B## "
#B" B# !
la segunda de estas dos ecuaciones afirma que
B" !

B# !
Si B" ! en la primera ecuacin se tiene
B## " B# "
en este caso se tendra que
B a! "b

B a! "b
que son las dos soluciones deseadas.
PRUEBA.

J. Daro Snchez H.

MATEMTICA BASICA

87

Si B# !, entonces de la primera ecuacin tendramos

B#" "
como B" d , esta ecuacin no tiene solucin.

17.2.6 DEFINICIN. Es universalmente denotado el nmero complejo a! "b

solucin de B# ", con la letra 3, as
3 a! "b.
En esta forma si B se sigue de 17.2.4 que
B aB" B# b aB" !b a! B# b B" aB# !ba! "b
B B" B# 3
que es la forma clsica para un nmero complejo.
En esta forma si B ( se dice si B es un nmero complejo ) entonces
B a+ ,b + 3,
+ es llamado la parte real y se nota
+ V/B
, se le llama la parte imaginaria y se le nota
, \7 B
Una primera operacin que se define en es llamada conjugacin la
cual consiste en cambiarle el signo a la parte imaginaria , es decir,
-984
D + 3, D + 3,
Son propiedades de la conjugacin las siguientes:
1. D A D A
2. D A D A
3. D D
4. AD AD
5. V/ D DD
#
6. \ 7 D DD
#3
17.2.7 Si B y C son nmeros complejos, tenemos
lB Cl lBl lCl
PRUEBA. Como no contamos con la desigualdad de Cauchy-Schwarz,
procedemos en la siguiente forma:
Sean B C entonces B aB" B# b C aC" C# b con B" B# C" C# d
entonces B" C# B# C" d por los postulados de d se sigue que
aB" C# B# C" b# !
de donde
B#" C## #B" C" B# C# B## C"# !
#B" B# C" C# B#" C## B## C"#

J. Daro Snchez H.

MATEMTICA BASICA

88

B#" C"# #B" B# C" C# B## C## B"# C"# B"# C## B## C"# B## C##
aB" C" B# C# b# aB#" B## baC"# C## b
Tomando raiz cuadrada a los dos lados tenemos
B" C" B# C# aB#" B## baC"# C## b
#aB" C" B# C# b # aB#" B## baC"# C## b
sumando cantidades iguales la desigualdad se mantiene
B#" B## #aB" C" B# C# b C"# C## B#" B## # aB#" B## baC"# C## b C"# C##
Esta desigualdad la podemos transformar en la forma equivalente
siguiente
aB#" #B" C" C"# b aB## #B# C# C## b
#
#
B#" B## # aB#" B## baC"# C## b C"# C##
#
aB" C" b# aB# C# b# B#" B## C"# C##
kaB" C" B# C# bk# alaB" B# bl laC" C# blb#
Tomando raiz cuadrada llegamos a la desigualdad deseada
lB Cl lBl lCl
Esta desigualdad es conocida como la desigualdad triangular

17.3 IMPOSIBILIDAD DE ORDENAR LOS NMEROS COMPLEJOS

Todava no hemos definido una relacin de la forma B C si B y C son
nmeros complejos arbitrarios, por la razn de que es imposible dar una
definicin de para nmeros complejos que posea todas las
propiedades expresadas por los axiomas O1, O2, AO1, y AO2 dadas en
9.5.
Para justificarlo, supongamos que fuera posible definir una relacin de
orden que cumpliera los axiomas O1,O2,AO1, y AO2. Entonces,
puesto que 3 !, tendramos, o bien
3!

3!
segn el axioma de tricotomia. Supongamos 3 !.
Tomando B C 3 y segn AO2 tendramos
3# !
pero 3# ", as " !, sumando " a los dos miembros llegaramos a
que ! ", lo cual es contradictorio. Por lo tanto el supuesto 3 ! nos
lleva a una contradiccin. Un razonamiento parecido demuestra que no
podemos tomar 3 !. Por lo tanto, los nmeros complejos no pueden ser
ordenados de manera que los axiomas O1, O2, AO1 y AO2 se satisfagan.
17.4 EXPONENCIALES COMPLEJOS

La exponencial /B aB d b es dada por la serie

J. Daro Snchez H.

MATEMTICA BASICA

89

/B " B "# B# B$x B%x B8x

Queremos ahora definir /D , cuando D es un nmero complejo. Vamos a
hacerlo de manera que las propiedades principales de la funcin
exponencial real se conserven. Las citadas propiedades para B d vienen
dadas por la ley de exponentes
/B" /B# /B" B#
y por el hecho de que
/! "
Daremos una definicin de /D para D complejo que conserve tales
propiedades y que se reduzca a la exponencial ordinaria cuando D es
real.
Si escribimos D B 3C aB C d b, con objeto de que se mantenga la ley
de exponentes, es necesario que sea
/B3C /B /3C
Queda por definir lo que significa /3C .
17.4.1 DEFINICIN.
complejo

Si D B 3C , definimos /D /B3C como el nmero

/D /B acos C 3sin C b.

Tal definicin coincide claramente con la funcin exponencial ordinaria

cuando D es real ( esto es, C !). Tenemos ahora que la ley de
exponentes se cumple.
17.4.2 TEOREMA. Si D" B" 3C" D# B# 3C# son nmeros complejos, se
verifica
/D" D# /D" /D#
/D" /B" acos C" 3sin C" b
/D# /B# acos C# 3sin C# b
D" D #
/ / /B" /B# ccos C" cos C# sin C" sinC# 3acos C" sinC# sin C" sin C# bd
Ahora bien: /B" /B# /B" B# , puesto que B" y B# son reales. As mismo,
cos C" cos C# sin C" sinC# =cosaC" C# b
y
cos C" sinC# sin C" sin C# sinaC" C# b
y por consiguiente
/D" /D# /B" +B# ccosaC" C# b 3sinaC" C# bd /D" D#

PRUEBA.

Ahora vamos a obtener

exponencial compleja.

algunas

17.4.3 TEOREMA. /D nunca es cero

propiedades importantes de la

J. Daro Snchez H.

PRUEBA.

MATEMTICA BASICA

90

/D /D /! ". Luego /D no puede ser cero.

17.4.4 TEOREMA. Si B es real, entonces k/3B k ".

#
PRUEBA. k/3B k cos# B sin# B " y k/3B k !.

17.4.5 TEOREMA. /D ", si D es mltiplo entero de #13, y recprocamente.

PRUEBA.

Si D #138, siendo 8 entero, entonces

/D cosa#18b 3sina#18b "
Inversamente, supongamos que /D " D B 3C. Esto significa que
/B cosC " y /B sinC !. Ya que /B !, es necesario que sin C ! C 5 1
siendo 5 un nmero entero. Pero cosa5 1b a "b5 . Por lo tanto
/B cosa5 1b ". Siendo por otra parte /B !, 5 debe ser par, es decir,
C #18. Por eso /B " luego B !. El teorema est probado.

17.4.6 TEOREMA /D" /D# , si D" D# #138 a8 b y recprocamente.

PRUEBA.

Si /D" /D# , entonces /D" D# " y de 17.4.5 se tiene D" D# #138.

Inversamente si D" D# #138 entonces /D" D# /#138 " /D" /D#

17.5 ARGUMENTO DE UN NMERO COMPLEJO

Si el punto D aB C b B C3 se representa en coordenadas polares < y ),

podemos escribir B <cos ) y C <sin ), es decir

z = (x,y)
y

x
D <cos ) 3sin )
Los dos nmeros < y ) determinan unvocamente a D . Inversamente el
nmero positivo < viene determinado unvocamente por D pues < lDl. Sin
embargo , D determina el ngulo ) salvo mltiplos de #1. Existen una
infinidad de valores de ) que satisfacen las ecuaciones

J. Daro Snchez H.

MATEMTICA BASICA

91

B lDlcos ) C lDlsin )
pero, naturalmente, dos cualesquiera de ellos difieren en un mltiplo de
#1. Cada uno de estos valores de ) es un argumento de D pero uno de
ellos se distingue y se llama el argumento principal de D .
17.5.1 DEFINICIN. Sea D B 3C un nmero complejo no nulo. El nmero
real nico ) que satisface las condiciones
B lDlcos )
C lDlsin )
1) 1
se llama el argumento principal de D , y se representa por
)=argaD b
La anterior discusin origina inmediatamente el siguiente teorema.
17.5.2 TEOREMA. Todo nmero complejo D ! puede ponerse en la forma
D </3) , donde < lDl y ) argaD b #18, siendo 8 un nmero entero.
NOTA.

Tal mtodo de representacin de los nmeros complejos es

especialmente til en relacin con la multiplicacin y la divisin, pues
tenemos
<" /3)" <# /3)# <" <# /3a)" )# b
y
<" /3)"
<<"# /3a)" )# b
< /3)#
#

17.5.3 TEOREMA. Si D" D# !, se verifica

argaD" D# b argaD" b argaD# b #18aD" D# b
donde
!
si
1 argaD" b argaD# b 1
si
#1 argaD" b argaD# b 1
8a D " D # b "
" si
1 argaD" b argaD# b #1

Pongamos D" lD" l/3)" D# lD# l/3)# , donde )" argaD" b y )# argaD# b.
Entonces D" D# lD" D# l/3a)" )# b . Puesto que 1 )" 1 y 1 )# 1,
tenemos
#1 ) " ) # # 1
Este entero 8 es precisamente el entero 8aD" D# b ( existe 8 tal que
1 )" )# #18 1) dado en el enunciado del teorema, y para l
tenemos
argaD" D# b )" )# #18.

PRUEBA.

17.6 POTENCIAS ENTERAS Y RAICES DE NMEROS COMPLEJOS

17.6.1 DEFINICIN. Dados un nmero complejo y un entero 8, definimos la
potencia 8-sima de D as

J. Daro Snchez H.

MATEMTICA BASICA

92

D ! "
D 8" D 8 D si 8 !
8
D 8 aD " b
si 8 ! y D !
17.6.2 TEOREMA. Dados dos enteros 7 y 8, tenemos
D 8 D 7 D 87 y aD" D# b8 D"8 D#8
17.6.3 TEOREMA. Si D !, y 8 es un entero positivo, existen exactamente
8 nmeros distintos D! D" D8" (llamados races 8-simas de D ). tales
que
D58 D
para 5 ! " # 8 "
Adems, estas races se obtienen utilizando las frmulas
"
D5 V/3)5 donde V lDl 8 y )5 arga8 D b #185 a5 ! 8 "b
NOTA.

Las 8 races 8-simas son los vrtices de un polgono regular

"
inscrito en el crculo de radio < lDl 8 y centro en el origen.
PRUEBA.

Los 8 nmeros complejos V/3)5 ! 5 8 " son distintos y cada

uno es una raz 8-sima de D , ya que
V/3)5 8 V 8 /38)5 lDl/3argaD b#15 D
Demostremos ahora que no existen otras races 8-simas de D .
Admitamos que A E/3! es un complejo tal que A8 D .
"
En tal caso lAl8 lDl, y por lo tanto E8 lDl E lDl 8 . Por consiguiente, de
A8 D se deduce
/38! /3argaD b , que implica 8! argaD b #15
luego
! argaD b8#15
Pero mientras 5 va recorriendo todos los valores enteros, A toma
slamente los valores distintos D! D" D8" .

17.7 LOGARITMOS COMPLEJOS

Segn hemos visto /D nunca es cero. Es natural preguntar si existen otros
valores que /D no pueda alcanzar. El prximo teorema demuestra que el
nico valor excepcional es el cero.
17.7.1 TEOREMA. Si D es un nmero complejo distinto de cero existen
nmeros complejos A tales que /A D . Uno de tales A es el nmero
complejo
loglDl 3argaD b
y todos los dems tienen la forma
loglDl 3argaD b #813
a8 b

J. Daro Snchez H.

MATEMTICA BASICA

93

PRUEBA.

Ya que
/loglDl3argaD b /loglDl /3argaD b lDl/3argaD b D
vemos que
A loglDl 3argaD b
es una solucin de la ecuacin /A D . Pero si A" es alguna otra solucin,
entonces
/A /A" /A" A " A" A #813
as
A" loglDl 3argaD b #813.

DEFINICIN. Sea D ! un nmero complejo dado. Si A es un

17.7.2
nmero complejo tal que /A D , entonces A es llamado un logaritmo de
D . El valor particular de A dado por
A loglDl 3argaD b
se denomina el logaritmo principal de D , y se representar simplemente
por
A P91aD b

17.7.3 TEOREMA. Si D" D# !, se verifica que

P91aD" D# b P91aD" b P91aD# b #138aD" D# b

P91aD" D# b loglD" D# l 3argaD" D# b

loglD" l loglD# l 3cargaD" b argaD# b #18aD" D# bd

"(&$
eloglD" l 3argaD" bf logaD# b 3argaD# b #138aD" D# b
P91aD" b P91aD# b #138aD" D# b.

PRUEBA.

17.8 POTENCIAS COMPLEJAS

Utilizando logaritmos complejos podemos ahora dar una definicin de
potencias complejas de nmeros complejos.
17.8.1 DEFINICIN. Si D ! y si A es cualquier nmero complejo definimos
D A /AP91aD b .
EJEMPLOS

a"b 33 /3P91a3b /33 # / #

1

a#b a "b3 /3P91a"b /3a31b /1

a$b Si 8 es un nmero entero, entonces

J. Daro Snchez H.

MATEMTICA BASICA

94

D 8" /a8"bP91aD b /8P91aD b /P91aD b D 8 D

17.8.2 TEOREMA. D A" D A# D A" A#
PRUEBA.

D A" A# /aA" A# bP91aD b /A"P91aD b /A#P91aD b D A" D A#

17.8.3 TEOREMA. aD" D# bA D"A D#A /#138aD" D# b

donde 8aD" D# b es el entero dado en 17.5.3

aD" D# bA /AP91aD" D# b /AcP91aD" bP91aD# b#138aD"D# bd

/AP91aD" bAP91aD# b#13A8aD"D# b /AP91aD" b /AP91aD# b /#13A8aD"D#b
D"A D#A /#138aD" D# b

PRUEBA.

17.9 EJERCICIOS.
a"b Halle P91a3b
a#b Halle P91a 3b
a$b Demestre que P91a "b 13
a%b Demuestre que si B d y B ! entonces logB P91aBb
a&b Pruebe que P91a" 3b log# 1% 3
a'b Demostrar que
+ lDl# D D
, D D #V/D
- D D #7D
. D A D A

/ ! D5 ! D 5

0 /3) /3) ) d

1 D D

2 lDl lDl

3 l/3) l "

5"

5"

5 # D5 # D 5
8

4 D A D A

7 # D5 # lD5 l 8 AD

5"

66 lD" D# l lD" l lD# l

8 lD Al lD lAl

: Si lDl lAl entonces

5"

5"

5"

)d

D
A
lDl
lAl

A!

9 lDl lAl lD Al lDl lAl

"
lDAl

"
lDllAl

; ! D5 ! lD5 l (por induccin)

8

6 AD

< lDl# lAl# lDl lAl

= lD Al# lD Al# #alAl# lDl # b
a(b Encuentre los vrtices de un polgono regular de 8 lados, si su centro
est en D ! y uno de sus vrtices es D! .
a)b Calcular:
%
%
"!!
+
"
,
"
- a& "#3b"!! . &"#3
%$3
%
%
/
3
0
a# %3b 1 loga /# b
2 loga /3 b
3 a& "#3b'(3
4 a& "#3b'(3
5 a & "#3b'(3
5"

5"

J. Daro Snchez H.

MATEMTICA BASICA

95

6 a & "#3b'(3
7 loga& "#3b
8 3 3
"
8 a#3b #
! 13

a*b Resolver las ecuaciones:

+ log D 13
, log D " $13
- /D 3 !
#
. /D 3 !
/ cosh D '
0 sin D #
a"!b Hallar el conjunto de puntos del plano que determinan cada una de
las siguientes relaciones:
+ V/ D # !
, 1$ arg D #$1
- lD $3l &
. lD $3l &
/ lD $3l &
0 lD $l lD $l )
1lD +l < + < !
"
#
2 7 D $
3 D D "
4 & lD $3l )
5 D $3 &/3)
6 lD $l lD #l )
) ! #1
#
66 7 D !
9 ! 7 D $
: d/ D " !
a""b Resolver las ecuaciones
+ D $ $D # $D ) !
, D % %D $ 'D # %D "! !
- cos B 3sin B sin B 3cosB para B d
a"#b En qu vector anmerob se transforma el vector anmerob # 3$
despus de una rotacin de a"b 1#
a#b de 1# ?
DD
a"$b Demostrar que si D B 3C entonces B DD
# , C #3
a"%b Escribir en forma compleja y determinar el conjunto de puntos dado
por cada una de las siguientes relaciones:
+ C B
, C 7B , 7 , d , fijos, B C d
- B# C # +# B C d , + real fijo
. B# C # #+B ! B C d + real fijo
#
#
/ B+# C,# " B C d + ! , !
a"&b Demostrar que
D 8" "
D"
#
$
8
" D D D D D"
8" D "
a"'b A partir del ejercicio 15, demostrar que
"

" cos) cos#) cos 8)

a"(b Demostrar que

+ arcsin D 3log3D " D #

cos 8# )sina8"b )#

sin )#

) #5 1 5

, arccos D 3logD D # "

- arctan D #3 log 3D
3D

. arccos2 D logD D # "

/ arcsin2 D logD D # "

0 arctan2 D "# log "D

"D
#
#
1 kcos D k cos B sin2# C
D B 3C .
#
a")b Si " A A son races cbicas de ", probar que
%
3 a" A# b A,
con A "

J. Daro Snchez H.

MATEMTICA BASICA

96

33 a" Aba" A# b" A% a" A& b * A "

( sugerencia " A A# ! A ")
a"*b Probar o refutar cada una de las siguientes afirmaciones (justifique la
respuesta).
a+b k /3D k "
D
a,b /3D /3D D
a- b cos# D sin# D " D
a. b lsin Dl "
D
a/b sin D sin D
D .
a#!b Probar que
cos&) 'cos& ) #!cos$ ) &cos)
a#"b La distancia entre dos nmeros complejos D y A se define por
. aD Ab lD Al. Demostrar que . es una mtrica sobre , esto es, para
todo A D >
a+b . aA D b . aD Ab
a,b . aA D b . aA >b . a> D b
a- b . aA D b ! y , . aA D b !, cuando A D
a##b Demostrar que en general a+7 b 8 + 8 . Si 7 y 8 son nmeros
"

"

primos relativos se tiene que a+7 b 8 + 8 y por lo tanto

"

"

a+7 b 8 + 8 /3 8 a)#5 1b
"

"

!58

W?1/</8-3+ Tome + a "b

a#$b Demostrar que para el valor principal en general se tienen las
siguientes desigualdades:
+
+
a+b aAD b+ A+ D +
a,b AD AD + D !
a- b logD + +logD
a. b aD + b, D +,
a#%b Supngase que D" D# D$ son tres nmeros complejos tales que
lD" l lD# l lD$ l " y D" D# D$ !. Demostrar que D" D# D$ son los
vrtices de un tringulo equiltero inscrito en la circunferencia unitaria.
a#&b Determinar los puntos D B 3C del plano complejo que satisface la
desigualdad lD "l #lD "l.
a#'b Sea T aD b +! D 8 +" D 8" +# D 8# +8 un polinomio de grado
8 " y de coeficientes reales. Demostrar, que si ! es una raz de T aD b !,
entonces ! lo es tambin.
a#(b Demostrar que los puntos D B 3C que satisfacen lD "l % lD "l
#
#
son los puntos, interiores a la elipse B% C$ " o pertenecen a ella.
a#)b Probar que si D! es una raz cbica de un nmero D , y si " A A# son
las races cbicas de la unidad, entonces D! D! A D! A# son las races
cbicas de D . Prtase de este resultado para determinar las races cbicas
de ).
a#*b Encuentre la ecuacin de la elipse con focos 3 que pasa por el
punto " 3. En geometra analtica, cul es la frmula correspondiente? .
a$!b Encuentre la hiprbola con focos " e 3 que pasa por el origen. Cul
es la frmula correspondiente en geometra analtica?.
#
%

J. Daro Snchez H.

MATEMTICA BASICA

97

a$"b Encuentre la parbola de foco " 3 y con la resta V/ D 7 D !

como directriz.
a$#b Escriba en forma compleja la ecuacin general de una hiprbola con
focos + y ,.
a$$b Pruebe que lDl lV/ Dl l7 Dl #lDl
BIBLIOGRAFIA
" Allendoerfer C. and Oakley C.O., Principles of Mathematics. McGrawhill book Company. a1963b
# Apostol Tom.M., Analisis Matemtico. Editorial Revert. a1957b
$ Apostol Tom.M.,Introduction to Analytic Number Theory. SpringerVerlag. New York Heidelberg Berlin.
% Birkhoff y MacLane, Algebra Moderna. Editorial Teide. Barcelona,
a1960b
& Burnett R. Toskey. College Algebra a Modern Approach. AddisonWesley P.C. a1962b
' Mario Rafael, Fundamentos de Matemticas. Universidad Nacional de
Colombia. a1966b
( Muoz. J.M., Introduccin a la teora de conjuntos. Universidad
Nacional de Colombia. a1994b
) Muoz.J.M y Snchez.J.D., Preclculo. Universidad Nacional de
Colombia.a1992b
) Neal H. McCoy, Introduction to Modern Algebra. Boston. Allyn and
Bacon. Inc. a1961b.
DALL
Espero que el lector haya obtenido algn provecho de este trabajo en el aprendizaje
de la matemtica avanzada. En esta forma se completa la parte del lgebra
propuesta en este proyecto de aprendizaje en matemtica avanzada. Exitos y
bienvenidos a la investigacin por internet. Cualquier comentario favor hacerlo
llegar a:
danojuanos@hotmail.com,
danojuanos@tutopia.com

Agradezco a Esperanza y Nohora el tiempo que dedicaron a revisar el castellano para que no se
fueran tantos errores ya que el programa que uso para la escritura no tiene corrector .

Copyright Daro Snchez Hernndez