Divisin Acadmica de Ciencias Bsicas

Licenciatura en Matemticas

PROGRAMA DE ESTUDIOS

TEORA DE CONJUNTOS

rea a la que
pertenece:
Horas tericas:
Horas
prcticas:
Crditos:
Clave:

REA
SUSTANTIVA
PROFESIONAL
5
0
10
F0060

Asignaturas antecedentes y subsecuentes

lgebra elemental y Geometra Elemental
PRESENTACIN
El curso de Teora de Conjuntos tiene como propsito el de comunicar al estudiante
en matemticas, los hechos bsicos en la vida acerca de la teora de los conjuntos y
hacerlo con el mnimo de raciocinio filosfico y formalismo lgico. Desde este punto
de vista los conceptos y mtodos de este curso son tan slo algunas de las
herramientas usuales de las matemticas. La teora de conjuntos que se estudiar en
este curso se debe al matemtico alemn George Ferdinand Ludwid Philipp Cantor
(1845-1918), E. Zermelo, A. A. Fraenkel y otros.

OBJETIVO GENERAL
Comprender y aplicar los conceptos fundamentales de la teora de conjuntos, como
cardinalidad, orden, axioma de eleccin y ordinales.

CONTENIDO

Unidad
No.
Objetivo
particular

ELEMENTOS DE LA TEORA DE CONJUNTOS

Comprender la teora de conjuntos desde un punto de vista
axiomtico. Del mismo modo, aprender a usar el producto
cartesiano para definir relaciones y funciones, a travs de los
ejemplos respectivos. Aplicar las herramientas anteriores a la
construccin de los sistemas numricos, como un ejemplo adicional
de la importancia de esta teora.

Hrs estimadas
Temas
F0060_Teora de Conjuntos

Resultados del aprendizaje

1/4

Divisin Acadmica de Ciencias Bsicas

1.1.
1.2.
1.3.
1.4.

Licenciatura en Matemticas

lgebra de Conjuntos: Unin,

Interseccin y Complemento.
Producto Cartesiano, Relaciones,
Funciones y Familias.
Los Nmeros Naturales.
La Extensin de los Naturales a los
Reales.

Unidad
No.
Objetivo
particular

Comprensin del formalismo axiomtico

de la Teora de Conjuntos. Habilidad
para utilizar los conceptos bsicos de
conjuntos, como son: operaciones,
producto
cartesiano,
relaciones,
funciones y familias. Capacidad para
usar las herramientas conjuntistas en la
construccin de los sistemas numricos.

CARDINALIDAD
Aprender a distinguir los conjuntos infinitos de los finitos, por medio
de ejemplos y ejercicios. Utilizar las propiedades de las funciones
para determinar la numerabilidad o no numerabilidad de conjuntos.
Comprender la construccin de los nmeros cardinales, el Teorema
de Cantor y la Hiptesis del Continuo. Aplicar el Teorema de
Cantor-Bernstein para la aritmtica cardinal a travs de los
ejemplos respectivos.

Hrs estimadas
Temas
2.1. Conjuntos Finitos e Infinitos.
2.2. Conjuntos
Numerables
y
No
Numerables.
2.3. Equivalencia de Conjuntos.
2.4. La No Numerabilidad del Conjunto
de los Nmeros Reales.
2.5. Nmeros Cardinales.
2.6. El Teorema de Cantor- SchrderBernstein.
2.7. El Teorema de Cantor.
2.8. Hiptesis del Continuo.
2.9. Aritmtica Cardinal.

Unidad
No.
Objetivo
particular

Resultados del aprendizaje

Habilidad para usar funciones con el fin
de determinar la numerabilidad o no
numerabilidad
de
un
conjunto.
Capacidad para construir los nmeros
cardinales. Habilidad para demostrar de
los Teoremas de Cantor- SchrderBernstein y Cantor. Comprensin de la
Hiptesis del Continuo. Capacidad para
utilizar la aritmtica cardinal.

EL AXIOMA DE ELECCIN
Comprender la nocin de conjuntos parcial y totalmente ordenados,
por medio de ejemplos y ejercicios. Entender tanto el Axioma de
Eleccin como sus diferentes equivalencias, as como saberlo
aplicar en la demostracin de importantes teoremas dentro de la
Matemtica y, en particular, en la Teora de Conjuntos. Finalmente,

F0060_Teora de Conjuntos

2/4

Divisin Acadmica de Ciencias Bsicas

Licenciatura en Matemticas

conocer algunas de las paradojas

formalizacin de esta teora.

que dieron origen a la

Hrs estimadas
Temas
3.1. Conjuntos Parcial y Totalmente
Ordenados.
3.2. Axioma de Eleccin, Lema de Zorn
y Teorema del Buen Orden.
3.3. Aplicaciones
del
Axioma
de
Eleccin.
3.4. Algunas Paradojas de la Teora de
Conjuntos.

Unidad
No.
Objetivo
particular

Resultados del aprendizaje

Identificacin de conjuntos totalmente y
parcialmente ordenados. Habilidad para
aplicar el Axioma de Eleccin y sus
equivalencias
en
demostraciones.
Reconocimiento de las paradojas de la
Teora de Conjuntos.

NMEROS ORDINALES
Conocer los nmeros ordinales y la aritmtica ordinal por medio
de ejemplos. Adems, entender cmo el principio de induccin y el
teorema de recursin se generalizan a los nmeros ordinales, y
aplicar dichas generalizaciones en demostraciones que las
involucren.

Hrs estimadas
Temas
4.1. Nmeros Ordinales.
4.2. El Axioma de Reemplazo.
4.3. Induccin y Recursin Transfinita.
4.4. Aritmtica Ordinal.
4.5. Ordinales Iniciales y Alephs.
4.6. Suma y Multiplicacin de Alephs.

Resultados del aprendizaje

Habilidad para construir los nmeros
ordinales y capacidad para demostrar
sus propiedades bsicas.
Habilidad para utilizar la aritmtica
ordinal.
Capacidad
para
efectuar
las
operaciones de suma y multiplicacin de
alephs.

Sugerencias didcticas
Exposiciones del profesor y de los alumnos.
Hacer una evaluacin diagnstica de conocimientos y habilidades.
Trabajar con los alumnos en grupos pequeos e individualmente.
Trabajar ejercicios en clase.
Propiciar en el estudiante la reflexin, el anlisis, la sntesis y la crtica.

F0060_Teora de Conjuntos

3/4

Divisin Acadmica de Ciencias Bsicas

Licenciatura en Matemticas

Trabajar ejemplos y ejercicios en cada concepto.

Estrategias de evaluacin del aprendizaje
Preguntas escritas.
Preguntas orales.
Exposicin de los alumnos.
Trabajos y tareas dentro y fuera de clase.
Bibliografa
Bsica

1.

2.

3.
4.

Kolmogorov & Fomin. Elements of the Theory of

Functions & Functional Analysis. Dover Publications, Inc.
U.S.A., 1999. (En espaol, Mir, 1975).
Halmos. Naive Set Theory. Springer-Verlag New York,
Inc., U.S.A., 1998. (En espaol: Teora Intuitiva de los
Conjuntos. C.E.C.S.A., Mxico, 1980).
Hernndez Hernndez, F. Teora de Conjuntos. SMM,
Mxico, 1998.
Lipschutz, S. Schaum's Outline of Set Theory and
Related Topics. Schaum's. U.S.A., 1998. (En espaol:
Teora de Conjuntos y Temas Afines. McGraw-Hill,
Mxico, 1981).

Bibliografa
Complementaria

F0060_Teora de Conjuntos

4/4