1974

X ANIVERSARIO

1984

ALGEBRA I
1er. SEMESTRE
PRIMERA PARTE

Preparatoria
Num.
15

v
/
Of&-

390G-O

1020115158

A D V E E T E N C I A S

i
V**

C u m p l e COT C! plazo, otro necesitarn el m i s m o libro.

Cuida los Hbros, son tuyas y de la U n i v ^ ^ r

>

AS JN LIBBO

:'

V.

y-**

\
V

f
r

9 v

Prep arelqrjai^53
SECBf

Ing.
Ing.
Ing.
Ing.

Miguel Angel Garza Tamez

Jos L u i s G u e r r a T o r r e s .
Pablo Rivera Carrillo.
M a r t h a E. M a r t n e z de Arizpe.

ff

QAisg
A4
V i

I N D I C E .

PAG.

i
1

PREFACIO.
CAP.
I
1-1
1-2
1-3
1-4
1-5
1-6
1-7
1-8
1-9

TEORIA DE CONJUNTOS.
Leccin 1.
Concepto de conjunto.
Notacin de conjuntos.
Cardinalidad.
Conjuntos finitos e infinitos.
Conjunto vaco.
Conjunto universal.
Conjuntos equivalentes.
Conjuntos iguales.
Subcon juntos.
~
Respuestas a la autoevaluacin de la leccin 1.

1
2
5

5
6
6
7
8
8

15

Leccin 2.
1-10

17

Operaciones con conjuntos.

Respuestas a la autoevaluacin de la leccin 2.

27

fONDOHlVtRSlT^a
Leccin 3.

118229

1-11
1-12
1-13

**

Diagramas de Venn.
Una aplicacin de la teora de conjuntos.
lgebra de conjuntos.
Respuestas a la autoevaluacin de la leccin 3.

.
34
38

44

CAP.
II

PAG.
NMEROS REALES.
P R E F A C I O .

Leccin 1.
2-1
2-2
2-3

Evolucin de los nmeros reales (R) y la recta

numrica.
Proposiciones abiertas y variables.-Grficas de conjuntos de soluciones.
Respuestas a las autoevaluaciones de la lee- cion 1.

49
61
64
69

Leccin 2.
2-4
2-5
2-6
2-7
2-8
2-9

Los nmeros reales; un sistema educativo.

Propiedades de la igualdad (=) .
Operaciones binarias.
Propiedades aditiva y multiplicativa de la
igualdad.
Axiomas de campo de los nmeros reales (R).
Los axiomas de orden.

III

CONSECUENCIAS INMEDIATAS DE LOS AXIOMAS DE

CAMPO.

3-1
3-2
3-3
3-4
3-5
3-6

Induccin y deduccin.
La ley de la razn suficiente.
Razonamiento correcto.
Bases para la seleccin de axiomas.
Consecuencias.
Aplicaciones de los axiomas de campo de los
nmeros reales.
Respuestas a las autoevaluaciones de la lee- cion 2.

BIBLIOGRAFA.

71
77
79
81
85
95

101
102
106
108
113
123
127
129

Las matemticas, tienen como objetivo general, la formacin integral del educando como persona, dndole las bases in
telectuales para conformar su criterio de modo que ste le
permita desenvolverse en el medio tcnico y social que le
rodea, de acuerdo con su capacidad y personalidad.
El objetivo particular de los cursos de matemticas que
con este libro se inicial, es el de desarrollar la habilidad
en el uso diario y constante del razonamiento lgico deductivo, y adems de introducirlo al lenguaje simblico que utilizan las ciencias, proveerlo de los conocimientos fundamentales de todo sistema matemtico, as como de las tcnicas para
manipular sus elementos.
El lgebra constituye una de las bases esenciales de todo el anisis avanzado. En ocasiones se le ha llamado "alfabeto y gramtica" de las matemticas. Adems, el estudiante
encontrar que el lgebra, en s, es un instrumento muy til.
Problemas extremadamente complejos se resuelven con facilidad,
una vez que se plantean en forma algebraica. De ah que una
slida base de lgebra, sea absolutamente necesaria para estu
diar cualquier ciencia o tcnica.
En el primer captulo, se estudian los principios genera
les de la teora de conjuntos y sus aplicaciones. La idea de
conjunto, es en s, intuitiva y muy antigua; es muy importante su comprensin, pues sirve como base para unificar y dar
cohesin al estudio de los siguientes captulos, proporcionan
do un medio intuitivo y grfico para la introduccin de c o n
ceptos abstractos. No se espera la memorizacin de las ideas
principales de la teora, sino ms bien la comprensin y apre
ci de su importancia a medida que se vayan aplicando.
Tanto en su vida diaria como, sobre todo, en la investiga
cion cientfica, el hombre debe muchos de sus xitos o fraca-

sos a la eficacia de sus argumentos. Cuando construye "bue

nos" argumentos, stos le permiten conocer mejor la realidad,
en tanto que un "mal" argumento, con frecuencia le hace ms
largo el camino hacia el conocimiento verdadero.
En los captulos 2 y 3 se estudian los nmeros reales y
los axiomas de campo.
La mayor parte del lgebra elemental, est ntimamente
ligada al sistema que forman los nmeros reales. Los elementos de conjuntos y lgica de los captulos anteriores, nos ca
pacitan para estudiar la "estructura" del sistema de nmeros
reales y comprender las propiedades fundamentales que lo c a
racterizan como un campo, de manera que, sin prescindir de
las habilidades desarrolladas en aritmtica, las podemos gene^
ralizar y perfeccionar, comprendiendo que siempre son vlidas.
No se desconoce la importancia de la mecanizacin para agilizar las operaciones con los nmeros, pero sta, no nos ensea
como aplicar las operaciones en los problemas de la vida real,
es ms bien, el conocimiento de la estructura de los nmeros,
lo que nos permitir aplicarlos a situaciones reales por analoga.
Esperamos que el estudiante sienta el placer de explorar
las matemticas, al igual que muchos lo han sentido y le
deseamos al igual que los dems, mucho xito.

CAPTULO

ALGEBRA

ler. S E M E S T R E .

TEORIA

DE

I.

UNIDAD

CONJUNTOS.

(Parte I).

INTRODUCCION.
Es m a r a v i l l o s o ser el c r e a d o r , el i n v e n t o r , de un n u e v o
ingenio tal c o m o la t e l e v i s i n . Es an m s i n t e r e s a n t e crear
una nueva idea. P o c o s m a t e m t i c o s han o r i g i n a d o una idea de
tanto a l c a n c e c o m o lo h i z o el m a t e m t i c o a l e m n G e o r g e ^
C a n t o r , q u i e n v i v i de 1845 a 1918. C u a n d o t e n i a 30 a n o s ,
e n u n c i una n u e v a t e o r a m a t e m t i c a , la teora d e los c o n j u n tos. C o m o s u c e d e a m e n u d o con las n u e v a s i d e a s y sus c r e a d o res, los c o l e g a s de C a n t o r se m o f a r o n d e l , q u i e n e s e n c o n t r a
ron las i d e a s r e v o l u c i o n a r i a s e i n a c e p t a b l e s . Una d e las
c r i t i c a s m s f u e r t e s a su t e o r a , se r e f i r i al p r o c e s o m a t e m t i c o que l s e g u a para l l e g a r al c o n c e p t o de i n f i n i t o .
El c a r c t e r m o d e r a d o de C a n t o r , le i m p i d i p o l e m i z a r en
a p o y o de su t e o r a . La o p o s i c i n lleg a ser tan f u e r t e que
la U n i v e r s i d a d d e B e r l n r e c h a z su c o n t r a t o . Sin e m b a r g o ,
C a n t o r v i v i para ver que los m a t e m t i c o s de t o d o el m u n d o re
c o n o c a n su t r a b a j o .
El gran a v a n c e de las m a t e m t i c a s en e s t e s i g l o d e s c a n s a
en los f u n d a m e n t o s que e s t a b l e c i e s t e g e n i o b r i l l a n t e . En
esta u n i d a d I e m p e z a r e m o s a f a m i l i a r i z a r n o s con a l g u n a s d e
las ideas b s i c a s y m s s e n c i l l a s d e esta t e o r a . Un e s t u d i o
c o m p l e t o d e la t e o r a se l l e v a r a c a b o en c u r s o s u n i v e r s i t a r i o s , c u a n d o se haya a l c a n z a d o la m a d u r e z n e c e s a r i a . A m e d i da q u e se p r o g r e s a en e s t e c a m p o d e e s t u d i o s se a p r e c i a m e jor la v e r d a d de las p a l a b r a s de C a n t o r : La e s e n c i a de las
m a t e m t i c a s r a d i c a en s u l i b e r t a d .
Al t r m i n o de esta u n i d a d , el e s t u d i a n t e e s t a r en c o n d l
cin de:

OBJETIVOS

ESPECIFICOS.

1.-

A p l i c a r c o r r e c t a m e n t e el l e n g u a j e s i m b l i c o q u e s e r e q u i e r e e n el t r a b a j o y e s t u d i o d e la t e o r a d e c o n j u n tos.

2.-

D i s c r i m i n a r e n t r e una l i s t a d e c o n j u n t o s d a d o s
que estn bien definidos.

3.-

T r a n s f o r m a r c o n j u n t o s e n l a f o r m a d e s c r i p t i v a a la f o r ma tabular y viceversa.

4.-

D e f i n i r y d e t e r m i n a r la c a r d i n a l i d a d d e u n c o n j u n t o .

aquellos

5.-

Definir conjunto finito e infinito; y distinguirlos a

partir d e una lista d e c o n j u n t o s dados.

6.-

Definir conjunto vaco y conjunto universal; y dar ejem

pos q u e l o s m u e s t r e n .

7.-

Definir conjuntos equivalentes, conjuntos iguales, conjuntos d i f e r e n t e s , c o n j u n t o s a j e n o s y s u b c o n j u n t o s ; y

distinguirlos a partir d e una lista d e parejas d e c o n juntos dados.

8.-

Enlistar todos los subconjuntos d e un conjunto dado.

PROCEDIMIENTO SUGERIDO.

1--

Para el o b j e t i v o 1 e s t u d i a l a l i s t a d e s m b o l o s a d j u n t o s a la l e c c i n 1 del c a p t u l o I p a r a q u e p u e d a s f a m i l i a r i z a r t e con l o s s m b o l o s u t i l i z a d o s e n la t e o r a d e

c o n j u n t o s y p r o c u r a m e m o r i z a r l a . Con d i c h o s s m b o l o s
lo q u e s e p e r s i g u e b s i c a m e n t e e s r e p r e s e n t a r l a s i d e a s
con sencillez, claridad y exactitud. Resuelve tambin
l o s p r o b l e m a s del 1 1 al 2 0 d e la a u t o e v a l u a c i n d e la
l e c c i n 1.

Para el o b j e t i v o 2 e s t u d i a la s e c c i n 1 - 1 d e t u t e x t o ,
donde se aclara que, a u n q u e n o hay una definicin formal
de c o n j u n t o , se puede decir que un c o n j u n t o est bien d e
finiio, cuando se puede decidir qu elementos pertenecen
a dicho conjunto y cules no.
Para el o b j e t i v o 3 e s t u d i a l a s e c c i n 1 - 2 d e t u t e x t o y
r e s u e l v e l o s p r o b l e m a s del 2 1 al 3 0 d e la a u t o e v a l u a c i o n
de la l e c c i n 1 . U n c o n j u n t o p u e d e e s p e c i f i c a r s e d a n d o
una l i s t a d e s u s e l e m e n t o s ( f o r m a t a b u l a r ) o b i e n , e n u n ciando alguna propiedad comn a todos sus e l e m e n t o s (for
ma descriptiva).
P a r a el o b j e t i v o 4 e s t u d i a la s e c c i n 1 - 3 d e t u t e x t o y
r e s u e l v e l o s p r o b l e m a s 6 1 y 6 2 d e la a u t o e v a l u a c i o n d e
la l e c c i n 1 . L a c a r d i n a l i d a d d e un c o n j u n t o e s t a d e t e r
m i n a d o p o r el n m e r o d e e l e m e n t o s c o n t e n i d o s e n e s e c o n junto.
P a r a el o b j e t i v o 5 e s t u d i a la s e c c i n 1 - 4 d e t u t e x t o y
r e s u e l v e l o s p r o b l e m a s del 7 1 al 8 0 d e la a u t o e v a l u a c i o n
d e la l e c c i n 1 . . Si l o s e l e m e n t o s d e u n c o n j u n t o p u e d e n
e n l i s t a r s e del p r i m e r o al l t i m o d e c i m o s q u e el c o n j u n t o
es f i n i t o , d e o t r o m o d o el c o n j u n t o e s i n f i n i t o .
P a r a el o b j e t i v o 6 e s t u d i a l a s s e c c i o n e s 1 - 5 y 1 - 6 d e t u
t e x t o . El c o n j u n t o q u e n o t i e n e e l e m e n t o s e s l l a m a d o
c o n j u n t o v a c o y s e d e n o t a p o r 0 . Y el c o n j u n t o q u e
consiste en la totalidad d e los elementos bajo considera
c i n e n u n a d i s c u s i n p a r t i c u l a r e s l l a m a d o c o n j u n t o uni_
versal y se representa c o m n m e n t e m e d i a n t e la letra U .
P a r a el o b j e t i v o 7 y 8 e s t u d i a l a s s e c c i o n e s 1 - 7 , 1 - 8 y
1 - 9 d e t u t e x t o y r e s u e l v e l o s p r o b l e m a s del 1 al 1 0 , del
3 1 al 7 0 y del 8 1 al 9 0 d e l a a u t o e v a l u a c i n d e la l e c c i n 1 . S e d i c e q u e d o s c o n j u n t o s : son e q u i v a l e n t e s si
t i e n e n l a m i s m a c a r d i n a l i d a d , d o s c o n j u n t o s son i g u a l e s
si t i e n e n e x a c t a m e n t e l o s m i s m o s e l e m e n t o s , son d i f e r e n t e s si t i e n e n e l e m e n t o s q u e l o * d i s t i n g u e n , son a j e n o s si
no tienen ningn elemento en comn y se dice que un c o n j u n t o e s u n s u b c o n j u n t o de- o t r o s c a d a e l e m e n t o del pri-

m e r o e s t a m b i n e l e m e n t o del s e g u n d o c o n j u n t o .
8.-

9.-

Una vez que c r e a s d o m i n a r tus o b j e t i v o s c o m e n t a la u n i dad con tus c o m p a e r o s m s a v e n t a j a d o s , para que e n t r e

todos t e n g a n u n m e j o r a p r e n d i z a j e .
C o n s u l t a tus d u d a s
con tu m a e s t r o a s e s o r :
i

AUTOEVALUACIN.
1.-

Conjuntos que tienen tantos elementos que el proceso dt

contarlos nunca llega a su fin.

Como r i t m o d e t r a b a j o t e s u q e r i m o s el s i q u i e n t e :
ler.
2o.
.
.
4o
-

da
da
'" u,u
da

Objetivos 1, 2 y 3
Objetivos 4, 5 y 6
r - I _ - r.
/J^
R e s o l u c i n del L a b o r a t o r i o .

0) Ajenos.

1) Finitos.

2) Equivalentes.

3) Infinitos.
2.-

10.- C o m o r e q u i s i t o para t e n e r d e r e c h o a p r e s e n t a r la unidad

I, d e b e r s e n t r e g a r a tu m a e s t r o a s e s o r , el l a b o r a t o r i o
de e s t a u n i d a d r e s u e l t o c o r r e c t a m e n t e .

Conjunto que consta de la totalidad de los elemntos con

siderados para determinada operacin, es el conjunto:
0) Infinito.
3) Vaco.

3.-

Convierte el conjunto
la forma tabular.
0) {6,8,10,12}
3) {2,4,6,8,10}

4.-

1) Finitos.

2) Universal.

{x/x es entero par y 6 < x <12} a

1) {8,10}

2) {2,4,14 ,16,18}

Determina la cardinalidad del conjunto {1,2,4,5,6}

0) 1

1) 6

2) 4

3) 5
Escribe las siguientes afirmaciones usando la simbologa
adecuada.
5.-

x" no es elemento de B.

0) x B
3) x i B
6.-

1)x^B

2)

x | 6

2)

A O B

"A" es subconjunto,de B.
0) A B

3) A c B

1) A C B

Si A = {1,2,3,4}
B = {1,2,3} ; C = {a,b,c} ; decide
si las siguientes afirmaciones son verdaderas o falsas.

15.- {0,1,2,3,4,5,6,...,99,100}
0) Finitos.

7.-

1) Infinitos.

{1,2,3} C A
16.-{x/x es un entero positivo y x > 10)
0) Verdadera.

8.-

1) Falsa.

B e A

1) Infinitos.

Determina si los siguientes conjuntos son ajenos o no.

0) Verdadera.
9.-

0) Finitos.

1) Falsa.

17.- {x,y,z}

0) Ajenos.

B^A
0) Verdadera.

1) Falsa.

18.- {1,2,3}
0) Ajenos.

{a,b,c>
1) No ajenos.

{3,4,5}
1) No ajenos.

Entre los pares de conjunto siguietes, determina cules

son iguales o diferentes.
10.-

{x/x es un entero y 2 < x < 6}

0) Iguales.

11.-

{3,4,5}

1) Diferentes.

{x/x es un entero y 0 < x < 5}

0) Iguales.

12.-

{0,1,2,3,4,5}

1) Diferentes.

{1,2,3,4,5...}

{2,4,6,8,10...}

0) Iguales.

1) Diferentes.

Determina
los pares de conjuntos siguientes son equiva-
lentes o no.
13.-

{x/x es vocal del abecedario}

0) Equivalentes.

{0,1,2,3,4}

1) No equivalentes.
>

4.-

{a,b,c}

{x,y,z}

0) Equivalentes.

1) No equivalentes.

Determina si los siguientes conjuntos son finitos o infinitos.

LISTA DE SMBOLOS:
TEORA

es elemento de

no es elemento de

DE

CONJUNTOS.

LECCION 1.

tal que
N

conjunto de los nmeros naturales

conjunto de los nmeros enteros

>

es mayor que

<

es menor que

no

no es menor que

igual a

1-1

CONCEPTO DE CONJUNTO.
N

es mayor que

es diferente

cardinalidad de

conjunto vaco

conjunto universal

-*-*

es equivalente a

es subconjunto de

no es subconjunto de

unin

interseccin

complemento
diferencia

producto cartesiano

Como se hace con una nueva asignatura, empezaremos el estudio de las matemticas discutiendo los trminos tcnicos nuevos que debemos introducir.
Nuestra intuicin nos dice
que cada uno de estos trminos tendr una definicin, pero ms
tarde encontraremos que las posteriores definiciones se t e n
drn que apoyar en las primeras y esto nos puede llevar a un
crculo vicioso, en el que no aclararemos la verdadera signifi
cacin de los conceptos.
El nico camino para evitar estas definiciones circulares
en matemticas o en otras asignaturas, es el de tomar un peque
o nmero de palabras como "indefinibles"; y todas las dems
palabras matemticas se definirn en funcin de ellas. No es
fcil decidirse y escoger entre las palabras que se van a dejar como indefinibles o como definidas, y despus definir stas en funcin de las primeras.
Como se puede escoger de muchas maneras, la eleccin la debemos hacer teniendo en cuenta
principalmente la sencillez y la elegancia.
Para empezar vamos a introducir un trmino que satura todas las matemticas? es el concepto de "conjunto".
Todos estamos acostumbrados a tratar con conjuntos, por
ejemplo, escribimos usando un conjunto de letras llamado abecedario, efectuamos operaciones de conteo y medicin usando
un conjunto de nmeros, participamos deportiva y socialmente
en conjuntos llamados equipos o clubes, hablamos del conjunto
de artculos de la Constitucin Mexicana, del conjunto de estudiantes de la U.A.N.L., de colecciones de estampillas, etc.

'

del

que el numero 4 no es un elemento del conjunto A, entonces sto se expresa as:

-O -

4 t A
especie, siempre y cuando stos estn claros r o l * C U a ^ u l e r
si pertenecen o n*
^
ciaros como para decidir
Cin es vaga y no se p u e d H ? , S l n e m b a r 9 ' 6 E t a ^ e r a -

(Es costumbre en matemticas poner una lnea oblicua "/" t a chando un smbolo, para indicar lo opuesto o la negacin del
significado del smbolo).

Por lo tanto, el c m c e p t o d e S o ^ u n t o "

va que no puede definire n i 0
- ,

1-2

'j^0

es

una nocion primiti-

"conjunto" t ^ f Z S ^ S S S S S S T

Observacin 1.
Los smbolos " e" y V " son usados nicamente para expresar la relacin que hay de un elemento a un
conjunto; y no la relacin de un conjunto a un elemento, o entre dos conjuntos, o entre dos elementos.

NOTACIN DE CONJUNTOS.

"elementos"^dei^onjunto
de la preparatoria f ^ "
^
junto.

^
^ CnjUnt Se
templo, todos los profesores

~
"
e ^ e
En cambio, un agricultor

l^ZT^lT

lcho

o o n

~
~

srvajasr

Sfc

Un conjunto puede determinarse de dos formas distintas:

una sera enumerando o enlistando todos sus elementos, a esta
forma se le llama "tabular" o "por extensin", o bien, e n u n ciando alguna propiedad que deban de tener todos y cada uno
de los elementos del conjunto dado, a esta forma se le llama
"descriptiva" o "por comprensin"; en esta forma se emplea una
letra minscula, (no importa que letra se utilice) que por lo
general es "x" y que representa un elemento cualquiera del can
junto, para enunciar la propiedad de todos los elementos del
conjunto.
Ejemplos:
Si B es el conjunto formado por las vocales del abecedario, entonces:

r
V

r
s
te, los conjuntos son nombrados por medio J
de esta manera el conjunto anterior p ^
A = {1,3,5,7,9}
Enceste Conjunto ^ S g " * *
ael conjunt

. r t s *
S almen
j ^
?
"
^
V
^

"" ^

conjunte,
?

5 e A
(El smbolo e , se utiliza para expresarbien, "pertenece a'M
7
expresar: es elemento de", o
P r 61

entrarlo, se puede ver, tambin.

B = {a,e,i,o,u}
forma tabular
B = (xjx es vocal del abecedario}
forma descriptiva
Este conjunto B expresado en forma descriptiva, se lee como:
"B es el conjunto formado por equis, tal que, equis es vocal
del abecedario".
Tngase en cuenta que la barra vertical, "|", cuando est entre llaves, se lee: "tal que" o "tales que'!
Si C es el conjunto formado por los nmeros enteros mayores que 3 y menores que 8, entonces:
C = {4,5,6,7}
C = {x{x es entero y 3<x<8}

forma tabular
forma descriptiva

LOS smbolos < y > significan, respectivamente, "es menor que y es mayor que". As, el conjunto consiste en todos les
nmeros enteros mayores que 3 (x> 3) y menores que 8 (x <8).

Observacin 3.
Los conjuntos expresados en forma d e s
criptiva, algunas veces, nos evita escribir conjuntos que poseen una gran cantidad de elementos.

Observacin 2.
Las llaves simbolizan un conjunto y lo
que encerramos con ellas son sus elementos o una descripcin
de ellos.

1-3

CARDINALIDAD.

nan

El nmero de elementos contenidos en un conjunto determila "cardinalidad" del conjunto.

En
.
matemticas generalmente se trabaja con conjuntos de
nmeros.
Hay varios conjuntos que ya conoces y que tienen
un smbolo especial para ser representados.
As:

N : es el conjunto de los nmeros enteros positivos (nmeros naturales).

N = {1,2,3,4,5,6,7,...}

En el caso del conjunto A ={1,3,5,7,9}

ser 5 y la expresamos as:

su cardinalidad

# (A) = 5
Z :. es el conjunto de los nmeros enteros (los negativos
cero y los positivos).
"4,-3,-2,-1,0,1,2,3,4,...}
I Z = {
(En estos conjuntos, los tres puntos significan que los conjun
tos contienen mas elementos que aquellos que se han enlistado?
Estos tres puntos son un signo para todos los elementos que no
han sido incluidos, pero que podemos enlistar ya que es p o s i ^tidos)^^ ^

Patr6n

7 C

n ^

nOCer

108 elementos

Ahora podemos definir mucho ms conjuntos que antes de una manera simplificada.
Por ejemplo, si D es el conjunto
de nmeros naturales menores que 100; este conjunto se puede
obtener en la forma descriptiva a partir del conjunto N
coi
una condicion: ser menor que 100. Se puede simplificar la re
presentacin utilizando smbolos matemticos, as:

D = {x e N| x < 100}
_ . * S a* 1 0 "' E e s
conjunto de los nmeros enteros mayores que -5, entonces E se puede simbolizar en la forma descrip
tiva como:

E = {x e Z | x > -5}

que se lee: "la cardinalidad del conjunto A es igual a 5".

En el conjunto D, donde D = {x e N | x < 100}, la cardinalidad ser 99 y la expresamos como :
#(D) = 99

1-4

CONJUNTOS FINITOS E INFINITOS.

Los conjuntos pueden ser "finitos o infinitos".

Los con
juntos A, B, C y D enumerados anteriormente tienen una propiedad comn: todos son conjuntos finitos.
El trmino "conjunto
finito" debe definirse muy cuidadosamente, aunque en nuestro
caso resulta suficiente decir que un conjunto es finito si sus
elementos pueden enlistarse del primero al ltimo, es decir,
si el proceso de contar los diferentes elementos del conjunto
puede acabar, (o sea, si su cardinalidad es cero o bien un nmero natural).
Un conjunto que no es finito se dice que es infinito. Los
conjuntos
F = {0,1,2,3,4,5...}
G = {x e N | x es par}
H = {5,10,15,20,25...}
son ejemplos de conjuntos infinitos.

1-5

CONJUNTO VACIO.

poblacin mundial ser el conjunto universal para cualquier

relacin humana que se produzca.

De gran utilidad en las operaciones con conjuntos es el

concepto de "conjunto vaco".

Usualmente se reserva la letra "U" para representar el

conjunto universal.

El conjunto "vaco" o "nulo" es el conjunto para el cual

ningn elemento satisface la condicin dada, por lo tanto, carece de elementos y se representa por el smbolo 0, o bien,
{ }.
Los conjuntos

Observacin 6.
Es importante establecer desde un principio de la discucion el conjunto universal, para eliminar posi-
bles dudas en la definicin de conjuntos.

1=
J =
K =

{ x e z | 2 < x < 3}
{x|x es una persona viviente mayor de 200 aos}
{ x e N | x < 1 }

son ejemplos de conjuntos vacos o nulos.

Observacin 4.
La cardinalidad de 0 es cero, o sea que
# (0) = 0, por lo tanto, el conjunto vaco es un conjunto fini
to.
~~

Observacin 5.
Conviene aclarar que los smbolos {0} y
{0}, no representan al conjunto vaco.
El conjunto {0} c o n
tiene un elemento, el numero cero.
El conjunto {0} tiene tan
bien un elemento que es el conjunto vaco: es un conjunto de ~
conjuntos.

1-6. CONJUNTO UNIVERSAL.

El "conjunto universal" es el conjunto que consiste en la totalidad de los elementos considerados para determinada
operacin, asunto, cuestin o especie a la que se este haciendo referencia.
As, el conjunto de los nmeros enteros formar el conjun
to universal cuando se discute acerca de los nmeros impares;el conjunto de todas las letras del abecedario formar el conjunto universal cuando se discute acerca de las vocales; y la

1-7

CONJUNTOS EQUIVALENTES.

Si dos conjuntos poseen la misma cardinalidad, se dice ^ue son "conjuntos equivalentes", ya que tienen el mismo nmero de elementos y puede establecerse entre ambos una correspon
dencia de uno a uno o biunvoca.
0 sea que, si A y B son dos
conjuntos y #(A) =
#(B), entonces este hecho puede expresar
como:
A
B
(El smbolo "
", se utiliza para expresar la relacin de equivalencia entre dos conjuntos).
As los conjuntos A = {1,3,5,7,9} y B= {a,e,i,o,u} son
equivalentes (A---B), ya que se puede establecer la correspondencia buinvoca:
1
3
5
7
9

-->
-*-+
--
-<->

a
e
i
o
u

3
5
7
9
1

-->-t-+
-<->-

a
e
i
o
u

etc.

Por lo tanto, se dice que dos conjuntos estn en "correspondencia buinvoca" o de uno a uno, cuando a cada elemento de
uno de los conjuntos le corresponde un elemento del otro con
junto y ningn elemento de cualquiera de los dos conjuntos deja de tener su elemento correspondiente.

1-8

CONJUNTOS IGUALES.

Se dice que el conjunto A es "igual" al conjunto B si ambos contienen exactamente los mismos elementos. Se denota la
igualdad de los conjuntos A y B por:
A = B
Por ejemplo, si L = {1,2,3.4} y M = {2,1,4,3}, entonces
L = M, es decir, {1,2,3,4} = {2,1,4,3}
ya que ambos conjuntos tienen los mismos elementos.
Por lo
tanto, de acuerdo a la definicin, el orden en que se enumeran
o enlistan o describen los elementos no es importante.

Observacin 7.
Es muy importante hacer notar la diferen
cia entre conjuntos equivalentes y conjuntos iguales; dos conjuntos son equivalentes cuando tienen la misma cardinalidad aunque sus elementos sean diferentes, mientras que dos conjuntos iguales siempre son tambin equivalentes, pues teniendo
los mismos elementos tendrn siempre la misma cardinalidad.
Cuando dos conjuntos no son iguales, o sea que, tienen elementos que los distinguen, entonces se dice que los conjuntos son "diferentes" (A^B) .
Por ejemplo, los c o n j u n t o s
{a,b,c,d} y
{c,d,e,f} son diferentes.
Cuando dos conjuntos no tienen elementos comunes, o sea
que, difieren en todo, entonces se dice son conjuntos "ajenos"
o "disjuntos".
Por ejemplo, los conjuntos {x,y,z} y {1,2,3}
son ajenos o disjuntos.

Se observa que cada elemento del conjunto A es tambin un

elemento del conjunto B (o sea que no hay elemento de A que no
est en B); entonces se dice que "A es un subconjunto de B".
Se expresa esta relacin escribiendo
A C B
que tambin se puede leer como: "A est contenido en B".
As pues, A C B, si solo si, x e A implica que x e B.
Por ejemplo, si
P = {x e N | x < 7}
Q = {2,4,6} R = {1,2,3,4,5,6}
Entonces se puede afirmar que Q C P, ya que todo elemento de
Q pertenece tambin a P.
Y que tambin, R C P, pues cada elemento que pertenece a R pertenece tambin a P. (Observese
en particular que R=P.
De la misma manera se puede mostrar
que todo conjunto es un subconjunto de s mismo).
Con el concepto anterior de subconjunto se puede dar de
otra manera
la definicin de igualdad de dos conjuntos:
"dos conjuntos A y B son iguales, A = B. si y solo si, A C B
y B C A".
Por otra parte, si el conjunto A no es un subconjunto del
conjunto B, es decir, si A B, entonces esto implica que exi
te por lo menos un elemento del conjunto A que no es elemento
del conjunto B.
Por ejemplo, si S = {1,3,5} y T= {0,1,2,3,4};
entonces se cumple que S T, ya que 5 e S y 5 i T.
Observacin 8.
Los smbolos "c" y " C son usados nicamente para expresar la relacin entre dos conjuntos.

1-9

SUBCONJUNTOS.
Veamos estos dos conjuntos
A = {1,2,3,4}
B = {0,1,2,3,4,5}

Observacin 9.
mismo, A C A .

Todo conjunto A es un subconjunto de s

Observacin 10. Todo conjunto A es un subconjunto del

conjunto universal U, A C U.

Observacin 11.
El conjunto vaco 0, se considera un snfaooajunto de cualquier conjunto A, 0 C A.
'
AUTOEVALUACIN

Batanees,si quisiramos hacer una lista de todos los sub(Domjuntos de un con junto, por ejemplo de V = {1,2,3}, estos re
mitn ser: {i}, {2}, {3}, {1,2}, {1 , 3} , {2,3} {1,2,3} y 0. A ~~*
paurfcxr de lo anterior se puede observar que hay ocho subconjun
ttos en V.
Del mismo nodo, se puede mostrar que el conjunto vaco tiene un subconjunto (l mismo), un conjunto con un elemento
tiene dos subconjuntos, un conjunto con dos elementos tiene CTuafora subconjuntos, etc., o sea que, el patrn general es : un
onjuato de "n" elesaentos tiene "2 n "subconjuntos para cual
<$aier naero natural "n"; de esta forma, un conjunto que tiene
6
SES elementos tiene 2 , o sea, 64 subconjuntos.

DE

LA

LECCIN

1.

Definir los siguientes conceptos:

1)
2)
3)
4)
5)
6)
7)
8)
9)
10)

Cardinalidad.
Conjunto finito.
Conjunto infinito.
Conjunto vaco o nulo.
Conjunto universal.
Conjuntos equivalentes.
Conjuntos iguales.
Conjuntos diferentes.
Conjuntos ajenos.
Subconjuntos.
Escribir las afirmaciones siguientes en notacin conjun
tista:

11)
12)
13)
14)
15)
16)
17)
18)
19)
20)

"x" es elemento de "A"

"A" no es subconjunto de "B"
"B" es equivalente a "C"
"y" no pertenece a "D"f
"E" est contenido en H F"
"G" no est contenido en "H"
"z" pertenece a "C"
"D" es un subconjunto de "E"
El conjunto vaco
"w" no es elemento de "B"
Enunciar verbalmente cada uno de los sig. conjuntos:

21)
22)
23)
24)
25)

{x/x habita en E.U.A.}

{x/x es un numero par positivo}
{x/x es una mujer soltera mayor de 30 aos}
0
{x/x vot por el Lic. Miguel de la Madrid Hurtado para
Presidente de Mxico}

Escribir en forma tabular cada uno de los1sig. conjuntos:

26)
27)
28)
29)
30)

78) {x e N /x es un mltiplo de 5}
79) {x/x es un habitante de la Tierra}
80) {x/x es una fraccin y 0<X<1}

Decir entre las afirmaciones siguientes cules son verdaderas o falsas, si:

81) {Juan, Jos, Pedro, Ral} y {Irma, Leticia, Rosa, Mara}

A
B
C
D

e
e

e
e
i

A
0
D
C
B
C

=
=
=
=

{0,1,2,3,4}
{5,6,7,8,9}
{1,2,3,4}
{5,6,7}

U = {x/x
37) 4
38) A
39) A
40) B
41) 0
42) A

es un numero}
/ B
43) 7 e C
e 0
44) A -e+B
= B
45) A C
jt D
46) A C 0
e A
47) C C A
C B
48) A C U

31)
32)
33)
34)
35)
36)

5
0
B
A
D
o

61)
62)
63)
64)
65)
66)
67)
68)
69)
70)

Los conjuntos A y C tienen la misma cardinalidad.

I*>s conjuntos B y D no tienen la misma cardinalidad.
Los conjuntos A y B son ajenos.
Los conjuntos B y D son ajenos.
En el conjunto A hay exactamente 24 subconjuntos.
En el conjunto C hay exactamente 16 subconjuntos.
En el conjunto D hay exactamente 6 subconjuntos.
Todo subconjunto de un conjunto finito es finito.
Todo subconjunto de un conjunto infinito es infinito.
Dados dos conjuntos E y F, s i E C F y F C E
entonces E=F.

49)
50)
51)
52)
53)
54)

6
B
A
0
0
U

i D
+-+C
C C
e U
C A
C D

55)
56)
57)
58)
59)
60)

C
C
D
5
0
0

A
D
C B
B
C 0
c u

Decir si cada uno de los sig. conjuntos son finitos o infinitos:

71)
72)
73)
74)
75)
76)

77) {x e Z /-3<x<3}

{x/x es una letra del abecedario}

{x/x es una letra de la palabra "Parangaricutirimcuaro"}
{x e N / x < 1}
{x N / x > 2}
{x e N / 10 < x < 20}

{0,1,2,3,4,...}
{1,2,3,4,5,...,1000}
{x e N /x es impar}
{x e N /x < 5}
{x e N /3<x<4}
{x e Z /x<5}

Decir si cada una de las sig. parejas de conjuntos son

equivalentes o no:

82)
83)
84)
85)

{2,3,5,7} y {x,y,z} {x e N /x es par} y {x e N /x es impar)

{x e N /x>10} y {x e N/x<10}
{x e Z /x+1=1> y 0
Entre los pares de conjuntos siguientes, decir cuales sen
iguales o diferentes y especificar aquellos conjuntos que
son ajenos o disjuntos.

86) {2,4,6} y {1,3,5}

87) {1,3,5,7,9} y {x e N/x es impar y x<10)
88) {x e N /x+1=1} y 0
89) {a,b,c,d} y {d,c,b,a>
90) {x e N /4<x<9} y {4,5,6,7,8,9}

RESPUESTAS A LA AUTOEVALUACIN DE LA LECCIN 1.

11) X E A
12) A B
13) B-*C
14) y i D
15) E C F
16) G < H
17) z C
18) D C E
19) 0
20) W ^ B
21) El conjunto de los habitantes de E. U. A.
22) El conjunto de los nmeros pares positivos.
23) El conjunto de las mujeres solteras mayores de 30 anos.
24) El conjunto vaco.
25) El conjunto de las personas que votaron por Lic. Miguel
de la Madrid para Presidente.
26) {a,b,c,d,...x,y,z}
27)

{a,c,g,i,m,n,o,p,r,t,u}

28)

29) {3,4,5,6,7,...}
30) {11,12,13,...18,19}
31) Falsa.
32) Falsa.33) Verdadera.
34) Verdadera.
35) Falsa.
36) Verdadera.
37) Verdadera.
38) Falsa.
39) Falsa.
40) Verdadera.
41) Falsa.
42) Falsa.
43) Falsa.
44) Verdadera.
45) Verdadera.
46) Falsa.
47) Verdadera.

61) Falsa.
62) Verdadera.
63) Verdadera.
64) Falsa.
65) Falsa.
66) Verdadera.
67) Falsa.
68) Verdadera.
69) Falsa.
70) Verdadera.
71) Infinito.
72) Finito.
73) Infinito.
74) Finito.
75) Finito.
76) Infinito.
77) Finito.

48)
49)
50)
51)
52)
53)
54)
55)
56)
57)
58)
59)
60)

Verdadera.
Falsa.
Falsa.
Falsa.
Falsa.
Verdadera.
Falsa.
Falsa.
Falsa.
Verdadera.
Falsa.
Verdadera.
Verdadera.

78)
79)
80)
81)
82)
83)
84)
85)
86)
87)
88)
9)
90)

Infinito.
Finito.
Infinito.
Equivalentes.
No equivalentes.
Equivalentes.
No equivalentes.
No equivalentes.
Diferentes y ajenos.
Iguales.
Iguales.
Iguales.
Diferentes.

ALGEBRA

ler. S E M E S T R E .

TEORIA

I.

U N I D A D II.

DE CONJUNTOS.
(Parte I I )

INTRODUCCION:
Al e s t u d i a r la T e o r a d e C o n j u n t o s e s t a m o s c a p a c i t n d o n o s
para c o m p r e n d e r m e j o r o t r a s r a m a s d e las m a t e m t i c a s , p r i n c i p a l m e n t e p o r q u e los c o n j u n t o s son u t i l i z a d o s d i r e c t a m e n t e e n
' m u c h a s d i s c i p l i n a s : sus c o n c e p t o s y o p e r a c i o n e s son t o m a d o s para l l e g a r a o t r o s , para s i m p l i f i c a r la n o t a c i n y para f a c i litar la c o m p r e n s i n y las d e m o s t r a c i o n e s .
A d e m s , los c o n c e p t o s m a t e m t i c o s d e la T e o r a d e C o n j u n tos a p a r e c e n d e una m a n e r a s e n c i l l a y fcil d e c o m p r e n d e r .
A s , por e j e m p l o , al e n t e n d e r el c o n c e p t o d e " i g u a l d a d m a t e m tica" p o d r e m o s d e s p u s t r a b a j a r m s p r o f u n d a y f c i l m e n t e con
ecuaciones.
Lo q u e v a m o s a e s t u d i a r , e s la m a n e r a m e d i a n t e la c u a l ,
los m a t e m t i c o s h a b l a n y e s c r i b e n sobre i d e a s q u e t o d o s h e m o s
-manejado intuitivamente.
N o s e t r a t a p u e s , d e c o m p r e n d e r altas a b s t r a c c i o n e s , sino d e a p r e n d e r a u t i l i z a r una n o t a c i n m a
t e m t i c a para e s c r i b i r sobre c o s a s q u e , d e h e c h o , e s t a m o s a c o ^
tumbrados a usar.

OBJETIVOS ESPECIFICOS:
D e f i n i r los s i g u i e n t e s c o n c e p t o s : u n i n , i n t e r s e c c i n , t o m p l e m e n t o , d i f e r e n c i a y p r o d u c t o c a r t e s i a n o d e conjuntos.

48)
49)
50)
51)
52)
53)
54)
55)
56)
57)
58)
59)
60)

Verdadera.
Falsa.
Falsa.
Falsa.
Falsa.
Verdadera.
Falsa.
Falsa.
Falsa.
Verdadera.
Falsa.
Verdadera.
Verdadera.

78)
79)
80)
81)
82)
83)
84)
85)
86)
87)
88)
9)
90)

Infinito.
Finito.
Infinito.
Equivalentes.
No equivalentes.
Equivalentes.
No equivalentes.
No equivalentes.
Diferentes y ajenos.
Iguales.
Iguales.
Iguales.
Diferentes.

ALGEBRA

ler. S E M E S T R E .

TEORIA

I.

U N I D A D II.

DE CONJUNTOS.
(Parte I I )

INTRODUCCION:
Al e s t u d i a r la T e o r a d e C o n j u n t o s e s t a m o s c a p a c i t n d o n o s
para c o m p r e n d e r m e j o r o t r a s r a m a s d e las m a t e m t i c a s , p r i n c i p a l m e n t e p o r q u e los c o n j u n t o s son u t i l i z a d o s d i r e c t a m e n t e e n
' m u c h a s d i s c i p l i n a s : sus c o n c e p t o s y o p e r a c i o n e s son t o m a d o s para l l e g a r a o t r o s , para s i m p l i f i c a r la n o t a c i n y para f a c i litar la c o m p r e n s i n y las d e m o s t r a c i o n e s .
A d e m s , los c o n c e p t o s m a t e m t i c o s d e la T e o r a d e C o n j u n tos a p a r e c e n d e una m a n e r a s e n c i l l a y fcil d e c o m p r e n d e r .
A s , por e j e m p l o , al e n t e n d e r el c o n c e p t o d e " i g u a l d a d m a t e m tica" p o d r e m o s d e s p u s t r a b a j a r m s p r o f u n d a y f c i l m e n t e con
cuaciones.
Lo q u e v a m o s a e s t u d i a r , e s la m a n e r a m e d i a n t e la c u a l ,
los m a t e m t i c o s h a b l a n y e s c r i b e n sobre i d e a s q u e t o d o s h e m o s
-manejado intuitivamente.
N o s e t r a t a p u e s , d e c o m p r e n d e r altas a b s t r a c c i o n e s , sino d e a p r e n d e r a u t i l i z a r una n o t a c i n m a
t e m t i c a para e s c r i b i r sobre c o s a s q u e , d e h e c h o , e s t a m o s a c o ^
tumbrados a usar.

OBJETIVOS ESPECIFICOS:
..-

D e f i n i r los s i g u i e n t e s c o n c e p t o s : u n i n , i n t e r s e c c i n , t o m p l e m e n t o , d i f e r e n c i a y p r o d u c t o c a r t e s i a n o d e conjuntos.

2.-

R e s o l v e r e j e r c i c i o s que i m p l i q u e n : u n i n , i n t e r s e c c i n ,
complemento, diferencia y producto cartesiano de conjuntos.

AUTOEVALUACIN:
1.-

PROCEDIMIENTO
1.-

La interseccin entre A y B se puede definir como:

O) {x/xeA XEB}
2) {x/xeA y xeB>

SUGERIDO:

Para los o b j e t i v o s d e e s t a u n i d a d e s t u d i a la s e c c i n 1-1C

d e tu t e x t o y r e s u e l v e los e j e r c i c i o s d e la a u t o e v a l u a
c i n d e la l e c c i n 2.
H e m o s v i s t o que se p u e d e n obtener
nuevos conjuntos a partir d e un conjunto dado, llamados
subconjuntos.
En esta s e c c i n v a m o s a c o n s i d e r a r opera- 2.c i o n e s , por m e d i o d e las c u a l e s , dos c o n j u n t o s dan l u g a r
Las o p e r a c i o n e s a e s t u d i a r son:
a nuevos conjuntos.
unin, interseccin, complemento, diferencia y producto
c a r t e s i a n o , d e n o t a d o s p o r : A B , A B , A ' , A-B y A x B, 3.respectivamente.

Si U= {1,2,3,4,5,6,7,8,9} A= {1,2,3,4,5} B= {4,5,6,7,8}

y c={2,3,5,6,9} ; encuentra los elementos de cada uno de
los siguientes conjuntos: (problemas 2 al 8).
BUC
O) {2,3,4,6,9}
2) {5,6}

3.-

Si y a l o g r a s t e r e s o l v e r los o b j e t i v o s s a t i f a c t o r i m e n t e ,
a h o r a r e p a s a toda la u n i d a d con tus c o m p a e r o s m s aventa
j a d o s l o cual t e s e r v i r para r e a f i r m a r tus conocimientos
y a la vez t e i n d i c a r q u e s l o q u e d e b e s v o l v e r a estudiar.
El r e q u i s i t o para p r e s e n t a r e s t a u n i d a d c o n s i s t e e n reso]
v e r total y c o r r e c t a m e n t e el l a b o r a t o r i o d e la u n i d a d y
e n t r e g a r l a a tu m a e s t r o a s e s o r .

4.-

O) {1,2,3,6,7,8}
*

2)

2) 4.

1) {1,2,3,4,5,6}
3) {3,4,5,6,7,8}

B'
0) {6,7,8,9}
2)

8.-

1) {1,6,7,8,9}
3) {4,5}

(AUB) O (AC)
O) {7,8,9}

7.-

1) 4>
3) {2,3,9}

AA(BUC)
0) {2,3,4,5}

6.-

-) {4,5} '
3) {1,2,3}

B-C
0) {2,3,7,8,9}
2) {4,7,8}

5.-

1 {2,3,4,5,6,7,8,9}
3) {2,3,4,5,6}

AOB
2)

2.-

1) {x/xeA y x ^ B }
3) {x/xe U , xijA}

d>

1) {1,4,7,8}
3) {1,2,3,9}

(BftC)'
0) {2,4,6,8}
2) {1,2,3,4,7,8,9}

1) {1,3,5,7,9}
3) {1,2,5,6,9}

9.- (A' UC)'

0) {2,3,5,6,7,8,9}
2) {1,4}

1) {3,5,6,7}
3) {2,3,8,9}

TEORA

LECCIN

10.- (AUB)'n (C-B)

0) {2,3,9}
2) {4,7,8}

11 .- A 0 B B n A

12.- AVJA = 0
0) Falsa.

1) Verdadera.

1) Verdadera.

13.- (A-B) C A
0) Falsa.

1) Verdadera.

14.- (AUB)' = A' n B'

0) Falsa.

1) Verdadera.

15.- A 0= 0
0) Falsa.

1) Verdadera.

16.- A-C = C-A

0) Falsa.

1) Verdadera.

17.- Si ACB, entonces AUB = B

0) Falsa.

2.

1-10 OPERACIONES CON CONJUNTOS.

Una "operacin" es una regla por la cual uno o ms objetos son usados para obtener otro objeto( no necesariamente diferente) .
En aritmtica se suma, resta y multiplica, es d e cir, a cada par de objetos "x" y "y" se le asigna un objeto
"x + y" llamado suma de "x" y "y", un objeto "x-y" llamado diferencia de "x" y "y" y un objeto "xy" llamado producto de^'x"
Estas asignaciones se llaman operaciones de adicin,
Y "y"
sustraccin y multiplicacin, en donde los objetos son nmeros
Los objetos que se examinarn en las operaciones de esta l e c cin son conjuntos.
En esta leccin se van a definir las operaciones de

"unin", "interseccin", "complemento", "diferencia" y "produL

to cartesiano" de conjuntos, es decir, se van asignar o hacer
corresponder nuevos conjuntos a pares de conjuntos A y B. Se
observar que estas operaciones entre conjuntos se comportan
de manera un tanto semejante a la de las anteriores operaciones con nmeros.
"UNIN"

1) Verdadera.

18.- Si A O B = 0 , entonces A-B = A

0) Falsa.

CONJUNTOS.

1) {9}
3) 0

Determina si las siguientes afirmaciones sor

o falsas.

0) Falsa.

DE

1) Verdadera-

La "unin" de los conjuntos A y B es el conjunto de todos

los elementos que pertenecen al conjunto A, o bien, al conjunto B, o a ambos.
La unin de los conjuntos A y B, se expresa
como:
A U B
que se lee "A unin B".

Esta definicin escrita es notacin

descriptiva es:
A U B = {x/x e A

x E B}

conjuntos, o sea.
Por ejemplo, si A = {a,b,c,d} y B = {c,d,e,f}. Entonces A y B es el conjunto de todos los elementos que pertenecer!
a A, o a B, o a ambos conjuntos: se empieza enumerando todos
O b s e r v a c i n 13.
los elementos de A:

A A B = {c,d>

Si dos conjuntos A y B no tienen

elemen
t o s c o m u n e s , e s d e c i r , si A y B son c o n j u n t o s a j e n o s o d i f u n -

{a,b,c,d>

tos, entonces la interseccin de A y B es el conjunto vacio,

y se contina agregando a la lista aquellos elementos de B que o sea A A B = 0.
no estuvieran ya enlistados, o sea:
{a,b,c,d,e,f}

= AUB

Cada elemento de este nuevo conjunto pertenece, ya sea a A, o

B o a ambos.

Observacin 12.
Se verifica, inmediatamente a partir de
la definicin, las siguientes propiedades:
i)
ii)
iii)
iv)
v)

A C(AWB) y BC(AB)
AyB = BUA
AUA = A
AU0 = A
AWU = U

Observacin 14.
Se verifican, inmediatamente a partir
de la definicin las siguientes propiedades:
vi)
vii)
viii)
ix)
x)

(A A B)CA y
A A B = B A A
A O A = A
A n 0 = 0
A n u = A

(A A B) CB

Se puede complicar un poco la cosa.

Si C= {p,q/r,s} f
D= {r,s,t,u} y E= {s,u,v,w} , aplicando los conceptos antero
res, se puede formar:
C U D =

{p,q,r,s,t,u}

y entonces el conjunt C U D se puede intersectar con el c o n junto E, as:

"INTERSECCIN"
La "interseccin" de los conjuntos A y B es el conjunto
ie todos los elementos que son comunes al conjunto A y al conjunto B, esto es, de quellos elementos que pertenecen a A y que tambin pertenecen a B.
La interseccin de los conjuntos
A y B , se expresa como
A n B
que se lee "A interseccin B".
tacin descriptiva es:

Esta definicin escrita en no

A n B = (xlx e A

x eB}

El signo lingstico clave en esta definicin es "y". Para -.

determinar el conjunto de todos los elementos necesitamos que
al mismo tiempo pertenezcan al conjunto A y al conjunto B.
Por ejemplo, si A= {a,b,c,d} y B= {c,d,e,f}. Entonces
A n B es el conjunto de todos los elementos comunes para ambos

(C V D) O E =

{s,u}

Por lo tanto, (C U D) 0 E es el conjunto de las letras que es

tan en C U D y que tambin estn en E. (Ntese que los prente
sis indican que operacin se debe realizar primero).
Otro ejemplo con los conjuntos C, D y E del ejemplo anterior, es:
C N (D U E) = {r,s}
o sea, es el conjunto de las letras que estn en C y en D E.
Mientras que:
(CAD) U E= {r, s,u, v,w}
es el conjunto de letras que estn en C A D, o en E, o en a m bos.
Ntese que C N (D U E) (C A D) U E.

Observacin 15.
De acuerdo a los conceptos anteriores
de unin e interseccin, se verifican las siguientes propiedades :
xi) (A y B) UC = AU(B l C)
xii) ( p B ) n c = A^(B C)
xiii) A
C) = (A U B) ft (A U C)
xiv) A o (B y C) = (A t B) (A ft C)

"COMPLEMENTO"
E-1 "complemento" de un conjunto A es el conjunto de elementos que no pertenecen al conjunto A, es decir, es el conjun
to formado por los elementos que le faltan al conjunto A para
completar el conjunto universal U,
El complemento de un conjunto A en relacin con el conjunto universal, se expresa como
A'
que se lee "complemento de A" o "A complemento".
En la notacin descriptiva de conjuntos, el complemento de un conjunto
A esta dado por:
A' =

{x/x l

A}

El conjunto A' contiene a todos los elementos de U que no e s

tan en A.
El conjunto A' depende no solamente del conjunto
A sino tambin del conjunto que se ha escogido como U; si U
cambia, A' tambin cambia.
Se debe comprender que, por definicin, el complemento de un conjunto es tambin un conjunto.
Por ejemplo, suponiendo que el conjunto universal sea el
abecedario, es decir, U= {a,b,c,d,e,f,...,y,z} y dado
A= {a,b,c,d} , entonces
A'= {e,f,g,h,i,...,y,z>
O si se supone que el conjunto universal es el de los nmeros
naturales, U= {1,2,3,...} y F= {2,4,6,...} , o sea los nmeros
pares, entonces
F'= {1,3,5,...} , que son los impares

. J

Observacin 16.
Las propiedades que se establecen en
seguida, resultan directamente de la definicin, del complemen
to de un conjunto:
xv)
xvi)
xvii)
xviii)
xix)
xx)

(A')'= A
A U A' = U
A H A' = 0
U' = 0 y 0 * = u
(A U B)' = A' n B'
(A B) ' = A' y B'

"DIFERENCIA"
La "diferencia" de los conjuntos A y B es el conjunto de
elementos que pertenecen al conjunto A, pero no al conjunto B,
es decir, es el conjunto resultante de quitar del conjunto A
los elementos que tenga el conjunto B.
Se expresa la diferen
cia de A y B por
A B
que se lee "A diferencia B" o simpliemente "A menos B".
La
diferencia de A y B se puede tambin definir en notacin descriptiva como
A - B = {x|x e A y x i B}
Por ejemplo, si A = {a,b,c,d} y
B= {c,d,e,f} , entonces A - B es el conjunto de elementos que pertenecen a A, pero
no a B, o sea,
A - B = {a,b}
es decir, al conjunto A se le han quitado los elementos de B.
Mientras que,
B - A = {e,f}
o sea, B-A es el conjunto de elementos que pertenecen a B, pero no a A.

Observacin 18.
Con el concepto anterior de diferencia
de conjuntos se puede dar de otra manera la definicin de
"complemento de A": el complemento del conjunto A es la diferencia del conjunto universal U y del conjunto A, o sea,
A' = - A

Observacin 19.
Los conjuntos (A-B)f (B-A) y (A fi B)
son mutuamente conjuntos ajenos, es decir, la interseccin de
ios cualesquiera de ellos es conjunto vaco.

Observacin 20.
Las propiedades que se establecen en seguida, resultan directamente de la definicin de la diferencia de conjuntos:
xxi) (A-E) C A
xxii) A - A = 0
xxiii) A - 0 = A
xxiv) 0 - A = 0
xxv) A - U = 0
xxvi) A - B = A H B*
xxvii) A - (B fl C) = (A-B) (A-C)
xxvi i i.) A - (B C) = (A-B) f (A-C)
Observacin 21.
Las operaciones de unin, interseccin,
complemento y diferencia tienen otras propiedades sencillas
cuando uno de los conjuntos de que se trata est contenido en
el otro, o sea que, un conjunto es un subconjunto de otro. A
partir de las definiciones anteriores, se pueden demostrar las
siguientes propiedades:
xxix)
XXX )
xxx i)
xxxii)
xxxiii)

Si
Si
Si
Si
Si

A
A
A
A
A

C
C
c
c

B,
B,
B,
B,
c B,

entonces
entonces
entonces
entonces
entonces

A U B = B
A O B = A
B1 e A1
A - B = 0
A y (B-A)

"PRODUCTO CARTESIANO"
Intuitivamente, una "pareja ordenada" consta de dos e l e
mentos, por ejemplo, "x" y "y"; que en el par de designan como
primero y segundo elementos respectivamente.
Un par ordenado
se simboliza por
(x,y)
Dos parejas ordenadas (x,y) y (a,b) son iguales si, y solamensi, x=a y y=b.
Por ejemplo, las parejas ordenadas (1,2) y (2,1) son dife
rentes.
El conjunto {1,2} no es una pareja ordenada, pues los elementos 1 y 2 no se distinguen.
Y puede haber parejas
ordenadas que tengan iguales el primero y el segundo elementos
tales como, (0,0), (3,3) y (4,4).
Dados dos conjuntos A y B , se le llama "producto cartesiano" de A y B al conjunto de todas las parejas ordenadas (x,y) con x e A y y e B.
Se expresa como
A x B
que se lee "A por B". 'En notacin descriptiva se define por
A x B =

{(x,y)/x e A, y e B}

Por ejemplo, si A = {1,2,3} y B = {4,5}; entonces el producto conjunto es

A x B ={(1,4), (1,5), (2,4), (2, 5), (3,4), (3, 5)}
(ntese que,

BxA = {(4,1),(4,2),(4,3),(5,1), (5,2), (5,3)})

En el caso del producto cartesiano de un conjunto A por

s mismo se usa la notacin AxA= A 2 , o sea, si C= {6,7,8}, entonces, C 2 = {(6,6),(6,7),(6,8),(7,6),(7,7),(7,8),(8,6), (8,7),
(8,8)}

Observacin 22.
Si el conjunto A tiene "n" elementos y
el conjunto B tiene "m" elementos, entonces el conjunto produc
to AxB tiene nxm elementos.
Si uno de los conjuntos A o B es
vaco", entonces AxB es vaco.
Y, en fin, si uno de los dos

A o B es infinito y el otro no es vaco, entonces AxB es infinito.

/
AUTOEVALUACIN DE LA LECCIN 2.
Observacin 23.
El producto cartesiano de dos conjuntos
no es conmutativo, es decir, que
A x B B x A
a menos que A = B, o que uno de los factores sea vaco.

Definir los siguientes conjuntos usando la notacin descriptiva:

1) A

Si:

B
A
B
C
U

2) A
=
=
=
=

3) A'

4) A - B

{0,1,2,3}
{4,5,6}
{1,2,3,4,5,6,7}
{0,1,2,3,4,5,6,7,8,9} (conjunto universal)

encuentra los elementos de cada uno de los sig.

(A y C )
A (B A C)
31)
6) A U B
(A A B )
A- ( B y C )
32)
-7) A U C
(A y B>
y (B y C )
33)
8) B U C
(A A c) y ( B A C )
34)
9) A A B
(A1 - B) '
35)
10) A O C
36) A' (B A C)
11) B A C
(A1 A B ' ) - C
1 2 ) A1
37)
(A A B') y C '
38)
1 3 ) B*
(A A B ) ' A C'
1 4 ) C'
39)
40)
( A ' A B) y C '
15)
(B' ) 1
16) A - B
4 1 ) A ' A (B y C)
42) A U(B y C )
17) C - B
18) A - C
43) A' y (B' A C ' )
( A - C ) ' n B'
44)
19) C - C
20)
4 5 ) C ' A ( A - y B')
(A U B ) '
(A - B) n (c - B )
46)
21)
( B f\ C) '
(A - B ) u < C - B ) '
47)
22)
(A -- B) '
23) A U B'
4 8 ) C' A (A u B ) '
(A A B ' ) A
U
49)
2 4 ) A' y c
( A ' g B) A 0
2 5 ) B 1 Ri C
50)
C')
51) A y (B' A
2 6 ) A A ( B A C)
27)
52) A X B
(A O c) B
#
53) B x A
28)
(A A B)
ye
29)

30)

(C

A (C -

B)
B)

5) A x B

54)

A2

55)

B2

25

Decide si cada una de las siguientes afirmaciones son ve

daderas o falsas: (Se puede considerar que los conjuntos A, i
C y son los mismos que para los problemas anteriores).
A
C
(A U C)
A'
59)
60) A V B = B A
56)
57)
58)

(A B )
(B A C )
(A - C )

C
C
C
(C - A ) C

61) A O A =
62) A U 0 0
63) A =
64) A A A =

A
A

8 5 ) A (B A C) = (AB) A (AUC)
86) A A (BUC) = (A*B) U (AAC)
8 7 ) Si BCC, entonces BC=C

65) A A 0 = A
|66) A A A ' = U
67) 0'=
68)
69)

U
A' A

(A O B ) '
(A A B ) 1

7 6 ) A* - C' = C - A
7 7 ) A U B = (A' A B ' ) '
78) A - C* = A A C
79) (A - B ) A B = 0
80) (A A B ) O B = B
81) (C - A ) A (A - C) 0
82) A (B - C) = (A U B) - C
C
8 3 ) A U (B C) * (A U B) A
8 4 ) A - (B A C) = (A-B) A (A-C)

A' A

B'
B'

88) Si BCC, entonces BAC=C

89) Si BCC, entonces B'CC'

70) U - A = A'
71) A-B = A A B'

9 0 ) Si BCC, entonces B-C=B

9 1 ) Si B C C , entonces B U ( C - B ) = C

7 2 ) (A') ' = 0
73) A A C = A -

9 2 ) Si AAB=0, entonces A C B'

9 3 ) Si AAB=0, entonces A'AB=B

74) B - B =

75) A - C = C - A

9 4 ) Si AAB=0, entonces A B'=E

9 5 ) Si AF>B=0, entonces A - B = 0

RESPUESTAS A LA AUTOEVALUACIN

o x E B}
1) {x/x e A
y X B}
2) {x/x E A
3) {x/x i A}
x B}
4) {x/x E A y
y B}
5) {(x,y)/x A y
{
0
,
1
,
2
,
3
,
4
,
5
,
6
}
6)
7) { 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 }
8) { 1 , 2 , 3 , 4 , 5 , 6 , 7 }
9)
0
10) { 1 , 2 , 3 }
11) { 4 , 5 , 6 }
12) { 4 , 5 , 6 , 7 , 8 , 9 }
13) { 0 , 1 , 2 , 3 , 7 , 8 , 9 }
14) { 0 , 8 , 9 }
15) { 4 , 5 , 6 }
16)
17)
18)
19)
20)

{0,1,2,3}
{1,2,3,7}
{0}

25)
26)
27)
28)
29)
30)

{1,2,3,7}

0
{7,8,9}
21) {0,1,2,3,7,8,9}
22) {4,5,6,7,8,9}
23) { 0 , 1 , 2 , 3 , 7 , 8 , 9 }
24) {1,2,3,4,5,6,7,8

,9}

0
{1,2,3,4,5,6}
{0,8,9}
{0}
{1/2,3}

31) { 4 , 5 , 6 }
32)
0
33) { 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 }
34) { 1 , 2 , 3 , 4 , 5 , 6 }
35) { 0 , 1 , 2 , 3 , 4 , 5 , 6 }

D E LA L E C C I N

2.

36)
37)
38)
39)
40)
41)
42)
43)
44)
45)
46)
47)
48)
49)
50)
51)
52)
53)
54)
55)
56)
57)
58)
59)
60)
61)
62)
63)
64)
65)
66)
67)
68)
69)
70)
71)
72)
73)
74)
75)

{7,8,9}
{8,9}
{0, 1,2, 3,8,9}
{0,8,9}
{0,4,5,6,8,9}
{4,5,6,7}
{0,1,2, 3,8,9}
{o,4,5,6,7,8,9}
{1,2,3, 7,8,9}
{0,8,9}
{7}
{0,1,2,3,4,5, 6, 8,9}
{8,9}
{0,1,2, 3}
0
{0,1,2,3,8,9}
{(0 /4) , (0 ,5), (0 ,6),(1 ,4)
(3 ,4), (3 ,5), (3 ,6) }
{(4,0), (4 ,1), (4 ,2),(4 ,3)
(6 ,1), (6 ,2), (6 ,3) }
{(0,0), (0 ,1), (0 ,2), (0 ,3)
(2
(2 ,2) , (2 ,3), (3 ,0)
{(4 ,4), (4 ,5), (4 ,6),(5 ,4)
F
76) V
V
77) V
V
78) V
V
79) V
V
80) V
F
81) V
F
82) F
F
83) F
V
84) F
F
85) V
F
86) V
V
87) V
V
88) F
F
89) F
V
90) F
V
91) V
F
92) V
F
93) V
V
94) V
F
95) F

A L G E B R A I.

ler. S E M E S T R E .

TEORIA

UNIDAD III.

DE CONJUNTOS.

(PARTE III)

INTRODUCCION:
La M a t e m t i c a e s un c u e r p o a l t a m e n t e o r g a n i z a d o d e c o n o c
m i e n t o que usa el c o n c e p t o d e c o n j u n t o c o m o uno d e sus v e h c u los p r i m a r i o s para o r g a n i z a c i n .
El c o n j u n t o e s una a b s t r a c cin que p e r m i t e una s i s t e m a t i z a c i n m s e f i c i e n t e y p r e s e n t a cin d e los e l e m e n t o s e n u n c u r s o d e m a t e m t i c a s .
El c o n c e p t o d e c o n j u n t o e s d e a l g u n a m a n e r a i n t u i t i v o . G e
n e r a l m e n t e , un c o n j u n t o s e c o n s i d e r a c o m o una c o l e c c i o n d e o b jetos o cosas llamados elementos.
Se p u e d e p e n s a r d e u n c o n junto c o m o un c l u b d e r e g l a s d e m e m b r e c a y m i e m b r o s q u e se llaman e l e m e n t o s .
Por e j e m p l o , para p e r t e n e c e r al c o n j u n t o
de n m e r o s m a y o r e s que c u a t r o , u n e l e m e n t o d e b e p r i m e r o ser u n
nmero y s e g u n d o , t e n e r u n v a l o r o m a g n i t u d m a y o r q u e c u a t r o .
El t a m a o d e c u a l q u i e r c o n j u n t o s e d e t e r m i n a por el n u m e r o d e
miembros o elementos.
El c o n j u n t o d e los n m e r o s n a t u r a e s
m e n o r e s q u e c u a t r o t i e n e e x a c t a m e n t e tres m i e m b r o s y se llama
un c o n j u n t o f i n i t o .
El c o n j u n t o d e los n m e r o s n a t u r a l e s mas
grandes que c u a t r o t i e n e una l i s t a i n d e f i n i d a d e m i e m b r o s y se
dice que e s i n f i n i t a e n t a m a o .
Las v a r i a s r e l a c i o n e s que p u e d e n e x i s t i r e n t r e los conjun
tos pueden i l u s t r a r s e por m e d i o d e u n d i a g r a m a d e V e n n . El
diagrama d e Venn e s u n e s q u e m a que r e p r e s e n t a a los c o n j u n t o s
c o m o s u b - r e g i o n e s d e una r e g i n g e o m t r i c a .
F u e e m p l e a d o por
el Logista i n g l s J o h n Venn ( 1 8 3 4 - 1 8 8 3 ) y se u s a r a n en esta unidad III para a y u d a r al e n t e n d i m i e n t o c o n c e p t u a l d e las operaciones con c o n j u n t o s .
Con el o b j e t o d e e m p l e a r el d i a g r a m a

36)
37)
38)
39)
40)
41)
42)
43)
44)
45)
46)
47)
48)
49)
50)
51)
52)
53)
54)
55)
56)
57)
58)
59)
60)
61)
62)
63)
64)
65)
66)
67)
68)
69)
70)
71)
72)
73)
74)
75)

{7,8,9}
{8,9}
{0, 1,2, 3,8,9}
{0,8,9}
{0,4,5,6,8,9}
{4,5,6,7}
{0,1,2, 3,8,9}
{o,4,5,6,7,8,9}
{1,2,3, 7,8,9}
{0,8,9}
{7}
{0,1,2,3,4,5, 6, 8,9}
{8,9}
{0,1,2, 3}
0
{0,1,2,3,8,9}
{(0 ,4), (0 ,5), (0 ,6),(1 ,4)
(3 ,4), (3 ,5), (3 ,6) }
{(4,0), (4 ,1), (4 ,2),(4 ,3)
(6 ,1), (6 ,2), (6 ,3) }
{(0,0), (0 ,1), (0 ,2), (0 ,3)
(2
(2 ,2) , (2 ,3), (3 ,0)
{(4 ,4), (4 ,5), (4 ,6),(5 ,4)
F
76) V
V
77) V
V
78) V
V
79) V
V
80) V
F
81) V
F
82) F
F
83) F
V
84) F
F
85) V
F
86) V
V
87) V
V
88) F
F
89) F
V
90) F
V
91) V
F
92) V
F
93) V
V
94) V
F
95) F

A L G E B R A I.

ler. S E M E S T R E .

TEORIA

UNIDAD III.

DE CONJUNTOS.

(PARTE III)

INTRODUCCION:
La M a t e m t i c a e s un c u e r p o a l t a m e n t e o r g a n i z a d o d e c o n o c
m i e n t o que usa el c o n c e p t o d e c o n j u n t o c o m o uno d e sus v e h c u los p r i m a r i o s para o r g a n i z a c i n .
El c o n j u n t o e s una a b s t r a c cin que p e r m i t e una s i s t e m a t i z a c i n m s e f i c i e n t e y p r e s e n t a cin d e los e l e m e n t o s e n u n c u r s o d e m a t e m t i c a s .
El c o n c e p t o d e c o n j u n t o e s d e a l g u n a m a n e r a i n t u i t i v o . G e
n e r a l m e n t e , un c o n j u n t o s e c o n s i d e r a c o m o una c o l e c c i o n d e o b jetos o cosas llamados elementos.
Se p u e d e p e n s a r d e u n c o n junto c o m o un c l u b d e r e g l a s d e m e m b r e c i a y m i e m b r o s q u e se llaman e l e m e n t o s .
Por e j e m p l o , para p e r t e n e c e r al c o n j u n t o
de n m e r o s m a y o r e s que c u a t r o , u n e l e m e n t o d e b e p r i m e r o ser u n
nmero y s e g u n d o , t e n e r u n v a l o r o m a g n i t u d m a y o r q u e c u a t r o .
El t a m a o d e c u a l q u i e r c o n j u n t o s e d e t e r m i n a por el n u m e r o d e
miembros o elementos.
El c o n j u n t o d e los n m e r o s n a t u r a e s
m e n o r e s q u e c u a t r o t i e n e e x a c t a m e n t e tres m i e m b r o s y se llama
un c o n j u n t o f i n i t o .
El c o n j u n t o d e los n m e r o s n a t u r a l e s mas
grandes que c u a t r o t i e n e una l i s t a i n d e f i n i d a d e m i e m b r o s y se
dice que e s i n f i n i t a e n t a m a o .
Las v a r i a s r e l a c i o n e s que p u e d e n e x i s t i r e n t r e los conjun
tos pueden i l u s t r a r s e por m e d i o d e u n d i a g r a m a d e V e n n . El
diagrama d e Venn e s u n e s q u e m a que r e p r e s e n t a a los c o n j u n t o s
c o m o s u b - r e g i o n e s d e una r e g i n g e o m t r i c a .
F u e e m p l e a d o por
el Logista i n g l s J o h n Venn ( 1 8 3 4 - 1 8 8 3 ) y se u s a r a n en esta unidad III para a y u d a r al e n t e n d i m i e n t o c o n c e p t u a l d e las operaciones con c o n j u n t o s .
Con el o b j e t o d e e m p l e a r el d i a g r a m a

de V e n n , se i n t r o d u c i r la idea d e C o n j u n t o U n i v e r s a l .
El c o n j u n t o u n i v e r s a l e s el q u e c o n s i s t e d e l a t o t a l i d a d
d e l a s c o s a s bajo una d i s c u s i n .
Por e j e m p l o , si s e d e s e a d i s c u t i r a c e r c a d e los n m e r o s ,
un c o n j u n t o u n i v e r s a l a p r o p i a d o s e r a el c o n j u n t o d e t o d o s los n m e r o s .
La e l e c c i n d e u n c o n j u n t o u n i v e r s a l d e p e n d e r
de una investigacin particular.
Dos i n v e s t i g a c i o n e s diferen
tes pueden tener conjuntos universales completamente d i f e r e n tes.
Venn r e p r e s e n t al c o n j u n t o u n i v e r s a l c o m o el i n t e r i o r
de u n rectngulo.
P u e s t o que t o d o s los o t r o s c o n j u n t o s b a j o
d i s c u s i n sern s u b c o n j u n t o s del c o n j u n t o u n i v e r s a l , e s t o s pue
den ser r e p r e s e n t a d o s c o m o s u b r e g i o n e s d e e s e r e c t n g u l o .

, J o h n Veirn ( 1 8 3 4 - 1 8 8 3 ) .
E s t u d i a l a s e c c i n 1 - 1 3 d e t u t e x t o y r e s u e l v e la a u t o e v a
luacionEl l g e b r a d e c o n j u n t o s n o p u e d e ser la m i s m a
q u e el l g e b r a d e l o s n m e r o s y l a s c a n t i d a d e s .
Sin e m b a r g o v a l e l a pena o b s e r v a r q u e c u a l e s q u i e r t e o r e m a s q u e
se deduzcan usando solamente aquellas propiedades que tie
r$eF a m b a s l g e b r a s e n c o m n , sern t e o r e m a s c i e r t o s e n cualquiera d e los dos sistemas.
El e m p l e o del l g e b r a
e eofjutttos e n la m a t e m t i c a s u p e r i o r e s m u y a m p l i o . (Objetivo 2).

Al t r m i n o d e esta u n i d a d III, el e s t u d i a n t e e s t a r e n condicin de:

Si y a l o g r a s t e r e s o l v e r l o s o b j e t i v o s s a t i s f a c t o r i a m e n t e ,
ahora r e p a s a t o d a l a u n i d a d con t u s c o m p a e r o s m s a v e n U
jados l o cual t e s e r v i r para r e a f i r m a r tus c o n o c i m i e n t o s
y a la vez t e indicar qu e s lo que debes volver a estudiar.

OBJETIVOS ESPECIFICOS:

El r e q u i s i t o p a r a p r e s e n t a r e s t a u n i d a d c o n s i s t e e n resol_
v e r t o t a l m e n t e e l l a b o r a t o r i o d e la u n i d a d y e n t r e g a r l o
a t u asesor.

1 -

U s a r l o s d i a g r a m a s d e V e n n para g r a f i c a r las o p e r a c i o n e s
e n t r e c o n j u n t o s y r e s o l v e r p r o b l e m a s que los i n v o l u c r e n .

2.t
t

A p l i c a r las l e y e s del A l g e b r a d e C o n j u n t o s e n l a demostr^

c i n d e la v e r a c i d a d d e e n u n c i a d o s d a d o s .

PROCEDIMIENTO SUGERIDO:
1 -

Para el o b j e t i v o 1 e s t u d i a los d i a g r a m a s d e V e n n ilustrad o s e n las s e c c i o n e s 1 - 1 1 y 1 - 1 2 d e t u t e x t o y / e s u e l v e

los p r o b l e m a s d e la A u t o e v a l u a c i n d e la l e c c i n III.
Por m e d i o d e g r f i c a s o d i a g r a m a s , un c o n j u n t o p u e d e ser
r e p r e s e n t a d o e n f o r m a m u y c l a r a y o b j e t i v a por m e d i o d e
los l l a m a d o s d i a g r a m a s d e V e n n , q u e son l n e a s c e r r a d a s
d e n t r o d e l a s c u a l e s s e p u e d e n a n o t a r los e l e m e n t o s que
i n t e g r a n al c o n j u n t o o b i e n , p u e d e n i n d i c a r s e n i c a m e n t e
p o r l a l e t r a m a y s c u l a que l o r e p r e s e n t a .
Las i l u s t r a c i o n e s d e e s t t i p o s e l l a m a n as e n h o n o r del l g i c o 1n-

AUTOEVALUACIN :
Determina la representacin de las sig. zonas

sombreadas
0) (AftC)ftB'

1) (BftC)-A'

2) (AUC) UB'

En un grupo de la escuela, se investigo a \

al terminar el semestre y se encontr que:
15
18
18
6
7
5
2

2) A-B

O) B-A

reprobaron
reprobaron
reprobaron
reprobaron
reprobaron
reprobaron
reprobaron

3) A' A (BUC)

50 alumnos

Qumica.
Fsica.
Matemticas.
Qumica y Fsica.
Fsica y Matemticas.
Qumica y Matemticas.
las tres materias.

Cuntos de estos alumnos reprobaron?:

Qumica y ninguna dfe las otras dos:
0) 4

11 5

2) 6

3) 7

2) 17

3) 9

2) 5

3) 6

2) 10

3) 12

Ninguna de las tres materias:

0) 10

1) 15

nicamente Fsica.
0) (AB)UC

(An B )nC

2) (AUB)O C

3) (A"B)UC

0) 7

1) 8

Fsica pero no Qumica.

0) 8

1) 15

Fsica y Matemticas pero no Qumica.

0) 3
O) (AB)nc

DBA(AC)

2) A(BAC)

3)BU(AAC>

1) 4

2) 5

3) 6

Justifica cada uno siguientes pasos, relacionando las

sig. columnas, utilizando las leyes del lgebra de Conjun
tos, en la demostracin de: A'U(A'U^^U
) 0) Ley de Idempotencia.
j 1) Ley Asociativa.
'' A'UA'UJ?), =A , (A I ) ' . .
2) Ley Conmutativa.
) 3) Ley Distributiva.
Si (A')' = A
4) Ley d^ Tdfntiri^rl
A' U (A' U0)'=A' UA
* 5) Ley de Complemento.
) 6) Ley de DeMorgan.
Si A* UA = U
7) Principio
sustitucin.
A
A'U(A'U(2f) ' = U
,( )

1 1 S i A'U0 = A'

12.13.14.15.16.-

TEORIA

DE

LECCIN

CONJUNTOS.
3.

1-11 DIAGRAMAS DE VENN.

Se logra ilustrar de una manera sencilla e instructiva las relaciones entre conjuntos, mediante la representaci6n de
un conjunto por un rea plana, por lo general delimitada por
un crculo.
A este tipo de figuras cerradas se el conoce como "Diagramas de Venn", en honor al matemtico ingls John
Venn (1834-1883).

Por ejemplo, supngase que A^B, entonces se les puede representar por el diagrama de la izquierda o por el de la derecha si son conjuntos ajenos:

diagramas cano

La forma de representar al conjunto universal, en diagr

mas de Venn, es con un rectngulo que lleva en uno de sus a&
gulos la letra U.

A B
guente figuras

La interseccin de dos conjuntos es el conjunto de todos

los elementos que son comunes a ambos conjuntos A y B, o sea,
la regin 2, que est sombreada en la siguiente figura:

"DIAGRAMAS DE LAS OPERACIONES CON CONJUNTOS"

Supngase que los conjuntos A y B, son descritos en un
diagrama como
u
/ATS

B
2

>

El complemento de un conjunto A es el conjunto de todos los elementos de U que no estn en A.

En nuestro diagrama,
el conjunto A est representado por las regiones 1 y 2, entonces A* est representado por las regiones 3 y 4, que estn sombreadas en la siguiente figuras

( ( )3
4

Este diagrama de Venn tiene cuatro regiones, llamadas 1,2,3 y

4(U).
El conjunto A consta de los elementos que estn comprendidos en las regiones 1 y 2.
El conjunto B est representado por las regiones 2 y 3, y la regin 4 consta de los
elementos que no son de A ni de B, pero s son del universo.
La unin de dos conjuntos es el conjunto formado al tomar todos los elementos que pertenezcan al conjunto A(regione
1 y 2), o bien, al conjunto B(regiones 2 y 3), o a ambos, es
decir, las regiones 1, 2 y 3, que estn sombreadas en la si-

A'

Y por ltimo, la diferencia de dos conjuntos A y B es el

conjunto de elementos que pertenecen al conjunto A y que no pertenecen al conjunto B.
En nuestro diagrama, el conjunto

A-B est representado por la regin 1, que est sombreada en

la siguiente figura:

Esta es exactamente la misma regin que (AUB)'; lo cual nos

lleva a creer que
A* O B' =

(AUB)'

En palabras, la interseccin de los complementos es igual al

complemento de la unin.
Esta relacin es una de las leyes
de DeMorgan
(Augustus DeMorgan, 1806-1871, un matemtico ingls).
La otra de las Leyes de DeMorgan es:
A' UB ' = (A A B) 1
A-B

"OTROS DIAGRAMAS"
Supngase

que sobre el diagrama anterior, o sea,

que puede demostrarse de un modo semejante:

El conjunto A' contiene las regsLones 3 y 4.
El conjunto B'
incluye a las regiones 1 y 4, regiones fuera del conjunto B.
Para formar la unin de estos dos conjuntos, se necesita a los
elementos de las regiones 3 o 4, a los de las regiones 1 o 4.
Es decir, se necesita las regiones 1, 3 y 4, como estn som
breadas en la figura siguiente:

A'

se desee sombrear el conjunto A' O B'.

B'

Que es exactamente la misma regin que (A A B ) * .

El conjunto A' consta de los elementos de U que estn fue
ra del conjunto A.
En nuestro diagrama, A' est representado
por las regiones 3 y 4. Por otra parte, el conjunto B' est
representado por las regiones 1 y 4.
Para encontrar la inter
seccin de estos conjuntos, debemos encontrar los elementos que pertenecen a ambos, o sea, la regin 4, que est sombreada
en la siguiente figura:

Empleando ahora el diagrama de Venn siguiente:

u
/ A

>

( * /
8

supngase que se desee sombrear el conjunto (A A B) A c * .

Aqu hay ocho regiones.
El conjunto (A A B) est constituido
de los elementos de las regiones 2 y 3; el conjunto C' consta

de las regiones 1,2,7 y 8.

En consecuencia, se necesita la
regin comn a (A ft B) y a C', que es la regin 2.
Esta regin representa al conjunto (A a B ) n c ' , y fest sombreada en
la figura siguiente:

de la escuela y encontramos que:

a
a
a
a
a
a
a
a

22 les gusta el grupo "MENUDO"

25 les gusta el grupo "CHAMOS"
39 les gusta el grupo "CICLON"
9 les gustan "CHAMOS y MENUDO"
17 les gustan "MENUDO y CICLON"
20 les gustan "CHAMOS y CICLON"
6 les gustan los tres
4 no les gustan ninguno de ellos

Encontrar el nmero de estudiantes que fueron examinados.

(A o B) n C'
Por otra parte, si se desea ahora, sombrear el conjunto
(A O B) O CEntonces, el conjunto (A B) est formado por
las regiones 1, 2, 3, 4, 6 y 7; y el conjunto^C incluye las
regiones 3, 4, 5 y 6.
Por lo tanto, la regin comn a(A B)
y a C, son las regiones 3, 4 y 6 y est sombreada en la sig.
figura:

(A U B) A C
1-12 UNA APLICACIN DE LA TEORA DE CONJUNTOS.
Se puede hacer nuestro trabajo con diagramas de conjuntos
caao una ayuda para resolver problemas que encierran conjuntos
traslapados o separados.
Por ejemplo, supngase que se examina los gustos musicales de un cierto nmero de estudiantes

A primera vista podra parecer razonable sumar simplemente todos los nmeros presentados; sin embargo, esto no funciona ya que conduce a traslapes.
Por ejemplo, los 17 estudiantes a los que les gusta "MENUDO y CICLON" son tambin contados
como parte de los 22 a los que les gusta "MENUDO" y de los 39
a los que les gusta "CICLON".
La figura siguiente muestra un
esquema de la situacin que encierra estos datos:

El conjunto universal consta en este caso del conjunto de todos los estudiantes que se han investigado.
De la i n
formacin dada, se conoce que, 22 estudiantes les gusta "MENU
DO" incluye las regiones a, b, c y d.
De esta manera, estos
22 estudiantes estn distribuidos entre las cuatro regiones.
Se debe decidir cmo distribuir a los estudiantes entre las
diferentes regiones, de tal manera que stas no se traslapen.
El total ms pequeo considerado anteriormente es el de los 4
estudiantes a los que no les gusta ninguno de los tres grupos.
Como estos 4 estudiantes estn fuera de los crculos asignados
a "MENUDO", "CHAMOS" o a "CICLON", deben ir en la regin "h",

y se coloca el numero 4 en la regin h del diagrama.

Hay 6
estudiantes a los que les gustan los tres grupos.
Ya que la
regin "c" es la interseccin de los tres crculos, se coloca
el numero 6 en la regin "c"; los 20 estudiantes a los que les gustan los grupos "CHAMOS" y "CICLON" estn representados
por las regiones "c" y "f".
As, un total de 20 estudiantes
han sido incluidos en las regiones "c" y "f".
Sin embargo,
la regin "c" representa ya a 6 estudiantes y, por lo tanto,
20-6, es decir, 14 estudiantes deben colocarse en la regin
Vf", que representa a los estudiantes a quienes les gusta los
grupos "CHAMOS" y "CICLON", pero no el grupo "MENUDO".
Por
el mismo mtodo puede determinarse que la regin "d" representa a 1 1 estudiantes, mientras que la regin "b" representa a 3.
A un total de 22 estudiantes les gusta "MENUDO"; el c r culo que representa a estos estudiantes est formado por las
regiones "a", "b", "c" y "d".
Como ya se ha anotado las regiones "b", "c" y "d" se consideran para un total de 3+6+11=
20 estudiantes, lo que implica que la regin "a" debe repre
sentar 22-20=2 estudiantes. En la misma forma, la regin "g"
representa a 2 estudiantes, mientras que la regin "e" representa a 8.
Por ejemplo, decir que la regin "e" representa
a 8 estudiantes es afirmar que hay ocho estudiantes a los que
les gusta "CICLON" pero no les gustan "MENUDO" ni "CHAMOS".
Todos estos nmeros han sido colocados en la siguiente figura.

tudiantes fueron interrogados.

Supngase, ahora, que la Direccin de la Escuela interrog a este grupo de 50 alumnos, acerca del aprovechamiento en
las materias de Fsica, Matemticas y Lgica en el semestre anterior y se encontr que
24
28
34
17
15
13
8

aprobaron
aprobaron
aprobaron
aprobaron
aprobaron
aprobaron
aprobaron

Fsica.
Matemticas.
Lgica.
Matemticas y Lgica.
Fsica y Lgica.
Fsica y Matemticas.
las tres matrias.

De los datos obtenidos por la Direccin de la Escuela, se puede determinar los nmeros mostrados en la siguiente figu
ra:

de la cual se puede observar que:

4 alumnos aprobaron Fsica y ninguno de las otras dos.
1 alumno no aprob ninguna de estas tres materias.
6 alumnos aprobaron Matemticas pero ninguna de las otras
dos.
9 alumnos aprobaron Matemticas y Lgica pero no Fsica.
16 alumnos no aprobaron Lgica, etc.

Los estudiantes no estn contados dos veces en el diagrama de la figura anterior; por lo tanto, ahora podemos sumar los
nmeros de las regiones: 2+3+6+11+2+14+8+4=50.
Cincuenta es-

T13 ALGEBRA DE CONJUNTOS.

Las operaciones de unin, interseccin y de complemento
entre conjuntos cumplen varias leyes, es decir, verifican ciertas identidades.
Hay una rama de las matemticas que se
dedica a investigar la Teora de Conjuntos, estudiando a q u e llos teoremas cuya demostracin requiere de estas leyes y solo de ellas.
Se dir que las leyes de la siguiente tabla y
saas consecuencias, constituyen el lgebra del conjunto.

LEYES DEL ALGEBRA DE

1.

2_

CONJUNTOS:

(A A B) f> C = A A (B ^ C)

Leyes Conmutativas.
B = B

B = B

7.

A n 0 = 0
A N TJ = A

B) ' = A' A B'

Justif icacin
Definicin de subconjuntos.
Definicin de subconjuntos.
Sustituyendo b) en
a)
Ley asociativa.
Sustituyendo a) en
d)
Definicin de subconjuntos.

(AUB1) = A
Justificacin
a) Ley distributiva.
b) Ley de complemento.
c) Sustitucin.
d) Ley de identidad.
e) Sustitucin.

Demostrar: (A U B) U (A' B)' = B'

(A')' = A
^

A n A' = 0
0* = U

Leyes de DeMorgan.
(A

entonces A C C

Preposicin
a) (A O B) A (A B 1 ) = AU(B A B ' )
bj Si B A B'= 0
c) -"- (A U B) A (A U B')=A U 0
d) Si A 0 = A
e)
(A B) A (A B')=A

Leyes de Complemento.
A U A' = U
U' = 0

a)
b)
c)
d)
e)
f)

Demostrar: (A B) n

Leyes da Identidad.
A U 0 = A
A
II U = U

6.

preposicin
a) A = A O B
b)
B = B A C
c) - - A = A A ( B A C)
d) A = (A A B) n c
e) A = A A C
f )
A C C

Leyes Distributivas.
A U(B n C) = (A B) O (A C)
A A(B U C) = (A O B) U ( A O C )

5.

Por medio de ejemplos, se demuestran tres teoremas de e

ta lgebra de conjuntos, es decir, se demuestran los tres tec5
ramas siguientes que se deducen directamente de las leyes de
la tabla anterior.
Demostrar: s i A C B y B C C ,

Leyes Asociativas.

4-

A C B, significa que A A B = A

Leyes de Idempotencia.

{A U B) U C = A U(B C)
3.

Es de notar que el concepto de "elemento" y la relacin

"x pertenece a A", no aparecen en ninguna parte de la tabla anterior.
Aunque estos conceptos eran esenciales para el de^
sarrollo previo de la Teora de Conjuntos, no aparecen al investigar el lgebra de conjuntos.
La relacin "A es un sub
conjunto B", se define en esta lgebra de conjuntos por

(A

B) ' = A'

B'

Preposicin
a) (ASJB) ' U ( A ' B )
b) Si A " = A

' = ( A ' A B ' ) U (A"AB'

c).\ (AUB) ' U ( A ' U B ) ' = ( A ' A B ' ) ( A A B ' )

dj

(AUB)*U(A'UB),=B'A

(A'UA)

e ) S i A *UA=U
) - - (AUB) ' V ( A * U B ) * =

g) Si B' r U =
H).\

B'A U

B*

(AUB)'UA'UB) '

B'

Justificacin
a)Ley de DeMorgan.
b) Ley de complemento.
c) Sustitucin.
d ) Ley distributiva.
e ) Ley de complemento.
f) Sustitucin.
g) Ley de identidad.
h ) Sustitucin.

AUTOEVALUACION DE LA LECCIN 3.
Para cada uno de los problemas del 1 al 15, haga un trazo semejante al de la siguiente figura:
u

y luego sombree nicamente el rea que representa al conjunto

indicado.
En caso de que sea conjunto vaco, no sombree, y
escriba por un lado su smbolo.
1)
2)

3)
4)
5)

A U B
A A B
(A B) '
(A r> B) '
A - B

6)

B - A
A'
- B
7)
A
B1
8)
9 ) A' A B
1 0 ) A U B'

11)
12)
13)
14)
15)

A'
A'A
(A A
(A U
(A U

B'
B'
B) B1
B) A B'
B) A (A A B) '

Para cada uno de los problemas del 16 al 30, haga un tra

zo semejante al de la siguiente figura

y luego sombree nicamente el rea que representa al conjunto

indicado.
En caso de que sea conjunto vaco, no sombree, y
escriba por un lado su smbolo.

16)
17)
8
9

AU(BUC)
A A (B A C)
(A A C) B
A U (B A C)

21)
22)
23)
24)

( A A B ) U ( A A C )

2 0

25)

A - (BUG)
(A A B) - C
(A' W B ' ) ' V C
A' A (B A C)
(A

U B

39) nicamente la cerveza.

40) nicamente los refrescos.

26) (A- A B> U C

27)
(A A B ) A C
28)' (A A C ) A B
29) (A A B') A C
30)

( A ' A

C ' )

La coordinacin de Deportes de la escuela investig a 100 alumnos de primer semestre y encontr que
a 34 alumnos practican
a 45 alumnos practican
a 60 alumnos practican
a 13 alumnos practican
a 19 alumnos practican
a 18 alumnos practican
a 7 alumnos practican

el Volibol
el Basketbol
el Ftbol
el Volibol y el Basketbol
el BasketboLy el Ftbol
el Volibol y el Ftbol
los tres deportes

31) Cuntos estudiantes practican el Volibol y ninguno de los otros dos?

, _
32) Cuntos estudiantes no practican ninguno de estos tres
deportes?
.
,
33) Cuntos estudiantes practican el Ftbol pero ninguno de
los otros dos deportes?
34) Cuntos estudiantes practican el Volibol y el Basketbol
pero no el Ftbol?
35) Cuntos estudiantes no practican el Basketbol/
Los siguientes datos muestran la preferencia de 100 personas en una fiesta en donde se les ofrecieron bebidas

a
a
a
a
a
a
a

45
50
35
12
13
11
5

les
les
les
les
les
les
les

gusta
gusta
gusta
gusta
gusta
ugsta
gusta

tomar
tomar
tomar
tomar
tomar
tomar
tomar

vino
cerveza
refresco
vino y cerveza
cerveza y refresco
vino y refresco
las tres bebidad

A cuntas de estas personas les gusta?

36) Ninguna de las tres bebidas.
37) El vino pero no la cerveza.
38) Cualquiera pero no los refrescos.

Utilizando las leyes del Algebra de Conjuntos demostrar

41) A ( A U B) = A
42) A U (A A B) = A
43) A A (A' U B) = A A B
44) A U(A' A B) = A B
45) (A A B) V (A A B') = A

46)
47)
48)
49)
50)

(A A B) (A' A B) = B
(A U B) A (A' U B) = B
(A R* B) ' U B = U
(A' U B') ' A B' = 0
(A U U) ' A (A A 0) ' = 0

ler. S E M E S T R E .

A L G E B R A I.

UNIDAD IV.

LOS NUMEROS REALES Y L A RECTA

NUMRICA.

nrMouccioi.

S e s t a u n i d a d v e r e m o s c m o r e p r e s e n t a r a los n m e r o s
wml<Bs a t r a v s d e u n a r e c t a n u m r i c a . La r e p r e s e n t a c i n d e
ttte l o s n m e r o s r e a l e s p o r p u n t o s s o b r e una lnea e s un con
cepg b s i c o d e las m a t e m t i c a s .
z ^ r e p d e a e x c e l e n c i a e s t a u n i d a d , y a que al final d e la
misn efears s e r c a p a z d e :
OTWGS.
1.- Explicar brevemente e n qu c o n s i s t e el c o n j u n t o d e los
sreros reales.

I E x p l i c a r el significado de c o r r e s p o n d e n c i a b i u n v o c a d e
los l u n e r o s reales.
3.- Eacontrar correctamente las c o o r d e n a d a s d e los n m e r o s
reales en la escala n u m r i c a .

4L-

E x p l i c a r b r e v e m e n t e , los c o n j u n t o s d e n m e r o s r a c i o n a l e s
e i r r a c i o n a l e s , e n l i s t a n d o los s u b c o n j u n t o s d e cada u n o
Se e l l o s .

5.-

E x p l i c a r b r e v e m e n t e los s i g n i f i c a d o s d e p r o p o s i c i n
a b i e r t a , v a r i a b l e , d o m i n i o d e la v a r i a b l e y c o n j u n t o solucin.
E n c o n t r a r c o r r e c t a m e n t e el c o n j u n t o s o l u c i n d e cual
apier proposicin abierta.

AUTOEVALUACION.
7 - L o c a l i z a r g r f i c a m e n t e el c o n j u n t o s o l u c i n d e cualquier
p r o p o s i c i n a b i e r t a e n la e s c a l a n u m r i c a .

Contesta las siguientes preguntas que hagan cierta la

proposicin.
Otro nombre para el conjunto de nmeros para contar es
el conjunto de
, es decir {
}

PROCEDIMIENTO.

2.-

1 ,I Estudia la leccin 1 del c a p i t u l o II d e tu l i b r o de texto Antes d e e m p e z a r a c o n t e s t a r t u s o b j e t i v o s d a l e una

leda a toda la l e c c i n .

En los nmeros naturales no hay ltimo o mayor nmero; e?

decir, hay un cantidad
de nmeros natura
les.

3.-

Al nmero asociado con un punto en la recta numrica se

le llama su

4.-

El O no es un nmero natural. Cuando consideramos el

C junto con los nmeros naturales, llamamos a este conjunto el de los
, es decir
{0,1,2,3,4,...} "

5.-

El conjunto de los nmeros enteros es el que tiene por

subconjuntos el conjunto de los
,

2 - E s t u d i a y p r a c t i c a t u s e j e m p l o s antes d e r e s o l v e r las
'
a u t o e v a l u a c i o n e s q u e se incluyen e n la leccin y c n s u l
ta fgjnediatamente c u a l q u i e r duda q u e t e n g a s con t u maestro a s e s o r .
3 - Al final d e la unidad se incluye u n a a u t o e v a l u a c i n d e
repaso general de la l e c c i n , m i s m a q u e d e b e r s resolver,
s o l a m e n t e y c u a n d o hayas termior.do de
tus, objet i v o s r e l a c i o n a d o s c o n las p r e g u n t a s en q u e te hayas
equivocado.
Como r e q u i s i t o para tener d e r e c h o a P i n t a r e s ta u n i d a d , d e b e r s e n t r e g a r t o t a l m e n t e c o n t e s t a d o el laborato
rio de la unidad a tu m a e s t r o a s e s o r .

6.-

Un nmero
es aquel que puede escribirse en
la forma a/b, en donde a y b son enteros, y b/ 0.

7.-

El conjunto de los nmeros

forman el conjunto de los nmeros reales.

8.-

El conjunto de los nmeros racionales es un subconjunto

del conjunto de los
.

9.-

Cules de los siguientes nmeros

-4,

0,

- 1/3, /5 ,

3/8,

2, T

son:
a) Nmeros naturales.
c) Nmeros racionales.
d) Nmeros reales.

b) Nmeros enteros.
c) Nmeros irracionales.

10.- Existen nmeros tales como 2

/5 que no pueden
expresarse ni como una decimal exacta ni como una decimal que se repite (peridica). A este conjunto de nume
ros se les llama el conjunto de los
__11.- I*os nmeros reales son o

_*
es decir, el conjunto de los nmeros reales consiste en
la unin del conjunto do los
^
Y e l conjunto
de los
- Expresado en smbolos:

{ x| x e| R}= {yI Y E \ Q> 4

ze

's>

13 - El conjunto de puntos de una recta numrica asociado

con los elementos del conjunto de los nmeros reales,
recibe el ncitfore de
de ese conjunto de
nmeros.

es una proposicin que contiene

21.- Una
es un smbolo, generalmente una letra, que ponemos en lugar del nombre de uno cualquiera
de los elementos de un conjunto dado.
22.- Cualquier conjunto cuyos elementos pueden ser usados para sustituir a una variable, se llama
.
23.- El conjunto sustitucin para una variable se llama
de la variable.

14 - As pues, a todo punto de la recta numerica le corresponde un numero

unico (racional o irracional);
y recprocamente, a cada nmero real se le puede aso- ciar con un punto unico de la recta numrica. Es decir

24.- El
de una proposicin abierta es el
subconjunto de la variable que hace cierta la proposi- cin.

15 - En cambio, para los nmeros racionales y la recta numrica no se puede establecer la correspondencia biunivoca, pues, an cuando existen infinidad de fracciones en
tre dos enteros consecutivos (propiedad de densidad),
sin embargo hay "huecos" entre las coordenadas racionales que son presisamente el conjunto de

16.- Una

19.- En la recta numrica todos los nmeros a la izquierda de

uno en particular son
___ Y hacia la d e r e cha son
.
20.- Una
una o ms variables.

12.~ El conjunto de nmeros cardinales es ordenado? en una

recta numrica cualquier numero cardinal es menor que
el otro si su punto correspondiente est a
del otro, y es mayor que l si est su

estn en

18.- Los smbolos de relacin de orden son

y
.
Con relacin a la recta numrica, un nmero es menor que
(
)
otro si en la recta numrica est a la izquierda del otro. Un numero es
(
) otro
si esta a la derecha del segundo nmero.

es el

enunciado de que dos expresio

nes numricas designan el mismo numero.

17.- A una igualdad se le llama tambin una

25.- La
del conjunto solucin de una
proposicin abierta en una variable es el conjunto de t
dos los puntos en la recta numrica cuyas coordenadas
son los nmeros que hacen cierta la proposicin.

Colocar los smbolos "=", ">" "<", en el lugar del sig

no de interrogacin
(?) de tal manera que hagan cierta la
proposicin.

26.- - 8

? 8

27.-

-3

28.- 0

29.- 9

-3

NMEROS
LECCIN

30.- -7

-1

31.- -1

32.- -1

-3

2-1
.

Sea -4 < x < 3.

guiente:

Bajo esta proposicin, contesta lo si-

33.- Cuntos nmeros naturales satisfacen esta desigualdad?

REALES.
1.

EVOLUCIN DE LOS NUMEROS REALES.

(R) Y LA RECTA NUMRICA.

Vamos a tratar en esta seccin que el estudiante vea mas

claramente el desarrollo del conjunto de los nmeros Reales.
Supondremos que es cierto lo que vamos a ver y ms delante daremos propiedades y demostraciones.

34.- Cuntos nmeros enteros satisfacen esta desigualdad?

35.- Cuntos nmeros reales

satisfacen esta desigualdad?

Expresar en palabras, cada uno de los siguientes conjun

tos :
36.- {x|x + 3 = 10, x N }
37.- {z12z - 3 > 5, z Z}
38.- {y 14

>_ y

>

2,

LO nmojioi, NatuAalte (W).

[Int&iob poUvo)

Como ya se vi6, los nmeros naturales nacieron de la

idea de contar. Fueron los pirmeros nmerosy podemos agregar
siempre 1 a cualquier nmero natural y se obtiene el siguien
te, o sea, el nmero que le sigue inmediatamente. Representa
remos al conjunto de los nmero naturales como:

yes}
N =

{ 1,2,3,4,... } .

Los puntos suspensivos indican que hay un nmero infinito de nmeros naturales.
Al contar los estudiantes de un saln de clases, no se
seala al primer estudiante diciendo: "este es el estudiante
"0".
El cero no es un nmero para contar, y por lo tanto el
"0" no pertenece al conjunto de nmeros naturales, tal como
lo definimos. Para incluir al o con el conjunto de nmeros
naturales, femamos un nuevo conjunto que lo definimos como
el conjunto de los nmeros cardinales. De tal suerte que:

(K) El conjunto de los nmeros cardinales ={0,1,2,3,...}

o bien, N c K
[EnteOA no negativo*}

Re.psLA cntacn gn.fricade lo 6 nmeAo* natu/uileA . cuando

AUTOEVALUAC ION 1.

pensamos en nmeros, encontramos til asociarlos con puntos

en una recta. Para ello escogemos dos puntos convenientes so
bre la recta y le ponemos al punto de la izquierda el nmero"
1 y arl punto de la derecha el nmero 2; y luego usando la distancia entre 1 y 2 como unidad de medida marcamos la lnea
recta indefinidamente.

iiiiiiiti
i i i i i i t i w
t | 4 * * i ft . H
I*
Ifc 1% ^
La flecha indica que "una cantidad infinita de puntos
podemos
asociar con los nmeros I naturales. Esta recta,
cuyos puntos' los hemos asociado con nmeros, se le llama K.2.Ctd num&Ucjd 0 ecata numOUca.
As tenemos que: a) al nmero asociado con un punto en particular se le llama CO Ordenada
de dicho punto; y b) al punto asociado con un nmero se le
llama gsidfrcd de ese nmero.
Como todo nmero| natural puede asociarse con un punto
de una recta numrica, esto nos permite localizar elementos
del conjunto de ndmeros | naturales sobre una recta numrica y
Viceversa, el conjunto de puntos asociados con los elementos
de un conjunto de nmeros forma la glfrca deZ conjunto.
EJEMPLO:
Dado A = {1,2,3,5} , dibujar la grfica de A.

(A e N)

Solucin:

1.- Dar las coordenadas de los puntos siguientes:

A

a) F

B
I

1
b) C

so M

**

* il

(KJ

c) E

2.- Bajo la recta numrica anterior contesta lo siguiente:

a) Dar la coordenada del punto medio entre A y B.
b) Dar las coordenadas de los nmeros cardinales a la iz
quierda de D.
c) Dar las coordenadas de los nmeros cardinales entre A
y D que son mltiplos de 4.

E conjunto de lo nmoAo* wvteno*. (Z)

Hasta ahora hemos estudiado el conjunto de los nmeros
cardinales, que incluyen los nmeros naturales y 0. Sabemos
que este conjunto puede ser asociado con los puntos de una
recta, llamada la recta numrica.'
Hemos considerado
la recta numrica como partiendo de 0 y extendindose hacia
la derecha indefinidamente. Claramente, una recta se extiende indefinidamente hacia la izquierda. Para ello seguiremos
el mismo esquema anterior. Usando el intervalo de 0 a 1 como
intervalo unitario, marcamos

Dibujamos una escala numrica.

1
t

1
1
1
1
1
2.
3
4
5

*
&
9
lo
Sobre la recta numrica dibujamos los elementos del conjunto y marcamos los puntos localizados en esta forma. Ntese que solamente marcamos los puntos asociados con elementos
'del conjunto.

-T -S -A -3 "I

+Q

8
(Z)

puntos igualmente espaciados a lo largo de la recta de la izquierda. Al primer punto le denominamos -1, al segundo -2,
etc., donde el smbolo "-1" se lee "1 negativo" etc. As
pues, la coordenada del punto 4 a la izquierda de 0 es el "4
negativo" o -4. Hemos creado entonces un nuevo conjunto que
con los cardinales forman el conjunto de los nmeros enteros.
1020115158
51

As, el conjunto de los nmeros enteros est formado por

el conjunto de los nmeros cardinales, junto con el conjunto
{-1,-2,-3,...}, o sea = {...,-3,-2,-1,0,1,2,3,...}
es decir, (N C K ) C Z. Representado por diagramas tendramos
que

AUT0EVALUACI0N

2.

Expresar cada una de las siguientes situaciones usando

un entero.
1.- Una prdida de 12.
2.- 200 pies arriba del nivel del mar.
3.- Un beneficio de $15
4.- Un gasto de $8
En las siguientes parejas de puntos cul punto queda a
la derecha del otro sobre la recta numrica?
5.- 10, -4
6.- 3, 6

7.Usaremos la letra Z para simbolizar el conjunto de los

8.nmeros enteros. Los enteros a la izquierda del 0 se llaman
zrvteAOA ne.gcuLVO-5 y los de la derecha del 0 son llamados en9.teros positivos.
10.El conjunto de los nmeros enteros se usa a menudo pa11.ra indicar cosas opuestas. Por ejemplo:
a) Sacar del banco $10 podemos escribirlo como -10 pesos;
un deposito de $10 como 10 pesos.
b) Cuando se ganan 7 yardas en el ftbol americano lo pode
mos escribir como 7 yardas; cuando haya una prdida de
7 yardas puede ser escrito como -7 yardas.

-2, -4
-4, 0
9, 4
1,

-2

Cierto da de invierno la temperatura subi a 20 de -2 o

Cul fue la temperatura final?

12.- Al acercarse la primavera, la temperatura subi un da

de -10 a 35. Cuntos grados subi?
13.- Ms tarde en el verano, la mxima a medioda fue de 84F,
pero la temperatura cay a 68F en la noche Cunto baj?
Usar la recta numrica para efectuar las operaciones siguientes; en cada caso dar la coordenada del punto que resulta.

H conjunto d<L lo6 nrneAo* ia.conaleA. (Q)

EJEMPLO:
Comenzar en 5 y moverse 3 unidades a la izquierda
t*
i

-C -S -4 -3 "I -

'

Consideremos la siguiente divisin

-e

>

'

3 * 5 0 ,

coordenada que resulta: 2

14.0 y
moverse
3 unidades
a la
izquierda.
15.- Empezar
A partir en
del
-1,
moverse
3 unidades
a la
izquierda.
16.- Comenzar en 2 y moverse 2 unidades a la derecha, y d e s pus 5 unidades a la derecha.
17.- A partir del 5, moverse 3 unidades a la izquierda y
despus 4 unidades a la izquierda.
En los problemas siguientes considrense los depsitos
al banco como enteros positivos y los retiros como negativos,
las temperaturas bajo cero como cantidades negativas y las
temperaturas sobre cero como positivas, las medidas sobre el
suelo o nivel del mar como positivas y las medidas bajo el
suelo o nivel del mar oomo negativas.
Exprsese cada resultado con un nmero entero.
18 - Un poste de 32 pies de longitud sobresale del suelo 12
pies. Si el poste se introduce 5 pies mas, expresa la
parte que sobresale y la enterrada.
19.- Se depositan $17 y $15 y se sacan $8
20.- Se retiran $23 y $19 y se depositan $25

7 ^ 1
Por lo que sabemos de aritmtica 72 = -z o 3-- no es un
nmero natural, ni tampoco un nmero entero. Para poder expresar la divisin de un entero por otro entero (excepto cero) fue necesario crear un nuevo conjunto de nmeros, llamado el conjunto de los nmeros racionales. Definimos un nm<5
ro racional como: "un nmero que puede escribirse en la forma a/b, donde a y b son enteros y b?0. As pues, nuestro
nuevo sistema de nmeros incluye elementos como los siguientes:
3

4
;

" 7

c1

11

n -7 - 7
'* ' 7 10

Un nmero racional puede ser expresado por un nmero in

finito de formas equivalentes. Por ejemplo:
i = i = - = li=
1
2
S

El cero es un nmero racional, puesto que, puede ser es

crito como 0/2, 0/-5, 0/7, etc. Por lo cual concluimos que:
"el conjunto de los enteros, los nmeros naturales y cardina
les estn incluidos en el conjunto de los nmeros racionales
Es decir (N C K)Cz]Q,o bien expresado por medio de diagra
mas, queda:

Habiendo creado los nmeros racionales, podemos localizar nuevos puntos en la recta numrica. Por ejemplo, p o d e mos dividir el intervalo entre dos enteros cualesquiera en
mitades, terceras, cuartas partes, etc. Entonces la recta
numrica se vera como sigue:
I

<rT5

^TovrXVTi

' '

-1

Cada nmero racional puede asociarse as <?on . un punto

de la recta numrica. Si localizamos ms puntos, tales como
quintos, sextos, sptimos, etc., los puntos correspondientes
estarn cada vez ms juntos. i continuramos haciando esto
indefinidamente veramos que: "siempre hay un numero racional entre dos nmeros racionales cualesquiera dados no impor
ta cun prximos estn esos dos nmeros. Examinemos esto
con ms detalle. Supongamos que escogemos dos puntos cuyas
coordenadas son 1/3 y 1/2. Sabemos que 1/3 puede ser escrito como 8/24 y qve 1/2 puede ser escrito como 12/24
Ademas
cualquier nmero entre 8/24 y 12/24 esta tambin entre 1/3 y
1/2. Claramente se ve, que 9/24 10/24 y 11/24 estn entre
8/24 y 12/24. As pues, hay cuando menos tres puntos entre
1/3 y 1/2.
/

T ii. r

|>
1

Este proceso de encontrar ms puntos entre dos puntos

dados cuyas coordenadas son nmeros racionales puede repetir
se indefinidamente encontrando otros nmeros racionales e n tre dos nmeros racionales dados. Por ejemplo:
1 _
3 " 48

1
2

&

24
48

&

A esto le ilamamos la propiedad de. densidad del conjunto

de los nmeros racionales. As pues, entre dos puntos dados
de la recta numrica cuyas coordenadas son nmeros racionales,
no importa cun prximos estn, hay siempre un punto cuya
coordenada es un nmero racional.
As como
un nmero racional positivo puede ser designa
do en muchas formas, un nmero racional negativo tiene t a m
bin diferentes designaciones. Puede considerarse como el co
ciente de un entero negativo y un entero positivo, o como el
cociente de un entero positivo y un entero negativo. Por esta razn
-2
2
3 - 3

_ 2 3

Pero, hasta ahora, hemos usado fracciones para representar algunos nmeros racionales. Cuando estudiamos aritmtica
aprendimos cmo expresar una fraccin ordinaria en forma decjl
mal. Se haca dividiendo el numerador por su denominador.
Por ejemplo:
_2=ii
-272727...
11
J3.000000
5
6
1
4 = 4
4

.833...
|5.000
, -75
3.00

1I

Si observamos la primera fraccin veremos que la repre

sentacin decimal resulta una repeticin "27" sin llegar a su
fin. Al igual que la primer fraccin, la segunda fraccin
tambin se repite el "3" indefinidamente. La tercer fraccin
es un nmero decimal exacto. De aqu podemos concluir que:
"Toda decimal exacta o decimal que se repite (decimal perid
ca) representa un nmero racional".

UnOEVAMJACION 3.

Si N representa el conjunto de los nmeros naturales, K

el conjunto de los nmeros cardinales, Z representa el c o n
junto de los enteros, y Q representa el conjunto de los nme
ros racionales. Cules de las siguientes aseveraciones son
verdaderas y cuales son falsas?
C Q

1.- K C 1 Q

4. - N

2.- IQ C | Z

5.-

3.- IQ

6.-

C |Q

C K

Hay nmeros cuya representacin decimal no es n una. de

sJjni&l que 6 a nepiZe, ni una. decmal exacta, n irucko meno
RNM %OCXL6n. Como por ejemplo: /2~r
TT,
donde el
snfcolo / T se lee "raz cuadrada de 2", y significa el nme
sm> positivo ejue, cuando se multiplica por s mismo, nos da
oonn resultado 2. Son aproximaciones decimales de /2~~ los
nbiHsiDas 1.4, 1.414, 1.4142, 1.414214, etc. Ningn grupo de
cifras decimales se repiten. Un nmero de esta clase se lia
me na lmete) nAactonal.

7.- a) Cuntos enteros hay entre -3 y-2?

ros racionales hay entre -3 y-2?

b) Cuntos nme

8.- Escribir por lo menos 3 equivalencias que representen

al nmero racional -2/5.
9._ Encontrar uno o mas nmeros racionales entre cada una
de las siguientes parejas de nmeros racionales 1/4 y
1/3.
10.- Dibujar una recta numrica y localizar en ella puntos
que correspondan a los siguientes nmeros racionales.
a) -3

b) 2\

c) - 1 j

d) - Ir

e) 3^

El conjunto de. lo nmeno* XAAaconaZ&>. (s)

Anteriormente vimos como a todo nmero racional corres
ponde un punto en la recta numrica. Por otra parte a cada
punto de la recta le corresponde un nmero racional? La respuesta es "no**. Hay muchos puntos de la recta numrica cuyas
coordenadas "no" son nmeros-racionales.

E (mwijunto de lo nmeAo-i ieae>.

K1 conjunto de nmeros racionales junto con el conjunto
<te asaameros irracionales componen el conjunto de los nmeros
leales. As, pues, el conjunto de nmeros racionales y el
onsijraiato de nmeros irracionales son subconjuntos del conjun
ta (Se los nmeros reales. El diagrama que nos muestra lo an
terior es el siguiente

2-2

PROPOSICIONES ABIERTAS Y VARIABLES.

Consideremos las siguientes proposiciones.
a)

es uha letra del abecedario.

b)

es una vocal.

c)

es un mes del ao.

Los anteriores ejemplos son pKOpOt>CLOM> abl&iXaA. Se

les llama as porque no est ^expresado completamente el pensamiento hasta que se sustituye la "
" por un nombre. Ade
ms, esto es cierto siempre y cuando a la "
" se le reemplace por un elemento de un conjunto particular. A este con
junto que hace que una proposicin sea un enunciado verdade-

o bien

ro se le llama conjunto solucin o conjunto de olucone.

Para los ejemplos anteriores tendramos como conjunto solu
cin: a) {a,b,c,...rz}; b) {a,e,i,o,u}; O {Enero, Febrero,
Diciembre}.

i
Nmeros Naturales.
^

1
Nmeros Cardinales.
(le)

r
Enteros
negativos

Podemos resumir todo lo anterior a esta seccin como sigue :

1) Los nmeros que pueden expresarse como decimales se llaman YLMQJIOI. H_QjxJi(.
2) Un nmero real cuya representacin decimal es una
deci
mal peridica o decimal exacta se le denomina nmero ra
cional.
3) Un nmero real cuya
representacin
decimal
no tiene una parte que se repita peridicamente se llama nmero irracional.

Consideremos ahora el siguiente ejemplo:

>2. En vez
de usar "
", los matemticos hacen uso de una letra. Si
usamos laTitra "x", la proposicin abierta viene siendo x>2.
Si convenimos en que "x" va a ser sustituida por un ele
ment del conjunto de los nmeros naturales, entonces c u a l quier elemento del subconjunto infinito (3,4,5 ...} del conjunto de los nmeros naturales har que la proposicin sea
cierta. As, el conjunto solucin para la proposicin abier
ta x>2 es {3,4,5,...}.
En este caso "x" representa cualquier nmero natural
del 3, 4, 5... La letra "x" cuando se usa en esta forma, se
denomina'una'variable y el conjunto del cual podemos seleccionar un elemento para que la proposicin abierta sea verda
dera se llama conjunto de sustitucin o doruruo de la VO^ca-

blc.

/
/
c) E- conjunto solucin de una proposicin abierta es el /
subconjunto del dominio de la variable que hace cierta
la proposicin.
/

EJEMPLO:
Encuentre el conjunto solucin que haga verdadera a la
proposicin abierta x2; siendo el dominio de la variable el
conjunto de los nmeros naturales.

AUTOEVALUACION

4.

Solucin:
El conjunto solucin de la proposicin abierta x/2 es
{1,3,4,5,6,7,.,.}

En cada uno de los problemas siguientes se da una propo

sicin abierta y el dominio de la variable. Hallar el c o n
junto solucin de cada una de las proposiciones abiertas.
1.- x+2 = 8; {1,2,3,4,5,6,7,8}

EJEMPLO:

'

> *
2.- x-3 = 1; {1 ,2,3,4,5ff',7,8}

Encuentre el conjunto solucin que haga verdadera a la

proposicin abierta n+4 = 7; siendo el conjunto sustitucin o
dominio de la variable de los nmeros irracionales.
^Solucin:
El conjunto solucin de la proposicin abierta n+4 = 7
es 0, puesto que no existe un nmero irracional que sumado
con 4 nos de 7.
En el caso de que en este ltimo ejemplo nos dijeran que
el dominio de la variable fuera el conjunto denlos nmeros
racionales o enteros, el conjunto solucin sera {3}. Po
dras decir para que otro dominio de n el conjunto solucin
es 0?
Cabe hacer las siguientes observaciones:
a) Una va/UabZe es un smbolo que colocamos en lugar del
nombre de cualquier elemento de un conjunto de sustitucin.

3.- 2x+7 =15; {2,4,6,8}

En cada una de las proposiciones abiertas que siguen,
reemplcese la variable por el nmero indicado y diga si es
verdadera o falsa la proposicin.
,
4.- x+6 = 10; para x es 4.
5.- 2(n+3)<20; para n=7
6.- 24^ 3y+5; para y = 6
Hallar los conjuntos solucin de cada una de las siguien
tes proposiciones abiertas si a) el dominio es el conjunto
de .los nmeros enteros positivos, b) el dominio es el c o n
junto de los nmeros irracionales y c) el dominio es el con
junto de los nmeros naturales pares.
7.- x+4<7
8.- p+3>p+2

b) Una pwp0c0n abl<Ata es una proposicin que contiene

una o ms variables.

9.- x+12=2x+6
10.- 3x+5>17

2-3

GRAFICAS DE CONJUNTOS DE SOLUCIONES.

-5

En una seccin anterior hemos visto la forma de c o n s - ^

truir la grfica de un conjunto de nmeros. En esta seccin
veremos un mtodo usado para el dibujo de las grficas del
conjunto solucin de proposiciones abiertas. Consideremos
los ejemplos siguientes:
^ .
EJEMPLO:
Dibujar la grfica del conjunto solucin de la siguien
te proposicin abierta y=4; siedo el dominio de la variable
el conjunto de los nmeros racionales.
Solucin:

-A

-3

(Z)
EJEMPLO:
Dibujar la grfica del conjunto solucin de la siguiente proposicin abierta -3<x<2; siendo el dominio de x el con
junto de los nmeros reales.
Solucin:
La grfica de esta proposicin abierta consiste en to
dos los nmeros que estn entre -3 y 2, o sea que, el conjun
to solucin grficamente es:
- 3 < X< 1

Vemos que el conjunto solucin de esta proposicin abier

ta es {4}. Para dibujar la grfica de este conjunto solucion
trazamos una recta numrica y localizamos en ella el numero
4.
^

Ti

Ti

'

"

-z

La circunferencia en -3 y 2 indica
estn incluidos en la grfica.

(R)

que estos puntos no

(Q)
EJEMPLO:
Dibujar la grfica del conjunto solucin de la siguiente
proposicin abierta 2+y<5; siendo el dominio de la variable
el conjunto de los nmeros enteros.
Solucin:
Vemos que el conjunto solucin de esta proposicin abier
ta es

-3

. :;
{..., -2,-1,0,1,2}

para dibujar la grfica de este conjunto solucin trazamos

una recta numrica y localizamos en ella las coordenadas de
ios puntos queN pertenezcan al conjunto solucin.

Si observamos detenidamente los ejemplos anteriores, ve

mos que, es muy importante conocer la clasificacin de los
nmeros reales para dar correctamente el conjunto solucion a
travs del dominio de la variable. Vemoslo ms detenidamen
te a travs del siguiente ejemplo.
EJEMPLO:
Dibujar la grfica de la siguiente proposicin si a) el
dominio de la variable es el conjunto de los nmeros enteros
y b) el dominio de la variTable es el conjunto de los n m e ros reales.
1<x<2

I|p

a)
Solucin:
a) Cuando el dominio de la variable es el conjunto denlos
nmeros enteros, el conjunto solucin es <|> y la grafica
no tiene puntos en la recta numrica. Por qu?

{y |y =4, y Q} = { 4 }
b)

b) Cuando el dominio de la variable es el conjunto de los

nmeros reales, el conjunto solucin consiste en todos
los puntos intermedios entre 1 y 2 es decir,

-L

I""^mmM^"(R)

Hay otros smbolos que son la combinacin del "=" y ">"^

o "<", que son: ">" y "<", que significan "mayor que o igual"
y "menor que o igual" respectivamente. X>5 significa "x es
mayor que o igual a 5". Si el dominio de la variable fuera
el conjunto de los nmeros enteros, el conjunto solucion es
{5,6,7,8,...}, y su grfica es:
t

-3 -1

*
2 3 ^

J>
m
& 9

(conjunto solucin)

2+y <5, el dominio de la variable es el conjunto de los

nmeros enteros:
{y |2+y <5, y z } = {...-3,-2,-1,0,1,2,}

c)
* -2

y=4, el dominio de la variable es el conjunto de los nmeros racionales:

(conjunto solu
cin)

-3 <x <2, el dominio de la variable es el conjunto de

los nmeros reales:
{x| -3 <x <2, x

R}

Se deja al estudiante, que determine los dems ejemplos

en esta notacin.

AUrOEVALUAC ION 5.

(Z)

La punta de
flecha rellena indica que esto podemos
prolongarlo indefinidamente.

Dibujar las grficas de los conjuntos solucin de las s

guientes proposiciones abiertas; si el dominio de la variable
es el conjunto de los nmeros cardinales.

Si ahora el dominio de la variable fuera el conjunto de

los nmeros reales, la grfica para la proposicin abierta
x>5 sera:

1.-

x = 6

2.-

x < 5

i
!
J-*-3

.
-Z

'

2-

Cfli'L^iMBj^'
s

3.-i 2x <. 8

(R)
Ntese que ahora la circunferencia del 5 est rellena
debido a que el conjunto solucin est el 5 inclusive.
Podemos adems, expresar las proposiciones abiertas en
notacin conjuntista (que se vi en el captulo anterior)
usando la notacin descriptiva o constructiva. As, en los
ejemplos anteriores tenemos que:

4.-

Determinar, en cada uno de los problemas siguientes, si

el conjunto de puntos indicados es la grfica de la proposi
cin abierta dada. En todos los casos el dominio de la varia
ble es el conjunto de los nmeros naturales.

5.-

x+1= 3

6.-

x>2

RESPUESTAS A LAS AUTObVALUACIONES DI: LA LHtX.lON 1 .

2

AUTOEVALUACION 1.

7.-

3 < x< 7

-*
5 6

8.-

2x = 8

J- -L
7 8
->

a) 13
b) 7
O 12

a) 2
b) 9,
c) 4

Para cada grfica escrbase una proposicin abierta con

los conjuntos solucin dados por ella.
9.-

AUTOEVALUACION 2.
<

-f

.3

- T 0

>

1 .- -12
11.-

<
-

1 2 - <}

13.- Poner en notacin descriptiva los primeros 4 problemas

de la autoevaluacin.
Dibujar las grficas de los conjuntos que se dan a continuacin:
14.-

9.-

9
1

2.-

+200

10.-

3.-

+15

11 .- 20

4.-

-8

12.-

45

5.-

10

13.-

16

6.-

18.-

7, -25

7.-

-2

19.-

24

8.-

20.-

-17

6.-

7.-

a) Ninguno
b) Infinito

8.-

-4/10, -8/20, -16/40

{x| 5< x <10, x e P}

AUTOEVALUACION 3.

15.-

{x| x > 2 ,

x e s u n nmero natural par}

1 6 .-

{x | 3< x <_8,

17.-

{x | -3< x ^ 2,

18.-

{x |x+1 = 7, x

19.-

{y |y> o, y es un nmero entero negativo}

20.-

{z | 1 < z <_ 2,

N }
e

p}

N }

z n }

1.-

2.-

3.-

4.-

5.-

10/36, 11/36

2-
#R

i 4

7.-

3_

8.- Cualquier numero para a) ,b)

y c)

4.

5-

5.

9.-

a){6\ ,

c) (

b) 0,

10.- a) {5,6,7...},
c) {6,8,10...}

EL S I S T E M A D E LOS N M E R O S R E A L E S .

c) \ 6 ^

INTRODUCCION.
H e m o s a n a l i z a d o e n f o r m a m s bien b r e v e d i v e r s o s c o n j u n tos d e n m e r o s . N u e s t r a i n t e n c i n e n la p r e s e n t e u n i d a d e s
presentar el s i s t e m a d e los n m e r o s r e a l e s c o m o u n s i s t e m a
lgico d e d u c t i v o , e s t o e s , dar a l g u n a s i d e a s n o s l o d e la
naturaleza d e los n m e r o s m i s m o s s i n o q u e t a m b i n d e las o p e raciones c o n e s t o s n m e r o s y d e las p r o p i e d a d e s q u e e l l a s poseen. C o m o e n todo s i s t e m a d e d u c t i v o , e n u n c i a r e m o s n u e s t r o s
postulados y d e f i n i c i o n e s y b o s q u e j a r e m o s d e m o s t r a c i o n e s para
los t e o r e m a s m s i m p o r t a n t e s , d e j a n d o o t r a s c o m o e j e r c i c i o s
al e s t u d i a n t e .

Falso.
Falso.

4 = 3'

a) {1,2;>

x e H }

f x | - 4 < x <1, X e ^
H1_- x x > - 2 .

x eR}

U2-- J x-1< x < 6,

xeZ }

13-- l fxfx = 6, x e K }
21 fxfx <5,

x GK }

31 {x2x<8, x e x }
4} {xx * 4, x EK }

Si r e c o r d a m o s los m t o d o s d e d e m o s t r a c i n d e la G e o m e - tra d e la e s c u e l a s e c u n d a r i a , un h e c h o r e s a l t a , c a d a d e m o s tracin i n c l u y e una h i p t e s i s y una c o n c l u s i n , s i g u i e n d o s ta d e la h i p t e s i s m e d i a n t e u n p r o c e s o d e r a z o n a m i e n t o l g i c a

Para c o n v e n c e r n o s d e la v e r d a d d e n u e s t r a c o n c l u s i n d e b e m o s
suponer q u e la h i p t e s i s e s v e r d a d e r a o b i e n , h a b e r d e m o s t r a do sta p r e v i a m e n t e . Esta h i p t e s i s , a su v e z , d e b e h a b e r s e
e s t a b l e c i d o a p a r t i r d e h e c h o s c o m p r o b a d o s con a n t e r i o r i d a d .
Este e s l a b o n a m i e n t o n o p u e d e c o n t i n u a r s e i n d e f i n i d a m e n t e y d e
be h a b e r u n p u n t o d e p a r t i d a . E s e n e s t e p u n t o e n q u e , e n u n
sistema d e d u c t i v o , n o s o t r o s d e c i m o s : " S u p o n e m o s q u e c i e r t o s
hechos son v e r d a d e r o s " . E s t e c o m i e n z o d e b e c o n s i s t i r d e una
cierta c a n t i d a d d e p a l a b r a s n o d e f i n i d a s y d e u n c o n j u n t o d e
proposiciones no demostradas. En seguida, a medida que pasamos d e una p r o p o s i c i n a o t r a , s e g u i m o s r e g l a s bien p r e c i s a s .
Estas leyes b s i c a s d e r a z o n a m i e n t o , u t i l i z a d a s i n t u i t i v a m e n te por t o d o s n o s o t r o s , rara vez s e e n u n c i a n . Una d e e s t a s l e
yes e x p r e s a q u e toda p r o p o s i c i n e s , o bien v e r d a d e r a , o b i e n
falsa.

2-
#R

i 4

7.-

3_

8.- Cualquier numero para a) ,b)

y c)

4.

5-

9.-

a) {1,2;>

a){6\ ,

c) (

b) 0,

10.- a) {5,6,7...},
c) {6,8,10...}

5.

c) \ 6 ^

INTRODUCCION.
Hemos a n a l i z a d o e n forma m s bien b r e v e d i v e r s o s c o n j u n tos d e n m e r o s . N u e s t r a intencin e n la p r e s e n t e unidad e s
presentar el sistema d e los n m e r o s r e a l e s c o m o u n sistema
lgico d e d u c t i v o , e s t o e s , d a r a l g u n a s ideas n o s l o d e la
naturaleza d e los n m e r o s m i s m o s sino q u e t a m b i n d e las o p e raciones c o n estos n m e r o s y d e las p r o p i e d a d e s q u e ellas p o seen. C o m o e n todo sistema d e d u c t i v o , e n u n c i a r e m o s n u e s t r o s
postulados y d e f i n i c i o n e s y b o s q u e j a r e m o s d e m o s t r a c i o n e s para
los t e o r e m a s m s i m p o r t a n t e s , d e j a n d o o t r a s c o m o e j e r c i c i o s
al e s t u d i a n t e .

Falso.
Faiso-

4 = 3'

EL S I S T E M A DE L O S N M E R O S REALES.

x e H }

f x | - 4 < x <1, X e ^
H1_- x x > - 2 .

x eR}

U2-- J x-1< x < 6,

xeZ }

13-- l fxfx = 6, x e K }
21 fxfx <5,

x CK }

31 {x2x<8, x C K }
4} {xx * 4, x CK }

Si r e c o r d a m o s los m t o d o s d e d e m o s t r a c i n d e la G e o m e - tria d e la escuela s e c u n d a r i a , un h e c h o r e s a l t a , cada d e m o s tracin i n c l u y e una h i p t e s i s y una c o n c l u s i n , s i g u i e n d o s ta d e la h i p t e s i s m e d i a n t e u n proceso d e r a z o n a m i e n t o l g i c a

Para c o n v e n c e r n o s d e la verdad d e n u e s t r a c o n c l u s i n d e b e m o s
suponer q u e la h i p t e s i s e s v e r d a d e r a o b i e n , h a b e r d e m o s t r a do sta p r e v i a m e n t e . Esta h i p t e s i s , a su v e z , d e b e h a b e r s e
establecido a p a r t i r d e hechos c o m p r o b a d o s c o n a n t e r i o r i d a d .
Este e s l a b o n a m i e n t o n o p u e d e c o n t i n u a r s e i n d e f i n i d a m e n t e y d e
be haber u n p u n t o d e p a r t i d a . E s e n e s t e p u n t o e n q u e , e n u n
sistema d e d u c t i v o , n o s o t r o s d e c i m o s : " S u p o n e m o s q u e c i e r t o s
hechos s o n v e r d a d e r o s " . E s t e c o m i e n z o d e b e c o n s i s t i r d e una
cierta c a n t i d a d d e p a l a b r a s n o d e f i n i d a s y d e u n c o n j u n t o d e
proposiciones n o d e m o s t r a d a s . E n s e g u i d a , a m e d i d a q u e p a s a mos d e una p r o p o s i c i n a o t r a , s e g u i m o s reglas bien p r e c i s a s .
Estas leyes b s i c a s d e r a z o n a m i e n t o , u t i l i z a d a s i n t u i t i v a m e n te por todos n o s o t r o s , rara v e z se e n u n c i a n . Una d e e s t a s le
yes expresa q u e toda p r o p o s i c i n e s , o bien v e r d a d e r a , o bien
falsa.

En las secciones -8 y 2-9 se da el listado de los otros

axiomas de los nmeros reales considerados como los axio
mas de campo y de orden. Copia los axiomas en tu cuader
no, tratando de explicar con tus propias palabras lo que
significa cada uno y tratando de recordarlos por los nmeros, ya que ms adelante los usaremos en las demostraciones de teoremas, indicando nada ms su numero (Cap.3).
Te recomendamos que: 1) copies en tu cuaderno todas las
definiciones y
2 ) enlistes las propiedades de igualdad
y de campo de los nmeros reales.
Las autoevaluaciones que se incluyen en el material de
estudio se componen de dos partes. La primera parte
consta de preguntas acerca del material expuesto, con el
fin de que el estudiante recuerde lo ms importante y
que comprenda mejor lo que estudi. La segunda parte lo
componen problemas donde el alumno debe ser Capaz de
aplicar los conocimientos adquiridos.
El ritmo de trabajo para esta unidad e* el sig-ionte:
ler. da - Estudiar las secciones 2-4 y 2-5, copiar las
definiciones y propiedades de igualdad y contestar la Autoevaluacin 1.
2o.

da - Estudiar las secciones 2-6 y 2-7, copiar proposiciones y contestar la Autoevaluacin 2.

3er

da - Estudiar las secciones 2-8 y 2-9 enlistando

los axiomas de campo y de orden y resolver
las autoevaluaciones 3 y 4.

4o.

da - Repaso.

Como prctica de esta unidad resuelve el Laboratorio

asignado por tu maestro asesor.

H&FFIROS

LBCCIN

U S asteaos REM-ES; m

REALES.

2.

SISTEMA DEDUCTIVO.

S I OTajiasato d e l o s n s e r o s r e a l e s (R) e s l a coleccin de

j a m a c a ^ a to o t i l i z a d o d o r a n t e m u c h o s a o s . Cuando e r a
ifi, prisaer e s & e z S a c o n t a r , y a s s e f a m i l i a r i z con los
o f e e r o s aaaSbarales H) { i , 2 . 3 . . . } . A s mismo aprendi a s o m a r y ssaltiplicatr p a r e s d e n a e r o s n a t u r a l e s .
Idnego, al trabajar con la suma de pares de nmeros naturales, digaaos 7 E ( s e descubri que no siempre era posible
eBHaaBfcrarr en los npnexos naturales un numero
que al ser suadb a m diese el aranero l.
Por ejemplo, no hay numero natu
ral
samado a 4 de como suma 4. Por esta razn se d e f i m o
el oteoeo cero, que se denota por 0, como el numero con la prapaeSad de qoe + O = m, en donde m es cualquier ^numero na
taraleste m e v o conjunto de nmeros se le llamo el c o n
jsHBto de los sesmeros cardinales (K) , de tal manera que, K }

2, 3... } (enteros no negativos)

B t e r l c a t e para cada nmero natural Yl, se invento un
llamado el inverso aditivo de tt, con la propiedad
ramera.
<fe qme m + ( - ) = O.
Estos naceros, junto con los elementos
de K temaron el sajunto de los nmeros enteros (Z) .

S =

- 3 . - 2 , -1, 0 , 1 , 2, 3...}

Divisin: = m T n = m : n = q
n
En base a este nuevo conjunto, a los elementos de N, t
bien se les llama enteros positivos.
De igual manera, otro
nombre para el inverso aditivo de un nmero natural es enter
negativo.
Los ms importantes subconjuntos de

N = {i, 2, 3...}

aparecen abajo.

14:2 = 7 ya que 2.7 = 14; 20:(-4) = -5, puesto que (-4).(-5)=

20. Pero esta operacin no se poda aplicar a cualquier par di
enteros. Por ejemplo, no haba solucin para 3:12 15:4. Par
solucionar esto se defini el conjunto de los nmeros raciona
les (Q). Se llam nmeros racionales a la coleccin completa
que comprende los nmeros enteros positivos y negativos, el cero y las fracciones positivas y negativas.
I
'

Q= { ^ I a,b z ; b ^ o)

(conjunto de los nmeros naturales o co

junto de los enteros positivos).

K=

{0, 1, 2, 3...} (conjunto de los nmeros cardinales o

junto de los enteros no negativos).

Z=

{..., -3, -2, -1, 0, 1, 2, 3,...}

{-1, -2, -3,

n . q - m

(conjunto de los en
ros) .

(conjunto de los enteros negativos).

Por supuesto, se deseaba entonces que los axiomas acepta

dos para los enteros se aplicasen a los elementos del conjunto aumentado Q. Consecuentemente, se demostraron teoremas necesarios que permitiesen, por una parte, encontrar otros n
meros racionales equivalentes y que sirviesen para resolver ecuaciones cuyos conjuntos solucin fuesen subconjuntos de Q.
Con frecuencia resultaba conveniente usar fracciones deci
males para representar nmeros racionales y se demostr que cada nmero racional se poda escribir como un entero, o decimal peridico
infinito.
Por ej?mpio:

{0, -1, -2, -3...} (conjunto de los enteros no positivos

| = 3
{x|x= 2m, meZ>

| = 1.333...

| = 0.7500----

(conjunto de los enteros pares).

{x|x= 2m+1, mez} (conjunto de los enteros impares).

La ventaja de usar este conjunto de nmeros y no limit
nos a K, es que resulta factible la resta de cualquier nmer
entero de otro entero. Con solo nmeros positivos, escogid
convenientemente, tal que 3-5, la sustraccin no tendra se
tido.
Ms tarde se observ que se haba definido una operaci
inversa de la suma, pero no haba ninguna para la multiplica
cin. Sin embargo, haba necesidad de que en una operacin
sobre los enteros m y n resultase un nmero q que al multiplicarse por n se obtuviera el producto m.

Recprocmente, cada decimal peridico

infinito
se poda escribir como un nmero racional ; donde a, b Z
y b o.
Por ltimo se descubrieron nmero tales que, no eran en
i teros, ni d e c i m a l e s p e r i d i c a s i n f i n i t a s , ni se podan
'expresar como a/b. Consideremos la expresin 0.12345678...
en donde los tres puntos suspensivos indican que sigue colocando los nmeros dgitos en las posiciones decimales, a la
derecha del nmero previo. Este seguramente nunca ser peridico. Otro ejemplo es 0.5050050005..., en donde despus
de cada 5 sucesivo, se tiene un 0 ms que el grupo anterior
al 5.

Tambin se demostr que no hay solucin en Q para la ecuacin x 2 = 2. Un nmero tal x, no era un entero y, adems, no se poda representar como un decimal
peridico
- infinito- Sin embargo, se poda encontrar aproximaciones
decimales a los nmeros racionales, por ejemplo una aproxima
cin de x, sera.
(1.41)2
(1.414)2
(1.4142)2
(1.4142135)2

=
=
=
=

1 .9881
1.999396
1.9996064
1 . 99999982358225

Esto condujo a aceptar que x, tal que x 2 = 2 , se poda

definir mediante el numeral 1.4142135... (en donde los puntos
suspensivos indican que el 5 est seguido por un nmero ilimi
tado de dgitos). Se saba que x no era un nmero racional,
por tanto, no poda existir un conjunto de dgitos repetido.
Tal expresin quiz se haya denominado nmero decimal infinito no peridico. Se reconoca que haba un nmero infinito de
ellos y a su conjunto se le llam conjunto de los nmeros
irracionales (S). Desafortunadamente, no estamos capacitados
para definir un nmero irracional en trmino de los nmeros
racionales y usando solo el lenguaje matemtico que existe actualmente. Los trminos decMtt
i.n^i.nXo
no peAsdlco
y n
rneAO AAdC-ionaZ
deben aceptarse como no definidos. Lo que hemos hecho es describir ciertas caractersticas de S y de
sus elementos para ayudar a aclarar la definicin de nmeros
irracionales.
Obsrvese que los conjuntos Q y S son ajenos. Si for
maroos la unin de Q S, obtenemos un conjunto que llamaremos de nmeros reales (R). De tal modo que, a travs de lo anterior, podemos crear la definicin siguiente:
Ve.nCs6n

de

nmOA-OA nOXLIqA:

La unin del conjunto de

todos los nmeros raciona
les y el conjunto de todos los nmeros irraciona
les.

Nos encontramos ahora en situacin de presentar un conjun

to de axiomas que en ningn caso son nicos pero que definen o
caracterizan el conjunto de los nmeros reales. Al considerar
estos axiomas quedar claro que muchos de ellos son verificados en forma individual por otros sistemas, hacindose con e
ta advertencia an ms claro su significado.

AUTOHVALUACION

1.
P = {2,5,10,17,26,37,65,82}

Dado el conjunto
1.-

Cul es el subconjunto formado por nmeros primos?

2.-I- Cul es el sunconjunto formado por ios nmeros divisibles por 3?

3.-

Cul es el subconjunto formado por los nmeros cuadrados perfectos?

Cules de los siguientes conjuntos son infinitos y cules finitos?

4.-

Todos los nmeros naturales que son mltiplos de 6.

5.-

Todos los nmeros naturales que no son mltiplos de 6.

6.-

{x|x es un nmero natural par}

7.-

{x|x
les}

8.-

{x ! X

3.-

x|x

10.- (x|x

es cualquiera del primer milln de nmeros natura

est entre 3 y 4}

est entre 1 y 2}

est entre

Q y

h
3}

11.- Todos los nmeros naturales que son mltiplos de 6 que son
menores que 6000.

12.- Todos los nmeros de

menores que 6000.

que son mltiplos de 6 que .soi

EJEMPLO.

13.-{x|x

est entre

14.-{x|x

es menor que 3 billones}

3 y 3 billones}

Hallar la fraccin equivalente a

Solucin:

Analizar las afirmaciones siguientes, marcando si son

verdaderas o falsas:
15.- K C

16.- K

17.- Z

20.- Z
"

= Q

21.- N H

= {0}

22.

23.- Si

19.-Q

24.- Si a Z, entonces

S = R

a Q, entonces

Sea

n =

0.05252...

0.05252

Escribamos dos nmeros con la misma parce decimal. Esto

lo podemos lograr multiplicando n primero por 10 y luego -

por

1000:

10 n
1000 n

= 0.5252...
= 52.5252...

Puesto que las partes decimales son las mismas, la diferencia entre 1000 n y 10 n es un nmero natural.

3 K

18.-{/2~^C Q
U

Encontrar una fraccin que sea equivalente a cada uno de

los nmeros decimales peridicos dados.

aR

1000 n - 10 n
990 n

aQ

Explicar por qu los nmeros siguientes son racionales:

= 52.5252...
= 52
_ _52 = _26
990
495

0.5252...

37.- 0.444...
25.- 0.3

28.- 3.1416

26.- 3.16

29.- 15%

27.- y

30.- 0.5%

Encontrar el numero decimal que es equivalente al numero dado:

38.- 0.707070...
39.- 1.21414...
40.- Explicar que significa la afirmacin de que
nmero racional.

TT no es un

31.- 7/8

34.- 7/11

|2-5

PROPIEDADES DE LA IGUALDAD (=) -

32.- 3/500

35.- 14 2/5%

33.- 5 2/3

36.- 102%

En el captulo I analizamos la igualdad de conjuntos y el uso del smbolo = en lo relativo a conjuntos. Necesitamos ahora hacer ciertas suposiciones acerca de la relacin de
igualdad respecto al conjunto de los nmeros reales.
Generalizando, definiremos la igualdad de los nmeros reales como sigue:

VlfrCrUcXn de Igualdad: Dos smbolos, a y b, representando nmeros reales son iguales,

a = b, s y slo si representan
el mismo numero real.
De esta definicin se deducen]las siguientes;propiedades:

matemtico. La primera de estas propiedades, la propiedad reflexiva, ciertamente parece obvia, pero debe destacarse^que no todas las relaciones sobre el conjunto de nuestros nmeros
reales tienen esta propiedad. Por ejemplo, no es cierto que
a < a para cada nmero real. Ntese tambin que si a, b e R
b < a . Es decir, que la relacin
y si a < b , no se sigue que
menox que no tiene la propiedad de simetra.

fio piedad l. La propiedad ne^lexlva de la Igualdad.

a

2-6 OPERACIONES BINARIAS.

Este axioma parece ser trivial, pero no lo es. Lo que

estamos habiendo es poner las cosas lgicamente compatibles.
Simplemente decimos que el significado de un smbolo o un nu
mera! no cambia sin tazn.

Popiedad 2. La propiedad de AimeXhXA de la Igualdad.

Se

a, b e R

y i

a - b, entonceA

b = a.

Esto es importante, porque significa que una igualdad puede leerse de derecha a izquierda igual que de izquierda a
derecha. Significa que los nmeros son los mismos aunque los
numerales sean diferntes. Brevemente, los dos numerales son
,nombres diferentes para la misma cosa.

| Propiedad 3. La propiedad tuanAlXva de la Igualdad.

S a, b, c, e R y

a = b y b = c, entonce* a = c.

Jk Esto es una propiedad o hiptesis muy til, porque puede

expenderse a ms nmeros. Por ejemplo, si a=b, b=c, c=d,,
y d=e, entonces a = e.

I1 Propiedad 4. La propiedad de uAtltucn de la Igualdad.

SI a, b e R y si a = b, entonces a puede ser sustituida por 6 en cualquier expresin, enunciado especfico o
proposicin abierta. Tal sustitucin no cambia el valor de la
expresin ni altera la veracidad del enunciado especfico ni
el conjunto de verdad de la proposicin abierta.
Estas propiedades pueden parecer triviales, pero son extre
!iradamente importantes en el desarrollo lgico de este sistema
i

Frecuentemente trabajaremos con conjuntos de objetos en

los que el orden en que aparezcan es significativo. El ms sencillo de dichos conjuntos contiene solo dos objetos y se
llama par ordenado o pareja ordenada.
Velnlcln de pax ordenado: Se dice que un par de objetos a y 6 es un par ordena
do si uno de ellos se identi^
fica como el primer objeto y
el otro como el segundo.
Si CL es el primer objeto y b el segundo, el par ordenado se representa por (a, b). Por ejemplo (2,1) es un par or
denado de nmeros naturales en los que 2 es el primer termino
y 1 el segundo.
Cuando ponemos 2 + 1 = 3 , estamos asociando, con el par
ordenado (2,1), el nmero 3. No asociaremos ningn otro nmero natural con este par ordenado
en esta situacin puesto que conocemos las leyes de la suma. Ya que la suma asocia con
cada par ordenado de nmeros naturales uno y solo un numero natural, decimos que la suma es una operacin binaria sobre
el conjunto de los nmeros naturales. Tambin cuando multipli
camos dos nmeros naturales, el resultado es un nmero natural; en el mismo par ordenado 2 x 1 = 2 .

VelruxUn de operacin blnaAla:

sea P = {<x,b,c,...} un
conjunto cualquiera. La
operacin * (lase aste
risco) es una operacin
binaria en P si y sola

Ve^lnlcUn de CeViaduAO.: Un conjunto es CQAAado bajo una

mente si a cada par ordena

do [CL,b] f donde

a y

6-

operacin si el elemento que se

obtiene al aplicar dicha operacin a cualquier par de elementos del conjunto es tambin un
elemento del conjunto dado.

son elementos de P le co
rresponde un elemento ni
co a * b de P.
En esta definicin hay varios puntos delicados que se
deben observar:
1) El orden de
a y b puede ser importante porque (a,b)
es un par ordenado. As puede suceder que a * b f b * a.

En nuestro desarrollo de los nmeros reales deseamos suponer que la suma y el producto son operaciones binarias sombre R. Tal hiptesis significara que el conjunto de los nmeros reales fuese cerrado ante dichas operaciones.
De lo anterior se expone "el axioma siguiente de R.

2) La operacin tiene que estar definida para todos los pares [a, bj, donde CL y b son elementos de P.

AXoma 1. Las leyes de cerradura. Para cualesquier (

(a,b) e R,
a +b e K
a . b e R

3) El elemento resultante CL * b tiene que ser un elemento de

p.
La suma, la multiplicacin y la sustraccin en R son operaciones binarias. Pero, por ejemplo la divisin no es una operacin binaria en R, porque el par ordenado (a,o), esto es, (a 4- o) no est definida. No obstante, la divisin
es una operacin binaria en los nmeros reales diferentes de
cero.
En cambio, cuando restamos un numero natural de otro n
mero natural, el resultado no es forzosamente un numero natu
ral; por ejemplo, 3 - 8 no nos da un numero natural, ni tam
poco nos lo da 5 - 5. Tambin, cuando dividimos un nmero na
tural por otro, el resultado puede ser o no, otro nmero natural: por ejemplo, 6 4 3 es un nmero natural, pero ni 6 4 5
ni 3 r 6 son nmeros naturales.
Decimos que el conjunto de los nmeros naturales es cerrado con respecto a las operaciones, adicin y multiplicacin, pero no es cerrado con respecto a las operaciones de sustraccin y divisin.

Esta propiedad de cerradura, puede parecer tan sencilla,

pero no todos los conjuntos son cerrados con respecto a una operacin dada. Para ello, daremos algunos ejemplos donde no
se cumple esta propiedad:
EJEMPLOS.
La suma de dos nmeros impares no es un nmero impar.
La suma de dos nmeros primos no es necesariamente primo,
etc.

2-7

PROPIEDADES ADITIVA Y MULTIPLICATIVA DE LA IGUALDAD.

Las siguientes propiedades que vamos a demostrar, son con

secuencia inmediata de las definiciones que hemos hecho y de
las propiedades en que hemos convenido hasta ahora en esta
leccin. Recurdese que por ahora tenemos stas como las nicas propiedades conocidas de los nmeros reales.

P/Lopledad

5. Vno piedad

aditiva

Pana todo nmeno HJUDLI a,b,c

a +c = b +d

de la

Igualdad.

y d, U a=b y c=d,

entonce*

SI a,b,c
SI a,bfc

Vmotsuicln: Hiptesis:

a=b y c=d.
Conclusin: a+c = b+d.
Proposicin
Justificacin
a,b,c,d e R
1. Dado.
a + c e R
2.
Axioma 1.
3. 'propiedad 1.
a + c
4. Dado.
5. Propiedad 4.(a se sustituye por
b + c
b en el lado derecho de la igualdad del paso 3),
6 . Dado.
Por tanto,|a+c=b+d
7. Prop.
(C se sustituye por
d en el lado derecho
de la igualdad del paso 5).

P/lopiedad 6. Popiedad multiplicativa de la Igualdad.

PaAa todo ndmeAo leal a,b,c,
entonce*
a .c = 6 .d
VemoAtnacin:

Hiptesis:
Conclusin:
Proposicin

1.
a,b,c,d, e R
2.
a . c e R
3.
a . c = a . c
4.
a = b, c = d
5. Por tanto, a.c=b.d

1.
2.
3.
4.
5.

y d, 41 a=b y c=d,

a=b y c=d.
ac = bd.
Justificacin
Dado.
Axioma 1.
jpropiedad 1.
Dado.
Propiedad 4.(a se sustituye por
6 y C se sustituye
por d en el lado de^
recho de la igualdad
del paso 3).

Dado que c=c para cualquier c e R, ambas propiedades demostradas nos permiten escribir:

e
e

R
R

y a = bf entonce
y a = b, entonceA

a + c = 6 + c
a . c =b .c

Estas dos propiedades de los nmeros reales se conocen como la propiedad aditiva de la igualdad y la propiedad multi^
plicativa de la igualdad, respectivamente.
Se pueden usar otros conjuntos de proposiciones y justifi,
caciones igualmente vlidas para demostrar las propiedades.
jPor ejemplo, 3a propiedad 5, pasos 1, 4 y 6 podan haberse
combinado en un solo paso. No hay que olvidar que el propsito de una demostracin es convencer plenamente de que cierta
proposicin es verdadera. Si usted cree que puede realizar e
j te propsito en 5 pasos en v e z de 7 15, t i e ne completa libertad de hacerlo. Sin embargo, existe una reco
mendacin: to espere que quien lea la demostracin complete los pasos que faltan en la argumentacin; es decir una demostracin vlida debe ser completa, sin importar la forma.

ADTOEVALUACION

2.

1.-

Son la adicin, la sustraccin, la multiplicacin y la

divisin operaciones binarias en el conjunto de los ente
ros positivos (N)?

2.-

Son la unin y la interseccin de conjuntos operaciones

binarias? De ejemplos.

3.-

Es el complemento de un conjunto una operacin binaria?

4.-i Cuntos elementos intervienen en una operacin binaria?

5.-

Cul es el entero que la operacin binaria suma, defin^

da en el conjunto de los enteros, asigna al par (5,7)?

6.-

por que no es la sustraccin una operacin binaria en N?

Dar un contra ejemplo.

7.-

Nombrar un conjunto en el cual la sustraccin es una ope

racin binaria.

8.-

Por qu no es la divisin una operacin binaria en N?

9.-

Nombrar un conjunto en el cual la divisin es una operacin binaria.

Dar la justificacin de cada proposicin en las demostra

ciones que siguen.
21.-

1.
2.
3.
4.

10.- Todo numero real tiene una representacin decimal.

1.
2.
3.
4.

/57 Q-,

y a = b, entonces a+c = b+c

1.
2.
3.
4.'

Si a,b,c, R y a=b, entonces c.a = c.b

S

a,b,c R y a = b
c . a R
c . a = c . a
c . a = c . b

Justificacin
1.
2.
3.
4.

23.- Si a,b,c, R y si a = b, entonces a . c = b . c

(Sugerencia: aplicar los pasos del problema 22).
24.- Si a,b,c,

0,-p

Justificacin

Proposicin

14.- El decimal 0.137 representa un nmero irracional.

- 4

a,b,c, e

a,b,c, R y a = b
a + c R
a + c = a + c
Por tanto, a+c = b+c

22.- VzmOAt/iaSi:

13.- Toda fraccin representa un entero.

15.- Cules de los siguientes nmeros son nmeros: a) naturales. b) enteros, c) racionales, d) irracionales y e) reales

Si

Proposicin

Decir si es verdadera o falsa cada una de las proposiciones siguientes. Razonar la pregunta.

11.- El conjunto de los nmeros racionales es un subconjunto

de los enteros.
N
12.- Todo nmero cardinal puede escribirse como una fraccin.

VQJ\0>Z?ULX'.

y si

a = b, entonces

c + a = c + b.

IT

La verdad de cada una de las proposiciones dadas, depende de una de las propiedades, que hasta aqu, hemos visto. En
cada caso enunciar en forma completa la propiedad que corresponde. Suponer que x, y, z R.
16.- Si

x = /3

y = z, entonces x + y =

/X + z

17.- Si

x = y

z = 6 , entonces x . z = y . 6

18.- Si

x + y = z

z = 6 , entonces x + y = 6

19.- Si

6 = 2 + x

6 = z , entonces z = 2 + x

20.- Si

6 = 2 + x

6 = z , entonces 6 + 6 =

(2+x) + z

2-8

AXIOMAS DE CAMPO DE LOS NMEROS REALES (R).

Adems de las propiedades aceptadas en relacin con la igi^.

dad, hemos identificado el conjunto de nmeros con los cuales
vamos a trabajar, esto es, los nmeros reales. En otras palabras, hemos supuesto que existen tales nmeros. El axioma de
cerradura afirma que cada par de nmeros reales x, y, tienen
una suma nica llamada x + y y un producto nico llamado xy.
As mismo, x + y, xy R.
Necesitamos ahora hacer ciertas suposiciones concernientes al comportamiento de dichos nmeros respecto de las opera
ciones de suma y multiplicacin. Admitir que la suma de dos nmeros existe, nos dice 2/2 + 3/2 son nmeros reales, pero ello no nos autoriza a sustituir 2/2 + 3/2 por 5/2.

Las leyes que necesitamos aqu y otras necesarias para

computos con nmeros reales se desarrollarn usando combinaciones de nuestras anteriores propiedades y las que a continua
cin ofrecemos. Cabe observar que por ahora tenemos stas como las nicas propiedades conocidas de R.
Ax-Oma 1,

a, b

La* l&ye d e CZAARduAa.

Para cualesquier
a + b e R y
a . b e R

eR,

Este axioma nos dice que la adicin y la multiplicacin

de dos nmeros reales dan nmeros que tambin pertenecen a R.

kx.oma 2.
a, b R,

Lo leye*

(LOVMUJZUUVOA

a+b - b+a

a.b

. Para cualesquier
b.a

Este axioma afirma que la suma o el producto de cualesquiera dos nmeros reales no resulta afectado por el orden en
que se sumen o se multipliquen. As, 3+7 = 7+3 y 7.3 = 3.7
Sin embargo este axioma no permite afirmar que (3+4)+5=
3+(4+5). Aqu no se est cambiando el orden de la suma; se
est cambiando la agrupacin. Debemos ser capaces de hacer esta afirmacin; pero^ sta se sigue del axioma 3.

La combinacin de la conmutatividad y la aso-ciatividad de los nmeros reales nos permite a f i r mar que, la suma o producto de tres nmeros reales
es independiente del orden en que se escriban.

Ax.loma 4.
La ley dl*tlbutva.
Para c u a l e s quier a, b, c e R,
a[b
+ c ) = a . b + a . c

(b + c)a = b.a+c..

Este axioma expresa que obtenemos el mismo resultado si m u l t i p l i c a m o s un cierto nmero real por
la suma de dos nmeros reales que si multiplicamos
el nmero por cada uno de los dos y enseguida sumamos .
Adems, el axioma distributivo combinado con
la propiedad de simetra de la igualdad nos permite
afirmar que:

a . b + a . c = a (b + c )
Axioma 3. La* lay<L* a*0dcutva*. Para cualesquier
a,b,c R, ( a + b ) + c = a+(b+e) y (a.b)c = a(b.c)
Este axioma nos permite combinar 3 elementos de R. Pode
mos ya definir la suma de a + b + c de tres nmeros reales,
puesto que, originalmente solo sabamos sumar dos nmeros a + b o multiplicar dos nmeros a . b , por ser stas, operaciones binarias.
Si escribiramos los nmeros 2, 5 y 8 en este orden:
2,5,8, queremos encontrar el valor de 2 + 5 + 8 agrupando:
(2+5) + 8
Ahora sumamos 2 + 5 = 7 y, despus, 7 + 8 = 15, Parece, pues,
que:
2 + 5 + 8
= 15
Es posible agrupar los sumandos de otro modo,
2 + (5 + 8) = 2 + 13 = 15

b . a

+ c . a = ( b

+ c)a

En otras palabras, este axioma se usa a veces para

escribir el producto de dos nmeros reales como la
suma de dos nmeros reales, y en otras ocasiones,
para escribir la suma de dos nmeros como un produc
tol
Antes de ver los axiomas que faltan, necesitamos hacer una pausa para permitir al estudiante familiarizarse mejor con los axiomas expuestos hasta
aqu.

9.-

AUTOEVALUACION 3.
1.-

2.-

3.-

Demuestre que el c o n j u n t o de los nmeros impares no es cerrado b a j o la adicin citando un

contraej emplo.
Demuestre que el c o n j u n t o de los n m e r o s naturales no es cerrado bajo la divisin citando
un c o n t r a e j e m p l o .
"N
Demuestre que el c o n j u n t o de los n m e r o s p r i mos no es cerrado bajo la mult iplicacin dando
un c o n t r a e j e m p l o .

Diga si cada c o n j u n t o es cerrado bajo cada una

de las c u a t r o o p e r a c i o n e s a r i t m t i c a s :
1) adicin;
2) s u s t r a c c i n ;
3) m u l t i p l i c a c i n ;
y 4) divisin
(excepto p a r a d i v i s i n entre cero).
4.5.-

El c o n j u n t o de n m e r o s n a t u r a l e s
El c o n j u n t o de n m e r o s e n t e r o s

En el caso de que las

ten siempre un nmero
hacer sobre p y sobre
la operacin indicada

anteriores expresiones no represen^

natural Qu restricciones debemos
q de tal modo que el resultado de
represente un nmero natural.

Escribir para cada uno de los que siguen, si el conjunto

descrito es cerrado con respecto a la operacin indicada. Razonar la respuesta.
10.- {1,2 } ;

multiplicacin.

11.- Los nmeros impares; multiplicacin.

12.- Todos los mltiplos de 3;

multiplicacin.

13.- Los nmeros impares; adicin.

14.- Cules de las siguientes actividades son conmutativas?
a) Ponerse los calcetines y despus los zapatos.
b) Ir a una fiesta y despus al cine.
c) Leer un libro y escribir un ensayo sobre l.
d) Hacer tu tarea y despus ver televisin.

(N).

(Z).

6.-

El c o n j u n t o de n m e r o s r a c i o n a l e s

7.-

El conjunto

8.-

Si
p
y
q
r e p r e s e n t a n nmeros n a t u r a l e s ,
cules de las s i g u i e n t e s e x p r e s i o n e s represen
tarn siempre o t r o n m e r o n a t u r a l ?

18.- Qu operaciones de la aritmtica no son asociativas en

el conjunto de los nmeros reales? Dar contraejemplos.

a) p - q
c) pq

19.- Cules son las operaciones binarias de la aritmtica de

los nmeros reales que poseen la propiedad conmutativa y
asociativa?

de n m e r o s reales

b) p T q
d) p + q

(Q).

15.- Qu operaciones de la aritmtica de los nmeros reales

son conmutativas?

(R).

16.- Mencione ejemplos de operaciones que no son conmutativas.

17.- Qu operaciones de la aritmtica son asociativas en el
conjunto de los nmeros reales?

Justificar cada proposicin, dando el nombre de un axioma o teorema.

20.- 2 (3 + 5) = (2) (3) + (2) (5)
I

21.-/~2 + 1 =
2

1 +/T

39.- Vm0tA0A:

22.- 7 + (3 +

Vwo&tnjCiCsn:

= (7 + 3) +

(x + y) + (a + b)

23.- (2 + 1) (3 + 11) = SI (3 + 11) + 1 .(3 + 11)

24.-

(x+y) + (a+b) = (a+x) + (y+b)

7+(3+/2)=7+(/2+3)

=
=
=

[ (x + y) + a }
[ a + (x + y) ]
(a + x) + y }
(a + x) + (y +

+ b
+ b
+ b
b)

1.
2.

3.
4.

25.- xy + x (y + z) = xy + (xy + xz)

40.- VmoAtAOA.:
26.- x [ (y + z) + a ] = x (y + z) + x . a

VwoAtncLc-n:

27.- x + (y + z) = x + (z + y)
28.- x + y = z, entonces ( x + y ) + z = z + z
29.- Si x = /2,

/2 = y, entonces

30.- x = a, entonces
31.- x + 2 = /2,

x + 3 =

entonces

(xy) . (2z) = 2 [ (xy) z]

(xy) . (2z) = [ (xy) . 2] z

(xy)"] z
= C2
(xy) . z"]
2
41.- VmOA&lOA:

x = y

(4a + 3 ) + 2

a + 3

3(x + 2) =

3/2

VdmoA&iacn:
(4a + 3) + 2

1.
2.

3.

(a + 2) = 6a + 7 (supngase que
2.2=4, 3+4=7 y
4+2=6 son hechos conoci
dos.)

(a + 2)

Llenar los espacios en blanco para que las operaciones

sean casos especiales de exactamente uno de los axiomas o teoremas. Dar el nombre del axioma o teorema.

= (4a + 3) + (2a + 2 . 2)

1.

= (4a + 3) + (2a + 4)

2. Hecho conocido.

32.- 3* (5 + /2) = 3.

= (4a + 3 ) + (4 + 2a)

3.

= C (4a + 3) + 4 ]

+ 2a

4.

= [ 4 a + (3 + 4)3

+ 2a

5.

33.- (7 + 1/2) + 2 = 7 +
34.- 8 . (5 . 7) =

. _

. (

35.- [ 2 (5 + 7)3* /2 =

= (

36.- (8 + 3) + 5 =
+ (
..i
37. . (3+7) = 8 .
38.-4 . 8 + 3 .

(
+

)
+

) .

_)

= (4a + 7) + 2a

6. Hecho conocido.

= 2a + (4a + 7)

7.

= (2a + 4a) + 7
= (2 + 4) a + 7

+ 8 .
+

) . 8

En los problemas siguientes, dar las justificaciones pa

ra las proposiciones de las demostraciones.

= 6a + 7

9.
10. Hecho conocido

Escribir las demostraciones de las proposiciones dadas,

mostrando cada paso y usa^r solo un axioma o teorema en cada
paso.

42.- (x + 2) + z = z + (x + 2)
43.-

[ (x + y) + 5 ]

+ z

a + ( -al = 0

( X + 5) + (y + z)

Para cualesquier nmero no nulo (distinto de 0) a R,

existe un nmero real denotado por 1/a, tal que

44.- (2b) c = b (2c)

45.- 3 (7x) = 21x
conocido.
46.-2 f a +
47.- a

R, existe un nmero real denotado con -a, tal que

(supngase que 3.7 = 21, como un hecho

(b + c)J

El nmero -a es llamado el inveAtO aditivo de a, el ne

gativo de a, o meno- a. El nmero 1/a es llamado el inveA60 multiplicativo de a o el lecipioco de a.

= (2a + 2b) + 2c

(b + c + d) = ab + ac + ad.

Por el Axioma 2, tenemos s

48.- (a + 5) (a + 7) = a + (12a + 35) (supngase que a . a

= a como un hecho conocido.)

A medida que avanzamos y que el estudiante se acostumbra a usar los axiomas, debemos hacer ciertos convenios que
haga menos laborioso el proceso. Enunciaremos ahora los otros dos postulados de campo: el axioma de ta identidad y
el axioma del inveAO. Despus, con los seis postulados, podemos demostrar los teoremas necesarios para desarrollar las
tcnicas de operacin de los elementos de un campo, en nuestro caso el de los nmeros reales.
Axioma 5. Lo6 elmesito* de identidad. Para cualesquier
a c R, existe un nmero real llamado ceAO, denotado
por 0, tal que
a + 0 = a

a + (-a) = (-a) + a = 0

a + 0 = 0+ a = a
Axioma 6.

a .1 = 1 . a = a

Lo4 elemento4 invengo*.

Para cualesquier

1
1
i
a .- = - . a = 1

Los elementos idnticos y los inversos son nicos y la

demostracin de ello es relativamente simple.
Teorema 1.

La identidad aditiva de 0 e nica.

VMOAtM-Cin:
Deseamos mostrar que 0 es el nico elemento
de identidad para la suma. Supongamos que hay otra identidad
aditiva b. Tenemos entonces
1.
2.
3.

0 + b = 0
0 + b = b
Por tanto, b = 0

1 Hiptesis.
2. Axioma 5 (para la suma). y Ax 2
3.I Propiedad 3.

Teorema 2. El idntico multiplicativo

es nico.

Teolema 3. El inverso multiplicativo de cualquier nmero

no nulo a R es nico.

Para cualesquier a R, existe un nmero real no' nulo

llamado uno y denotado con 1, tal que
a . 1 = a
El nmero o es llamado el elemento de identidad paAa
IR adicin, el nmero 1 es llamado el elemento de identidad pOAa la multiplicacin. Puesto que 0 y 1 pertenecen
a R, por Axioma 2, tenemos

VemoAtAacin: Supongamos ahora que algn nmero b es multiplicativo inverso de un nmero real, a, no nulo. Tenemos en
tonces:
1.
2.
3.
4.

a, b R
1a . b = 1
2.
1/a (a.bT == 1/a (1) 3.
(1/a.a).b = 1/a
4.

Axioma 1
Hiptesis
i Propiedad 6.
Axioma 3

5.
6.
7.

1 . b = 1/a
b . 1 = 1/a
b 1/a

5. Axioma 6
6. Axioma 2
7
- Axioma 5

2-9

LOS AXIOMAS DE ORDEN.

De este modo, cualquier inverso multiplicativo de a es

igual a 1/a.

K1 conjunto de nmeros reales R es un conjunto de e l e

aarntos indefinidos que poseen las propiedades de los axiomas
de cafflpo y se dice que forman un campo.

Teoiema. 4. El inverso aditivo de cualquier nmero a R

es nico, QS decir,

n campo que satisface los axiomas de orden se denomina

u campo ordenado. Los smbolos de orden son:

(aR, a + b = 0, entonces a= -b)

aeR, b + a = 0 , entonces a= -b

<

"es menor que"

>

"es mayor que"

Para cualesquier a,b,c R,

Teorema 5.
a+b

Hiptesis:
Conclusion:

+ C = C*b

+ a
A x i o m a 7.

a,b,cR.
a+b+c = c+b+a

\E axioma

a < b
(a + b) + c =

=
=
=
=

a + (b + c)
a + (c + b)
(a + c) + b
(o + a) + b
c + (a + b)
c + (b + a)

de, ViMiotomla.

si a

y b R,

en-

tonces, una y solo una de las siguientes relaciones es vlida:

Axioma
Axioma
Axioma
Axioma
Axioma
Axioma

3
2
3
2
3
2

A causa de la propiedad transitiva de la igualdad, cada

una de las expresiones anteriores representa el mismo nmero,
por lo que podemos escribir:

a = b

a>b

Axioma S. El axioma de tAan&ltvldad. si a, b

tal que # a >b

Axioma 9. El axioma de adicin,

<5Be a>b entonces, a + c > b + c.
Axioma

tales que

y c R

b >c, entonces, a >c.

si a, b y c R

10.

El

axioma

a>b

c>0 entonces, ac >bc.

de multiplicacin.

tales

S i a, b y

cR

a + b + c
sin indicar qu par se debe sumar primero y en qu orden d e
ben sumarse.

Veilnlcln

Del mismo modo se tiene el siguiente teorema (se deja al

estudiante la demostracin).

Ve&llcn 2.

Un nmero real a es positivo si

y negativo si a<0.

Vtlinlen 3.

El enunciado de que una cantidad es

mayor que o menor que otra cantidad es
llamado una desigualdad.

Teo-tema 6.

Para cualquier a,b,cR.

a. b. c = c.b.a

1.

si a y b R entonces,
si b>a.

a<b

si y solo

a>0

Escribiendo b=0 en el axioma 7 se concluye que a<0, a=0

a>0. De este hecho y de la definicin 2 se concluye que 0 no
es positivo ni negativo.
Algunas veces es conveniente combinar una igualdad con
una desigualdad. As,
a<.b

"a es menor que o 'igual a b".

a^b

"a es mayor que o igual a b".

Teorema 9.
-a < -b.
> -H
VmOAtlac-n:

Hay una gran variedad de teoremas tiles que comprenden

desigualdades. Demostraremos algunos teoremas y enunciaremos
otros que el alumno puede demostrar.
Si a>0

y b>0

entonces,

a
a+b
b
a+b

Hiptesis:
Conclusin:
>
>
>
>

a>0
y
a+b>0

JtLOfima. S.

Si

a>0

b>0

y a>b

a > b

b>0

entonces,

y -a<-b

dato

a+jf-a) + (-b)j > b+[(-a) + (-b)]

axioma 9

-b > -a

por qu?

-a < -b

definicin 1

Necesitamos ahora demostrar que si

-a < -b

entonces,

a>b.
Los pasos en la primera parte de la demostracin son reversibles. Por tanto, la demostracin consistir en comenzar
con -a <-b y reescribir las desigualdades en orden inverso
hasta a> b.

dato
axioma 9
dato
axioma 8

0
0+b = b
0
0

Hiptesis: a,bR
Conclusin: -a<-b

Hiptesis: a, bR
Conclusin: a>b

a+b >0.
%

VmOA&iCLCn:

entonces, a>b si y solo si

Primero demostraremos que si

a>b entonces, -a<-b
Luego demostraremos que si -a<-b entonces a>b, o seaj

Por ejemplo, a<0 significa qu a no es positivo y a>0 si

.nifica que a no es negativo. Es claro que si ambos enuncia
dos fuesen vlidos simultneamente, entonces a=0.

Tnofima. 7.

Si a, b e R

Coiola/Uo.
ab>0.

Estos teoremas nos dicen que la suma o el producto de

dos nmeros positivos es positivo, los cuales son propiedades
de cerradura para la adicin o multiplicacin de nmeros posi
tivos. Adems, el producto o cociente de dos nmeros de signos iguales es positivo y el producto o cociente de dos nmeros de signos diferentes es negativo.

Si

a >0,

entonces

-a < 0.

Si

-a <0,

entonces

a > 0.

Tcoiwa
ac < be.
Vmo&tAacn:

10.

Si a,b,c R

con

a>b

c<0, entonces

Hiptesis: a,b,cR con a>b

Conclusin: ac< be

c<0.

Puesto que c<0, se concluye del corolario precedente que

-c>0. Entonces tenemos,

a > b
-ac > -be
ac < be

Te.0A.ema 13.

dato
axioma 10
teorema 9

Si a>0,

Ve>not/iacM>n:

Un corolario es una verdad que se deriva como consecuen

cia de un teorema. Su demostracin requiere poco razonamiento.

b>0

a>b, entonces

Hiptesis: a>0, b>0 y

Conclusin: 1/a < 1/b.

a > b

1/a

< 1/b.

a>b.

dato

a ()> b ()
ab
ab

Teorema es una verdad no evidente, pero demostrable. Tie

ne carcter eminentemente deductivo, requiriendo de razona- miento lgico deductivo (demostracin) para que pueda ser
aceptado como verdad absoluta.

axioma 10

>
b

por que?

1
<
a

_ .

definicin 1

Axioma es un enunciado no demostrado, de carcter intuit^

vo que se capta espontneamente sin razonamiento alguno; es
una verdad intuitiva que tiene suficiente evidencia para ser
aceptada como tal. Se llama tambin postulado.

AUT0EVALUACION 4.
El axioma 10 nos dice que ambos miembros de una desigual^
dad pueden ser multiplicados por un numero positivo si el sen
tido de la desigualdad permanece inalterado. Y el teorema 10
nos dice que el sentido debe ser cambiado si el multiplicador
es un numero negativo.
Teoiema 11.
a+c > b+d.

Sia,b,cydR

VwOtAaCsCn:

Hiptesis: a,b,c,dR
Conclusin: a+c > b+d.

a>b
a+c
b+c
a+c

ees

y
>
>
>

Si aR, diga por qu la desigualdad | a>a es imposible.

2.-

Si bR, demuestre que b<0 si y solo s -b>0.

Demuestre adems, que b>0, si y solo s -b<0 (suges-
tin, use el teorema 10) .

3.-

Si a,b,c y d R con b>0, demuestre que a/b >c/d

solo s ad > be.

4.-

Verifique los teoremas

te escogidos.

5.-

Demuestre que

6.-

Si a

7.-

Si a>b

c>0, muestre que a/c> b/c.

8.-

Si a>b

c<0, muestre que a/c<b/c.

c>d, entonces

con a>b

axioma 9
axioma 8
Si

a>b

c>d

con

si y

c>d.
7 al 13 asando enteros propiamen

datos

c>d
b+c
b+d
b+d

Teoiema 12.
ac>bd.

con a>b

1.-

a>b

si y solo s

0, demuestre que

a-b>0.

a 2 >0.

a,b,c y d >0, enton

Como pudimos observar de las demostraciones desarrolladas en esta unidad, siempre se parte de una hiptesis dada
(datos) y a travs de una cadena de deducciones se llega a
la veracidad de la proposicin que debe probarse (conclu-
sin) utilizando axiomas o postulados previamente establecidos.
Se empieza con un nmero comparativamente pequeo de
axiomas, aceptados como verdaderos sin demostracin alguna y
a continuacin, se deducen todas las dems proposiciones a
partir de los axiomas por medio del razonamiento deductivo.

CAPTULO III

A L G E B R A I.

ler. S E M E S T R E .

UNIDAD VI.

C O N S E C U E N C I A S I N M E D I A T A S DE L O S
A X I O M A S DE C A M P O DE LOS N U M E R O S
REALES.

INTRODUCCION:
En la m e n t e d e t o d o s los m a t e m t i c o s m o d e r n o s est en el
concepto de a x i o m a y la d e d u c c i n d e t e o r e m a s a p a r t i r d e axioi
mas.
El p r o p s i t o d e e s t a u n i d a d es i n t r o d u c i r al e s t u d i a n t i
en el m t o d o d e d u c t i v o de la m a t e m t i c a m o d e r n a , a un nivel que s i e n d o r i g u r o s a , sea s u f i c i e n t e m e n t e s e n c i l l o en p r e s e n t a cin y c o n t e x t o , para que p e r m i t a una fcil c o m p r e n s i n .
Al t r m i n o de esta u n i d a d el a l u m n o e s t a r en c o n d i c i n
de:

OBJETIVO:
1.

A p l i c a r t o d o s las p r o p i e d a d e s
y a x i o m a s de los nmero
r e a l e s en las d e m o s t r a c i o n e s de t e o r e m a s y s o l u c i n d e problemas.

PROCEDIMIENTO SUGERIDO:
1.

E s t u d i a el c a p t u l o III y c o p i a en l i m p i o t o d o s los a x i o m a s y t e o r e m a s del c a p t u l o II para q u e p u e d a s r e c o r d a r los f c i l m e n t e .

Es n e c e s a r i o q u e o b s e r v e s la m a n e r a d e
c o m o se d e m u e s t r a n los t e o r e m a s que v i e n e n en el c a p t u l o
a n t e r i o r a e s t e para q u e d e s p u s t p u e d a s h a c e r lo m i s m o
con los q u e no e s t n .

2.

Practica la unidad resolviendo las autoevaluaciones que

se incluyen en el captulo.

3.

El requisito de esta unidad consiste en contestar el Laboratorio y entregarlo a tu maestro.

AirrOEVALU AGI ON Poner una palomita ( /) en cada columna de los conjuntos

de nmeros que satisfagan los axiomas o propiedades de
la columna izquierda.
Conjunto de
nmeros.

PROPIEDAD

Cerradura (+)
Cerradura (-)
Cerradura (x)
Cerradura (T)

excepto por 0

Conmutativa (+)

a+b = b+a

Conmutativa (x)

a-b = b.a

Asociativa (+)

(a+b)+c = a+(b+c)

Asociativa (x)

a (be) = (ab) c

Distributiva

a(b+c) = ab+ac

Identidad (+)

a + 0 = a

Identidad (x)

a-1 = a

Inverso

(+)

a+(-a) = 0

Inverso

(x)

a.a = 1

Densidad
A travs de los axiomas vistos en la leccin, com;
lo siguiente:
Cerradura
2.-

La suma de dos nmeros impares

n,1, e

" '

a ambos miembros de una -a) Puede sumarse

ecuacin sin alterar la relacin de -.

3-- La suma de dos nmeros primos

Bao, etc.

un mismo nmero a ambos miembros de

b) Puede
una ecuacin sin alterar la relacin de =.

La ley
> de la adicin de dos nmeros reales, dice
que se puede cambiar el orden de los sumandos sin alt
rar Ia suma.
5.- la ley conmutativa de la
de dos nmeros reales
dice que se puede cambiar el orden de
sin alterar
el
.
La
nos permite sumar o multiplicar tres
o mis"nmeros no importando la manera en que se agru
pea los nmeros, para realizar la operacin.

Encuentra el inverso aditivo y tambin el inverso mutlinlicativo de cada uno de los siguientes nmeros.
12

16.-

-a

13 -

2/3

17.-

3a/3b

14 -

2x/5y

18.-

-2

15

19.-

(2x+y)

Aplica el axioma de la ley Distributiva en la solucin de

las siguientes proposiciones:

En particular, al nmero real llamado "cero", denotado

por O, se le llama el
en
de
los nmeros reales.

EJEMPLOS:
2x + 5x = (2+5)x = 7x;

8.- En particular, al nmero real llamado "uno", denotado

por 1 se le llama el
en
de
los nmeros reales.
9-- El inverso
de "a" es "(-a)" y tiene la
propiedad de que la
"
de "a" y "(-a)" es igual
. En cambio, el inverso
es
a
"(I/a)" y tiene la propiedad de que el
de
"a" y " (1/a)" es igual a
.
a

irma

ue

un

10- La ley
_____ f
q '
producto puede ser
igual a una suma y que, recprocamente, la suma en cues
tion, es igual a un producto, puesto que la igualdad es

5xy - 8yz = (5x - 8z) y;

(3x + 2y) z = 3xz + 2yz
20.-

(x+a) (y+b)

21.-

3yz + 5wyz

22.-

3x (2y+3z)
Resolver las siguientes operaciones, sin justificar los
pasos:

23.- 7+2
24.- (-5) + 0
25.- 1-3)+(-3)

a travs de los teoremas enunciados en la leccin, completa lo siguiente:

11- Si en, las prop. 5 y 6 en vez de c=d, empleamos c=c,
trenos que a+c = b+c y ac=bc. Estos resultados dan lugar a :

26.- (-13) + 11
27.- (-13) (11)
28.- 5 [3-M-3D
29.- 5(-8>+(-5) (-8)

30.-

- 2 ) (-3)3 (-5)

31--

D-7)+8 Q - t 5 ) + (-17fl

32.-

[l1+(-50

"5) (11)

33.- (-18)+{(-5) + l8+<-7) + (-4) 3 >

,34.- -2 [3+<-5)+5]} ^35.- 5-3- [7+(-5fl}
,36.- 2- (3-7)
37.- -6 [3 (7+6)-4 (3-8)3 -4 [>-3)9-163
i
Demostrar las proposiciones siguientes.
Dar las justifi
caciones de cada proposicin, usando los axiomas y proposiciones de la leccin.
'38.- (x+2) [X+(-2)3 = x 2 + 2 (-2)
39.- 3+ {2a+5 ^+(b+2)3> = 7a+(5b+13)
40.- Q - 5 ) . x 3 Q - 2 ) . x 3

41.-

=10X2

Si 3 x = 2 , entonces x = 10/21

CONSECUENCIAS INMEDIATAS DE LOS AXIOMAS DE CAMPO.

3-1

INDUCCION Y DEDUCCIN.

Preguntndonos, "qu es una

Ou te una. dwoAiac-n?
demostracin?". Supongamos que el alumno est tratando de con
vencer a un amigo de que la Tierra tiene forma esfrica. Le
habla acerca del horizonte que se ampla conforme el observador se eleva sobre la superficie de la Tierra, de los viajes
alrededor del mundo, de la sombra redonda que la Tierra arroja sobre la Luna durante un eclipse de Lunv etc.

Estas consideraciones, con las cuales busca convencer a

su amigo se llaman OAgumuntoA.
En qu se basa la fuerza o
lo convincente de un argumento? Veamos, por ejemplo, el ulti
mo de los argumentos anteriores. Afirmamos que la Tierra de
be ser redonda porque su sombra es redonda. Esta aseveracin
se basa en el hecho, conocido por la experiencia, de que t o dos los cuerpos que tienen forma esfrica proyectan una sombra redonda e inversamente, que los cuerpos de forma esfrica
tienen sombras redondas, independientemente de su posicion.
Se ve que en este caso, ante todo confiamos en los hechos, en
nuestra experiencia directa con respecto a las propiedades de
los objetos que nos rodean en nuestra vida cotidiana. Entonces se ha recurrido a una d&ducUn que en el caso dado, se
establece aproximadamente de la siguiente manera:
"Todos los cuerpos que en todas sus diferentes posiciones proyectan una sombra redonda, tienen la forma de una e s fera"
"La Tierra que durante los eclipses de Luna ocupa po
siciones diferentes en relacin con esta, siempre proyecta

uana s ^ b r a redonda sobre la Luna". Conclusin:

la "Sierra tiene la forma de una esfera".

"Por tanto,

eaos ahora un ejemplo de la aritmtica. Tomemos v a -

risas e r o s impares arbitrarios, elevmoslos al cuadrado y
testeros el nmero uno de cada cuadrado. Por ejemplo, 7 - 1 48, 112-1 = 120, 52-1 = 24, 9 - 1 = 80, 152- 1 = 224 y
as sacesivaiaente- Cuando vemos los nmeros resultantes, oba m o s que tienen una propiedad en comn, cada uno de ellos
es .divisible entre 8. Llevando a cabo unas cuantas pruebas
rns
otros nmeros impares y encontrando siempre que el re
saltado es divisible entre 8, podra establecerse tentativamente: "El cuadrado de cualquier nmero impar disminuido en
-uaaao da un numero que es un mltiplo de ocho".
Caso ahora estamos hablando de cualquier nmero impar,
para descostrarlo debemos hallar argumentos que sirvan para to
to
fe
impar arbitrario. Para hacerlo, recurdese primero
raae oaalquier nmero impar puede expresarse en la forma 2n 1 ,
kande n es un entero. Entonces, el cuadrado de un numero
impar disminuido en uno, est dado por la expresin (2n-1) -1
imitando los parntesis se obtiene
(2n-1)2- 1 = 4n 2 - 4n + 1 - 1
= 4n 2 - 4n
= 4n(n-1)
Per e efecto, esta expresin resultante es un mltiplo de 8
para todo nmero natural n. Porque el factor 4 indica que
el, nnero 4n(n-1) es un mltiplo de 4; adems como n y
a-I SOE enteros consecutivos, uno de ellos debe ser par; de
a^oi qoe sin duda nuestro producto todava contiene otro factor 2. Por tanto, el nmero 4n(n-1) siempre es un mltiplo
3e 8 que era lo que deba demostrarse.
^ partir de estos ejemplos puede verse que existen dos
formas fundamentalmente distintas, mediante las cuales adqui
riaaos conocimientos del mundo que nos rodea, de sus objetos,
ffeiraSmeraos y leyes naturales:

La primera es aquella en la cual, con base en un gran n

ero de observaciones y experimentos sobre los objetos y fen
menos, se descubren las leyes generales. En los ejemplos anteriores, a base de observaciones, los hombres descubrieron
la relacin que existe entre la forma de un cuerpo y su s o m bra? las pruebas efectuadas con los cuadrados de los nmeros
impares nos condujeron a aseverar cierta propiedad de tales
cuadrados disminuidos en uno. Este mtodo, de sacar conclusiones generales a partir de la observacin de numerosos c a sos particulares, se llama -induccin (del latn "inductio").
Los casos particulares nos conducen a la idea de que existen
leyes generales.
Un segundo mtodo se usa cuando ya se conocen ciertas le^
yes generales, y se aplica este conocimiento a los^casos particulares. Tal mtodo se llama deduccin (del latn "deduc
tio").
En el ltimo ejemplo, las leyes generales de^la aritmti
ca se aplicaron a un caso particular, probando as cierta
propiedad de los nmeros impares. Este ltimo ejemplo tam- bien nos indica que la induccin y la deduccin nunca pueden
estar divorciadas una de otra.
Esta combinacin de la induccin y la deduccin es lo
que caracteriza al mtZodo CentlilcO. De hecho, en el curso
de toda demostracin se usan ambos mtodos. Cuando se buscan
argumentos para demostrar una proposicin, se recurre^a los
experimentos, las observaciones y los hechos, o tambin a las
proposiciones ya demostradas. Entonces, con base en tales co
nocimientos, sacamos nuestras conclusiones referentes a la ve
racidad o falsedad de la proposicin en cuestin. ^Por supues
to, los primeros conocimientos matemticos y cientficos se
obtuvieron por el mtodo inductivo, a partir de un nmero muy
grande de observaciones y experimentos. Conforme creci el
conjunto de conocimientos, se descubri que podan obtenerse
muchas verdades a partir de otras por medio de la deduccin
sin recurrir a las observaciones o a los experimentos.
Por ejemplo, ciertas proposiciones aceptadas como verdaderas sin demostracin alguna llamadas axioma* (del griego

"axios" que significa "digno de confianza") se utilizan para

demostrar la v e r a c i d a d de todas las dems proposiciones llama
dos tdOXMOA (del griego "theoreo, que significa p i e n s o m e dito)
Se empieza con un numero comparativamente pequeo de
axiomas, aceptados sin demostracin, y a continuacin, se deducen todas las dems proposiciones a partir de los axiomas
por medio del razonamiento deductivo procurando reducir, hasta donde sea posible, el numero de axiomas.
Resumiendo nuestra exposicin, podemos dar la respuesta
a qu QA una dwOttAacin? diciendo que es una cadena de
deducciones a travs de las cuales se deduce la veracidad de
la proposicin que debe probarse, a partir de axiomas o postu
lados previamente establecidos.

3-2

La primera es aquella en la cual, con base en un gran n

nero de observaciones y experimentos sobre los objetos y fen5
menos, se descubren las leyes generales. En los ejemplos anteriores, a base de observaciones, los hombres descubrieron
la relacin que existe entre la forma de un cuerpo y su s o m bra; las pruebas efectuadas con los cuadrados de los nmeros
impares nos condujeron a aseverar cierta propiedad de tales
cuadrados disminuidos en uno. Este mtodo, de sacar conclusiones generales a partir de la observacin de numerosos c a sos particulares, se llama induccin (del latn "inductio").
Los casos particulares nos conducen a la idea de que existen
leyes generales.
Un segundo mtodo se usa cuando ya se conocen ciertas le
yes generales, y se aplica este conocimiento a los^casos particulares. Tal mtodo se llama deduccin (del latn "deduc
tio").

LA LEY DE LA RAZN SUFICIENTE.

En el ltimo ejemplo, las leyes generales de^la aritmti

ca se aplicaron a un caso particular, probando as cierta
?OK qut. -6on necebQJJk* la dMO&ViacOntA? La necesi- propiedad de los nmeros impares. Este ltimo ejemplo tam- dad de la demostracin es una consecuencia de una de las le bin nos indica que la induccin y la deduccin nunca pueden
yes fundamentales de la lgica (la lgica es la enca de
estar divorciadas una de otra.
as leyes del razonamiento correcto), la ley de la tazn

cente.
Esta ley requiere que toda aseveracin que se haga debe
estar bien fundamentada, es decir, debe presentarse junto con
argumentos lo suficientemente fuertes que apoyen su veracidad
o sea, su concordancia con los hechos y con la realidad
Tales argumentos pueden basarse con referencias a una posible
verificacin a travs de la observacin y experimentos o
bien, en el razonamiento correcto basado en deducciones siste
mticas.
En matemticas, nos interesan principalmente los argumen
tos de este ultimo tipo.
Ocasionalmente surge la pregunta de si es necesario dar
demostracin
la proposicin que debe probarse parece
lo suficientemente clara y evidente por si sola. Sobre el p a r U

una

c u a n d o

Esta combinacin de la induccin y la deduccin es lo

que caracteriza al mtodo CMtC0.
De hecho, en el curso
de toda demostracin se usan ambos mtodos. Cuando se buscan
argumentos para demostrar una proposicin, se recurre a k los
experimentos, las observaciones y los hechos, o tambin a las
proposiciones ya demostradas. Entonces, con base en tales co
nocimientos, sacamos nuestras conclusiones referentes a la ve
racidad o falsedad de la proposicin en cuestin. ^Por supues
to, los primeros conocimientos matemticos y cientficos se
obtuvieron por el mtodo inductivo, a partir de un nmero muy
grande de observaciones y experimentos. Conforme creci el
conjunto de conocimientos, se descubri que podan obtenerse
muchas verdades a partir de otras por medio de la deduccin
sin recurrir a las observaciones o a los experimentos.
Por ejemplo, ciertas proposiciones aceptadas como verdaderas sin demostracin alguna llamadas axioma (del griego

"axios" que significa "digno de confianza") se utilizan para

demostrar la veracidad de todas las dems proposiciones llama
dos eotoici (del griego "theoreo, que significa pienso o medito) . Se empieza con un numero comparativamente pequeo de
axiomas, aceptados sin demostracin, y a continuacin, se deducen todas las dems proposiciones a partir de los axiomas
por medio del razonamiento deductivo procurando reducir, hasta donde sea posible, el numero de axiomas.
Resumiendo nuestra exposicin, podemos dar la respuesta
a qu e6 una dmoitAacUn? diciendo que es una cadena de
deducciones a travs ci las cuales se deduce la veracidad de
la proposicin que debe probarse, a partir de axiomas o postu
lados previamente establecidos.

3-2

cular podemos puntualizar, en una ciencia exacta, por lo genes

ral no se puede confiar en lo que es obvio, porque el concepto de obvio es muy vago; lo que parece obvio a una persona
puede ser bastante dudoso para otra. Solo es necesario recor
dar la forma tan diferente en que a veces, distintos observa
dores describen el mismo evento y lo difcil que es determinar la veracidad de la evidencia de testigos oculares.
Por tanto, resumiendo lo que se ha dicho sobre la necesi
iad de las demostraciones, podemos establecer lo siguiente:
a)

En la matemtica, slo se ^aceptan sin demostracin un pe^

queo nmero de proposiciones fundamentales, I06 axioma\
Las proposiciones restantes, 106 teolwaA, se demuestran
a partir de estos axiomas construyendo una serie de de-aducciones.

b)

Las demostraciones son necesarias como consecuencia de

una ley fundamental del pensamiento correcto, lo. ley de
la mztJn 6u^icente, de acuerdo con la cual nuestras ase
veraciones deben tener un fundamento riguroso para que
sean verdaderas.

LA LEY DE LA RAZN SUFICIENTE.

POA
qu. on mce.-6an.ia6 lo dwo6tiacone6? La necesidad de la demostracin es una consecuencia de una de las leyes fundamentales de la lgica (la lgica es la ciencia de
las leyes del razonamiento correcto) , la ley de la MZn
6u^
c)

dente.
Esta ley requiere que toda aseveracin que se haga debe
estar bien fundamentada, es decir, debe presentarse junto con
argumentos lo suficientemente fuertes que apoyen su veracidad
o sea, su concordancia con los hechos y con la realidad. Tales argumentos pueden basarse con referencias a una posible
verificacin a travs de la observacin y experimentos o
bien, en el razonamiento correcto basado en deducciones siste
rnticas.
En matemticas, nos interesan principalmente los argumen
tos de este ltimo tipo.
Ocasionalmente surge la pregunta de si es necesario dar
una demostracin c u a n d o la proposicin que debe probarse parece
lo suficientemente ciara y evidente por s sola- Sobre el part

Una demostracin construida correctamente slo se apoya

en proposiciones previamente demostradas y no en lo que
es obvio.

d)

Tambin es necesaria la demostracin para establecer la

generalidad de la proposicin en cuestin, o sea, su
aplicabilidad a todos los casos particulares.

e)

Por ltimo, mediante las demostraciones, la matemtica

se transforma en un sistema cientfico, en el cual cada
teorema est vinculado mediante una cadena completa de
deducciones con los teoremas previamente demostrados, y
stos con teoremas que se han probado an antes y as su
cesivamente, y las cadenas de estas deducciones se conti
nan hasta que, finalmente, se llega a las definiciones
y axiomas bsicos que constituyen los fundamentos de toda la ciencia matemtica.

3-3

RAZONAMIENTO CORRECTO.

cmo debe eon&UUAe una demOtAacln? Ahora examinemos la cuestin de las especificaciones con las que debe cumplir una demostracin para poder decir que es eoWiecXa o que
hemos desarrollado un Razonamiento eoWiecXo.
Ntese primero que toda demostracin consiste de una serie de deducciones, por tanto, lo correcto o incorrecto de la
demostracin depende de la veracidad o falsedad de las deducciones que entran en ella.
Tal y como se vio anteriormente, el razonamiento deducti
vo consiste en la aplicacin de alguna ley general a un caso
particular dado. Con el objeto de evitar errores en nuestro
razonamiento, necesitamos familiarizarnos con ciertos mtodos
que permiten representar las relaciones existentes entre los
conceptos matemticos.
Nuestra pregunta es ahora, qu requisitos debe satisfacer una demostracin para que sea vlida (esto es, para garan
tizar la veracidad d la proposicin que debe probarse)? Pue
de responderse de la manera siguiente:
a)

La demostracin slo debe basarse en axiomas o en teoremas previamente demostrados.

b)

Todas las deducciones, mediante las cuales se establece

la demostracin, deben llevarse a cabo correctamente.

c);
1

Siempre debe tenerse en cuenta el propsito de la demostracin, que es establecer la veracidad de la proposi
cin que debe probarse, y no sustituirla por alguna otra
proposicin.

En vista de la necesidad de satisfacer estos requisitos,

surge la pregunta de cmo pueden hallarse las demostraciones
correctas. En primer lugar, cuando se pide^demostrar una pro
;posicin, es necesario expresar con precisin la aseveracin
bsica que debe probarse, a menudo esto no se hace con suficiente claridad. Despus de haber determinado exactamente

lo que se desea probar, debemos extraer del enunciado del

teorema dado, las condiciones que se dan y aquellas que son
esenciales para la demostracin; a continuacin, todo esto
se establece en forma simblica, bajo los encabezados "Hiptesis" y "Conclusin". Despus de escribir esto, se procede a probar el teorema. . En la demostracin se aplican axio
mas o teoremas previamente establecidos y por supuesto, las
relaciones especiales que se "dan" (hiptesis) en el teorema.
Ahora, hay que hallar una cadena de razonamientos que conduce
a partir de stas a la proposicin que debe probarse. Como
seleccionar, de la gran cantidad de proposiciones existentes,
aquellas que servirn para probar nuestro teorema? En este
caso, es mejor partir de la proposicin que debe probarse y
establecer el problema de la siguiente manera: De qu propo
sicin puede obtenerse por deduccin la proposicin que se
desea probar? Si puede hallarse tal proposicin, y si es una
consecuencia de las condiciones y de los teoremas previamente
probados, entonces nuestro problema est resuelto. No obstan
te, si no es as, debemos plantear nuevamente la pregunta para otra proposicin, y as sucesivamente. En el razonamiento
cientfico, una cadena de razonamientos de este tipo se llama
anXlblA.
Para escribir una demostracin, todos los pasos del anlisis tendrn que tomarse en orden inverso. Esta forma de
presentar una demostracin, que es la usada generalmente en
los libros de texto y en clase, se desarrolla en el orden inverso que el anlisis y se llama lntel. La demostracin
de un teorema por el mtodo sinttico parece ms fcil y ms
atural, pero no debe olvidarse que, en la primera investigacin para realizar una demostracin, inevitablemente debemos
,iacr uso del anlisis.
- Por tanto, anlisis y sntesis son dos etapas insepara
blemente unidas de uno y del mismo proceso, la construccin
de una demostracin de un teorema dado, el anlisis es el mtodo para buscar los argumentos adecuados; la sntesis es el
Betodo para presentar la demostracin.
Por supuesto, al buscar los argumentos, no siempre se
encuentra de inmediato el camino correcto. En ocasiones, en

vez de confirmar con el primer enfoque, hay que usar algn

otro razonamiento. Con prctica continua se puede desarrollar la habilidad necesaria y aplicar con xito el mtodo
del anlisis, para encontrar los argumentos adecuados.
Por ltimo, consideremos todava otra distincin entre
los mtodos de demostracin: demostraciones dlCCtai < indAecta*. En una demostracin directa, se establece la vera
cidad de la proposicin que debe probarse, demostrando que
es una consecuencia de las proposiciones previamente probadas.
s

En una demostracin indirecta, se supone que la proposi_

cin que debe probarse es falsa y, a continuacin, se prueba
que esta suposicin es contradictoria a la hiptesis o bien
a alguna proposicin probada con anterioridad. Por esta razn, a la demostracin indirecta tambin se le da el nombre
de demostracin por contradiccin o bien, el de demostracin
por reduccin al absurdo.
Frecuentemente se aplica este tipo de demostracin
cuando, en la bsqueda de los argumentos, se observa que una
demostracin directa ser difcil o incluso imposible de hallar. En tales casos, se supone que es verdadera la proposi^
cin contraria a la que debe probarse y, entonces, se intenta hallar una cadena de razonamientos que conduzca a una con
clusin que contradiga a alguna proposicin previamente establecida.

3-4

se han sometido tantas veces a la verificacin prctica, que

-asi nadie duda de su veracidad. Pero esto no significa que
debemos considerar todas esas proposiciones como axiomas.
Por qu no aceptar todas esas proposiciones como axiomas?
En esa forma, no se simplificara mucho la exposicin de la
matemtica, considerando como superfluas a muchas demostra
ciones?
De hecho, la matemtica no se ha desarrollado de acuerdo con estos lineamientos. Por el contrario, los matemti
eos han buscado la manera de reducir la lista d axiomas ha
ta el menor nmero posible y obtener todos los dems conocimientos matemticos por el razonamiento deductivo, partiendo
de este nmero pequeo de verdades fundamentales. Por qu
seleccionaron este camino aparentemente ms difcil y compli
cado para construir un sistema de conocimientos matemticos?
Las razones para realizar ese esfuerzo fueron varias. En
primer lugar, cuando se reduce el nmero de axiomas, cada
axioma particular adquiere mayor significado, porque estos
axiomas contienen en s mismos, por decirlo as, toda la matemtica futura que va a deducirse a partir de ellos. Por
tanto, mientras menor sea el nmero de axiomas, ms importan
tes, profundas y de mayor alcance son las propiedades que re
vela cada axioma.
Otra razn para esforzarse en limitar el nmero de axio
mas, que mientras menor sea el nmero de axiomas, ms fcil
es investigar la validez de cada uno y de todos los axiomas
combinados. As nos enfrentamos con el problema de selec
cionar el menor nmero posible de las proposiciones ms bsi.
cas, generales e importantes de la matemtica que deben ser
aceptadas como axiomas. Como hacer esta seleccin?

BASES PARA LA SELECCION DE AXIOMAS.

Qu piopotlconeA e aceptan 6n demostracin? A primera vista, esta pregunta parece muy sencilla. El alumno di
ra que se aceptan como axiomas aquellas proposiciones cuya
veracidad ha sido ampliamente verificada y que no dan lugar
a duda. Sin embargo, cuando se intenta seleccionar tales
proposiciones en la prctica, encontramos que no es tan sencillo como parece. Gran nmero de proposiciones matemticas

En primer lugar, debemos tener presente que los axiomas

no pueden seleccionarse al azar, uno despus del otro, ya
que deben tener ciertas relaciones entre s. Entonces, en
la matemtica no se estudian axiomas aislados sino un sistema completo de axiomas, ya que slo un sistema considerado
como un todo, puede representar correctamente las propieda
des y las interrelaciones que existen en las matemticas.

Es ms, al seleccionar un sistema de axiomas, se debe

tener cuidado de no incluir un par de proposiciones que se
contradigan entre s, ya que no pueden ser las dos verdaderas
Ademas, los axiomas no solo deben ser compatibles e n tre s, sino que, entre las proposiciones deducidas a partir
de los axiomas no debe haber dos cualesquiera que se contradigan. Este requisito fundamental se llama C0ncUdA.N de CON

AiAtenCAXL.
Adems de lo anterior, tambin debe tenerse cuidado de
no incluir en nuestro sistema de axiomas, proposicin alguna
que pueda deducirse de otros axiomas. Este^requisito es obvio, en virtud de que se desea reducir al minimo^nuestro sis
tema, es decir, procurar que contenga el menor numero p o s i ble de proposiciones no demostradas. Si una proposicion dada puede probarse a partir de otros axiomas, entonces no es
un axioma sino un teorema, y no existe razn alguna para incluirlo en el sistema de axiomas. El requisito de que n i n gn axioma sea deducible de otros axiomas se llama C0ndA.CA.6n

de independencia.
Sin embargo, al tratar de hacer mnimo el sistema de
axiomas, no debemos llegar a extremos y omitir en el algunas
proposiciones que sean necesarias para deducir alguno de los
teoremas de las matemticas. Esto nos conduce a la tercera
condicin que debe satisfacer un sistema de axiomas, -Ol condicin de completo. Esta condicin puede expresarse de mane
ra ms precisa como sigue: Si el sistema de axiomas esta in
completo, entonces, siempre es posible construir una nueva
proposicin (por supuesto, una proposicion que use los m i s mps conceptos fundamentales que los axiomas) que no es deducible a partir de los axiomas y que tampoco los contradiga.
Si, por otra parte, el sistema de axiomas est completo, entonces cualquier nueva proposicin que se agregue al sistema
matemtico y que use los mismos conceptos de los que tratan
los axiomas, es una consecuencia de estos axiomas, o bien,
los contradice.

Con el objeto de aclarar todava mejor el significado de

las tres condiciones de completo, independencia y consisten
cia de un sistema de axiomas, daremos el siguiente ejemplo,
l proporciona una analoga bastante buena para ellas.
Examinemos un sistema de ecuaciones de primer grado en
tres incgnitas. Consideremos cada una de las incgnitas del
sistema como un "concepto" sujeto a definicin y cada ecua- cin como cierto tipo de axioma que permite determinar las r
laciones existentes entre estos conceptos. As, tenemos el
sistema '
2x - y - 2z

x + y + 4z

Es posible determinar las incgnitas x, y, z de este siste

ma? No, ya que, en este caso el nmero de ecuaciones es m e
or que el nmero de incgnitas. El sistema no satisface la
condicin de completo.
Ahora, tratemos de remediar esta deficiencia, agregndole al sistema una ecuacin:
2x - y - 2z

x + y + 4z

3x +3y +12z

= 18

Examinando cuidadosamente el nuevo sistema, se encuentra que

con la introduccin de la nueva ecuacin no ha mejorado la s.i
tuicin ya que la tercera ecuacin se deduce directamente de
la segunda (la tercera ecuacin es precisamente la segunda
ecuacin multiplicada por tres) y no se proporciona una nueva
relacin. Ahora, el sistema viola la condicin de independen
cia.
Cambiemos ahora la tercera ecuacin y examinemos el sistema siguiente:
2x - y - 2z = 3
= 6
X + y + 4z
3x +3y + 1 2z = 15

Pero nuevamente este sistema es intil para la determinacin

de las incgnitas. Porque dividiendo ambos miembros de la
ltima ecuacin por 3, se obtiene la ecuacin,
x + y + 4z

=5

mientras que la segunda ecuacin nos da

x + y + 4z

importantes de esta ciencia.

que se ha dicho.

RESUMEN.
a)

Se ha sealado que nuestros primeros conocimientos se ob

tuvieron por medio de la induccin, es decir, de l^j observaciones y los experimentos.

b)

Se han enunciado las propiedades bsicas y ms generales

de un sistema de proposiciones fundamentales llamadas
axiomas.

c)

Un sistema de axiomas correctamente construido debe s a

tisfacer las condiciones de completo, independencia y con
sistencia.

d)

Aparte de los axiomas, todas las dems proposiciones

(los teoremas) se obtienen mediante cadenas de deducciones, es decir, por medio del razonamiento deductivo, par
tiendo de los axiomas y teoremas probados previamente.
Tales cadenas de deducciones se llaman demostraciones.

e)

Para que una demostracin sea correcta, debe basarse en

razonamiento correcto. El xito en hacer demostraciones
correctas depende de 1) un enunciado preciso y correcto
de la proposicin que debe probarse. 2) La seleccin de
argumentos necesarios y vlidos. 3) Una observancia estricta de las reglas de la lgica en el curso de la de
mostracin.

=6

Cual de estas ecuaciones se debe creer? Es evidente que este es un caso de sistema inconsistente, cuyas incgnitas tam
poco se pueden determinar.
Si finalmente examinamos el sistema,
2 X - y - 2z

=3

x + y + 4z

=6

2x + y + 5z

=8

es fcil ver que el sistema tiene una solucin nica, (x=5,

y= 13, z= -3); o sea es consistente, independiente y completo.
Si a este sistema se agrega una cuarta ecuacin en x, y
y z, es una combinacin de las tres ecuaciones dadas o bien,
las contradice. De estas consideraciones, se ve que la selec
cin de los axiomas que van a usarse como el fundamento de
las matemticas est muy lejos de ser arbitraria y esta sujeta a requisitos muy rgidos. El trabajo de determinar un sis
tema aceptable de'axiomas se empez a fines del siglo pasado,
y aunque los eruditos han realizado muchos progresos en esta
direccin, la tarea an en la actualidad, no puede considerar
se terminada. En particular, al someter un sistema de axiomas existente a un nuevo examen sistemtico, en ocasiones los
matemticos descubren que el sistema contiene axiomas superfluos, es decir, "dependientes" que pueden deducirse de otros
ms sencillos o ms generales. Todas estas investigaciones
son de qran nteres para el matemtico porque su proposito es
averiguar cules son las propiedades ms generales, basicas e

Hagamos ahora un resumen de lo

3-5

CONSECUENCIAS.

Los axiomas que enlistamos en la unidad anterior pueden^

ser considerados en conjunto, puesto que se refieren a los me
todos para combinar los nmeros reales mediante las operaciones bsicas. Son tan simples que el estudiante los ha utilizado siempre, probablemente, sin darse cuenta exactamente qu

propiedades estaba empleando. No obstante, ellos son bsicos,

puesto que hay ciertos teoremas que se infieren directamente.
Los teoremas representan propiedades bsicas del conjunto de
nmeros reales y se aplicarn en los prximos captulos.
En las demostraciones convendremos en:
1)

2)

Si una proposicin demostrada, sea por el maestro o por

los estudiantes, es de aquella que usaremos a menudo para estructurar nuestro sistema deductivo la llamaremos
teorema. De otro modo lo llamaremos ejemplo. Hablando
estrictamente, todos son teoremas, pero usaremos esta
terminologa para que el estudiante sepa cules debe recordar .
Para abreviar, haremos referencia a los axiomas indicando los nmeros que les fueron asignados en la unidad anterior.

(-a) + a

-(-a)

Ax.

Ax.

son ambos inversos

= a

T-4

El estudiante puede establecer los teoremas enunciados

como parte de la demostracin.
Te.OA.emCL 15.

Ley de la cancelacin de la suma.

a + b

c + b

Salvo que se indique lo contrario, todas las variables

representan nmeros reales.
Vejno*tAaCA.n-

Ah donde falten referencias, el estudiante deber justi

ficario. En los teoremas que se enuncian sin demostracin,
se deja al estudiante que los demuestre. Los ejemplos y teo
remas que a continuacin se exponen, proporcionarn una mejor
comprensin de ellos y harn notar donde son utilizados en
nuestra aritmtica ordinaria y lgebra elemental.

Ax.

Estas ecuaciones revelan que -(-a)

aditivos de (-a), concluimos:

entonces,
3)

Teorema 14. El inverso aditivo del inverso aditivo de

:es a, es decir -(-a) = a.

VwOAtACLCYl:

Hiptesis:

a + (-a) = 0

Hiptesis:
Conclusin:

a + b = c+ b
a = c

1. a+b = c+b

1.
2.
3.
4.

2. (a+b) + (-b) = (c+b)+(-b)

3. a +[b+(-b)] = c +[b+(-b)]
4. a +0 = c+0

5. Axioma 5, en ambos lados

de la igualdad-

5. Ppr tanto, a=c

Teonema 16.

Ley de la cancelacin de la multiplicacin.

Conclusin: -(-a)=a
b 0, a.b = c.b
entonces,

Dado
Propiedad 5
Axioma 3
Axioma 6, en ambos lados
de la iqualdad.

a:

TeOAma

17.

Para cualquier

Vwo&t/iacn:

aCR, 0.a = a.O = 0

Hiptesis:
Conclusin:

Prop. 1

a = a
a.O = 0

1. a = a

Dato

2. a.O = a.O

Prop. 6

3. a.O = a.0+0

Axioma 5

4.

= a.0+ {a.O + Q-(a.O)]}

5.

= [(a.0) + (a.0)] + [-(a.O)] Axioma 3

6.

= a(0+0) + Q- (a.O)]

Axioma 4

7.

= a.O + Q- (a.O)]

Axioma 5

8.

= o

Axioma 6

Axioma 6

El producto de cualquier nmero real por

T e.0AQjma 1&.
bien, b=0.
V mOAtAaCsin:

1. ab=0}

si

a , b Ry

Hiptesis:
Conclusin

a^0

es

VemostAacln:

3. (1/a . a)b = 1/a . 0

Axioma 3

4. 1.b = 1/a .0

Axioma 6

5. 1.b = 0

Teorema 17

6. b=0

Axioma 5

(-a)b = - (ab) .

a,be R
(-a)b y -(ab) son ambos
inversos aditivos de ab
1.

2. (-a)b = (-a)b

2.

3. ab+(-a)b= ab+(-a)b

3.

4.

= ba + b(-a)

4.

= b(a+(-a) )

5.

= b.O

6.

= 0

7.

a=

a^0

Dado
Prop. 6

Hiptesis :
Conclusin:

1. (-a)b R

CoKolcvUo*:
ab= 0
b= 0

Si a,beR, entonces,

Por tanto, (-a)b es inverso aditivo de alv pero -(ab)

tambin es inverso aditivo de ab. Por tanto, (-a)b= -(ab)
T-4.

0.

ab = 0. entonces

2. 1/a (ab)= 1/a .(0)

Te.0A.ema 19.

De la misma manera se puede demostrar que si, ab=0

entonces a=0.

(-a)b = a (-b)

TeoA.ema 20.

Para cualquier

(-1)b = -b
a,bR

(-a)(-b) = ab
Teorema 21.

Si a, b ^ 0, a=b, entonces, 1/a = 1/b.

Te.0A.ejna 22.
Te.0A.ema 23.

Si a=b, entonces
Para cualquier

-a = -b.

a,bR

-(a+b) = -(a) + (-b)

En nuestro desarrollo de los nmeros reales hemos supue
to slo dos operaciones que son suma (+) y producto (x .).
Los axiomas slo dan las propiedades de la suma y de la multi^
plicacin. A travs del axioma 6, slo conocemos una propie-

dad de (-a): que es el nmero que al sumarse a (a) da 0,

por lo que hasta ahora visto sabemos que si 2eR, tiene un inverso aditivo -2R, y que 2 + (-2) = 0.
Hemos demostrado tambin teoremas concernientes a la suma y a la multiplicacin. Por tanto, es evidente la ventaja
de definir cualquier otra operacin en trminos de ellas.
Con esto en mente, introduzcamos un nuevo mtodo de asociar
los elementos de un par ordenado (a,b), con algn nmero real
y luego investiguemos la asociacin para ver si es una operacin binaria sobre R.
VzrUcUn de Aeta:

ma y esto es necesario si deseamos aplicar los axiomas

remas previos.

Las demostraciones de los siguiente teoremas se dejan al

estudiante.

La resta es el proceso que asocia

un nmero real C con un par ordenado de nmeros reales (a,b) tal
que a-b = C, o bien
a= b+C,
d^eAendonde a-b se llama la

a y b.

OJjX de

y teo

Teorema 25.

Si a R, entonces

Te.oA.ma 26.

-(a-b) = -a + b.

Teonama 27.

a -(b+cf = (a-b) - c

TeoAema 2S.

a + (b-c) = (a+b) - c

TeoA-em. 29.

a -(b-c) = (a-b) + c

TeoA.ema 30.

Si a=b, entonces, a-c = b-c

TeoAema 31.

a(b-c) = ab-ac.

a-0 = a.

EJEMPLOS.
7 - 2 = 5 , puesto que
JT

2 + 5 = 7

-J~2 = 0, puesto que J T

0 =JT

Cada nmero real tiene exactamente un inverso aditivo.

Sin embargo, cada par de nmeros tiene una suma nica. Por
ello, para cada par de nmeros reales a,b existe a + (-b) y
es nico. Pero notemos que b + a + (-b) = a. Por tanto, por
definicin de resta tenemos la siguiente igualdad:
a + (-b) = a - b
Esto nos conduce al siguiente teorema:
TeOKma 2 4 (n,e.6ta) .
nmero real nico a + (-b).

Para cualquier a,b e R, a-b es el

Este es un teorema muy til y poderoso. Usarlo nos permite realizar la operacin de resta convirtindola en una su-

Vemo-tAZLcXn:

Hiptesis: a,b,cR
Conclusin: a(b-c) = ab-ac

1. a (b-c) = a[b +(-c)]

1. Por definicin de resta.

2.

= ab + a(-c)

2. Axioma 4

3.

= ab + (-c)a

3. Axioma 2

4.

= a b + [ - ( c a ) J 4. Teorema 19

5.

= ab - ca

5. Por definicin de resta

6.

= ab - ac

6 . Axioma 2

Definamos ahora la divisin de una manera similar a la

que usamos para definir la resta.
Ve^-nlcXn de divisin: La divisin es el proceso que
asocia un nmero real C con un

par ordenado de nmeros reales

(a,b) tales que, a^b = a/b = c,
entonces b.c = a.
EJEMPLOS.
10 v 2 = 5, ya que 5 . 2 = 10
4 t 2 = 2, ya que 2 . 2 =

Esto contradice la hiptesis de que a ^ 0. Luego

/ 0 y, por tanto, debe tener un inverso multiplicativo
tal que (a/b)(b/a) = 1. Esto implica que
5. (a. 1/b)(b/a) = 1

5. Definicin de divisin.

6. (1/a . b) [(a. 1/b) (b/a)]=

6. Propiedad 6

= (1/a b).1

7. [(a. 1/a)(b. 1/b)] (b/a)=

Sabemos que la nica excepcin de la divisin es b / 0.

De tal manera que:
Teorema 32 (cUvtSln) . Para cualquier a,bE R, con b ^ 0
a/b es el nmero real nico a(1/b).

El smbolo a/b se lee el cociente de a dividido por b;

a es el numerador y 6 el denominador de la 'fraccin. Tambin se les llama dividendo y divisor respectivamente.
Nuevamente, recordamos el paralelismo entre la resta y
la divisin. Para restar 6 de a se suma a a el inverso
aditivo de b. Para dividir a entre b se multiplica por el
inverso multiplicativo de b.

donde

a,b

El inverso multiplicativo de

a/b

es

b/a,

7. Axiomas 2, 3 y 5

8. b/a = b/a

8. Axioma 5,6 y por definicin

de divisin.
Por tanto, a/b tiene un nico inverso multiplicativo.

T c o i m a 34.

Teoiema 33,

Vmostracin:

1/a . 1/b = 1/ab, donde a,b 0.

Hiptesis:
Conclusin:

a^0 y b^ 0 y ab^ 0
1/a . 1/b = 1/ab

1. (ab)(1/ab) = 1

1. Axioma 6

2. (1/a . 1/b) [ab. (1/ab)] =

(1/a . 1/b).1

2. Propiedad 6

3. [(a. 1/a) (b.1/b)]. 1/ab =

= 1/a . 1/b
4. 1/ab = 1/a . 1/b

Axiomas

4. Axioma 5 y 6

^ 0.

Vemos t/iacin:

Hiptesis :
Conclusin:

a/b
b/a,

a^0, b^0 y a/b 0

b/a es inverso multiplicativo nico

1. a/b 0

1. Dado

2. a ^ 0

2. Dado

3. a/b = 0, entonces b.0=a

3. Por definicin,divisin.

4. entonces a=0

4. Teorema 17 y propiedad 2

Teorema 35.
demostracin:

. = ^
b

b. a

Hiptesis:
Conclusin:

1. a/b.c/d = (a.1/b)fc.1/d)
2.
= (a.c)(1/b.1/d)
3.
= (a.c)(1/bd)
4.
= a.c/b.d

, donde b,d / o
b^O y d^0
a/b . c/d = ac/bd
1.
2.
3.
4.

Te.oA.ma 36.
Vmo&iaCsLn:
1.
2.
3.
4.

ac/bc =
=
=
=

r^ =
be
b

; b, c, y o
E s p e r a m o s q u e el e s t u d i a n t e h a y a v i s l u m b r a d o
la importancia del estudio de los axiomas y teoremas, puesto
que sern de gran utilidad en la resolucin de problemas y en
la comprensin de material posterior.

Hiptesis:
b^O y c 0
Conclusin: ac/bc = a/b
ac (1/bc)
1._
ac (1/b.1/c)
2,
(a. 1/b) (c. 1/c)
3.
a/b
4.
... ,

a
Teorema 37. b

Teorema 38. b

2. =
b

* , d o n d e
b

c
d

ad+^c ^ d o n d e
bd

Teorema 39. -(b)

J , donde
b

3-6

b ^ o
d

^ o

b ^ 0

Teoiema 40. b _ b

donde

b / 0

-r Teoiema 41. *
b
d

= - .
donde b, c, d / 0
b e '

Reconoce el estudiante estos ltimos teoremas como reglas que ha estado usando en Aritmtica y Algebra? El teorema \36 se usa cuando se reduce una fraccin a trminos ms sim
pies o se eleva a trminos mayores; los teoremas 34 y 35 se usan para multiplicar fracciones; etc.
Ademas de estudiar todos los teoremas demostrados, el es
tudiante debera resolver problemas con respecto a los teoremas; en esta forma, quedarn claras la mayor parte de las

ideas bsicas del Algebra y se pondrn de manifiesto las razo

nes lgicas que hay tras de estas ideas.
Ahora s, estamos en condicin de que el estudiante inicie las operaciones con expresiones algebricas, donde supone
mos que todas las variables que intervienen son nmeros reales, a menos que consignemos las restricciones especficamente.

APLICACIONES DE LOS AXIOMAS DE CAMPO DE LOS NMEROS

REALES.
EJEMPLO 1.

Despejar "a" de la ecuacin: 2a + 1 = 5,

justificaciones necesarias en cada paso:
2a +

-1 + 2a + 1
2a + 1 - 1
2a + 0
2a
1

aR dando las

= 5

dato

- -1 + 5

propiedad aditiva

= - 1 + 5

ley conmutativa

= - 1 + 5

elemento inverso aditivo

=4

elemento identidad suma y hecho

conocido

(2a)

propiedad multiplicativa

(y) (2)(a) = j (4)

1.a
a

=
=2

(4)

ley asociativa
elemento inverso multiplicativo
elemento de
hecho conocido; y
identidad mult.

EJEMPLO 2
Despejar "a" de la ecuacin:
3a - 2
5
3a-2
5(
)

3a - 2
3c

= a + 2;

= a + 2

dato

= 5(a+2)

prop. multiplicativa

a R.

5(j) (3a - 2) = 5 (a+2)

1. (3a - 2) = 5(a+2)

(3a - 2) = 5 (a+2)

ley asociativa
elemento inverso multiplicatjL
vo

A continuacin, el alumno tratar de resolver los si- guientes ejemplos dando la justificacin necesaria en cada
paso (utilice los axiomas de campo y las propiedades de la
igualdad).

elemento de identidad de la
multiplicacin

EJEMPLO 3.
Despejar

3a - 2

5a + 5 U )

ley distributivo*

3a - 2

5a + 10

hecho conocido

5a + 10 + 2

propiedad aditiva

3a + 0

5a + 12

elem. inverso aditivo y hecho

conocido

3a

5a + 12

elem. identidad suma

-5a + 3a

-5a +5a +12

propiedad aditiva

-5a + 3a

5a -5a + 12

ley conmutativa

-5a + 3a

0 + 12

elemento inverso aditivo

-5a + 3a

12+0

ley conmutativa

-5a + 3a

12

elem. identidad suma

EJEMPLO 4.

3a - 5a

= 12

ley conmutativa

Despejar "a" de la ecuacin, 2a - 1 = 5a

a(3-5)
a (-2)

ley distributiva
hecho conocido

3a - 2 + 2

12

= 12

de la frmula, F = ma ; a ^ 0

F ma
ma = F

2.

ma ( ) = F (-)
a
a

3.

m. 1 = F ()
a

4.

m = F (1)
a

5.

m = F/a

6.

2a - 1 = 5a
5a = 2a - 1

a (-2) (-j)
a. 1

12 ( ~ )

propiedad multiplicativa

12(--)
1 2 (-)

- 6

1.
2.

5a -2a = 2a-1-2a

3.

elemento inverso multiplicati

vo

5a -2a = 2a-2a-1

4.

5a -2a = 0 - 1

5.

elem. identidad multiplicacin

5a -2a = -1

6.

hecho conocido

a (5-2)

= -1

7.

a(3) = -1

8.

(3)a = -1

9.

3a
(1) 3a

10.

RESPUESTAS A LAS AUTOEVALUACIONES DE LA LECCION 2.

=-1(y)

11.

AUTOEVALUACI0N 1.

1 . a = -1 (1/3)'

12.

ar = -1 (y)

1 .2.3.4.5.6.7.8.9.-

13.

a = 1 .

14

a = - 1/3

15.

AUTOEVALUACION 4.
Despejar la variable indicada en cada problema dando la
justificacin necesaria en cada paso.
1.-

Despejar

2.-

Despejar

de la formula

v= d/t.
b
de la ecuacin a- V-.

18. 19.20. 21 .22.23.24.31 .32.33.34.35.36. 37.38. 39.-

<t>
Infinito.
Infinito.
Infinito.
Finito.
Infinito.
Finito.
Infinito.
Finito.
Infinito.
Finito.
Finito.
Falso.
Verdadero
Verdadero.

Falso.
Verdadero.
Verdadero.
Fal0.
Falso.
Verdadero.
Verdadero
0.875
0.006
5.666
0.6363
0.144
1.02
4/9
70/99
601/495

AUTOEVALUACION 2.

3.-

Despejar

de la ecuacin a=

4.-

Despejar

de la frmula

M= C + Crt-

5.-

Despeja

de la formula

A-

6.-

Despejar

de la frmula

F=

7.-

Despejar

de la ecuacin 6K = 3.

8.-

Despejar

de

9.-

Despejar

de la ecuacin

3x = 15 + 2x

10.-

Despejar

de la frmula

C= 2iTr.

c-1

11.12.13.14.,15.16.17.-

{2,5,17,37}

bh

^ .
9
77 C + 32.

la ecuacin 3y + 7 = 5.

5.10.11.12.13.14.-!
15.-

12
Verdadero.
Falso.
Verdadero.
Falso.
Falso.
N: 2
Z: -4,0,2
Q: -4,0,-1/3, 3/8,2
S:
IT
R: todos

16.- Propiedad 5.
17.- Propiedad 6.
18.- Propiedad 3.
19.- Propiedad 3.
20.- Propiedad 5.
21 .- 1. Dado.
2. Axioma 1.
3. Propiedad
4. Propiedad
22.- 1.
2.
3.
4.

Dado.
Axioma 1.
Propiedad 1
Propiedad 4

AIJTOHVALUACI ON 3.
4.5.6.7.8.-

N:
Z:
Q:
R:
c

cerrado
cerrado
cerrado
cerrado
y d

ex, que

10.11.12.13.14.15.17.19.20.21.22.23.24.25.26.27.28.29.30.31.32.33.34.35.36.37.38.-

en
en
en
en

B I B L I O G R A F A .
1 Y 3.
1 ,2 y 3.
1 ,2,3 y 4.
1 ,2,3 y 4.

i-vq

39.- 1.
2.
3.
4.

Axioma
Axioma
Axioma
Axioma

3.
2.
3.
3.

1U . - 1. axioma .
2. Axioma 2.
3. Axioma 3.

b) que q sea submltiplo de p y de un entero positivo como re s

41.- 1. Axioma 4
sultado.
No.
Axioma 2.
S.
Axioma 3
4.
S.
5. Axioma 3
No.
6.
b y d
Axioma 2
La suma y multiplicacin.
Axioma 3
La suma y multiplicacin.
Axioma 4
La suma y multiplicacin.
10
Axioma 4.
Axioma 2.
Axioma 3.
Axioma 4.
Axioma 2.
Axioma 4.
Axioma 4.
Axioma 2.
Propiedad 5.
Propiedad 3.
Propiedad 5.
Propiedad 6.
5,3, /2 ; axioma 4.
1/2, 2; axioma 3.
8,7,5; axioma 2.
2,7,5, /2; axioma 2.
8,3,5; axioma 3.
8,3,7; axioma 4.
8,4,3; axioma 4.

Allendoerfer Carl, Oakley Cletus.

FUNDAMENTOS DE MATEMATICAS UNIVERSITARIAS.
Ed. McGraw-Hill de Mxico, S.A. de C.V.
Anfossi.
CURSO DE ALGEBRA.
ED. Progreso, S.A.
Baldor, A.
Algebra.
EDIME

Organizacin Grfica.

Dolciani, Berman, Freilich.

ALGEBRA MODERNA (Tomo I).
Publicaciones Cultural, S.A.
Dolciani, B e r m a n W o o t o n .
ALGEBRA MODERNA Y TRIGONOMETRA (Tomo 2).
Publicaciones Cultural, S.A.
Hall, Knight.
ALGEBRA ELEMENTAL.
Montainer y Simon, S.A. Barcelona.
Lehmann, Charles.
ALGEBRA.
Ed. Limusa,S.A.
Lovaglia, Florence - Elmore, Merritt-Conway, Donald.
ALGEBRA.
Harper y Row Latinoamericana (HARLA,SLAL de C.V.).

AIJTOHVALUACI O N 3 .
4.5.6.7.-

N:
Z:
Q:
R:

cerrado
cerrado
cerrado
cerrado

8.-

1 Y 3.
1 ,2 y 3.
1 ,2,3 y 4.
1 ,2,3 y 4.

39.- 1.
2.
3.
4.

Axioma
Axioma
Axioma
Axioma

3.
2.
3.
3.

1. A X L O L U D

ex, que

10.11.12.13.14.15.17.19.20.21.22.23.24.25.26.27.28.29.30.31.32.33.34.35.36.37.38.-

en
en
en
en

B I B L I O G R A F A .

i-vq

1U . -

2. Axioma 2.
3. Axioma 3.

b) que q sea submltiplo de p y de un entero positivo como re s

41.- 1.
sultado.
No.
S.
4.
S.
5.
No.
6.
b y d
La suma y multiplicacin.
La suma y multiplicacin.
La suma y multiplicacin.
10
Axioma 4.
Axioma 2.
Axioma 3.
Axioma 4.
Axioma 2.
Axioma 4.
Axioma 4.
Axioma 2.
Propiedad 5.
Propiedad 3.
Propiedad 5.
Propiedad 6.
5,3, /2 ; axioma 4.
1/2, 2; axioma 3.
8,7,5; axioma 2.
2,7,5, /2; axioma 2.
8,3,5; axioma 3.
8,3,7; axioma 4.
8,4,3; axioma 4.

Axioma 4
Axioma 2.
Axioma 3
Axioma 3

Allendoerfer Carl, Oakley Cletus.

FUNDAMENTOS DE MATEMATICAS UNIVERSITARIAS.
Ed. McGraw-Hill de Mxico, S.A. de C.V.
Anfossi.
CURSO DE ALGEBRA.
ED. Progreso, S.A.
Baldor, A.
Algebra.
EDIME Organizacin Grfica.

Axioma 2
Axioma 3
Axioma 4

Dolciani, Berman, Freilich.

ALGEBRA MODERNA (Tomo I).
Publicaciones Cultural, S.A.
Dolciani, B e r m a n W o o t o n .
ALGEBRA MODERNA Y TRIGONOMETRA (Tomo 2).
Publicaciones Cultural, S.A.
Hall, Knight.
ALGEBRA ELEMENTAL.
Montainer y Simon, S.A. Barcelona.
Lehmann, Charles.
ALGEBRA.
Ed. Limusa,S.A.
Lovaglia, Florence - Elmore, Merritt-Conway, Donald.
ALGEBRA.
Harper y Row Latinoamericana (HARLA,SLAL de C.V.).

9.- Nichols, Eugene D.

ALGEBRA MODERNA ELEMENTAL.

Compaa Editorial Continental, S.A. (CECSA)

10.- Nichols, Heimer, Garland.
ALGEBRA MODERNA.

Compaa Editorial Continental, S.A. (CECSA)

11.- Rees, Sparks.

ALGEBRA.

Editorial Reverte Mexicana, S.A.

12.- Rider, Paul R.
ALGEBRA.

Editorial Herrero.
13.- Schaaf, Peters.
ALGEBRA,

UN ENFOQUE MODERNO.

Editorial Reverte Mexicana,S.A.

14.- Tomber, Marvin L.
INTRODUCCIN AL ALGEBRA CONTEMPORANEA.

Union Tipogrfica Editorial Hispano-Americana (UTHEA).

15.- Swokowski, Earl.
ALGEBRA

UNIVERSITARIA.

Compaa Editorial Continental, S.A. (CECSA)

16.- Wentworth y Smith.
ELEMENTOS DE ALGEBRA.
Editorial Porrua, S.A.

n>no

ALQUILADO