Teora de Conjuntos.

La Teora de Conjuntos es una teora matemtica, que estudia bsicamente a un cierto tipo de
objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, as como
a los problemas relacionados con estos.
Intuitiva e informalmente los objetos de estudio de la Teora de Conjuntos quedan descritos as:
1.

Si x no tiene elementos, entonces x es un objeto de la Teora de Conjuntos.

2.

Si x es un conjunto, entonces x es un objeto de la Teora de Conjuntos.

3.

Los nicos objetos de la Teora de Conjuntos son los descritos en 1 y 2.

La importancia de la Teora de Conjuntos radica en que a partir de ella se puede reconstruir toda la
matemtica, salvo la Teora de Categoras.
Por ejemplo, con la Teora de Conjuntos se pueden definir los siguientes conceptos y probar todas
sus propiedades: par ordenado, relacin, funcin, particin, orden, estructuras algebraicas, los
naturales, los enteros, los racionales, los reales, los complejos, etc.

Conceptos bsicos de la Teora de Conjuntos.

Son dos los conceptos bsicos de la Teora de Conjuntos:
1.

Conjunto: Coleccin de cualquier tipo de objetos considerada como un todo, una

multiplicidad vista como unidad; entidad completa bien determinada.
Los objetos que forman al conjunto son nombrados elementos del conjunto o miembros del
conjunto.
Por coleccin entenderemos a una agrupacin que est determinada por una propiedad
enunciada por medio de un lenguaje preciso.
Todo conjunto es una coleccin de objetos, pero no toda coleccin de objetos es un
conjunto. Esta afirmacin ser demostrada ms adelante.

2.

Relacin de Pertenencia: El ser elemento de es una relacin binaria o de dos argumentos

entre dos objetos de la Teora de Conjuntos.
Esta relacin va de un objeto a otro, donde el segundo objeto es necesariamente un
conjunto y el primero puede ser o no un conjunto.

Colecciones: Clases y Conjuntos.

Como se mencion anteriormente, una coleccin est determinada por una propiedad P formulada
en un lenguaje preciso. Una clasees una coleccin, cuyos objetos son los objetos de la Teora de
Conjuntos que cumplen la propiedad P que caracteriza a la coleccin.
Las colecciones llamadas clases, son colecciones de objetos de la Teora de Conjuntos, y pueden
ser o no conjuntos en el siguiente sentido: Todo conjunto es una clase, pero no toda clase es un
conjunto.

Proposicin.
La clase de todos los objetos x tales que cumplen la propiedad "x no pertenece a x", no es un
conjunto.
Prueba.
Supongamos que dicha clase s fuera un conjunto y llammosle R. Entonces:
1.

Si R no pertenece a R, R cumple la propiedad que caracteriza a la clase y tenemos

que R pertenece a R.

2.

Si R pertenece a R, entonces R no cumple la propiedad que caracteriza a la clase y

tenemos que R no pertenece a R.

As pues, hemos mostrado que: si R no pertenece a R, entonces R pertenece a R; y si R pertenece

a R, entonces R no pertenece a R. Pero como R pertenece a R o R no pertenece a R, entonces
necesariamente se cumple que R pertenece a R y que R no pertenece aR, lo cual es absurdo.
En conclusin, no es posible que dicha clase sea un conjunto.

Si una clase no es un conjunto le llamaremos clase no conjunto o clase propia, y no es un objeto

de estudio de la Teora de Conjuntos. Por lo anterior, la clase de todos los objetos x tales que x no
pertenece a x, es una clase propia. Y se le conoce a dicha proposicin como la Paradoja de
Russell.

El Conjunto Universo Local.

En la Teora de Conjuntos, se tiene como referencia, explcita o implcitamente, un universo local;
es decir, un marco de referencia dentro del cual se trabaja.
Este universo local o del discurso debe de ser un conjunto, quedando muy claro este concepto, ya
que no se le debe confundir con lacoleccin de todos los conjuntos, que es una coleccin que no
es un conjunto, sino una clase propia; por lo tanto, aunque no existe el conjunto de todos los
conjuntos, si existir en casi cada caso particular, un conjunto que tenga a todos los conjuntos de
inters del discurso.

Axioma de Separacin o de Comprehensin.

Si A es un conjunto cualquiera y P es una propiedad acerca de conjuntos, la coleccin de
elementos de A que tienen la propiedadP, es un conjunto.
Ms precisamente, para toda propiedad P formulada en el lenguaje de la Teora de Conjuntos lo
siguiente es cierto:
Para todo conjunto A, existe un conjunto B cuyos elementos son exactamente los
elementos z de A tales que z cumple la propiedad P.

Teorema.
Para todo conjunto, hay un conjunto que no le pertenece.
Prueba.

Sea A un conjunto cualquiera. Sea D el conjunto de las y que pertenecen al conjunto A, tales que
cumplen la propiedad "y no pertenece a y".
De lo anterior, por el axioma de separacin, se sigue que D es un conjunto y que es subconjunto
de A.
Se afirma que D no pertenece al conjunto A, pues suponiendo que D pertenece al
conjunto A entonces se tiene que:
1.

Si D no pertenece a D, entonces D pertenece a D, por cumplir la propiedad que caracteriza

a D y por la suposicin de que Dpertenece al conjunto A.

2.

Si D pertenece a D, entonces D cumple la propiedad, por lo tanto, D no pertenece a D.

Las dos conclusiones anteriores juntas, implican que D pertenece a D y que D no pertenece a D, y
esto es absurdo.
Por lo tanto, se tiene que D no pertenece al conjunto A. As pues, dado cualquier conjunto A, hay
un conjunto D tal que D no pertece al conjunto A.
Corolario.
Ningn conjunto puede tener como elementos suyos, a todos los conjuntos.

La probabilidad es la posibilidad que existe entre varias posibilidades, que un hecho o

condicin se produzcan. La probabilidad, entonces, mide la frecuencia con la cual se
obtiene un resultado en oportunidad de la realizacin de un experimento sobre el cual
se conocen todos los resultados posibles gracias a las condiciones de estabilidad que el
contexto supone de antemano.
El estudio cientfico de la probabilidad, a diferencia de lo que ha ocurrido con otras
cuestiones matemticas (porque obviamente ambas disciplinas estn estrechamente
vinculadas entre s), no resulta ser una preocupacin que se remonta a la antigedad,
por ejemplo, tiempos en los que la mayora de los grandes pensadores ocupaban
aparentemente sus pensamientos en otras cuestiones ms determinantes para esa
poca. Entonces, el estudio y la profundizacin acerca de la cuestin de la
probabilidad, se puede decir que es ms bien un acontecimiento moderno.

La gran aliada de la probabilidad es la llamada teora de la probabilidad, ya que gracias

a lo que esta postula y sostiene, es que los seres humanos podemos anticiparnos a que
algunos sucesos potenciales ocurran finalmente. La mencionada teora es muy
utilizada y consultada por disciplinas como ser la estadstica, la filosofa, las
matemticas y la ciencia, para sacar conclusiones respecto de los sucesos potenciales
que las ocupan.
La teora de la probabilidad es un modelo matemtico que se ocupa de analizar los
fenmenos aleatorios; esto implica la contraposicin respecto de los fenmenos ya
determinados, que son aquellos en los cuales el resultado del experimento que se
realiza, atendiendo a determinadas condiciones, produce un resultado nico y
previsible, que se repetir la cantidad de veces que ste vuelva a hacerse, siempre y
cuando se respeten las mismas condiciones.

Por ejemplo, el agua que se calienta a 100 grados Celsius a nivel del mar se convierte
en vapor: ste es un fenmeno ya determinado. En tanto, los aleatorios, que son de los
que se ocupa la teora de la probabilidad, podrn realizarse miles de veces bajo las
mismas circunstancias pero siempre tendrn como resultado un variado conjunto de
alternativas. Un clarsimo ejemplo resulta ser las diversas posibilidades y
combinaciones que permite el lanzamiento de dados cuando se est jugando a la
generala.
Quiz esto que les expuse suene bastante abstracto para nuestra vida cotidiana; sin
embargo, la probabilidad est absolutamente inmersa en nuestro da a da como parte
integrante de una sociedad y comunidad determinada, ya que en el anlisis de riesgos
y en el comercio de materias primas, la probabilidad, tiene una incidencia y una
importancia vital.
Por citar tan slo un ejemplo, pero que resulta bien grfico, la mayora de los
gobiernos, alguna vez, han echado mano de los mtodos probabilsticos, para atender
a un futuro escenario en el cual el bienestar de su poblacin puede entrar en serio
riesgo. Las cuestiones inherentes al cuidado del medio ambiente o la propensin a los
ataques exteriores que pueden recibirse de alguna nacin vecina, pueden ser el objeto
de una medicin probabilstica en algn momento. En este sentido, la aplicacin de los
modelos informticos ha permitido, en el marco de polticas sensatas y a largo plazo,
incluir las variables ms insospechadas en el clculo de la probabilidad de una
acontecimiento. Por ejemplo, cuando se planifica el resultado de una cosecha, suelen
considerarse en el razonamiento de las probabilidades la superficie a sembrar, el tipo
de semilla, la cantidad de trabajadores, las condiciones de riego sin embargo,
mediante las computadores actuales, pueden incluirse verdaderos imponderables,
como largas sequas o, por el contrario, anegamientos e inundaciones.
En este contexto, surge la moderna idea, muy aplicada por distintas ciencias, de
igualar la idea de probabilidad con el concepto de riesgo. Esto nos puede parecer
tremendista, pero resulta ser un fenmeno de utilizacin muy comn en la medicina.
As, sabemos que si una persona es fumadora, tiene el colesterol elevado y no realiza
actividad fsica tiene una mayor probabilidad (o sea, un mayor riesgo) de sufrir un
infarto de miocardio o un accidente cerebrovascular. Mediante la aplicacin de la teora
de la probabilidad, sabremos que es necesario invertir un gran esfuerzo en combatir el
tabaquismo y promover una vida sana para reducir la tasa de problemas cardacos y
evitar complicaciones en salud a largo plazo.
Vemos as que la idea de probabilidad forma parte del da a da, desde el simple hecho
de cruzar una calle y definir sus riesgos, hasta el complejo diseo de un viaje por el
espacio.