Unicidad de la forma canónica de Jordan - [Detalles]
En esta entrada enunciamos la versión para matrices del teorema de la forma canónica de Jordan (totalmente equivalente a la de transformaciones lineales) y nos enfocamos en mostrar la unicidad de la forma canónica de Jordan.
Bases ortonormales y descomposición de Fourier - [Detalles]
Definimos la descomposición de Fourier dada una base ortonormal y vemos su relación con la norma. Aplicamos las ideas a polinomios y funciones periódicas.
Mini-cuestionario: Bases ortonormales y descomposición de Fourier - [Detalles]
Mini-cuestionario para verificar el entendimiento de la descomposición de Fourier y sus aplicaciones.
El teorema de descomposición polar real - [Detalles]
En esta entrada veremos una de las consecuencias de el teorema espectral: el teorema de descomposición polar. Veremos que toda matriz $A$ tendrá una expresión de la forma $A = US$ donde $U$ es una matriz ortogonal y $S$ es una matriz simétrica positiva.
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.
Introducción a forma canónica de Jordan - [Detalles]
En esta última unidad usaremos las herramientas desarrolladas hasta ahora para enunciar y demostrar uno de los teoremas más hermosos y útiles en álgebra lineal: el teorema de la forma canónica de Jordan. A grandes rasgos, lo que nos dice este teorema es que cualquier matriz prácticamente se puede diagonalizar.
Existencia de la forma canónica de Jordan para nilpotentes - [Detalles]
Enunciaremos el teorema de la forma canónica de Jordan para matrices nilpotentes. Este es un teorema de existencia y unicidad. En esta entrada demostraremos la parte de la existencia.
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.
Aplicaciones de la forma canónica de Jordan - [Detalles]
En las entradas anteriores demostramos que cualquier matriz (o transformación lineal) tiene una y sólo una forma canónica de Jordan. Además, explicamos cómo se puede obtener siguiendo un procedimiento específico. Para terminar nuestro curso, platicaremos de algunas de las consecuencias del teorema de Jordan.
Problemas de bases ortogonales, Fourier y proceso de Gram-Schmidt - [Detalles]
Resolvemos varios problemas de bases ortogonales. Hablamos de proyecciones, la descomposición de Fourier y el proceso de Gram-Schmidt.
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.
Triangularizar y descomposición de Schur - [Detalles]
En esta entrada estudiaremos el concepto de triangularizar matrices. Esto simplemente quiere decir encontrar una base respecto a la cual podamos escribir a nuestra matriz como una matriz triangular superior. Como veremos, el concepto de triangularización está íntimamente ligado con los ceros de polinomios.
Aplicaciones de bases ortogonales en espacios euclideanos - [Detalles]
En esta entrada daremos un repaso de bases ortogonales y cómo encontrar estas bases, recordaremos conceptos como la descomposición de Fourier y la desigualdad de Bessel.
El teorema espectral real - [Detalles]
En esta entrada enunciaremos y demostraremos el teorema espectral en el caso real. Una de las cosas que nos dice es que las matrices simétricas reales son diagonalizables. También nos garantiza que la manera en la que se diagonalizan es a través de una matriz ortogonal. Además, gracias al teorema espectral podremos, posteriormente, demostrar el famoso teorema de descomposición polar que nos dice cómo son todas las matrices.
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.
Introducción a espacio dual - [Detalles]
Introducimos el concepto de espacio dual de un espacio vectorial. Hablamos de bases duales, del emparejamiento canónico y de la bidualidad canónica.
Actividad Geogebra elipse - [Detalles]
Mostramos con ayuda del programa geogebra como al cambiar los parámetros de los elementos básicos que consitutyen a la elipse; al mover la posición de los focos cambia la figura de la elpse así como su ecuación canónica, además que nos muestra la propiedad que cumplen los puntos que pertenecen con la propiedad de pertenecer a la elipse.
Guía de estudio sobre cónicas - [Detalles]
Proponemos una lista de ejercicios para poner en práctica los temas principales de este cuarto y último módulo de estudios que es todo lo relacionado a cónicas; ecuación general, ecuación canónica, excentricidad, traslación y rotación de ejes, simetría y parametrización. Hay ejercicios teóricos tanto ejercicios prácticos.
Ecuaciones de la recta - [Detalles]
Vemos las diferentes formas de representar la ecuación de la recta. Las formas de la ecuación de la recta que vemos son: Punto pendiente, ecuación segmentaria o canónica, ecuación general y paramétrica. También mencionamos algunas partes importantes de la ecuación de la recta, como la pendiente y la ordenada al origen.
Unicidad de la forma de Jordan para nilpotentes - [Detalles]
En esta entrada nos enfocaremos en demostrar la unicidad de la forma canónica de Jordan, en este caso será un poco más cómodo trabajar con la forma matricial del teorema.
Ecuaciones de la recta en el plano (GeoGebra) - [Detalles]
Interactivo en GeoGebra relacionado al tema "Ecuaciones de la recta en el plano". A través de ejemplos interactivos se explican las diferentes formas de definir una recta en el plano como lo son las ecuaciones: canónica, general, punto pendiente, paramétrica y la definida por dos puntos.