Á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.
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.
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.
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.
Grupos simples y Series de grupos - [Detalles]
None
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
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.
Proposiciones 27 a 32 del libro I de los Elementos de Euclides (teoría de las paralelas) - [Detalles]
Aquí el alumno podrá navegar por apartados donde se encuentran las proposiciones 27 a 32 del libro I de los Elementos de Euclides. Estas proposiciones en general son sobre la teoría de las paralelas y demuestran que la suma de los ángulos interiores de un triángulo es igual a dos ángulos rectos. Todas demostradas con ayuda de figuras interactivas.
En este apartado se presenta el algoritmo RSA de cifrado asimétrico, contiene problemas resueltos en los que se cifra y descifra un mensaje, así como las implementaciones del código para hacerlo en Python. Este tema corresponde a la Unidad 3 "Aplicaciones de la teoría de congruencias", del curso de Teoría de los Números I. Incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
En este apartado se introduce a la criptografía con el cifrado Cesar, contiene problemas resueltos en los que se cifra y descifra un mensaje, así como las implementaciones del código para hacerlo en Python. Este tema corresponde a la Unidad 3 "Aplicaciones de la teoría de congruencias", del curso de Teoría de los Números I. Incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
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,*)
Lemas previos al teorema fundamental de los grupos abelianos finitos - [Detalles]
None
Teorema fundamental de los grupos abelianos finitos - [Detalles]
None
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.
Principio de inducción matemática - [Detalles]
En este apartado se abordan los temas de inducción matemática, inducción fuerte y recursividad, con demostraciones de teoremas y proposiciones, junto con definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Algoritmo de la división - [Detalles]
En este apartado se aborda el concepto de divisibilidad y el teorema del algoritmo de la división, con demostraciones, definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Números primos y compuestos - [Detalles]
En este apartado se abordan los conceptos de número primo y número compuesto, con demostraciones, definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para identificar si un número es primo o compuesto y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
El algoritmo de Euclides y el máximo común divisor - [Detalles]
En este apartado se aborda el concepto de máximo común divisor (MCD) y se explora el algoritmo de Euclides, el cual sirve para calcular el mcd, incluyendo la versión extendida del algoritmo y el lema de Bézout. Todo acompañado de demostraciones, definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados, y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Ecuaciones diofantinas lineales - [Detalles]
En este apartado se aborda el tema de ecuaciones diofantinas lineales y se emplea el algoritmo de Euclides para resolverlas, acompañado de demostraciones, definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para resolver dos casos particulares de ecuaciones diofantinas lineales y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Teorema fundamental de la aritmética - [Detalles]
En este apartado se demuestra el teorema fundamental de la aritmética y con esto se definen al mínimo común múltiplo (MCM) y a la descomposición canónica, esto acompañado de demostraciones de lemas, corolarios y otros teoremas, así como de otras definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Número y suma de divisores - [Detalles]
En este apartado se abordan las funciones sigma y tau, las cuales están relacionadas con los divisores de un número entero, esto acompañado de demostraciones de proposiciones y corolarios, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para calcular la suma y el número de divisores de un entero, y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Números perfectos, primos de Mersenne y primos de Fermat - [Detalles]
En este apartado se presentan tres clases de números enteros: los números perfectos, los números primos de Mersenne y los números primos de Fermat, esto acompañado de demostraciones de teoremas y proposiciones, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para verificar si un número pertenece a alguna de las tres clases de números previamente mencionadas, y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Función phi de Euler - [Detalles]
En este apartado se aborda la función phi (o "d") de Euler, la cual calcula el número de primos relativos menores a un número entero n, acompañado de demostraciones de teoremas y proposiciones, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para calcular la función phi de euler, y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Función mu y fórmula de inversión de Möbius - [Detalles]
En este apartado se aborda la función mu (o "W") de Möbius, y la fórmula de inversión de Möbius, acompañado de demostraciones de teoremas y proposiciones, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para calcular la función mu de Möbius y para hacer la inversión de Möbius, y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Recordatorio de clases de equivalencia - [Detalles]
En este apartado se presenta un repaso del tema "clases de equivalencia", que abarca los conceptos de relaciones de equivalencia, particiones y particiones inducidas. Contiene demostraciones de teoremas y proposiciones, definiciones y problemas resueltos. Este es un tema extra correspondiente a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Sistemas completos de residuos - [Detalles]
En este apartado se abordan los temas de sistemas representantes y sistemas completos de residuos, acompañado de demostraciones de teoremas y proposiciones, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para verificar si un conjunto es un sistema completo de residuos con respecto a n, e incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Congruencias y propiedades básicas - [Detalles]
En este apartado se aborda el tema de relación de congruencia con sus propiedades y operaciones, acompañado de demostraciones de teoremas y proposiciones, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados, e incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Teoremas de Euler, de Fermat y de Wilson - [Detalles]
En este apartado se demuestran tres teoremas importantes relacionados con los números primos: el teorema de Euler, el teorema de Fermat y el teorema de Wilson, todo acompañado de demostraciones de lemas, corolarios y otros teoremas, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código en Python donde se implementa el teorema de Euler y el teorema de Wilson, e incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Resolución de congruencias lineales - [Detalles]
En este apartado se aborda el tema de congruencias lineales y su relación con las ecuaciones diofantinas lineales, contiene demostraciones de teoremas y proposiciones, junto con definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para resolver congruencias lineales y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Teorema chino del residuo - [Detalles]
En este apartado se demuestra el teorema chino del residuo, el cual sirve para resolver sistemas de congruencias lineales, todo acompañado de demostraciones de lemas, corolarios y otros teoremas, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código en Python implementando el teorema para resolver sistemas de congruencias lineales e incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Sistemas de congruencias lineales (parte 1) - [Detalles]
En este apartado se aborda el tema de sistemas de congruencias lineales de una variable (en la parte 2 la generalización) cuando los módulos no son necesariamente primos relativos (condición necesaria para el teorema chino del residuo), contiene demostraciones de teoremas y proposiciones, junto con definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para resolver sistemas de congruencias lineales de una variable y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Sistemas de congruencias lineales (parte 2) - [Detalles]
En este apartado se aborda el tema de sistemas de congruencias lineales de 2 o más variables (de una variable en la parte 1) cuando los módulos no son necesariamente primos relativos (condición necesaria para el teorema chino del residuo), contiene demostraciones de teoremas y proposiciones, junto con definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para resolver sistemas de congruencias lineales de n variables y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Introducción a congruencias cuadráticas - [Detalles]
En este apartado se introduce el tema de congruencias cuadráticas cuando el módulo es un número primo o un número compuesto, contiene demostraciones de teoremas y proposiciones, junto con definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para resolver una congruencia cuadrática en módulos primos y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Críticas a la teoría euclidea y sus consecuencias - [Detalles]
Aquí se invita al alumno a reflexionar sobre algunas de las definiciones de Euclides y cómo estas definiciones fueron replanteadas entre otros por David Hilbert.