La escencia de las matemáticas es la libertad. G Cantor
En las entrada anterior sobre Conjunto Infinitos describimos los conjunto infinitos numerables e infinitos no numerables y demostramos que al menos el conjunto de los números enteros y el de los racionales son numerablesy el conjunto de los números reales son no numerables y por lo tanto tiene potencia mayor que la de los conjuntos …
Continua leyendo "Teoría de conjuntos 10 – Números transfinitos"
Para que un sistema lógico sea consistente se requiere que se base a una seria de proposiciones primeras que se aceptan sin demostración. Por ejemplo, para el caso de la teoría de conjuntos existen varias teorías axiomáticas, una de ellas , es la Teoria Axiomática ZF. En varias disciplinas puede darse diversos proposiciones equivalentes, en …
Aspectos históricos: El concepto de infinito estuvo en la mente de los matemáticos desde la época de los griegos. El gran filosofo griego Aristóteles (382 AC - 322 AC) consideraba al infinito potencial como potencial y actual El infinito potencial es aquel utilizado para definir magnitudes o procesos que se puede extender tanto como se …
Continua leyendo "Teoría de Conjuntos 9 – Conjuntos infinitos"
Principio de inducción completa: Surge del principio de buena ordenación visto en Cardinales y Ordinales Sea $latex P(n): \mathbb{N} \to \mathbb{N} $ que depende de $ n > o \in \mathbb{N} $ queremos poder demostrar que $latex P(n)$ se cumple para todo n > 0. 1- Si la expresión $latex P(0) $ se verifica. 2- …
Si tenemos un conjunto finito , ¿cómo haríamos para contar la cantidad de elementos que tiene el conjunto? Una forma sería contar uno por uno los elementos hasta completar la totalidad de los mismos. La otra forma sería , dado un conjunto que sabemos la cantidad de elemento que tiene relacionar el primer elemento de …
Continua leyendo "Teoría de conjuntos 8 – Cardinales y ordinales."
En este apartado vamos a estudiar la estructuras definidas por una relación de orden entre conjuntos. Definición: Sea $latex A $ un conjunto y $latex R $ una relación en $latex A $, se dice que $latex R $ es una "relación de orden" en $latex A $ (o un orden en $latex A $ …
Continua leyendo "Teoría de conjuntos 7 – Relación de orden"
Existen varios tipos de relaciones entre conjuntos, en Aplicaciones y Funciones vimos los aspectos generales de la relaciones entre conjuntos. En este post vamos a ver una relación muy importante y que se usa tanto en teoría de conjuntos, álgebra o matemática discreta es la relación de equivalencia. Definición: Sea la relación $latex R $ …
Continua leyendo "Teoría de conjuntos 6 – Relación de equivalencia"
