J.L.Rangel - Ling.

Formais - 0-1
Captulo 0: Conjuntos, funes, relaes
Notao. Usaremos Nat para representar o conjunto dos nmeros naturais; Int para
representar o conjunto dos nmeros inteiros. Para cada n Nat, [n] representa o
conjunto dos naturais menores ou iguais a n:
[n] = { i Nat | 0 < i n }.
Este conjunto [n] s vezes representado por {1, 2, , n}, convencionando-se
que nos casos especiais n = 0 e n = 1, essa notao indica, respectivamente, o conjunto
vazio e o conjunto unitrio {1}.
Produto Cartesiano. O produto cartesiano de dois conjuntos A e B o conjunto A B
de pares ordenados de elementos de A e B:
A B = { (x, y) | x A e y B }.
Esse conceito pode ser estendido, usando n-tuplas, para definir o produto cartesiano de n
conjuntos:
A
1
A
2
A
n
= { (x
1
, x
2
, x
n
) | para cada i [n], x
i
A
i
}
Podemos definir potncias de um conjunto, a partir da definio de produto
Cartesiano:
A
n
= A A A (n vezes) = { (x
1
, x
2
, x
n
) | para i [n], x
i
A}.
Naturalmente, A
1
= A.
Exemplo: Sejam A = { a, b, c }, B = { d, e }. Ento,
A B = { (a, d), (a, e), (b, d), (b, e), (c, d), (c, e) }
B A = { (d, a), (d, b), (d, c), (e, a), (e, b), (e, c) }
A
1
= A = { a, b, c }
A
2
= A A = { a, b, c } { a, b, c } =
= { (a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c) }
o
Relaes. Podemos agora definir relao: dados n conjuntos A
1
, A
2
, , A
n
, uma
relao em A
1
, A
2
, , A
n
um conjunto qualquer de tuplas de elementos de A
1
, A
2
, ,
A
n
. Portanto, usando a definio acima, R uma relao em A
1
, A
2
, , A
n
se
R A
1
A
2
A
n
.
Um caso especial que ser muito importante no que se segue o caso n=2, com
A
1
=A
2
=A. R uma relao binria em um conjunto A, se R A A.
J.L.Rangel - Ling. Formais - 0-2
Funes. Outro caso especial o das funes: uma relao f em A B, ou seja, um
conjunto f A B, uma funo, com domnio A e codomnio B, se para cada x A
existe em f um nico y B tal que (x, y) f. Essa unicidade pode tambm ser expressa
por
(x, y) f e (x, z) f implicam em y = z.
Naturalmente, esse valor nico de y que f faz corresponder a x indicado pela
notao habitual f(x), e podemos escrever tambm f: x a y. Escrevemos f: A B, para
indicar que f uma funo com domnio A e codomnio B.
Definimos o contradomnio de f: A B como sendo o conjunto
{ y B | ( x A) (f(x) = y) }.
Exemplo: Se considerarmos o conjunto Int dos nmeros inteiros, e a funo suc:
Int Int que a cada valor em Int associa seu sucessor, poderemos escrever
para cada i Int, suc(i) = i + 1,
ou
suc: i a i + 1
ou ainda
suc = { , (-2, -1), (-1, 0), (0, 1), (1, 2), }
o
I njeo, sobrejeo, bijeo. Dizemos que uma funo f: AB uma injeo se para
cada b B existe no mximo um a A tal que f(a) = b; dizemos que f: AB uma
sobrejeo se para cada b B existe no mnimo um a A tal que f(a) = b; dizemos que
f uma bijeo se f ao mesmo tempo, uma injeo e uma sobrejeo.
No caso de sobrejees (e bijees), codomnio e contradomnio so iguais.
Alternativamente, podemos falar em funes injetoras, sobrejetoras ou "sobre",
e bijetoras.
Conjuntos enumerveis. Um conjunto A enumervel se vazio, ou se existe uma
funo sobrejetora f: Nat .
O nome enumervel se deve ao fato de que, se A no vazio, a sequncia
f(0), f(1), f(2), f(3), uma lista infinita da qual fazem parte todos os elementos de A,
ou seja, uma enumerao de A. Em particular, como no esto proibidas repeties em
uma enumerao, temos:
Fato: Todos os conjunto finitos so enumerveis.
Dem.: Exerccio.
o
J.L.Rangel - Ling. Formais - 0-3
No que se segue, estaremos interessados principalmente em conjuntos
enumerveis infinitos. Neste caso, podemos usar uma numerao, em vez de uma
enumerao. Por numerao entendemos aqui uma funo como a funo g mencionada
na propriedade abaixo, que associa a cada elemento de A um nmero natural distinto.
Fato: Um conjunto infinito enumervel, se e somente se existe uma funo injetora
g: A Nat.
Dem. () Seja A um conjunto enumervel infinito. Pela definio, existe uma funo
sobrejetora f: Nat A. Podemos definir a injeo g:A Nat fazendo, para cada
a A, g(a) ser igual ao menor valor de i tal que f(i) = a. Assim, a funo g definida
para qualquer valor de a, porque f sobrejetora. Alm disso, g injetora, porque, pela
prpria definio, g(a) = g(b) implica em f(g(a)) = f(g(b)).
() Seja A um conjunto tal que existe uma injeo g:A Nat. Uma vez que A
no vazio, seja q um elemento qualquer de A. Defina agora a sobrejeo f: Nat A
por
f(i)
a, g(a) i
q,
=
=

se existir um a tal que

se no existir
Note que f bem definida para todos os valores de i, porque g uma injeo, e, para
cada i, pode haver, no mximo, um a tal que g(a) = i; f uma sobrejeo, porque g
definida para todos os elementos de A.
o
Fato: Um conjunto infinito A enumervel se e somente se existe uma bijeo
f: A Nat.
Dem.: Exerccio.
o
Fato: Entre dois conjuntos infinitos enumerveis A e B existe sempre uma bijeo
f: AB.
Dem.: Exerccio.
o
Exemplo: O conjunto Nat enumervel.
Basta tomar f como sendo a funo identidade I: Nat Nat, que , claramente, uma
bijeo.
o
Exemplo: O conjunto Nat
2
= Nat Nat de pares de nmeros naturais enumervel.
Podemos fazer a caracterizao de diversas maneiras:
1. atravs da injeo g:Nat
2
Nat definida por g( (i,j) ) = 2
i
3
j
. Esta numerao
dos pares de inteiros s vezes chamada de numerao de Goedel. Esse
processo pode ser estendido a potncias superiores de Nat. Por exemplo,
podemos associar tripla (i, j, k) o nmero 2
i
3
j
5
k
. Para n-uplas, poderiam ser
usados como bases os primeiros n nmeros primos.
2. definindo diretamente a ordem de enumerao:
repita para cada k = 0, 1, 2,
enumere os pares (i, j) tais que i+j = k, na ordem crescente de i:
(0, k), (1, k-1), , (k-1, 1), (k, 0).
J.L.Rangel - Ling. Formais - 0-4
Isso corresponde a
(0, 0), (0, 1), (1, 0), (0, 2), (1, 1), (2, 0), (0, 3)
ou seja, a uma sobrejeo f: Nat Nat dada por
f(0) = (0,0), f(1) = (0,1), f(2) = (1,0), f(3) = (0,2),
o
Exemplo: O conjunto Int dos inteiros enumervel.
Basta usar uma enumerao como 0, -1, +1, -2, +2, -3, +3,
o
Teorema: O conjunto P(Nat) dos subconjuntos de Nat no um conjunto enumervel.
Dem.: por "diagonalizao".
Uma vez que a definio de conjunto enumervel se baseia na existncia de uma
funo com certas propriedades, devemos mostrar que tal funo no existe, e a
demonstrao ser feita por contradio (ou reduo ao absurdo).
Suponhamos que o conjunto P(Nat) enumervel. Isto significa que existe uma
enumerao de P(Nat), ou seja uma sobrejeo f: Nat P(Nat). Assim, para cada
elemento A de P(Nat) (um conjunto A de naturais), existe um nmero i tal que f(i) = A.
Vamos considerar o conjunto X definido a seguir:
X = { j Nat | j f(j) }
Como X um conjunto de naturais, X P(Nat). Entretanto, veremos que X no faz
parte da enumerao acima. Seja k qualquer. Duas possibilidades podem ocorrer:
ou k f(k), e neste caso k X,
ou k f(k), e neste caso k X.
Em qualquer das possibilidades, portanto, os conjuntos X e f(k) diferem em pelo menos
um elemento. Assim, X f(k) para todos os k. Desta forma, X no faz parte da
enumerao definida por f, caracterizando-se a contradio. Consequentemente, P(Nat)
no enumervel.
o
Esta tcnica de demonstrao recebeu o nome de diagonalizao.
Representamos um conjunto A Nat por uma sequncia infinita de 0's e 1's: se i A, o
i-simo smbolo da sequncia ser 1; caso contrrio, ser 0. Assim, se fizssemos uma
tabela infinita com uma linha correspondendo a cada conjunto f(k), kNat, o conjunto X
seria definido invertendo o que se encontra na diagonal da tabela: se na posio (i,i) se
encontra um 1, indicando que if(i), na linha correspondente a X teramos um 0 na
i-sima coluna, indicando que iX, e (vice-versa) se na posio i,i se encontra um 0,
indicando que if(i), na linha correspondente a X teramos um 1 na i-sima coluna,
indicando que iX.
Desta forma, podemos ver que, para qualquer i, f(i) X. Para isso, basta notar
que i pertence a exatamente um dos dois conjuntos f(i) e X. Portanto, qualquer que fosse
a enumerao de P(Nat), X no pertenceria a ela.
J.L.Rangel - Ling. Formais - 0-5
Esta tcnica ser usada neste curso em diversas ocasies para demonstraes
semelhantes anterior; foi usada por Cantor, para mostrar que a cardinalidade de um
conjunto P(A) sempre superior cardinalidade de A. O mesmo vale aqui: a
cardinalidade de todos os conjuntos enumerveis infinitos A a mesma, equivalente de
Nat, mas a cardinalidade dos conjuntos potncia P(A) superior de Nat, sendo
equivalente de P(Nat). Falando informalmente,
"todo conjunto enumervel tem o mesmo nmero de elementos que Nat."
"h mais elementos em P(Nat) do que em Nat."
"para qualquer conjunto A enumervel, P(A) tem o mesmo nmero de elementos
que P(Nat)."
Fato: Se um conjunto A enumervel, e se B um subconjunto de A, B tambm
enumervel.
Dem. Exerccio.
o
Exerccios:
(1) Mostre que, se A e B so conjuntos enumerveis, ento AB tambm enumervel.
Sugesto: se A e B so enumerveis, existem numeraes n
A
: ANat e n
B
: BNat;
seja ento g: Nat
2
Nat a mesma numerao de Nat
2
vista anteriormente; considere
ento a funo n: AB Nat definida por
n( (a, b) ) = g(n
A
(a), n
B
(b)).
(2) Uma das definies possveis para par ordenado a seguinte: definimos o par
ordenado (a, b) como sendo o conjunto {{a, b}, {a}}. Mostre que, com esta definio,
vale a propriedade fundamental:
(a, b) = (c, d) se e somente se a=c e b=d.
(3) Podemos definir uma tripla (ou 3-tupla) a partir da definio de par ordenado:
(a, b, c) = ((a, b), c).
Isto corresponde a definir Nat
3
como Nat
2
Nat. Mostre que com esta definio, vale a
propriedade fundamental:
(a, b, c) = (d, e, f) se e somente se (a=d) e (b=e) e (d=f).
(4) Para definir uma numerao dos elementos de Nat, podemos usar as funes F
1
e F
2
definidas a seguir:
F
1
( (i,j,k) ) = 2
i
3
j
5
k
F
2
( (i,j,k) ) = g( (i, g( (j,k) ) ) ),
onde g a funo definida anteriormente:
g( (i,j) ) = 2
i
3
j
.
Experimente calcular F
1
( (5, 5, 5) ) e F
2
( (5, 5, 5) ).
o
Relaes binrias. Quando tratamos de relaes binrias, normalmente usamos uma
notao mais simples para indicar que (x, y) um elemento de uma relao binria R em
J.L.Rangel - Ling. Formais - 0-6
A: escrevemos apenas x R y. Essa notao semelhante usada para relaes comuns,
como as relaes de ordem <, , etc.: no escrevemos (x, y) , mas, mais
simplesmente, x y.
Vamos a seguir introduzir algumas propriedades de relaes binrias. Seja R uma
relao binria em um conjunto A (R A
2
). Ento dizemos que
R reflexiva se para qualquer x A, x R x;
R simtrica se, para quaisquer x, y A, x R y implica y R x.
R transitiva se, para quaisquer x, y, z A, x R y e y R z implicam em x R z.
Exemplos: As relaes <, , =, so relaes binrias definidas no conjunto Nat, e tem
as propriedades indicadas a seguir:
reflexiva simtrica transitiva
< < no no sim
sim no sim
= sim sim sim
no sim no
o
Equivalncia. Uma relao R uma relao de equivalncia (ou simplesmente uma
equivalncia) se reflexiva, simtrica, e transitiva.
Exemplo: A relao = no conjunto Nat uma relao de equivalncia; outros exemplos
de relaes de equivalncia so as relaes de paralelismo entre retas, de semelhana de
tringulos, de congruncia mdulo n. (Dois naturais x e y so congruentes mdulo n se o
resto da diviso de x por n igual ao resto da diviso de y por n.)
o
Composio de relaes: definimos a composio de relaes da forma a seguir:
se R A B e S B C so relaes, definimos a relao R

S A C, a composio
de R e S, por
R

S = { (x, z) A C | y B, (x, y) R e (y, z) S }.

Se as relaes R e S so funes, a composio R

S se reduz exatamente
composio de funes: se (x, y) R e (y, z) S, temos y = R(x), z = S(y) = S(R(x)), e
portanto (R

S)(x) = S(R(x)), como era de se esperar

1
.
Exemplo: Sejam as relaes
R = { (1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4) }
S = { (2, 1), (3, 2), (4, 3) }
Temos:
R

S = { (1, 1), (1, 2), (1, 3), (2, 2), (2, 3), (3, 3) }
S

R = { (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4) }
o

1
Alguns autores preferem a ordem inversa: (R

S)(x) = R(S(x)). A diferena apenas de notao.

J.L.Rangel - Ling. Formais - 0-7
Exemplo: Sejam as relaes
R = { (1, 2), (2, 3), (3, 4), (4, 1) }
S = { (1, 1), (2, 1), (3, 1), (4, 2) }
J que R e S so funes, o mesmo vale para as composies:
R

S = { (1, 1), (2, 1), (3, 2), (4, 1) }

S

R = { (1, 2), (2, 2), (3, 2), (4, 3) }

o
Operaes com relaes binrias. Se R uma relao binria num conjunto A (isto ,
R A A), podemos definir as potncias R
i
de R, para i Nat de forma recursiva:
R
0
= I
A
= { (x, x) | x A }
R
i+1
= R
i

R, para i Nat
Fato:
1. A relao I
A
a identidade para a composio de relaes, associada ao conjunto
A, ou seja, para qualquer R A
2
, R

I
A
= I
A

R = R.
2. Para qualquer R A
2
, R
1
= R.
3. Para quaisquer R A
2
, i, j Nat, R
i

R
j
= R
j

R
i
, ou seja, potncias da mesma
relao sempre comutam.
Dem.: Exerccio.
o
Exemplo: Sejam A = { 1, 2, 3, 4 } e R = { (1,2), (1,3), (1,4), (2,3), (2,4), (3,4) }.As
potncias de R so:
R
0
= I = { (1,1), (2,2), (3,3), (4,4) }.
R
1
= R = { (1,2), (1,3), (1,4), (2,3), (2,4), (3,4) }
R
2
= R
1

R = R

R = { (1,3), (1,4), (2,4) }

R
3
= R
2

R = { (1,4) }
R
4
= R
5
= = .
No caso do exemplo, podemos provar que (x, y) R se y-x 1. Assim, em
geral, (x, y) R
i
se y-x i. Naturalmente, no conjunto A, a maior diferena possvel 3,
e todas as potncias alm da terceira so relaes vazias: nunca podem ser satisfeitas.
o
Fechamento. Definimos o fechamento reflexivo-transitivo R* de uma relao binria R
em um conjunto A atravs de
x R* y se e somente se para algum i Nat, x R
i
y,
ou, equivalentemente,
R R R R R R
* i
i
= =
=

0
0 1 2 3
U
U U U UL
Exemplo: Seja a relao R, no conjunto Nat definida por
x R y se e somente se y = x + 1.
Temos x R
i
y se e somente se y = x + i, de forma que x R* y se e somente y x.
o
J.L.Rangel - Ling. Formais - 0-8
O nome de fechamento reflexivo-transitivo de R dado relao R* se deve ao
fato de que R* a menor relao (no sentido da incluso de conjuntos) que contm R e
reflexiva e transitiva. Ou seja, qualquer relao S
(1) que satisfaa x R y implica x S y (isto , S R) e
(2) que seja reflexiva e transitiva
satisfaz tambm S R*.
De forma semelhante, a notao R
+
frequentemente utilizada para descrever o
fechamento transitivo da relao R:
R R R R R
i
i
+
=

= =
1
1 2 3
U
U U UL
ou seja, x R
+
y se e somente se para algum i>0, x R
i
y.
Exemplo: Seja a mesma relao R do exemplo anterior. Neste caso, temos
x R
+
y se e somente se y > x.
o
Parties. Dado um conjunto A, definimos uma partio de A como sendo uma famlia
de conjuntos (chamados de blocos da partio) = { B
i
| i I } com as seguintes
propriedades:
(1) para cada i I, B
i
. nenhum bloco vazio
(2) U
U
= =

i
i I
B
A a unio dos blocos A
(3) se ij, B
i
I B
j
= . blocos so disjuntos dois a dois
Dessa maneira, cada elemento a de A pertence a exatamente um bloco da partio P.
Observao: Na maioria das vezes o conjunto I usado para indexar os elementos da
famlia ser um conjunto enumervel, um subconjunto dos naturais.
Exemplo: Seja o conjunto A = { a, b, c, d, e }. Temos a seguir alguns exemplos de
parties de A:
{ { a, b, c, d, e } }
{ { a }, { b }, { c }, { d }, { e } }
{ { a, b }, { c, d, e } }
{ { a, e }, { b, c, d } }
o
Exerccio: Escreva todas as parties de { a, b, c, d, e }.
o
Classes de equivalncia. Seja R uma equivalncia em um conjunto A. Definimos a classe
de equivalncia [a] de a A da seguinte maneira:
[a] = { x A | x R a },
J.L.Rangel - Ling. Formais - 0-9
ou seja, a classe de equivalncia de aA o conjunto dos elementos de A que so
equivalentes a a. Note que como R uma equivalncia, a [a], para qualquer a.
Exemplo: Seja a equivalncia R em A = {a, b, c, d, e, f}, dada pelas seguintes
propriedades:
(1) R uma equivalncia
(2) a R b, b R c, d R e.
(3) x R y somente se isto decorre de (1) e (2).
Temos ento, examinando todos os casos possveis:
a R a, b R b, c R c, d R d, e R e, f R f (reflexividade)
b R a, c R b, e R d (simetria)
a R c, c R a (transitividade)
e R composta dos pares: (a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c),
(d, d), (d, e), (e, d), (e, e), (f, f).
Assim podemos ver diretamente que [a] = [b] = [c] = { a, b, c }, que [d] = [e] = { d, e }
e que [f] = { f }.
o
Conjunto quociente. Definimos o conjunto quociente A/R de A por uma equivalncia R
em A, atravs de
A/R = { [x] | x A },
ou seja, A/R o conjunto das classes de equivalncia de R em A.
Exemplo: Sejam A e R como no exemplo anterior. As classes de equivalncia de R
formam uma partio de A, que exatamente o conjunto quociente A/R:
A/R = { { a, b, c }, { d, e }, { f } }
o
Fato: Seja R uma equivalncia em um conjunto A. Ento A/R uma partio de A.
Dem.:
(1) note que as classes de equivalncia no so vazias: classe [a] pertence pelo
menos o elemento a;
(2) a unio das classes de equivalncia A, porque cada elemento a de A pertence a
pelo menos uma classe de equivalncia: a [a].
(3) Classes de equivalncia diferentes so disjuntas. Com efeito, suponha que duas
classes [a] e [b] tem sua interseo no vazia, com um elemento c em comum:
c [a] e c [b]. Neste caso, usando o fato de que R simtrica e transitiva,
temos c R a, c R b, e, portanto, a R b. Assim, pela propriedade transitiva, x R a
se e somente se x R b, e [a] = [b]. Consequentemente, as classes de equivalncia
so disjuntas duas a duas, e formam uma partio de A.
o
J.L.Rangel - Ling. Formais - 0-10
Fato: Dada uma partio P de um conjunto A, a relao R definida por
x R y se e somente se x e y fazem parte do mesmo bloco de P
uma relao de equivalncia em A, e A/R = P.
Dem.: Exerccio.
o
I nduo finita. Muitas das demonstraes que veremos nas sees seguintes utilizam
uma tcnica conhecida por induo finita. A idia fundamental simples: suponha que
desejamos provar que a propriedade P vale para todos os elementos de Nat, isto , que
queremos provar que, para todo x Nat, P(x).
Uma propriedade fundamental de Nat que Nat composto por um elemento
especial, 0, e por seus sucessores. Dito de outra forma, Nat o menor conjunto que
contm 0 e fechado para a funo sucessor s. Esquematicamente,
Nat = { 0, s(0), s(s(0)), s(s(s(0))), s(s(s(s(0)))) }.
Assim, se provarmos
I. (base da induo)
P(0)
II. (passo de induo)
Para qualquer i Nat, P(i) implica P(s(i)).
estaremos provando P para todos os naturais, pois teremos
(0) P(0) (I)
(1) P(0) P(1) (II)
(2) P(1) P(2) (II)
(3) P(2) P(3) (II)

e, portanto, P(0), P(1), P(2), P(3),

Exemplo: Suponhamos que queremos demonstrar a frmula da soma dos elementos de
uma progresso geomtrica de razo q 1,
a
0
, a
1
, a
2
, a
3
, ,
com a
i+1
= a
i
q.
A frmula da soma
S f(n)
(a q a )
(q 1)
n
n 0
= =

Devemos provar inicialmente a base de induo (para n=0): S

0
= f(0). A demonstrao
se resume verificao de que
f(0)
(a q a )
(q 1)
a
n 0
0
=

=
J.L.Rangel - Ling. Formais - 0-11
Para provar o passo de induo, devemos assumir a hiptese de induo S
i
= f(i) e provar
a tese de induo S
i+1
= f(i+1). Temos a
i+1
= a
i
q, e S
i+1
= S
i
+ a
i+1
.
Portanto,
S S a f (i) a
(a q a )
(q 1)
a
(a a )
(q 1)
a
i 1 i i 1 i 1
i 0
i 1
i 1 0
i 1 + + + +
+
+
= + = + =

+ =

+ =
=
+

= +
+ + + +
(a a a q a )
(q 1)
(a q a )
(q 1)
f (i 1).
i 1 0 i 1 i 1 i 1 0
o
Uma forma alternativa de induo, que pode facilitar as demonstraes, em vez
de usar apenas o ltimo resultado anterior P(i) para provar P(i+1), usa todos os
resultados anteriores, ou seja, P(0), P(1), , P(i).
Assim, para mostrar P(i) para todos os naturais i, mostramos
I. P(0)
II. ji P(j) P(i+1).
I nduo em estrutura. Quando trabalhamos com estruturas que apresentam uma lei de
formao bem definida, tais como cadeias, rvores, expresses, podemos usar para a
induo um nmero natural, como, por exemplo, o tamanho da estrutura considerada;
muitas vezes, entretanto, isso no necessrio, ou no conveniente, e podemos fazer a
induo de outra forma, baseada na prpria estrutura.
Por exemplo, dados um conjunto I e uma propriedade Q, suponha um conjunto X
definido como o menor conjunto, no sentido da incluso, que satisfaz 1 e 2 a seguir:
1. todo x I pertence a X, ou seja, I X.
2. se x X e Q(x,y), ento y X.
Ou seja, um elemento x de X ou pertence a um conjunto inicial I, ou satisfaz a
propriedade Q, que liga x a um (outro) elemento y de X. Para provarmos uma
propriedade P(x) para todos os elementos de X, basta provar:
I. (base da induo)
se x I, P(x)
II. (passo de induo)
se x X, P(x) e Q(x,y), ento P(y).
Este esquema pode ser generalizado para permitir vrias propriedades Q, e para
incluir a possibilidade que essas propriedades relacionem vrios elementos de X a um
(novo) elemento. Este caso mais geral de induo em estrutura est ilustrado a seguir.
Exemplo: Suponha que definimos uma expresso da seguinte maneira:
1. a, b, c so expresses.
2. Se e so expresses, ento + uma expresso.
3. Se e so expresses, ento * uma expresso.
4. Se uma expresso, [] uma expresso.
J.L.Rangel - Ling. Formais - 0-12
Suponha adicionalmente que queremos provar a propriedade: "toda expresso tem
comprimento (nmero de smbolos) mpar". Vamos indicar " tem comprimento mpar"
por P(). Devemos ento, para provar "para qualquer expresso , P()", provar:
1. P(a), P(b), P(c).
2. Se P() e P(), ento P(+).
3. Se P() e P(), ento P(*).
4. Se P(), ento P([]).
Neste caso, (1) a base da induo; (2)..(4) so passos de induo. Naturalmente, para
mostrar (1), basta observar que
|a| = |b| = |c| = 1;
para mostrar os demais, basta observar que
|+| = || + || + 1,
|*| = || + || + 1, e
|[]| = || + 2.
o
(reviso de 27fev97)