Universidad Nacional de Colombia

Sede Manizales
Programa Curricular de Matemáticas
Programa de Fundamentos de Matemáticas
Gonzalo Medina Arellano
gmedinaar@unal.edu.co

Objetivos
• Introducir las nociones fundamentales sobre conjuntos, funciones y relaciones.
• Presentar los tipos generales de estrategias de demostración.

Metodología
• Dos clases semanales magistrales con explicaciones, ilustraciones y propuestas
de ejercicios y problemas por parte del profesor y con la participación activa de
los estudiantes.
• Dos horas semanales de trabajo con el monitor del curso.
• Se asumen dos horas de trabajo independiente por una hora presencial. Se re-
comienda a los estudiantes revisar y estudiar cada clase vista antes de asistir a
la próxima y realizar a conciencia los ejercicios asignados.
El éxito depende de la disciplina y trabajo tanto en clase como fuera de ella.

Contenido
1. Fundamentos de lógica
1.1. Proposiciones, conectivos lógicos, fórmulas bien formadas.
1.2. Tautologías, contradicciones.
1.3. Tautologías fundamentales.
1.4. Expresiones cuantificadas.
1.5. Demostraciones directas.
1.6. Demostraciones por la contra-recíproca.
1.7. Demostraciones por reducción al absurdo
2. Conjuntos
2.1. Definiciones básicas, operaciones y relaciones elementales.
2.2. Propiedades de las operaciones y relaciones entre conjuntos.
2.3. Producto cartesiano de conjuntos, propiedades.
2.4. Conjunto de partes de un conjunto.
2.5. Familias de conjuntos.
2.6. Propiedades de las operaciones entre familias de conjuntos.
3. Relaciones

1
 3.1. Concepto de relación, dominio y recorrido, relación inversa, concepto de fun-
ción, ejemplos.
3.2. Operaciones con relaciones.
3.3. Propiedades eventuales de una relación: reflexividad, simetría, transitividad
y antisimetría.
3.4. Relaciones de equivalencia, particiones, clases de equivalencia. Conjunto co-
ciente.
3.5. Relaciones de orden parcial, orden total, buen orden. Elementos distinguidos:
maximales, minimales, máximo, mínimo, cotas superiores, cotas inferiores, ex-
tremo superior y extremos inferior.
4. Funciones
4.1. Definiciones.
4.2. Imagen directa e inversa mediante funciones.
4.3. Composición de funciones.
4.4. Funciones inyectivas, sobreyectivas, biyectivas.
4.5. Funciones biyectivas e invertibilidad.

Evaluación
Tres exámenes parciales, con valores de 33%, 33% y 34% de la nota definitiva del curso.

Fechas tentativas de las evaluaciones

• Primer Parcial: semana 5-6
• Segundo Parcial: semana 11-12
• Tercer Parcial: semana 16

Bibliografía
1. Muñoz, J.M. Introducción a la Teoría de Conjuntos. U.N. Sede Bogotá.
2. Pinter, Charles. Set Theory. Adisson Wesley, 1971.
3. Bloch, Ethan D. Proofs and Fundamentals. Birkhäuser, Boston, 2000.

Atención a estudiantes
Lunes de 9:00a.m. a 11:00a.m. Miércoles de 8:00a.m. a 9:00a.m. Oficina 210H, segundo
piso del bloque W.