29/7/2018 Elementos de la teoría de conjuntos

Página 1

KEITH DEVLIN: Introducción al pensamiento matemático SUPLEMENTO 1

Elementos de la teoría de conjuntos

NO SE REQUIERE HASTA MÁS TARDE EN EL CURSO

Las últimas partes de este curso asumen que usted (el alumno) está familiarizado con la teoría de conjuntos básica. Este breve documento
resume lo que se requiere. Aunque no necesitará este material hasta que esté en el curso (cuando
habrán sido introducidos a las varias nociones y términos usados en este resumen), probablemente sea una buena idea mirar
a través del suplemento al inicio del curso para obtener una descripción general, y luego revísela a medida que
necesito. (En particular, completar muchos de los ejercicios de este resumen supone que el material que se cubrirá en el
primera parte del curso, por lo que es posible que no pueda hacerlas. Eso no debería ser un problema. Para cuando necesitas
conocimiento de la teoría de conjuntos, en la última semana de clases, debería poder completar todos los ejercicios).

El concepto de un conjunto es extremadamente básico e impregna todo el pensamiento matemático actual.

Cualquier colección bien definida de objetos es un conjunto. Por ejemplo, tenemos:
• el conjunto de todos los estudiantes de tu clase
• el conjunto de todos los números primos
• el conjunto cuyo único miembro eres tú.
Todo lo que se necesita para determinar un conjunto es una forma de especificar la colección. (En realidad, eso no es correcto. En
la disciplina matemática llamada teoría de conjuntos abstractos, se permiten colecciones arbitrarias, donde hay
ninguna propiedad definitoria)
Si A es un conjunto, entonces los objetos en la colección A se llaman los miembros de A o los elementos
de A. Escribimos
x∈ A
para denotar que x es un elemento de A.
Algunos conjuntos se producen con frecuencia en matemáticas, y es conveniente adoptar una notación estándar para
ellos:
N: el conjunto de todos los números naturales (es decir, los números 1, 2, 3, etc.) 1
Z: el conjunto de todos los enteros (0 y todos los números enteros positivos y negativos)
P: el conjunto de todos los números racionales (fracciones)
R: el conjunto de todos los números reales
Por lo tanto, por ejemplo,
x∈ R
significa que x es un número real. Y
(x ∈ Q) ∧ (x> 0)
significa que x es un número racional positivo.
Hay varias formas de especificar un conjunto. Si tiene un pequeño número de elementos, podemos enumerarlos. En
este caso denotamos el conjunto al encerrar la lista de elementos entre llaves; así, por ejemplo,
{1, 2, 3, 4, 5}
1 Tenga en cuenta que en este curso, 0 no se considera como un número natural. Este problema puede causar confusión, ya que algunos autores incluyen
0 entre los números naturales.

Página 2

https://translate.googleusercontent.com/translate_f 1/4
29/7/2018 Elementos de la teoría de conjuntos

KEITH DEVLIN: Introducción al pensamiento matemático SUPLEMENTO 2

denota el conjunto que consiste en los números naturales 1, 2, 3, 4 y 5.

Mediante el uso de 'puntos' podemos extender esta notación a cualquier conjunto finito; p.ej
{1, 2, 3, ..., n}
denota el conjunto de los primeros n números naturales. De nuevo
{2, 3, 5, 7, 11, 13, 17, ..., 53}
podría (dado el contexto correcto) usarse para indicar el conjunto de todos los números primos hasta 53.
Ciertos conjuntos infinitos también se pueden describir mediante el uso de puntos (solo que ahora los puntos no tienen fin), por ejemplo
{2, 4, 6, 8, ..., 2n, ...}
denota el conjunto de todos los números naturales, incluso. De nuevo,
{..., -8, -6, -4, -2, 0, 2, 4, 6, 8, ...}

denota el conjunto de todos los enteros pares.

En general, sin embargo, a excepción de los conjuntos finitos con solo un pequeño número de elementos, los conjuntos se describen mejor
dando la propiedad que define el conjunto. Si A (x) es alguna propiedad, el conjunto de todos los x que satisfacen
A (x) se denota por
{x | Hacha)}
O, si deseamos restringir la x a aquellos que son miembros de un cierto conjunto X, escribiremos
{x ∈ X | Hacha)}

Esto se lee "el conjunto de todas las x en X tal que A (x)". Por ejemplo:
N = {x ∈Z | x> 0}
Q = {x ∈R | (∃m, n ∈ Z) [(m> 0) ∧ (mx = n)]}
√ √
{ 2, - 2} = {x ∈R | x 2 = 2}
{1, 2, 3} = {x ∈N | x <4}

Dos conjuntos, A, B son iguales, escritos A = B, si tienen exactamente los mismos elementos. Como el anterior
muestra el ejemplo, la igualdad de conjuntos no significa que tengan definiciones idénticas; a menudo hay muchos
diferentes formas de describir el mismo conjunto. La definición de igualdad refleja más bien el hecho de que un conjunto es
solo una colección de objetos.
Si tenemos que demostrar que los conjuntos A y B son iguales, generalmente dividimos la prueba en dos partes:
(a) Muestre que cada miembro de A es miembro de B.
(b) Demuestre que cada miembro de B es miembro de A.
Tomados en conjunto, (a) y (b) implican claramente A = B. (La prueba de ambos (a) y (b) es generalmente de la 'toma
una variedad arbitraria de elementos. Para demostrar (a), por ejemplo, debemos probar (∀x ∈ A) (x ∈ B); entonces tomamos un
elemento arbitrario x de A y muestra que x debe ser un elemento de B.)
Las notaciones establecidas introducidas tienen extensiones obvias. Por ejemplo, podemos escribir
Q = {m / n | m, n ∈ Z, n = 0}

y así.
En matemáticas es conveniente introducir un conjunto que no tiene elementos: el conjunto vacío (o el conjunto nulo).
Solo habrá uno de estos conjuntos, por supuesto, ya que dos de ellos tendrán exactamente los mismos elementos y
por lo tanto ser (por definición) igual. El conjunto vacío se denota por la letra escandinava
∅

Página 3

KEITH DEVLIN: Introducción al pensamiento matemático SUPLEMENTO 3

[Tenga en cuenta que esta no es la letra griega φ.] El conjunto vacío se puede especificar de muchas maneras; p.ej

∅ = {x ∈R | x 2 <0}
∅ = {x ∈N | 1 <x <2}
∅ = {x | x = x}

Observe que ∅ y {∅} son conjuntos bastante diferentes. ∅ es el conjunto vacío: no tiene miembros. {∅} es un conjunto que
tiene un miembro Por lo tanto
https://translate.googleusercontent.com/translate_f 2/4
29/7/2018 Elementos de la teoría de conjuntos
∅ = {∅}
¿Cuál es el caso aquí es que
∅ ∈ {∅}
(El hecho de que el elemento único de {∅} sea el conjunto vacío es irrelevante a este respecto: {∅} sí tiene
un elemento, ∅ no.)
Un conjunto A se llama subconjunto de un conjunto B si cada elemento de A es miembro de B. Por ejemplo, {1, 2} es un
subconjunto de {1, 2, 3}. Nosotros escribimos
A⊆B
para significar que A es un subconjunto de B. Si deseamos enfatizar que A y B son desiguales aquí, escribimos

A⊂B

y decir que A es un subconjunto propio de B (Este uso se compara con las relaciones de orden ≤ y <en R.)
Claramente, para cualquier conjunto A, B, tenemos
A = B iff (A ⊆ B) ∧ (B ⊆ A)

Ejercicios 1

1. Qué conjunto conocido es este:

{n ∈N | (n> 1) ∧ (∀x, y ∈ N) [(xy = n) ⇒ (x = 1 ∨ y = 1)]}

2. Dejar
P = {x ∈R | sin (x) = 0}, Q = {nπ | n ∈ Z}
¿Cuál es la relación entre P y Q?
3. Let
A = {x ∈R | (x> 0) ∧ (x 2 = 3)}
Da una definición más simple del conjunto A.
4. Demuestre que para cualquier conjunto A:

∅ ⊆ AyA⊆ Ay

5. Demuestre que si A ⊆ B y B ⊆ C, entonces A ⊆ C

6. Liste todos los subconjuntos del conjunto {1, 2, 3, 4}.
7. Enumere todos los subconjuntos del conjunto {1, 2, 3, {1, 2}}.
8. Deje A = {x | P (x)}, B = {x | Q (x)}, donde P, Q son fórmulas tales que ∀x [P (x) ⇒ Q (x)]. Probar
ese A ⊆ B.
9. Demuestre (por inducción) que un conjunto con exactamente n elementos tiene 2 n subconjuntos.

Página 4

KEITH DEVLIN: Introducción al pensamiento matemático SUPLEMENTO 4

10. Let
A = {o, t, f, s, e, n}
Proporcione una definición alternativa del conjunto A. (Sugerencia: esto está conectado con N pero no es del todo
matemático.)

Hay varias operaciones naturales que podemos realizar en conjuntos. (Corresponden aproximadamente a la suma,
multiplicación y negación para enteros).
Dado dos conjuntos A, B podemos formar el conjunto de todos los objetos que son miembros de cualquiera de A y B.
Este conjunto se llama la unión de A y B y se denota por

A∪B

Formalmente, este conjunto tiene la definición

A ∪ B = {x | (x ∈ A) ∨ (x ∈ B)}

(Observe cómo esto es consistente con nuestra decisión de usar la palabra 'o' para significar inclusivo o).
La intersección de los conjuntos A, B es el conjunto de todos los miembros que A y B tienen en común. Es
denotado por
A∩B

https://translate.googleusercontent.com/translate_f 3/4
29/7/2018 Elementos de la teoría de conjuntos
y tiene la definición formal
A ∩ B = {x | (x ∈ A) ∧ (x ∈ B)}
Se dice que dos conjuntos A, B son disjuntos si no tienen elementos en común: es decir, si A ∩ B = ∅.
El análogo teórico de conjunto de la negación requiere el concepto de un conjunto universal. A menudo, cuando estamos
tratar con conjuntos, todos ellos consisten en objetos del mismo tipo. Por ejemplo, en teoría de números podemos
centrarse en conjuntos de números naturales o conjuntos de racionales; en el análisis real usualmente nos enfocamos en conjuntos de reales.
El conjunto universal para una discusión particular es simplemente el conjunto de todos los objetos del tipo que se está considerando. Es
UN
con frecuencia el dominio sobre el cual se extienden los cuantificadores.
Una vez que hemos arreglado un conjunto universal, podemos introducir la noción del complemento del conjunto A.
En relación con el conjunto universal U, el complemento de un conjunto A es el conjunto de todos los elementos de U que no están en
A. Este conjunto se denota por A, y tiene la definición formal

A = {x ∈ U | x ∈ A}

[Tenga en cuenta que escribimos x ∈ A en lugar de ¬ (x ∈ A), para abreviar.]

Por ejemplo, si el conjunto universal es el conjunto N de números naturales, y E es el conjunto de pares (naturales)
números, luego E es el conjunto de números impares (naturales).
El siguiente teorema resume los hechos básicos sobre las tres operaciones establecidas que acabamos de analizar.
Teorema Sea A, B, C subconjuntos de un conjunto universal U.
(1) A ∪ (B ∪ C) = (A ∪ B) ∪ C
(2) A ∩ (B ∩ C) = (A ∩ B) ∩ C
((1) y (2) son las leyes asociativas)
(3) A ∪ B = B ∪ A
(4) A ∩ B = B ∩ A
((3) y (4) son las leyes conmutativas)
(5) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
(6) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
((5) y (6) son las leyes distributivas)

Página 5

KEITH DEVLIN: Introducción al pensamiento matemático SUPLEMENTO 5

(7) (A ∪ B) = A ∩ B)
(8) (A ∩ B) = A ∪ B
((7) y (8) se llaman leyes de De Morgan)
(9) A U A = U
(10) A ∅ A = ∅
((9) y (10) son las leyes de complementación)
(11) (A) = A
(ley de auto inverso)

Prueba: izquierda como ejercicio.

Ejercicios 2

1. Demuestre todas las partes del teorema anterior.

2. Encuentre un recurso que explique los diagramas de Venn y úselos para ilustrar y ayudarlo a comprender
el teorema anterior

NOTA: Este complemento está resumido por el libro de texto del curso, Introducción al pensamiento matemático, por mí (Keith
Devlin), disponible en Amazon como un libro bajo demanda de impresión bajo demanda. No necesita comprar el libro para completar el
Por supuesto, pero sé que a muchos estudiantes les gusta tener un libro de texto completo.
y
Alluego lo usó este
desarrollar paracurso,
construir todosescribí
primero los materiales deltexto,
el libro de curso.

https://translate.googleusercontent.com/translate_f 4/4