Anda di halaman 1dari 2

UNIVERSIDADDELVALLE

FACULTADDECIENCIASNATURALESYEXACTAS
DEPARTAMENTODEMATEMTICAS

TeoradeConjuntos(111074M)(Matemticas)(4crditos)(4horas/semana)(Habilitable)
(Prerrequisito:AlgebraLinealI(111071M),LecturadetextosAcadmicosenInglsI(204101M))
Objetivos

1.ProporcionarunaadecuadaformacinenloselementosbsicosdelaTeoradeConjuntos
2.IntroducirlateoraaxiomticadeZermeloFraenkel(ZF)
3.Ilustrarqueunaaxiomticaalestilo(ZF),juntoconelaxiomadeeleccin,constituyenun
fundamentodelasmatemticas.
4.Presentacindelosnmeroscardinalesyordinales.
Contenido

Unidad1.Conjuntos
Introduccinalosconjuntos:presentacinintuitivadelconceptodeconjunto,propiedadesbsicas,
laparadojadeRusselleintroduccinaunaaxiomticaalestilodeZermeloFraenkelSkolem.Los
axiomasiniciales:existenciadelconjuntovaco,extensionalidad,comprensin,depares,deunin
ydepotencias.Operacioneselementalessobreconjuntos:unin,interseccin,diferenciasimtrica,
propiedadesdistributivasyleyesdeDeMorgan..
Unidad2.Relaciones,Funcionesyrdenes
Paresordenados,relaciones,dominios,imagen,imageninversa,funciones,composicin,funciones
inyectivasunoauno,funcionessobreyectivas,yfuncionesbiyectivas.Equivalenciasy
particiones.rdenes,isomorfismosentrerdenes,cadenas,elementosminimalesymaximales,
mnimosymximos,nfimosysupremos.Elaxiomaderegularidad.
Unidad3.NmerosNaturales
Introduccin,conjuntosinductivos,elaxiomadeinfinito,elprincipiodeInduccin,elprincipiode
InduccinFuerte,elTeoremadeRecursin,sumaymultiplicacindenaturales,conjuntosfinitosy
conjuntosenumerables.
Unidad4.Cardinalidad
Cardinalidaddeunconjunto,teoremadeCantorBernstein,conjuntosfinitosynumerables,ordenes
linealesyconjuntosnonumerables.Construccindelosnmerosenterosyracionales,e
introduccinalaconstruccindeR.
Unidad5.NmerosCardinalesYOrdinales
Aritmticacardinal,teoremadeCantor,lacardinalidaddelcontinuo,principiodeinduccin.
Conjuntosbienordenados,transitivos,ordinales,elaxiomadereemplazo,elteoremaderecursin,
induccintransfinita,elteoremaderecursintransfinitayaritmticaOrdinal.LosAlephs,

ordinalesiniciales,nmerosdeHartogs,sumaymultiplicacindeAlephs.
Unidad6.ElAxiomadeEleccin(AE)yZF+AE
Equivalenciasdelaxiomadeeleccin,principiodebuenaordenacin,lemadeZorn,elusodel
axiomadeleccinenmatemticas.AritmticaCardinal,sumasinfinitasymultiplicacinde
nmeroscardinales,teoremadeKnig,cardinalesregularesysingulares,cofinalidad,lahiptesis
generalizadadelcontinuo,yexponenciacindecardinales.Conjuntosconstructibles,yeluniverso
delateoradeConjuntos.
Metodologa

Clasesmagistralesporpartedelprofesor.Discusindeejercicios,yciertaslecturasasignadas.
Evaluacin

Seobtendrndoscalificaciones,cadaunadeloscualestendrigualvalorconrespectoalanotafinal.
Estascalificacionesestarndadaspordosexmenesparciales,yparticipacionesenelcurso.Por
participacionesseentiendetodoaquelloquebrindeinformacindeltrabajodelestudianteporfuerade
losparicalesespecficamentetareas,exposiciones,solucindeejercicioseintervencionesenclaseentre
otros.Lascalificacionesdelasparticipacionesslomejorarnlascalificacionesdelosparciales
respectivos.
TextoGua

KarelHrbacekandThomasJech.IntroductiontoSetTheory,ThirdEdition.RevisedandExpanded,
MarcelDekker,Inc.1999
Bibliografa:

1.JosM.MuozQ.IntroducinalaTeoradeConjuntos,CuartaEdicin.FacultaddeCiencias,
UniversidadNacionaldeColombia,2002
2.CarlosAugustoDiPrisco.UnaIntroducinalaTeoradeConjuntos,PrimeraEdicin.Centrode
Lgica,EpistemologaeHistoriadelaCiencia.UniversidaddeCampinas(Brasil),1997
3.GuillermoRestrepo.FundamentosdelaMatemtica,PrimeraEdicin.CentroEditorial
UniversidaddelValle,1994
4.PaulR.Halmos.NaiveSetTheory.UndergraduateTextsinMathematics.SpringerVerlag,1974
5.L.E.Sigler.ExercisesinSetTheory.SpringerVerlag,1976
6.RenatoLewin.TeoraAxiomticadeConjuntos(110pginas).PontificiaUniversidadCatlicade
Chile
7.ThomasJ.Jech.TheAxiomofChoice.NorthHollandPublishing,1973
8.MichaelPotter.SetTheoryanditsPhilosofhy.OxfordUniversityPress,2004
9.YiannisMoschovakis.NotesonSetTheory.SecondEdition.SpringerScience+BusinessMedia,
Inc.,2006
10.KennethKunen.TheFoundationsofMathematics.MathematicalLogicandFoundations,2009