Aunque la teora de conjuntos es completamente general, en la matemtica elemental se encuentran ya conjuntos importantes que son conjuntos de nmeros.
De particular inters, en especial en el anlisis, es el conjunto de los nmeros reales, que se denota por R
En este captulo se supone de hecho, al menos que se diga otra cosa, que el conjunto universal es el conjunto de los nmeros reales.
Se revisarn en primer lugar algunas propiedades elementales de los nmeros reales antes de aplicar los principios fundamentales de la teora de conjuntos a conjuntos de nmeros.
El conjunto de los nmeros reales con sus propiedades se llama el sistema de los nmeros reales.
NMEROS REALES,
Una de las propiedades ms importantes de los nmeros reales es el poderlos representar por puntos de una lnea recta. En la Figura, se elige un punto llamado origen, para representar el 0, y otro punto, por lo comn a la derecha, para representar el 1. Resulta as de manera natural una correspondencia entre los puntos de la recta y los nmeros reales, es decir, que cada punto representa un nmero real nico y que cada nmero real viene representado por un punto nico. Llamando a esta recta la recta real, podrn emplearse uno por otro los conceptos de punto y de nmero.
s= 2,781 -t 2 1 2 t
-5 -4 -3 -2 -1 0 1 2 3 4 5
COLEGIO NUESTRO SEOR DE LA BUENA ESPERANZA
Los nmeros a la derecha del 0, o sea al mismo lado que el 1, son los llamados nmeros positivos, y los nmeros a la izquierda del 0 son los llamados nmeros negativos. El 0 mismo no es ni positivo ni negativo.
ENTEROS,
Los enteros son los nmeros reales
..., -3, -2, -1, 0, 1, 2, 3,...
Se denotan los enteros por ; as que se escribe = {.... -2, -1, 0, 1, 2,...,} 30
Propiedad importante de los enteros es que son cerrados respecto de las operaciones de adicin, multiplicacin y sustraccin; es decir, que la suma, producto y diferencia de dos enteros es a su vez un entero.
Ntese que el cociente de dos enteros, por ejemplo, 3 y 7, no es necesariamente un entero; as que los enteros no son cerrados respecto de la operacin divisin.
NMEROS RACIONALES,
Los nmeros racionales son los reales que se pueden expresar como razn de dos enteros. Se denota el conjunto de los nmeros racionales por , as que,
= {x | x = p/q donde p e , q e }
Obsrvese que todo entero es un nmero racional, ya que, por ejemplo, 5 = 5/1; por tanto, es un subconjunto de .
Los nmeros racionales son cerrados no solo respecto de las operaciones de adicin, multiplicacin y sustraccin, sino tambin respecto de la divisin (excepto por 0).
Es decir, que suma, producto, diferencia y cociente (excepto por 0) de dos nmeros racionales es un nmero racional nueva
NMEROS NATURALES,
Los nmeros naturales son los enteros positivos. Se denota el conjunto de los nmeros naturales por ; as que = {1, 2, 3,...}
Los nmeros naturales fueron el primer sistema de nmeros que se form y se les usaba primordialmente antes para contar. Ntense las relaciones siguientes entre los anteriores sistemas de nmeros:
c c c
Los nmeros naturales son cerrados respecto de las operaciones de adicin y multiplicacin solamente.
La diferencia y el cociente de dos nmeros naturales no es necesariamente un nmero natural.
Los nmeros primos son los naturales p, excluido el 1, que solo son divisibles por 1 y por p mismo. He aqu los primeros nmeros primos:
2, 3, 5, 7, 11, 13, 17, 19,...
NMEROS IRRACIONALES,
Los nmeros irracionales son los reales que no son racionales, esto es, el conjunto de los nmeros irracionales es el complemento del conjunto de los nmeros racionales en los nmeros reales ; por eso se denotan los nmeros irracionales por . Ejemplos de nmeros irracionales son
3 , t, 2 , etc.
DIAGRAMA LINEAL DE LOS SISTEMAS NUMRICOS
El siguiente diagrama muestra los distintos conjuntos de nmeros vistos hasta ahora. (Para que quede completo, se incluye en el diagrama el conjunto de los nmeros complejos, que son los de la forma a bi + , con a y b reales. Obsrvese que el conjunto de los nmeros complejos es un superconjunto del conjunto de los nmeros reales.)
Se introduce el concepto de orden en el sistema de los nmeros reales por la
Definicin: El nmero real a, es menor que el nmero real b, lo que se escribe:
a < b
si b a es un nmero positivo. Se pueden demostrar las propiedades siguientes de la relacin a < b. Sean los nmeros reales a, b y c; entonces:
P1: O bien a < b, o a = b, o b < a.
P2: Si a < b, y b < c, entonces a < c.
P3: Si a < b, entonces a + c < b + c.
P4: Si a < b y c es positivo, entonces ac < bc.
P5: Si a < b y c es negativo, entonces bc < ac.
Geomtricamente, si a < b el punto a sobre la recta real est a la izquierda del punto b, Tambin se indica a < b por b > a
lo que se lee b es mayor que a. Asimismo, se escribe a s b o b > a si a < o a = b, es decir, si a no es mayor que b.
Ejemplo 1: 2 < 5; - 6 s - 3 y 4 s 4; 5 > - 8.
Ejemplo 2: La notacin x < 5 significa que x es un nmero real menor que 5; as que x est a la izquierda de 5 en la recta real.
La notacin 2 < x < 7 significa 2 < x y x < 7; con lo que x estar entre 2 y 7 en la recta real.
Observacin 3-1: Es de notar que el concepto de orden, o sea la relacin a < b, se define mediante el concepto de nmero positivo.
La propiedad fundamental de los nmeros positivos que se utiliza para demostrar propiedades de la relacin a < b, es que tales nmeros son cerrados respecto de las operaciones de adicin y multiplicacin, hecho que, adems, est ligado ntimamente al de que los nmeros naturales tambin son cerrados respecto de las operaciones de adicin y multiplicacin.
Observacin 3-2: Son ciertas las afirmaciones siguientes para a, b y c nmeros reales cualesquiera:
(1) a s a
(2) Si, a s b y bs a entonces a = b.
(3) Si a s b y b s c entonces a s c.
VALOR ABSOLUTO
El valor absoluto de un nmero real x, denotado por |x|
Se define as: x si x > 0 |x|= x si x < 0
Es decir que si x es positivo o cero, entonces |x| es igual a x, y si x es negativo, entonces |x| es igual a x. En consecuencia, el valor absoluto de cualquier nmero es siempre no negativo, esto es |x| > que 0 para todo x e R. Desde el punto de vista geomtrico, el valor absoluto de es la distancia del punto x de la recta real al origen, esto es, al punto 0. Asimismo, la distancia entre dos puntos cualesquiera, o sea entre dos nmeros reales a y b, es | a b |= |b a|.
Significa que la distancia entre x y el origen es menor que 5, esto es, que x debe estar entre - 5 y 5 sobre la recta real. Dicho de otro modo:
|x| < 5 y - 5 < x < 5 tienen el mismo significado. De modo anlogo
Significan lo mismo |x| s 5 y - 5 s x s 5
INTERVALOS
Examnense los siguientes conjuntos de nmeros:
A1 = {x|2 < x < 5} A2 = {x|2 s x s 5} A3 = {x|2 < x s 5} A4 = {x|2 s x s 5}
Ntese que los cuatro conjuntos contienen solamente los puntos que estn entre 2 y 5 con las excepciones posibles de 2 y/o 5. Estos conjuntos se llaman intervalos y los nmeros 2 y 5 son los extremos de cada intervalo. Por otra parle, A1 es un intervalo abierto, pues no contiene los extremos: A2 es un intervalo cerrado, ya que contiene ambos extremos, y A3 y A4 son abierto- cerrado y cerrado-abierto respectivamente.
Se representan grficamente estos conjuntos sobre la recta real como sigue:
Obsrvese que en cada diagrama se encierran con un crculo los extremos 2 y 5 y que se repinta el segmento entre los puntos dichos. Cuando un intervalo incluye un extremo, esto se hace ver llenando el crculo del extremo.
Como los intervalos aparecen con mucha frecuencia en las matemticas, se emplea: generalmente una notacin abreviada para designar intervalos. Por ejemplo, los intervalos anteriores se denotan, a veces, por
A1 =]2. 5[A2 = [2. 5] A3 =]2. 5] A4 =[2 - 5[
-6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 A 2
-6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 A 4
-6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 A 1
-6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 A 3
Ntese que se usa un corchete al revs para designar un extremo abierto, es decir, un extremo que no pertenece al intervalo, y que se usa un corchete para designar un extremo cerrado.
PROPIEDADES DE LOS INTERVALOS Sea f la familia de lodos los intervalos de la recta real. Se incluyen en f el conjunto vaco C y los puntos a = [a, a]. Tienen entonces los intervalos las propiedades siguientes:
(1) La interseccin, de dos intervalos es un intervalo, es decir:
A e f , B e f implica A B e f
(2) La unin de dos intervalos no disjuntos es un intervalo, es decir:
A e f , B e f , A B = C implica A B e f
(3) La diferencia de dos intervalos no comparables es un intervalo, es decir:
A e f , B e f , A . B, B . A implica A - B e f .
Ejemplo 3-1: Sean A = |2, 4), B = (3, 8). Entones
A B = (3, 4), A B= [2, 8[ A B = [2, 3], B - A = [4, 8[
INTERVALOS INFINITOS
Los conjuntos de la forma A = {x | x > 1}, B = {x | x > 1} C = {x | x < 3}, D = {x | x s 4}, E = {x | x e R}
Se llama intervalos infinitos y se les denota tambin por
A = (1, ), B = [2, [, C = (- , 3), D = ]- , 4], E =(- , )
Se representan estos intervalos infinitos sobre la recta real como sigue:
-4 -3 -2 -1 0 1 2 3 4 B
est repintado -4 -3 -2 -1 0 1 2 3 4 A
est repintado
CONJUNTOS ACOTADOS Y NO ACOTADOS
Sea A un conjunto de nmeros; se dice que A es un conjunto acotado si A es subconjunto de un intervalo finito. Una definicin equivalente de acotacin es
Definicin: El conjunto A es acotado si existe un nmero positivo M, tal que
|x| = s M
Para todo xeA. Un conjunto se dice no acotado si no es acotado.
Ntese que, entonces, A es un subconjunto del intervalo finito [- M, M].
Ejemplo 1: Sea A = {1, , 1/3,...}. A es acotado, pues es un, subconjunto del intervalo cerrado [0. 1].
Ejemplo 2: Sea A = {2, 4, 6,...}. A es un conjunto no acotado.
Ejemplo 3: EI conjunto A = {7. 350, - 473. 2322, 42} es acotado.
Observacin 3-3: Si un conjunto A es finito, entonces es necesariamente acotado. Si un conjunto es infinito, puede ser acotado.
-4 -3 -2 -1 0 1 2 3 4 D
est repintado -4 -3 -2 -1 0 1 2 3 4 E
est repintado -4 -3 -2 -1 0 1 2 3 4 C
est repintado
PROBLEMAS RESUELTOS
CONJUNTOS DE NMEROS
En los problemas siguientes, R, Q, Q', Z, N y P designan, respectivamente, los
nmeros reales, racionales, irracionales, enteros, naturales y primos.
1. Entre lo que sigue, decir que es verdadero y que Falso.
(1) 7 e N (6) -6 e Q (11) 3 8 e N (2) 2 e Q (7) 11 e P (12) 4 9 e Q' (3) 4 e Z (8) 2 1 e Z (13) - 2 e Z (4) 9 e P (9) 5 e Q (14) 2 t e R (5) 3 t e Q (10) 1 e R (15) 4 e R
Solucin: (1) Falso. N solo contiene los enteros positivos; - 7 es negativo (2) Cierto. 2 no se puede expresar como razn de dos enteros, as que 2 no es racional.
(3) Cierto. Z, el conjunto de los enteros, contiene todos los enteros, positivos y negativos, (4) Falso. 3 divide a 9, as que 9 no es primo. (5) Falso. N no es racional ni tampoco 3t. (6) Cierto. Los nmeros racionales incluyen a los enteros. As, - 6 = (- 6/1). (7) Cierto. 11 no tiene divisores excepto 11 y 1; as que 11 es primo. (8) Falso. 2 1 no es entero. (9) Falso. 5 no es un nmero real; por tanto, en particular, no es un nmero irracional. (10) Cierto. 1 es un nmero real. (11) Cierto. 2 8 3 = que es un entero positivo.
(12) Falso. 4 9 = 3/2 que es racional. (13) Cierto. Z consta de los enteros positivos y negativos. (14) Cierto. t es real y tambin lo es t2. (15) Falso. 4 = 2i no es real. 2. Hacer un diagrama lineal de los conjuntos R, N y Q'.
Solucin: N y Q' son ambos subconjuntos de R. Pero N y Q' no son comparables. Segn esto, el diagrama lineal es R
N Q
3. A cuales de los conjuntos R, Q, Q', Z, N y P pertenece cada uno de los nmeros siguientes?
(1) - 3/4, (2) 13, (3) 7
Solucin: (1) -3/4 e Q. de 1os nmeros racionales, ya que es la razn de dos enteros -3 y 4. Asimismo. -3/4 e R, ya que Q c R.
(2) 3 e P porque los nicos divisores de 13 son 13 y 1. 13 pertenece tambin a N, Z, y Q y R, pues P es subconjunto de cada uno de stos.
(3) 7 no es un nmero real; as, pues, no pertenece a ninguno de los conjuntos dados. 4. De los conjuntos R, Q, Q, Z, N y P, cules no son cerrados respecto de las operaciones de (1) adicin, (2) substraccin?
Solucin: (1) Q' y P. Por ejemplo, 2 e Q' y 2 e Q', pero 0 2 2 = + e Q'; 3 e P y 5 e P, pero 3 + 5 - 8 e P. (2) Q', N y P. Por ejemplo, 2 e Q' pero 0 2 2 = e Q'; 3 e N y 7 e N, pero 3 - 7 = - 4 e N; 7 e P y 3 e P, pero 7 - 3 = 4 e P.
DESIGUALDADES Y VALORES ABSOLUTOS
5. Valindose de la notacin, escribir las afirmaciones siguientes:
(1) a es menor que b. (4) a no es menor que b. (2) a no es mayor o igual que b. (5) a es mayor o igual que b. (3) a es menor o igual que b. (6) a no es mayor que b.
Solucin: Recurdese que un trazo vertical u oblicuo que atraviesa un signo indica el significado opuesto del signo. Se escribe:
(1) a < b, (2) a > b, (3) a < b. (4) a < b. (5) a > b, (6) a > b.
6. Insertar entre los siguientes pares de nmeros el signo adecuado: <, > o =.
7. Escribir las siguientes relaciones geomtricas entre nmeros reales con la notacin de las desigualdades: (1) y est a la derecha de 8. (3) x est entre - 3 y 7. . (2) z est a la izquierda de 0. (4) w est entre 5 y 1.
Solucin: Recurdese que a < b significa que a est a la izquierda de b sobre la recta real. De acuerdo con esto,
(1) y > 8 o tambin 8 < y. (2) z < 0. (3) - 3 < x y x < 7, o mas brevemente, -3 < x < 7. (4) 5 > w y w >1, o bien w < 5 y 1 < w. O tambin 1 < w < 5. No es costumbre escribir 5 > w >1.
Solucin: (1) Smese 4 a cada lado de 3 < x - 4 < 8 para tener 7 < x < 12.
(2) Sumar - 3 a cada lado de - 1 < x + 3 < 2 para tener -4 < x < -1. (3) Multiplicar cada lado de - 9 < 3x < 12 por 3 1 y se tiene - 3 < x < 4.
(4) Por 2 1 se tiene 4 < x < 6. (6) Sumar - 3 a cada lado de - 7 < - 2x + 3 < 5 con lo que se obtiene - 10 < - 2x < 2. Ahora multiplicando por 2 1 se invierten las desigualdades y resulta - 1 < x < 5.
10.Escribir sin el signo de valor absoluto:
(1) |x| < 3, (2) |x - 2| < 5, (3) |2x + 3| < 7.
Solucin: (1) - 3 < x < 3 (2) - 5 < x - 2 < 5 o - 3 < x < 7 (3) - 7< 2x + 3 < 7 o - 10 < 2x < 4 o - 5 < x < 2
11.Escribir con el signo de valor absoluto: (1) 2 < x < 6, (2) 4 < x < 10.
Solucin: Ntese primero que se escribe la desigualdad de modo que un nmero y su negativo aparecen en los extremos de la desigualdad.
(1) Sumar - 2 a cada lado de - 2 < x < 6 y resulta
- 4 < x - 2 < 4 lo que equivale a |x - 2|<4
(2) Sumar - 7 a cada lado de 4 < x < 10 y resulta
3 < x - 7 < 3 que equivale a |x - 7| < 3
12.Insertar el smbolo adecuado, s o >, entre los siguientes pares de nmeros: (1) 1...- 7, (2) -2...-9, (3) 23...8, (4) 3... 7, (5) 32... 9, (6) 32...-11
Solucin: Tngase en cuenta que a s e b es cierto si a < b o si a = b, y que a > b es cierto si a > b o si a = b.
(1) > -7, ya que 1 > -7.
(2) -2 > - 9, pues -2 > - 9.
(3) Tanto 2 3 s 8 como 2 3 > 8 son ciertos, ya que 2 3 = 8
(4) 3 s 7, puesto que 3 < 7.
(5) Tanto 3 2 s 9 como 3 2 > 9 son ciertos, porque 3 2 = 9.
(6) 3 > -11, porque 3 2 > -11.
INTERVALOS
13.Escribir los intervalos siguientes en forma constructiva conjuntista: (1) M = [-3, 5[, (2) S = ]3, 8[, (3) T - [0, 4], (4) W = ]-7, -2].
Solucin: Recurdese que el corchete invertido significa que el extremo no pertenece al intervalo; y que el corchete significa que el extremo pertenece al intervalo. As, pues: M = {x | -3 s x < 5} S = {x | 3 < x < 8}
T = {x | 0 s x s 4} W = {x |-7 < x s -2}
14.Representar los intervalos R =]-1, 2], S = [-2, 2[, T =]0, 1[ y W = [1, 3] sobre la recta real.
Solucin: Para representar R, selese primero cada extremo suyo - 1 y 2 con un crculo:
Como el extremo 2 pertenece a R, repintar el crculo que rodea el 2:
Por ultimo, repntese la recta entre los extremos:
Representacin de R De la misma manera.
Representacin de S
Representacin de T
Representacin de W
15.Sean A = {x | x < 3|, B = {x | x > 2}, C = {x | x > 1} y D = {x |x > - 1}. Representar los conjuntos sobre la recta real y escribir luego los conjuntos en notacin de intervalos.
Solucin: Los conjuntos son todos intervalos infinitos. Encirrese con un crculo el extremo y dibjese una semirrecta dirigida hacia el lado del extremo en que est el conjunto, como se muestra en seguida:
Con la notacin de intervalos, los conjuntos se definen as: A =]-, 3[, B = [2, [, C = ] -, 1] y D =]-1, x [. Ntese que se usa corchete al revs del lado del smbolo de infinito.
OPERACIONES CON INTERVALOS
16.Sean A = [-3, 1[ y B = [-1, 2]. (1) Representar A y B sobre la misma recta real. (2) Mediante (1), representar A B, A B y A - B sobre rectas reales. (3) Escribir A , A B y A - B en notacin de intervalos.
Solucin: (1) Sobre la recta real, rayar A con trazos inclinados a la derecha (///) y rayar B con trazos inclinados a la izquierda (\\\\):
A y B rayados
(2) A B contiene los puntos de cada intervalo, esto es, los puntos rayados en la figura:
La interseccin es el conjunto vaco, ya que no hay puntos con doble rayado, es decir, no hay ningn punto que est en ambos intervalos. (d)
La unin es el intervalo infinito ] - , 3]. (e)
La interseccin cs el conjunto de puntos con doble rayado, es decir, el conjunto ]- 2, 0].
Problemas propuestos
CONJUNTOS DE NUMEROS
18. Decir si es cierto o falso: (1)teQ (3) - 3eN (5)7eP (7)-5eZ (9)15eP (l l )2/3eZ (2) 3 e 2 (4) 1 eQ (6) 3 eR (8 3 eR (10) 3 2 eQ (12)2eQ
DESIGUALDADES Y VALORES ABSOLUTOS
33. Escribir las afirmaciones siguientes con la notacin de orden: (1) x no es mayor que y. (3) r no es menor que y. (2) El valor absoluto de x es menor que 4. (4) r es mayor o igual que t.
34. Entre los siguientes pares de nmeros insertar el smbolo correcto: <, > o =, siendo x un numero real cualquiera. (1)5....-8 (3)2 4 ....8 ( 5)2 3 . 19 (7) -7....4 (2) |x|.-3 (4) - t. . . . t/ 3 (6) -|x|....1 (8) -2....-5
35. Escribir las relaciones geomtricas entre los nmeros utilizando la notacin de las desigualdades: (1) a est a la derecha de b. (2) x est a la izquierda de y. (1) r est entre 5 y 8.
37. Escribir de modo que x quede sola entre los signos de desigualdad: (1) - 2 < X - 3 < 4 (3) - 1 2 < 4 X < - 8 (5) - 1 < 2x - 3 < 5 (2) - 5 < x + 2 < 1 (4) 4 < - 2x < 10 (6) - 3 < 5 - 2x < 7
38. Escribir sin el signo de valor absoluto: (1) |x| s 8, (2) |x 3| < 8, (3) |2x + 4| < 8.
39. Escribir con el signo de valor absoluto: (1) - 3 < X < 9, (2) 2 s x s 8. (3) -7 < x < - 1.
40. Demostrar P 5 : Si a < b y c es negativo, entonces bc < ac. (Nota: Se da por sentado que el producto de un nmero negativo y un nmero positivo es negativo.)
INTERVALOS
41. Escribir los siguientes intervalos en forma constructiva: A = [-3,1[, B= [1, 2], C = ]- 1, 3], D = ]-4, 2[.
42. Entre los conjuntos del Problema 41, cul es (1) un intervalo abierto, (2) un intervalo cerrado?
43. Representar los conjuntos del Problema 41 sobre la recta real.
44. Escribir los siguientes intervalos infinitos con la notacin de intervalos: R = {x| = < 2), S = {x | x > -1}, T = {x | x < - 3).
45. Representar los conjuntos del Problema 44 sobre la recta real.
46. Sean A = [- 4, 2[, B = ]- 1, 6[, C = ] - , 1]. Hallar y escribir con notacin de intervalos
(1) A B (3) A B (5) A C (7)A -C (9) B C (11) B C (2) A B (4) B - A (6) A C (8) C - A (10) B C (12) C B
CONTENIDOS DEL TALLER TOMADOS DE: - SEYMOUR y LIPSCHUTZ, Teora de Conjuntos y Temas Afines. Ed. Carvajal, Coleccin SCHAUM, Cali, 1970.
- JUAN M. SILVA - ADRIANA LAZO, Matemticas, Biblioteca Cientfica Tecnolgica. Primera Edicin. Ed. Limusa. Mxico 1989.