Resumo Matemtica Finita

Tema 1 Combinatria Enumerativa 1.1 O que contar Correspondncia biunvoca : Uma correspondncia biunvoca entre dois conjuntos e uma relao binria entre e que verifica as duas seguintes condies: 1) [1a] existncia [1b] , = unicidade 2) [2a] existncia y y = [2b] , unicidade Princpio da Correspondncia : Diz-se que dois conjuntos tm a mesma cardinalidade, ou o mesmo nmero de elementos, se existe uma correspondncia biunvoca entre eles. Funo : Uma funo de em uma correspondncia de em que verica as condies [1a] e [1b] , = = = . , ou injectiva sse , = = [2b] sobrejectiva sse = [2a] bijectiva sse = [2a] e [2b] Partio numrica : Uma partio numrica de um nmero natural diferente de zero uma maneira de escrever como soma de nmeros naturais no nulos, sem atender ordem das parcelas. Funo inversa : Se numa correspondncia biunvoca entre dois conjuntos e trocarmos os papis de e , obtemos a correspondncia inversa e temos: = sse = = Proposio : Seja o conjunto de todas as sequncias binrias de comprimento e seja o conjunto de todos os subconjuntos de . Ento: Os conjuntos e 1,2, , tm a mesma cardinalidade : Conjunto dos nm. naturais no nulos que so inferiores a . Assim, = 1,2, , Cardinalidade : Seja um nmero natural. Diz-se que a cardinalidade de um conjunto , e escreve-se # = , se existir uma funo bijectiva entre os conjuntos e . Tambm se diz que tem elementos. Teorema Fundamental das Cardinalidades Finitas : Se e so nmeros naturais diferentes, ento no existem bijeces entre e . Conjunto finito : Um conjunto diz-se finito se existir um nmero natural tal que tenha cardinalidade . = # +# . Proposio : Sejam e conjuntos finitos disjuntos. Ento # # =# +# ++ <=># = #

Proposio : Sejam e conjuntos finitos. Ento # =# # . Proposio : Seja uma funo entre dois conjuntos finitos. Suponhamos que # > # . Ento, para algum , # > . Princpio dos Cacifos : Sejam e conjuntos finitos, o primeiro dos quais de cardinalidade superior ao do segundo. Ento, no existem injeces de para .

Resumo Matemtica Finita

1/10

Joo Marques

Anexo fundacional Lema : Seja uma funo injectiva que no sobrejectiva. Ento, existe uma funo injectiva de para 1 . Teorema : Se e so nmeros naturais tais que < , ento no existem injeces de para . (verso do teorema dos cacifos) Corolrio : Se um conjunto finito e se uma funo injectiva de para , ento uma bijeco. Lema : Sejam e conjuntos finitos no vazios. H uma sobrejeco de para sse h uma injeco de para . Proposio : Sejam e conjuntos finitos no vazios de cardinalidades no nulas e , respectivamente. Ento: 1) H uma injeco de para sse . 2) H uma sobrejeco de para sse . Corolrio : Se um conjunto finito e se uma funo sobrejectiva de para , ento uma bijeco. 1.2 Coeficientes binomiais Proposio : Se tem elementos, ento tem 2 elementos. Princpio da Induo Matemtica : Se uma propriedade verdadeira para 0 e se, sempre que verdadera para tambm verdadeira para + 1, ento verdadeira para todos os nmeros naturais. Coeficiente binomial : Combinaes de , tomadas Lei da simetria : = + = = a . =
! ! !

Binmio de Newton : Lei de Pascal : Se 1 Factorial : ! = Reviso trinomial : Frmula da extraco : Adio paralela :

, ento

Potncia (fact.) decrescente : 1 2 1. = =

; Caso particular: =2 1 1 = + 1 ! +1 + 1 = . Arranjos de , a . !

Adio do ndice superior :

1 1 + +1 = +1 +1
! ! ! , ,

Adio alternada do ndice superior : Convoluo de Vandermonde : + + Coeficiente trinomial : , , Teorema Trinomial : + + + = =

1 =

= 1 +

Coeficiente multinomial :

++ ,,

, , =
!

! ! !

Resumo Matemtica Finita

2/10

Joo Marques

1.4

A tabela dos doze caminhos qualquer 1. 4. + 1 injectiva 2. 5. 6. 1 1 = tem sobrejectiva

# = ; # = elem. de dist. elem. de dist. elem. de indist. elem. de dist.

Problema : Sejam e nmeros naturais positivos. A equao + + + + 1 solues nos nmeros naturais. (truque dos separadores)

Funo (estr.) crescente : Uma funo diz-se estritamente crescente (resp.: crescente) se < (resp.: ), sempre que 1 < . Teorema : Sejam e nmeros naturais. Tem-se: 1) O nmero de funes estritamente crescentes de 2) O nmero de funes crescentes de para para + 1 . .

1.5 O princpio da incluso/excluso Frmula da incluso/excluso : # + # = #

!

#
!

Desarranjo (n subfactorial) : = !

+ + 1

Probabilidade de uma permutao ser um desarranjo :

0,367

1.6 Enumerabilidade Definio (enumervel) : Um conjunto no vazio diz-se enumervel se for possvel list-lo por meio de uma sequencia infinita: , , , , , De um modo mais formal, diz-se que um conjunto no vazio enumervel se for imagem sobrejectiva do conjunto dos nmeros naturais. Por convenincia, diz-se que o conjunto vazio enumervel. 1) O conjunto dos nmeros inteiros enumervel. 2) Todo o conjunto finito , ,, enumervel. (podemos repetir elementos) 3) A unio de dois conjuntos enumerveis ainda um conjunto enumervel. 4) Seja um conjunto enumervel e uma aplicao sobrejectiva, ento um conjunto enumervel. 5) O conjunto de todas as sequncias binrias finitas enumervel. Dado um conjunto , finito e no vazio, denota-se por o conjunto de todas as sequncias finitas de elementos de . Neste contexto, diz-se que um alfabeto e, os seus elementos dizem-se letras (ou os smbolos) e os elementos de dizem-se palavras desse alfabeto. O conjunto das palavras de um alfabeto (finito) enumervel. 6) Se um conjunto enumervel de conjuntos enumerveis, ento a sua unip, representada por , tambm um conjunto enumervel. 7) Se e so conjuntos enumerveis, ento o produto cartesiano enumervel. 8) Se um conjunto enumervel e , entao tambm enumervel.

Resumo Matemtica Finita

3/10

Joo Marques

Definio (numervel) : Um conjunto diz-se numervel se tiver a mesma cardinalidade que (i.e., se existir uma bijeco entre e ). Tambm se diz que tem cardinalidade . Lema : Todo o subconjunto infinito de tem cardinalidade . Proposio : Um conjunto infinito numervel se, e somente se, enumervel. Lema da Diagonalizao : Dada uma qualquer matriz quadrada infinita de zeros e uns cujas entradas esto indexadas por pares de nmeros naturais existe necessriamente uma sequncia binria infinita de , , , , que difere de toda a linha (e de toda a coluna da matriz dada. Teorema de Cantor : O conjunto de todas as sequncias binrias infinitas no enumervel. Nota : Nem todos os infinitos so semelhantes. Num certo sentido, o conjunto de todas as sequncias binrias infinitas tem uma cardinalidade maior que o conjunto dos nmeros naturais. Esta cardinalidade denota-se por ( de contnuo) ou por 2 . Corolrio : O conjunto de todos os nmeros reais no enumervel.

Tema 2 Somas 2.1 A notao Notao : : varivel de indexao do somatrio varivel muda 1 : ndice inferior : ndice superior Requisitos Lgicos : 1) Primeiro Requisito Lgico : A varivel de indexao do somatrio no pode ocorrer, nem na expresso do limite superior, nem na expresso do limit inferior do somatrio. 2) Segundo Requisito Lgico : A varivel de indexao do somatrio pode ser mudada para uma outra qualquer, desde que essa outra seja uma varivel que no ocorra no somatrio. 3) Terceiro Requisito Lgico : No se pode substituir uma varivel livre por uma expresso onde ocorra uma varivel que, aps substituio, fique muda. Notao Generalizada : (formalmente : ) Se no existem indces para os quais verdadeira, temos a soma vazia (=0) 0 Notao de Iverson : = onde = 1 Nmero Harmnico (srie harmnica) : = Nota: =0

2.2 Vinte e trs somas Lei Distributiva : Seja um conjunto finito e, para cada , seja um nmero real. Ento = para qualquer nmero real . Lei Associativa : Seja um conjunto finito e, para cada , sejam e nmeros reais. Ento + = + . Lei Comutativa : Seja um conjunto finito e, para cada , seja um nmero real. Alm disso, seja uma bijeco. Ento = .

Resumo Matemtica Finita

4/10

Joo Marques

Caso particular : = (usar notao de Iverson) Mtodo da expanso-contraco : De maneira informal, neste mtodo vamos: transformar uma soma simples nume dupla expanso efectuamos clculos na soma dupla; eventualmente trocamos somatrios (de acordo com a lei associativa generalizada) transformamos a soma dupla numa soma simples contraco terminamos os clculos Relao de Inverso : Sejam , , , e , , , duas sucesses (infinitas) de nmeros reais e suponhamos que elas esto relacionadas do seguinte modo: = para todo o 0. Ento, podemos concluir que = 1 1

Soma de uma progresso aritmtica : produto do nmeros de parcelas da progresso pela mdia aritmtia entre a primeira e a ltima parcela. Lei da Mudana de Varivel : Sejam e conjuntos finitos e seja uma bijeco. Alm disso, para cada , seja um nmero real. Ento = . Lei da Decomposio : Seja um conjunto finito e suponhamos que = uma unio disjunta de dois subconjuntos e . Alm disso, para cada , seja um nmero = + . real. Ento Mtodo da Perturbao : = <=> + = + Mtodo da Diferenciabilidade : Se = ento = (com alguns ajustes) Lei da Decomposio Generalizada : Seja um conjunto finito e suponhamos que = uma unio disjunta de subconjuntos , , , . Alm disso, para cada , seja um nmero real. Ento = + + + = . Lei Associativa Generalizada (Lei de Fubini) : Sejam = 1,2, , e = 1,2, , e um nmero real. Ento = seja

para todo o 0. Lei Distributiva Generalizada : Sejam e conjuntos finitos e, para cada e cada , sejam e nmeros reais. Ento = . Lei Telescpica : Sejam e dois nmeros naturais tais que < e sejam , ,, . Ento = ou = | Anti-Diferana / Soma Indefinida : Dada uma soma s podemos aplicar a Lei Telescpica se existir uma sucesso , , , tal que = , para . A sucesso chama-se anti-diferena ou soma indefinida da sucesso e escreve-se = . = <=> = Assim : o paralelismo entre diferena e anti-diferena anlogo ao entre derivada e primitiva. Mtodo da Soma por Partes : Sejam , ,, e , ,, duas sucesses de nmeros reais. Ento = e, aplicando somas, obtemos = |

Resumo Matemtica Finita

5/10

Joo Marques

Tabela das Diferenas e Anti-Diferenas Sucesso Diferena 1 0 +1 +2 2 1 2 1 1 1 +1 Anti-Diferena Soma

1 +1 2

+1 2

Tema 3 Recorrncias e Funes Geradoras 3.1 Relaes de Recorrncia Relao de Recorrncia : Dada uma sucesso , , , uma relao recorrncia ou com os termos recuriva, para a sucesso dada, uma frmla que relaciona cada termo que o precedem , , , , : = , , ,, , +1 As condies iniciais para a relao de recorrncia especificam os valores dos termos , , , , para um ndice fixo. Mtodo de diante para trs : Suponhamos que temos a frmula de recorrncia = , , ,, , +1 (*) e que est sujeita a condies iniciais. Na igualdade (*) substituimos por uma expresso do tipo (*) e depois e assim sucessivamente at ao termo , de modo a desaparecerem os termos da sucesso. Este mtodo pressupe alguma adivinhao por da forma geral. Assim a frmula obtida dever ser provada pelo mtodo de induo matemtica. Princpio da Induo Matemtica (Induo Simples) : Se uma propriedade verdadeira para 0 e se, sempre que verdadera para , tambm verdadeira para + 1, ento verdadeira para todos os nmeros naturais. 0 +1 Princpio da Induo Matemtica (Induo Completa) : Se uma propriedade verdadeira para 0 e se, sempre que verdadera para todo o natural , tambm verdadeira para + 1, ento verdadeira para todos os nmeros naturais. 0 0 & 1 && +1

Resumo Matemtica Finita

6/10

Joo Marques

= =1 , = + Frmula de Binet : Para qualquer nmero natural Sucesso de Fibonacci : dado por =

onde =

1, o -simo nmero de Fibonacci

e =

Nota: A frmula de Binet verdadeira pata todo o nmero natural se definirmos

= 0.

Anexo sobre o Princpio da Induo Teorema : O princpio da induo simples implica o princpio da induo completa. Princpio do Mnimo : Seja uma propriedade de nmeros naturais. Se existe um nmero natural tal que , ento existe o menor dos naturais com essa propriedade, i.e., existe um nmero natural tal que e tal que, para nenhum natural < , se tem . Na linguagem simblica: < onde a negao da propriedade . Teorema : O princpio da induo completa implica o princpio do mnimo.

3.2 Recorrncias Lineares de Coeficientes Constantes Uma relao de recorrncia linear, homognea e com coeficientes constantes dada por uma frmula do tipo = + + + (1) , em que um nmero fixo (independente de = e , , , (tambm independentes de ) e por condies iniciais = , = ,, = (2) , onde , ,, so nmeros previamente dados. Uma soluo da relao de recorrncia acima uma sucesso (infinita) de nmeros reais , , , , tal que = , = ,, = e tal que, para todo , = + + + = <=> = Pequena Nota : Princpio da Sobreposio : Sejam e duas solues da mesma frmula de recorrncia linear, homognea com coeficientes constantes : = + + . Ento, para quaisquer nmeros reais ou complexos e , a sucesso + tambm uma soluo da mesma frmula de recorrncia. Nota : O princpio da sobreposio generaliza-se a qualquer combinao linear de um conjunto finito de solues da mesma frmula de RLHCC. Polinmio caracterstico de uma relao de RLHCC : Seja = + + + (1) uma frmula de RLHCC. 1. Seja uma raz (real/compl.) do polinmio = (3) na indeterminada . Ento, a sucesso uma soluo da frmula de recorr. (1). O polinmio (3) diz-se polinmio caracterstico da frmula de recorrncia (1). As razes deste polinmio chamam-se razes caractersticas da frmula de rec. (1). 2. Sejam ,, todas as razes caractersticas da frmula de recorrncia (1) e sejam ,, nmeros reais ou complexos. Ento, a sucesso definida por = + + (4) uma soluo da frmula de recorrncia (1). Polinmio caracterstico: caso das razes simples : Seja (1) uma frmula de RLHCC e seja (3) o seu polinmio caracterstico. Suponhamos que tem exactamente razes (reais ou complexas) distintas , , . Ento, qualquer soluo da frmula de recorrncia (1) tem a forma : = + + , onde , , so num. r. ou compl. Nmeros Complexos (reviso) : Forma algbrica : = + , onde , e = 1 ( : unidade imaginria) Conjugado : = ; = cis

Resumo Matemtica Finita

7/10

Joo Marques

Forma trigonomtrica : = cos + sin Mdulo : = + =| | Argumento : = arctan = arg = cis + ; = cis

= cis

cis

F. de Moivre

4.1.1 Sries formais Produto de convoluo : Por definio, chamamos convoluo das sucesses e sucesso cujo termo geral = = + ++ . Srie formal : Uma srie formal em uma expresso do tipo : = (1) o -simo coeficiente de . onde, para qualquer nmero natural , Igualdade de duas sries formais : = <=> = , satisfaz Se a sucesso = 0, > , ento escrevemos = + ++ e diz-se um polinmio em . = Operaes com sries formais : Sejam = e = duas SFs. Soma : + = + Produto (convoluo) : = Observaes : As operaes de adio e multiplicao de sries formais generalizam as respectivas operaes entre polinmios e satisfazem as leis comutativas, associativas e distributivas. Sries formais invertveis : Uma SF invertvel se existir uma SF tal que =1 = invertvel sse 0 Nota: inversa : = = : Para simplificar a escrita, definimos , , por 1 = , convencionando que = 1. Nota: = 1 ! 0 Teorema da expanso binomial (para expoentes inteiros) : Temos 1+ = , Coeficiente binomial

Funo Geradora : A srie formal = diz-se funo geradora da sucesso porque nos d informao sobre os termos , , , , permitindo manipular algbrica mente a sucesso . Entende-se por forma fechada de uma funo geradora , uma expresso do tipo , com , polinmios em , que represente . , uma expresso do tipo Entende-se por forma aberta de uma funo geradora que represente .

Resumo Matemtica Finita

8/10

Joo Marques

Sinopse de algumas funes geradoras :

, 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 1+ 1 1+ 1 1+ 1 1 1 1 1 =0 =1 =2 = 1, 1, , 1, , , 2 , , ,

1,0,0,0, 0,1,0,0,0, 0,0,1,0,0,0, 0, ,0,1,0,0, 2 ,, , 0,0, , 0,0, , 0,0,

, , 1 2 ,,

1, 1,1, 1,1, 1, 1,1,1,1,

1 12 1 1 1 1

1,2,4,8,16,32 1, , , ,

1,0,1,0,1,0, 1,0, ,0,1,0, ,0,1,0,

1 1 1 1 +1 + + 1 1 + 1 1 +1 1 1, 1,

1,2,3,4,5,6, , , +1 , 2 +1 , 2 +2 , 3 +2 , 3

1 1 1 1+

1 1

1, 2,3, 4,5, 6, 1, , +1 , 2 +2 , 3

1 1+

Resumo Matemtica Finita

9/10

Joo Marques

4.1.2 Aplicaes a recorrncias lineares Teorema das Fraces Parciais (caso das razes simples) : Sejam dados polinmios e (de coeficientes reais ou complexos). Suponhamos que tem grau e suponhamos que existem nmeros complexos , , , no nulos e distintos dois a dois, 1 1 . tais que = 1 Alm disso, suponhamos que tem grau estritamente menor que . Ento existem nmeros complexos , , (eventualmente nulos) tais que Lema : Seja =1+ + + um polinmio de grau (com coeficientes reais ou complexos) e considere-se o polinmio = + + + . Sejam ,, (com 1 ) nmeros complexos, no nulos e distintos dois a dois, tais que = ,, so todas as raizes de tendo multiplicidades ,, (deste modo respectivamente). Ento, = 1 1 1 Teorema das Fraces Parciais (caso geral) : Sejam dados polinmios e (de coeficientes reais ou complexos). Sejam ,, nmeros complexos, no nulos e distintos dois a dois, tais que 1 1 = 1 para alguns naturais , , . Seja = + + + e suponhamos que tem grau estritamente menor que . Ento, existem polinmios (de coeficientes complexos) , ,, (eventualmente nulos) tais que, para 1 , tem grau estritamente menor que e = + + + . = + + + .

Proposio (complemento ao Teorema das Fraces Parciais) : Seja dado um polinmio com grau estritamente menor que (onde um nmero natural) e seja um nmero complexo no nulo. Ento existem nmeros complexos , , tais que = + + + . Teorema Fundamental : Seja dada uma frmula d recorrncis linear, homogna e de coeficientes constantes, e suponhamos que o seu polinmio caracterstico se factoriza da forma = onde , , , so as razes no nulas (reais ou complexas), distintas duas a duas, de . Seja uma soluo desta frmula de recorrncia. Ento, existem polinmios (de coeficientes complexos) , ,, tais que, para 1 , tem grau e estritamente menor do que = + ++ Mtodo das funes geradoras : 1) usamos a relao de recorrncia dada para obter uma equao para a srie formal 2) resolvemos a equao para determinao de uma forma fechada para 3) usamos: decomposio em fraces parciais; teorema da expanso binomial; para encontrar uma frmula para os coeficientes de determinao de uma forma aberta para .

Resumo Matemtica Finita

10/10

Joo Marques