Anar al contingut

Demostració biyectiva

De L'Enciclopèdia, la wikipedia en valencià
Demostració biyectiva

En combinatòria, una demostració biyectiva és una tècnica de demostració utilisada per a provar que dos conjunts tenen el mateix número d'elements, o que els conjunts de dos classes combinatòries tenen el mateix tamany, per mig de la descripció d'una biyección entre un conjunt i l'atre (és dir, una correspondència d'un a un entre els conjunts). Esta tècnica pot ser útil per a trobar una fòrmula per al número d'elements de certs conjunts, biyectándolos en uns atres més fàcils de contar. Ademés, la naturalea de la biyección en sí mateixa proporciona informació valiosa sobre un o abdós conjunts.

Eixemples

[editar | editar còdic]

Simetria dels coeficients binomiales

[editar | editar còdic]

La simetria dels coeficients binomiales afirma que

(nk)=(nnk).

En atres paraules, que hi ha tantes combinacions de k elements com de nk elements d'entre n.

Demostració biyectiva

[editar | editar còdic]

(nk) és, per definició, el número de subconjunts de k elements d'un conjunt de n. Llavors, tenim que biyectar els següents dos conjunts: els subconjunts de k elements d'un de n i els subconjunts de nk elements d'un de n. Esta biyección és senzilla: és el complementari. Un subconjunt de k elements es pot entendre com una elecció de k elements d'entre els n possibles. Ara, donat un d'estos subconjunts (una elecció) podem definir un subconjunt de nk elements elegint els nk elements que no estaven elegits. Recíprocamente, donada una elecció de nk elements podem definir una atra de k elegint els que no hagen segut elegits. Per tant, tenim una biyección entre els subconjunts de k elements d'un de n i els subconjunts de nk elements d'un de n. Per les propietats de les biyecciones, açò vol dir que abdós conjunts tenen el mateix número d'elements i, per definició, que (nk)=(nnk)

Igualtat de la suma de coeficients binomiales de ranc parell en els de ranc impar

[editar | editar còdic]

Es tracta de la següent relació, vàlida per a n1:

02kn(n2k)=02k+1n(n2k+1)

Demostració biyectiva

[editar | editar còdic]

La primera suma és el número de parts d'un conjunt A (en n elements) en un número parell d'elements. La segona és el número de parts en un número d'elements impar. Fixant un element aA tenim la següent biyección entre parts pares i impars: donada una part, li afegim l'element a si no ho tenia i li'l llevem si ya ho tenia. Aixina, donada una partix parell obtenim una impar i viceversa. Per tant, tenim una biyección entre les parts pares i impartixes, per lo que hi ha el mateix número d'unes que de les atres, lo que és equivalent a l'enunciat.

Atres eixemples

[editar | editar còdic]

A continuació es presenten alguns eixemples clàssics de demostracions biyectivas de l'anàlisis combinatori:

Bibliografia

[editar | editar còdic]
  • Mazur, David E. (2010), Combinatorics / A Guided Tour, The Mathematical Association of America, p. 28. ISBN 978-0-88385-762-5.
  • Loehr, Nicholas A. (2011), Bijective Combinatorics. ISBN 978-1439848845.