Share to: share facebook share twitter share wa share telegram print page

 

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, 12} es un conjunto finito con seis 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]

Propiedades

La propiedad de un conjunto de ser finito se conserva bajo ciertas condiciones:

  • La unión de dos conjuntos finitos (o una cantidad finita cualquiera de ellos) es finita.
  • La intersección de un conjunto finito con uno o más conjuntos arbitrarios es finita.
  • Todo subconjunto de un conjunto finito es finito a su vez.
  • En particular todo subconjunto de un conjunto finito tiene una cantidad menor o igual de elementos: si SA y |A| = n, entonces |S| < n.
  • El conjunto potencia de un conjunto finito con n elementos es finito, y posee 2n elementos.

Véase también

Conjunto finito, si podemos contar o enumerar sus elementos
Conjunto infinito
Conjunto numerable
Espacio compacto
Conjunto no numerable
Hipótesis del continuo

Referencias

Notas importantes

Bibliografía

  • Cárdenas, Humberto; Lluis, Emilio; Raggi, Francisco; Tomás, Francisco (1973). Álgebra superior. México: Trillas. p. 323. 
Kembali kehalaman sebelumnya


Index: pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve 
Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9