Sede Bogot

a
Departamento de Matematicas

2015168 FUNDAMENTOS DE MATEMATICAS

Creditos de la asignatura: 4
Prof.: Franqui C
ardenas. Edif.: 404. Of.: 313. Atenci
on: J: 9-11. Email: fscardenasp@unal.edu.co
Prof.: Ricardo Pastr
an. Edif.: 404. Of.: 314. Atenci
on: M: 9-11. Email: rapastranr@unal.edu.co

DESCRIPCION:
Este curso es clave para reducir la gran brecha que existe entre cursos en los que se
realizan muchos c
omputos, usualmente llevados en los a
nos del colegio y en los primeros a
nos de la universidad, y cursos m
as te
oricos como teora de conjuntos, algebra lineal, analisis real y logica matematica,
que cuentan con definiciones rigurosas y demostraciones no facilmente encontradas en cursos de calculo
o de nivel inferior.
OBJETIVO GENERAL: Familiarizar al estudiante con los conceptos basicos de la matematica moderna, teora de conjuntos y elementos de logica, metodos de demostracion, relaciones y cardinalidad.
Enfatizar en las formas correctas de razonar y argumentar, as como en la manera rigurosa de escribir en
matem
aticas.
P
agina del curso: https : //sites.google.com/a/unal.edu.co/f undmat ii2014
CONTENIDO
1. Conceptos B
asicos de L
ogica (5 12 semanas)
1-1 C
alculo proposicional: Proposiciones, conectivos, tablas de verdad, tautologas.
1-2 Implicaci
on y equivalencia l
ogica, reglas de inferencia y cuantificadores.
1-3 Metodos de demostraci
on: Pruebas directas, por contradiccion, usando contra-recproca.
1-4 Pruebas de proposiciones equivalentes y de proposiciones con cuantificadores.
2. Conceptos B
asicos de Teora de Conjuntos (2 semanas)
2-1 Conjuntos: Determinaci
on por extension y por comprension. Conjuntos y relaciones: contenencia e igualdad.
2-2 Operaciones entre conjuntos: Union, interseccion, diferencia, diferencia simetrica y complemento. Propiedades de las operaciones. Conjunto de partes.
2-3 Familias indexadas: Uni
on, interseccion. Familias disyuntas y dos a dos disyuntas. Particion
de un conjunto.
3. Relaciones (3 12 semanas)
3-1 Relaciones: Pareja ordenada. Producto cartesiano. Concepto de relacion. Dominio y Rango.
Relaci
on inversa. Composici
on de relaciones.
3-2 Relaciones reflexivas, simetricas, antisimetricas y transitivas. Relaciones de equivalencia. Clases
de equivalencia. Conjunto cociente. Teorema fundamental de las relaciones de equivalencia.
3-3 Relaciones de orden. Elementos maximales y minimales, mnimo, maximo, acotacion, supremo
(sup), nfimo (inf).

4. Funciones (2 semanas)
4-1 Funciones inyectivas, sobreyectivas y biyectivas. Funcion inversa. Imagen directa e inversa.
4-2 Composici
on de funciones. Comportamiento de las imagenes directa e inversa con las operaciones
de conjuntos.
5. Cardinalidad (3 semanas)
5-1 Equipotencia o similaridad. Conjuntos finitos e infinitos. Cardinales. Teoremas de Cantor.
5-2 Inyecciones entre conjuntos infinitos. Tama
nos de infinitud. Conjuntos enumerables. Teorema
de Schr
oder-Bernstein.
BIBLIOGRAF
IA:
1. Bloch, Ethan D. Proofs and Fundamentals: A first course in Abstract Mathematics. Springer,
Second Edition, 2011.
2. Allendoerfer, Carl B. & Oakley, Cletus O. Fundamentos de Matem
aticas Universitarias. Mc Graw
Hill, New York.
3. Zalamea, Fernando Fundamentos de Matem
aticas. Facultad de Ciencias, Universidad Nacional de
Colombia, 2007.
4. Mun
oz, Jose M. Introducci
on a la teora de conjuntos, Cuarta Edicion, Universidad Nacional de
Colombia, 2002.

CALIFICACION:
Tres ex
amenes parciales valiendo cada uno el 25% de la nota y el 25% restante se
obtendr
a de tareas, ex
amenes cortos en clase, etc. El primer examen parcial se realizara el da martes
16 de septiembre, el segundo examen parcial el da jueves 30 de octubre y el tercer examen parcial el da
jueves 4 de diciembre.