Consecuencias del teorema de Cauchy - [Detalles]
Se muestran algunas aplicaciones y consecuencias del teorema de Cauchy: ser p-grupo es equivalente a tener orden una potencia de p, todo p-grupo no trivial tiene centro no trivial, todo grupo de orden el cuadrado de un primo es abeliano, los subgrupos maximales de un p-grupo son normales y de índice p.
Definición del grupo fundamental - [Detalles]
En este video definimos el grupo fundamental (como conjunto solamente) de un espacio X basado en un punto x_0. En el siguiente video se verá que el grupo fundamental es un grupo con la operación de concatenación de caminos.
El grupo fundamental es, en efecto, un grupo - [Detalles]
En este video demostramos que el grupo fundamental es un grupo con la operación dada por concatenar lazos.
Homología singular - grupo fundamental vs primer grupo de homología: parte 1 - [Detalles]
En este video demostramos algunos lemas preliminares que usaremos para demostrar que el abelianizado del grupo fundamental de X es isomorfo al primer grupo de homología de X, siempre que X sea arco-conexo.
Homología singular - grupo fundamental vs primer grupo de homología - parte 2 - [Detalles]
En este video demostramos que la función del grupo fundamental de X al primer grupo de homología de X está bien definida y es un homomorfismo. Además demostramos que si X es arco-conexo entonces dicho homomorfismo en suprayectivo. Calcularemos el kernel en el siguiente video.
Álgebra Moderna I: Subgrupo Conmutador - [Detalles]
En esta entrada, el propósito es inicialmente establecer la noción de conmutador entre dos elementos del grupo G. Posteriormente, se pretende definir el conjunto generado por todos los conmutadores en el grupo. Estos pasos se dan con el fin de crear un grupo cociente abeliano, a pesar de que el grupo original G no lo sea.
Álgebra Moderna I: Una modificación al Teorema de Cayley - [Detalles]
Ya observamos la importancia del Teorema de Cayley, ya que nos permite visualizar a un grupo G como un subgrupo del grupo de permutaciones. En esta entrada relacionaremos al grupo G con un grupo simétrico mas pequeño que Sn . Utilizaremos los elementos de G no para mover sus propios elementos, si no, para mover clases laterales.
Grupos cíclicos - parte 1 - [Detalles]
Se da la definición de grupo cíclico y se exploran algunas de sus propiedades, se demuestra que todos los subgrupos de un grupo cíclico son cíclicos y que hay subgrupos para cada divisor del orden de un grupo cíclico.
El orden de un grupo - [Detalles]
Se define el orden de un grupo y se dan ejemplos.
Álgebra Moderna I: Orden de un elemento y Grupo cíclico - [Detalles]
¿Cualquier subconjunto X de un grupo G es un subgrupo? Esta premisa es abordada principalmente, necesitamos ver condiciones necesarias que pedirle a a X. Requiriendo la definición de orden de un elemento hasta llegar al concepto de subgrupo cíclico.
Álgebra Moderna I: Orden de un grupo - [Detalles]
Es importante definir ahora el orden de un grupo, formalizando algunos conceptos del tema anterior como el del conjunto generado por un elemento a.
Álgebra Moderna I: Propiedades de los Homomorfismos - [Detalles]
En esta entrada, nos enfocaremos en proporcionar algunas propiedades adicionales de los homomorfismos. Específicamente, examinaremos cómo los homomorfismos interactúan con las potencias de los elementos del grupo. Posteriormente, exploraremos la relación entre el orden de un elemento en el grupo original y el orden de su imagen bajo un homomorfismo.
El grupo fundamental del círculo - parte 2 - [Detalles]
En este video terminamos el estudio del grupo fundamental del círculo. Concretamente, demostramos que el grupo fundamental del círculo es cíclico infinito.
El grupo fundamental de un producto - [Detalles]
En este video demostramos que el grupo fundamental de un producto de espacios topológicos es el producto de los grupos fundamentales de los factores, es decir, el grupo fundamental abre productos.
El grupo fundamental de la n-esfera - [Detalles]
En este video demostramos que el grupo fundamental de las esferas de dimensión al menos 2 es trivial. Este cálculo nos sigue dando herramientas para desarrollar intuición acerca del grupo fundamental.
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.
El número de hojas de un cubriente y su grupo fundamental - [Detalles]
En este video demostramos que el número de hojas de un cubriente (con espacio base y espacio cubriente arco-conexos) está en correspondencia con el número de clases laterales de la imagen del grupo fundamental del espacio cubriente, en el grupo fundamental del espacio base.
Demostrando propiedades de subgrupos - [Detalles]
Se presentan algunas propiedades que cumplen los subgrupos de un grupo: todo grupo es subgrupo de sí mismo, el unitario del neutro es subgrupo, todo subgrupo es un grupo.
Se define el concepto de grupo cociente, se demuestra que es en efecto un grupo y se muestra que la función cociente es un homomorfismo con kernel el subgrupo en cuestión.
Se definen las acciones de grupo y los G-conjuntos, se prueba que las acciones están en correspondencia biyectiva con los homomorfismos del grupo en el grupo simétrico, se muestran ejemplos, se definen las órbitas y los estabilizadores.
Álgebra Moderna I: Teorema de Cayley - [Detalles]
A partir de esta unidad veremos como cada uno de los elementos de los grupos (para cualquier grupo) se puede ver como una permutación. Todo grupo se puede pensar como un subgrupo de un grupo de permutaciones. El objetivo principal es converger en el Teorema de Cayley
En este video se enuncia los axiomas de orden para el conjunto de números positivos. Se demuestra algunas consecuencias de los axiomas, se define el orden, se muestra que el orden es congruente con las operaciones y se definen los intervalos.
Método de reducción de orden - [Detalles]
Dada una solución a una ecuación lineal homogénea de segundo orden, podemos encontrar una segunda solución linealmente independiente a la primera, mediante el método de reducción de orden.
Orden en los números enteros - [Detalles]
Hablamos sobre algunas propiedades de los números naturales, vemos que poseen un orden. Lo nos lleva a dar las definiciones formales de "menos que" y "menor igual". Demostramos algunas proposiciones y propiedades que surgen de considerar un orden en los números naturales.
Nota 17. El orden en los números naturales. - [Detalles]
En esta nota desarrollaremos formalmente el concepto de cuándo una magnitud es más grande que otra, es decir daremos un orden al conjunto de números naturales, veremos varías propiedades que nos dicen como este orden se comporta respecto a lo que ya sabemos de los números naturales.
En esta sección hablaremos acerca de ordenes totales, retomaremos el concepto de orden parcial y orden parcial estricto y añadiremos el concepto de ser comparable. Además hablaremos acerca del orden lexicográfico vertical y horizontal.
Derivadas parciales de segundo orden - [Detalles]
Definimos las derivadas parciales de segundo orden para un campo escalar, con ejemplos. Vemos cuándo conmuta el orden de derivación.
Caminos y homotopías | Grupo fundamental | Topología algebraica - [Detalles]
En este video se comienza a preparar el camino para definir, posteriormente, el grupo fundamental de un espacio topológico.
Cambio de punto base para el grupo fundamental - [Detalles]
En este video estudiamos la (in)dependencia del grupo fundamental respecto del punto base.
El grupo fundamental del círculo - parte 1 - [Detalles]
En este video comenzamos el estudio del grupo fundamental del círculo.
Demostración del teorema fundamental del álgebra usando el grupo fundamental del círculo - [Detalles]
En este video damos una demostración hermosa del teorema fundamental del álgebra usando e hecho de que el grupo fundamental del círculo es cíclico infinito.
El grupo fundamental no detecta células de dimensió mayor que 2 - [Detalles]
En este video demostraremos que el grupo fundamental queda inalterado si adjuntamos o pegamos una célula de dimensión mayor que dos a un espacio.
El teorema de clasificación de cubrientes - parte 1 - [Detalles]
En este video demostramos que dado un subgrupo H del grupo fundamental de X, existe un cubriente tal que su grupo fundamental es isomorfo a H.
El teorema de clasificación de cubrientes - parte 2 - [Detalles]
En este video demostramos que dado un subgrupo H del grupo fundamental de X, existe un único cubriente tal que su grupo fundamental es isomorfo a H.
Transformaciones de cubierta - parte 2 - [Detalles]
En este video demostramos el teorema que relaciona el grupo de transformaciones de cubierta de un cubriente con el grupo fundamental del espacio base.
Homología singular - el 0-ésimo grupo de homología - [Detalles]
En este video veremos que el 0-ésimo grupo de homología singular es la suma de copias de los coeficientes, una por cada componente arco-conexa del espacio.
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.
Qué es un grupo. Definición explicada - [Detalles]
Se definen los conceptos básicos para dar con la noción de grupo.
Se define el concepto de grupo abeliano y se dan ejemplos y no-ejemplos.
Potencias de un elemento en un grupo - [Detalles]
Se definen las potencias de elementos de un grupo y se explican sus propiedades.
Productos de subconjuntos de un grupo - [Detalles]
Se extiende la definición de producto para incluir el producto de dos subconjuntos de un grupo.
Grupo alternante (2) - [Detalles]
Se recuerda la definición de grupo simple y se explica la relación entre este concepto y los grupos alternantes: An es simple para n entre 1 y 5, excepto 4.
Álgebra Moderna I: Definición de Grupos - [Detalles]
Dentro de lo que se abordará como tema principal a continuación, es la definición de grupo y se facilitara la compresión de este nuevo concepto a través de varios ejemplos. Un concepto más es el de Grupo abeliano.
Á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.
Álgebra Moderna I: Subgrupos - [Detalles]
La proxima estructura que nos interesa estudiar es la de la subcoleccion H de un grupo G, por tanto necesitamos conocer que necesita H para que sea un grupo en si mismo. Así mismo, hay que estudiar propiedades que heredan estas subcolecciones y las caracterizaciones. Por ultimo siempre es bueno revisar que pasa cuando son finitos.
Álgebra Moderna I: Permutaciones y Grupo Simétrico - [Detalles]
En primera instancia tenemos que definir lo que es una permutación de un conjunto X. Posteriormente podremos construir el concepto de Grupo Simétrico y la definición de un r-ciclo.
Álgebra Moderna I: Relación de equivalencia dada por un subgrupo e índice de H en G - [Detalles]
En esta entrada definiremos una relación de equivalencia en un grupo. Nos referimos al grupo de los enteros con la suma (Z,+) en el cual es posible establecer una relación de equivalencia que induce a una partición con exactamente n conjuntos.
Álgebra Moderna I: Teoremas y Proposiciones relacionadas con subgrupos normales y grupo Alternante. - [Detalles]
Es fácil verificar que toda clase lateral derecha es una clase lateral izquierda y viceversa. En esta entrada, nos centraremos en demostrar formalmente este resultado y otros teoremas mas que sumen a las propiedades de subgrupos normales y el grupo alternante.
Álgebra Moderna I: Grupo Cociente - [Detalles]
La definición de subgrupos normales surgió de la necesidad de extender las propiedades de los enteros a grupos más generales. En los enteros, definimos una relación de equivalencia (módulo n) que nos permite obtener clases de equivalencia. Estas clases no solo generan una partición, sino que también constituyen un subgrupo de Z. La idea central es generalizar este concepto: buscamos definir una operación en ciertas clases de equivalencia para que también formen un grupo.
Acción del grupo fundamental - [Detalles]
Vemos que el grupo pi_1 actúa en los grupos de homotopía superiores
Orden de un elemento y Grupo cíclico - [Detalles]
None
Orden de un grupo - [Detalles]
None
Álgebra Moderna I: Caracterización de grupos cíclicos - [Detalles]
En los grupos cíclicos, existe un subgrupo único para cada divisor del orden del grupo. Este concepto será el enfoque inicial de esta explicación. Posteriormente, emplearemos un resultado de la teoría de números, utilizando la teoría de grupos para describir los grupos cíclicos de manera más detallada. Esta descripción, junto con sus implicaciones en los campos finitos, se basa en los materiales de los libros de Rotman y también se encuentra en el libro de Avella, Mendoza, Sáenz y Souto, que se mencionan en la bibliografía.
Principio del buen orden - [Detalles]
Enunciamos el principio del buen orden: Todo subconjunto, no vacío, de los naturales tiene un elemento mínimo. Vemos algunos subconjuntos como ejemplos.
El Principio del Buen Orden y el Principio de Inducción Matemática - [Detalles]
Enunciamos que: El principio del buen orden es equivalente al Principio de inducción matemática. Indicamos la idea de cómo demostrar este enunciado, el cual se demostrará en los dos videos siguientes.
El principio del buen orden implica el principio de inducción matemática - [Detalles]
Siguiendo con lo visto anteriormente, demostramos que: El principio del buen orden (PBO) es equivalente al Principio de inducción matemática (PIM). En este video demostramos que PBO implica PIM.
El principio de inducción implica el principio del buen orden - [Detalles]
Siguiendo con lo visto anteriormente, demostramos que: El principio del buen orden (PBO) es equivalente al Principio de inducción matemática (PIM). En este video demostramos que PIM implica PBO.
Definiciones elementales: Ecuación diferencial ordinaria, solución, y orden de una ecuación - [Detalles]
Definimos una ecuación diferencial ordinaria, solución y el orden de una ecuación.
Curvas integrales y soluciones a una ecuación diferencial de primer orden - [Detalles]
Revisamos la relación existente entre las curvas integrales del campo asociado a la ecuación de primer orden dy/dt=f(t,y) y sus soluciones.
Ecuaciones lineales homogéneas de primer orden - [Detalles]
Resolvemos el caso general de una ecuación lineal homogénea de primer orden.
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 - [Detalles]
Resolvemos el caso general de una ecuación lineal no homogénea de primer orden, por el método de factor integrante.
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.
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
Ecuaciones lineales homogéneas de segundo orden. Propiedades de las soluciones - [Detalles]
Estudiamos a las ecuaciones homogéneas de segundo orden y el comportamiento de las soluciones
Ecuaciones lineales homogéneas de segundo orden. Independencia lineal de soluciones - [Detalles]
Terminamos el estudio de las soluciones a ecuaciones lineales homogéneas de segundo orden, con el concepto de dependencia e independencia lineal de soluciones. Estudiamos la relación entre este nuevo concepto con los de conjunto fundamental de soluciones y el Wronskiano.
Ecuaciones lineales homogéneas de segundo orden con coeficientes constantes. Raíces reales distintas - [Detalles]
Resolvemos el caso general de una ecuación lineal homogénea de segundo orden con coeficientes constantes, cuando las raíces a la ecuación a(r^2)+br+c=0 son reales y distintas.
Ecuaciones lineales homogéneas de segundo orden con coeficientes constantes. Raíces repetidas - [Detalles]
Resolvemos el caso general de una ecuación lineal homogénea de segundo orden con coeficientes constantes, cuando las raíces a la ecuación a(r^2)+br+c=0 son repetidas.
Ecuaciones lineales homogéneas de segundo orden con coeficientes constantes. Raíces complejas - [Detalles]
Resolvemos el caso general de una ecuación lineal homogénea de segundo orden con coeficientes constantes, cuando las raíces a la ecuación a(r^2)+br+c=0 son complejas.
Ecuaciones lineales no homogéneas de segundo orden y sus soluciones - [Detalles]
Demostramos que la solución general a una ecuación lineal no homogénea de segundo orden puede verse como la suma de la solución general a la ecuación homogénea asociada y una solución particular a la ecuación no homogénea denotada.
Ecuaciones lineales no homogéneas de segundo orden. Solución por variación de parámetros - [Detalles]
Desarrollamos el método de variación de parámetros para resolver una ecuación lineal no homogénea de segundo orden.
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.
Ecuación de Bessel (Parte 1) - [Detalles]
Hallamos la ecuación indicial para la ecuación de Bessel de orden lambda alrededor del punto singular regular t=0. Posteriormente encontramos una solución a la ecuación de Bessel de orden cero.
Introducción a sistemas de ecuaciones diferenciales de primer orden (Parte 1) - [Detalles]
Damos las primeras definiciones acerca de sistemas de ecuaciones de primer orden y mostramos dos ejemplos de problemas donde los sistemas aparecen.
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.
Introducción a sistemas de ecuaciones diferenciales de primer orden (Parte 3) - [Detalles]
Escribimos a los sistemas en forma de matrices. Además transformamos una ecuación de orden n en un sistema de n ecuaciones diferenciales.
Propiedades de orden y sus consecuencias - [Detalles]
Estudio del orden en los números reales y algunos resultados relacionados.
Ecuaciones diferenciales lineales de primer orden - [Detalles]
Estudio de métodos para resolver ecuaciones diferenciales lineales de primer orden homogéneas y no homogéneas
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
Ecuaciones diferenciales NO lineales de primer orden, métodos de resolución - [Detalles]
Estudio de métodos para resolver ecuaciones diferenciales NO lineales de primer orden
Ecuaciones diferenciales de orden superior - [Detalles]
Introducción general a las ecuaciones diferenciales ordinarias de orden superior
Soluciones a ecuaciones diferenciales de orden superior - [Detalles]
Estudio de las propiedades de las soluciones de las ecuaciones diferenciales de orden superior
Método de reducción de orden - [Detalles]
Presentación de un primer método de resolución de ecuaciones diferenciales de segundo orden
Ecuaciones lineales no homogéneas de segundo orden – Método de coeficientes indeterminados - [Detalles]
Al estudiar el caso no homogeneo de las ecuaciones diferenciales de segundo orden se presenta un primer método que propone soluciones en forma de series similares a la función g
Ecuaciones lineales no homogéneas de segundo orden – Método de variación de parámetros - [Detalles]
Se hace una generalización del método de variación de parámetros para resolver de manera general ecuaciones diferenciales no homogéneas de segundo orden
Ecuaciones lineales de segundo orden con coeficientes variables – Soluciones en series de potencias respecto a puntos ordinarios - [Detalles]
Se hace un breve repaso de series de potencias para posteriormente desarrollar un método de resolución de ecuaciones diferenciales de segundo orden con coeficientes variables con respecto a puntos ordinarios
Ecuaciones lineales de segundo orden con coeficientes variables – Soluciones en series de potencias respecto a puntos singulares - [Detalles]
Se describe el método de Frobenius para resolver ecuaciones diferenciales de segundo orden con coeficientes variables con respecto a puntos singulares
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 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 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.
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 dos ecuaciones de primer orden. Campo vectorial asociado - [Detalles]
Asociamos un campo vectorial a un sistema de ecuaciones de primer orden con coeficientes constantes, y analizamos su relación con las curvas del plano fase del sistema.
Puntos de equilibrio de sistemas de ecuaciones de primer orden - [Detalles]
Definimos los puntos de equilibrio para sistemas de ecuaciones de primer orden, y revisamos algunos ejemplos.
Estabilidad de puntos de equilibrio para sistemas de ecuaciones de primer orden - [Detalles]
Revisamos los conceptos de puntos de equilibrio estables, asintóticamente estables e inestables 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
Derivadas implícitas y de orden superior - [Detalles]
Revisión de los conceptos de derivada implícita y de orden superior.
Introducción a las bifurcaciones en sistemas de dos ecuaciones de primer orden - [Detalles]
Damos una breve introducción a las bifurcaciones en sistemas de dos ecuaciones de primer orden.
Diapositivas sobre combinatoria - [Detalles]
Motivamos el estudio del cálculo combinatorio, definimos un número factorial y un número combinatorio, demos unos ejemplos en los cuales para ordenar elementos en un conjuntos importando el orden y no importando el orden donde a los primeros los llamamos permutaciones. Para hacer este tipo de cálculos es muy usual que los alumnos confundan las fórmulas y las ocupen de manera errónea, así que para que el alumno se relacione mejor con las fórmulas se hizo una tabla muy fácil de usar acompañada de varios ejemplos.
La relación de orden en $\mathbb{N}$ - [Detalles]
Definimos el orden en los números naturales y se demuestra primero que es parcial y después que éste es total.
El principio del buen orden - [Detalles]
Probamos la equivalencia entre el principio del buen orden y el principio de indicción así como el conjunto de los naturales satisface ser un conjunto bien ordenado.
Compatibilidad del orden con las operaciones de los naturales - [Detalles]
Proporcionamos una definición de orden equivalente relacionada a la operación suma en el conjunto de los números naturales.
El orden de los enteros - [Detalles]
Definimos el orden en los números enteros y se demuestra primero que es parcial y después que éste es total.
Desigualdades de polinomios - [Detalles]
Desarrollamos herramientas para poder resolver problemas del orden en el anillo de los polinomios y para que valores se cumplen estas relaciones de orden asimismo se da el teorema de la factorización de polinomios reales.
Orden de un elemento - [Detalles]
Se define el orden de un elemento y se dan ejemplos.
Álgebra Moderna I: Teorema de Lagrange - [Detalles]
A continuación, se revisara y demostrará uno de los teoremas mas importantes de la Teoría de Grupos, conocido como el Teorema de Lagrange. El cual nos dice que para un subgrupo H de G, el orden de G es un t veces del orden de H
Todas las gráficas no isomorfas de orden 4 - [Detalles]
En este video presentamos todas las gráficas no isomorfas de orden 4. A partir de esta pequeña familia, introducimos de manera intuitiva conceptos importantes como: la gráfica completa, ciclos, trayectorias, estrellas, gráficas conexas, árboles y gráficas planares. Todos estos conceptos se definirán de manera formal en video subsecuentes.
Definición formal de gráfica conexa - [Detalles]
Definimos formalmente lo que es una gráfica conexa y sus componentes. Probamos dos resultados que confirman dos intuiciones claras: (1) que si en una gráfica de orden n todos los vértices tienen grado "grande" entonces la gráfica es conexa; (2) que si una gráfica de orden n tiene "muchas" aristas entonces la gráfica es conexa. En ambos casos se determina de manera exacta el significado de "muchas", en función de n.
Derivadas parciales de orden superior - [Detalles]
Definimos qué son las derivadas parciales de orden superior para campos escalares. Damos ejemplos y un teorema de conmutatividad.
Valor absoluto y más sobre el orden de los reales - [Detalles]
En este video definiremos la función valor absoluto, reconoceremos algunas de sus propiedades y veremos cómo son los conjuntos solución de ecuaciones y desigualdades que la involucran. Veremos también cómo se comporta el orden de los reales con operaciones como elevar al cuadrado y tomar recíprocos.
Funciones de orden superior, Definiciones - [Detalles]
Funciones de orden superior - Definiciones y explicación previa a la introducción de este tipo de funciones en JAVA mediante sus interfaces funcionales por sus limitantes
Funciones de orden superior, Ejemplo de aplicación - [Detalles]
Ejemplo de aplicación - Breve ejemplo de implementación de funciones-objeto de orden superior.
Definiciónde Grupo - [Detalles]
None
Propiedades de Grupos y Definición débil de grupo - [Detalles]
None
Permutaciones y Grupo Simétrico - [Detalles]
None
COMAL: Topología Algebraica I - [Detalles]
Curso de introducción a la topología algebraica. Comenzamos hablando del grupo fundamental. Luego, estudiamos el teorema de Van Kampen. Continuamos con varios temas de espacios cubrientes. Finalmente hablamos del concepto de homología y varios resultados alrededor de él. Material recopilado en Matemáticas a Distancia con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522.
La homotopía de caminos rel 0,1 es una relación de equivalencia - [Detalles]
En este video se continua preparando el camino para definir el grupo fundamental de un espacio topológico. El objetivo del video es mostrar que la relación de homotopía de caminos rel 0,1 es una relación de equivalencia.
R^2 no es homeomorfo a R^n si n es diferente de 2 - [Detalles]
En este video demostramos que R^2 no es homeomorfo a R^n si n es diferente de 2. Para demostrar esto usamos el cálculo de los grupos fundamentales de las esferas. Este resultado es otro ejemplo de cómo usar nuestros invariantes algebraicos (el grupo fundamental) para resolver problemas en topología.
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.
Subgrupos normalmente generados - [Detalles]
En este video terminamos nuestro pequeño detour por la teoría de grupos. Definiremos el subgrupo normalmente generado por un subconjunto de un grupo G.
Presentaciones de grupos - [Detalles]
En este video definimos lo que es una presentación de un grupo y damos algunos ejemplos.
El teorema de clasificación de cubrientes - parte 3 - [Detalles]
En este video demostramos finalmente el teorema de clasificación de cubrientes. Es decir, establecemos una biyección entre el conjunto de subgrupos del grupo fundamental y clases de isomorfismo de cubrientes.
Transformaciones de cubierta - parte 1 - [Detalles]
En este video definimos el grupo de transformaciones de cubierta, damos algunos ejemplos y definimos cubriente normal.
Homología singular - definición de homología singular - [Detalles]
En este video por fin definiremos la homología singular de un grupo X. Estos objetos (grupos abelianos o R-módulos) serán nuestro principal objeto de estudio en lo que resta de esta lista de reproducción.
Homología singular - la homología y las componentes arco-conexas - [Detalles]
En este video veremos cómo calcular el 0-ésimo grupo de homología singular y su relación con las componentes arco-conexas de nuestro espacio.
Homología singular - el teorema del punto fijo de Brouwer - [Detalles]
Como aplicación del cálculo de la homología de una esfera demostraremos el teorema del punto fijo de Brouwer en dimensiones arbitrarias. La estrategia es idéntica a la que ya usamos para demostrar el teorema de Brouwer en dimensión 2 con el grupo fundamental.
Unicidad del elemento neutro y de inversos - [Detalles]
Se demuestra que en un grupo, el elemento neutro es único, y para cada elemento, su inverso también es único.
Grupos - "Casi grupos" - [Detalles]
Se dan ejemplos de conjuntos con operaciones que "casi" son grupos y se explican las propiedades de grupo que fallan.
Grupos - "Grupos y Cubos" - [Detalles]
Se presentan aplicaciones de grupos a "la vida real", concretamente para estudiar el grupo de rotaciones de un cubo.
Subgrupos cíclicos - Definición y ejemplos - [Detalles]
Se define el concepto de grupo cíclico y se muestran ejemplos.
Subgrupo generado por un subconjunto - parte 1 - [Detalles]
Se define el concepto de subgrupo generado por un subconjunto de un grupo partiendo de que la intersección de subgrupos es un subgrupo.
Conjugación y conjugados - [Detalles]
Se define la relación de conjugación entre elementos de un grupo, y también la conjugación entre subgrupos.
Conjugación como relación de equivalencia - [Detalles]
Se explica la relación de conjugación y se demuestran algunas propiedades, se define el centro de un grupo.
Subgrupos conjugados y normalizadores - [Detalles]
Se define la relación de conjugación entre subgrupos de un grupo y se definen los normalizadores.
Grupo alternante (1) - [Detalles]
Se estudian las propiedades de los grupos alternantes, un lema sobre el índice de los centralizadores.
Grupo alternante (3) - [Detalles]
Se demuestra el teorema principal de la sección: An es simple para todo n>=5. Para ello se prueban lemas preliminares.
Algunos teoremas de representaciones - [Detalles]
Se motiva la necesidad de representar a un grupo como subgrupo de otro más conocido y se muestran algunos teoremas de representación incluido el teorema de Cayley.
Teorema de Cauchy - [Detalles]
Se define la noción de p-grupo y se demuestra el Teorema de Cauchy.
Álgebra Moderna I: Asociatividad Generalizada y Leyes de los Exponentes - [Detalles]
Dentro de las operaciones básicas de un grupo, podemos encontrar la asociatividad. La cual es tratada dentro de esta sección, además de algunas de sus consecuencias inmediatas y un teorema generalizando.
Álgebra Moderna I: Paridad de una permutación - [Detalles]
A partir de la entrada anterior, se puede definir el signo de una permutación. Lo cual guía a introducir la función signo y probar que es multiplicativa. Posteriormente se descubre al Grupo alternante.
Álgebra Moderna I: Cuarto Teorema de Isomorfía - [Detalles]
A partir de ilustraciones con retículas, en esta entrada se introduce al cuarto teorema de Isomorfía. El cual nos encargaremos de demostrar a lo largo de la sección y ejemplificar trabajando sobre el grupo diédrico.
Álgebra Moderna I: Acciones - [Detalles]
Para esta sección, necesitamos tomar el concepto de acción. Hemos estado usando el verbo actuar para referirnos a esta transformación que sucede al operar un a en G y otro elemento, sea del mismo G o de las clases laterales. La realidad es que ya usar actuar da una idea de lo que estamos queriendo decir. Estamos usando un elemento de un grupo para transformar un elemento de otro.
El teorema de clasificación de transformaciones ortogonales - [Detalles]
En esta entrada buscamos entender mejor el grupo de transformaciones ortogonales. El resultado principal que probaremos nos dirá exactamente cómo son todas las posibles transformaciones ortogonales en un espacio euclideano (que podemos pensar que es $\mathbb{R}^n$). Para llegar a este punto, comenzaremos con algunos resultados auxiliares y luego con un lema que nos ayudará a entender a las transformaciones ortogonales en dimensión 2. Aprovecharemos este lema para probar el resultado para cualquier dimensión.
Los grupos de homotopía sí son grupos - [Detalles]
Probamos que pi_n satisface las propiedades de grupo.
Los grupos de homotopía superiores son abelianos - [Detalles]
Probamos que cuando n es mayor a 1 tenemos que pi_n es un grupo abeliano
Grupos de homotopía relativos - [Detalles]
Si tenemos un espacio X y un subespacio A podemos definir un grupo pi_n(X,A,*)
Combinatoria, que fórmula usar - [Detalles]
Definimos fórmulas de conteo, para saber cuántas combinaciones de k elementos de n elementos disponibles, podemos tener. Estas fórmulas de conteo dependen de si importa el orden o no, o si importa que haya repetidos o no.
Ejemplo combinatoria - [Detalles]
Usamos combinatoria para responder: ¿De cuantas maneras se pueden repartir 3 medallas en una carrera de 12 caballos? Damos la fórmula de conteo según importe el orden o no, o si se admiten repeticiones.
Campo de pendientes asociado a una ecuación diferencial de primer orden - [Detalles]
Revisamos cómo asociar un campo de pendientes a una ecuación de la forma dy/dt=f(t,y(t)) mediante varios ejemplos sencillos.
Ecuaciones autónomas, soluciones de equilibrio, línea fase y esbozo de soluciones - [Detalles]
Esbozamos las soluciones a una ecuación de primer orden de la forma dy/dt=f(y), la cual denominamos ecuación autónoma, mediante el uso de sus soluciones de equilibrio y la línea fase asociada a la ecuación.
Ecuaciones lineales no homogéneas de primer orden. Solución por variación de parámetros - [Detalles]
Resolvemos la ecuación diferencial lineal no homogénea por el método de variación de parámetros.
Ecuaciones lineales no homogéneas de primer orden. Solución por variación de parámetros (Ejemplos) - [Detalles]
Resolvemos dos ecuaciones por el método de variación de parámetros, una de ellas la resolvimos por el método de factor integrante en un video anterior, esto para comprobar que los dos métodos llevan a la misma solución.
Ecuaciones no lineales de primer orden separables - [Detalles]
Comenzamos el estudio a las ecuaciones no lineales considerando el caso de las ecuaciones separables
Ecuaciones no lineales de primer orden separables (Ejemplos) - [Detalles]
Resolvemos un par de ecuaciones diferenciales por el método de variables separables
Ecuaciones lineales homogéneas de segundo orden. Conjunto fundamental de soluciones y el Wronskiano - [Detalles]
Definimos al conjunto fundamental de soluciones de una ecuación, y al Wronskiano de dos soluciones. Vemos la relación que guardan estos dos conceptos, y demostramos algunas propiedades que cumplen estos.
Ecuaciones lineales no homogéneas de segundo orden. Coeficientes indeterminados (Parte 1) - [Detalles]
Describimos de manera general el método de coeficientes indeterminados, y revisamos el caso cuando g(t) es un polinomio de grado n. Finalizamos el video con un ejemplo.
Ecuaciones lineales no homogéneas de segundo orden. Coeficientes indeterminados (Parte 2) - [Detalles]
Describimos de manera general el método de coeficientes en el caso cuando g(t) es el producto de un polinomio de grado n por una función exponencial. Finalizamos el video con un ejemplo.
Ecuaciones lineales no homogéneas de segundo orden. Coeficientes indeterminados (Parte 3) - [Detalles]
Describimos de manera general el método de coeficientes en el caso cuando g(t) es el producto de un polinomio de grado n por una función coseno o seno.
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.
Radio de convergencia de series de potencias cerca de un punto ordinario - [Detalles]
Calculamos el radio de convergencia para una solución por serie de potencias cerca de un punto ordinario para una ecuación diferencial de segundo orden con coeficientes variables.
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.
Soluciones por series cerca de un punto singular regular (Parte 1) - [Detalles]
Damos las consideraciones generales que utilizaremos a lo largo del tema, definimos la ecuación indicial de la ecuación diferencial de segundo orden con coeficientes variables, y desarrollamos el método de Frobenius para el caso cuando la ecuación indicial tiene dos raíces distintas que no difieren por un entero
Ecuación de Bessel (Parte 2) - [Detalles]
Encontramos una solución a la ecuación de Bessel de orden uno.
Método de la transformada de Laplace - [Detalles]
Resolvemos el problema de condición inicial de manera general para ecuaciones de segundo orden con coeficientes constantes por el método de la transformada de Laplace.
Propiedades del conjunto de soluciones a un sistema de ecuaciones de primer orden lineales (Parte 1) - [Detalles]
Probamos el principio de superposición de soluciones a un sistema lineal homogéneo. Además, demostramos que el conjunto de soluciones a un sistema lineal homogéneo forma un espacio vectorial con la suma y producto por escalar usuales de matrices.
Propiedades del conjunto de soluciones a un sistema de ecuaciones de primer orden lineales (Parte 2) - [Detalles]
Definimos el Wronskiano de un subconjunto de soluciones a un sistema lineal homogéneo. Además definimos cuándo este subconjunto de soluciones es linealmente dependiente o independiente. Finalmente demostramos un teorema que relaciona estos dos conceptos.
Sistemas de ecuaciones lineales con coeficientes constantes. Método de eliminación de variables - [Detalles]
Resolvemos el sistema lineal (homogéneo y no homogéneo) de dos ecuaciones de primer orden con coeficientes constantes en su forma general por el método de eliminación de variables.
Propiedades de la exponencial de una matriz - [Detalles]
Analizamos las principales propiedades que cumple la exponencial de una matriz cuadrada con coeficientes constantes, además de relacionarla con los problemas de condición inicial para sistemas lineales de primer orden.
Campos de pendientes y su ecuación diferencial asociada - [Detalles]
Estudio de las propiedades gráficas de las soluciones a ecuaciones diferenciales de primer orden
Ecuaciones diferenciales autónomas - [Detalles]
Estudio de las propiedades gráficas de las soluciones a ecuaciones diferenciales de primer orden en las que no aparece explícitamente la variable independiente, mejor conocidas como ecuaciones autónomas
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
Ecuaciones diferenciales homogéneas con coeficientes constantes - [Detalles]
Se estudia un método para resolver ecuaciones diferenciales homogéneas de segundo orden con coeficientes constantes de acuerdo al valor del discriminante de la ecuación auxiliar
Ecuación de Cauchy-Euler - [Detalles]
Se aplican los resultados obtenidos para resolver una ecuación diferencial de segundo orden con coeficientes variables conocida como ecuación de Cauchy-Euler
Sistemas de ecuaciones diferenciales - [Detalles]
Se presenta una introducción a los sistemas de ecauciones diferenciales compuestos por varias ecuaciones diferenciales lineales de primer orden
Método de eliminación de variables - [Detalles]
Se presenta un primer método sencillo para resolver sistemas lineales compuestos de pocas ecuaciones diferenciales lineales de primer orden tanto homogéneas como no homogéneas
Sistemas lineales no homogéneos – Método de variación de parámetros - [Detalles]
Se presenta una generalización del método de variación de parámetros para resolver sistemas de ecuaciones diferenciales lineales de primer orden no homogéneas con coeficientes constantes
Principios de conteo 3 - Combinaciones - [Detalles]
Desarrollamos el concepto de combinaciones. En este caso, al contar las combinaciones, todos aquellos arreglos con los mismos objetos (pero en orden distinto) se consideran indistinguibles. Utilizamos las herramientas de la entrada anterior para encontrar el número de combinaciones.
Teoría cualitativa de los sistemas lineales homogéneos – Valores propios reales y distintos - [Detalles]
Se desarrolla la teoría cualitativa de los sistemas compuestos por dos ecuaciones diferenciales lineales de pimer orden en el caso en el que los valores propios son reales y distintos
Teoría cualitativa de los sistemas lineales homogéneos – Valores propios complejos - [Detalles]
Se desarrolla la teoría cualitativa de los sistemas compuestos por dos ecuaciones diferenciales lineales de pimer orden en el caso en el que los valores propios son complejos
Teoría cualitativa de los sistemas lineales homogéneos – Valores propios repetidos - [Detalles]
Se desarrolla la teoría cualitativa de los sistemas compuestos por dos ecuaciones diferenciales lineales de pimer orden en el caso en el que los valores propios son repetidos
El plano Traza-Determinante - [Detalles]
Toda la teoría desarrollada sobre los sistemas lineales de dos ecuaciones diferenciales de primer orden se resume en el conocido plano Traza-Determinante
El péndulo simple - [Detalles]
Obtenemos una ecuación de segundo orden que modela el movimiento de un péndulo. Posteriormente estudiamos el sistema de ecuaciones asociado y su plano fase.
Las nulclinas y el plano fase - [Detalles]
Definimos las nulclinas de un sistema de ecuaciones de primer orden, y estudiamos los aspectos más importantes que nos ayudarán a esbozar el plano fase de un sistema.
Bifurcaciones en sistemas lineales (Ejemplos) - [Detalles]
Estudiamos algunas familias uniparamétricas de sistemas de ecuaciones de primer orden lineales.
Diapositivas sobre familias de conjuntos - [Detalles]
Hablamos sobre los conjuntos que tienen como elementos conjuntos a los cuales llamamos familias de conjuntos, al igual que lo que hemos ya estudiado de conjuntos a estos también podemos unirlos e intersectarlos entre sí como familia, además de indexarlos (ponerles índices y por ende un orden de conjuntos), Se demuestran unas propiedades y se muestran en estas uniones e intersecciones las leyes de De Morgan.
Cuestionario sobre producto triple de vectores - [Detalles]
Ponemos en práctica el tema del producto triple de vectores en el espacio cartesiano donde se busca una comprensión de como se debe de realizar este cálculo (pues en este si es importante el orden) y el cáclulo sobre este nuevo producto, al resolver el cuestionario lanza la calificación para que el alumno pueda ver que áreas necesita repasar.
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.
Problemas del orden en $\mathbb{N}$ - [Detalles]
Descripción pendiente
Problemas de compatibilidad del orden de los naturales con sus operaciones - [Detalles]
Descripción pendiente
Problemas de orden de los enteros y la inmersión de $\mathbb{N}$ en $\mathbb{Z}$ - [Detalles]
Descripción pendiente
Divisibilidad en los enteros - [Detalles]
Damos la definición de divisibilidad en los enteros. Discutimos algunas propiedades básicas y otras relacionadas con las operaciones y orden.
Factorización completa y unicidad de la factorización - [Detalles]
Definimos lo que es una factorización completa y demostramos que la factorización completa de una permutación es única salvo el orden de los factores.
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.
Álgebra Moderna I: Palabras. - [Detalles]
Se definirá el concepto de palabra en X, ya que estas permiten dar descripción del subgrupo generado. Así mismo, se establecerá el concepto de orden de un producto.
En esta entrada veremos el concepto de conjunto bien ordenado, en dicho conjunto toma mucha importancia el concepto de minimo. También veremos como se relaciona este nuevo concepto con los conceptos de orden que se han visto anteriormente
Isomorfismos de orden - [Detalles]
En esta entrada hablaremos acerca de funciones biyectivas entre conjuntos ordenados, algunas con propiedades particulares a las que llamaremos isomorfismos, tabién veremos algunos resultados sobre isomorfismos.
Buen orden en los naturales - [Detalles]
En esta entrada demostraremos que el conjunto de los números naturales es un conjunto bien ordenado.
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.
Gráficas regulares y secuencias de grado q - [Detalles]
Aquí damos respuesta a las siguientes preguntas ¿Para qué valores de n y r existe una gráfica r-regular de orden n? ¿Qué secuencias de n números enteros no negativos son la secuencia de grados de una gráfica?
Bosques y árboles - [Detalles]
Definimos y exploramos los conceptos de bosque, árbol y hoja. Demostramos que todo árbol de orden n tiene n-1 aristas.
Teoría de Gráficas - Cuestionario 1 - [Detalles]
Antes de contestar este cuestionario se recomienda ver los videos 1, 2 y 3 del curso. Los conceptos que requieres saber son: ¿Qué es una gráfica? ¿Qué significa que dos gráficas sean isomorfas? Orden y Tamaño de una gráfica. Algunas familias especiales: gráfica completa K_n; ciclo C_n; trayectoria P_n; estrella S_n. Conceptos no totalmente formales: Gráfica conexa, árboles, gráficas planares. La gráfica complemento. La gráfica complemento de una gráfica dada. Operaciones: union disjunta; suma de Zykov; quitar un vértice o una arista. Subgráficas, subgráficas inducidas, y subgráficas generadoras.
Cuestionario de los números reales - [Detalles]
Este es un cuestionario para repasar el Módulo 15 del texto "Cimientos Matemáticos" donde se abarcan temas como: postulados de campo, postulados de orden, valor absoluto, etc.
Órdenes parciales y totales - [Detalles]
En esta entrada revisamos los conceptos de orden parcial, total. Así como elementos maximales, minimales, máximos y mínimos.
Complejidad, notación asintótica - [Detalles]
Notación asintótica - Definición y características de la notación asintótica así como categorías de orden.
Correctez en programas recursivos, Correctez de un algoritmo recursivo - [Detalles]
Correctez de un algoritmo recursivo - Cómo realizar el análisis de correctez mediante inducción matemática siguiendo el principio del buen orden.
Funciones de orden superior, Pasar una función como parámetro - [Detalles]
Pasar una función como parámetro - Implementar una interfaz funcional para pasar la función a parámetro. Introducción a las clases anónimas internas y a las LAMBDA
Funciones de orden superior, Regresar una función como resultado - [Detalles]
Regresar una función como resultado - Aplicar métodos para obtener funciones como resultado. Anidar funciones.
Funciones de orden superior, Aplicación para listar directorios con java nio - [Detalles]
Aplicación para listar directorios con java nio - Cómo usar la API de JAVA-nio para listar directorios
Hilos. Sincronización, Vitalidad - [Detalles]
Vitalidad - Cómo crear varios hilos y obtener orden de ejecución.