TEORA DE CONJUNTOS

La teora de conjuntos es una rama de las matemticas que

estudia las propiedades de los conjuntos: colecciones
abstractas de objetos, consideradas como objetos en s
mismas. Los conjuntos y sus operaciones ms elementales
son una herramienta bsica en la formulacin de cualquier
teora matemtica.

Sin embargo, la teora de los conjuntos es lo suficientemente

rica como para construir el resto de objetos y estructuras de
inters en matemticas: nmeros, funciones, figuras
geomtricas, ...; y junto con la lgica permite estudiar los
fundamentos de esta. En la actualidad se acepta que el
conjunto de axiomas de la teora de Zermelo-Fraenkel es
suficiente para desarrollar toda la matemtica.

Adems, la propia teora de conjuntos es objeto de

estudio per se, no slo como herramienta auxiliar, en
particular las propiedades y relaciones de los
conjuntos infinitos. En esta disciplina es habitual que se
presenten casos de
propiedades indemostrables o contradictorias, como
la hiptesis del continuo o la existencia de un cardinal
inaccesible. Por esta razn, sus razonamientos y tcnicas se
apoyan en gran medida en la lgica matemtica.
El desarrollo histrico de la teora de conjuntos se atribuye
a Georg Cantor, que comenz a investigar cuestiones
conjuntistas puras del infinito en la segunda mitad
del siglo XIX, precedido por algunas ideas de Bernhard
Bolzano e influenciado por Richard Dedekind. El
descubrimiento de las paradojas de la teora cantoriana, de
conjuntos, formalizada por Gottlob Frege, propici los
trabajos de Bertrand Russell, Ernst Zermelo, Abraham
Fraenkel y otros a principios del siglo XX.

TEORIA BASICA DE CONJUNTOS

La teora de conjuntos ms elemental es una de las
herramientas bsicas del lenguaje matemtico. Dados
unos elementos, unos objetos matemticos
como nmeros o polgonospor ejemplo, puede imaginarse
una coleccin determinada de estos objetos, un conjunto.
Cada uno de estos elementos pertenece al conjunto, y esta
nocin de pertenencia es la relacin relativa a conjuntos ms
bsica. Los propios conjuntos pueden imaginarse a su vez
como elementos de otros conjuntos. La pertenencia de un
elemento a a un conjunto Ase indica como a A.
Una relacin entre conjuntos derivada de la relacin de
pertenencia es la relacin de inclusin. Una subcoleccin de
elementos B de un conjunto dado A es un subconjunto de A,
y se indica como B A.
Ejemplos.
 Los conjuntos numricos usuales en matemticas son:
el conjunto de los nmeros naturales N, el de los nmeros
enteros Z, el de los nmeros racionales Q, el de
losnmeros reales R y el de los nmeros complejos C.
Cada uno es subconjunto del siguiente:

El espacio tridimensional E3 es un conjunto de objetos

elementales denominados puntos p, p E3.
Las rectas r y planos son conjuntos de puntos a su vez, y
en particular son subconjuntos de E3, r E3 y E3.

DEFINICION
La palabra conjunto generalmente la asociamos con la
idea de agrupar objetos, por ejemplo un conjunto de
discos, de libros, de plantas de cultivo y en otras
ocasiones en palabras como hato, rebao, piara,
parcelas, campesinado, familia, etc., es decir la palabra
conjunto denota una coleccin de elementos claramente
entre s, que guardan alguna caracterstica en comn. Ya
sean nmeros, personas, figuras, ideas y conceptos.
En matemticas el concepto de conjunto es considerado
primitivo y ni se da una definicin de este, sino que se
trabaja con la notacin de coleccin y agrupamiento de
objetos, lo mismo puede decirse que se consideren
primitivas las ideas de elemento y pertenencia.
La caracterstica esencial de un conjunto es la de estar
bien definido, es decir que dado un objeto particular,
determinar si este pertenece o no al conjunto. Por
 ejemplo si se considera el conjunto de los nmeros
dgitos, sabemos que el 3 pertenece al conjunto, pero el
19 no. Por otro lado el conjunto de las bellas obras
musicales no es un conjunto bien definido, puesto que
diferentes personas puedan incluir distintas obras en el
conjunto.
Los objetos que forman un conjunto son
llamados miembros o elementos. Por ejemplo el
conjunto de las letras de alfabeto; a, b, c, ..., x, y, z. que
se puede escribir as:

Como se muestra el conjunto se escribe entre llaves ({})

o separados por comas (,).

El detallar a todos los elementos de un conjunto entre

las llaves, se denomina forma tabular,
extensin o enumeracin de los elementos.

Dos conjuntos son iguales si tienen los mismos

elementos, por ejemplo:

El conjunto { a, b, c } tambin puede escribirse:

{ a, c, b }, { b, a, c }, { b, c, a }, { c, a, b }, { c, b, a }

En teora de conjuntos se acostumbra no repetir a los

elementos por ejemplo:

El conjunto { b, b, b, d, d } simplemente ser { b, d }.

TRABAJO DE TEORIA EN CONJUNTOS

PRESENTADO

POR

OSNAIDER POLO

JEAN CARLOS SANCHEZ

DOCENTE: NELSON TARAZONA

CORPORACION UNIVERSITARIA AMERICANA

FACULTAD DE INGENIERIA DE SISTEMAS

I SEMESTRE

BARRANQUILLA

2013