Introduccin a la teora de conjuntos

Estas notas intentan dar una introduccin a la teora de conjuntos suficiente para promover el
trabajo abstracto en las matemticas a nivel de pregrado o postgrado. Como bases asumimos un
conocimiento bsico de las matemticas elementales, incluyendo un poco la teora elemental de
conjuntos, familiarizada con el concepto de la funcin, los nmeros naturales y sus propiedades, y
en general, la madurez matemtica. Aunque podramos comenzar con la teora elemental de los
conjuntos y los nmeros naturales, el material puede ser duro de seguir si no tiene una
comprensin intuitiva de los conceptos ya.
Un poco de conocimiento acerca de esto es importante de usar en las matemticas de la lgica
elemental. Empezaremos con algunas opiniones sobre esto. Las matemticas usan un lenguaje
lgico ordinario tales como no implicar, etc., en una manera bastante especial. Aqu hay
algunos puntos sobresalientes donde se pueden causar dificultades.
Dos valores de verdad (verosimilitud): Lo fundamental para la estructura lgica es la
suposicin cada exposicin matemtica tanto falsa como verdadera. No hay trmino
medio como: a veces verdad, a veces falso. Algo formalmente, esto significa que por
cada exposicin matemtica __(siendo verdadera o falsa) podemos afirmar
__o no __pero no ambos(as) Esto no puede significar que nosotros esperamos ser
capaces de demostrar nuestro conjunto terico de axiomas establecido, ya sea __ o no
__ ; en realidad, esto es un resultado abismal de lgica donde este no es en general
posible. (Teorema de incompletitud de Gdel).
Implicaciones: cuando decimos __ implica __ nos referimos a que cualquiera delas dos
__ es falsa o __ es verdadera. All no debe existir ningn tipo de conexin entre las dos
exposiciones. Si sabemos a ciencia cierta que __ es falso y despus afirmamos que __
implica __, a veces decimos __ implica __ es vacuamente verdadero (significa vaco
de verdad). Por ejemplo 0=1 significa que sostiene la hiptesis de Riemann.
Aunque algo ridculo, esta exposicin sera reconocida por cualquier matemtico
como verdadera. Otro ejemplo es este extrao uso de implicar que es donde
cualquier exposicin todo lo que implica es ser algo probado en un teorema de
matemticas.
Argumentos de contradiccin: Frecuentemente queremos probar una exposicin
__, y as suponemos que __ es falso y obtenemos una contradiccin de esta
suposicin. Entonces estamos justificados al decir que la __ es verdad despus
de todo. De este modo, en un punto dado en una discusin, tenemos una
coleccin de __ de suposiciones, para la cual nosotros queremos derivar __.
Abogamos por un tiempo de la hiptesis __ {no (__)}, y obtuvimos un
contradiccin, por ejemplo 0=1. Entonces una regola de lgica dice que __ es
una consecuencia de __.
Inferencias e inversos: cuando probamos que __ implica __, no tenemos que
decir nada sobre el inverso, donde __ implica __. Frecuentemente una de las
primeras cosas que hace un matemtico despus de haber demostrar una
inferencia es hacer la pregunta, de si el inverso es tambin cierto.
Contraposicin: (es una ley de las matemticas): Si probamos que __ implica
__ entonces nosotros podemos decir que en base de lgica sola donde __ se
encuentra falso implica que __ es falso, la segunda inferencia aqu es llamada
contraposicin de la primera. Esta contraposicin es en realidad lgicamente
equivalente a una dada inferencia, y est es a veces fcil para probar una
contraposicin que para probar la inferencia de la misma.

o. __ o __: significa que cualquiera de los dos __ es verdadera, o __ es
verdadera, o ambas son verdaderas. Como en el caso de inferencia, ah no
existe ninguna relacin entre las exposiciones. As, por ejemplo el conjunto
vaco tiene miembros, o el ltimo teorema de Fermat es cierto es una
exposicin verdadera de las matemticas, ya que el ltimo teorema de Fermat
fue demostrado recientemente, a pesar de que el conjunto vaci no tiene
ningn miembro.

Equivalencias: Cuando decimos que __ es equivalente a __ estamos realmente
exponiendo dos inferencias: que __ implica __, y que __ implica __. Por lo
general, tenemos que probar cada una de las inferencias por separado. Usamos
iff para abreviar if and only if (si y solo s). Entonces __ si y solo s __
significa que __ y __ son equivalentes.

Existencia: Cuando afirmamos que existe algn objeto matemtico,
generalmente no afirmamos que tenemos una interpretacin de este. Podemos
probar la existencia por contradiccin, asumiendo que el objeto no existe y
derivando una contradiccin. Para decir que all hay un(a) __ de tal manera que
una exposicin __ sostiene que es el mismo objeto como decir que este no es
el caso donde por cada __ __ no se lleva a cabo.

Igualdad: Cuando escribimos __ = __ queremos decir que __ y __ indican el
mismo objeto. Algunas propiedades de igualdad son puramente lgicas. Por
ejemplo, __ = __ ; si __ = __ entonces __ = __ y si __ = __ y __ = __
entonces __ = __. Adems podemos sustituir igual por igual; si sabemos que
una exposicin __(__) vale por __ y tambin sabemos que __=__, entonces
podemos inferir que __(__) se cumple.

Para todos: Para todos__ Solo significa Para todos y cada objeto __,

La lgica, rigurosamente: Para poner a las matemticas en un fundamento
completamente riguroso, uno debe desarrollar conceptos lgicos tales como el
anterior en una manera rigurosa. Nosotros no vamos a hacer esto, ya que
requiere de mucho tiempo. Los fundamentos lgicos son sutiles, y toman un
poco de tiempo para ser usados. La idea en pocas palabras es la de crear un
lenguaje formal (para la lgica y la teora de conjuntos) para definir algunos
axiomas lgicos, definir algunas reglas de inferencia para pasar de resultados
conocidos a nuevos y definir la comprobacin como una secuencia infinita
construida de acuerdo con estos axiomas y reglas. Es una buena idea de lgica
para tener en cuenta en la mente cuando se vaya a travs de esta introduccin
a la teora de conjuntos, (Incluso en un desarrollo muy riguroso acerca de los
fundamentos de la teora de conjuntos no es necesario saber cosas ms
avanzadas en lgica como los teoremas de completitud e incompletitud.
(Teoremas de Gdel)

1. El sistema axiomtico, y operaciones simples en conjuntos.
Aunque no vamos a hacer un desarrollo formal de la teora de conjuntos, en aras del
rigor vamos a basar el desarrollo en algunos axiomas. Estos axiomas son informales,
pero estos pueden ser completamente precisos. En total estos pueden ser 9 axiomas,
pero nosotros no vamos a introducir todos a la vez. Todos ellos se muestran juntos en
el Appendix A (Apndice A) para facilitar la consulta.
El concepto bsico de un conjunto se queda sin definicin. Empezaremos por algunos
conceptos indefinidos, y establecer los conceptos bsicos para la teora de conjuntos.
Pensamos en un conjunto como algo construido tericamente que rene a los objetos
en un todo.