Conjunto finito

En matemáticas, un conjunto finito es un conjunto que tiene un número finito de elementos. Por ejemplo {2, 4, 6, 8, 10} es un conjunto finito con cinco elementos. La cardinalidad o número de elementos de un conjunto finito es igual a un número natural.

Si un conjunto no es finito, entonces es infinito. Por ejemplo, el conjunto N = {1, 2, 3, ...} de los números naturales es infinito. Todo conjunto finito es un conjunto numerable, puesto que sus elementos pueden contarse, pero la recíproca es falsa: existen conjuntos numerables que no son finitos (como el propio N).

Los conjuntos finitos son particularmente importantes en combinatoria.

Definición

Un conjunto finito A es un conjunto cuyo número de elementos es un número natural. Una manera de expresar esto es que los elementos de A y los elementos del conjunto {1, 2, ..., n} se pueden emparejar uno a uno, sin que sobre ningún elemento en ninguno de los dos conjuntos. En matemáticas esto se expresa como:

Un conjunto finito A es aquel que puede ponerse en correspondencia biunívoca con el conjunto {1, 2, ..., n}, para algún número natural n.

También se dice que A y {1, 2, ..., n} son equipotentes. El número n coincide con el número de elementos de A, y se le denomina su cardinal (o su cardinalidad, su potencia, etc.), y se denota por card(A), |A| o #A. El conjunto vacío ∅ no tiene elementos, |∅| = 0, por lo que también es finito.

En teoría de conjuntos existen varias definiciones alternativas para el concepto de conjunto finito.[n 1]

Other Languages
català: Conjunt finit
کوردیی ناوەندی: کۆمەڵی بەکۆتایی
English: Finite set
Esperanto: Finia aro
euskara: Multzo finitu
français: Ensemble fini
íslenska: Endanlegt mengi
italiano: Insieme finito
日本語: 有限集合
қазақша: Шекті жиын
한국어: 유한 집합
lumbaart: Cungjuunt finii
português: Conjunto finito
srpskohrvatski / српскохрватски: Konačni i beskonačni skupovi
Simple English: Finite set
slovenčina: Konečná množina
slovenščina: Končna množica
Soomaaliga: Urur kooban
українська: Скінченна множина
中文: 有限集合
粵語: 有限集合