Repaso de formas bilineales y formas cuadráticas - [Detalles]
en esta entrada daremos un repaso de los conceptos de formas bilineales y formas cuadráticas, y probaremos algunas propiedades que previamente no fueron demostradas. También nos familiarizaremos con algunos tipos especiales de formas bilineales e intentaremos extender las definiciones ya dadas, esta vez para espacios vectoriales cuyo campo sea $\mathbb{C}$
Formas bilineales, propiedades, ejemplos y aclaraciones - [Detalles]
Introducimos el concepto de formas bilineales. Damos ejemplos y hacemos aclaraciones de confusiones comunes. Comenzamos a hablar de formas cuadráticas.
Problemas de transformaciones transpuestas y formas bilineales - [Detalles]
Resolvemos varios problemas de transformaciones transpuestas, de formas bilineales simétricas y de formas cuadráticas asociadas.
Formas lineales y formas bilineales - [Detalles]
Hacemos un repaso de formas lineales y bilineales con el fin de usarlas posteriormente en nuestro estudio de diferenciabilidad.
Formas sesquilineales - [Detalles]
En esta entrada veremos los conceptos de formas sesquilineales y formas hermitianas, ambos conceptos extienden (en algunos sentidos) lo que hemos visto sobre formas bilineales a espacios vectoriales sobre los complejos. Los resultados son casi análogos a los del caso real. Sin embargo, hay algunas diferencias importantes en las que haremos énfasis.
Mini-cuestionario: Formas bilineales - [Detalles]
Mini-cuestionario para verificar el entendimiento de las definiciones básicas de formas bilineales.
Problemas de formas bilineales, cuadráticas y teorema de Gauss - [Detalles]
En esta entrada veremos un par de problemas para seguir repasando formas bilineales y cuadráticas y luego veremos al teorema de Gauss en acción.
Matrices de formas bilineales - [Detalles]
En esta entrada formalizaremos la relación entre formas bilineales y matrices. Veremos cómo se define la matriz asociada a una forma bilineal y cómo podemos traducir operaciones con la forma bilineal en operaciones con su matriz asociada.
Matrices positivas y congruencia de matrices - [Detalles]
En esta entrada veremos como se relacionan las ideas de matrices asociadas a formas bilineales con el producto interior y espacio euclideano, así como sus análogos complejos. Extenderemos nuestras nociones de positivo y positivo definido al mundo de las matrices. Además, veremos que estas nociones son invariantes bajo una relación de equivalencia que surge muy naturalmente de los cambios de matriz para formas bilineales (y sesquilineales).
Problemas de formas cuadráticas y producto interior - [Detalles]
Resolvemos problemas de formas cuadráticas y de producto interior en espacios vectoriales. Estudiamos el núcleo de formas bilineales y cuadráticas.
Formas cuadráticas, propiedades, polarización y teorema de Gauss - [Detalles]
Retomamos las formas bilineales y cuadráticas. Mostramos la identidad de polarización y sus consecuencias. Enunciamos el teorema de clasificación de Gauss.
Ejemplo diferentes formas de la ecuación de la recta - [Detalles]
En este ejemplo vemos como a partir de la ecuación de la recta en forma de punto pendiente, podemos transformarla a las demás formas. Es decir, dada una misma recta, vemos como representarla en sus demás formas.
Formas cuadráticas hermitianas - [Detalles]
El análogo complejo a las formas cuadráticas son las formas cuadráticas hermitianas. En esta entrada las definiremos, enfatizaremos algunas diferencias con el caso real y veremos algunas de sus propiedades. Al final enunciaremos una versión compleja del teorema de Gauss.
Matrices de formas sesquilineales - [Detalles]
En esta entrada daremos una relación entre formas sesquilineales, formas cuadráticas hermitianas y matrices. Daremos la definición y veremos sus propiedades. Gran parte de la relación que había para el caso real se mantiene al pasar a los complejos. Las demostraciones en la mayoría de los casos son análogas, sin embargo, haremos énfasis en las partes que hacen que el caso real y el complejo sean distintos.
Producto interior y desigualdad de Cauchy-Schwarz - [Detalles]
Definimos formas bilineales positivas y positivas definidas. Luego vemos qué es un producto interior y una norma. Probamos la desigualdad de Cauchy-Schwarz
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.
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
Formas cuadráticas - [Detalles]
Hacemos un repaso de lo que son las formas cuadráticas. Vemos la identidad de polarización, el teorema de Gauss y hablamos de positividad.
Forma matricial de una transformación lineal - [Detalles]
Definimos la forma matricial de transformaciones lineales. Vemos que la composición de transformaciones corresponde al producto de sus formas matriciales.
Bases duales, recetas y una matriz invertible - [Detalles]
Probamos que las formas coordenadas de una base son base del espacio dual. Vemos problemas prácticos de bases duales y una relación con matrices invertibles
Determinantes de vectores e independencia lineal - [Detalles]
Definimos determinantes de vectores con respecto a una base. Vemos que los determinantes son las únicas formas n-lineales alternantes y que detectan bases.
Tipos de enunciados - [Detalles]
Definición de enunciados como axiomas, teoremas y sus clasificaciones. También se definen formas proposicionales como la tautología y la contradicción.
Propiedades de la negación, conjunción y disyunción de proposiciones. - [Detalles]
Se da la definición de formas proposicionales equivalentes. Mediante tablas de verdad se demuestran las leyes o propiedades de conmutatividad, asociatividad, distributivita y las Leyes de De Morgan
Logica proposicional - Proposiciones condicionales - [Detalles]
Se estudia el conector condicional. Definimos la implicación contrapositiva y la conversa. Se finaliza con un teorema que demuestra algunas equivalencias entre formas proposicionales.
Lógica Proposicional - Proposiciones Bicondicionales - [Detalles]
Se estudia el conector bicondicional, se muestran ejemplos y se demuestra un teorema con varias equivalencias de formas proposicionales.
Principios de conteo 1 - Suma y Producto - [Detalles]
Desarrollamos los principios de conteo más básicos para calcular el número total de formas distintas de hacer cierta tarea.
Dispositivas sobre las propiedades de la negación, conjunción y disyunción - [Detalles]
Tomando las definicones pasadas de conjunción y disyunción ahora enunciamos una serie de propiedades que tienen, estas propiedades son demostradas desde el punto de vista de equivalencias de formas proposicionales.
Diapositivas sobre proposiciones bicondicionales - [Detalles]
Mostramos otro tipo de condicionales dentro de las proposiciones matemáticas que son las bicondicionales o más conocida como si y solo si o doble implicación, estas condicionales solo son verdaderas si ambas proposiciones lo son, demostramos una serie de propiedades de este tipo de enunciados desde el punto de vista de equivalencias de formas proposicionales.
Diapositivas sobre lugar geométricos de las cónicas - [Detalles]
Formalizamos el concepto de las cónicas definiédolas como lugares geométricos, por lo cual se surge una definición respecto a los puntos que generan a nuestras figuras cónicas siendo una definición más formas y que más adelante nos ayudará a generar las ecuacioens canónicas de cada una de las cónicas, también hablamos sobre los elementos más importante de cada una de ellas.
Mini-cuestionario: Más sobre formas matriciales de transformaciones lineales - [Detalles]
Otro mini-cuestionario para verificar el entendimiento qué es y cómo se obtiene la forma matricial de una transformación lineal.
Mini-cuestionario: Introducción al espacio dual - [Detalles]
Mini-cuestionario para verificar el entendimiento del concepto de formas lineales y de espacio dual.
Mini-cuestionario: Transformaciones multilineales antisimétricas y alternantes - [Detalles]
Mini-cuestionario para verificar el entendimiento de qué son las formas multilineales antisimétricas y alternantes.
Raíces de polinomios de grados 3 y 4 - [Detalles]
Mostramos formas para encontrar las raíces de los polinomios de grado tres, cuatro y hablaremos sobre polinomios con grados más altos; para encontrar las raíces de estos polinomios de grado tres ocupamos el método Cardano y para polinomios de grado cuatro el método de Ferrari.
15. Continuidad en $\mathbb{C}$ - [Detalles]
Abordaremos formalmente el concepto de continuidad en sentido complejo, debemos estar advertidos de que, a pesar de que la definición no diferirá mucho de la de variable real, el comportamiento en los complejos puede cambiar de formas extrañas, analizaremos propiedades y caracterizaciones de funciones complejas continuas.
Algebra Moderna I: Operación binaria - [Detalles]
El objetivo de esta nota es definir el concepto de "operación binaria" dentro del Algebra Moderna. Así mismo, dejar definida la notación del concepto que se adoptará a lo largo de las notas del curso. Y por ultimo se ejemplifican algunas formas de construir este tipo de operaciones.
Álgebra Moderna I: Factorización Completa - [Detalles]
Para este punto, tenemos que notar formas diferentes de expresar una permutación a partir del uso de uno ciclos, lo cual nos lleva a definir una factorización completa de una permutación A, con la cualidad de la unicidad.
En esta nueva sección veremos algunas otras equivalencias del axioma de elección, pero éstas en particular no son tan evidentes e incluso resultan sorprendentes. En muchas ramas de las matemáticas se apela a las formas equivalentes del axioma de elección que veremos en esta sección, es por ello que es importante tratarlas.
Geometría elemental - [Detalles]
En este capítulo de Cimientos Matemáticos, exploraremos el mundo de las formas y sus propiedades. Definiremos conceptos como punto, línea y ángulo, y aprenderemos a clasificar y medir ángulos. Estudiaremos las relaciones entre rectas, como paralelismo y perpendicularidad, y descubriremos la mediatriz y la bisectriz de un segmento. Veremos el estudio de los triángulos como clasificarlos. Finalmente, exploraremos el teorema de Pitágoras para triángulos rectángulos.
Formas alternativas para definir un árbol - [Detalles]
Exploramos y probamos varias de las distintas identidades que puede tener un árbol. Es decir, estudiamos propiedades equivalentes a la de ser una gráfica sin ciclos y conexa.
En esta entrada continuaremos recordando algunas propiedades vistas previamente enfocándonos en el teorema de Gauss y su demostración. Esto nos dará una pequeña pista de la relación entre las formas cuadráticas y matrices. Además, con el teorema de Gauss obtendremos un algoritmo para poder escribir cualquier forma cuadrática en una forma estandarizada. Esto nos llevará más adelante a plantear la ley de inercia de Sylvester.
Dualidad y representación de Riesz en espacios euclideanos - [Detalles]
En esta entrada veremos como se relacionan los conceptos de espacio dual y producto interior. Lo primero que haremos es ver cómo conectar la matriz que representa a una forma bilineal con una matriz que envía vectores a formas lineales. Después, veremos una versión particular de un resultado profundo: el teorema de representación de Riesz. Veremos que, en espacios euclideanos, toda forma lineal se puede pensar «como hacer producto interior con algún vector».