Conjuntos inductivos y axioma del infinito - [Detalles]
En esta entrada, hablaremos acerca de los conjuntos inductivos, así como de un nuevo axioma que nos permitirá establecer la existencia de conjuntos con una cantidad infinita de elementos, este axioma será pieza importante pues los axiomas que tenemos hasta ahora no nos permiten probar que la colección de números naturales es un conjunto.
Axioma de elección - [Detalles]
En esta sección abordaremos un axioma relevante no sólo en teoría de conjuntos sino en muchas ramas de las matemáticas. Distintas proposiciones aparentemente sencillas no podrían demostrarse sin su ayuda y algunas de sus consecuencias son tan poderosas que cuesta trabajo aceptarlas. Es por eso que el llamado axioma de elección ha sido controversial desde su formulación a manos de Ernst Zermelo.
Axioma del supremo y sus aplicaciones - [Detalles]
Estudio del concepto de completitud en los números reales, el axioma del supremo y sus consecuencias.
Axioma del par y axioma de unión - [Detalles]
None
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.
Cortaduras de Dedekind - [Detalles]
Revisión del concepto de cortadura de Dedekind y su relación con el Axioma del supremo.
Axioma de conjunto potencia - [Detalles]
None
El axioma de buena fundación - [Detalles]
None
Nota 18. El principio de inducción matemática. - [Detalles]
En esta nota usaremos el quinto axioma de Peano para hacer un tipo de prueba muy usada en matemáticas cuando se quiere constatar que un subconjunto de los números naturales es de hecho igual que los números naturales; vemos varios ejemplos de como usar correctamente el principio de inducción y por último vemos otros dos principios muy importantes de los naturales: el segundo principio de inducción y el principio del buen orden.
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.
Bases para cualquier espacio vectorial - [Detalles]
Lo que haremos en esta última entrada es utilizar el axioma de elección para probar un resultado muy conocido en Álgebra lineal, específicamente, el hecho de que todo espacio vectorial tiene una base
Principio de inducción en los números naturales - [Detalles]
Introducción En esta entrada vamos a hablar de el principio de inducción que se deriva del quinto axioma de Peano. Veremos cómo es que nos ayudará a un nuevo tipo de demostraciones, lo que significa en términos simples y algunos ejemplos de su uso. El efecto dominó Pensemos un poco en cómo funciona la inducción […]
Introduciremos las nociones de cotas superiores e inferiores, y presentaremos el axioma del supremo, finalizando con la demostración de un par de consecuencias de éste.
Principio Arquimediano - Análisis Matemático I - [Detalles]
El Principio Arquimediano. En este video se eununcia y demuestra el Principio Arquimediano, como consecuencia del Axioma del Supremo. Se define la parte entera de un real y se demuestra que los números racionales son densos en los reales.
Funciones, Parte 2 - [Detalles]
En este video se discute exhaustivamente la naturaleza de la raíz cuadrada positiva de números reales no negativos, como función. El énfasis principal es mostrar que todo número real positivo tiene una raíz cuadrada positiva, haciendo uso del axioma del supremo.
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.