El anillo de los números enteros - [Detalles]
Hablamos sobre los números enteros y las propiedades que la suma y el producto poseen en los números enteros. El conjunto de los números enteros junto con estas propiedades formal lo que se conoce como un anillo, lo cual se definirá de forma abstracta en un video posterior.
Definición de anillo - [Detalles]
Definimos un anillo, el cual consiste en una tupla (A,+,*), es decir, un conjunto, una suma y un producto. Tal que se cumplan ciertas propiedades (Análogo a los números enteros). Vemos algunos ejemplos y vemos que los números naturales no son un anillo. También damos la definición de dominio entero.
Principio de inducción - [Detalles]
Introducimos el principio de inducción matemática, el cual es un método de demostración para alguna propiedad o proposición P(n), es decir que la propiedad o proposición está relacionada a un número natural. Damos un ejemplo de cómo demostrar usando el principio de inducción, demostrando el caso base y luego el paso inductivo.
Inducción matemática (1) - [Detalles]
Definimos los conjuntos inductivos, y la relación que guarda con el Principio de Inducción Matemática (PIM). También hablamos de cómo usarlo para hacer una demostración por inducción.
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.
Divisibilidad: definición y primeros ejemplos - [Detalles]
Definimos que significa que un entero "b" sea divisible por "a" (donde "a" es distinto de cero). Damos la notación para simbolizar cuando pasa esto, y cuando no pasa (cuando "b" no es divisible por "a"). Mostramos algunos ejemplos y definimos cuando "a" es divisor de "b".
Divisibilidad: propiedades básicas - [Detalles]
Demostramos seis propiedades básicas sobre la divisibilidad.
Divisibilidad algoritmo de la división (versión corregida) - [Detalles]
Mostramos el algoritmo de la división: Un algoritmo mediante el cual podemos obtener el cociente y el residuo de una división, esto también nos sirve para expresar un entero (dividendo) en términos del divisor, cociente y residuo: (dividendo = cociente*divisor + residuo).
Divisibilidad: el máximo común divisor - [Detalles]
Definimos el máximo común divisor (MCD). Primero hacemos la observación de que cada entero tiene un numero finito de divisores, definimos el común divisor, y vemos que el conjunto de divisores de uno o más enteros siempre es finito y podemos obtener un máximo en común (que sea común divisor). Vemos algunos ejemplos y la notación que usaremos para el MCD
El maximo común divisor como combinación lineal entera - [Detalles]
Demostramos un teorema que nos afirma que el máximo común divisor se puede escribir como una combinación lineal de sus dividendos. Hacemos uso de las propiedades de divisibilidad anteriormente vistas y después generalizamos el teorema para el máximo común divisor de un numero arbitrario de enteros.
Propiedades del máximo común divisor - [Detalles]
Demostramos algunas propiedades sobre el máximo común divisor, vemos que puede sacar enteros, y varias propiedades más, las cuales demostramos haciendo uso del teorema de combinación lineal anteriormente visto.
Como calcular el máximo común divisor de dos enteros - [Detalles]
Retomamos el teorema anterior sobre el máximo común divisor y el algoritmo de la división. Haciendo uso de estos dos resultados damos un método para calcular el máximo común divisor de dos enteros.
El algoritmo de Euclides: enunciado y demostración. - [Detalles]
Demostramos el algoritmo de Euclides, es un método o procedimiento que nos ayuda en la búsqueda del Máximo Común Divisor de dos números enteros. Vemos que hace uso del algoritmo de la división repetidamente y que hay una relación entre el residuo y el máximo común divisor.
El mínimo común múltiplo - [Detalles]
Definimos el mínimo común múltiplo de "n" enteros. Primero damos la definición de común múltiplo y el más pequeño es aquel que tomamos como mínimo común múltiplo. Definimos la notación para expresar el mínimo común múltiplo y demostración un teorema sobre el mismo.
El mínimo común múltiplo y el máximo común divisor - [Detalles]
Demostramos un teorema que relaciona el máximo común divisor (MCD) y el mínimo común múltiplo (MCM) de dos enteros "a", "b". El teorema nos dice que MCD(a,b)*MCM(a,b)=|a*b|
Ecuación diofántica lineal en dos variables - [Detalles]
Definimos la ecuación Diofánticas, como ecuaciones algebraicas para las cuales que buscan soluciones enteras. Nos concentramos en las ecuaciones de la forma "a*x+b*y=n", con a,b,n enteros. Mostramos cuando la ecuación tiene solución entera y cuantas soluciones tiene.
Cuáles son todas las soluciones enteras de una ecuación diofántica - [Detalles]
Demostramos que todas las soluciones de una ecuación lineal Diofántica tienen una forma en particular (expresada en términos de una solución particular y del MCD). Por lo que basta con conocer una solución particular para dar todas las posibles soluciones.
Ejemplos de cómo resolver una ecuación diofántica - [Detalles]
Vemos un método para encontrar una solución particular de la ecuación diofántica lineal. En el método hacemos uso del Máximo común divisor y a partir de la solución encontrada podemos generar todas las demás soluciones utilizando las fórmulas del segundo teorema del tema actual.
Resolviendo un problemacon ecuaciones diofánticas - [Detalles]
Resolvemos un problema donde podemos hacer uso de las ecuaciones diofánticas para dar la solución al problema. Describimos como abstraer el problema a una ecuación diofántica, y usando lo anteriormente visto, damos la solución.
Damos la definición formal de un numero primo. Un entero "p>1" se dice que es primo si sus únicos divisores positivos son 1 y el mismo (1 y "p"). Definimos que es un numero compuesto y hablamos sobre algunas curiosidades sobre los números primos.
COMAL: Álgebra Superior II - [Detalles]
Cubrimos el temario oficial de Álgebra Superior II viendo varios videos, ejemplos y presentaciones en el camino. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104721.
COMAL: Álgebra Superior II - [Detalles]
Cubrimos el temario oficial de Álgebra Superior II con un fuerte uso de notas de blog y problemas. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522.