Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Analisis Combinatorio - Teoria PDF
Analisis Combinatorio - Teoria PDF
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.
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
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
(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
(OQ~PHURGHHQWHURVTXHVHKDOODQHQWUHGRVGDGRV P Q DPERVLQFOXVLYHHVLJXDOD
P Q + 1 SRUORTXH
)LQDOPHQWH
$
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
su producto cartesiano ser tambin vaco. Para contar el nmero de elementos del
producto cartesiano de una coleccin finita de conjuntos finitos se tiene
cardinales. En smbolos:
Q
Q
$ = $
L =1
L L
.
L =1
(MHPSOR3DUDKDOODUHOFDUGLQDOGHOSURGXFWRFDUWHVLDQRGHOHMHPSOR
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
'RQGHODVOHWUDVHOHJLGDVHQXQOXJDUQRSXHGHQHOHJLUVHHQHOVLJXLHQWH3DUDFRORFDU
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 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
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
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
[ = 2 1
L
P
IXHUDLPSDUSRGUtDSRQHUVHFRPR
[ = 2 0 E
L
IDFWRUGLVWLQWRGHXQDSRWHQFLDGHGRVQHFHVDULDPHQWHHVWHIDFWRUKDEUtDGHVHUXQ
LPSDUSRUORTXHVHHVFULELUtDFRPR
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
LPSDUGH $ SRQHPRVXQDFDMDHQWRWDOKDEUiQYHLQWHFDMD6LDKRUDFRJHPRVORV 21
VLHPSUH KDEUi DOJXQD FDMD FRQ PiV GH GRV HOHPHQWRV \ SRU WDQWR KD\ GRV LPSDUHV
M N M M
P
GLVWLQWRVVHFRQFOX\HTXH 2 M
2 P (VWRVLJQLILFDTXH P P \SRGUiVHU P < P
N
M N M N
FRPSDUWHQHOIDFWRULPSDU\XQDGHVXVSRWHQFLDVGHGRVGLYLGHDODRWUD