Pensamiento Lógico y Matemático

PRIMERA ACTIVIDAD
TEORÍA DE CONJUNTOS

Presentado por: Mario Torres Duarte

Bogotá D.C., 27 de Febrero de 2017
Pensamiento Lógico y Matemático

El conocimiento lógico y matemático lo construyen los seres

humanos en su mente a través de las relaciones con los
objetos, desarrollándose siempre desde lo más elemental a
lo más complejo. Los seres humanos -inherente a su
naturaleza- tratan de que este conocimiento adquirido no
se olvide, puesto que lo adquirido proviene de experiencias
disímiles que se dan en acciones de la vida cotidiana, sea
esta académica o no.
Teoría de Conjuntos

Definición básica de la Teoría de Conjuntos

La Teoría de Conjuntos es una rama de las matemáticas que

estudia las propiedades y relaciones de los Conjuntos y sus
operaciones más elementales son una herramienta básica en la
formulación de cualquier teoría matemática.
La Teoría de Conjuntos es lo suficientemente rica como para
construir el resto de objetos y estructuras de interés en
matemáticas como los números y funciones, junto con la lógica.
Teoría de Conjuntos

Breve historia de la Teoría de Conjuntos

George Cantor (1845-1918) fue quien formuló la
Teoría de Conjuntos a finales del siglo XIX. Cantor
comenzó esta tarea por medio del análisis de las bases de las
matemáticas y explicó todo basándose en los conjuntos (por
ejemplo, la definición de función se hace estrictamente por medio
de conjuntos). Este trabajo permitió la comprensión de nuevos
conceptos.
El problema apareció cuando se comenzaron a encontrar paradojas
en esta teoría, siendo la más célebre la paradoja de Russell, y más
tarde varios matemáticos encontraron otras, por ello los
investigadores se preguntaron si las matemáticas en realidad eran
consistentes, y sobre todo verdaderas, ya que cualquier suposición
matemática podía basarse en una teoría inconsistente.
Teoría de Conjuntos

Por ello la primera propuesta para solucionar el problema

de las paradojas fue del matemático holandés Brouwer,
quien propuso una redefinición radical de todas las matemáticas,
basándose en la intuición: aceptaba los conceptos que son
aparentes a la intuición general. Esta filosofía solucionaba
satisfactoriamente el problema de las paradojas.
En 1904 se propuso la teoría de la prueba, la cuál era una teoría
de la lógica independiente del contexto y podría ser aplicada a las
matemáticas sin encontrar paradojas. Russell a su vez desarrolló
su teoría de los tipos para evitar las paradojas. El proponía que
los enunciados se acomodaran jerárquicamente. Russell publicó
sus resultados en 1908 con la colaboración de Alfred North
Whitehead.
Teoría de Conjuntos

Por otro lado, Russell publicó sus resultados en 1908 con la

colaboración de Alfred North Whitehead.
Ernst Zermelo en 1908 propuso la axiomatización de la teoría de
conjuntos.
La teoría de conjuntos no ha logrado unificar a las matemáticas y
por tanto éstas se han ramificado en áreas muy diferenciadas
como la aritmética, el álgebra, la trigonometría y geometría;
también se han separados distintos campos como el cálculo, la
topología, la misma teoría de conjuntos, la teoría de los números
y la estadística.
Teoría de Conjuntos
Teoría de Conjuntos

Conceptos básicos de Teoría de Conjuntos

Conjunto: se entiende como una colección o agrupación bien

definida de objetos de cualquier clase como personas, números,
colores, letras, figuras etc.
Elemento: son los objetos que forman un conjunto, es decir, los
miembros del conjunto. Todos los elementos del conjunto son
diferentes entre sí.
Ejemplo: El conjunto de los colores del arcoíris:
AI = {Rojo, Naranja, Amarillo, Verde, Cian, Azul, Violeta}
Otros conjuntos pueden ser:
Los miembros de una familia.
Una colección de objetos.
Un equipo de fútbol.
Una plantilla o un rebaño de ovejas.
Teoría de Conjuntos

NOTACIÓN:
Los conjuntos se designan por letras mayúsculas (A, B, C,…Z)
y los elementos con las letras minúsculas (a, b, c,…z), números (1,
2, 3, 4,…).
El contenido de los conjuntos se escribe dentro de llaves,
paréntesis o signos de agrupación en general [], {}, ().
Sus elementos se separan mediante coma.

L={ a, b, c, …, x, y, z}
Cuando un conjunto carece de elementos se le llama conjunto
vacío y su notación es: {} o Ø
Más adelante veremos las diferentes clases de conjuntos.
Teoría de Conjuntos

Más ejemplos de conjuntos:

Vamos a designar como “A” al conjunto de un equipo deportivo al
que llamaremos “blanco” y cuyos elementos son: Luís, José, Mario,
Rodrigo, Manuel, Jacinto, Pedro, Ernesto y Fausto.
A= {Luís, José, Mario, Rodrigo, Manuel, Jacinto, Pedro, Ernesto,
Fausto}
Como resulta muy largo escribir el nombre de cada uno, se reducirá
así: Sea A= {x/x es miembro del equipo blanco}
Todos los miembros del equipo blanco se llamarán “n” y este
nombre se le asignará a cada jugador escribiéndose así:
n∈A
Se lee “n pertenece al conjunto A” y por lo tanto n pertenece al
equipo blanco.
Teoría de Conjuntos

Ahora bien, si existe un equipo digamos que azul al que

designaríamos como “B” y sus elementos como f al que al que los
miembros o elementos de «B» no pertenecen al conjunto A:
denotaríamos esto así:
f∉A
Se lee f no pertenece al conjunto A.
En un esquema mental lo anterior lo podemos visualizar así:
Teoría de Conjuntos

Un conjunto queda definido si conocemos todos los elementos. Esto se

puede hacer de dos maneras:
a) Por extensión: Enumerando todos los elementos del conjunto:
A = {1, 2, 3, 4, 5, 6}

b) Por Comprensión: Indicando alguna(s) propiedad(es) que cumplan

todos y cada uno de los elementos del conjunto. Por ejemplo,
podríamos escribir A como:
A = {x / ∈ N; 1 ≤ x ≤ 6} donde N es el conjunto de los números
naturales. Recordamos que a ∈ A significa que el elemento a pertenece
al conjunto A.
Teoría de Conjuntos

Otro ejemplo: P = {Los números dígitos}

También lo podemos escribir más formalmente así:
P = {x/x es dígito}
Teoría de Conjuntos

Más ejemplos:
Expresar por Extensión y por Comprensión los días de la semana.
Por Extensión
D = {lunes, martes, miércoles, jueves, viernes, sábado, domingo}
Por Comprensión
D = {x/x = día de la semana}

Subconjunto: Se dice que un conjunto B es un subconjunto de A si todo

elemento de B es elemento de A. Simbólicamente se expresa de la
siguiente manera: B ⊂ A.
Todo conjunto está incluido en sí mismo. A ⊂ A.
El conjunto vacío se considera incluido en cualquier conjunto. ∅ ⊂ A
Teoría de Conjuntos

Cardinal de un conjunto: Es el número de elementos de un conjunto y

se denota por Card A o │A│

Igualdad de conjuntos: Dos conjuntos son iguales (A = B) si tienen los

mismos elementos. La propiedad que utilizaremos para demostrar que
dos conjuntos son iguales es la siguiente:
A = B ⇔ A ⊂ B y B ⊂ A que se lee: A es igual a B si, y sólo si, A está
incluido en B y B está incluido en A. Por tanto, para demostrar la
igualdad entre dos conjuntos es necesario demostrar las dos
inclusiones y lo llamaremos método de la doble inclusión.
Teoría de Conjuntos

Diagramas de Venn:
Los diagramas de Venn se deben al filósofo inglés John Venn (1834-
1923), sirven para representar conjuntos de manera gráfica mediante
dibujos o diagramas que pueden ser círculos, rectángulos, triángulos o
cualquier curva cerrada
Es decir, los diagramas de Venn son representaciones gráficas muy
útiles en la representación de conjuntos. Los conjuntos se representan
mediante áreas planas dentro de un rectángulo que ilustra al conjunto
universal.
El diagrama de Venn correspondiente al conjunto complementario
(parte sombreada en el gráfico) es el siguiente:
Teoría de Conjuntos

Conjunto vacío: El conjunto vacío es el único conjunto que no tiene

ningún elemento y se representa por ∅.

Conjunto unitario: Es el conjunto que tiene solo un elemento.

Conjunto universal: Se denota con U a aquel conjunto de referencia en

el cual estarán incluidos todos los conjuntos que intervendrán.

Conjunto complementario: Dado un conjunto universal U y un

subconjunto A, llamamos complementario de A y se denota por A´ al
conjunto formado por los elementos de U que no pertenecen a A.
A´= {x ∈ U / x ∉ A}
Teoría de Conjuntos

Propiedades
(A´)´ = A
A´ U A = U
A ´∩ A = ∅
U´ = ∅
∅´ = U
Conjunto finito: Este tipo de conjunto también se distingue por la
cantidad de elementos que posee. Un conjunto es finito si podemos
contar la cantidad de elementos que lo conforman.
Por ejemplo, el conjunto de las letras del idioma castellano es finito
porque en total son 27 letras.
Conjunto infinito: es aquel en los que no les podemos contar la
cantidad de elementos que los componen. Ejemplo, el conjunto de los
números naturales.
Teoría de Conjuntos

Operaciones entre conjuntos

Con un conjunto universal U y dos conjuntos A y B podemos
definir las siguientes operaciones:

Unión de conjuntos:
A ∪ B es el conjunto de elementos que pertenecen a A o a B.
A ∪ B = {x ∈ U / x ∈ A o x ∈ B}
Esta operación es:
Conmutativa: A ∪ B = B ∪ A
Asociativa: (A ∪ B) ∪ C = A ∪ (B ∪ C)
También
A∪A=A
A∪∅ =A
Si A ∪ B = ∅  A = ∅ y B = ∅
Teoría de Conjuntos

Intersección de conjuntos:

A ∩ B es el conjunto de elementos que pertenecen a A y a B.

A ∩ B = {x ∈ U / x ∈ A y x ∈ B}
Esta operación es:
Conmutativa: A ∩ B = B ∩ A
Asociativa: (A ∩ B) ∩ C = A ∩ (B ∩ C) A ∪ B
También
A∩A=A
A∩∅ =∅
A∩U=A
Teoría de Conjuntos

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Cuando A ∩ B no tiene ningún elemento, se expresa A ∩ B = ∅ y,
entonces, decimos que A y B son disjuntos.

Diferencia de conjuntos
A – B es el conjunto de elementos que pertenecen a A y no a B.
A-B={x∈U/x∈Ayx∉B}
Ejemplo
Si A = {a, b, c, d}
B = {a, c, g}
A ∪ B = {a, b, c, d, g}
A ∩ B = {a, c}
A - B = {b, d}
¿Es A – B = B – A?
Teoría de Conjuntos
 Teoría de Conjuntos

DEFINICIÓN DE PARADOJA: El concepto de paradoja puede entenderse

como uno de los siguientes:
Una declaración contradictoria que parece ser cierta.
Aquello que exhibe aspectos o cualidades contradictorias o
inexplicables o una declaración esencialmente contradictoria basada
en un razonamiento válido de suposiciones lógicas.
En matemáticas el conjunto potencia de un conjunto dado es otro
conjunto formado por todos los subconjuntos del conjunto dado. Por
ejemplo, dado el conjunto:
A= {1,2,3}
El conjunto potencia es:
P(A)={{ }, {1},{2},{3},{1,2},{2,3},{1,3},{1,2,3}}
El conjunto potencia de A también se denomina conjunto de las
partes de A
 Teoría de Conjuntos

El cardinal de las partes de A, es decir, P(A) = 2A

PARADOJA DE CANTOR: EL CONJUNTO DE TODOS LOS CONJUNTOS
Sea C el conjunto de todos los conjuntos. Entonces todo subconjunto
de C es así mismo un elemento de C; luego, el conjunto potencia de C
es un subconjunto de C; pero esto implica que la cardinalidad del
conjunto potencia es menor o igual a la cardinalidad de C. Pero
entonces, según el teorema de Cantor, la cardinalidad de C debe ser
menor a la cardinalidad del conjunto potencia. Así pues, el concepto de
conjunto de todos los conjuntos lleva a una Paradoja.
 Teoría de Conjuntos

PARADOJA DE RUSSELL
Sea Z el conjunto de todos los conjuntos que no son elementos de sí
mismos. Se pregunta ¿Z es o no elemento de sí mismo? Si Z no
pertenece a Z, entonces, por la definición de Z, Z pertenece a sí mismo.
Pero si Z pertenece a Z, entonces por la definición de Z, Z no pertenece
a sí mismo. En cualquiera de los dos casos hay contradicción.
Esta paradoja es análoga a la paradoja del barbero: En una aldea hay
un barbero que afeita solamente a los hombres que no se afeitan ellos
mismos. Se pregunta ¿Al barbero quién lo afeita?
Teoría de Conjuntos

Ejercicios propuestos
1. Sean los conjuntos
A= {a, b, c, d}
B= {c, d, e, f, g}
C= {b, d, e, f}

Determine:
AUB
Respuesta:
AUB = {a, b, c, d, e, f, g}

A-B
Respuesta:
A-B = {a, b}

A'
Respuesta:
A' = {e, f, g}
Teoría de Conjuntos

BUC
Respuesta:
BUC = {b, c, d, e, f, g}

A∩B
Respuesta:
A∩B = {c, d}

2. Establecer los siguientes conjuntos por extensión:

a) A= {Números naturales}
Respuesta
A = {1, 2, 3, 4, 5, 6, 7, 8, 9, ...+∞}
Teoría de Conjuntos
Teoría de Conjuntos

GRACIAS POR SU
ATENCIÓN