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}$
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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 bilineales - [Detalles]
Mini-cuestionario para verificar el entendimiento de las definiciones básicas de formas bilineales.
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
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).
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.
Problemas de sistemas de ecuaciones y forma escalonada reducida - [Detalles]
Ejercicios resueltos de sistemas de ecuaciones lineales consistentes y equivalentes. Ejemplos de matrices en forma escalonada reducida.
Operaciones elementales renglón - [Detalles]
Se definen sistemas de ecuaciones lineales equivalentes, y se da un teorema que demuestra que aplicar operaciones elementales a un sistema, resulta en un sistema equivalente. Finalmente explicamos como al usar operaciones elementales se puede resolver un sistema de ecuaciones lineales.
Variables aleatorias - [Detalles]
Desarrollamos el concepto de variable aleatoria así como definiciones equivalentes a la primer propuesta, asimismo se presentan unos ejemplos básicos de lo que representa una variable aleatoria.
Diapositivas sobre cardinalidad y conjuntos - [Detalles]
Proporcionamos la definición de lo que es la cardinalidad y de lo que es la quivalencia de 2 conjuntos finitos, se anotan una serie de ejemplos respecto a conjuntos finitos equivalentes, también se demuestran una serie de propiedades del tema de cardinalidad en conjuntos finitos.
Diapositivas sobre dependencia e independencia lineal - [Detalles]
Seguimos con el estudio de los espacios vectoriales pero ahora dando una definición que es base en el desarrollo de este tema que son las combinaciones lineales y si un conjunto de vectores con un conjunto linealmente independiente, se proporcionan varias definiciones equivalentes de esta última definición.
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.
Nota 20. Principio del producto, funciones entre conjuntos finitos. - [Detalles]
En esta nota vemos el principio del producto, el cual nos dice que la cardinalidad de el producto cartesiano de dos conjuntos finitos es el producto de sus cardinalidades, también vemos que si tenemos una función entre conjuntos finitos de la misma cardinalidad son equivalentes ser inyectiva, suprayectiva o biyectiva.
En este capítulo de Cimientos Matemáticos, exploraremos el mundo de las fracciones: partes iguales de un todo. Aprenderás a simplificarlas, encontrar equivalentes, sumarlas, restarlas, ordenarlas y compararlas. Incluso como realizar la multiplicación y división de fracciones.
Sistemas de ecuaciones lineales - [Detalles]
Repasamos sistemas de ecuaciones lineales, matrices elementales y matrices equivalentes por filas. Los relacionamos con matrices invertibles.
Propiedades de la negación, conjunción y disyunción - [Detalles]
Revisamos las propiedades de tres conectores: la negación, la disyunción y la conjunción. Hablamos de cuándo son dos proposiciones equivalentes.
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
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
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.
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.
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.
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.
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».