Sede Bogotá

Departamento de Matemáticas
2015168-1 FUNDAMENTOS DE MATEMÁTICAS
Créditos de la asignatura: 4
Prof.: Ricardo Pastrán. Edif.: 404. Of.: 314. Atención: M y J: 9-11, o con cita previa.
Email: rapastranr@unal.edu.co

DESCRIPCIÓN: Este curso es clave para reducir la gran brecha que existe entre cursos en los que se
realizan muchos cómputos, usualmente llevados en los años del colegio y en los primeros años de la uni-
versidad, y cursos más teóricos como teorı́a de conjuntos, álgebra lineal, análisis real y lógica matemática,
que cuentan con definiciones rigurosas y demostraciones no facilmente encontradas en cursos de cálculo
o de nivel inferior.

OBJETIVO GENERAL: Familiarizar al estudiante con los conceptos básicos de la matemática mo-
derna, teorı́a de conjuntos y elementos de lógica, métodos de demostración, relaciones y cardinalidad.
Enfatizar en las formas correctas de razonar y argumentar, ası́ como en la manera rigurosa de escribir en
matemáticas.

METODOLOGÍA: Dos clases semanales magistrales con explicaciones, ilustraciones y propuestas de

ejercicios y problemas por parte del profesor, con la paticipación activa de los estudiantes. Se dejarán
talleres que el alumno debe realizar fuera de clase para generar luego discusiones en torno a los temas
trabajados. Se dedicará una sesión exclusiva antes de cada examen para resolver ejercicios y atender
dudas. También se atenderán dudas durante las clases y durante el horario de atención. Las reglas
del curso quedan determinadas por este programa y no serán modificadas a no ser que ocurran hechos
externos que ası́ lo obliguen.

CONTENIDO

1. Conceptos Básicos de Lógica (5 semanas)

1-1 Cálculo proposicional: Proposiciones, conectivos, tablas de verdad, tautologı́as. Equivalencia
lógica. (Semana 1)
1-2 Negación de proposiciones. Implicación lógica, teorema de la deducción, reglas de inferencia.
(Semana 2)
1-3 Argumentos lógicamente válidos. Predicados, cuantificadores. Negación de cuantificadores.
(Semana 3)
1-4 Métodos de demostración: Pruebas directas, por contradicción, usando contra-recı́proca. Prue-
bas de proposiciones equivalentes. (Semana 4)
1-5 Pruebas por casos. Pruebas de proposiciones con cuantificadores. (Semana 5)

Primer Parcial (Semana 6)

1
 2. Conceptos Básicos de Teorı́a de Conjuntos (2 semanas)
2-1 Conjuntos: Determinación por extensión y comprensión. Contenencia e igualdad. (Semana 6)
2-2 Operaciones entre conjuntos: Unión, intersección, diferencia, diferencia simétrica y comple-
mento. Propiedades de las operaciones. Conjunto de partes. Parejas ordenadas. Producto Carte-
siano. (Semana 7)
2-3 Familias indexadas: Unión, intersección. Familias disyuntas y dos a dos disyuntas. Partición
de un conjunto. (Semana 8)
3. Relaciones (3 semanas)
3-1 Relaciones: Concepto de relación. Dominio y Rango. Relación inversa. (Semana 8)
3-2 Relaciones reflexivas, simétricas y transitivas. Relaciones de equivalencia. Clases de equivalen-
cia. Conjunto cociente. Teorema fundamental de las relaciones de equivalencia. (Semana 9)
3-3 Relaciones antisimétricas. Relaciones de orden. Elementos maximales y minimales, mı́nimo,
máximo, acotación, supremo (sup), ı́nfimo (inf). (Semana 10 y 11)

Segundo Parcial (Semana 11)

4. Funciones (2 12 semanas)
4-1 Funciones inyectivas, sobreyectivas y biyectivas. Imagen directa e inversa. (Semana 12)
4-2 Composición de funciones. Función inversa. Comportamiento de las imágenes directa e inversa
con las operaciones de conjuntos. (Semana 13 y 14)
5. Cardinalidad (2 semanas)
5-1 Equipotencia o similaridad. Conjuntos finitos e infinitos. Cardinales. Teoremas de Cantor.
(Semana 14)
5-2 Inyecciones entre conjuntos infinitos. Tamaños de infinitud. Conjuntos enumerables. (Semana
15)
5-3 Teorema de Schröder-Bernstein: enunciado y consecuencias para la equipotencia entre conjuntos
numéricos conocidos. (Semana 16)

Tercer Parcial (Semana 16)

CALIFICACIÓN: Tres exámenes parciales valiendo cada uno el 25% de la nota y el 25% restante se
evaluará por participación en clase, quices y/o trabajos. El primer examen parcial se realizará el dı́a
martes 13 de marzo, el segundo examen parcial el dı́a jueves 26 de abril y el tercer examen parcial el dı́a
jueves 31 de mayo.
TEXTOS GUÍAS
1. Bloch E. D., Proofs and Fundamentals: A first course in abstract mathematics, segunda edición.
Springer, 2011.
2. Pastrán, R. & Zambrano, P., Notas de Clase de Fundamentos, Universidad Nacional de Colombia. En
elaboración.
TEXTOS SUGERIDOS
1. Zalamea F., Fundamentos de Matemáticas. Universidad Nacional de Colombia. Sede Bogotá, 2007.
2. Hammack R., Book of Proof. Virginia Commonwealth University, 2013.
3. Velleman D.J., How to prove it: A structured Approach, segunda edición, Cambridge University Press,
2006.
TEXTOS COMPLEMENTARIOS
1. Eccles P. J., An introduction to Mathematical Reasoning, Cambridge University Press, 1997.
2. Eves H., Foundations and Fundamental Concepts of Mathematics. Dover Pub., 1990.
3. Muñoz J. M., Introducción a la teorı́a de conjuntos, 4a. edición, Universidad Nacional de Colombia,
2002.
4. Lipschutz S., Teorı́a de conjuntos y temas afines, Serie Schaum. McGraw-Hill, 1969.