Diferencia entre revisiones de «Conjunto finito»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 190.10.128.113 (disc.) a la última edición de SieBot |
||
| Línea 1: | Línea 1: | ||
Un [[conjunto]] <math>A</math> es un '''conjunto finito''' si existe una [[Función biyectiva|biyección]] entre él y el conjunto {1, 2, 3,..., ''n''}, con ''n'' un [[Propiedades Número natural|número natural]], que representa la [[Número cardinal|cardinalidad]] del conjunto. Es decir, <math>|A|=n</math>. |
Un [[conjunto]] <math>A</math> es un '''conjunto finito''' si existe una [[Función biyectiva|biyección]] entre él y el conjunto {1, 2, 3,..., ''n''}, con ''n'' un [[Propiedades Número natural|número natural]], que representa la [[Número cardinal|cardinalidad]] del conjunto. Es decir, <math>|A|=n</math>. |
||
Si <math>n=0</math>, entonces <math>A</math> es un [[conjunto vacío]]. |
Si <math>n=0</math>, entonces <math>A</math> es un [[conjunto vacío]]. |
||
Revisión del 09:28 17 ago 2010
Un conjunto es un conjunto finito si existe una biyección entre él y el conjunto {1, 2, 3,..., n}, con n un número natural, que representa la cardinalidad del conjunto. Es decir, .
Si , entonces es un conjunto vacío.
Todo conjunto finito es además un conjunto numerable (pero no todo conjunto numerable es finito).