TEORIA AXIOMATICA DE CONJUNTOS

Teora de conjuntos, rama de las matemticas a la que el matemtico George

Cantor dio su primer tratamiento formal en el siglo XIX. El concepto de conjunto es
uno de los ms fundamentales en matemtica, incluso ms que la operacin de
contar, pues se puede encontrar, implcita o explcitamente, en todas las ramas de
las matemticas ya sean puras o aplicadas. En la forma explcita, los principios y
terminologa de los conjuntos se utilizan para construir proposiciones matemticas
ms claras y precisas y para explicar conceptos abstractos tales como el infinito
DEFINICION DE CONJUNTO: se suele definir el conjunto como una coleccin de
objetos, as pues, decimos que el conjunto de jugadores de futbol en la cancha por
equipo tiene 11 elementos. Pero, esta forma de definicin es circular. En primer
lugar, as como un conjunto puede definirse como una coleccin, fcilmente una
coleccin podra decirse como un conjunto. En segundo lugar, el termino coleccin
resulta un tanto vago como el termino conjunto: lo nico que puede decirse es que
en el primer caso se alude a una actividad y en el segundo caso al resultado de
esa actividad. Necesariamente, las palabras que definan al conjunto debern
incluir informacin sobre su nmero de elementos (cardinal) y sus tipos de
elementos. Tanto uno como el otro dato determinan de alguna manera la
existencia de los conjuntos. Por ejemplo, una coleccin de 7 pares de medias,
pues difieren en sus cardinales (o nmeros de elementos) y, adems, mientras
que los elementos del primer conjunto son conjuntos pares, los del segundo
conjunto son conjuntos unitarios.
Ejemplos:
El conjunto formado por razas de perros.
El conjunto formado por profesores de una escuela
El conjunto formado por los actuales presidentes de amrica
Pero el concepto que tenemos todos es intuitivo, lo que no es correcto pues
tambin existen conjuntos formados por un solo elemento o conjuntos formados
sin elementos lo que contradice la idea anterior.
Ejemplos:
El conjunto formado por las plantas que dan flores
Conjunto de personas mayores de 200 aos

DETERMINANCION DE UN CONJUNTO POR EXTENSION

Un conjunto A esta determinado por extensin cuando se mencionan uno por uno
todos sus elementos o cuando, si son numerosos, se mencionan los primeros de
ellos y se colocan puntos suspensivos.
Ejemplos:
A = {lunes, martes, mircoles, jueves, viernes, sbado, domingo}
B = {0, 1, 3, 5, 7, }
Sin embargo, no todos los conjuntos pueden ser determinados de esta manera,
sobre todo cuando el nmero de elementos que constituyen el conjunto es muy
elevado.
Es por ello que necesariamente se debe emplear otro procedimiento para
determinar los conjuntos que tienen muchos elementos. A esta otra formar de
determinar un conjunto se le denomina comprensin que tambin se puede utilizar
para cualquier conjunto.
DETERMINACION DE UN CONJUNTO POR COMPRENSION
Un conjunto A esta determinado por comprensin cuando se enuncia la ley o una
funcin que permite conocer que elementos la cumplen y por qu.
Ejemplos:
A = {x/x R/ -2<x<5}
B = {x/x Z/ x 0 }