El cubriente universal - parte 2 - [Detalles]
En este video definimos el cubriente universal (de un espacio que satisface ciertas condiciones) en términos de clases de homotopía de caminos en el espacio base que comienzan en un punto base fijo. En videos posteriores mostraremos que el espacio que definimos en este video es, en efecto, el cubriente universal del espacio con el que comenzamos.
El cubriente universal - parte 1 - [Detalles]
En este video definimos una condición necesaria para que un espacio tenga cubriente universal: la noción de ser semi-localmente simplemente conexo.
El cubriente universal - parte 3 - [Detalles]
En este video construimos con todo detalle el cubriente universal de un espacio arco-conexo, localmente arco-conexo y semi localmente simplemente conexo.
Demostración de un cuantificador - [Detalles]
Explicamos cómo demostrar una proposición o enunciado que involucre cuantificadores. Veremos las estrategias principales y ejemplos que usen los cuantificadores existe, para todo y existe un único.
Ejemplo Demostración por contradicción - [Detalles]
Damos un ejemplo de cómo aplicar la demostración por contradicción, la proposición a demostrar incluye al cuantificador existe
En este video comenzamos un pequeño detour por la teoría de grupos. Definiremos lo que es un grupo libre y enunciaremos su propiedad universal.
En este video continuamos nuestro pequeño detour por la teoría de grupos. Definiremos el producto libre de grupos y su propiedad universal.
Números naturales e induccion - [Detalles]
En este video veremos a los números naturales como un subconjunto del campo de los números reales. Justificaremos el Principio de Inducción Matemática, que es una herramienta muy poderosa para demostrar proposiciones de tipo universal acerca de los números naturales.