Teoría de conjuntos

La teoría de conjuntos es una rama de la lógica matemática que estudia las

propiedades y relaciones de los conjuntos: colecciones abstractas de
objetos, consideradas como objetos en sí mismas. Los conjuntos y sus
operaciones más elementales son una herramienta básica en la formulación
de cualquier teoría matemática.1
La teoría de los conjuntos es lo suficientemente rica como para construir el
resto de objetos y estructuras de interés en
matemáticas: números, funciones, figuras geométricas,...; gracias a las
herramientas de la lógica, permite estudiar los fundamentos de aquella. En
la actualidad se acepta que el conjunto de axiomas de la teoría de Zermelo-
Fraenkel es suficiente para desarrollar toda la matemática.
Además, la propia teoría de conjuntos es objeto de estudio per se, no sólo como herramienta
auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina
es habitual que se presenten casos de propiedades indemostrables o contradictorias, como
la hipótesis del continuo o la existencia de un cardinal inaccesible. Por esta razón, sus
razonamientos y técnicas se apoyan en gran medida en la lógica.
El desarrollo histórico de la teoría de conjuntos se atribuye a Georg Cantor, que comenzó a
investigar cuestiones conjuntistas «puras» del infinitoen la segunda mitad del siglo XIX,
precedido por algunas ideas de Bernhard Bolzano e influido por Richard Dedekind. El
descubrimiento de las paradojas de la teoría cantoriana de conjuntos, formalizada por Gottlob
Frege, propició los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a
principios del siglo XX.

Ejemplo 1
En una escuela hay 130 alumnos, 50 juegan con una pelota en el receso, 15 juegan a la
cuerda y solo 25 juegan ambas. ¿Cuántos alumnos juegan con una pelota o cuerda?
¿Cuantos alumnos no juegan con una pelota? ¿Cuantas personas no juegan ambas?

Ejemplo 2
Se les regalaron a 200 personas, playeras de dos grupos de géneros (rock y banda). Resulta
que 30 quieren de rock, 45 de banda y 20 de ambas. ¿Cuantas personas quieren de rock o
banda? ¿Cuantas personas no quieren de rock? ¿Cuantas personas no quieren ninguna?

Introducción
Artículo principal: Conjunto

La teoría de conjuntos más elemental es una de las herramientas básicas del lenguaje
matemático. Dados unos elementos, unos objetos matemáticos
como números o polígonos por ejemplo, puede imaginarse una colección determinada de
estos objetos, un conjunto. Cada uno de estos elementos pertenece al conjunto, y esta noción
de pertenencia es la relación relativa a conjuntos más básica. Los propios conjuntos pueden
imaginarse a su vez como elementos de otros conjuntos. La pertenencia de un

elemento a un conjunto se indica como .

Una relación entre conjuntos derivada de la relación de pertenencia es la relación de inclusión.

Una subcolección de elementos de un conjunto dado es un subconjunto de ,y

se indica como ( está incluido en ). Tambien se puede expresar esto

escribiendo (que se lee contiene a o incluye a ).2

Ejemplos.

 Los conjuntos numéricos usuales en matemáticas son: el conjunto de los números

naturales N, el de los números enteros Z, el de los números racionales Q, el de
los números reales R y el de los números complejos C. Cada uno es subconjunto del
siguiente:

 El espacio tridimensional es un conjunto de objetos elementales

denominados puntos . Las rectas y planos son conjuntos de puntos a su

vez, y en particular son subconjuntos de , y .

Álgebra de conjuntos[editar]
Artículo principal: Álgebra de conjuntos

Existen unas operaciones básicas que permiten manipular los conjuntos y sus elementos,
similares a las operaciones aritméticas, constituyendo el álgebra de conjuntos:

 Unión. La unión de dos conjuntos A y B es el conjunto A ∪ B que contiene cada elemento

que está por lo menos en uno de ellos.
 Intersección. La intersección de dos conjuntos A y B es el conjunto A ∩ B que contiene
todos los elementos comunes de A y B.
 Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene
todos los elementos de A que no pertenecen a B.
 Complemento. El complemento de un conjunto A es el conjunto A∁ que contiene todos los
elementos (respecto de algún conjunto referencial) que no pertenecen a A.

 Diferencia simétrica La diferencia simétrica de dos conjuntos A y B es el

conjunto A Δ B con todos los elementos que pertenecen, o bien a A, o bien a B, pero no a
ambos a la vez.
 Producto cartesiano. El producto cartesiano de dos conjuntos A y B es el
conjunto A × B que contiene todos los pares ordenados (a, b) cuyo primer
elemento a pertenece a A y su segundo elemento b pertenece a B.
Los conjuntos y las operaciones con conjuntos se pueden representar visualmente empleando
los diagramas de Venn.3

Teoría axiomática de conjunto

La teoría informal de conjuntos apela a la intuición para determinar cómo se comportan los
conjuntos. Sin embargo, es sencillo plantear cuestiones acerca de las propiedades de estos
que llevan a contradicción si se razona de esta manera, como la famosa paradoja de Russell.
Históricamente ésta fue una de las razones para el desarrollo de las teorías axiomáticas de
conjuntos, siendo otra el interés en determinar exactamente qué enunciados acerca de los
conjuntos necesitan que se asuma el polémico axioma de elección para ser demostrados.
Las teorías axiomáticas de conjuntos son colecciones precisas de axiomas escogidos para
poder derivar todas las propiedades de los conjuntos con el suficiente rigor matemático.
Algunos ejemplos conocidos son:

 La teoría de conjuntos de Zermelo-Fraenkel

 La teoría de conjuntos de Neumann-Bernays-Gödel
 La teoría de conjuntos de Morse-Kelley
 PROPIEDADES DE LAS OPERACIONES BÁSICAS

Suma
Conmutativa : si cambiamos el orden de los sumandos la suma no varia:
4 + 3+ 2 = 9
2 +4 + 3 = 9
Asociativa : si efectuamos sumas parciales la suma no varía:
(2 + 1) + (3 + 5) = 11
Cero elemento neutro:
12 + 0 = 12
Sucesión fundamental : se obtiene el siguiente número
8+1=9
Resta
No es conmutativa: si cambiamos el orden del minuendo y el sustraendo, la resta varia
5-2=3
2-5=-3
No es asociativa

Cero elemento neutro:

8-0=8
Sucesión fundamental: se obtiene el número anterior
8-1=7
Multiplicación
Conmutativa: El orden de los factores no altera el producto.
2x3=6
3x2=6
Asociativa: sí sustituimos dos o más factores por su producto, el producto final no varía.
( 2 x 3 ) x 4 = 24
2 x ( 4 x 3 ) = 24
Propiedad distributiva : Para multiplicar una suma algebraica por un número natural se
multiplica cada sumando por dicho número natural y luego se suman los productos
parciales.
(3 + 4 ) . ( 2 + 4 ) =
( 3.2 )+ (3.4) +( 4.2) +(4.4) =
6+ 12 + 8+ 16 = 42
División
No es conmutativa
6:2=3
2 : 6 = 0,333
No es asociativa
( 8 : 4) : 2 = 1
8: ( 4 : 2 ) = 4
Propiedad distributiva: para dividir una suma algebraica por un número natural
se divide cada sumando por dicho número natural y luego se suman los cocientes
parciales
( 4 + 8) : 2 =
(4 : 2) +( 8 : 2)
2+4=6
No se puede: 2 : ( 4 + 8 ) =
(2 : 4) +( 2 : 8)
0,5 + 0,25 = 0,75

Notación
Cardinalidad
Diagrama de Venn
Aritmética
Propiedades de las operaciones aritméticas (Conmutativa, distributiva, ley de
cancelación, ley de signos, etc.)
Porcentaje
Interés simple y compuesto
Regla de tres (simple y compuesta)
Sistemas numéricos y operaciones
Múltiplos
Números primos