Á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.
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.
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.
Grupos - "Homomorfismos de grupos" - [Detalles]
Se recuerda la definición de homomorfismo de grupos y se presentan algunos ejemplos.
Grupos cíclicos - parte 2 - [Detalles]
Se dan más propiedades de los grupos cíclicos y su relación con la función phi de Euler, se da una caracterización de los grupos cíclicos finitos.
Introducción. Repaso Teoría de Conjuntos (Parte 1) - [Detalles]
Presentación de los problemas que fundamentan el cálculo. Conceptos básicos de teoría de conjuntos.
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
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
Teoría cualitativa de los sistemas lineales homogéneos – Valores propios nulos - [Detalles]
Se concluye el estudio de la teoría cualitativa de los sistemas lineales con el caso en el que los valores propios son nulos
Paseos Eulerianos y el origen de la Teoría de Gráficas - [Detalles]
Es este video definimos multigráfica, paseo Euleriano y multigráfica Euleriana. También hablamos de la historia de los siete puentes de Köninsberg, que se reconoce como el origen dela Teoría de Gráficas y probamos un resultado de Euler, de 1736, que nos da un criterio para determinar si una multigráfica es o no es Euleriana.
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.
Á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
Ejemplos de grupos - [Detalles]
Se explican algunos ejemplos y no-ejemplos de grupos.
Homomorfismos de grupos - [Detalles]
Se da la definición y un par de ejemplos de homomorfismos de grupos.
Producto directo de grupos - [Detalles]
Se da la definición del producto directo de grupos y se demuestran algunas propiedades.
Grupos simétricos (1) - [Detalles]
Se presentan más propiedades de los grupos simétricos, se estudian permutaciones con la misma estructura cíclica y se concluye que las permutaciones conjugadas son precisamente aquellas que tienen la misma estructura cíclica.
Á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.
Definición de grupos de homotopía - [Detalles]
Definimos una operación en los grupos de homotopía y probamos que está bien definida.
Espacios H y grupos H - [Detalles]
Definimos una versión homotópica de los grupos topologícos
Los grupos de homotopía sí son grupos - [Detalles]
Probamos que pi_n satisface las propiedades de grupo.
Functorialidad de los grupos de homotopía - [Detalles]
Vemos que pi_n forma un functor de la categoría de espacios topológicos a la categoría de grupos
Sucesión exacta larga de grupos de homotopía relativos - [Detalles]
Vemos que si tenemos una filtración de espacio A <B <X entonces podemos formar una sucesión exacta larga con los grupos de homotopía relativos de estos espacios. Esta sucesión sirve mucho para hacer calculos.
Problemas de producto de matrices y matrices invertibles - [Detalles]
En esta entrada de blog hablamos resolvemos problermas de cómo multiplicar matrices. También hacemos algunos problemas sobre matrices invertibles para aprovechar la teoría desarrollada anteriormente.
Determinantes en sistemas de ecuaciones lineales y regla de Cramer - [Detalles]
Aplicamos teoría de determinantes en sistemas de ecuaciones. Calculamos el rango a partir de subdeterminantes. Vemos la regla de Cramer y ejemplos.
Repaso Teoría de Conjuntos (Parte 2) - [Detalles]
Presentación de las operaciones de conjuntos.
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
Valores y vectores propios para resolver sistemas lineales - [Detalles]
Se desarrolla la teoría preliminar hacía el método de valores y vectores propios para resolver sistemas lineales homogéneos, así mismo se hace un breve repaso sobre éstos conceptos desde una perspectiva del álgebra lineal
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
Introducción al curso, espacio muestral y σ-álgebras - [Detalles]
Presentamos los conceptos e ideas más fundamentales de la teoría de la probabilidad que desarrollaremos en el curso.
Lenguaje de la teoría de los conjuntos - [Detalles]
None
Área entre curvas - [Detalles]
Se aborda la teoría de área entre curvas y se dan tres ejemplos.
Longitud de curva expresada en forma cartesiana - [Detalles]
Teoría y 3 ejemplos de aplicación de la longitud de curva expresado en forma cartesiana.
Introducción a la teoría cualitativa de las ecuaciones diferenciales - [Detalles]
Para comenzar con la unidad se presenta un ejemplo ilustrativo que permite ganar intuición sobre el desarrollo geométrico y cualitativo de los sistemas de ecuaciones diferenciales
Sistemas autónomos, puntos de equilibrio y su estabilidad - [Detalles]
Se presentan formalmente los conceptos básicos sobre la teoría cualitativa de los sistemas de ecuaciones diferenciales
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
Cuestionario sobre ejemplos bases de espacios vectoriales - [Detalles]
Ponemos en práctica los conocimientos adquiridos respecto a bases y lo que en ello respecta, se pone a prueba la comprensión de la teoría y otro poco la intuición sobre como demostrar que un conjunto cumple con ser base, al resolver el cuestionario lanza la calificación para que el alumno pueda ver que áreas necesita repasar.
Álgebra homológica - naturalidad del homomorfismo de conexión - [Detalles]
En este video demostramos la naturalidad del homomorfismo de conexión. Dicha naturalidad es en el sentido de la teoría de categorías.
Mini-cuestionario: Formas cuadráticas, propiedades, polarización y teorema de Gauss - [Detalles]
Mini-cuestionario para verificar el entendimiento de la teoría básica de formas cuadráticas, sus propiedades y la identidad de polarización
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.
Introducción: ¿Qué son las Ciencias de la Computación?, Modelos Teóricos - [Detalles]
1.4 Modelos teóricos - Uso de modelos teóricos para estudiar los problemas que se van a resolver y sus soluciones. Se aborda el análisis de algoritmos y teoría de la computación.
Construcción de los números naturales - [Detalles]
En esta sección comenzaremos con la construcción rigurosa de los números naturales, es decir, desde la teoría de conjuntos, sin dejar de lado la noción intuitiva que ya tenemos, para ello veremos el concepto de conjunto transitivo.
En esta nueva sección hablaremos acerca del sucesor de un número natural. Este nuevo concepto nos permitirá definir a los conjuntos inductivos e iniciar a descubrir el concepto del infinito desde la perspectiva de la teoría de conjuntos.
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.
Ejercicio Teorema del Sandwich - [Detalles]
¡Sumérgete en una sabrosa rebanada de matemáticas con la inigualable Ley del Sándwich! En este video, nos adentraremos en los ingredientes esenciales de esta fascinante teoría, desplegando paso a paso su demostración. Al igual que un sándwich artesanalmente preparado, esta ley tiene capas y matices que vale la pena explorar en detalle. ¿Podrán dos funciones acotar a una tercera como las rebanadas de pan a un delicioso relleno?
Ejercicio Regla de la Cadena - [Detalles]
En este video, nos sumergimos en ejemplos prácticos y teoría detrás de la técnica esencial de la regla de la Cadena, facilitando la derivación de funciones compuestas.
El grado de un vértice - [Detalles]
En este video se definen la vecindad, el grado de un vértice y el grado promedio de una gráfica. Se prueba el primer teorema en Teoría de Gráficas, a saber, que la suma de todos los grados en una gráfica es el doble del número de aristas. Se definen y estudian también las gráficas regulares y la secuencia de grados de una gráfica.
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.
Teoría de Gráficas - Cuestionario 2 - [Detalles]
Antes de contestar este cuestionario se recomienda ver los videos 4, 5 y 6 del curso. Los conceptos que requieres saber son: Secuencia de grados. Algunas familias especiales: gráfica r-regular; gráfica de lineas; gráfica bipartita. Conceptos no totalmente formales: Operaciones: unión disjunta; suma de Zykov; producto cartesiano de G_1 □ G_2; producto directo de G_1 x G_2.
Conjuntos y elementos - [Detalles]
Estudiamos las primeras nociones de teoría de conjuntos. Vemos qué significa que un elemento pertenezca a otro y cómo describir conjuntos.
Axiomas de los conjuntos. - [Detalles]
En esta entrada hablamos sobre la teoría de conjuntos y sus axiomas.
Intersecciones, uniones y complementos de conjuntos - [Detalles]
En esta entrada revisamos tres operaciones de la teoría de conjuntos: La intersección, la unión y el complemento.
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.
Propiedades de Grupos y Definición débil de grupo - [Detalles]
None
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.
Homomorfismos inducidos - [Detalles]
En este video demostramos que cualquier función entre espacios topológicos induce una homomorfismo entre grupos fundamentales (con puntos bases adecuados).
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.
Homotopias entre funciones - [Detalles]
En este video definimos homotopía entre funciones y homotopías que preservan el punto base. Luego demostramos que las homotopías que preservan el punto base inducen el mismo homomorfismo en grupos fundamentales.
La demostración del teorema de van Kampen - [Detalles]
En este video damos la demostación del teorema de van Kampen. Este teorema es la herramienta computacional más poderosa para calcular grupos fundamentales.
Presentaciones de grupos - [Detalles]
En este video definimos lo que es una presentación de un grupo y damos algunos 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.
El homomorfismo inducido por un cubriente - [Detalles]
En este video demostramos que el homomorfismo inducido en grupos fundamentales por una proyección cubriente es inyectivo. Este resultado es una consecuencia del teorema de levantamiento de homotopías.
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 de un punto - [Detalles]
En este video haremos nuestro primer cálculo explícito de los grupos de homología de un espacio. El espacio en cuestión es el espacio que consiste de un solo punto.
Homología singular - funtorialidad - [Detalles]
En este video mostraremos que funciones continuas entre espacios topológicos inducen funciones de complejos de cadenas singulares y, por lo tanto, funciones entre grupos de homología.
Homología singular - homología realtiva - [Detalles]
En este video definimos los grupos de homología relativa y la sucesión exacta larga de la pareja.
Homología singular - la sucesión exacta de la tercia - [Detalles]
En este video deducimos una sucesión exacta larga que involucra grupos de homología relativas de tres espacios Z contenido en Y y Y contenido en X. Esta sucesión es muy parecida a la sucesión exacta larga de la pareja y se deduce usando el teorema fundamental del álgebra homológica.
Homología celular - definición y equivalencia con homología singular - [Detalles]
En este video definimos la homología celular y vemos que es isomorfa a los grupos de homología singular.
Isomorfismo. Definición y ejemplos - [Detalles]
Se da la definición y un par de ejemplos y no-ejemplos de isomorfismos de grupos.
Grupos - "Subgrupos" - [Detalles]
Se recuerda la definición de subgrupo y se presentan algunos ejemplos.
Grupos - "Construyendo subgrupos" - [Detalles]
Se construyen algunos subgrupos usando resultados y teoremas vistos en videos anteriores.
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.
Recordando a los enteros módulo n - [Detalles]
Se da la primera motivación para definir grupos cociente al recordar la definición de los enteros módulo n.
Kerneles y subgrupos normales - [Detalles]
Se define el kernel de un homomorfismo y se define el concepto de subgrupo normal, se muestra que en grupos abelianos todos los subgrupos son normales.
El primer teorema de isomorfismo - [Detalles]
Se enuncia y demuestra el primer teorema de isomorfismo de grupos.
El segundo teorema de isomorfismo - [Detalles]
Se enuncia y demuestra el segundo teorema de isomorfismo de grupos.
El tercer teorema de isomorfismo - [Detalles]
Se enuncia y demuestra el tercer teorema de isomorfismo de grupos.
Producto directo de grupos - parte 2 - [Detalles]
Se continúa el estudio del producto directo, se enuncia y demuestra el teorema de factorización.
Producto directo de grupos - parte 3 - [Detalles]
Se demuestra que el producto de subgrupos normales es subgrupo normal del producto y que el cociente es isomorfo a un producto de cocientes.
Grupos simétricos (2) - [Detalles]
Continúa el estudio de la estructura cíclica de permutaciones, se demuestra que los subgrupos normales de Sn son precisamente aquellos que "cerrados" bajo estructura cíclica.
Grupo alternante (1) - [Detalles]
Se estudian las propiedades de los grupos alternantes, un lema sobre el índice de los centralizadores.
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: 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.
Álgebra Moderna I: Homomorfismo, Monomorfismo, Epimorfismo, Isomorfismo y Automorfismo - [Detalles]
En esta sección se analizara un tipo de correspondencia que se puede presentar entre dos grupos, lo cual nos llevara a definir el concepto de Homomorfismo. Por tanto, es necesario analizar sus propiedades y comportamientos bajo composición.
Álgebra Moderna I: Primer Teorema de Isomorfía y Diagrama de Retícula - [Detalles]
El teorema principal a estudiar en esta entrada es el primero de los cuatro teoremas de Isomorfía, el cual nos permite entender cómo están relacionados el dominio, el núcleo y la imagen de un homomorfismo de grupos, de forma similar al teorema de la dimensión en Álgebra lineal, que establece la relación entre el dominio, el núcleo y la imagen de una transformación lineal.
Á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
La operación en los groups de homotopía - [Detalles]
Vemos que la operación en los grupos pi_n esta bien definida
La suma en pi_n no depende de la coordenada - [Detalles]
Vemos que hay otra manera de definir la suma en los grupos de homotopía y es equivalente a la operación que ya habíamos visto
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
Clases de homotopía de funciones con domino la n-esfera - [Detalles]
Vemos una manera equivalente de definir los grupos de homotopía
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.
Grupos de homotopía de un espacio H - [Detalles]
En este video vemos que si X es un espacio H entonces la operación en pi_n es la misma que la operación en X visto como espacio H
Acción del grupo fundamental - [Detalles]
Vemos que el grupo pi_1 actúa en los grupos de homotopía superiores
Grupos de homotopía de un producto - [Detalles]
Vemos una fórmula para pi_n(X x Y)
Grupos de homotopía relativos - [Detalles]
Si tenemos un espacio X y un subespacio A podemos definir un grupo pi_n(X,A,*)