CAPTULO 1 PRELIMINARES MATEMATICAS

O estudo da teoria das linguagens formais tem sua origem na lingistica, na lgica e na cincia da computao. Gramticas foram desenvolvidas com o objetivo de prover um mecanismo para se descrever linguagens naturais. Matemticos interessados em algoritmos computacionais, desenharam mquinas abstratas para estudar a capacidade e limitao do processo computacional. Os princpios da definio de linguagens de computao e projeto de compiladores tm os seus fundamentos nesses estudos de lingistica e matemtica. A terminologia e notao de linguagens formais influenciada por cada uma dessas disciplinas. Por causa da necessidade de clareza e preciso, a notao matemtica amplamente usada. Este captulo introduz os conceitos matemticos que sero usados ao longo do curso. 1.1 TEORIA DOS CONJUNTOS Vamos assumir que o estudante est familiarizado com a teoria elementar dos conjuntos. Conceitos como conjunto vazio( ), pertinncia( x X ), subconjunto (Y X), subconjunto prprio( Y subconjunto prprio de X, se _ Y X e Y X ), conjuntos das partes de X ( (X) ), interseo ( X Y ), diferena de conjunto ( X -Y), complemento ( X ) e etc., so considerados como de pleno conhecimento do aluno. Observe que usaremos letras maisculas para representar conjuntos, enquanto as letras minsculas so usadas para indicar elementos de um conjunto. Os conjuntos formados com um pequeno nmero de elementos podem ser definidos explicitamente, isto , os seus membros podem ser listados. Os conjuntos X e Y a seguir, so definidos dessa forma. X = {1, 2, 3} e Y = {a, b, c, d, e}. J os conjuntos que tm uma grande quantidade de elementos, sendo esta finita ou infinita, devem ser definidos de forma implcita. Um conjunto desse tipo definido ao se especificar as condies que descrevem os elementos do mesmo. O conjunto X que consiste de todos os quadrados perfeitos, por exemplo, implicitamente definido por X = { n n = m, para algum nmero natural m > 0 }. A igualdade entre dois conjuntos usualmente definida fazendo-se uso da incluso de conjuntos. Dois conjuntos X e Y so iguais se X Y e Y X. Isto simplesmente quer dizer que todo elemento de X tambm elemento de Y, e vice-versa. Usualmente, quando queremos estabelecer a igualdade de dois
1

conjuntos, as duas incluses so demonstradas separadamente e em seguida combinadas para produzir a igualdade. Exemplo 1.1.1 Vamos provar que os conjuntos X e Y, a seguir definidos, so iguais. X = { n n = m, para algum natural m > 0} Y = { n2 + 2n + 1 n 0 } Para isto, vamos mostrar que X Y e Y X. i) Para X Y Seja x X. Assim, x = m para algum nmero natural m > 0. Seja m0 este nmero. Ento x pode ser escrito como x = m0 x = (m0 1 + 1) x = (m0 1) + 2 (m0 1) +1. Deste modo, x membro de Y. ii) Para Y X Seja y = n0+2n0+1 um elemento de Y. Como y = n 0+2n0+1 = (n0+1), y o quadrado de um nmero natural maior que zero. Assim, y um elemento de X. De i) e ii) nos conclumos que X = Y.

1.2 PRODUTO CARTESIANO, RELAES E FUNES O produto cartesiano uma operao sobre conjuntos, usada para se construir um novo conjunto, o qual consiste de pares ordenados de elementos de dois conjuntos preexistentes. O produto cartesiano de X e Y, denotado por X x Y definido como X x Y = { [ x , y ] x X e y Y } Uma relao binria sobre X e Y um subconjunto de X x Y. Por exemplo, menor que ( < ) uma relao binria sobre IN x IN, definido por menor que( < ) = { [ i, j ] i < j , com i, j IN }

Generalizando, o produto cartesiano de n conjuntos X1, X2, ..... Xn definido como X1 x X2 x X3 x ...... x Xn = { [ x1, x2,,.......,xn ] xi Xi , i = 1,2,.....,n } . Informalmente, uma funo de um conjunto X em um conjunto Y um mapeamento dos elementos de X em elementos do conjunto Y, denotado por f : X Y. Cada elemento de X mapeado em, no mximo, um elemento de Y. O conjunto X chamado de domnio de f e Y de contradomnio. O conjunto de valores de f o subconjunto de Y definido por { y Y y = f(x), para algum x X }. Generalizando, f : X1 x X2 x ..... x Xn Y uma funo de n variveis definida do produto cartesiano X1 x X2 x ..... x Xn em Y. Uma funo total f de X em Y uma relao sobre X x Y que satisfaz as seguintes duas propriedades: i) Para cada x X existe um y Y, tal que [ x, y ] f , isto y = f(x). ii) Se [ x, y1 ] f e [ x, y2 ] f , ento y1 = y2 . A primeira condio garante que f definida para todos os elementos de X, o que d origem ao nome funo total. J segunda condio garante ser f uma funo. Uma funo parcial f de X em Y uma relao sobre X x Y na qual y1 = y2 sempre que [x, y1] f e [x, y2] f. Uma funo parcial definida para um argumento x se existe um y Y , tal que [ x, y ] f . Caso contrrio, f indefinida para x. Uma funo total simplesmente uma funo parcial definida para todos os elementos do domnio Notao: f(x) = y, indica que y o valor de f para x. f(x) , indica que f no definida para x. f(x) , indica que f definido para x, sem explicitar o valor de f.

Exemplo 1.2.1 div: IN x IN IN div(i, j) o quociente de i por j. Assim, div(3, 2) = 1 div(3, 0) div(i, j) , para todo j > 0

Uma funo total f: X Y dita ser injetiva se cada elemento de X corresponde a um elemento distinto do conjunto de valores de f. Formalmente, f injetiva se x1 x2 implicar que f(x1) f(x2). A funo f: XY dita ser sobrejetiva se o conjunto de valores de f igual a Y.
3

Exemplo 1.2.2 Considere as funes f, g e s, todas definidas de IN em IN-{0}, o conjunto dos naturais positivos. f(n) = 2n + 1 injetiva, porm no sobrejetiva . 1 , se n = 0 g(n) = n , caso contrrio g(n) sobrejetiva, porm no injetiva. s(n) = n + 1, injetiva e sobrejetiva. Uma funo que injetiva e sobrejetiva dita ser bijetiva. A funo s(n) = n + 1 , portanto, bijetiva. 1.3 CONJUNTOS CONTVEIS E INCONTAVEIS Cardinalidade a medida que compara o tamanho de conjuntos. Intuitivamente, cardinalidade o nmero de elementos de um conjunto. Esta definio informal suficiente quando se trata de conjuntos finitos, bastando apenas contar os elementos do conjunto para se determinar a sua cardinalidade. Contudo, existem dificuldades quando se estende esse conceito para os conjuntos infinitos. Podemos mostrar que dois conjuntos finitos tm o mesmo nmero de elementos a se construir uma correspondncia entre os elementos dos conjuntos. Por exemplo, o mapeamento a seguir a1 b1 c1 demonstra que o conjunto { a, b, c } e { 1, 2, 3 } tm o mesmo tamanho. Definio 1.3.1 i) ii) Dois conjuntos X e Y tm a mesma cardinalidade se existe uma funo total bijetiva de X em Y. A cardinalidade de X menor ou igual a cardinalidade de Y se existe uma funo total injetiva de X em Y.

Notao: A cardinalidade de X ser denotada por card(X). As relaes i) e ii) so denotadas por card(X)card(Y), respectivamente.
4

card(X)=card(Y)

A cardinalidade de um conjunto finito denotada pelo nmero de elementos do conjunto. Assim card( {a, b} ) = 2. Um conjunto que tem a mesma cardinalidade que o conjunto dos nmeros naturais dito ser infinitamente contvel ou enumervel. O termo contvel refere-se ao conjunto que finito ou enumervel. O conjunto que no contvel dito ser incontvel. Exemplo 1.3.1 O conjunto IN - {0} infinitamente contvel, pois s(n) = n + 1 define uma funo bijetiva de IN em IN - {0}. Parece paradoxal que IN - {0}, obtido de IN pela remoo de um elemento, tenha o mesmo nmero de elementos de IN. Claramente, no existe uma funo bijetiva de um conjunto finito em um subconjunto prprio do mesmo conjunto. Esta a propriedade que diferencia conjuntos finitos de conjuntos infinitos. Definio 1.3.2 Um conjunto infinito se ele tem um subconjunto prprio de mesma cardinalidade. Exemplo 1.3.3 O conjuntos dos nmeros pares enumervel, pois f(n) = 2n+1 define uma correspondncia bijetiva entre IN e o conjunto dos nmeros pares. Exemplo 1.3.4 O conjunto dos inteiros enumervel pois existe uma correspondncia bijetiva entre IN e Z, definida por f(n) = div(n,2) +1 , se n impar - div(n,2) , se n par 0 , se n = 0

Graficamente,

Exemplo 1.3.4 O conjunto dos pares ordenados de IN x IN enumervel, conforme se observa a seguir:

Os elementos de IN e IN x IN podem ser listados seqencialmente de acordo com as setas mostradas na tabela. Isso permiti criar a seguinte correspondncia:

2 [1,0]

3 [2,0]

4 [1,1]

5 [0,2]

6 ........... [0,3] .........

[0,0] [0,1]

Os conjuntos de interesse para a Teoria das Linguagens e a Teoria da Computabilidade so os exclusivamente os conjuntos finitos ou enumerveis. A seguir, anunciamos, sem prova, algumas propriedades dos conjuntos contveis. Teorema 1.3.1 i) ii) iii) A unio de dois conjuntos contveis contvel. O produto cartesiano de dois conjuntos contveis contvel. O conjunto d0s subconjuntos finitos de um conjunto contvel um conjunto contvel

Duas funes f: IN IN e g: IN IN so iguais se elas tm o mesmo valor para todo elemento de seu domnio, isto , f = g se f(n) = g(n) para todo n IN. Assim,
6

para mostrar que duas funes so distintas suficiente que encontre um elemento do domnio para o qual f e g no so iguais. Vamos mostrar que o conjunto das funes totais de IN em IN incontvel. Um conjunto incontvel se impossvel listar seqencialmente os seus elementos. Para mostrar que conjunto das funes totais de IN em IN incontvel, vamos usar a seguinte tcnica de prova, originalmente apresentada por Cantor, e conhecida como argumento da diagonalizao. Suponha que o conjunto enumervel. Ento existe uma seqncia f0, f1, fn,...... que contm todas as funes. Os valores da funo so exibidos em uma tabela de dupla entrada com os argumentos listados no eixo horizontal e as funes no eixo vertical. Exerccio 1.3.1 Mostre que o conjunto das funes totais f definidas de IN em IN incontvel. Prova: Suponha que o conjunto das funes totais f definidas de IN em IN contvel. Ento existe uma seqncia f0, f1, f2 ......, que contem todas as funes. O valor de f so os indicados na seguinte tabela: 0 f0(0) f1(0) f2(0) 1 f0(1) f1(1) f2(1) 2 f0(2) f1(2) f2(2) 3 f0(3) f1(3) f2(3)

f0 f1 f2 f3

Agora, considere a funo f: IN IN IN, definida por f(n) = fn(n) +1( f, calculada no ponto n, o valor de fn(n) acrescido de 1). Como podemos observar f(i) = fi(i) + 1, o que implica que f(i) fi(i) para todo i. Assim sendo, f no est na lista f0 , f1 , f2 , ..... . Como f uma funo total, a seqncia no contem todas as funes totais, e portanto, a suposio de que f contvel se mostra falsa. Assim, o conjunto no contvel.

1.4 DEFINIES RECURSIVAS A maioria dos conjuntos envolvidos na teoria das linguagens contem um nmero infinito de elementos. Desse modo, ns precisamos de um mecanismo para definir conjuntos infinitos de uma maneira tal que nos permita construir e manipular seus elementos. Esse mecanismo a definio recursiva.

Uma definio recursiva de um conjunto X especifica um mtodo para se obter os elementos do conjunto. A definio utiliza dois componentes: os elementos da base e um conjunto finito de operadores. A base consiste de um conjunto de elementos explicitamente designados como elementos de X. Os operadores so usados para construir novos elementos, a partir dos elementos da base. O conjunto X, definido recursivamente, consiste de todos os elementos que podem ser gerados, a partir dos elementos da base, pela aplicao dos operadores, um nmero finito de vezes. A idia de uma definio recursiva pode ser formalizada por meio da seguinte definio de nmeros naturais. Definio 1.4.1 Uma definio recursiva para IN, o conjunto dos nmeros naturais, construda usando-se a funo sucessor s, do seguinte modo: i) Base: 0 IN. ii) Passo Recursivo: Se n IN, esto s(n) IN . iii) Fecho: n IN somente se ele pode ser obtido de 0 pela aplicao de um nmero finito de vezes do operador s. De acordo com esta definio, 0 um nmero natural, e assim, s(0), s(s(0)), s(s(s(0)))... so todos nmeros naturais cuja abreviaes so 1,2,3.... , respectivamente. Acabamos de definir recursivamente o conjunto de conjunto de nmeros naturais. Mas, o que dizer de suas propriedades? Normalmente ns associamos aos nmeros naturais operaes como adio, multiplicao, etc. Podemos aprender a executar tais operaes, a fora bruta, memorizado, etc. Porm, parece ser mais simples usar as definies recursivas para efetuar, mecanicamente, tais operaes. Definio 1.4.2 Uma definio recursiva para operao m + n (soma de m com n) feita do seguinte modo: i) Base: Se n = 0 ento m + n = m ii) Passo Recursivo: m + s(n) = s(m + n) iii) Fecho: m + n = k somente se essa igualdade pode ser obtida a partir i) pela aplicao de ii), um nmero finito de vezes. Usando essa definio podemos calcular a soma 3+2, do seguinte modo: 3 a abreviao de s(s(s(0))) 2 a abreviao de s(s(0))
8

De acordo com o passo indutivo, m + s(n) = s(m + n). Desse modo, 3 + 2 = s(s(s(0))) + s(s(0)) = s(s(s(s(0))) + s(0)) = s(s(s(s(s(0)))) + 0) = s(s(s(s(s(0))))) , cujo abreviao o natural 5. Freqentemente o fecho de uma definio recursiva omitido. Nesse caso, fica implcito que os elementos do conjunto ou operao definidos so somente aqueles obtidos da base (i) pela aplicao de um nmero finito do passo indutivo (ii). Exemplo 1.4.1 A relao LT ( menor que) definida como: i) ii) iii) Base: [0,1] LT Passo Recursivo: Se [n, m] LT, ento [n, s(m)]LT e [s(n), s(m)] LT. Fecho: O par [n, m] LT somente se ele pode ser obtido a partir i) pela aplicao de ii), um nmero finito de vezes.

A figura abaixo ilustra o esquema de gerao recursiva de um conjunto X. X0 = {x x um elemento da base} Xi+1 = Xi {x x pode ser gerado por i + 1 passos} X = {x x Xj para algum j 0}

Para o exemplo dado: LT0 = {[0, 1]} LT1 = {[0, 2], [1, 2]} LT0 LT2 = {[0, 3], [1, 3], [2, 3]} LT1
9

. . LTi = {[ j , i + 1] , j = 0, 1, 2, ..., i} LTi-1 Exerccio 1.4.1 Qual o conjunto X definido recursivamente do seguinte modo: i) ii) iii) Base: [0, 3], [0, 4], [0, 5] e [0, 6] X . Passo recursivo: Se [n, m] X, ento [s(n), m] X . Fecho: [n, m] X somente se este pode ser obtido de i) pela aplicao de ii), um numero finito de vezes.

1.5 GRAFOS DIRIGIDOS Uma estrutura matemtica consiste de funes e relaes sobre um conjunto ou conjuntos e alguns elementos distinguidos dos conjuntos. Um elemento distinguido um elemento que tem uma propriedade especial que o destingue dos demais. Os nmeros naturais, como definido em 1.4.1, podem ser expressos por meio da estrutura (IN, s, 0). O conjunto IN contem os nmeros naturais; s uma funo unria sobre IN e 0 o elemento distinguido de IN. Zero destinguido por causa do papel que desempenha na definio dos nmeros naturais. Um grafo dirigido uma estrutura matemtica que consiste do conjunto N e uma relao binria A sobre N. Os elementos de N so chamados ns ou vrtices do grafo e os elementos de A so chamados arcos. A referenciado como a relao de adjacncia e y dito ser adjacente a x quadro [x, y] A. Um arco de x para y em um grafo dirigido representado por uma seta de x para y. Assim, y chamado de cabea da seta enquanto x chamado de cauda. O grau de entrada de um n x o nmero de arcos que chegam em x, enquanto o grau de sada de x o nmero de arcos que tem x com cauda. A seguir temos o exemplo de um grafo G = (N, A), onde N = {a, b, c, d} A = {(a, b), (b, a), (b, c), (b, d), (c, b), (c, d), (d, a), (d, d)} Ns a b c d Grau de entrada 2 2 1 3 Grau de sada 1 3 2 1

Graficamente:

10

Uma rota de tamanho n entre o n x e o n y em um grafo dirigido uma seqncia de ns x0, x1, x2, ........,xn que satisfaz as seguintes condies: i) ii) iii) xi adjacente a xi-1, para i = 1, 2, 3, ..., n x = x0 y = xn

O n x o n inicial da rota e y o n final. Existe uma rota de tamanho zero de qualquer n para ele mesmo, chamado rota nula. Uma rota de tamanho um ou mais que comea e termina no mesmo n chamada de um ciclo. Um grafo sem ciclo dito ser acclico. comum que os arcos de um grafo dirigido sejam rotulados. Isto conduz a estrutura (N, L, A) onde L um conjunto de rtulos e A uma relao em NxNxL. Um elemento [x, y, v]A se um arco de x para y for rotulado por v. Um rotulo sobre um arco especifica uma relao entre os ns envolvidos. No grafo a seguir os rtulos entre x e y indicam a distancia entre as cidades x e y.

11

Uma rvore ordenada, ou simplesmente rvore, um grafo dirigido acclico no qual cada n conectado por uma nica rota a partir de um n destinguido chamado raiz da rvore. A raiz tem grau de entrada zero e todos os demais ns tm grau de entrada um. Uma rvore uma estrutura (N, A, r), onde N o conjunto de ns, A a relao de adjacncias entre os ns e rN a raiz da rvore. A seguir temos uma rvore onde x1 a raiz.

O n y chamado de filho do x e x dito ser pai de y , se y adjacente a x. Um n com grau de sada zero chamado de folha. Na figura anterior, x9, x10, x11, x13, x14 e x8 so folhas. A profundidade da raiz e zero. A profundidade de qualquer outro n a profundidade de seu pai mais um.Um n y chamado de descendente do n x e x um ancestral de y se existe um rota de x para y. 1.6 PROVA POR INDUO A maioria dos conjuntos presentes nas linguagens tem um nmero infinito de elementos. Sobre tais conjuntos, com freqncia, desejamos provar que uma determinada propriedade ocorre para todos os seus elementos. O princpio da induo matemtica a ferramenta adequada para realizar tais provas. Sobretudo quando o conjunto em questo definido recursivamente. Princpio da Induo Matemtica Seja X um conjunto definido por recurso a partir da base X0 e X1, X2 ,... Xk , .... a seqncia de conjuntos gerados pelo processo recursivo. Agora, seja uma propriedade definida sobre os elementos X. Se possvel demonstrar que

12

i) ocorre para todo os elementos de X0 , e ii) Sempre que ocorre para todos os elementos de X0 , X1, X2 ,... Xk , tambm ocorre para todos elementos de Xk+1 . Assim sendo, pelo princpio da induo matemtica, ocorre para todos os elementos de X. Uma das formas de se justificar o princpio da induo supor que i e ii se verificam mas no ocorre para todos os elementos em X. Se no ocorre para todos os elementos de X, ento existe pelo menos um conjunto de Xi tal que no ocorre para todos os seus elementos. Seja Xj o primeiro de tais conjuntos. Uma vez que por i ocorre para todos os elementos de X0, temos que i 0. A propriedade tambm ocorre para Xj -1, pela escolha de j. Assim, por ii temos que ocorre para todos os elementos de Xj. Isto significa que no existe o primeiro conjunto na seqncia de conjuntos que no satisfaz . Consequentemente deve ser verdadeiro para todos os Xis, e assim para X. Uma prova por induo consiste de trs passos: Primeiro verificar que ocorre para cada elemento da base X0 (condio i do princpio da induo matemtica). Segundo, a hiptese indutiva, a suposio que ocorre para todos os elementos de X0 e X1, X2,... Xk. O Terceiro passo indutivo, provar, usando a hiptese indutiva, que pode ser estendido para cada elemento de xk+1, O passo indutivo satisfaz a combinao de ii do princpio da induo matemtica. Assim verdadeiro para todos os elementos de X. Exemplo 1.6.1 n Prove por induo que i = n(n+1)/2 i=0 Prova: Base: Verificar que a formula verdadeira para k = 0 . 0 De fato, i = 0(0+1)/2 = 0 i=0 ok!

Hiptese Indutiva: Suponha que para k 0 verdade que k i = k(k+1)/2 . i=0 k+1 Induo: Devemos provar que i = (k + 1) (k + 2)/2 . i=0 Esta prova deve ser feita usando-se a hiptese indutiva.
13

k+1 k Sabemos que i = ( i ) + ( k+1 ). Assim, i=0 i=0 = k (k+1) / 2 + (k+1), usando a hiptese indutiva = [k (k+1)+2(k+1)] / 2 = (k+1) (k+2) / 2 , cqd Exemplo 1.6.2 Provar por induo que n! > 2n, para n 4. Base: Verificar que verdade para n = 4 De fato, 4! = 4 x 3 x 2 x 1 = 24 >16 = 24

ok!

Hiptese indutiva: Suponha que k! > 2k , para k = 4, 5, ...... Induo: Vamos provar que verdade que (k+1)! > 2k+1 . Por definio, (k+1)! = (k+1) k! (k+1)! > (k+1).2k , usando hiptese indutiva (k+1)! > 2.2k = 2k+1 , como queramos demonstrar.

Exemplo 1.6.3 P(X) o conjunto das partes de X. Mostre por induo que card( P(X))=2 card(X) . Base: Seja X=. Ento, card(X)=0, P(X) ={} e card(P(X)) =1. Portando, card(P(X)=20 =2card(X) . Hiptese Indutiva: Suponha que verdadeiro que card( P(X))=2card(X), para todos os conjuntos de cardinalidade 0, 1, 2, ......e k. Induo: Seja X um conjunto de cardinalidade k+1. Devemos mostrar que card(P(X)) = 2card(x) = 2k+1. Uma vez que X, X deve ter pelo menos um elemento. Escolha um elemento a X. Agora, seja Y = X {a}. Ento, card(Y)=n e card(P(Y))=2 card(Y), por hiptese induo. P(X), o conjunto dos subconjuntos de X, pode ser particionado em dois subconjuntos disjuntos, aqueles que contm o elemento a e aqueles que no contm a. Os subconjuntos de X que no contm a formam exatamente o conjunto P(Y) . Os subconjuntos de X que contm a podem ser obtidos acrescentando-se a cada conjunto Yi P(Y). Desse modo, P(X) = P(Y) {Yi {a} Yi P(Y) }. Como P(X) unio de dois conjuntos disjunto, temos card(P(X)) = card(P(Y)) + card( {Yi {a} Yi P(Y)} )
14

= card(P(Y)) + card(P(Y)) = 2k + 2k = 2.2k = 2k+1 = 2k+1 = 2card(X) , como queramos demonstrar.

EXERCCIOS 1. Seja X={ 1, 2, 3, 4 } e Y={ 0, 2, 4, 6 }. Explicite os conjuntos definidos por: a) b) c) d) e) XY XY XY YX P(X)

2. Seja X={ a, b, c } e Y={ 1, 2 } a) Liste todos os subconjuntos de X. b) Liste os elementos de X x Y. c) Liste todas as funes de Y em X. 3. Seja X={ n3+3n2+3nn0 } e Y={ n3-1n>0 }. Prove que X=Y.

4. Prove que o conjunto dos nmeros naturais pares enumervel. 5. Prove que a unio de dois conjuntos disjuntos e contveis enumervel. 6. Prove que existe um nmero incontvel de funes totais de IN em { 0, 1 }. 7. D uma definio recursiva para a relao igual a (=) sobre IN x IN, usando a funo sucessor s como operador. 8. D uma definio recursiva para a relao maior que (>) sobre IN x IN, usando a operao sucessor s. 9. D uma definio recursiva para a multiplicao de nmeros naturais, usando o operador s.

15

10. D uma definio recursiva para operao predecessor, a seguir definida, usando o operador s .
0 se n = 0

pd(n) =

n 1 caso contrrio

11. A subtrao de nmeros naturais definida por

n m se n m

nm=

caso contrrio

Esta operao freqentemente chamada subtrao prpria. D uma definio recursiva de subtrao prpria, usando os operadores s e pd. 12. D uma definio recursiva para o conjunto de pontos [m, n] que se situam sobre a reta n=3m, em IN x IN. Use s como operador na definio. 13. D uma definio recursiva para o conjunto de pontos [m, n] que se situam sobre e abaixo da linha n=3m, em IN x IN. Use s como operador na definio. 14. D uma definio recursiva para a n, onde a um numero real diferente de 0 e n um inteiro no negativo. 15. D uma definio recursiva de palndromo sobre o alfabeto = {a , b}. 16. Prove por induo que 2+5+8+ ... +(3n-1) = n(3n+1)/2, para todo n>0. 17. Prove por induo que 1+2+22+ ... +2n = 2n+1-1, para todo n0, 18. Prove por induo que 1+2n < 3n, para todo n 2. 19. Prove por induo que 3 um fator de n3-n+3, para todo n 0. 20. Use induo para mostrar que n! > 2n-1 , para n = 1, 2, 3, ....... 21. Use induo pra mostra que 5n - 1 divisvel por 4, para n = 1, 2, 3, ........

16

22. Os nmeros harmnicos Hk , para k = 1, 2, 3, .... so definidos por Hk = 1 + 1/2 + 1/3 + ........+ 1/k Use induo matemtica para provar que Hp >= 1 + n/2 , para p=2n .

23. Use induo matemtica para provar a seguinte generalizao de lei Morgan n

A = A
k

k=1

k=1

onde A1, A2, ........., An so subconjuntos de um conjunto universal U e n 2. 24. Encontre o erro na seguinte prova de que 2 = 1. Considere a equao a = b. Multiplique ambos os lados por a para obter a2=ab. Agora subtrai b2 de ambos os lados, obtendo a 2 b2 = ab b2. Fatorando ambos os lados, temos (a+b)(a-b) = b(a-b). Dividindo cada lado por (a - b) obtemos a + b = b. Por fim, fazendo a =1 e b =1, obtemos que 2=1. 25. Encontre o erro na seguinte prova Propriedade: Em qualquer conjunto de h cavalos, todos tm a mesma cor. Mtodo de Prova: Induo Base: Seja h =1. Em qualquer conjunto composto de somente um cavalo, todos os cavalos so da mesma cor. Hiptese Indutiva: Suponha que, para h = k, k 1, verdade que todos os cavalos tm a mesma cor. Induo: Tome um conjunto H com k + 1 cavalos. Retire um cavalo de H, obtendo um conjunto H1 com k cavalos. Como H1 tem k cavalos, por hiptese de induo, todos os cavalos em H 1 tm a mesma cor. Agora retorne a H1 o cavalo anteriormente retirado e remova um cavalo diferente, obtendo o conjunto H 2. Pelo mesmo argumento, em H 2 todos os cavalos tm a mesma cor. Assim sendo, todos os valos em H tm a mesma cor.

17