Teora de conjuntos:

Hiptesis
del
continuo. La
coleccin
de todos
los
conjuntos de nmeros naturales P(N) tiene la llamada potencia del
continuo: tantos las funciones como (por ejemplo) puntos en
una recta. Su estudio es uno de los principales problemas en la
teora de conjuntos.

1 - Introduccin breve:
1 - Comentario previo:
La teora de conjuntos es una rama de las matemticas que
estudia las apreciaciones 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.
2 - Teora bsica 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 polgonos por ejemplo, puede
imaginarse una coleccin determinada de estos objetos, un conjunto. Cada uno de estos elementos
pertenecen 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 A se 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 los nmeros
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.
3 - lgebra de conjuntos:
Existen unas operaciones bsicas que permiten manipular los conjuntos y sus elementos, similares a
las operaciones aritmticas, constituyendo el lgebra de conjuntos:
Unin: La unin de dos conjuntos A y B es el conjunto A B que contiene cada elemento que
est por lo menos en uno de ellos.
Interseccin: La interseccin de dos conjuntos A y B es el conjunto A B que contiene todos
los elementos comunes de A y B.
Diferencia: La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos los
elementos de A que no pertenecen a B.
Complemento: El complemento de un conjunto A es el conjunto A que contiene todos los
elementos (respecto de algn conjunto referencial) que no pertenecen a A.
Diferencia simtrica: La diferencia simtrica de dos conjuntos A y B es el conjunto A B con
todos los elementos que pertenecen, o bien a A, o bien a B, pero no a ambos a la vez.
Producto cartesiano: El producto cartesiano de dos conjuntos A y B es el conjunto A B que
contiene todos los pares ordenados (a, b) cuyo primer elemento a pertenece a A y su
segundo elemento b pertenece a B.

2 - Teora axiomtica o teora informal de conjuntos:

La teora informal de conjuntos apela a la intuicin para determinar cmo se comportan los
conjuntos. Sin embargo, es sencillo plantear cuestiones acerca de las propiedades de estos que
llevan a contradiccin si se razona de esta manera, como la famosa paradoja de Russell.
Histricamente sta fue una de las razones para el desarrollo de las teoras axiomticas de
conjuntos, siendo otra el inters en determinar exactamente qu enunciados acerca de los conjuntos
necesitan que se asuma el polmico axioma de eleccin para ser demostrados.
Las teoras axiomticas de conjuntos son colecciones precisas de axiomas escogidos para poder
derivar todas las propiedades de los conjuntos con el suficiente rigor matemtico. Algunos ejemplos
conocidos son:

 La teora de conjuntos de Zermelo-Fraenkel

La teora de conjuntos de Neumann-Bernays-Gdel
La teora de conjuntos de Morse-Kelley

3 - lgebra de conjuntos:
En matemticas, lgebra de conjuntos es el estudio de las operaciones bsicas que pueden
realizarse con conjuntos, como la unin, interseccin y complementacin.
3.1 - Conjunto:
Un conjunto es una coleccin de objetos considerada como un objeto en s. Un conjunto est
definido nicamente por los elementos que lo componen, y no por la manera en la que se lo
representa.
Existe una serie de relaciones bsicas entre conjuntos y sus elementos:
Pertenencia: La relacin relativa a conjuntos ms bsica es la relacin de pertenencia. Dado un
elemento x, ste puede o no pertenecer a un conjunto dado A. Esto se indica como x A.
Igualdad: Dos conjuntos son iguales si y slo si tienen los mismos elementos. Este principio,
denominado principio de extensionalidad establece el hecho de que un conjunto queda definido
nicamente por sus elementos.
Inclusin: Dado un conjunto A, cualquier
un subconjunto de A, y se indica como B A.

subcoleccin B de

sus

elementos

es

Conjunto Vaco: El consunto vaco es el conjunto sin ningn elemento, y se denota por o por
{}. El conjunto universal es el conjunto que contiene todos los elementos posibles, dentro del
contexto considerado. Por ejemplo, si se estudian los nmeros naturales, el conjunto universal
es el conjunto de todos ellos, N. De manera general, el conjunto universal se denota por U.
3.2 - Ejemplos:

Cada nmero natural es elemento del conjunto N = {1, 2, 3,...} de los nmeros
naturales: 1 N, 2 N, etc. Cada nmero par es tambin un nmero natural, por lo que el
conjunto P de los nmeros pares, P = {2, 4, 6, ...}, es un subconjunto de N: P N.

Dado el conjunto de letras V = {o, i, e, u, a}, se cumple por ejemplo que a V o tambin i V.
El conjunto de letras U = {vocales del espaol} contiene los mismos elementos que V, por lo
que ambos conjuntos son iguales, V = U.

3.3 - Operaciones con conjuntos:

Unin

Interseccin

Complemento

Diferencia

Diferencia simtrica

Las operaciones bsicas del lgebra de conjuntos son:

Unin: La unin de dos conjuntos A y B es el conjunto A B que contiene todos los elementos
de A y de B.

Interseccin: La interseccin de dos conjuntos A y B es el conjunto A B que contiene todos

los elementos comunes de A yB.

Diferencia: La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos los
elementos de A que no pertenecen a B.

Complemento: El complemento de un conjunto A es el conjunto A que contiene todos los

elementos que no pertenecen a A.

Producto cartesiano: El producto cartesiano de dos conjuntos A y B es el conjunto A B que

contiene todos los pares ordenados (a, b) cuyo primer elemento pertenece a A y su segundo
elemento pertenece a B.
3.3 - Propiedades:

Algunas de estas operaciones poseen propiedades similares a las operaciones con nmeros
naturales. Por ejemplo, la unin y la interseccin son conmutativas y asociativas. El conjunto vaco
es el elemento neutro de la unin, y el elemento absorbente de la interseccin y el producto
cartesiano. El conjunto universal es el elemento neutro de la interseccin y el elemento absorbente
de la unin.

Adems, las operaciones de unin,

complemento son muy similares a
de
Boole,
as
como
a
la lgica proposicional.

interseccin,
diferencia
y
las operaciones en un lgebra
los conectores
lgicos de

UNIVERSIDAD NACIONAL DE TRUJILLO

Escuela de Historia
Facultad de CC. SS:

Alumno:
Ricardi Andree Turpo Mamani.

Asignatura:
Complemento Matemtico

Ciclo:
Primer Ciclo.
Aula:
CC.SS
Profesor:

Ao:

Tema:
.