Mini-cuestionario: Bases y dimensión de espacios vectoriales - [Detalles]
Mini-cuestionario para verificar el entendimiento de las nociones de bases y dimensión de espacios vectoriales de dimensión finita.
Bases y dimensión de espacios vectoriales - [Detalles]
Definimos espacios vectoriales de dimensión finita. Vemos que es correcto definir dim V como el tamaño de un conjunto generador linealmente independiente.
Ortogonalidad, ecuaciones e hiperplanos - [Detalles]
Definimos hiperplanos en espacios vectoriales arbitrarios. Vemos que en espacios de dimensión finita todo subespacio es intersección de hiperplanos.
Problemas de bases y dimensión de espacios vectoriales - [Detalles]
Problemas resueltos de dimensión de espacios vectoriales. Recordamos y aplicamos repetidamente un truco para mostrar que un conjunto de vectores es base.
El teorema de Borsuk-Ulam en dimensión 2 - [Detalles]
En este video demostramos el teorema de Borsuk-Ulam en dimensión 2.
Homología singular - invarianza de la dimensión - [Detalles]
En este video demostraremos que si dos abiertos de ciertos espacios euclideanos son homeomorfos, entonces los espacios tienen la misma dimensión. Este teorema es muy bonito porque es intuitivo el enunciado, la demostración no es nada trivial, pero con toda la herramienta que hemos desarrollado es posible demostrarlo en términos simples.
El teorema de clasificación de transformaciones ortogonales - [Detalles]
En esta entrada buscamos entender mejor el grupo de transformaciones ortogonales. El resultado principal que probaremos nos dirá exactamente cómo son todas las posibles transformaciones ortogonales en un espacio euclideano (que podemos pensar que es $\mathbb{R}^n$). Para llegar a este punto, comenzaremos con algunos resultados auxiliares y luego con un lema que nos ayudará a entender a las transformaciones ortogonales en dimensión 2. Aprovecharemos este lema para probar el resultado para cualquier dimensión.
Diapositivas sobre determinantes - [Detalles]
Definimos el determinante de una matriz con esta definición mostramos como se calcula para dimensiones de 3 (regla de Sarrus y cofactores) y para dimensiones mayores a 3, para dimensiones menores es muy fácil realizar el cálculo. Enunciamos las propiedades que cumple el determinante y entre estas proposiciones la condición del determinante para mostrar si una matriz es invertible. Finalmente demostramos una proposición sobre unas matrices especiales que son las triangulares y como estas matrices sin importar su dimensión ni si son triangularrs superiores o inferiores su determinante da una fórmula sencilla que es el producto de las entradas de la diagonal.
Diapositivas sobre ecuaciones de planos en el espacio - [Detalles]
Anlizamos los planos que se pueden generar en R^3 (espacio euclídeo) y cómo se pueden identificar mediante asignándoles su ecuación a cada uno, hacer una ecuación en plano comparte características con las ecuaciones de la recta sólo que con una dimensión más, es decir, ambos tienen ecuación general y ecuación paramétrica, para los planos va a ser encesario conocer 3 puntos para poder dar su ecuación (mientras que en la recta sólo requeriamos 2).
El teorema del punto fijo de Brouwer en dimensión 2 - [Detalles]
En este video demostramos el teorema del punto fijo de Brouwer.
El grupo fundamental de la n-esfera - [Detalles]
En este video demostramos que el grupo fundamental de las esferas de dimensión al menos 2 es trivial. Este cálculo nos sigue dando herramientas para desarrollar intuición acerca del grupo fundamental.
El grupo fundamental no detecta células de dimensió mayor que 2 - [Detalles]
En este video demostraremos que el grupo fundamental queda inalterado si adjuntamos o pegamos una célula de dimensión mayor que dos a un espacio.
Homología singular - el teorema del punto fijo de Brouwer - [Detalles]
Como aplicación del cálculo de la homología de una esfera demostraremos el teorema del punto fijo de Brouwer en dimensiones arbitrarias. La estrategia es idéntica a la que ya usamos para demostrar el teorema de Brouwer en dimensión 2 con el grupo fundamental.
Homología singular - campos vectoriales en la esfera - el teorema de la bola peluda - [Detalles]
En este video demostramos que las únicas esferas que tienen campos vectoriales que no se hacen cero en ninguna parte son las de dimensión impar. Esto implica el teorema de la bola peluda, es decir, que todo campo vectorial sobre la esfera tienen un cero.
Homología singular - acciones libres en la esfera - [Detalles]
En este video demostramos el único grupo que puede actuar libremente en una esfera de dimensión par es el grupo cíclico con dos elementos.
Á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.