Anlisis Combinatorio

1.1Tcnicas bsicas

Resumen
A lo largo de esta seccin explicaremos algunos principios fundamentales empleados para contar el
nmero de elementos de los conjuntos finitos.

Contar es hallar el nmero de elementos de un conjunto. Para contar establecemos una

correspondencia biyectiva o biyeccin entre los elementos del conjunto y un subconjunto
de los nmeros naturales de la forma
{1,2,3,......, Q}
Esta operacin mental la podemos imaginar as: ponemos en fila los elementos del
conjunto y vamos pasando la vista por los sucesivos elementos. Miramos el primero y
pensamos uno:
{1,...
miramos el siguiente, dos
{1,2,...
miramos el ltimo, cuarenta
{1,2,...,40}
Por cada elemento un nmero y slo uno. El conjunto {1,2,3,....,40} es la idealizacin de
cualquier conjunto con cuarenta elementos.
An ms simple: pensamos cuarenta; 40 es la quinta esencia de todos los conjuntos que
tienen cuarenta elementos; de todos los conjuntos que pueden ponerse en correspondencia
biyectiva con {1,2,3,......,40}.

Definicin 1 (Cardinal). Se llama cardinal de un conjunto finito1 $ al nmero de sus

elementos. Se notar por $ o bien por # $ . Si el conjunto es vaco, su cardinal es cero y

si el conjunto es no vaco su cardinal es un entero positivo.

1
Para el caso de conjuntos infinitos la nocin de cardinal ha de precisarse a travs de unos conceptos ms
precisos y generales.
(MHPSOR(OFRQMXQWR $ = {, , , }HVILQLWR\VXFDUGLQDOHVFXDWUR(QVtPERORV

 $ = 4 

Si el conjunto es pequeo y sin regla de formacin fija, el nico procedimiento viable

para contarlo es hacer una enumeracin de sus elementos. De forma oral la mayora de las
personas lo har tocndose sucesivamente las puntas de los dedos.
Pero en ocasiones, los conjuntos finitos tienen demasiados elementos para poderlos
enumerar exhaustivamente. Entonces, si obedecen a unas reglas de formacin podemos
construir artificios mentales para conocer cuntos son, sin necesidad de hacer una lista
completa. A menudo, son procedimientos ingeniosos que ponen de relieve la estructura del
conjunto mucho mejor que una embarullada relacin de sus elementos.

Definicin 2 (Combinatoria). La combinatoria es el arte de contar sin hacer

enumeraciones; usando la cabeza en lugar de los dedos.

La interseccin de dos conjuntos $ y % es el conjunto $ % , formado por los

elementos comunes a ambos, mientras que su unin $ % es el conjunto de aquellos
elementos que al menos se hallan en uno de los dos conjuntos $ o % . Cuando dos
conjuntos no tienen elementos comunes su interseccin es vaca $ % = y se dice que
son disjuntos. Esta nocin puede extenderse a una coleccin de Q conjuntos. De esta
forma, decimos que los conjuntos $1 , $2 ,...., $Q forman una coleccin disjunta si para cada

pareja $ , $ de conjuntos distintos ( L M ) de la coleccin se tiene que su interseccin es

L M

vaca: $ $ = .
L M

(MHPSOR  /RV FRQMXQWRV $1 = {D, E, F}, $2 = {H, I , J }, $3 = {K, L, M , N } IRUPDQ XQD

FROHFFLyQGLVMXQWDSXHV

 $1 $2 = , $1 $3 = , $2 $3 = 
Teorema 1 (Principio de Adicin). Sea $1 , $2 ,..., $Q una coleccin de Q conjuntos finitos
Q

disjuntos. Su unin U$
L =1
L
tiene por cardinal la suma de los cardinales de los conjuntos de

la coleccin. En smbolos:
Q Q

U$ = $ .
L =1
L

L =1
L

El principio de adicin es muy simple e intuitivo y se puede demostrar por induccin.

Dejamos esta tarea a cargo del lector.

(MHPSOR  &XiQWRV HOHPHQWRV WLHQH HO FRQMXQWR IRUPDGR SRU WRGRV ORV Q~PHURV

HQWHURVTXHVRQPD\RUHVTXH\PHQRUHVTXHRPD\RUHVTXH\PHQRUHVTXH

"

6HDQ ORV FRQMXQWRV $1 = {[ / 1 < [ < 123} \ $2 = {[ / 230 < [ < 451} 6H QRV

SLGH KDOODU HO FDUGLQDO GH VX XQLyQ $1 $2  &RPR QR WLHQHQ HOHPHQWRV FRPXQHV

SRGHPRVDSOLFDUHOSULQFLSLRGHDGLFLyQSDUDFRQFOXLUTXH

 $1 $2 = $1 + $2 

6yORQRVUHVWDKDOODUHOFDUGLQDOGHFDGDXQRGHHOORV2EVHUYDPRVTXH

 $1 = {[ / 1 < [ < 123}= {[ / 2 [ 122}

 $2 = {[ / 230 < [ < 451}= {[ / 231 [ 450}

(OQ~PHURGHHQWHURVTXHVHKDOODQHQWUHGRVGDGRV P Q DPERVLQFOXVLYHHVLJXDOD

P Q + 1 SRUORTXH

 $1 = 122 2 + 1 = 121, $2 = 450 231 + 1 = 220 

)LQDOPHQWH

 $1 $2 = $1 + $2 = 121 + 220 = 341 

Para los conjuntos $ y % se define su producto cartesiano $ % como el conjunto de

pares ordenados formados de manera que el primer elemento del par sea de $ y el
segundo de % . Para una coleccin finita $1 , $2 ,..., $Q se define el producto cartesiano
Q

$
L =1
L
como el conjunto de la Q tuplas2 (D1 , D 2 ,...., D Q ) cuyo L simo elemento es del conjunto

$. L

(MHPSOR  (O SURGXFWR FDUWHVLDQR GH ORV FRQMXQWRV $1 = {0,1} $2 = {D, E} \

$3 = {, ,, }HVHOFRQMXQWRGHODVWHUQDVRUGHQDGDV

 $1 $2 $3 = {(0, D, ), (0, D, ), (0, D,), (0, D, ),......., (1, E, )}

Observemos que si uno de los conjuntos de la coleccin $1 , $2 ,..., $ es vaco, entonces

su producto cartesiano ser tambin vaco. Para contar el nmero de elementos del
producto cartesiano de una coleccin finita de conjuntos finitos se tiene

Teorema 2 (Principio de Multiplicacin). El cardinal del producto cartesiano de una

coleccin finita $1 , $2 ,..., $ de conjuntos finitos no vacos es igual al producto de sus

cardinales. En smbolos:
Q
Q
$ = $
L =1
L L
.
L =1

(MHPSOR3DUDKDOODUHOFDUGLQDOGHOSURGXFWRFDUWHVLDQRGHOHMHPSOR

 $1 $2 $3 = {(0, D, ), (0, D, ), (0, D,), (0, D, ),......., (1, E, )}

EDVWDUiPXOWLSOLFDUORVFDUGLQDOHVGH $1  $2 \ $3 

 $1 $2 $3 = $1 $2 $3 = 2 2 4 = 16 

(MHPSOR  &XiQWDV SDODEUDV GLVWLQWDV WHQJDQ R QR VHQWLGR VH SXHGHQ IRUPDU FRQ

ODV OHWUDV $(0 \ 6 GH PDQHUD TXH WHQJDQ FXDWUR OHWUDV QLQJXQD UHSHWLGD \ OD

SULPHUDVHDXQDYRFDO"

&DGDXQDGHODVSDODEUDVSHGLGDVWLHQHODHVWUXFWXUDVLJXLHQWH

 (YRFDO , OHWUD 2, OHWUD3, OHWUD 4 )

'RQGHODVOHWUDVHOHJLGDVHQXQOXJDUQRSXHGHQHOHJLUVHHQHOVLJXLHQWH3DUDFRORFDU

XQD YRFDO HQHOSULPHUOXJDUWHQHPRVSRVLELOLGDGHV$R(HQHOFRQMXQWR $YRFDO 8QD

Para Q=2 una QWXSOD es un par ordenado, para Q 3 una QWXSOD es una terna ordenada, para Q=3 una QWXSOD es una cuaterna ordenada,
2

etc., etc.
YH]HOHJLGDXQDGHODVGRVQRVTXHGDUiQXQWRWDOGHSRVLELOLGDGHVSDUD OHWUD 2 HQHO

FRQMXQWR $OHWUD 2 XQDYH]HOHJLGD OHWUD 2 QRVTXHGDUiQSRVLELOLGDGHVSDUD OHWUD3 HQHO

FRQMXQWR $OHWUD 3  \ ILQDOPHQWH XQD YH] HOHJLGD OHWUD3  VyOR KD\ XQD SRVLELOLGDG SDUD

OHWUD 4  HQ HO FRQMXQWR $OHWUD 4  (Q UHVXPHQ EXVFDPRV HO Q~PHUR GH HOHPHQWRV GHO

SURGXFWRFDUWHVLDQR $YRFDO $OHWUD 2 $OHWUD 3 $OHWUD 4 TXHVHUi

 $YRFDO $OHWUD 2 $OHWUD 3 $OHWUD 4 = $YRFDO $OHWUD 2 $OHWUD 3 $OHWUD 4 = 2 3 2 1 = 12 

El ltimo principio al que vamos a hacer referencia es el Principio de Distribucin o

principio de Dirichlet. Resulta muy simple pero de una enorme utilidad en muchos campos
de la Matemtica. Este principio se puede resumir de la siguiente forma: si hay muchas
cosas y se meten en pocos cajones, entonces habr bastantes en algn
cajn.

Teorema 3 (Principio de Distribucin). Sean P, Q y S nmeros naturales. Si se

distribuyen QS + P objetos en Q cajas, entonces en alguna caja hay al menos S + 1
objetos.

Demostracin. La haremos por reduccin al absurdo. Si suponemos que cada una de las Q
cajas tiene como mximo un total de S objetos, se tiene que habran como mximo un
total de QS objetos. Esto es absurdo, ya que hemos distribuido ms objetos,
concretamente, QS + P objetos. As pues, en alguna caja habr como mnimo S + 1
objetos. #

(MHPSOR'HPRVWUDUTXHHQ0DGULGKD\PiVGHSHUVRQDVFRQHOPLVPRQ~PHURGH

SHORVHQODFDEH]D

(Q0DGULGKD\PiVGHGHKDELWDQWHV1RKD\QDGLHTXHOOHJXHDWHQHUHQ

VXFDEH]DPiVGHSHORV(VWRVLJQLILFDTXHFDGDPDGULOHxRSXHGHWHQHU

SHORVHQVXFDEH]D6XSRQJDPRVTXHFDGDPDGULOHxRVHPHWH

HQXQDFDMDFRUUHVSRQGLHQWHDOQ~PHURGHSHORVTXHWLHQHHQVXFDEH]D(VGHFLUORV

PDGULOHxRV TXH WHQJDQ  SHORV HQ VX FDEH]D VH PHWHQ HQ OD FDMD URWXODGD FRPR 

SHORVORVTXHWLHQHQSHORVHQVXFDEH]DVHPHWHQHQODFDMDURWXODGDFRPR
 SHORV HWF HWF 6L VXSRQHPRV TXH HQ QLQJXQD FDMD VH PHWHQ PiV GH 

PDGULOHxRVWHQGUHPRVTXHKD\FRPRPi[LPR 20 200.000 = 4.000.000 PDGULOHxRV(VWR

HV DEVXUGR \D TXH KHPRV VXSXHVWR TXH WRGRV ORV PDGULOHxRV VH PHWHQ HQ VX FDMD

FRUUHVSRQGLHQWH \ TXH VX Q~PHUR HV VXSHULRU D FXDWUR PLOORQHV 3DUD GHVKDFHU HVWD

FRQWUDGLFFLyQ VyOR FDEH FRQFOXLU TXH HQ DOJXQD FDMD VH KDQ GH PHWHU PiV GH 

PDGULOHxRV \ SRU WDQWR KD\ PiV GH YHLQWH SHUVRQDV HQ 0DGULG FRQ H[DFWDPHQWH HO

PLVPRQ~PHURGHSHORVHQVXFDEH]D

(MHPSOR'DGRHOFRQMXQWRGHQ~PHURVQDWXUDOHV $ = {1,2,...,40}GHPXpVWUHVHTXH

FXDOTXLHUVXEFRQMXQWRGHHOHPHQWRVSRVHHGRVHOHPHQWRVTXHVRQGLYLVLEOHVHQWUH

Vt

(Q SULPHU OXJDU FRPSUREDUHPRV TXH FDGD HOHPHQWR [  GH  VH SXHGH SRQHU HQ OD

IRUPD

 [ = 2 P E 

VLHQGR E XQLPSDU(QHIHFWRVL [L HVXQDSRWHQFLDGHGRVSRGUiSRQHUVHFRPR

 [ = 2 1 
L
P

3RUHMHPSORSDUD [ = 8 HV [ = 2 3 1 6LQRHVXQDSRWHQFLDGHGRVSXHGHVHURXQ

L L

LPSDUFRPR 5 RXQSDUFRQDOJ~QIDFWRUGLVWLQWRGHXQDSRWHQFLDGHGRVFRPR 6 6L

IXHUDLPSDUSRGUtDSRQHUVHFRPR

 [ = 2 0 E 
L

3RUHMHPSORSDUD [ = 23 HV [ = 2 0 23 (QHOFDVRGHTXHIXHUDSDU\WXYLHUDDOJ~Q

L L

IDFWRUGLVWLQWRGHXQDSRWHQFLDGHGRVQHFHVDULDPHQWHHVWHIDFWRUKDEUtDGHVHUXQ

LPSDUSRUORTXHVHHVFULELUtDFRPR

 [ = 2 P E  E LPSDU

3RUHMHPSORSDUD [ = 20 HV [P = 2 2 5 
L

6L WRPDPRV XQ VXEFRQMXQWR % = {[1 , [ 2 ,..., [ 21 } GH $  TXH WHQJD 21  HOHPHQWRV

SRGUHPRVSRQHUORVHQODIRUPD

 [ = 2 E 
L
PL

L
GRQGH L YDUtDHQWUH 1 \ 21 DPERVLQFOXVLYH\FDGDLPSDU E SHUWHQHFHDOFRQMXQWR
L

$ &RPRHQHOFRQMXQWR $ VyORKD\ 20 LPSDUHVHOSULQFLSLRGH'LULFKOHWQRVSHUPLWH

DILUPDUTXHDOPHQRVGRVGHORV E VHUiQLJXDOHV(QHIHFWRLPDJLQHPRVTXHSRUFDGD
L

LPSDUGH $ SRQHPRVXQDFDMDHQWRWDOKDEUiQYHLQWHFDMD6LDKRUDFRJHPRVORV 21

LPSDUHV E \WUDWDPRVGHPHWHUORVHQ ODV FDMDV 'H FXDOTXLHUIRUPD TXH OR KDJDPRV

L

VLHPSUH KDEUi DOJXQD FDMD FRQ PiV GH GRV HOHPHQWRV \ SRU WDQWR KD\ GRV LPSDUHV

LJXDOHV 6XSRQJDPRV TXH VHDQ E = E  (QWRQFHV FRPR [ = 2 E  \ [ N = 2

PN
EN  VRQ
PM

M N M M

P
GLVWLQWRVVHFRQFOX\HTXH 2 M
2 P (VWRVLJQLILFDTXH P P \SRGUiVHU P < P
N

M N M N

RELHQ P < P HQWRGRFDVRXQDSRWHQFLDGHGRVGLYLGLUiDODRWUDFRPRSDVDSRU

N M

HMHPSOR FRQ 2 4  \ 2 5  \ HVWR VLJQLILFD TXH [  GLYLGH D [ N  R [ N  GLYLGH D [  \D TXH

M M

FRPSDUWHQHOIDFWRULPSDU\XQDGHVXVSRWHQFLDVGHGRVGLYLGHDODRWUD