Escolar Documentos
Profissional Documentos
Cultura Documentos
DeWikipedia,laenciclopedialibre
Loscoeficientesbinomiales,nmeroscombinatoriosocombinacionesnota1sonnmerosestudiadosen
combinatoriaquecorrespondenalnmerodeformasenquesepuedenextraersubconjuntosapartirdeun
conjunto dado. Sin embargo, dependiendo del enfoque que tenga la exposicin, se pueden usar otras
definicionesequivalentes.
ndice
1
2
3
4
5
6
Definicincombinatoria
Definicinalgebraica
Definicinrecursiva
Definicinporinduccinmatemtica
Elteoremadebinomioycoeficientesbinomiales
ElteoremadePascal
6.1 PruebadelteoremadePascal
7 Identidadesqueinvolucrancoeficientesbinomiales
7.1 Identidaddesimetra
7.2 Nmerototaldesubconjuntosposibles
8 Multiconjuntosycombinacionesconrepeticin
9 Vasetambin
10 Notasalpie
11 Referencias
12 Bibliografa
13 Enlacesexternos
Definicincombinatoria
Setieneunconjuntoconseisobjetosdiferentes{A,B,C,D,E,F},de
loscualessedeseaescogerdos(sinimportarelordendeeleccin).
Existen15formasdeefectuartaleleccin:
A,B A,C A,D A,E A,F
B,C B,D B,E B,F
C,D C,E C,F
D,E D,F
E,F
,pueshay10formasde
escoger(enrojo)tresobjetosapartir
deunconjuntoconcincoelementos.
,o
.As,enelejemploanteriorsetieneentoncesqueC(6,2)=15,
puestoquehay15formasdeescoger2objetosapartirdeunconjuntoconseiselementos.
LosnmerosC(n,k)seconocencomocoeficientesbinomiales,peroesfrecuentereferirseaelloscomo
combinacionesdenenk,osimplementenenk.Portanto,laprimeradefinicines:
El coeficiente binomial
es el nmero de
subconjuntosdekelementosescogidosdeunconjunto
connelementos.
Es importante notar que la definicin asume implcitamente que nyk son naturales, y que adems k no
excedean.PodemosdefinirC(n,k)=0sik>n,puestoquenoesposibleescogermselementosquelosque
tiene el conjunto dado (por tanto hay cero formas de hacer la eleccin). Estas precisiones cobrarn
relevanciamsadelantecuandosediscutangeneralizacionesdelconcepto(porejemplo,cuandonoksean
negativosocuandonoseannmerosenteros).
Definicinalgebraica
La definicin no permite calcular el valor de los coeficientes
binomiales, salvo listando los subconjuntos y contndolos. Sin
embargo,existeunafrmulaexplcitaquenosproporcionaelvalor
deC(n,k).
Supongamosqueelconjuntooriginaltienecincoelementos,delos
cualessedebenescogertres.Almomentodeescogerelprimero,se
tienecincoopcionesdisponibles,perounavezfijoelprimero,slo
haycuatroopcionesparaelsegundo,yportantoslotresopciones
para el ltimo (pues no se puede repetir los escogidos en los
primeros dos pasos). De este modo, la seleccin puede hacerse de
543=60formas.
Hay543formasdeescoger
ordenadamentetresobjetosdeun
conjuntoconcinco.
escogen.Portanto,laseleccionesBCE,BEC,CEB,CBE,ECByEBCsontodasequivalentes.Delmismo
modo,laseleccionesABC,ACB,BCA,BAC,CAByCBAsonequivalentes,yasparacualquierternade
letras.
De esta forma, el resultado obtenido (60) no es la cantidad de subconjuntos de 3 elementos de
{A,B,C,D,E},sinoquecadasubconjuntoestcontadoseisveces,porloquelacantidaddesubconjuntoses
realmente60/6=10.
Elargumentopresentadoparaelejemplopuedegeneralizarsedelasiguienteforma.Sisetieneunconjunto
connelementos,deloscualessevanaescogerkdeellos,laeleccin(ordenada)puedehacersede
n(n1)(n2)...(nk+1)
ya que en el primer paso se tienen n opciones, en el segundo se tienen n1, en el tercero n2, y as
sucesivamente,terminandoenelpasokquetendrnk+1opciones.
Ahora,hayquedividirelproductoanteriorentreelnmerodeseleccionesequivalentes.Perosisetienek
objetos,hayk!formasdepermutarlos,esdecir,k!formasdelistarlosendistintoorden.Recordemosquek!
seleekfactorialyesiguala
k!=123...k
Concluimosqueelnmerodesubconjuntosconkelementos,escogidosdeunconjuntoconnelementoses
.
Multiplicandoelnumeradoryeldenominadordelafraccinpor123(nk)
Laexpresinanteriorpuedeescribirsedeformamscompactausandofactoriales,expresinqueesusada
enocasionescomoladefinicinmismadecoeficientebinomial(sobretodoentextoselementalesqueno
explicanelorigencombinatoriodelamisma):
Elcoeficientebinomial
Definicinrecursiva
Hayunafrmularecursivaparaloscoeficientesbinomiales(vaseElteoremadePascal):
conlosvaloresiniciales
Demostracin:
Definicinporinduccinmatemtica
Algunosmatemticosestadefinicinlaconocencomodefinicinrecursiva.1
Sisetieneunconjuntodenelementos,donden0,hayunnicosubconjuntosinelementos(odecero
elementos),queeselconjuntovaco,porloqueelnmerodeestossubconjuntosdeceroelementosquehay
es1,cualquieraquesean.2
1.
Porotrolado,sitenemosunalistadelossubconjuntosdekelementosyacadaunodeellosaadimos,por
turno,cadaunodelosnkelementosdelconjuntoinicialquenoestabanendichosubconjunto,lalistade
subconjuntos resultante contendr todos los subconjuntos de k+1 elementos y adems cada uno de ellos
aparecerrepetidok+1vecesendichalista.
2.
Elteoremadebinomioycoeficientesbinomiales
Finalmente,existeunaterceraformadedefinirloscoeficientesbinomiales,lacualdaorigenasunombre.
Sin embargo, esta definicin obscurece el significado combinatorio de los nmeros, pues la equivalencia
conlasdefinicionesanterioresnoesevidente.
El coeficiente binomial
trmino
es el coeficiente del
obtenidoaldesarrollar
Porejemplo,sidesarrollamos(x+y)5obtenemos:
,
portanto,alser10elcoeficientedexy,concluimosqueC(5,3)=10.
Laafirmacindequeestadefinicinesequivalentealasanteriores
seconocecomoteoremabinomialoteoremadeNewton,quiendio
una prueba de una versin general del resultado. Sin embargo, la
formadecalcularloscoeficienteseraconocidapordiversasculturas
conmuchossiglosdeanticipacin.
Para ilustrar la equivalencia entre esta definicin y la anterior,
consideremos un ejemplo con n=3, k=2. Podemos pensar que los
factoresde(x+y)=(x+y)(x+y)(x+y)estncoloreadosdeazul,rojoy
verderespectivamente.
Desarrollode(x+y)
Porunlado,sesabeque(x+y)=x+3xy+3xy+y,porloqueelcoeficientedexyes3.Porotrolado,al
desarrollarlosfactores,apareceruntrminoxycadavezqueseelijadoscoloresparax(dejandoelcolor
restanteparay).Elnmerodeformasdeescogerdoscoloresentretresposiblesopcionesesprecisamente
C(3,2),comoseestableciconanterioridad.Laconclusinesqueelcoeficientedexyesnecesariamente
C(3,2).
Para el caso general, se puede imaginar que los n factores de (x+y)n han sido coloreados con diferentes
colores, por lo que el coeficiente de xkynk ser igual al nmero de formas de escoger k colores para
asignarlos a la variable x (dejando los nk colores restantes para y). El nmero de formas para escoger k
coloresentrenposiblesopcionesesC(n,k),conloqueseterminalaprueba.
Encontextosmstcnicos,sueleusarseunaformadiferentedeexpresarelteoremadeNewtonmedianteel
usodesumatorios:
El
desarrollo
de
es
Estafrmulasegeneralizaparamsdedossumandosdelasiguientemanera:
,
donde
. Los
coeficientesmultinomialestambintienendefinicincombinatoria.Puestoque noesmsquelasumade
, ,... y , tambin se emplean notaciones en las que , no aparece, como
. Otras
notacionesson
ElteoremadePascal
En 1654, Blaise Pascal entabl correspondencia con Pierre de
Fermat sobre ciertos problemas de probabilidad, correspondencia
que dara origen a su Trait du triangle arithmtique, considerado
uno de los trabajos pioneros en el estudio moderno de la
probabilidad.Enesetrabajo,entreotrascosas,estudialoquehoyse
conoce como tringulo de Pascal que es un arreglo de nmeros
definidoacontinuacin.
Setieneunacuadrcularectangularenlacualseescribeelnmero1
enlascasillasdelbordesuperioryelbordeizquierdo:
1 1 1 1 ...
1
Pgina4delTraitdutriangle
arithmtique,escritoporBlaisePascal
en1654.
1
1
...
Losnmerosdelasdemscasillasseobtienenconlasiguienteregla:encadacasillaseescribelasumade
losvaloresdelasdoscasillascontiguassituadasasuizquierdayenlapartesuperior:
1 1 1 1 1 1 1 ...
1 2 3 4 5 6 7 ...
1 3 6 10 15 21 28 ...
1 4 10 20 35 56 84 ...
... ... ... ... ... ... ...
La matriz es simtrica, por ello es comn presentar el arreglo en
formatriangular,conlosbordesinclinados,talcomoseilustraenla
figura.Deestaforma,cadanmeroesigualalasumadelosdosque
seencuentranarribadelmismo.
Formacomndeilustrareltringulo
dePascal
Pascalnotqueparacualquierenteron,secumpleque
yaqueslohayunaformadeescogercerootodosloselementosde
un conjunto dado. De esta forma, se pueden reescribir los bordes
como:
C(0,0) C(1,1) C(2,2) C(3,3) ...
C(1,0)
LasentradasdeltringulodePascal
consistendecoeficientesbinomiales.
C(2,0)
C(3,0)
...
Finalmente,Pascalnotquelasdemscasillasdelarreglotambinsoncoeficientesbinomiales:
C(0,0) C(1,1) C(2,2) C(3,3) ...
C(1,0) C(2,1) C(3,2) C(4,3) ...
C(2,0) C(3,1) C(4,2) C(5,3) ...
C(3,0) C(4,1) C(5,2) C(6,3) ...
...
...
...
...
...
Cuandoselistanlasentradasdeformatriangularcomoenlafigura,esposibleenunciaresteresultadocomo
LaafirmacindequelasentradasdeltringulodePascalsonprecisamenteloscoeficientesbinomiales,se
basaenlasiguienteidentidad,conocidaahoracomoidentidaddePascaloteoremadePascal.
BlaisePascal,(1654)
PruebadelteoremadePascal
Si bien puede probarse el teorema de Pascal por medio de
manipulaciones algebraicas de la frmula con factoriales, una
prueba puramente combinatoria es mucho ms sencilla,
proporcionando un ejemplo elegante del enfoque y tcnicas de la
combinatoria.
Comoejemplo,severificarelTeoremadePascalcuandon=5,k=3.
El lado izquierdo de la identidad cuenta el nmero de formas de
escogertreselementos a partir de un conjunto de cinco elementos.
Supongamos ahora que el primer objeto se colorea de rojo y los
demsazules.Alescogerlostresobjetos,haydoscasos:
ElteoremadePascalseprueba
dividiendolaseleccinendoscasos.
Entrelosobjetosescogidosseincluyeelobjetorojo.
Todoslosobjetosescogidossonazules.
Amboscasoscubrenlatotalidaddesubconjuntoscontreselementos,portantosusumadebeseriguala
.
Paracontarelprimercaso,dadoqueelobjetorojotienequeestarincluido,sloesnecesarioescogerdos
objetosentreloscuatroazulesrestantes,locualpuedeefectuarsede
formas.
Enelsegundocaso,puestoqueelobjetorojonohasidoseleccionado,sedebeescogertreselementosentre
loscuatroazules.Elnmerodeformasdehacerestaeleccines
, es igual al nmero de
sumadoalnmerodesubconjuntosincluidosenelsegundocaso,
esdecir:
.
Elcasogeneralseobtienedeformasimilar,marcandounelementoparticular,paraluegodividirelconteo
en dos casos, dependiendo si el elemento marcado est incluido o no. Cuando se incluye el elemento
marcado falta escoger k1 objetos de los n1 no marcados, mientras que cuando no se incluye, hay que
escogerkobjetosdelosn1marcados,concluyendoque
.
Identidadesqueinvolucrancoeficientesbinomiales
Existe una cantidad muy grande de identidades que involucran
coeficientesbinomiales.ElteoremadePascalesunprimerejemplo
de identidad relativa a coeficientes binomiales, a continuacin se
analizarn algunas pocas de las ms conocidas. Son de particular
inters puesto que sus pruebas proporcionan nuevamente ejemplos
derazonamientocombinatorio,elcualnoesusualmentepresentado
al tratar el tema pues por lo general, en los pocos casos en que se
danrazonessobresuorigen,selimitanasimplesmanipulacionesde
ladefinicinalgebraica.
SimetraeneltringulodePascal
Identidaddesimetra
La primera identidad a considerar es una igualdad de simetra o la
propiedaddeStiffelqueestablece
Para
todo
n,
se
cumple:
.
Haylamismacantidaddeformasde
escogertresobjetosypintarlosde
rojo,queformasdeescogerdos
objetosypintarlosdeazul.
Porejemplo,C(12,5)=792=C(12,7).Esunapropiedaddesimetraporqueequivalealaafirmacindeque
eltringulodePascalessimtricorespectoasuejevertical.Escomnremitirsealafrmuladefactoriales
paraverificarsuveracidad.
La interpretacin combinatoria de la identidad de simetra es la afirmacin de que al escoger un
subconjunto automticamente se determina su complemento, por lo que hay la misma cantidad de
subconjuntosconkelementosquesubconjuntosconnkelementos.
Por ejemplo, si se tiene un conjunto con cinco elementos, de los cuales se desea pintar tres de rojo, es
posible hacer la seleccin de C(5,3)=10 formas. Pero cada seleccin automticamente determina dos
objetos que no fueron escogidos. As, hay una correspondencia entre selecciones de tres objetos y
selecciones de dos. La conclusin es que debe haber el mismo nmero de formas de hacer una u otra
seleccin,esdecir:
.
Nmerototaldesubconjuntosposibles
Otraidentidadmuyfamosaserefierealacantidaddesubconjuntos
quepuedetenerunconjuntodado.Estaidentidadestablece
Correspondenciaentresubconjuntosy
sucesioness/no
Porejemplo,sin=5:
Frecuentemente,lademostracindelaidentidadsereduceasustituirx=1,y=1enelteoremadeNewton,
aunquetalpruebaimpideentenderlaideacentraldetrsdelresultado.
Multiconjuntosycombinacionesconrepeticin
Ascomoloscoeficientesbinomialesenumeranformasdetomarsubconjuntosapartirdeunconjutodado,
esposibleplantearelproblemadedeterminarelnmerodeformasdeescogerunmultisubconjuntodeun
conjunto.
Recordemosqueenunmulticonjuntoespermitidorepetirelementosaunque,aligualqueenlosconjuntos,
elordenenquesemencionanesirrelevante.
Porejemplo,{a,e,e,i,o,o,o,u}eselmismomulticonjuntoque{e,i,o,u,a,e,o,o}
Para ilustrar el problema, consideremos el conjunto X={a, b, c, d}. Listemos todos los posibles
multiconjuntosdetreselementosobtenidosdelconjuntoX.Parabrevedad,indicaremoslasletrascomosi
fuesenunapalabra:
aaa aab aac aad abb abc abd acc acd add
bbb bbc bbd bcc bcd bdd ccc ccd cdd ddd
Serecalcaqueelordennoimporta,porestoesquenoselistaporejemplo,acayaqueelmulticonjunto{a,
c,a}eselmismoqueelmulticonjunto{a,a,c}.Estasseleccionesdondesepermiterepeticinperonose
tomaencuentaelordensedenominancombinacionesconrepeticin.
Decuntasmanerassepuederepartir10caramelosacuatronios?
VamosaimaginarquelosnombressonAlonso,Beto,CarlosyDaniel(que
representaremoscomoA,B,C,D).
Unaposibleformaderepartirloscaramelossera:dardoscaramelosaAlonso,
tresaBeto,dosaCarlosytresaDaniel.Dadoquenoimportaelordenenque
sereparten,podemosrepresentarestaseleccincomo
AABBBCCDDD
Otraformaposiblederepartirloscaramelospodraser:daruncarameloa
Alonso,ningunoaBetoyCarlos,losnueverestantesselosdamosaDaniel.Esta
reparticinlarepresentamoscomo
ADDDDDDDDDD
Demanerainversa,cualquierseriede10letrasA,B,C,Dcorrespondeauna
formaderepartirloscaramelos.Porejemplo,laserieAABBBBBDDD
correspondea:
DardoscaramelosaAlonso,cincocaramelosaBeto,ningunoaCarlosy
tresaDaniel.
Deestaforma,porelprincipiodelabiyeccin,elnmerodeformasenquese
puederepartirloscaramelosesigualalnmerodeseriesde10letras(sintomar
encuentaelorden)A,B,C,D.Perocadaunadeellascorrespondeaun
multiconjuntocon10elementos,porloqueconcluimosqueelnmerototalde
formasderepartirloscarameloses
.
Lasolucindelejemploanterioresconceptualmentecorrecta(daelresultadomedianteunainterpretacin
combinatoria)peronoesprcticayaquenoproporcionarealmenteelnmerodeformasenquesepuede
hacerlareparticin.Paraobtenerlafrmulaprocedemosausarlasiguienteestratagema.
Queremosdividir10objetos(loscaramelos)encuatrogrupos.Paraellocolocamos10objetos
en lnea e insertamos tres separadores para dividirlos en cuatro secciones. Por ejemplo, si
representamos los caramelos con asteriscos y los separadores con barras,nota 3 los ejemplos
mencionadosseran:
AABBBCCDDD**/***/**/***
ADDDDDDDDDD*///*********
AABBBBBDDD**/*****//***
Ycualquierdisposicinde10asteriscosseparadosportresbarras(permitiendogruposvacos)
correspondeaunaformaderepartiryasuvez,aunmulticonjunto:
****/***/**/*AAAABBBCCD(cuatrocaramelosparaAlonso,tresparaBeto,dos
paraCarlosyunoparaDaniel)
*****/*****//AAAAABBBBB(cincocaramelosparaAlonsoycincoparaBeto)
Deestaforma,elnmerodeformasderepartircorrespondealnmerodedisposicionesde13
smbolos,deloscuales:10sonasteriscosytresbarras.Peroestoesprecisamenteelnmerode
formas de elegir tres objetos de un conjunto con 13 (de las 13 disposiciones se estn
escogiendo cuales 3 sern barras) y por tanto el resultado (el nmero de ordenamientos) es
formas.
Este argumento se puede aplicar en general: repartir k objetos entre n personas, corresponde a formar
multiconjuntos de tamao k(loskaramelos) escogidos de un conjunto con n (los nios), y a su vez esto
puede enumerarse con una serie de k asteriscos y n1 barras, que puede realizarse de
formas.Quedaestablecidoaselsiguienteteorema.
El nmero
de multiconjuntos con k elementos
escogidosdeunconjuntoconnelementossatisface:
Es igual al nmero de combinaciones con
repeticin de k elementos escogidos de un
conjuntoconnelementos.
Es igual al nmero de formas de repartir k
objetosenngrupos.
Yadems
Vasetambin
TringulodePascal
Factorial
Combinacionesconrepeticin
Permutaciones
Notasalpie
1.Estrictamentehablando,unacombinacineslaseleccindeunsubconjunto,demodoqueuncoeficientebinomial
cuentaelnmerodecombinaciones.Sinembargoescomnusareltrminoparareferirsetambinalacantidadde
stascomo"combinaciones"enexpresionescomo"combinacionesde5en3esiguala10".
2.LaformaC(n,k)seprefierecuandonosedisponedemediospararepresentarndicesonosedisponedesmbolos
matemticos(porejemplo,eneltextodeunemail),sinembargo,laterceraformaeslamscomnenentornos
acadmicosytextossobreeltema
3.Laeleccindeasteriscosybarraspuedesersustituidaporcualquierpardesmbolos,esfrecuenteusartambin0
envezdeasteriscoy1envezdebarras.
Referencias
1.MarkushevichenSucesionesrecurrentesySchneiderenMatemticasdiscretas.
2.Sadosky,ManuelIntroduccinallgebra,Eudeba1963.
3.Ribnikov:Anlisiscombinatorio,1985)
4.Eric W. Weisstein. Multichoose (http://mathworld.wolfram.com/Multichoose.html). Wolfram Mathworld.
Consultadoel15dediciembrede2011.
5.Quinn,BenjaminArthurT.Quinn,JenniferJ.(2003). ProofsthatReallyCount:Theartofcombinatorialproof.
TheMathematicalAssociationofAmerica.pp.7071.ISBN0883853337.
Bibliografa
Quinn, Benjamin Arthur T. Quinn, Jennifer J. (2003). Proofs that Really Count: The art of
combinatorialproof.TheMathematicalAssociationofAmerica.ISBN0883853337.
Graham,RonaldL.Knuth,Donald.EyPatashnik,Oren.(1994).ConcreteMathematics.Addison
Wesley(2aed.edicin).ISBN0201558025.
Grimaldi, Ralph P. (1998). Matemticas Discreta y Combinatoria (5a edicin). Addison Wesley
Longman.ISBN9684443242.
Enlacesexternos
WikimediaCommonsalbergacontenidomultimediasobreCoeficientebinomial.
Weisstein,
Eric
W.
Coeficiente
binomial
(http://mathworld.wolfram.com/BinomialCoefficient.html). En Weisstein, Eric W. MathWorld (en
ingls).WolframResearch.
Obtenidodehttps://es.wikipedia.org/w/index.php?title=Coeficiente_binomial&oldid=90665179
Categoras: lgebra Combinatoriaenumerativa Teoradeconjuntos
Estapginafuemodificadaporltimavezel24abr2016alas15:53.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podran
seraplicablesclusulasadicionales.Alusarestesitio,ustedaceptanuestrostrminosdeusoynuestra
polticadeprivacidad.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimode
lucro.