Universidad de Costa Rica. Facultad de Ciencias Bsicas. Escuela de Matemtica.

Teora de Conjuntos

Joe Olivas Quirs A54040

Curso: MA0205 lgebra y Anlisis I Profesora: Orietta Protti, M.Sc.

I Ciclo 2008

Tabla de Contenidos
Pgina Introduccin........................................................................................................ 3 Teora de Conjuntos........................................................................................... 4 Resea Histrica ............................................................................................ 4 Definicin de Conjunto Desarrollada por Cantor............................................. 5 La Paradoja de Russell................................................................................... 6 Teora Axiomtica de Zermelo-Fraenkel`........................................................ 6 A.1. Axioma de Extensin ........................................................................... 6 A.2. Axioma de Especificacin (o de comprensin) .................................... 6 A.3. Axioma de pares (o de aparejamiento) ............................................... 7 A.4. Axioma de de la Unin........................................................................ 8 A.5. Axioma de partes (o de las potencias)................................................. 8 A.6 Axioma del Infinito................................................................................. 9 A.7. Axioma de Reemplazo o (Sustitucin) ................................................. 9 A.8. Axioma de Eleccin ............................................................................. 9 Teora Axiomtica Newman-Bernays-Gdel................................................... 9 Conclusiones.................................................................................................... 11 Glosario ............................................................................................................ 12 Referencias Bibliogrficas ................................................................................ 13 Referencias Electrnicas.................................................................................. 13

-2-

Introduccin:
A travs de los aos, el ser humano ha ido evolucionando en su forma de pensar, as mismo las Matemticas han evolucionado, tanto en conceptos como en su teora, pero fue hasta en el siglo XIX, cuando George Cantor propuso la Teora de Conjuntos, la cual fue desarrollada entre 1873 y 1897. Esta teora provoc un cambio en la forma de pensar de los matemticos.

Como todo descubrimiento, a la teora de Cantor se le encontraron una serie de inconsistencias (Paradoja de Russell, 1903), pero fue hasta en 1908 que Ernest Zermelo se dio a la tarea de analizar la teora de Cantor. Como producto de dicho anlisis present de darle estabilidad y eliminar las inconsistencias en la Teora de Conjuntos.

Dada la Axiomatizacin de la Teora, luego fue modificada (perfeccionada) por Fraenkel para llegar a formar los Axiomas de Zermelo Fraenkel (ZF). Dichos Axiomas sirvieron de base para axiomatizar lo que se conoce como una CLASE, estos axiomas fueron desarrollados por Von Newman-Bernays-Gdel.

-3-

Teora de Conjuntos
Resea Histrica:
Para el ao 1847, el religioso de Bohemia de nombre Bernardo Bolzano escribi un libro el cual fue publicado en 1850, donde describe propiedades y paradojas sobre el infinito real. Sin embargo, Bolzano (considerado uno de los matemticos ms importantes de la poca por su aporte a la lgica simblica y a la Matemtica) no se bas en esa propiedad para darle un concepto a infinito, si no que utiliz una serie de paradojas como catlogo para analizar el infinito. Bolzano fue el primer matemtico en utilizar el trmino Menge (conjunto).

A pesar de estudios e investigaciones realizadas entre 1870 y 1880, por otros matemticos, fue George Cantor, el creador de Mengelehre (Teora de

Conjuntos), quien entre 1873 y 1897 puso con todo cuidado los fundamentos de la teora del infinito real introducindolo sistemticamente en las matemticas (y en la filosofa) y desarrollando en torno a l, una nueva rama de las Matemticas: La Teora de Conjuntos.1

Cabe resaltar que el concepto de infinito fue tratado con anterioridad a Cantor por Zenn de Elea y sus paradojas, mucho tiempo despus se plant el

problema del infinito como una magnitud absoluta real y se plante en un periodo temprano de la teologa y la filosofa catlica en particular, San Agustn y Santo Toms de Aquino y sus escuelas.2 Posteriormente, los filsofos desde Aristteles hasta Descartes, Kant y Locke, estudiaron el infinito, pero no se lleg a una conclusin absoluta, por lo que algunos ilustres se inclinaron por aceptarlo o rechazarlo.

El descubrimiento por parte de Cantor de la Teora de Conjuntos, motiv a otros matemticos a presentar dicha teora como estructuras lgicas, como por

1 2

Fraenkel, A. (1976). Teora de los Conjuntos y la Lgica. pg 11. Fraenkel, A. (1976). Teora de los Conjuntos y la Lgica. pg 10.

-4-

ejemplo Gottlob Frege quien desarroll una serie de axiomas de carcter lgico con los cuales se poda demostrar la teora de Cantor.

En 1903, Bertrand Russell, demostr que la teora de Conjuntos de Cantor era inconsistente y derrumbara la definicin de Conjunto. Dadas las

inconsistencias encontradas por Russell, en 1908, Ernest Zermelo se dio a la tarea de investigar anlisis sobre esta teora, a la cual despus de un exhaustivo

propuso una serie de Axiomas, los cuales eliminaban las

inconsistencias encontradas por Russell en la Teora de Cantor. Esta propuesta Axiomtica fue refinada por Fraenkel (1922), Von Newman(1925) y otros.

La Teora de Conjuntos se puede Catalogar como una de las ramas ms jvenes en la Matemtica ya que posee aproximadamente 135 aos de existencia, sin embargo, ya se trabajaba en ella por omisin.

Definicin de Conjunto Desarrollada por Cantor:

Un conjunto es una coleccin como totalidad de objetos definidos y distintos a nuestra intuicin o nuestro pensamiento. Los objetos son llamados elementos (o miembros) del conjunto.3 De esta definicin se pueden obtener dos frases: el conjunto conjunto.4 contiene a sus elementos o los elementos pertenecen al

Con esta definicin de Conjunto, se puede hacer una distincin entre conjuntos finitos e infinitos, adems se comienza a utilizar el trmino de conjuntos distintos (i.e. no poseen los mismos elementos).

3 4

Fraenkel, A. (1976). Teora de los Conjuntos y la Lgica. pg 13 Fraenkel, A. (1976). Teora de los Conjuntos y la Lgica. pg13

-5-

La Paradoja de Russell:
Russell encontr un ejemplo con el cual contradeca la Teora de Cantor, por lo que Russell se plante un conjunto x cuyos elementos son aquellos conjuntos que no se pertenecen a s mismos. Esto es, el conjunto
x = {a | a a}.

La paradoja de Russell surge al preguntarse: es x un elemento de s mismo? Si lo es, es decir, si x x , entonces x satisface la condicin x x , lo que es una contradiccin. Si x x , entonces x satisface la condicin para ser uno de sus elementos, y as x x , de nuevo una contradiccin. As, x no puede ni pertenecerse ni no hacerlo.5

Teora Axiomtica de Zermelo-Fraenkel:`

Dadas las inconsistencias mostradas por Russell con su Paradoja, en la teora de Cantor, Ernest Zermelo en 1908 decidi Axiomatizar la teora de Conjuntos con el propsito de determinar las caractersticas y eliminar las incongruencias. Por lo que con 9 Axiomas logr mantener en pi la teora:

A.1. Axioma de Extensin:

Dos Conjuntos son iguales si y slo si tiene los mismos elementos. 6 (i.e.

A = B x(x A x B ) )

A.2. Axioma de Especificacin (o de comprensin):

A todo conjunto A y a toda condicin S ( x) corresponde un conjunto B cuyos elementos son precisamente aquellos elementos x de A para los cuales se cumple S ( x) .7
5 6

Enciclopedia Electrnica Wikipedia. Halmos, R. Teora Intuitiva de los Conjuntos. pg 11

-6-

Teorema: Existe un nico conjunto cualquiera, el cual no posee elementos. A ese conjunto se le llama Conjunto Vaco y se denota por . Demostracin: a) Existencia: 1. Por el axioma de especificacin nos podemos dar un conjunto A , el cual cumpla la siguiente orden:

A = {x A : x x}.
2. Lo cual muestra evidentemente que A no posee elementos, por lo tanto Existe.

b) Unicidad: 1. Supongamos que existe otro conjunto llamado el cual no posee elementos. 2. Entonces tendramos que y no poseen elementos, por el Axioma de Extensin tenemos que = . 3. por lo tanto el Conjunto Vaco es nico.

Por a) y b) se Puede decir que el conjunto vaco es nico y existe.

A.3. Axioma de pares (o de aparejamiento):

Para dos conjuntos cualesquiera, existe un conjunto al cual pertenecen ambos.8 (i.e Si A y B son conjuntos, entonces existe otro conjunto C tal que
A C y B C Este Axioma lo que nos indica es que un conjunto es elemento

de otro conjunto cualquiera y que un conjunto cualquiera puede contener a otros dos conjuntos.

7 8

Halmos, R. Teora Intuitiva de los Conjuntos. pg 15 Halmos, R. Teora Intuitiva de los Conjuntos. pg 18

-7-

A.4. Axioma de de la Unin:

Para cada coleccin de conjuntos existe un conjunto que contiene a todos los elementos que pertenecen cuando menos a uno de los conjuntos de la coleccin dada.9 (Si A y B son dos conjuntos, entonces existe otro conjunto
D el cual est determinado por: x A o x B o a ambos, entonces pertenece a
D .)

Con el aporte que realiza este axioma, se puede definir la Unin de Familias de

1 Conjuntos: U Ai , i { ,2,3,...n}, ya que Ai = { A1 , A2 ,... An } es una coleccin de e

conjuntos, y si se realiza la Unin de ellos si obtiene A1 A2 ... An = U Ai .
i =1 n

Adems, se puede llegar a una definicin de Unin de Conjuntos: Dados dos conjuntos A, B se llama unin de A y B al conjunto formado por los elementos que pertenezcan al menos a uno de ellos
10

(Simblicamente:

( A B = {x : x A x B}) ).

La unin de conjuntos cumple propiedades como

asociatividad, reflexividad, conmutatividad, entre otras.

De forma no muy evidente de apreciar, por medio del Axioma de Pares y de la unin, se puede decir que existe otra operacin en los conjuntos, llamada interseccin y se denota con el smbolo

, y la cual se define como Dados

dos conjuntos A , B ; se le llama interseccin de A y B , al conjunto formado por los elementos que pertenezcan simultneamente al conjunto A y al conjunto B . Simblicamente: A I B = {x : x A x B} 11, al igual que la unin, la interseccin cumple asociatividad, reflexividad, conmutatividad, entre otras.

A.5. Axioma de partes (o de las potencias):

Para cada conjunto existe una coleccin de conjuntos que contiene entre sus elementos a todos los subconjuntos del conjunto dado.12
9

Halmos, R. Teora Intuitiva de los Conjuntos. pg 23 Duarte, A. y Cambronero, S. Material para el Curso MA0205. pg. 11 11 Duarte, A. y Cambronero, S. Material para el Curso MA0205. pg. 12 12 Halmos, R. Teora Intuitiva de los Conjuntos. pg 11
10

-8-

A.6 Axioma del Infinito:

Existe un conjunto a que tiene la propiedad: ( a ) (x a, x U {x} a ). (Estos conjuntos se dicen inductivos)13

A.7. Axioma de Reemplazo o (Sustitucin):

Si ( a, b ) es una sentencia tal que para cualquier elemento a de un conjunto

x el conjunto y = {b | ( a, b )} existe, entonces existe una funcin f : x y tal

que f ( a ) = y 14

A.8. Axioma de Eleccin:

Si S es un conjunto de Conjuntos no vacos ajenos entre s, esto es. Tales que cualesquiera dos miembros de S no tienen ningn elemento en comn, entonces existe al menos un conjunto C que contiene un solo elemento de cada electo de de S15 en otras palabras: El producto cartesiano de una familia no vaca de conjuntos no vacos no est vaco16

Este Axioma fue utilizado por Zermelo para demostrar el teorema del buen orden, pero lo que caus fue controversia, ya que muchos crean en el axioma y no en la demostracin y viceversa.

Teora Axiomtica Newman-Bernays-Gdel:

Basados en el esquema axiomtico expuesto por Zermelo-Fraenkel, NewmanBernays-Gdel, desarrollaron formalmente otro esquema axiomtico este para CLASES de Conjuntos, ya que con la Paradoja de Russell, se comprob que no existe el conjunto de todos los conjuntos. Ellos clasificaron los axiomas en
Almira, J. (2008). Sobre Lgica Matemtica: algunas observaciones sobre los fundamentos de la matemtica. pg 17. 14 Enciclopedia Electrnica Wikipedia. 15 Fraenkel, A. (1976). Teora de los Conjuntos y la Lgica. pg 52. 16 Halmos, R. Teora Intuitiva de los Conjuntos. Pg 89
13

-9-

tres grupos, dejando por fuera el Axioma de Eleccin. Por lo que a continuacin se mencionarn unos de los Axiomas ms importantes: 1. u (u X u Y ) X = Y . 2. xy z u (u z u = x u = y ). 3. A, B C u (u A u B ). 4. A B x( x B y (< y, x > A)).

Adems de los Axiomas planteados, desarrollaron un concepto para lo que en conjuntos se le conoce como conjunto vaco Vac X u ((u X )) 17

Almira, J. (2008). Sobre Lgica Matemtica: algunas observaciones sobre los fundamentos de la matemtica. pg 19

17

- 10 -

Conclusiones:
An ms sorprendente es el hecho de que la nueva rama se ha convertido pronto en una piedra de toque de los fundamentos de muchas otras ramas de las matemticas y el principal lazo de unin entre los matemticos y la lgica.18 Esta teora propuesta por Cantor, se ha convertido en el pilar fundamental de las Matemticas, ya que es ms importante que el mismo hecho de contar, sin darse cuenta la mayora de estos procesos estaban basados en la Teora de Conjuntos, claro que se trabajaba en ella por omisin. Gracias a que Cantor se tom la tarea de formalizar sus hiptesis, hoy conocemos lo que es la Teora de Conjuntos. Al ser una teora reciente, tena inconsistencias por lo que matemticos como Russell, Zermelo, Fraenkel, Newman, Bernays y Gdel se dieron la tarea de Axiomatizar y perfeccionar la Teora.

Con la formalizacin de la Teora de Conjuntos se logr obtener una va que lleva de lo lgico a lo Matemtico. Como cita Fraenkel en su libro Teora de los Conjuntos y la Lgica, el descubrimiento de la Teora de Conjuntos debera ser considerado como una de las grandes revoluciones cientficas del siglo XIX, ya que esta teora provoc un cambio en la forma de pensar de los matemticos.

18

Fraenkel, A. (1976). Teora de los Conjuntos y la Lgica. pg125

- 11 -

Glosario19
Axioma Cada uno de los principios fundamentales e indemostrables sobre los que se construye una teora.

Conjunto Finito

Un conjunto es finito si hay un entero positivo (n) de elementos en ese conjunto.

Conjuntos Distintos

Dos conjuntos son distintos si poseen elementos diferentes.

Paradoja

Figura del pensamiento que consiste en emplear expresiones o frases que envuelven contradiccin.

Sentencia

Secuencia de expresiones que especifica una o varias operaciones.

Teora

Hiptesis cuyas consecuencias se aplican a toda una ciencia o parte muy importante de ella.

19

Diccionario de la Real Academia Espaola. (2008)

- 12 -

Referencias Bibliogrficas:
Duarte, A. y Cambronero, S. (Sin Fecha). Material para el Curso MA0205. Sin publicar.

Fraenkel, A. (1976). Teora de los Conjuntos y la Lgica. 1 ed. Instituto de Investigaciones Filosficas, Universidad Nacional Autnoma de Mxico.

Halmos, R. (1965). Teora Intuitiva de los Conjuntos. 2 ed. Editorial: Continental. Mxico.

Referencias Electrnicas:
Almira, J. (2008). Sobre Lgica Matemtica: algunas observaciones sobre los fundamentos de la matemtica <www.ugr/cdocmat/materiales/granada2005.pdf > [Consulta 06/04/2008].

Enciclopedia Electrnica Wikipepia. (2008)

<http://es.wikipedia.org/wiki/Teor%C3%ADa_axiom%C3%A1tica_de_conjuntos>

[Consulta: 02/04/2008].

Real Academia Espaola. (2008) www.rae [Consulta: 09/04/2008]

- 13 -