Você está na página 1de 6

Matemtica Discreta

Aula n 12 Francisco Restivo 2006-04-07

Funes injectivas e sobrejectivas: Uma funo pode ser tal que elementos diferentes do seu domnio tenham a mesma imagem no seu codomnio, Ou ento que existam elementos do seu codomnio que no so imagem de nenhum elemento do seu domnio. Definies: Seja f: A B uma funo. A funo f diz-se injectiva se a,aA, se (a,b),(a,b)f aa ento bb. A funo f diz-se sobrejectiva se bB, aA tal que (a,b)f. Em RR, a funo quadrado no injectiva nem sobrejectiva. E a funo 3x 7? 2

Teorema: Dada uma funo f: A B entre dois conjuntos finitos, Se f injectiva, ento |A| |B| Se f sobrejectiva, ento |A| |B|

Funo injectiva: todas as imagens so diferentes

Funo sobrejectiva: todas os elementos de B so imagens

Teoremas: Se duas funes f: A B e g: B C so ambas injectivas, ento a funo composta gf tambm injectiva.

Se duas funes f: A B e g: B C so ambas sobrejectivas, ento a funo composta gf tambm sobrejectiva.

No funciona em sentido contrrio, mas Teoremas: Dadas duas funes f: A B e g: B C se a funo composta gf injectiva, ento f injectiva.

Dadas duas funes f: A B e g: B C se a funo composta gf sobrejectiva, ento g sobrejectiva.

Funes bijectivas: Uma funo f: A B simultneamente injectiva e sobrejectiva, dizse bijectiva (ou uma bijeco).

Funo bijectiva: correspondncia um a um

Teoremas: A composio de duas bijeces uma bijeco. Se A e B so finitos, ento |A| = |B| A funo identidade uma bijeco. 6

Funo inversa: Ser que invertendo o sentido das setas da funo f: A B se obtem uma funo g: B A? No garantido! Tem se ser sobrejectiva, para todos os elementos de B terem uma imagem. E tem de ser injectiva, para nenhum elemento de B ter mais do que uma imagem. Teorema: Se f: A B uma funo, a relao g = {(b, a) B A: (a, b) f} uma funo se e s se f uma bijeco. Definio: Se f: A B uma bijeco, a funo g: B A definida por g(b)=a se e s se f(a)=b designa-se por funo inversa de f, f-1. Teorema: Se f: A B uma funo e f -1: B A a sua inversa, f-1f e ff -1 so identidades. 7

Cardinalidade (referncia muito breve a Cantor): Segundo Cantor, dois conjuntos finitos A e B tm a mesma cardinalidade, |A| = |B|, se existir uma bijeco f: A B. Um conjunto com a cardinalidade de Z+ diz-se infinito contvel. A sua cardinalidade ?0 (alef zero). O conjunto R no infinito contvel. No possvel encontrar uma bijeco f: Z+ R (prova-se por contradio). A sua cardinalidade c (de continuum). Cantor descobriu uma sequncia infinita de diferentes cardinalidades infinitas: ?0 = |Z+| ?1 = |P(Z+)| ?2 = |P(P(Z+))|, etc.

Hiptese de Cantor: c = ?1 Gdel, outro grande matemtico, provou em 1938 que impossvel provar que c ? 1. Definies de Cantor: Sendo A e B dois conjuntos finitos tais que |A| = a e |B| = , ento a + = |AB|, desde que AB=F a = |AB| a = |C|, em que C o conjunto de todas as funes A B. O conjunto de todas as funes binrias com N bites tem cardinalidade 2N. Porqu?

Aplicao s bases de dados relacionais: Uma base de dados relacional com atributos A1, A2, , An um conjunto de relaes entre os conjuntos Xi de dados associado aos atributos Ai. Cada relao R X1X2 Xm uma tabela. Cada elemento um registo. Dependncia funcional: Um atributo Aj diz-se funcionalmente dependente do atributo Ai se no ocorrem registos com o mesmo valor de Ai e diferentes valores de Aj. Se projectarmos a relao R nos atributos Ai e Aj, obtem-se uma relao S com todos os pares ordenados (xi, xj) que figuravam em R. Se S for uma funo, h dependncia funcional entre Ai e Aj: Aj deduz-se de Ai.

10

Exemplo: Verificar se h dependncia funcional entre A1 e A3.


A1 1 1 1 2 3 3 3 A2 1 2 3 4 3 1 2 A3 2 2 2 1 2 2 2 A4 1 3 5 1 2 4 4

A1

A3

X1={1, 2, 3}, X2={1, 2, 3, 4}, X3={1, 2}, X4={1, 2, 3, 4, 5} S = {(1, 2), (2, 1), (3, 2)} uma funo! A coluna A3 redundante (desperdia espao) e pode originar erros. 11

Exemplo mau:
No. encomenda ... Referncia ... Nome ... Morada Quantidade Preo ... ... ...

Se fizermos uma projeco por Nome e Morada, corremos o risco de obter mais que uma morada para o mesmo nome, por simples erro de introduo de dados! Segunda forma normal: nenhum atributo no primrio funcionalmente dependente em nenhum subconjunto de uma chave. Terceira forma normal: alm disso, sempre que um atributo no primrio funcionalmente dependente de um conjunto de atributos, este contem uma chave como um subconjunto.

12