Professional Documents
Culture Documents
CAPITULO
El concepto de conjunto es bsico en matemticas. Un conjunto es una coleccin de cosas u objetos. 'Tales objetos se llaman elementos o miembros del conjunto y se dice que pertenecen al conjunto o que estn contenidos en l. Por ejemplo, viernes es un elemento del conjunto de los das de la semana; diciembre es un miembro del conjunto de meses del ao civil. Un conjunto se denota en tal forma que no exista duda en cuanto a qu elementos le pertenecen. Una forma de hacerlo es enumerar sus elementos. Si se considera el conjunto de los tres primeros meses del ao civil y para denotarlo se usa el smbolo {enero, febrero, marzo} entonces el smbolo {enero, febrero, marzo} se interpreta como "el conjunto cuyos elementos son enero, febrero, marzo", Cuando el smbolo anterior se usa para denotar conjuntos, los elementos se encierran en llaves { }, y se separan con comas. Generalmente se usan letras maysculas para nombrar a los conjuntos. Por ejemplo,
el conjunto de las letras del alfabeto, los tres puntos indican que las letras de la e a la w tambin son elementos de B, aunque no se enumeran.
11
12
El conjunto de los nmeros que se utilizan para contar se llama conjunto de los nmeros naturales, a saber,
N= {1,2,3,4,5, ...}
El conjunto de los nmeros naturales es un conjunto interminable. Ntese, que al denotar dicho conjunto se usan tres puntos que, en este caso, significan: "y as se contina indefinidamente". Otra forma de designar un conjunto consiste en especificar una caracterstica que debe poseer cada elemento del conjunto. As, al considerar el conjunto de los nmeros naturales menores que 6, entonces un objeto ser miembro de este conjunto si es un nmero natural y adems, es menor que 6. Denotamos este conjunto as
Este smbolo se lee: "El conjunto de todos los elementos x tales que x es un nmero natural y x es menor que 6". Esta forma de denotar conjuntos se llama notacin estructural de conjuntos. La barra que aparece en esta notacin se lee "tal que". La letra que se usa en la notacin estructural como la x en el conjunto e, se llama variable; en tal conjunto la variable x puede substituirse por cualquiera de los nmeros naturales 1, 2, 3, 4 5. El conjunto cuyos elementos pueden reemplazar a x, (en este caso, el conjunto de los nmeros naturales menores que 6) se llama conjunto de substitucin, dominio de la variable o simplemente dominio. Cuando dos conjuntos tienen exactamente los mismos elementos, como por ejemplo P = {1, 2, 3, 4} y Q = {x I x es un nmero natural menor que 5), se dice que son iguales y escribimos P =
Q.
DEFINICION 1.1 Dos conjuntos, A y B, son iguales. si y slo si tienen exactamente los mismos elementos; esto se denota A = B.
La frase "si y slo si" que se usa en' la definicin 1.1 es una forma de decir dos afirmaciones a la vez. As la definicin 1.1 es equivalente a la siguiente oracin compuesta: Si los conjuntos A y B son iguales, entonces exactamente los mismos elementos y, recprocamente si los conjuntos A y B tienen los mismos elementos, entonces son iguales. El smbolo E significa "es un elemento de" o "pertenece a", al referirse a un elemento de un conjunto. Por lo tanto, si
C = {l, 2, 3, 4 }
vemos que 2 es un elemento de
e y se escribe
2EC
...L
ueIlnlClones
SlmOUIU.!i
UI l':UCla
'-'"...Ju .....,,13
r
I
El smbolo rt. se usa con el significado "no es un elemento de" o "no pertenece a". As, ya que 7 no es un elemento de e, se escribe
7rt.C
Hay algunos conjuntos que no tienen elementos. Por ejemplo, el conjunto de meses un ao de exactamente 52 das no contiene elementos. Un conjunto que no tiene elementos se llama conjunto vacio. Para denotarlo se usa el sm bolo 0. Un conjunto puede contener muchos elementos. Por ejemplo,
a l s y
n e a
o r s s e
e a s -
B={2,4}
es un subconjunto de
= {1, 2, 3, 4, 5}
se usa para
ya que cada miembro de B es un miembro de A. El smbolo representar que "es un subconjunto de" es decir
...L..
14
LOS
DEF'INICION 1.2 Si cada elemento del conjunto B es tambin un elemento del conjunto A, entonces B es un subconjunto de A.
En base a la definicin 1.2 podemos decir que el conjunto A es un subconjunto de s mismo? Ciertamente, pues cada elemento del conjunto A es un elemento de A mismo y, por consiguiente, se satisface.la definicin 1.2. Es decir, A es un subconjunto de s mismo. Cada conjunto es un subconjunto de s mmo. El conjunto vaco es subconjunto de cualquier conjunto. Cada elemento de 0 es un elemento del conjunto A, pues 0 no tiene elementos. En este sentido 0 est "contenido" en cualquier conjunto.
E:JEMPJ:.O 1. Enliste entre llaves los elementos del conjunto de los nmeros naturales menores que 10. SOLUCION
{l, 2, 3, 4, 5, 6,7,8, 9}
EJEMPLO 2. Usando la notacin estructural escriba el conjunto de los nmeros naturales menores que 10. SOLUClON
{X I x
es un nmero natural y
El conjunto de elementos implicados en cualquier problema particular se llama conjunto universal o, simplemente universo, y se denota con la letra mayscula U. Por ejemplo, las ciudades del mundo generalmente se clasifican en conjuntos tales como: el conjunto de las ciudades europeas, el conjunto de las ciudades americanas, el conjunto de las ciudades africanas, etc. . Cada uno de estos conjuntos es un subconjunto de un conjunto universal que, en este casQ, es el conjunto compuesto por todas las ciudades del mundo. El universo cambia de acuerdo al problema. Luego, si se considera a los Cardenales de San Luis, los Bravos de Adanta, los Mets de Nueva York y los Gigantes de San Francisco cuyos miembros son todos jugadores profesionales de bisbol', el universo en este problema particular es el conjunto de los jugadores profesionales de bisbol.
EJERCICIOS 1.1
Enlistar entre l. 2. 3. 4. 5. El El El El llaves los siguientes conjuntos (ejercicios del 1 al 10).
conjunto de los das de la semana. conjunto de los nmeros naturales entre 1 y 15. conjunto de los nmeros naturales menores que 30 que son divisibles entre 3. conjunto de los nmeros naturales mayores que 11. {x I X es un mes del ao}.
una estacin del ao}. un nmero natural menor que 12}. un nmero natural y x es mayor que 10 pero menor que 20}. un estado de la Repblica Mexicana y x est en la costa del Pacfico}. un nmero natural par}.
Denotar los siguientes conjuntos con la notacin estructural (ejercicios del 11 al 20).
11. 12. 13. 14. 15. 16. 17. 18. 19. 20.
{a,b,c,d}.
{enero, junio, julio}.
{11, 12, 13, 14, 15, 16}. {5, 10, 15,20, }. {l5, 16, 17, }. {2, 3, 4, 5, 6, 7, 8}.
a) El conjunto de los nmeros naturales b) El conjunto de los cuadrados de cinco lados c) El conjunto de los estados de la Repblica Mxicana cuyos nombres comienzan con con la letra A. 3 = 7 y x es un nmero natural}. d) {X X es la solucin de la ecuacin X e) {X X es la solucin a la ecuacin x2 1 = O y x es un nmero natural }.
I I
+ +
22. Escribir todos los subconjuntos de A 23. Escribir todos los subconjuntos de A 24. Dado el conjunto elementos.
= {l, 2, 3}.
= {1, 2, 3, 4, 5} que tienen tres elementos. A = {2, 4,6, 8,l0} escribir todos los subconjuntos que tengan dos
a) A b) 0
A
A
c) U d) 0
A
U
1.2
Ahora definiremos las operaciones de unin e interseccin, as como el complemento de un conjunto. Iniciaremos nuestro estudio con la definicin de la unin de dos conjuntos A y B:
DEFINICION 1.3. La unin de dos conjuntos A y B, que se denota por A U B y se lee como "A unin B", es el conjunto de todos los elementos que pertenecen a A o que pertenecen a B Con la notacin estructural la unin de A y B se denota de la siguiente forma:
A U B = {x I x
EA
O X
E B}
En la definicin de unin la "o" es un ejemplo del uso "inclusivo" de la palabra "o" y significa uno u otro, o bien ambos. En el lenguaje comn, se usa frecuentemente la palabra "o" en sentido exclusivo, que significa uno u otro pero no ambos; as, cuando decimos "Hoyes martes o jueves" la palabra "o" se usa en sentido exclusivo pues se afirma que hoyes martes o que es jueves, pero no ambos. En esta obra siempre usamos la "o" en sentido inclusivo.
= el, 2. 3.4.5. 6}
y B
U B.
A U B = {l,2,3,4,5,6, 7,9}
Ntese que si bien algunos elementos pertenecen a ambos conjuntos, A y R, stos se enumeran slo una vez en A U B. As pues, al formar A U B, lo nico que se necesita es reunir los elementos de A con aquellos de R que no han sido ya nombrados en A . EJEMPLO 2. Dados P SOLUCION
= {a, b, e, d}
Q = {r, s, t},
encontrar P U
Q.
P U Q = {a, b, e, d, r, s, t}
A
EJEMPLO 3. Dados A = encontrar A n B. SOLUCION EJEMPLO 4. Dados C SOLUCION: ta que
= {x I x E A
y
E B}
el, 2, 3, 4, 5, 6}
A
Ji =
B = {2,4,6}
= {a, b, e, d, e}.y
D.
ey
D no tienen
su interseccin es el
conjunto vaco 0:
17
0.
A' = {x 1 x E U
EJEMPLO 5. Si U SOLUCION
fl A}
y
EJERCICIOS 1.2
e = tx I x
= {x I x
= {x I x
es un nmero natural}, y los siguientes subconjuntos de U: es un nmero par }, B {x x es ud nmero menor que lO}, Y es un mltiplo de 3}, encontrar:
= I
Enumerar los elementos de los conjuntos que se piden en los ejercicios del 3 al 12, usando los conjuntos siguientes: los conjuntos A. B Y e son subconjuntos de U.
4. 5. 6. 7.
A' Bn B U B'
18
13. 14. 15. 16
A U U A n U A n 0 A U 0
=U
= =
=U
0 0
(e) A
=BnA
A U A = ? 0 n A ? U n U =? A U A' = ?
= =
B U A. 26. Explicar por qu A n B B n A. 27. De las. siguientes expresiones cules son verdaderas?
= =
(A (A
n B) n B)
<;;:; A.
Conjuntos de nmeros.
A travs de todo el texto consideraremos conjuntos de nmeros que, en la mayora de los casos, son ya conocidos por el estudiante. En seguida definiremos estos conjuntos.
DEFINICION 1.6. El conjunto de los nmeros naturales que se conjunto de los 'nmeros que usamos para denota por N y es el
Se escribe:
= {1, 2, 3, 4, 5, ... }
se denota por W y
DEFlNICION 1.7. El conjunto de los nmeros no consiste de los nmeros naturales y el cero.
Se escribe:
W= {0,1,2,3,4, ...}
"-'uJu
'"'
DEFlNICION 1.8. El conjunto de los nmeros enteros se denota por z y consiste del conjunto de los naturales, de sus negativos y del cero.
Se escribe:
b,:
I a E z: b E z,
t, -t, t,
y
y b
* O}
-l
Entonces los nmeros racionales se representan como fracciones. Ntese que todos los nmeros racionales se pueden representar como fracciones, pero no todas las fracciones representan nmeros racionales. Por ejemplo, los quebrados
'11
V2
4'11
V2
Se recordar que los nmeros racionales tambin se representan por medio de terminaciones decimales o de decimales peridicas. As,
t =
0.5 = 0.25
t=
= 0.333 . 0.1666 .
Podemos observar que t y t se representan por medio de terminaciones decimales, mientras que t y se representan mediante decimales repetidos o peridicos. En este caso, los tres puntos en 0.333 ... , significan que el tres se repite indefinidamente.
Algunos nmeros, como se pueden aproximar por un decimal, pero sin que aparezca repetido un nmero en particular. Por ejemplo,
V2,
yI2 . 1.41
. 1.414 . 1.4142 . 1.41421, etctera
(el smbolo . significa "aproximadamente"). A tales nmeros se les llama nmeros irracionales. El conjunto de los nmeros irracionales se define
..nl"', -
J "' ...
.... _ U
.....
como el conjunto de los nmeros que pueden aproxim,arse por termina ciones decimales no repetidas, interminables, pero que no se pueden representar como el cociente de dos enteros. Recordemos tambin que los nmeros se pueden representar como longitudes de segmento de lnea. Por ejemplo, en el tringulo recto de la figura 1.1 cada cateto representa 1 y la hipotenusa representa Entonces los nmeros irracionales se pueden definir como aquellos que pueden representarse como longitudes de segmento de lnea, o sus negativos, pero que no pueden representarse como el cociente de dos enteros.
V2.
J
figura 1.1
DEFINICION 1.10. El conjunto de los nmeros irracionales, el cual denotamos por S es el eonjunto de los nmeros que pueden representarse como longitudes de segmentos de lnea o sus negativos, pero que no pueden representarse como el cociente de dos enteros.
V2, 'TT,
V5.
DEFINICION 1.11. El conjunto ,de los nmeros reales se denota por R y consiste del conjunto de todos los nmeros racionales y de todos los nmeros irracionales.
Podemos escribir:
R=QUS
DEFINICION 1.12. El conjunto de los nmeros complejos, se denota por e, y es el conjunto de todos los nmeros que se pueden representar en la forma a bi, en dnde a y b son nmeros reales y, adems i 2 -1.
e=
{z I z = a
+ bi, a E R, b E R,
e i2
-l}
Conjunto de nmeros
21
Los ejemplos siguientes ilustran el uso de la notacin de conjuntos, as como \'arios conjuntos de nmeros,
EJEMPLO] . Enumerar los elementos de {x I x es un entero y x es divisible entre
o a
5} .
e s s
SOLUCION. Puesto que cada elemento del conjunto dado es un entero y un mltiplo de 5 (esto es, cada elemento es divisible entre 5), cada elemento es de la forma 5k, en donde k es un entero. Por lo tanto el conjunto es
{x
IX E R
> V21
EJEMPLO 3. Usando la notacin estructural, denotar los nmeros reales mayores que - 6 pero menores que 6, SOLUCION
{x I xER y -6<x<6)
= {x I xER
r e l
EJERCICIOS 1.3
Enumerar los elementos de los siguientes conjuntos (ejercicios del I al 10)
1. 2, 3 4. 5.
6. 7. 8.
9. lO.
el n
es un nmero natural mayor que 6 y menor que es un entero entre --4 y 5J. {x x es un nmero Jlatural y x es mayor que 6}. {x X es un entero no negativo} . {x x es un entero negativo). {x x es un nmero natural entre 3 y 7}. {x x es un nmero natural divisible por 3). {x X es un entero y x es divisible por 3). {x x es un nmero natural par}. {x I x es un entero impar),
{x x {x X
18).
Usando la notacin estructural, denotar los siguientes conjuntos (ejercicios del II al 18).
de los nmeros naturales mayores que 5, d e los enteros pOSItIVOS. .. de los nmeros naturales impares.
22
15. 16. 17. 18. 19.
El conjunto de los nmeros reales entre -2 y 2. El conjunto de los nmeros reales mayores que -5 y menores que 10. El conjunto de los enteros pares. El conjunto de los nmeros reales mayores que 1.86. Cules de las siguientes proposiciones son verdaderas? (a) Todos los nmeros reales son nmeros racionales. (b) Todos los nmeros irracionales son nmeros reales. (e) Todos los enteros son positivos o son negativos. a (el) Todos los nmeros irracionales se presentan en la forma donde a y b Son enteros y b =1= O. 20. Cules de las siguientes proposiciones son verdaderas? (a) {x X es un nmero racional} <: {X X es un nmero real} (b) {X X es un nmero real} n {x X es un nmero racional} {X X es un nmero irracional} . (e) {x X es un entero} <: {x X es un nmero natural}.
I I
1.4
Las afirmaciones matemticas que se suponen ciertas sin necesidad de justificacin, se llaman axiomas o postulados. Primero enunciaremos los axiomas de igualdad. Se usa el smbolo =, se lee: "igual", para denotar la relacin usual de igualdad. Al escribir a = b, se indica que a y b son nombres para la misma cosa.
AXIOMAS DE IGUALDAD
En los siguientes axiomas, a, b y c representan nmeros reales. E-l (Propiedad re./lexzva) Para toda a, a = a E-2 (Propiedad sz'mtrz'ca) Para toda a y b si a = b entonces b ;=: a E-S (Propiedad transz"tz'va) Para toda a, b y c, si a = b y b = c, entonces a = c E-4 (Propz'edad de substz"tucz"n) Dada una expresin matemtica, una cantidad cualquiera puede substituirse por otra igual sin que por ello se altere la veracidad o la falsedad de la expresin. E-5 (Propz"edad adz"tz'va) Si a = b entonces a+c = b+ c y c+a = c+b E-6 (Propz'edad multzplz"catz'va) Si a = b entonces ac = bc y ca = cb Ahora enunciaremos los axiomas para el sistema de los nmeros reales con las operaciones binarias de suma y multiplicacin. En los elementos de un conjunto S una operacin binaria es una regla que asocia un elementO nico de S a cada par de elementos a y b de S, tomados en este orden. por
,;)
ejemplo, la operacin binaria de suma, asocia el nmero real nico 14 a la pareja de nmeros reales 6 y 8 (en este orden). La operacin binaria de multiplicacin asocia el nmero real nico 48 a la pareja de nmeros reales 6 y 8 (en este orden).
DEF1NICION 1.13. Una operacin binaria sobre un conjunto S, es una regla que asocia un nico elemento de S, a cada par de elementos a y b de S, tomados en este orden.
Son
mero
d de los para ue a
La operacin binaria de suma se denota por el smbolo +. El nmero real nico que la operacin de suma le asocia al par de nmeros reales a y b, se llama la suma de a y b y se denota por a + b. Luego, la suma de 6 y S es 6 + S. La operacin binaria de multiplicacin se denota por el smbolo X, un punto intermedio o colocando los factores adyacentes uno al otro. El nmero real nico que la operacin binaria de multiplicacin le asocia al par de nmeros reales a y b, se llaman el producto de a y b y se denota por a X b, a . b, abo Luego, el producto de 6 y 8 se denota como 6 X S, 6' S, (6)(S).
nces
una o se
R-5
+b b
.J
... _ ....
r'U'....."-...
(Elemento idntico para la multiplicacin). Existe un elemento 1 en R llamado elemento idntico para la multiplicacin o idntico multiplicativo, tal que para todo a, a . 1 = 1 . a = a. R-lO (Propiedad del inverso multiplicativo). A cada nmero real a distinto de cero, (a =1= O), le corresponde un nmero real nico, que se denota
R-9 por
0
1.,
a
.1=1. 0
a a
=1.
c:=
ab+ac y
En los axiomas R-l y R-6, las propiedades de cerradura establecen que la suma y el producto de los nmeros reales es siempre un nmero real, y que cada suma y producto se determina unvocamente. Dado que la suma de dos nmeros reales es un nmero real, se dice que el conjunto de los nmeros reales es cerrado bajo la operacin de suma o, simplemente, cerrado con respecto a la suma. De la misma manera, el conjunto de los nmeros reales es cerrado con respecto a la multiplicacin. Cuando el resultado de una operacin binaria en los elementos de un conjunto, es un elemento del mismo conjunto, se dice que el conjunto es cerrado bajo esa operacin. Por ejemplo, el conjunto de los enteros con la operacin de suma y de multiplicacin, es cerrado, porque la suma y el producto de dos enteros cualesquiera es de nuevo un entero. El conjunto de los enteros impares es cerrado bajo la operacin de multiplicacin, pero no lo es bajo la operacin de suma, ya que el producto de dos enteros impares cualesquiera es un entero impar, pero la suma de dos impares cualesquiera es un entero par, no un entero impar. Los axiomas R-2 y R-? son l(is propiedades conmutativas. Estos axiomas establecen que el orden en el que se suman o se multiplican dos nmeros reales cualesquiera no afecta la suma o el producto. Por ejemplo,
3+6=6+3
36
63
Las operaciones de substraccin y divisin que se definirn ms tarde, no tienen esta propiedad. Las propiedades asociativas R-3 y R-8, establecen que tres nmeros en una suma o producto se pueden agrupar en dos formas, sin que por ello cambie el resultado. Esta propiedad asociativa se generaliza al aplicar la suma y el producto a cuatro nmeros o ms. Los axiomas R-4 y R-9 expresan la existencia de ciertos nmeros reales especiales, as corno de sus propiedades. Los axiomas R5 y R-IO dicen '1I1J() ciertas parejas de nmeros reales se relacionan con los nmeros (,s!lf'cia!es O y l.
1.-
.. U ......,CU1;
e...,......,"
s..,
xioma 11 combina las operaciones de suma y de multiplicacin en la ada propiedad distributiva. . propiedad distributiva se puede generalizar para la' suma de tres o ms sumandos, de la siguiente forma
a(b
a(b e
+ +
e d
+ d) = + e) =
ab ab
+ +
ae ae
+ +
ad ad
ae,
as sucesivam'ente
Si en un conjunto dado F, se definen un par de operaciones sobre los elementos de F, que satisfacen los axiomas R-l hasta R-ll, entonces decimos que F es un campo bajo tales operaciones. El conjunto de los nmeros reales con las operaciones de suma y multiplicacin se llama el campo de los nmeros reales. El conjunto de los nmeros racionales con las operaciones usuales de suma y de multiplicacin es tambin un campo, el campo de los nmeros racionales.
EJEMPLO 1. Qu axioma de los nmeros reales nos asegura que
(-3)
SOLUCION
[-(-3))
= O?
EJEMPLO 2. Qu axioma de los nmeros reales permite asegurar que para todo nmero real y
=i= O,
1 y.-
=1
SOLUCION
a - b, se define corno a
+ (-b):
a - b
= a + (-b)
reales y
son nmeros
%o
a(i ):
=i= O,
su cociente, que se
26
Justificar cada una de las siguientes proposiciones citando el axioma de igualdad apropiado. En los ejercicios del' 1 al 10, cada variable denota un nmero real. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. Si Si Si Si Si Si Si Si Si Si
a 7
=6 -
4.
+ 2 = 12.
Justificar cada una de las proposiciones siguientes con el axioma para los nmeros reales apropiado. En los ejercicios del 11 al 25, cada variable denota un nmero real.
11.
+y
es un nmero real.
12. 7 + 3 = 3 + 7. 13. (4 X 2) X 7 = 4 X (2 X 7). 14. 2(t) = 1. 15. (-3) + = -3. 16. (-6) + 6 = O. 17.3 + (-6) = (-6) + 3. ."
+ C.
X
+ z)
= -. y
X
1 + -. z,
X
=r!= O.
23. (x
24.
25.
(a) {l, 2, 3, 4, }. (b) {O, 2, 4, 6, }. (e) {l, 3, 4,7,11,18, ... }. (d) {O}.
.- ..
Propiedades de campo
27. Cules de los siguiel).tes conjuntos son cerrados bajo la multiplicacin?
27
dad
{l,2,3,4,
}.
{O, 2, 4, 6,
}.
{l, 3, 5, 7,
}.
{O}.
28. Es cerrado el conjunto de los nmeros reales bajo la operacin de substraccin? Dar un ejemplo que sustente la respuesta. 29. El conjunto de los nmeros reales, exceptuando el cero, es cerrado bajo la operacin de divisin? Dar un ejemplo que sustente la respuesta. 30. Sea * una operacin tal que, para todo par de nmeros reales a y b, a * b =
(a
+ b)
(a) (b) (e) (d) (e)
= 3 +4
(3 X 4)
=7
12
= -5.
ros
= b*
a?
Propiedades de campo
Los axiomas de igualdad, los axiomas para los nmeros reales y las definiciones, describen las propiedades bsicas de los nmeros reales. El uso matemtico de una definicin es simplemente el de un acuerdo para establecer una expresin como equivalente de otra. As, en la definicin de divisin, el acuerdo es hacer que :
ya
propiedades bsicas se derivan otras propiedades de los nmeros reales, tales como:
TEOREMA 1.1.Para cada nmero real
a, - (-a) = a.
DEMOSTRACION
a+(-a)=O [a + (-a)] + [-(-a)] = + [-(-a)] [a + (-a)] + [-(-a)] == -(-a) a + {(-a) + [-(-a)]} = -(-a) a + = -( -a) a = -( -a) -(-a) = a
axioma del inverso aditivo propiedad aditiva de igualdad axioma del idntico aditivo propiedad asociativa de la suma axioma del inverso aditivo axioma del idntico aditivo propiedad simtrica de la igualdad
28
Esta forma de ra.zonamiento lgico que va de la hiptesis a la conclusin, constituye una demostracin. Los teoremas son las afirmaciones que se demuestran en esta forma. Demostrar un teorema consiste en exhibir la conclusin como una consecuencia lgica de la hiptesis y de los aXIOmas. Los teoremas matemticos usualmente aparecen en la forma "si h entonces c", en donde h es la hiptesis y c es la conclusin. Si se supone que se sabe "si h entonces e/' en don1e el es una conclusin diferente de la c deseada y si se puede demostrar que "si el entonces C2, ", "si e2 entonces e3,'" y "si e3 entonces c," lo que se tiene ahora es una cadena de implicaciones: Si h entonces el. Si el entonces C2. Si e2 entonces e3. Si e3 entonces e. Usando la ley de la lgica conocida como regla de la cadena,se obtiene la conclusin deseada: "si h entonces e". En esta seccin se demostrarn algunos teoremas acerca de los nmeros reales con el propsito, no slo de recordar hechos conocidos y teoremas familiares, sino tambin de demostrar cmo esos hechos llegan a ser consecuencias lgicas de los axiomas.
TEOREJ\.'rA 1.2. (Ley d cancelacin pum la adicin). Para cualesquiera. nmeros reales a,
b,
y e, si
+e
= b
+ e,
entonces
= b.
DEMOSTRACION
(a a
+ e) + (-e) = (b + e) + (-e)
+ [e + (-e)]
a+e=b+e
hiptesis propiedad aditiva de igualdad propiedad asociativa de la suma axioma del inverso aditivo axioma del idntico aditivo
=b
+ (c+ (-e)]
a+O=b+O a=b
a, b,
DEMOSTRACION
e, si
ab
= ac
0, entonces
= c.
ab
= ae
0*0
1 es un nmero real distinto a
.c.-U.....:;UdU-.;;;:,
M7
no es igual a cero"
-1 . (ab) = -1 . (ae)
propiedad multiplicativa de igualdad propiedad asociativa de la multiplicacin. axioma del inverso multiplicativo axioma del idntico multiplicativo
a)b
. a )c
lb=le
b=e
TEOREMA lA. (Propiedad de la multiplicacin por cero). Para cualquier nmero real a,
a'O = O.
DEMOSTRAClON
a(O + O) = a' O a'O+a'O=a-O [a'O + a'O] + [-(a'O)] = a . O+ a O + {a' O + [- (a . O)]} = a' 0+ a'O+O=O a'O = O
TEOREMA
0+0=0
[- (a' O)]
[- (a' O)]
propiedad aditiva de igualdad propiedad asociativa de la suma axioma del inverso aditivo axioma del idntico aditivo
DEMOSTRAClON
axioma del inverso aditivo propiedad multiplicativa de igualdad TEOREMA 1-4 propiedad conmutativa de la suma propiedad distributiva propiedad aditiva de igualdad propiedad asociativa de la suma axioma del inverso aditivo axioma del idntico aditivo
Segn el axioma del inverso multiplicativo, si a es un nmero real distinto de cero, entonces
reales puede demostrarse que este inverso multiplicativo es distinto de cero. Aceptaremos este teorema sin demostracin.
le a
JV
.LJU';'
'II[;I.U.;, "'II[;A.'II[;';'
';'u';'
I'
UI'
_-_
o::JI
Una consecuencia del teorema 1.5 es que el producto de un nmero real positivo y un nmero real negativo, es un nmero real negativo.
TEOREMA 1.6. Si a y b son nmeros reales, entonces DEMOSTRACION
b+(-b):;:::O (-a)[b + (-b)]:;::: (-a)'O (-a)[b + (-b)] (-a)b + (-a)(-b) ab + [(-a)b + (-a)(-b)] ab + [( -a)b + (-a)( -b)] [ah .j- (-a)b] + (-a)( -b) [ba b[a :;::: :;::: :;::: :;::: :;:::
axioma del inverso aditivo propiedad multiplicativa de igualdad feorema 1.4 propiedad distributiva
O O
ab ab ab
+O
propiedad aditiva de igualdad axioma del idntico aditivo propiedad asociativa de la suma propiedad conmutativa de la multiplicacin propiedad distributiva axioma del inverso aditivo Teorema 1.4 axioma del idntico aditivo
:;::: ab
Una consecuencia del teorema 1.6 es que el producto de dos nmeros negativos es un nmero positivo. Por ejemplo.
(-2)(-3) (-5)(-1)
= 23 = 6 = 51 = 5
TEOREMA 1.7. Para nmeros reales a y b, si ab:;::: O, entonces a:;::: O. b:;::: O. DEMOSTRACION Si a :;::: O, entonces la conclusin del teorema es cierta. Supngase a O, entonces, por el axioma del inverso multiplicativo, a tiene inverso multiplicativo, a saber, .!, que es distinto de cero. Por lo tanto, a
1 1 -(ab):;::: -,0
a a
por la propiedad multiplicativa de igualdad. Pero por la propiedad asociativa de la multiplicacin .! (ab) a
.a)b
rropleoaoes oe campo
y por el teorema 1.4,.! O :;::: O;
.11
.a)' b :;::: O
lb:;::: O
b:;:::O
por el axioma del idntico multiplicativo. Entonces vemos que si a necesariamente b:;::: O lo cual demuestra el teorema.
O,
Los teoremas que hemos demostrado hasta ahora, se establecieron en la forma de una implicacin. Una implicacin tiene la estructura de una sentencia si-entonces. Las siguientes expresiones son implicaciones: 1) Si un nmero real es divisible entre 6, entonces es divisible entre 2. 2) Si esta figura geomtrica es un cuadrado, entonces ella es un rectngulo. 3) Si el pr-oducto de dos nmeros reales es cero, entonces uno de los dos es cero. Una implicacin tiene dos componentes: el antecedente y la conclusin. En la implicacin (1), el antecedente es "un nmero real es divisible entre 6" y la conclusin es "el nmero real es divisible entre 2". Vemos, entonces, que una implicacin es de la forma "si h, entonces c" en donde h es el antecedente y c es la conclusin. Si se intercambia el antecedente y la conclusin en la implicacin "si h entonces c", la implicacin que se obtiene es "si c, entonces h" sta ser la recproca de la implicacin dada. Es necesario hacer notar que una implicacin cierta no implica necesariamente que la recproca sea verdadera. Por ejemplo, todas las implicaciones dadas anteriormente son verdaderas, pero slo la recproca de la implicacin de (3) es verdadera.
a, b, e,
d, con b
Oy d
O, tenemos que
a b :;: :
e d
SI
-1 . Y so o SI
a d :;::: bC.
DEMOSTRACION
y; :;: :
parte dice que si ad:;::: be, entonces !!:..:;:::.E... la segunda; establece que si a e b d d' entonces ad :;::: be. Ntese que lo. segunda parte del teorema es la
y;:;::: d'
32
existen.
Ahora se tiene
ad = bc
hiptesis propiedad multiplicativa de igualdad propiedad conmutativa de la multiplicacin propiedad asociativa de la multiplicacin propiedad asociativa de la multiplicacin axioma del inverso multiplicativo axioma del idntico multiplicativo propiedad conmutativa de la multiplicacin definicin de divisin
U.
U.t
)(bc)
"t [U .d)aJ =
1 b (1 . a)
. b)c]
1 d (1 . e)
1 1 -'a=-'c b d 1 1 a'b=c'(i
a e b=(j
Ahora se probar que si
entonces
ad
= be.
a e b=(j
=
hiptesis propiedad multiplicativa de la igualdad definicin de divisin propiedad co,nmutativa de la multiplicacin propiedad asociativa de la multiplicacin propiedad asociativa de la multiplicacin axioma del inverso multiplicativo axioma del idntico multiplicativo propiedad conmutativa de la multiplicacin
(bd)(a' (db)G
= (bd)(e'
a) = (bd)U . e)
d[bU .a)] =
d[ (b' ] = b[(d'
d(l . a) = b(l . e) cJn = be be ad
a, b
e, si a = b
e = d,
a + e = b + d.
l..
Propiedades de campo
DEMOSTRACION
33
n.
La importancia del teorema 1.9 radica en que permite sumar miembro a miembro dos igualdades (ecuaciones). Luego, si x + y == 9 y x - y == 12, entonces
(x
+ y) + (x
- y) == 9 + 12 2x = 21
- (a
TEOREMA 1. lO . Si a
y b
b)
( -b).
DEMOSTRACION
(-a)
a + (-a) = O b+(-b)=O [a + (-a)] + [b + (-b)] = O + O [a + (-a)] + [b + (-b)] = O {[a + (-a)] + b} + (-b) = O {a + [(-a) + b]} + (-b) = O {a + [b + (-a)]} + (-b) = O [(a + b) + (-a)].+ (-b) = O (a + b) + [( -a) + (-b)] = O O = (a + b) + [-(a (a + b) + [(-a) + (-b)] = (a + b) + [-(a (-a) + (-b) = -(a + b)
+ b)] + b)]
En la demostracin del teorema 1.10 se han omitido las razones. El estudiante debe dar la justificacin a cada paso de la demostracin.
EJERCICIOS 1.5
En las demostraciones siguientes, dar la justificacin a cada paso (ejercicios del 1 al 11).
(-l)a = -a.
2. Demostrar: entonces
l..
a, b
y c, si
c+ a
c + b,
a = b.
34
(a)
(b)
O+
e +b (-e) + (e + b) [( -e) + e] + b a = O+ b a= b
a, b
si
ba = ca, con
b = e. Demostracin: (a) ba = ca
entonces
=1= O,
(h)
(e) (d)
=1= O
es un nmero real distinto de cero
1..
a
(e) b(a.
(f) (g)
b 1 = e' 1
b
=e
y
b, si a + b = O, entonces
b = -a
(a)
(h) (-a)
(e)
+ (a + b) = [(-a) + a] + b =
b
+O +O
+O
(d)
O + b = (-a)
(e)
Segunda parte: Si a
= -a
+ b O, entonces a b. (f) a + b = O (g) (a + b) + (-b) ='0 + '(-b) (h) a + [b + (-b)] = O + (- b) (i) a + [b + (-b)] = -b a + O = -b (k) a = -b 5. Demostrar: Si a es un nmero real y a -1- O entonces -.!. = a. . -- , 1
=-
Demostracin:
(h)
1=
a1.
a
Propiedades de campo
35
(e)-'-=a'a
111 1 a a
(d)
(e)
1
1
a
=a
b y e, (b + e) a
= ba
+ ca.
Demostracin:
(a) (b
(h) (e)
+ e)a = a(b + e)
= ab
= ba
+ ca
+- ae
(e
Demostracin:
+ b)
'+ b) + e = + e = a + (b + e) . = a + +.b) = (e + b) + a
(a
b)
+a
a, b y e, si a + b = e, entonb = (-a) + e. Demostradon: (a) a + b = e (h) (-a)+(a+b)=(-a)+e (e) [( -a) + a] + b = (-a) + e (d) 0+ b,=, (-a) + e (e) b=(-a)+e ab = e, con b =1= O, en-
= e( ).
Demostracin:
(a)
ab = e
36
a, b
y c,
a(b - c) = ab - ac.
= 1.
DemostraClOn:
"
(a) (ab)
(b) (e)
(d)
(1 -; = (ba) (1 b' a: 1) a 1)
o
= [(ba) = [bo(a - (b o
(e)
(f)
.'
1 01) 0b 1 - b o-b = 1
a i= O,
12. Demostrar: Para todo nmero real 14. Demostrar: Si 15. Demostrar:
a y b,
si
ab = 1, con b i= O, entonces
a=-;.
17. Demostrar: El inverso multiplicativo de un nmero real distinto de cero, es nico. (Sugerencia: Suponer que existen dos inversos y demostrar que son iguales).
1.6
Los nmeros reales se pueden representar como puntos sobre una recta (como se muestra en la figura 1.2), en la forma siguiente. Se traza una recta y se marca sobre ella una sucesin de puntos igualmente,espaciados. En seguida, se escoge un punto y se marca con el O. El nmero cero se asocia con el punto marcado como O. A los puntos a la derecha del punto marcado como O, se asocian los enteros positivos 1, 2, 3, 4,... en este orden; los puntos a la izquierda del punto marcado como O, se asocian con los enteros negativos -1, -2, -::3, ... en este orden. Entre los puntos asociados con los enteros estn los nmeros reales que no son enteros. Aun cuando no corresponde a esta seccin, se puede demostrar que existe una correspondencia biunvoca entre los puntos sobre la recta y los
.1 f
nmeros reales. Esto significa que a cada punto le corresp<;>nde exactam.ente un nmero real y, recprocamente a cada nmero real le corresponde exactamente un punto de .la recta. Los puntos que corresponden a los nmeros reales son las grficas de los nmeros. Los nmeros reales que corresponden a los puntos sobre la recta se les llama coordenadas de esos puntos. La recta sobre la que se graficanlos nmeros reales se llama recta numrica reaL
-4 -3 -2 -1
I
ces
O 1
2 3 4
Figura 1.2
1.7
<>
Ahora" presentamos los axiomas que tratan con la relacin de orden "menor que". La relacin "menor que" se denota con el smbolo As como no intentamos formular una definicin de la relacin de igualdad, sino que, en su lugar, se establecieron los axiomas de igualdad que la determinaron completamente, con la relacin "menor que" no daremos una definicin formal. En lugar de ello, se establecern los axiomas de orden que determinan completamente las propiedades de esta relacin,
<.
AXIOMAS DE ORDEN
-b.
ces
ico.
0.1 (Propiedad transitiva). Para todos los nmeros reales a, b y c, si a b y b e, entonces a e. ' 0.2 (Propiedad de tricotoma). Para cualesquiera nmeros reales a y b, se cumple exactamente una de las siguientes relaciones: a = b, a b, b a. 0.3 (Propiedad aditiva). Para cualesquiera nmeros reales a, b y c, si a b, entonces a + e b +e y e +a e + b. 0.4 (Propiedad multiplicatz"va para nmeros positivos). Para cualesquiera nmeros reales a, b y c, si a b y O e, entonces d.e be y ca eb. 0.5 (Propiedad multiplicativa para nmeros negativos). Para cualesquiera nmeros reales a, by c, si a b y e O, entonces be ae y r;b ea. 0.6 (Propiedad de substitucin). Para nmeros reales a, b, a', y b' , si a = a', b = b ' , y a b, entonces a' b' .
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
Si se acepta la relacin "menor que" como un concepto indefinido, se puede definir la relacin "mayor que" de la siguiente manera:
DEFlNICION 1.16. Si a y b son nmeros reales se dice que a es mayor que b, yescribimos
que los
Cualquier campo que satisfaga los axiomas de orden se llama un -campO ordenado. Ahora definimos lo que se entiende al decir que un nmer0 real es "po_e sitivo" y lo que se entiende al decir que es "negativo".
DEFINICIUJIi 1.17. Un nmero real a es positivo si y slo si a O. Un nmero real a O. El nmero real O no es positivo ni negativo. negativo si y slo si a
<
>.
es
Usando los axiomas de orden ahora, demostraremos algunos teoremas para los nmeros reales.
TEOREMA 1.11. Para cualesquiera nmeros reales a y es positivo. DEMOSTRACION Ya que a para obtener que
b,
si a
< b,
entonces
b- a
a
< b, se usa la propiedad aditiva de orden y se suma axioma del inverso aditivo definicin de substraccin definicin de positivo
+ (-a)
<
b - a es positivo a< b.
DEMOSTRACION Puesto que
b si b - a es positivo, entonces
b - a es positivo,
definicin positivo
> >
ptopiedad aditiva ,del orden axioma del idntico aditivo definicin de substraccin propiedad asociativa de la suma aJ$ioma del inverso adi.tivo axioma del idntico aditivo definicin de "mayor que"
TEOREMA 1.13. LJ. suma de dos enteros positivos es positiva. DEMOSTRACION Sean a y b dos nmeros positivos, entonces
definicin de positivo propiedad aditiva del orden axioma del idntico a<ijtivo
...
UII;
UU It:::'L,,!:!Ii.
J;?
_e
O<a O<a+b a
b es positivo
<
(O
< a + b)
<a
s TEOREMA 1.14. El producto de dos nmeros positivos es positivo. DEMOSTRACION Sean a y b dos nmeros positivos, entonces,
<
definicin de positivo propiedad multiplicativa de los nmeros positivos Teorema 1.4 definicin de positivo entonces
ab es positivo
TEOREMA 1.15. Si a positivo DEMOSTRACION
JeT. caso.
=1= 0,
a >O
a
caso.
<O
-1
< O,
a( -1)
propiedad .multiplicativa para nmeros negativos. teorema 1.4 ejercicios 1.5, problema 1: [( -1) definicin de positivo
a( -1) O -a>O
-a]
- a
EJERCICIOS 1.6
l. Justifique cada paso de la demostracin siguiente. Demostrar: Para cualesquiera nmeros reales a, b, tonces a + e b + d.
>
e y d, si a> b y e> d,
en-
(b) Ya que e d, entonces e - d es positivo. (e) (a - b) + (e - d) (d) (a - b) + (e - d) = [a + (-b)] + [e + (-d)] (e) [(-b) + a] + [e + (-d)] (f) {[(-b)+a]+e}+(-d) (g) = [( -b) + (a + e)] + (-d) (h) [(a + e) + (-b)] + (-d) (i) = (a + e) + [(-b) + (-d)j
>
= =
...'"
.I..IU;'
= (a + e) + [( -l)(b) + (-l)(d)] = (a + e) + [( -l)(b + d)] (1) = (a + b) + [-(b + d)] (m) = (a + e) - (b + d) (n) Por lo tanto, a+e>b+d.
(j)
(k)
Demostrar los teoremas siguientes. En cada caso las variables representan nmeros reales.
y e d, entonces a e b d. 3. El producto de un nmero negativo y un nmero positivo es un nmero negativo 4. El producto de dos nmeros negativos es un nmero positivo.
2. Si a < b
Si 1 Si a Si Si
<
<
5. Si a
10. 0< < 1, 0< < 11. SI a < b, entonces a < --2- < b.
1.8
e
6. 7. 8. 9.
e < b + e, entonces a < b. ae < be, e > 0, entonces a < b. ac > be, e < 0, entonces a < b. Si a entonces a2 a. . a+b
Valor absoluto
< b, < a,
entonces entonces
A cada nmero real a se le asocia un nmero no negativo: el valor absoluto de a que se denota por lal. El valor absoluto de un nmero real se define como sigue:
DEFINICION 1.18. Si a es un nmero real, el valor absoluto' de a se denota corno si
lal', yes a
a es
no negativo, y es el inverso de a, si
a es
negativo.
Esto es:
lal. =
{a si a
no
- a SI a es negatIvo
De la definicin 1.18 observamos que er valor absoluto de un nmero real siempre es positivo o cero, pues 101 O; si a O, lal a que es positivo; si a O, lal -a el cual es positivo, ya que el inverso de un nmero negativo es un nmero positivo. Por siemplo:
<
>
121 = 2
1-81
= -(-8) = 8
1- 71 = - (- 7) = 7
1121
= 12
Geomtricamente, lal se puede interpretar como la distancia (no dirigida) entre el punto de coordenada a en la recta numrica real y el punto de coordenada O (figura 1.3).
.
y
.
O
Figura 1.3
7 1- 81 + 1 1.
1-81 + 171 = 8 + 7 = 15
1-36 1
131 -
SOLUClON
1-361 --131
-(-36) - - - 1 2 36
3 3 -
ay
l;
SOLUCION CASO l. Considerar a
a 1_ lal
-lbf'
2:
b
1
> O.
a
Entonces
)
CASO 11. Considerar
; =;=lbf
y
1
lal
2:
< O.
a
Entonces
lal
<
1
1_ -a _ lal -b-W
y
< O.
=
Entonces
EJERCICIOS 1.7
l. Dar el valor absoluto de cada uno de los siguientes nmeros.
2. Encontrar los valores de x para los cuales 3. Encontrar los valores de x para los cuales 4. Encontrar los valores de x para los cuales
7.
5. Considerando todas las posibilidades para valores positivos y negativos de a y b demostrar que labl = Ibj. 6. qonsiderando todas las posibilidades para valores positivos y negativos de a y b. demostrar que la bl ::;; !al Ibl.
lal "
(a) 181 + 1-31 (b) 1-41+1-51 (c) 1-61 - 181 (d) 131 .1- 41 (a)
(b)
1- 81
1
41
6
1- 24 1
1 1
() 13601 c 1- 12 1
(d)
(e)
1_ I ' a
Itl * *
O, b
9. Demostrar que para cualesquiera nmeros reales 10. Qu conclusin se deduce si se sabe que 11. Qu conclusin se deduce si se sabe que 12. Si se sabe que 13. Si sabe que
Ixl > x? Ix + yl =
a y b, la - b[
O?
= lb -
al.
(a) t 2 = 1. (b) 2 + (6 + 7)
= (2
+ 6) + 7.
ar
b.
(e) - V2 + O = - V2. (f) ! + (-t) = o. (g) 4.68 X 1 = 4.68. (h) 7" (3 "6) = (7" 3) 6. () t + t = ! + t. ) 3( - 7) es un nmero real.
2. Sea
Q = {x I x
1
es un nmero racional},
= {x I x
es un nmero irracional},
R = {x
Qn R = 0
R U S= R R U Q= Q SnR = 0 ) S e R
O y b
*
=
Demostracin:
(a) ab = 1.
(b) (c) (d)
existe
l (ab)
a
l. 1.
a
1.
"a)" b =
l" l.
a
(e) 1" b =
(f) b =
4. Dar una Teorema: Si
<O
(a) a
< O,
entonces
a + b
< o.
Demostracin:
< o.
(b) a
+ b < O + b.
<
< b, < o.
{X, X
es un emero y -4
5. Usando la notacin estructural, denotar el conjunto de los nmeros reales mayores que 7.8 peru menores que 12.7. 6. Enumere los elementos del conjunto
7. Nombrar la propiedad de igualdad ilustrada en cada una de las siguientes expresiones. (a) Si a 7, entonces a 3 10. (b) Si x (c) Si (d) Si
- k.
(e) Si X -
= 11,
entonces X
('O"
= 16.
(a) {... , -4, -2, , ",,4, ... }. (b) {O, 1,2, 3}. (e) {l,3,5,7, ...}. (d) {x I x es un nmero real }.
9. Encontrar el valor de cada una de las siguientes expresiones.
(a)
(b)
(e)
(d)
10. El conjunto 'de los nmeros enteros con las operaciones de suma y muItipli'cacin, constituye un campo? Dar la justificacin a la respuesta. En cada una de las siguientes proposiciones, completar con una frase. palabra u smbolo que haga verdadera la expresin. (ejercicios del 11 al 20). 11. Los nmeros naturales, sus inversos y forman el conjunto de los
12. La suma de dos nmeros reales positivos, es un nmero real 13 El es llamado el 15. Si de del otro. es igual a ( - a)( -
es
-6.
14. Si el producto de dos nmeros reales es el idntico multiplicativo. entonces cada nmero
16. Si a y b son nmeros reales. entonces 17. Si a y b son nmeros reales 18. El inverso 19.
a - b b) =
se define como
Y
y
es
[7;' a E 1, bE 1,
b i= O}
es el conjunto de
a' O =