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 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|
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.
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.
Mínimo Común Múltiplo - [Detalles]
Definimos la noción de mínimo común múltiplo a partir de ideales. Vemos ejemplos, propiedades y algunas relaciones con primos relativos.
Los números naturales - [Detalles]
En este capítulo de Cimientos matemáticos, nos embarcaremos en lo que es la aritmética, explorando los números primos, así como algunas de sus propiedades más importantes. Comenzaremos revisando algunos conceptos básicos, como los números naturales, los múltiplos, el mínimo común múltiplo (MCM) y el máximo común divisor (MCD). Luego, profundizaremos en la noción de divisibilidad, factorización y la clasificación de los números en primos y compuestos.
Teorema de Sylvester - [Detalles]
En esta entrada introduciremos la noción de la signatura de una matriz. A grandes rasgos, esta noción nos dice «qué tan positiva» es una matriz simétrica. Para definir esta noción, lo haremos primero para las matrices diagonales. Luego lo definiremos para todas las matrices simétricas a través del teorema que demostramos la entrada anterior.
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.
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.
Divisibilidad y el teorema fundamental de la aritmética - [Detalles]
Usando el teorema fundamental de la aritmética vemos algunas propiedades sobre los exponentes de la descomposición en primos de un divisor y su dividendo. Esto también nos da otro método para obtener el máximo común divisor y el mínimo común múltiplo en términos de la factorización de primos.
Máximo Común Divisor - [Detalles]
Introducimos el concepto de máximo común divisor a través de ideales. Vemos que es combinación lineal entera y hablamos de primos relativos.
Máximo común divisor de polinomios y algortimo de Euclides - [Detalles]
Definimos lo que es un ideal en los polinomios, proporcionamos un ejemplo y una caracterización de los ideales en los polinomios, al igual que en entradas anteriores tomamos ideas principales de temas que se ocupaban en los enteros pero ahora los adaptamos a los polinomios como lo es el máximo común divisor, el algoritmo de Euclides y demostramos la identidad de Bézout.
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.
Pasar de frase a implicación - [Detalles]
Se muestran ejemplos de cómo traducir una frase común, a una proposición lógica.
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.
Más propiedades de congruencias - [Detalles]
Continuamos viendo propiedades sobre las congruencias. Vemos que si dos enteros expresados productos: "a*x", "a*y", son congruentes modulo "m", es equivalente a que los enteros "x", "y" sean congruentes modulo "m/MCD(a,m)", dándonos una relación entre el módulo y el máximo común divisor. Igualmente vemos algunas propiedades más que surgen de este teorema.
El teorema de derivadas y multiplicidad - [Detalles]
Construimos un método por el cual a través de derivadas podamos determinar la multiplicidad de las raíces de un polinomio esto a través del teorema de multiplicidad y derivadas, también con ayuda de la simplificación de un polinomio para encontrar sus raíces, este método se basa en los conocimientos adquiridos en otra entrada que es calculas el máximo común divisor entre el polinomio y su derivada.
Limites laterales - [Detalles]
En este video se explica la idea de los límites laterales, se hacen algunos ejemplos y se demuestra que cuando los límites laterales coinciden, el límite de la función existe y es igual al valor común de los límites laterales.
Ortogonalidad y transformación transpuesta - [Detalles]
Definimos la noción de transformación transpuesta. Vemos propiedades básicas, su kernel, su imagen y que su matriz es la transpuesta de la original.
La probabilidad geométrica - [Detalles]
Presentamos la probabilidad geométrica, que es un enfoque de la probabilidad con cierta relevancia histórica. Brindamos una construcción con cierta formalidad, pero muy vaga, de la noción de área en R2. Desarrollamos el ejemplo de la aguja de Buffon.
Mini-cuestionario: Matrices invertibles - [Detalles]
Mini-cuestionario para verificar el entendimiento de la noción de matrices invertibles y sus propiedades
Mini-cuestionario: Matrices de bloque - [Detalles]
Mini-cuestionario para verificar el entendimiento de la noción de matriz de bloque y sus propiedades
Mini-cuestionario: Forma escalonada reducida - [Detalles]
Mini-cuestionario para verificar el entendimiento de la noción de que una matriz esté en forma escalonada reducida, y cómo se relaciona con la solución del sistema asociado.
Simetría en el plano cartesiano - [Detalles]
Extendemos la noción de simetría central y axial. Ahora definimos la simetría central y axial para un subconjunto F de puntos en el plano cartesiano, es decir, describimos lo que significa que un subconjunto del plano cartesiano tenga simetría central o axial.
El cubriente universal - parte 1 - [Detalles]
En este video definimos una condición necesaria para que un espacio tenga cubriente universal: la noción de ser semi-localmente simplemente conexo.
Mini-cuestionario: Rango de transformaciones lineales y matrices - [Detalles]
Mini-cuestionario para verificar el entendimiento de la noción de rango para transformaciones lineales y matrices.
La relación entre paridad y signo - [Detalles]
Demostramos que una permutación es par si y sólo si su signo es iguala 1. Equivalentemente, vemos que una permutación es impar si y sólo si su signo es igual a -1. Esto muestra que la noción de paridad y la de signo son equivalentes.
Qué es un grupo. Definición explicada - [Detalles]
Se definen los conceptos básicos para dar con la noción de grupo.
Teorema de Cauchy - [Detalles]
Se define la noción de p-grupo y se demuestra el Teorema de Cauchy.
9. Continuidad en un espacio métrico - [Detalles]
Ahora nos enfocaremos en el concepto de continuidad entre espacios métricos de manera general, una noción muy importante que relaciona las propiedades de la métrica definida, sucesiones y varias cosas mas, con el objetivo de poder dar a conocer un tipo de funciones (las continuas) que serán muy importantes en el estudio del análisis complejo.
Introducción al Cálculo - [Detalles]
Se habla de la historia del cálculo y una noción intuitiva de límite
Á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.
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.
Ortogonalidad en espacios euclideanos - [Detalles]
En esta entrada profundizaremos en el concepto de ortogonalidad de parejas de vectores con respecto a un producto interior y veremos como se relaciona con la noción de que una forma lineal y un vector sean ortogonales. Veremos conceptos como el de conjunto ortogonal y proyección ortogonal.
Adjunta de una transformación lineal - [Detalles]
En esta tercera unidad estudiaremos algunos aspectos geométricos de transformaciones lineales. Para ello, lo primero que haremos será introducir la noción de la adjunta de una transformación lineal. Esto nos permitirá más adelante poder hablar de varias transformaciones especiales: normales, simétricas, antisimétricas, ortogonales.
Transformaciones normales, simétricas y antisimétricas - [Detalles]
A partir de la noción de adjunción es posible definir ciertos tipos especiales de transformaciones lineales: las transformaciones normales, las simétricas y las antisimétricas. En esta entrada veremos dichos conceptos.
El teorema espectral y de descomposición polar complejos - [Detalles]
En esta entrada veremos el análogo al teorema espectral real, pero para el caso complejo. En el caso real el resultado es para transformaciones o matrices simétricas. En el caso complejo eso no funcionará. Primero, tenemos que introducir a las transformaciones hermitianas, que serán las que sí tendrán un teorema espectral. Ya eligiendo la noción correcta, las demostraciones se parecen mucho a las del caso real, así que solamente las esbozaremos y en caso de ser necesario haremos aclaraciones pertinentes para la versión compleja.
Existencia de la forma canónica de Jordan - [Detalles]
Lo que haremos ahora es mostrar una versión análoga de la forma canónica de Jordan para una familia mucho más grande de matrices. De hecho, en cierto sentido tendremos un resultado análogo para todas las matrices. Primero, generalizaremos nuestra noción de bloques de Jordan para contemplar cualquier eigenvalor. Estudiaremos un poco de los bloques de Jordan. Luego, enunciaremos el teorema que esperamos probar. Finalmente, daremos el primer paso hacia su demostración.
Introducción a vectores y matrices con entradas reales - [Detalles]
Damos una introducción muy sencilla a los vectores y matrices con entradas reales. Hablamos de su noción de igualdad y vemos ejemplos.
Introducción a las sucesiones de números reales. - [Detalles]
En este video se introduce la noción de sucesión de números reales como función real cuyo dominio es el conjunto de números naturales. Se explica la notación y se dan pocos ejemplos. Al final se comenta sobre las sucesiones crecientes y acotadas, y cómo se comportan cerca del supremo de su imagen.