Á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.
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.
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.
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.
Axioma del par y axioma de unión - [Detalles]
None
Axioma del supremo y sus aplicaciones - [Detalles]
Estudio del concepto de completitud en los números reales, el axioma del supremo y sus consecuencias.
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.
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.
Nota 2. Subconjuntos - [Detalles]
En esta nota se presenta la idea de subconjunto así como varias propiedades que derivan de ella, se ven un par de demostraciones básicas de conjuntos y subconjuntos y se dan un par de axiomas.
Ejercicio Representación de funciones con función par e impar - [Detalles]
En este video explicamos cómo descomponer cualquier función en dos compañeras esenciales: una función par y una función impar.
Ejercicio Polinomios de grado par - [Detalles]
En este video, abordaremos paso a paso el razonamiento detrás de por qué todo polinomio de grado par alcanza su máximo en el conjunto de los números reales.
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 […]
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.
Equivalencia entre funciones biyectivas e invertibles - [Detalles]
Definimos la inversa de una función, demostramos principalmente que: Una función tiene inversa si y sólo si, es biyectiva. Además de esto demostramos otro par de Teoremas relacionados a la inversa de una función.
Introducción a las ecuaciones diferenciales ordinarias: motivación y ejemplos (Parte 1) - [Detalles]
Revisamos un par de ejemplos sencillos donde las ecuaciones diferenciales hacen su aparición, motivando su estudio.
Introducción a las ecuaciones diferenciales ordinarias: motivación y ejemplos (Parte 2) - [Detalles]
Revisamos un par de ejemplos sencillos donde las ecuaciones diferenciales hacen su aparición, motivando su estudio.
Ecuaciones lineales homogéneas de primer orden: ejemplos - [Detalles]
Resolvemos un par de ejemplos de ecuaciones lineales homogéneas de primer orden.
Ecuaciones lineales no homogéneas de primer orden. Solución por factor integrante (Ejemplos) - [Detalles]
Resolvemos un par de ejemplos de ecuaciones lineales no homogéneas de primer orden, por el método de factor integrante.
Ecuaciones no lineales de primer orden separables (Ejemplos) - [Detalles]
Resolvemos un par de ecuaciones diferenciales por el método de variables separables
Ecuaciones diferenciales exactas (Ejemplos) - [Detalles]
Resolvemos un par de ejemplos de ecuaciones exactas
Ecuaciones diferenciales no exactas. Método del factor integrante (Ejemplos) - [Detalles]
Resolvemos un par de ecuaciones diferenciales no exactas por el método de factor integrante.
Ecuaciones lineales no homogéneas de segundo orden. Solución por variación de parámetros (Ejemplos) - [Detalles]
Resolvemos un par de ecuaciones de segundo orden por el método de variación de parámetros.
Soluciones por series de potencias cerca de un punto ordinario (Ejemplos) - [Detalles]
Resolvemos un par de ecuaciones diferenciales de segundo orden con coeficientes variables por series de potencias.
Método de la transformada de Laplace (Ejemplos) - [Detalles]
Resolvemos un par de problemas de condición inicial por el método de la transformada de Laplace.
Sistemas de ecuaciones lineales con coeficientes constantes. Eliminación de variables (Ejemplos) - [Detalles]
Empleamos el método de eliminación de variables que desarrollamos en el video anterior para resolver un par de ejemplos de sistemas lineales con coeficientes constantes.
Sistemas lineales homogéneos con coeficientes constantes. Valores propios distintos (Ejemplos) - [Detalles]
Resolvemos un par de ejemplos de sistemas lineales homogéneos con coeficientes constantes cuando los valores propios de la matriz asociada son reales y distintos.
Sistemas lineales homogéneos con coeficientes constantes. Valores propios complejos (Ejemplos) - [Detalles]
Resolvemos un par de ejemplos de sistemas lineales homogéneos con coeficientes constantes cuando los valores propios de la matriz asociada son complejos.
Sistemas lineales homogéneos con coeficientes constantes. Valores propios repetidos y diagonalizable - [Detalles]
Consideramos el caso cuando la matriz asociada al sistema homogéneo con coeficientes constantes es diagonalizable y tiene valores propios repetidos. Además resolvemos un par de ejemplos.
Funciones pares e impares. - [Detalles]
Estudio de los conceptos de función par e impar y de resultados relacionados con las operaciones de este tipo de funciones.
Circunferencia de Apolonio - [Detalles]
Presentamos un par de lugares geométricos importantes, el arco de circunferencia y la circunferencia de Apolonio.
Sistemas lineales homogéneos con coeficientes constantes. Matriz no diagonalizable (Ejemplos) - [Detalles]
Resolvemos un par de ejemplos de sistemas cuya matriz asociada tiene valores propios repetidos y NO es diagonalizable.
Método de variación de parámetros para sistemas lineales no homogéneos (Ejemplos) - [Detalles]
Resolvemos un par de ejemplos de sistemas no homogéneos por el método de variación de parámetros.
Sistemas de dos ecuaciones de primer orden. El plano fase - [Detalles]
Comenzamos la última unidad del curso estudiando la geometría de las soluciones a un sistema de dos ecuaciones de primer orden con coeficientes constantes, definiendo el plano fase y analizando un par de ejemplos.
Sistemas de ecuaciones no lineales. Linealización de puntos de equilibrio (Ejemplos) - [Detalles]
Analizamos el plano fase de un par sistemas no lineales, después de linealizar el sistema cerca de los puntos de equilibrio.
Puntos de Brocard - [Detalles]
Estudiamos algunas de las propiedades del primer y segundo punto de Brocard que son otro par de puntos conjugados isogonales del triangulo.
Las nulclinas y el plano fase (Ejemplos) - [Detalles]
Mediante el método de las nulclinas esbozamos el plano fase de un par de sistemas de ecuaciones no lineales.
Sistemas hamiltonianos (Ejemplos) - [Detalles]
Estudiamos un par de sistemas hamiltonianos y esbozamos sus planos fase respectivos.
Sistemas gradiente (ejemplos) - [Detalles]
Estudiamos a detalle un par de sistemas gradiente.
Bifurcaciones en sistemas no lineales (Ejemplos) - [Detalles]
Estudiamos un par de ejemplos de bifurcaciones que ocurren en sistemas no lineales: la bifurcación de punto silla y la bifurcación de Hopf.
Diapositivas sobre demostraciones por contradicción - [Detalles]
Mostramos la importancia para hacer demostración por contradicción, lo que se requiere para hacer válida este tipo de demostración matemática, explicando la lógica acompañada. La explicación va acompañada de un par de ejemplos.
Homología singular - acciones libres en la esfera - [Detalles]
En este video demostramos el único grupo que puede actuar libremente en una esfera de dimensión par es el grupo cíclico con dos elementos.
Multiplicatividad del signo. Parte 1 - [Detalles]
Demostramos un par de lemas que serán útiles para, en el próximo video, demostrar que el signo del producto de dos permutaciones es igual al producto de los signos.
La relación entre paridad y signo - [Detalles]
Demostramos que una permutación es par si y sólo si su signo es iguala 1. Equivalentemente, vemos que una permutación es impar si y sólo si su signo es igual a -1. Esto muestra que la noción de paridad y la de signo son equivalentes.
Homomorfismos de grupos - [Detalles]
Se da la definición y un par de ejemplos de homomorfismos de grupos.
Isomorfismo. Definición y ejemplos - [Detalles]
Se da la definición y un par de ejemplos y no-ejemplos de isomorfismos de grupos.
9. Continuidad en un espacio métrico - [Detalles]
Le echaremos un vistazo a modo de repaso a un par de nociones acerca de la continuidad en espacios métricos abstractos y uno que otro ejemplo.
11. El plano complejo extendido $\mathbb{C}_{\infty}$ - [Detalles]
Para finalizar el bloque 1, veremos un par de preguntas acerca de $\mathbb{C}$ "pegándole" el infinito, la proyección estereográfica y poco mas.
19. Consecuencias de las ecuaciones de Cauchy-Riemann - [Detalles]
Repasaremos un par de propiedades que se derivan de las ecuaciones de C-R.
27. Preliminares de series de números complejos - [Detalles]
Dimos la generalización de series a números complejos, vamos a preguntar un par de cosas para repasar los conceptos importantes.
28. Sucesiones y series de funciones - [Detalles]
Ya que vimos sucesiones y series de números complejos, ahora toca ver los mismos conceptos pero para funciones de variable compleja. Veamos un par de preguntas para ver si se entendió bien.
31. Funciones elementales como series de potencias - [Detalles]
Vamos a repasar un par de trucos para los cuales se necesario aplicar las propiedades de series de potencias, de las funciones de las cuales conocemos sus series.
Nota 1. Noción de Conjunto - [Detalles]
En esta nota se da una noción intuitiva de lo que es un conjunto y un elemento de un conjunto, se muestra como construir conjuntos a partir de propiedades y se listan un par de axiomas de la teoría de conjuntos.
Álgebra Moderna I: Misma Estructura Cíclica, Permutación Conjugada y Polinomio de Vandermonde. - [Detalles]
En este texto, se explora la unicidad de la factorización completa de las permutaciones y se analizan los ciclos que aparecen en esta factorización. La cantidad y longitud de los ciclos permanecen constantes independientemente de la factorización elegida. Esto conduce a las definiciones clave de estructura cíclica y permutación conjugada. Además, se menciona que las permutaciones pueden descomponerse en intercambios de elementos de dos en dos, lo que revela que toda permutación se puede expresar como un producto de una cantidad par o impar de intercambios.
Pares ordenados y producto cartesiano - [Detalles]
En esta nueva entrada definiremos a un par ordenado y probaremos cuando dos parejas ordenadas son iguales. Así mismo dados dos conjuntos definiremos su producto cartesiano y daremos algunos ejemplos sobre este concepto.
Problemas de formas bilineales, cuadráticas y teorema de Gauss - [Detalles]
En esta entrada veremos un par de problemas para seguir repasando formas bilineales y cuadráticas y luego veremos al teorema de Gauss en acción.
Ejemplos: determinar el dominio de una función - [Detalles]
En este video hacemos un par de ejemplos en los que se determina el dominio de una función, es decir, el dominio máximo de números reales, que es posible para una regla de correspondencia dada.