Álgebra Moderna I: Propiedades de grupos y Definición débil de grupo - [Detalles]
En primera instancia se definirán propiedades básicas de grupos como en cualquier otra estructura algebraica. En la cual, es de importancia mencionar la existencia de un neutro, asociatividad e inverso. Por ultimo, la definición débil de grupo.
Conjuntos inductivos y axioma del infinito - [Detalles]
En esta entrada, hablaremos acerca de los conjuntos inductivos, así como de un nuevo axioma que nos permitirá establecer la existencia de conjuntos con una cantidad infinita de elementos, este axioma será pieza importante pues los axiomas que tenemos hasta ahora no nos permiten probar que la colección de números naturales es un conjunto.
Equivalencia homotópica implica equivalencia homotópica debil - [Detalles]
Un mapeo entre espacios se dice que es una equivalencia homotópica débil si induce isomorfismos en todos los grupos de homotopía. En este video probamos que todas las equivalencias homotópicas son equivalencias homotópicas débiles.
Teorema de existencia y unicidad. Demostración de la existencia - [Detalles]
Demostramos la parte de existencia del Teorema de Existencia y Unicidad de Picard, en un intervalo que construimos previamente mediante un lema
Axioma de elección - [Detalles]
En esta sección abordaremos un axioma relevante no sólo en teoría de conjuntos sino en muchas ramas de las matemáticas. Distintas proposiciones aparentemente sencillas no podrían demostrarse sin su ayuda y algunas de sus consecuencias son tan poderosas que cuesta trabajo aceptarlas. Es por eso que el llamado axioma de elección ha sido controversial desde su formulación a manos de Ernst Zermelo.
Teorema de existencia y unicidad para sistemas de ecuaciones de primer orden. Prueba de existencia - [Detalles]
Demostramos la existencia de una solución al problema de condición inicial para sistemas de ecuaciones de primer orden.
Teorema de existencia y unicidad para sistemas de ecuaciones diferenciales de primer orden - [Detalles]
Se hace un generalización de la teoría preliminar vista en el teorema de existencia y unicidad de Picar-Lindelöf y se demuestra el teorema de existencia y unicidad para el caso general, es decir, para sistemas de ecuaciones diferenciales de primer orden tanto lineales como no lineales
Existencia de la forma canónica de Jordan para nilpotentes - [Detalles]
Enunciaremos el teorema de la forma canónica de Jordan para matrices nilpotentes. Este es un teorema de existencia y unicidad. En esta entrada demostraremos la parte de la existencia.
Axioma del supremo y sus aplicaciones - [Detalles]
Estudio del concepto de completitud en los números reales, el axioma del supremo y sus consecuencias.
Axioma del par y axioma de unión - [Detalles]
None
En esta nueva sección veremos algunas otras equivalencias del axioma de elección, pero éstas en particular no son tan evidentes e incluso resultan sorprendentes. En muchas ramas de las matemáticas se apela a las formas equivalentes del axioma de elección que veremos en esta sección, es por ello que es importante tratarlas.
Propiedades de Grupos y Definición débil de grupo - [Detalles]
None
Principios de inducción y teoremas de recursión - [Detalles]
Demostramos el princicipio de inducción y el teorema de recursión débil, por otro lado enunciamos el teorema de recursión fuerte y el principio de buen orden.
Teorema de existencia y unicidad para ecuaciones lineales de primer orden - [Detalles]
Demostramos el Teorema de existencia y unicidad en su versión para ecuaciones lineales de primer orden
Teorema de existencia y unicidad. Ecuación integral asociada - [Detalles]
Damos los primeros detalles para la demostración del Teorema de existencia y unicidad de Picard. Encontramos una manera equivalente de resolver un problema de condición inicial, que es resolviendo una ecuación integral asociada.
Teorema de existencia y unicidad. Demostración de la unicidad - [Detalles]
Demostramos la parte de unicidad del Teorema de Existencia y Unicidad de Picard, y previamente probamos dos lemas que nos ayudan a la demostración
Teorema de existencia y unicidad. Iteraciones de Picard - [Detalles]
Construimos las iteraciones de Picard que nos ayudarán a encontrar una solución al problema de condición inicial, bajo ciertas hipótesis que analizamos antes de demostrar la parte de la existencia del Teorema de Picard
Teorema de existencia y unicidad. Dependencia continua de la condición inicial - [Detalles]
Concluimos el estudio al Teorema de existencia y unicidad analizando la dependencia continua de la solución al problema de condición inicial respecto a los valores de la condición inicial
Teorema de existencia y unicidad para sistemas lineales homogéneos con coeficientes constantes - [Detalles]
Probamos el teorema de existencia y unicidad para sistemas lineales homogéneos con coeficientes constantes.
Teorema de existencia y unicidad para sistemas lineales no homogéneos con coeficientes constantes - [Detalles]
Probamos el teorema de existencia y unicidad para sistemas lineales NO homogéneos con coeficientes constantes.
Ecuaciones diferenciales lineales de primer orden y el teorema de existencia y unicidad - [Detalles]
Continuación con el estudio de métodos para resolver ecuaciones diferenciales lineales de primer orden homogéneas y no homogéneas y presentación del teorema de existencia y unicidad para este tipo de ecuaciones diferenciales
Teorema de Existencia y Unicidad - Ecuación Integral, Funciones Lipschitzianas y Lema de Gronwall - [Detalles]
Se desarrolla una teoría preliminar necesaria para demostrar el teorema de existencia y unicidad, en dicha teoría se presentan las ecuaciones integrales, las funciones lipschitzianas y el lema de Gronwall
Teorema de Existencia y Unicidad - Iterantes de Picard y Convergencia - [Detalles]
Continuación con el desarrollo de una teoría preliminar para demostrar el teorema de existencia y unicidad, en este caso se presentan las iterantes de Picard y se hace un breve repaso de convergencia de series y sucesiones
Demostración del Teorema de Existencia y Unicidad de Picard-Lindelof - [Detalles]
Presentación de la demostración del teorema de existencia y unicidad para ecuaciones diferenciales de primer orden
Introducción al teorema de existencia y unicidad para sistemas de ecuaciones de primer orden - [Detalles]
Enunciamos el teorema de existencia y unicidad para sistemas de ecuaciones de primer orden y damos los primeros detalles para la demostración de dicho teorema.
Teorema de existencia y unicidad para sistemas lineales - [Detalles]
Se demuestra el teorema de existencia y unicidad para los casos particulares en los que los sistemas de ecuaciones diferenciales son lineales con coeficientes constantes tanto homogéneos como no homogéneos
Cortaduras de Dedekind - [Detalles]
Revisión del concepto de cortadura de Dedekind y su relación con el Axioma del supremo.
Axioma de conjunto potencia - [Detalles]
None
El axioma de buena fundación - [Detalles]
None
Nota 18. El principio de inducción matemática. - [Detalles]
En esta nota usaremos el quinto axioma de Peano para hacer un tipo de prueba muy usada en matemáticas cuando se quiere constatar que un subconjunto de los números naturales es de hecho igual que los números naturales; vemos varios ejemplos de como usar correctamente el principio de inducción y por último vemos otros dos principios muy importantes de los naturales: el segundo principio de inducción y el principio del buen orden.
Buenos órdenes para cualquier conjunto - [Detalles]
En esta entrada veremos mas equivalencias del axioma de elección, en particular veremos el teorema del buen orden.
Bases para cualquier espacio vectorial - [Detalles]
Lo que haremos en esta última entrada es utilizar el axioma de elección para probar un resultado muy conocido en Álgebra lineal, específicamente, el hecho de que todo espacio vectorial tiene una base
Principio de inducción en los números naturales - [Detalles]
Introducción En esta entrada vamos a hablar de el principio de inducción que se deriva del quinto axioma de Peano. Veremos cómo es que nos ayudará a un nuevo tipo de demostraciones, lo que significa en términos simples y algunos ejemplos de su uso. El efecto dominó Pensemos un poco en cómo funciona la inducción […]
Introduciremos las nociones de cotas superiores e inferiores, y presentaremos el axioma del supremo, finalizando con la demostración de un par de consecuencias de éste.
Principio Arquimediano - Análisis Matemático I - [Detalles]
El Principio Arquimediano. En este video se eununcia y demuestra el Principio Arquimediano, como consecuencia del Axioma del Supremo. Se define la parte entera de un real y se demuestra que los números racionales son densos en los reales.
Funciones, Parte 2 - [Detalles]
En este video se discute exhaustivamente la naturaleza de la raíz cuadrada positiva de números reales no negativos, como función. El énfasis principal es mostrar que todo número real positivo tiene una raíz cuadrada positiva, haciendo uso del axioma del supremo.
COMAL: Teoría de los Conjuntos - [Detalles]
En este curso en notas tipo blog, comenzamos con una introducción a los axiomas de ZFC y sus consecuencias. A partir de ahí, definimos relaciones, funciones y órdenes. Definimos a los números naturales desde la perspectiva de conjuntos inductivos. Exploramos la definición de equipotencia y finitud, hablando un poco de aritmética cardinal. Terminamos discutiendo el axioma de elección, sus equivalencias y consecuencias. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323.
Soluciones por series de potencias cerca de un punto ordinario - [Detalles]
Comenzamos la revisión de las ecuaciones de segundo orden con coeficientes variables, y mostramos la existencia de una solución con desarrollo en serie de potencias alrededor de un punto ordinario.
Introducción a sistemas de ecuaciones diferenciales de primer orden (Parte 2) - [Detalles]
Hablamos un poco del problema de condición inicial para sistemas de ecuaciones de primer orden, así como del Teorema de existencia y unicidad correspondiente, tanto en una versión general como en su versión para sistemas de ecuaciones lineales homogéneas.
Teorema de existencia y unicidad para sistemas de ecuaciones de primer orden. Prueba de unicidad - [Detalles]
Demostramos la unicidad de la solución al problema de condición inicial para sistemas de ecuaciones de primer orden.
Axiomas de existencia, de comprensión y de extensión - [Detalles]
None
Diapositivas de cuantificadores - [Detalles]
Mostramos los símbolos más recurrentes en matemáticas para denotar la existencia, unicidad la totalidad y pertenencia de elementos en un conjunto asi mismo es acompañado por una lista de ejemplos.
Todo grupo es el grupo fundamental de algún espacio - [Detalles]
En este video demostraremos que todo grupos es el grupo fundamental de algún espacio. Las herramientas principales para demostrar este teorema es la existencia de una presentación y una aplicación muy directa del teorema de van Kampen.
Ejercicio Subsucesiones convergentes de sucesión de Cauchy - [Detalles]
¿Puede una sucesión de Cauchy garantizar la existencia de una subsucesión convergente? En este video, abordaremos este enigma matemático con meticulosidad y rigor, llevándote a través de una demostración exhaustiva que desentrañará este misterio. Utilizando definiciones precisas, argumentos lógicos y visualizaciones intuitivas, te guiaremos por el camino que une a las sucesiones de Cauchy con la convergencia.
Polinomio mínimo de transformaciones lineales y matrices - [Detalles]
En esta entrada definiremos uno de los objetos más importantes del álgebra lineal: el polinomio mínimo. Comenzaremos dando su definición, y mostrando su existencia y unicidad. Luego exploraremos algunas propiedades y veremos ejemplos, seguido de un pequeño teorema de cambio de campos. Finalmente introduciremos un objeto similar (el polinomio mínimo puntual) y haremos unos ejercicios para cerrar
Existencia de la forma canónica de Jordan - [Detalles]
Lo que haremos ahora es mostrar una versión análoga de la forma canónica de Jordan para una familia mucho más grande de matrices. De hecho, en cierto sentido tendremos un resultado análogo para todas las matrices. Primero, generalizaremos nuestra noción de bloques de Jordan para contemplar cualquier eigenvalor. Estudiaremos un poco de los bloques de Jordan. Luego, enunciaremos el teorema que esperamos probar. Finalmente, daremos el primer paso hacia su demostración.
Polinomio de Taylor para campos escalares - [Detalles]
Hablamos del polinomio de Taylor para campos escalares. Justificamos su existencia y damos un ejemplo totalmente desarrollado de grado 3.