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,
etc; gracias a las herramientas de la lógica, permite
estudiar los fundamentos. 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 infinito en 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 y Abraham Fraenkel.

Definición de Conjunto
Un conjunto es la agrupación, clase, o
colección de objetos o en su defecto de
elementos que pertenecen y responden a la
misma categoría o grupo de cosas, por eso
se los puede agrupar en el mismo conjunto.
Esta relación de pertenencia que se establece
entre los objetos o elementos es absoluta y
posiblemente discernible y observable por
cualquier persona. Entre los objetos o elementos susceptibles de
integrar o conformar un conjunto se cuentan por supuesto cosas físicas,
como pueden ser las mesas, sillas y libros, pero también por entes
abstractos como números o letras.

Los conjuntos son materia de estudio de las matemáticas y

seguramente la mayoría de los que están leyendo la reseña sobre el
término han aprendido lo que saben de ellos en las horas de
matemáticas en la escuela.
Algunas consideraciones básicas a tener en cuenta cuando de conjuntos
se trata es que los mismos se pueden determinar de dos maneras: por
extensión y comprensión. Por extensión cuando se describe uno a uno
los componentes de un conjunto A que contiene números
naturales menores a 8, por ejemplo: A = {1,2,3,4,5,6,7}. Y se dice
que está determinado por comprensión cuando solo se enumera una
característica común que reúnen todos los elementos que lo componen.
Por ejemplo: el conjunto A está formado por colores primarios A =
{rojo}. También puede darse que dos conjuntos sean iguales entre sí
porque comparten la totalidad de los elementos que los componen.

FORMAS DE EXPRESAR UN CONJUNTO:

Los conjuntos se pueden expresar de dos formas según su naturaleza y de acuerdo a la situación que
se va a trabajar que son: Compresión y extensión.
Los conjuntos expresados por compresión son aquellos que expresan una característica general del
conjunto.
Ejemplos A= (x/x, son las vocales)B= (y/y, son los días de la semana)
Los conjuntos expresados por extensión son aquellos que detallan todos y cada uno de los elementos
del conjunto.
Ejemplos A= (a, e, i, o, u)
B= (lunes, martes, miércoles, jueves, viernes, sábado, domingo)
Decimos que un conjunto está definido por compresión , si sus elementos se describen a través de
propiedades que tienen en común.
Un conjunto está definido por extensión, si se enumeran sus elementos.
Por ejemplo: A = {x / x es un número obtenido al lanzar un dado corriente} es un conjunto definido
por comprensión ya que sus elementos “x” se describen a través de una propiedad “es un número
obtenido al lanzar un dado corriente”.
Esa expresión se lee: “A es el conjunto formado por todos aquellos números que se obtengan al
lanzar un dado”.
Date cuenta que la frase escrita entre las llaves ({...}) está en singular y, sin embargo, se lee en
plural.
Ese conjunto, expresado por extensión, es A = {1,2,3,4,5,6}.

Relación de pertenencia
Para comenzar, debes comprender la relación entre los conjuntos y
los elementos que lo conforman. Cuando un objeto es uno de los
elementos de un conjunto decimos que pertenece al conjunto.
Como has visto, es posible representar gráficamente la relación de
pertenencia por medio de diagramas de Venn dibujando el elemento
dentro de un circulo que representa el conjunto. Ahora aprenderás a
representar esta relación por medio de símbolos matemáticos.

Se usa el símbolo que se muestra en la parte izquierda de la siguiente

figura, como el símbolo de la pertenencia. Si queremos representar que
cierto objeto no pertenece a determinado conjunto, usaremos el mismo
símbolo atravesado por una línea, como se muestra en la figura de abajo a
la derecha.

En el ejemplo de abajo puedes ver el conjunto unitario , el cual está

conformado por el elemento . Los símbolos del lado derecho representan
de forma escrita lo mismo que el diagrama de Venn.

La expresión debe ser leída como “ pertenece a ” o “ está en ”. Puedes

apreciar también que no está en el conjunto , la expresión debe leerse
como “ no pertenece a ” o “ no está en ”.
Mira este otro ejemplo, en la siguiente imagen se muestra el
conjunto conformado por los elementos y Para decir que estos elementos
pertenecen al conjunto usaremos la siguiente expresión: “”, que se lee:
“, y pertenecen a ”. ¿Ves que los elementos y no están en el
conjunto ? Para representar esta situación puedes usar la expresión: “”, que
se lee como “, y no pertenecen a ”.