INTRODUCCIÓN

La idea de agrupar objetos de la misma naturaleza forma parte de la vida diaria

de los seres humanos. Esto se ve reflejado en series de colecciones como los libros
de una biblioteca, arboles en un terreno, de zapatos en un negocio de venta al
publico, utensilios en una cocina, etcétera. Diremos de manera inmediata por lo
mismo, que un conjunto es una colección de objetos, asociación, colección,
reunión, unión de integrantes homogéneos y heterogéneos, los cuales pueden ser
de naturaleza real o imaginaria. Por consiguiente, pueden estar integrados por
letras, números, meses de un año, astros, países, mares, carros, etc. A los
integrantes en general se les denominan elementos del conjunto. El origen de este
concepto se debe al matemático alemán George Cantor. Su objetivo era el de
formalizar las matemáticas como ya se había hecho con el calculo cien años antes.
El concepto de conjunto es uno de los mas fundamentales en matemáticas, incluso
mas que la operación de contar. De esta manera, comprender la teoría de
conjuntos se vuelve fundamental para el estudio de cualquier ciencia.

TEORIA DE CONJUNTOS
DEFINICIÓN

Para estudiar la teoría de conjuntos, hay que partir de establecer qué es un

conjunto. Al mencionar esta palabra vienen a la mente ideas como el conjunto de
los números reales (R), un conjunto de personas, un conjunto musical o el conjunto
de las letras del alfabeto, y es que, en efecto, todos estos son conjuntos.

Aunque se plantea que no es posible definir formalmente el concepto de conjunto,

este puede describirse como una agrupación o colección de objetos, lo que lleva
inevitablemente a establecer qué es un objeto.

Un objeto o elemento, en la teoría de conjuntos es cualquier cosa, puede ser algo

físico, como una PC, puede ser también una abstracción como un programa y puede
ser incluso un conjunto. Es importante notar que entre los objetos que forman un
conjunto no tiene que haber ninguna característica en común, excepto el propio
hecho de pertenecer al conjunto. Así se encuentran conjunto homogéneos como
el de las impresoras o el de los componentes de Hard, pero existen conjuntos tan
heterogéneos como se quiera, por ejemplo un conjunto formado por un una mesa,
una persona y una PC.
Hay que aclarar que un conjunto no es una agrupación física de objetos, sino una
abstracción que puede corresponderse con agrupaciones físicas, pero también con
agrupaciones que sólo existen como idea. Convencionalmente, los conjuntos
suelen nombrarse con letras mayúsculas del alfabeto latino (A, B, C…), mientras
los objetos que los forman se representan con letras minúsculas del mismo
alfabeto.

De los objetos que forman un conjunto se dice que son elementos del mismo o que
pertenecen a él. la siguiente expresión corresponde a la representación Si a es un
elemento del conjunto A, entonces se dice que a pertenece a A

Existen conjuntos muy utilizados como R, N, Z, para los que es fácil identificar sus
elementos, pero en general no es así, por lo que es útil contar con un modo de
representación de los conjuntos que deje explícito cuáles son los objetos que los
forman. Hay dos maneras básicas de definir y representar un conjunto a través de
los elementos que lo componen, la representación extensional y la representación
intencional (anonimo, 2010).

RESEÑA HISTORICA

La historia de la teoría de conjuntos es bastante diferente comparada con la

historia de la mayoría de las otras áreas de las matemáticas. Para la mayoría de
las áreas por lo general se puede rastrear un largo proceso en el que las ideas
evolucionan hasta alcanzar un resplandor final de inspiración, a menudo por un
número de matemáticos casi simultáneamente, produciendo un descubrimiento de
gran importancia. Su creación se debe a una sola persona, Georg Cantor.

Anteriormente, la idea conceptual de infinito había sido objeto de una profunda

reflexión desde la época de los griegos. Zenón de Elea, alrededor de 450 aC, con
sus problemas en el infinito, hizo una importante contribución. En la Edad Media,
la discusión del infinito había dado lugar a la comparación de conjuntos infinitos.
Por ejemplo Alberto de Sajonia, en “Questiones subtilissime in libros de celo et
mundi", demuestra que un haz de longitud infinita tiene el mismo volumen que el
3-espacio. Él demuestra esto cortando el haz en trozos imaginarios que luego se
ensamblan en capas concéntricas sucesivas que llenan el espacio. Bolzano fue un
filósofo y matemático de pensamiento profundo. En 1847 él consideró a los
conjuntos con la siguiente definición:

“una realización de la idea o concepto que concebimos cuando consideramos la

disposición de sus partes como una cuestión de indiferencia”.

Bolzano defendió el concepto de conjunto infinito. En esa época muchos creían

que no podían existir los conjuntos infinitos. Bolzano dio ejemplos para demostrar
que, a diferencia de los conjuntos finitos, los elementos de un conjunto infinito
podrían ponerse en correspondencia uno a uno con elementos de uno de sus
subconjuntos propios. Esta idea eventualmente llegó a usarse en la definición de
un conjunto finito. Fue con el trabajo de Cantor no obstante, que la teoría de
conjuntos se estableció sobre una base matemática adecuada. ÉL prácticamente
formuló de manera individual la teoría de conjuntos a finales del siglo XIX y
principios del XX. Su objetivo era el de formalizar las matemáticas como ya se había
hecho con el cálculo cien años antes. 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 monumental trabajo logró unificar a las matemáticas y 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 más paradojas, incluyendo al mismo Cantor. Russell descubrió su
paradoja en 1901, y la publicó en un apéndice de su libro "Principios de las
matemáticas".

Cuando los matemáticos supieron de esta paradoja, muchos 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.

La primera propuesta para solucionar el problema de las paradojas provino de un

matemático holandés llamado Brouwer, quien propuso una redefinición radical de
todas las matemáticas y prometió una solución al conflicto. El programa de Brouwer
se basaba en lo más simple de la intuición: el aceptaba los conceptos que son
aparentes a la intuición general. Esta filosofía rechazaba muchos principios
fundamentales de las matemáticas, pero en cambio, solucionaba satisfactoriamente
el problema de las paradojas. Particularmente Brouwer rechazaba el principio del
medio excluido, el cuál decía que los elementos de un conjunto o bien tienen una
propiedad A o no la tienen, lo cuál sería la negación de la propiedad A. A esta
corriente de pensamiento se le llamó intuicionismo.

Por otro lado, David Hilbert se opuso al intuicionismo y aunque no toleraba las
paradojas, no estaba dispuesto a ver las matemáticas mutiladas. En 1904 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.

La cuarta respuesta a la paradoja fue de Ernst Zermelo en 1908 con la

axiomatización de la teoría de conjuntos. La mejor prueba de que la teoría de
conjuntos no ha logrado unificar a las matemáticas es que é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 teoría de conjuntos, la teoría de los números y la estadística (Ponce,
2015).
Por otro lado, la teoría de conjuntos, por el hecho de propiciar nuevos ámbitos de
investigación, por las aplicaciones que mereció, de manera especial en topología
y hasta en sectores del análisis clásico, ancló sólidamente en los fundamentos de
la Matemática a fines de siglo y recibió la consagración legítima en el Congreso de
Zurich (1897). Con su gran prestigió y su solvencia científica, el enciclopédico
matemático alemán, David Hilbert colaboró a la divulgación de las ideas liminares
de Cantor, sobre todo en Alemania.

La incorporación de nociones de conjuntos en la enseñanza básica, involucrando

sus operaciones en la forma de “álgebra de conjuntos”, ha sido posible, gracias al
uso didáctico y visual de los diagramas de Ven, que el lógico John Venn (1834-
1923) propuso en 1880, reajustando los diagramas parecidos que usó el prolífico
matemático suizo, Leonard Euler, en 1770, para mostrar gráficamente silogismos.

El ya legendario policefálico Nicolás Bourbaki, desde los años 30 del siglo XX, ha
elaborado una consolidada serie de libros sobre las diversas ramas de las
Matemáticas, empezando con “Teoría de conjuntos”. Por tal influencia desde
1960, aproximadamente, desde Estados Unidos arrancó una ola de renovación de
la enseñanza de la matemática, a base de conjuntos y un perfil algebraico y una
actitud deductiva. Como lo previó Tomm, tal programa no tuvo éxito. Sin embargo,
en los fundamentos de la Topología General y la Teoría de Probabilidades, se
constata la inmensa utilidad que dan los conjuntos, como también en la geometría
y el análisis matemático.

GEORG CANTOR

El brillante matemático, Georg Ferdinand Ludwig Philipp Cantor nació el 3 de

marzo 1845 en San Petersburgo (Rusia), donde vivió hasta la edad de once años, y
luego se trasladó a Alemania, donde vivió la mayor parte de su vida. Su padre,
Georg Waldemar Cantor, decidió trasladarse a Alemania, a pesar de ser un
empresario de éxito y un corredor de bolsa con experiencia, por razones de salud.
Su madre, Maria Anna Bohm, era una importante artista de la música rusa, y
ciertamente influenció a su hijo, que se interesó por aprender a tocar el violín.

En 1856, una vez instalados en Alemania, vivieron durante algunos años en

Wiesbaden, donde Cantor asistió a la escuela secundaria. Al graduarse de la
escuela secundaria en Wiesbaden, con su familia se trasladó a Frankfurt donde
asistió desde 1862 a cursos de matemáticas y filosofía, primero en la Universidad
de Zurich y luego en Berlín, donde fue alumno de EE Kummer, Weierstrass y WT L.
Kronecker. En 1867 se graduó y en 1869 obtuvo la libre docencia presentando
trabajos relativos a la teoría de números. En 1874, conoció a Vally Guttmann, una
amiga de su hermana y, después de unos pocos meses, contrajo matrimonio.
Más tarde, bajo la influencia de Weierstrass, Cantor cambió su interés hacia el
análisis, y más particularmente al estudio de las series trigonométricas. En 1872
fue nombrado profesor y en 1879 profesor en la Universidad de Halle.

Allí Cantor pudo desarrollar en paz sus complicados estudios, que resultaron en
fundamentales contribuciones a diversos sectores, tales como el estudio de las
series trigonométricas, sobre la no-numerabilidad de los números reales o la teoría
de las dimensiones; sin embargo, se hizo conocido en el ambiente académico
especialmente por su trabajo en la teoría de conjuntos. En particular, fue el
responsable de la primera definición rigurosa de "conjunto infinito", así como de
la construcción de la teoría de los números transfinitos, tanto cardinales como
ordinales.

Cantor demostró que los infinitos no son todos iguales, sino que, de manera similar
a números enteros, pueden ser clasificados (es decir, hay algunos "más grandes"
que otros). Se las arregló para construir una teoría completa de éstos que llamó
números transfinitos. La idea de infinito es una de los más polémicos en la historia
del pensamiento. Basta pensar en la perplejidad con la que los matemáticos dieron
la bienvenida al cálculo infinitesimal de Leibniz e Isaac Newton, basado totalmente
en el concepto de cantidades infinitesimales (que llamaban "evanescentes").

Aunque la teoría de conjuntos de Cantor fue posteriormente modificada y

completada, sigue siendo la base del estudio de las propiedades de los conjuntos
infinitos. Las críticas y acaloradas discusiones, que se expresaron en sus inicios,
fueron tal vez la base de los estados de depresión que asaltaron a Cantor en los
últimos años de su vida. Ya en 1884 tuvo la primera manifestación de la
enfermedad nerviosa que le golpeó repetidamente hasta su muerte.

A la luz de un estudio biográfico de su vida, de hecho, parece probable que, a la

aparición de esta enfermedad, también haya contribuido, además de la
incertidumbre sobre la validez de su trabajo, el ostracismo científico y académico,
atribuido principalmente a L. Kronecker, quien le bolqueó cada intento de enseñar
en Berlín. A partir de ese momento, de hecho, Cantor pasó su vida entre
universidades y hospitales.

Murió de un ataque al corazón el 6 de enero 1918, mientras se encontraba

hospitalizado en una clínica psiquiátrica (anonimo, Georg Cantor, 2012).

APLICACIÓN DE LA TEORIA DE CONJUNTOS EN INGENIERÍA

Es una ciencia cuyas bases están establecidas básicamente en principios

matemáticos y conjunta varias ramas de las matemáticas. las bases lógicas para la
geometría, el cálculo y la topología, hasta crear álgebra en torno a campos, anillos
y grupos, las aplicaciones de la teoría de conjuntos son comúnmente utilizadas en
campos de las ciencias y las matemáticas como biología, química y física, como así
también en ingeniería eléctrica y computación.
El cálculo integral y diferencial son componentes principales del análisis. La
continuidad de una función y los límites de la misma derivan de la teoría de
conjuntos. Estas operaciones conducen al álgebra de Boole, que es útil para la
producción de computadoras y calculadoras.

En la informática se encuentra la teoría de algoritmos para problemas

matemáticos. La computación estudia lo que puede ser computado y tiene lazos
fuertes con la lógica, mientras que la complejidad estudia el tiempo que se demora
en hacer computaciones. La teoría de autómatas y los lenguajes formales se
relacionan de manera cercana con la computación. Las redes de Petri y álgebra de
procesos se usan para modelar sistemas computacionales, y métodos de la
matemática discreta se usan para analizar.

La geometría computacional aplica algoritmos a problemas geométricos, mientras

que el análisis digital de imágenes los aplica a representaciones de imágenes.
Su uso es fundamental a varios niveles: en los circuitos computacionales, en la
programación lógica y en el análisis y optimización (de recursos temporales y
espaciales) de algoritmos. Todo sistema computacional, por muy complejo que
sea, no está compuesto por más que circuitos electrónicos que únicamente
entienden un lenguaje binario. La lógica computacional se encarga de modelar y
optimizar tales sistemas a este nivel.

La computación orientada a la matemática suelen alinearse del lado de la

computación científica y las aplicaciones de cálculo numérico. La computación,
designa a todas aquellas prácticas destinadas a modelar, plantear experimentos y
validar teorías científicas sirviéndose de medios computacionales. En estos casos
la computación es una mera herramienta y el esfuerzo se dirige a avanzar en los
campos objetivo (física, biología, mecánica de fluidos, radiotransmisión), más que
en la propia ciencia de la computación (Gonzalez, 2013).

COMENTARIO PERSONAL

Es impresionante como alguien, en una época conservadora, se haya atrevido a ir

contracorriente y que a pesar de haber recibido fuertes criticas no haya hecho a
un lado sus investigaciones. Dichas, autoría de Cantor, fueron las que
posteriormente sentaron las bases del algebra booleana por parte de un Boole que
decidió adoptar la ideología del mismo, una cuyo nivel de abstracción es asombroso
y que en definitiva, iba adelantado a su época, a tal magnitud que hoy en día una
gran parte de él es utilizado para complementar cada una de las ramas
matemáticas y por medio de estas, ser capaces nosotros de crear dispositivos en
conjunto con su programación.
 BIBLIOGRAFÍA

 Ponce, C. (05 de Marzo de 2015). Una historia de la Teoría de Conjuntos .

Recuperado el 16 de Mayo de 2019, de Bestiario Topológico:
https://bestiariotopologico.blogspot.com/2015/03/una-historia-de-la-teoria-de-
conjuntos.html
 anonimo. (12 de Marzo de 2010). Teoría de conjuntos. Obtenido de EcuRed:
https://www.ecured.cu/Teor%C3%ADa_de_conjuntos
 anonimo. (02 de Junio de 2012). Georg Cantor. Obtenido de Biografias:
https://www.biografias.es/famosos/georg-cantor.html
 Gonzalez, V. (31 de Mayo de 2013). victorg84. Obtenido de Aplicación de la Teoría
de Conjunto: http://victorgh84.blogspot.com/2013/05/aplicacion-de-la-teoria-de-
conjunto.html