Teoría de Conjuntos y Notación Básica
Teoría de Conjuntos y Notación Básica
Como todos los buenos libros de matemáticas, comenzamos con una definición.
Definición 0.1. Un conjunto es una colección bien definida de objetos que se llaman los 'elementos' de
el conjunto. Aquí, 'bien definido' significa que es posible determinar si algo pertenece al
colección o no, sin perjuicio.
La colección de letras que forman la palabra “smolko” está bien definida y es un conjunto, pero el
la colección de los peores maestros de matemáticas del mundo no está bien definida y, por lo tanto, no es un conjunto.1
En general, hay tres maneras de describir conjuntos y esos métodos se enumeran a continuación.
2. El Método de Roster: Comienza con una llave izquierda '{', enumera cada elemento del conjunto solo una vez.
y luego termina con una llave derecha ‘}’.
3. El Método del Constructor de Conjuntos: Una combinación de los métodos verbal y de lista utilizando un
"variable dummy" como x.
Por ejemplo, sea S el conjunto descrito verbalmente como el conjunto de letras que componen la palabra
“smolko”. Una descripción del roster de Sis{s,m,o,l,k}. Tenga en cuenta que hemos listado ‘o’ solo una vez, incluso
aunque aparece dos veces en la palabra "smolko". Además, el orden de los elementos no importa,
así{k,l,m,o,s}también es una descripción en lista de S. Siguiendo adelante, una descripción de constructor de conjuntos
ofSis:{x|x es una letra en la palabra “smolko”}. La forma de leer esto es ‘El conjunto de elementos x
de tal manera que x es una letra en la palabra "smolko". En cada uno de los casos anteriores, podemos usar la familiar
signo igual ‘=’ y escribe S={s,m,o,l,k} o S={x|x es una letra en la palabra “smolko”}.
Ten en cuenta que hay letras en S, pero muchas otras letras, como q, no están en S. Expresamos estas ideas de
inclusión y exclusión de conjuntos matemáticamente utilizando los símbolos m2S (lee 'mis en S') y q2/S
(lea 'qis no está enS'). Más precisamente, tenemos lo siguiente.
Ahora consideremos el conjunto C={x|x es una consonante en la palabra "smolko"}. Una descripción en lista
ofCisC={s,m,l,k}. Tenga en cuenta que por construcción, cada elemento deC también está enS. Expresamos
1
Para un ejemplo que haga reflexionar más, considera la colección de todas las cosas que no se contienen a sí mismas - esto
conduce a lo famosoLa Paradoja de Russell.
4 Requisitos previos
esta relación al afirmar que el conjunto C es un subconjunto del conjunto S, lo cual se escribe en símbolos como
C✓S. La definición más formal se presenta a continuación.
Definición 0.3. Dados los conjuntos A y B, decimos que el conjunto A es un subconjunto del conjunto B y escribimos
Ten en cuenta que en nuestro ejemplo anterior C✓S, pero no viceversa, ya que o2Sbuto2/C. Además,
el conjunto de vocales V={a,e,i,o,u}, aunque tiene un elemento en común con S, no es un
subconjunto de S. (Como nota adicional, S no es un subconjunto de V, tampoco.) Sin embargo, podríamos construir un conjunto
que contiene ambos subconjuntos de SandVas al reunir todos los elementos de ambos SandV juntos
en un solo conjunto, digamos U={s,m,o,l,k,a,e,i,u}. Entonces S✓U y V✓U. El conjunto U que tenemos
se llama la unión de los conjuntos S y V y se denota S[V. Además, S y V no son
completelydifferentsets since they both contain the letter ‘o.’Theintersectionof two sets is the
conjunto de elementos (si los hay) que tienen en común los dos conjuntos. En este caso, la intersección de S y V
{o}, writtenS\V={o}. We formalize these ideas below.
Definición 0.4. Supongamos que A y B son conjuntos.
• La intersección de A y B es A\B={x|x ∈ A y x ∈ B}
• La unión de A y B es A ∪ B = {x | x ∈ A o x ∈ B (o ambos)}
;={}={x|x=x}.
Como se prometió, el conjunto vacío es el conjunto que no contiene elementos, ya que no importa qué 'x' sea, 'x=x'.
Al igual que el número '0', el conjunto vacío desempeña un papel vital en las matemáticas.3 Lo presentamos aquí más como
un símbolo de conveniencia en contraposición a un artificio.4Usando esta nueva notación, tenemos para
los conjuntos C y V arriba que C\V=;. Una buena manera de visualizar las relaciones entre conjuntos y el conjunto
las operaciones son dibujar unaDiagrama de VennUn diagrama de Venn para los conjuntos S, C y V se dibuja en el
parte superior de la siguiente página.
2
Lo que resulta ser el mismo conjunto que S[V.
3
Sadly,the full extent of the empty set’s role will not be explored in this text.
4
De hecho, el conjunto vacío se puede utilizar para generar números: ¡los matemáticos pueden crear algo de la nada!
0.1 Teoría de conjuntos básica y notación de intervalos 5
smlk o aeiu
S V
En el diagrama de Venn arriba, tenemos tres círculos - uno para cada uno de los conjuntos C, S y V. Nos
visualiza el área encerrada por cada uno de estos círculos como los elementos de cada conjunto. Aquí, hemos
escribió los elementos para la definitud. Observe que el círculo que representa el conjunto C es com-
completamente dentro del círculo que representa S. Esta es una forma geométrica de mostrar que C ✓ S. También,
observa que los círculos que representan SandV se superponen en la letra 'o'. Esta región común es cómo
visualizamos S\V. Observe que como C\V=;, los círculos que representan C y V no tienen
superposición alguna.
Todos estos círculos se encuentran dentro de un rectángulo etiquetado U (para 'conjunto universal'). Un conjunto universal contiene todos
de los elementos en discusión, por lo que siempre podría considerarse como la unión de todos los conjuntos en
pregunta, o un conjunto aún más grande. En este caso, podríamos tomar U=S[VorU como el conjunto de letras
en todo el alfabeto. El lector puede preguntarse si hay un conjunto universal último que
contiene todo. La respuesta corta es 'no' y te recomendamos una vez más aLa paradoja de Russell.
El tríptico habitual de Diagramas de Venn que indican conjuntos genéricos A y B junto con A\B y A[B
se da a continuación.
U U U
A\B A[B
A B A B A B
El campo de juego para la mayor parte de este texto es el conjunto de los Números Reales. Muchas cantidades en el 'mundo real'
se puede cuantificar utilizando números reales: la temperatura en un momento dado, los ingresos generados
vendiendo un cierto número de productos y la máxima población de Sasquatch que puede
habitar una región particular son solo tres ejemplos básicos. Un resumen, pero no obstante incompleto5
la definición de un número real se da a continuación.
Definición 0.6. Un número areal es cualquier número que posee una representación decimal.
el conjunto de números reales se denota con el carácter R.
Ciertos subconjuntos de los números reales son dignos de mención y se enumeran a continuación. De hecho, en más ...
textos avanzados,6los números reales se construyen a partir de algunos de estos subconjuntos.
1. Los Números Naturales: N={1, 2, 3, ...} Los períodos de elipsis ‘...’ aquí indican que el
Los números naturales contienen 1, 2, 3 'y así sucesivamente'.
a
4. Los Números Racionales: Q=b|a2Zyb2Z. Los números racionales son las razones de
números enteros donde el denominador no es cero. Resulta que otra forma de describir el
números racionalesbes:
5. Los Números Irracionales: P={x|x2R pero x2/Q}. cEs decir, un número irracional es un
número real que no es racional. Dicho de otra manera,
Tenga en cuenta que cada número natural es un número entero que, a su vez, es un número entero. Cada entero es un
número racional (tomar b = 1 en la definición anterior para Q) y dado que cada número racional es un real
número7los conjuntos N, W, Z, Q, y R están anidados comoMuñecas Matryoshka. Más formalmente, estos conjuntos
forma una cadena de subconjuntos: N✓W✓Z✓Q✓R. Se anima al lector a dibujar un Diagrama de Venn
representando todos los subconjuntos mencionados anteriormente. Es hora de un ejemplo.
5
¡Juego de palabras matemático intencionado!
6
Vea, por ejemplo, los Fundamentos del Análisis de Landau.
7
¡Gracias a la división larga!
0.1 Teoría de Conjuntos Básica y Notación de Intervalos 7
Ejemplo 0.1.1.
(a) Which elements ofAare natural numbers? Rational numbers? Real numbers?
(b) Encuentra A\W, A\Z y A\P.
Solución.
1. Para encontrar una descripción de roster para estos conjuntos, necesitamos enumerar sus elementos. Comenzando con
Una forma de describir verbalmente Sis es decir que Sis es el ‘conjunto de todos los cuadrados de números reales’.
Aunque esto no es incorrecto, nos gustaría aprovechar esta oportunidad para profundizar un poco más.10Qué
hace el conjunto S={x2un poco más complicado de manejar que los conjuntos PorE arriba es que
la variable ficticia aquí, x, abarca todos los números reales. A diferencia de los números naturales o
los enteros, los números reales no se pueden listar de ninguna manera metódica.11Sin embargo, nosotros
puede seleccionar algunos números reales, elevarlos al cuadrado y tener una idea de qué tipo de números se encuentran en
Así que supongamos 2S. ¿Qué se puede decir sobre s? Sabemos que hay algún número real x.
thats=x2 . Desdex2≥0 para cualquier número real x, sabemos que s≥0. Esto nos dice que todo
8
Esta no es la forma más precisa de describir este conjunto; siempre es peligroso usar '...' ya que asumimos que el
el patrón se demuestra claramente y, por lo tanto, se hace evidente para el lector. Las fórmulas son más precisas porque el patrón
está claro.
9
Esto no debería ser demasiado sorprendente, ya que un número entero par se define como un múltiplo entero de 2.
10
Considera esto como una oportunidad para detenerte y oler las rosas matemáticas.
11
Esta es una afirmación no trivial. Se invita a los lectores interesados a una discusión deEl argumento diagonal de Cantor.
8 Requisitos previos
inSis es un número real no negativo.12Esto plantea la pregunta: ¿son todos los no negativos?
¿números reales en S? Suponga que n es un número real no negativo, es decir, n ≥ 0. Si n estuviera en S,
habría un número real x tal que x2n. Como puede recordar, podemos resolver x2=nby
p que n≥0, n es un número
‘extrayendo raíces cuadradas’: x=±n. Dado p real.13Además, ( n)2=n p
sonis el cuadrado de un número real lo que significa n2S. Por lo tanto, S es el conjunto de los no negativos
números reales.
4
3. (a) El conjunto A no contiene números naturales.14Claramente,
5 es un número racional como lo es -117
(lo que se puede escribir como−117 Sonlos últimos dos números listados en A, 0.202002 y
1
0.202002000200002 ..., eso merece alguna discusión. Primero, recuerda que la ‘línea’ sobre
los dígitos 2002 en 0.202002 (llamado el vínculo) indican que estos dígitos se repiten, así que
es un número racional.15En cuanto al número 0.202002000200002 ..., el '...' indica el
el patrón de agregar un '0' extra seguido de un '2' es lo que define este número real. A pesar de
el hecho de que haya un patrón en este decimal, este decimal no se repite, así que no es un
número racional - de hecho, es un número irracional. Todos los elementos de A son reales
números, ya que todos ellos pueden ser expresados como decimales (recuerda que = 0.8).45
(b) El conjunto A\W={x|x∈A y x∈W} es otra forma de decir que estamos buscando
el conjunto de números en A que son números enteros. Dado que A no contiene números enteros.
bers,A\W=;. De manera similar, A\Z está buscando el conjunto de números en A que son
enteros. Dado que −117 es el único entero en A, A\Z={−117}. En cuanto al conjunto A\P,
como se discutió en la parte (a), el número 0.202002000200002 ... es irracional, así que A\P=
{0.202002000200002 ...}
4. El conjunto N[Q={x|x2Norx2Q} es la unión del conjunto de números naturales con el conjunto
de números racionales. Dado que cada número natural es un número racional, N no contribuye.
cualquier nuevo elemento a Q, así que N[Q=Q.16Para el conjunto Q[P, notamos que cada número real
es ya sea racional o no, por lo tanto Q[P=R, bastante por la definición del conjunto P.
Como podrás recordar, a menudo visualizamos el conjunto de los números reales R como una línea donde cada punto en el
una línea corresponde a un y solo un número real. Dado dos números reales diferentes a y b, nosotros
Escribe un <bifais ubicado a la izquierda de bon la recta numérica, como se muestra a continuación.
a b
La recta numérica real con dos números a y b donde a < b.
Aunque esta noción parece inocente, vale la pena señalar que esta convención está arraigada en dos
propiedades profundas de los números reales. La primera propiedad es que R escompleto. Esto significa que hay
12
Esto significa que S es un subconjunto de los números reales no negativos.
13
Esto se llama la propiedad 'raíz cuadrada cerrada' de los números reales no negativos.
14
Carl fue tentado a incluir 0.9 en el conjuntoA, pero pensó mejor en ello. Ver Sección9.2 para más detalles.
15
Así que 0.202002 = 0.20200220022002 ....
16
De hecho, en cualquier momento A✓B, A[B=Band viceversa. Consulta los ejercicios.
0.1 Teoría de Conjuntos Básica y Notación de Intervalos 9
no hay 'huecos' o 'vacíos' en la recta numérica real.17Otra forma de pensar en esto es que si tú
elige cualquier dos números reales distintos (diferentes) y mira entre ellos, encontrarás una línea sólida
segmento (o intervalo) que consiste en infinitos números reales. El siguiente resultado nos dice qué tipos
de números que podemos esperar encontrar.
Propiedad de densidad de Q y P en R
Entre dos números reales distintos, hay al menos un número racional y uno irracional.
números. Luego se sigue que entre cualquier par de números reales distintos habrá infinitamente muchos
números racionales e irracionales.
La palabra raíz 'denso' aquí comunica la idea de que los racionales e irracionales son 'a fondo
mezclado en R. Se anima al lector a pensar en cómo se encontraría tanto un racional como un
número irracional entre, digamos, 0.9999 y 1. Una vez que hayas hecho eso, intenta hacer lo mismo para
los números 0.9 y 1. ('Intentar' es la palabra clave, aquí.18)
La segunda propiedad que posee que nos permite verla como una línea es que el conjunto estotalmente ordenado.
Esto significa que dado cualquier par de números reales a y b, o a<b, a>b o a=b lo que permite
nosotros para organizar los números de menor (izquierda) a mayor (derecha). Puede que hayas escuchado esta propiedad
given as the ‘Law ofTrichotomy’.
Ley de Tricotomía
Si a y b son números reales, entonces exactamente una de las siguientes afirmaciones es verdadera:
a<b a>b a=b
Los segmentos de la recta numérica real se llaman intervalos. Juegan un papel enorme no solo en esto.
texto pero también en el currículo de Cálculo, por lo que necesitamos una forma concisa de describirlos. Comenzamos por
examinando algunos ejemplos de la notación de intervalo asociada con algunos conjuntos específicos de números.
{x|1≤x<3} [1, 3) 1 3
{-1 ≤ x ≤ 4} [-1, 4] 4
-1
{x|x≤5} (−1, 5] 5
{x|x>−2} (−2,1)
-2
Como puedes deducir de la tabla, para intervalos con extremos finitos comenzamos escribiendo 'extremo izquierdo,
punto final derecho’. Usamos corchetes, ‘[’ o ‘]’, si el punto final está incluido en el intervalo. Esto
17
Lamentablemente, este sentimiento intuitivo de lo que significa estar 'completo' es lo mejor que se puede obtener a este nivel. La completitud se obtiene
un significado mucho más preciso más adelante en cursos como Análisis y Topología.
18
Nuevamente, consulte la Sección 9.2 para detalles.
10 Prerrequisitos
corresponde a un punto ‘relleno’ o ‘cerrado’ en la recta numérica para indicar que el número está incluido
en el conjunto. De lo contrario, usamos paréntesis, ‘(’ o ‘)’ que corresponden a un círculo ‘abierto’ que
indica que el extremo no es parte del conjunto. Si el intervalo no tiene extremos finitos, nosotros
utiliza el símbolo −1 para indicar que el intervalo se extiende indefinidamente hacia la izquierda y el símbolo 1
para indicar que el intervalo se extiende indefinidamente hacia la derecha. Dado que el infinito es un concepto, y no un
número, siempre usamos paréntesis cuando usamos estos símbolos en notación de intervalos, y usamos el
flecha apropiada para indicar que el intervalo se extiende indefinidamente en una o ambas direcciones. Nosotros
resume todos los casos posibles en una tabla conveniente a continuación.19
Notación de Intervalo
{x|a<x<b} (a,b) a b
{x|a<x≤b} (a,b] a b
{x|a x b} [a,b] a b
{x|x<b} (-1,b) b
{x|x ≤ b} (-1,b] b
{x|x>a} (a,1) a
{x|x≥a} [a,1) a
R (−1,1)
Cerramos esta sección con un ejemplo que une varios conceptos presentados anteriormente. Especif-
ically, we demonstrate how to use interval notation along with the concepts of ‘union’ and ‘inter-
sección para describir una variedad de conjuntos en la recta numérica real.
19
La importancia de entender la notación de intervalos en Cálculo no puede ser exagerada, así que hazte un favor
y memoriza este gráfico.
0.1 Teoría de Conjuntos Básica y Notación de Intervalos 11
Example 0.1.2.
1. Expresa los siguientes conjuntos de números utilizando notación de intervalo.
(a){x|x ≤ -2 o x ≥ 2} (b){x|x= 3}
(c){x|x=±3} (d){x|-1<x≤3 o x= 5}
Solución.
1. (a) La mejor manera de proceder aquí es graficar el conjunto de números en la recta numérica.
y obtener la respuesta de ello. La desigualdad x ≤ -2 corresponde al intervalo
(−1,−2] y la desigualdad x≥2 corresponde al intervalo [2, 1). El 'o' en
{x|x≤ −2 o x≥2} nos dice que estamos buscando la unión de estos dos intervalos,
entonces nuestra respuesta es (−1,−2][[2,1).
-2 2
(−1,−2][[2,1)
(b) Para el conjunto {x|x= 3}, sombrearemos toda la recta numérica real excepto x= 3, donde
deja un círculo abierto. Esto divide la recta numérica real en dos intervalos, (−1, 3) y
(3,1). Dado que los valores de x podrían estar en uno de estos intervalos o en el otro, una vez
nuevamente usa el símbolo de unión para obtener {x|x= 3} = (−1, 3)[(3,1).
3
(−1, 3)[(3,1)
(c) Para el conjunto {x|x=±3}, procedemos como antes y excluimos tanto x= 3 como x=−3 de
nuestro conjunto. (¿Recuerdas lo que dijimos en6aboutx=±3?) This breaks the
línea numérica en tres intervalos, (−1,−3), (−3, 3) y (3,1). Dado que el conjunto describe
números reales que provienen del primer, segundo o tercer intervalo, tenemos {x|x=±3}=
(−1,−3)[(−3, 3)[(3,1).
-3 3
(−1,−3)[(−3, 3)[(3,1)
(d) Graficar el conjunto {x | -1 < x ≤ 3 o x = 5} produce el intervalo (-1, 3] junto con el
número único 5. Mientras que podríamos expresar este único punto como [5, 5], es habitual
escribe un único punto como un 'conjunto singleton', así que en nuestro caso tenemos el conjunto {5}. Así que nuestro
la respuesta final es {x|−1<x 3 o x= 5} = (−1, 3][{5}.
-1 3 5
(−1, 3][{5}
12 Requisitos previos
2. Comenzamos graficando A= [−5, 3) y B= (1,1) en la recta numérica. Para encontrar A\B, necesitamos
encuentra los números en común entre A y B, en otras palabras, la superposición de los dos intervalos.
Claramente, todo lo que está entre 1 y 3 está en A y B. Sin embargo, dado que 1 está en A pero no en
B, 1 no está en la intersección. De manera similar, dado que 3 está en B pero no en A, no está en la intersección.
tampoco. Por lo tanto, A\B = (1, 3). Para encontrar A[B, necesitamos encontrar los números en al menos uno de
A o B. Gráficamente, sombrearemos A y B junto con él. Observe aquí que, aunque 1 no es
enB, está enA, así que es la unión junto con todos los otros elementos deAentre−5 y 1. A
un argumento similar se aplica a la inclusión de 3 en la unión. El resultado de sombrear tanto A como B
juntos nos da A[B= [−5,1).
-5 1 3 -5 1 3 -5 1 3
A= [−5, 3),B= (1,1) A\B= (1, 3) A[B= [−5,1)
0.1 Teoría de Conjuntos Básica y Notación de Intervalos 13
0.1.3 Ejercicios
1. Encuentra una descripción verbal para O={2n−1|n ∈N}
3 p 20
⇢
3. Sea A=−3,−1.02,−, 0.57, 1.23, 3, 5.2020020002 ... 117
5 10
{x|−1≤x<5}
[0, 3)
2 7
{x|−5<x≤0}
(−3, 3)
5 7
{x|x≤3}
(-1, 9)
{x|x≥ −3}
14 Prerequisites
Para Ejercicios23 - 28utiliza el diagrama de Venn en blanco a continuación A, B y C como guía para ti para sombrear
los siguientes conjuntos.
A B
29. Explica cómo tus respuestas a los problemas27y28mostrar A(B[C) = (A exto{B})[(A exto{C}).
de manera diferente, esto muestra 'la intersección se distribuye sobre la unión.' Discute con tus compañeros de clase si
La ‘unión’ se distribuye sobre la ‘intersección’. Usa un Diagrama de Venn para apoyar tu respuesta.