Reducción gaussiana para determinar inversas de matrices - [Detalles]
Damos equivalencias útiles de matrices invertibles. Usamos reducción gaussiana para ver si una matriz es invertible y determinar inversas de matrices.
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.
Números primos y sus propiedades - [Detalles]
Damos la definición de que un entero sea primo. Vemos dos equivalencias y propiedades para preparar el teorema fundamental de la aritmética.
Funciones inyectivas - [Detalles]
En esta sección abordaremos el concepto de función inyectiva, notaremos que la función inyectiva será aquella que mande elementos distintos a elementos distintos bajo una función. Veremos varios ejemplos así como equivalencias a ser inyectiva, por ultimo veremos que pasa con la composición de funciones y la inyectividad.
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.
Buenos órdenes para cualquier conjunto - [Detalles]
En esta entrada veremos mas equivalencias del axioma de elección, en particular veremos el teorema del buen orden.
COMAL: Teoría de los Conjuntos - [Detalles]
En este curso en notas tipo blog, comenzamos con una introducción a los axiomas de ZFC y sus consecuencias. A partir de ahí, definimos relaciones, funciones y órdenes. Definimos a los números naturales desde la perspectiva de conjuntos inductivos. Exploramos la definición de equipotencia y finitud, hablando un poco de aritmética cardinal. Terminamos discutiendo el axioma de elección, sus equivalencias y consecuencias. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323.