Coordinabilidad, ordinales y cardinales: conceptos matemáticos fundamentales
Coordinabilidad entre Conjuntos
Al contar, establecemos una correspondencia entre cada elemento de un conjunto con otro conjunto (objetos, palabras numéricas, muescas, etc.). La noción de cardinal se formaliza usando conjuntos para ello.
- Definición 1: Coordinabilidad (o Equipolencia). Un conjunto A es coordinable o equipotente a otro conjunto B si existe una correspondencia biyectiva entre ellos. Se denota como A ~ B.
- Definición 2: Conjunto Infinito. Un conjunto A es infinito si existe un subconjunto propio B dentro de A que sea coordinable con A. Es decir, A ~ B.
- Proposición 1: La relación de coordinabilidad es una relación de equivalencia en el conjunto de los conjuntos finitos.
- Proposición 2: Todos los conjuntos coordinables entre sí