Matemtica Discreta Relaes binrias descritas por conjuntos ordenados em pares e verbalmente.

Relaes Binrias
Se ouvirmos que duas pessoas, Henriqueta e Horcio, se relacionam, entenderemos que existe algum lao afetivo entre eles que (Henriqueta, Horcio) distinguem-se dos demais pares ordenados de pessoas por haver uma relao (so parentes, namorados, amigos etc.) que Henriqueta e Horcio verificam. O anlogo matemtico distinguir determinados pares ordenados de objetos dos demais porque seus elementos satisfazem alguma relao que os componentes dos demais pares, em geral, no satisfazem. Exemplo 1 - Sejam S = {1, 2} e T = {2, 3}; ento temos S X T = {(1, 2), (1, 3), (2, 2), (2,3)). Se estivermos interessados na relao de igualdade, ento (2, 2) ser o nico par que se distinguir no produto S X T, isto , o nico par ordenado cujas componentes so iguais. Se estivermos interessados na propriedade do primeiro nmero ser menor do que o segundo, escolheremos os pares (1, 2), (1, 3) e (2, 3) como os pares ordenados de S X T que se distinguem dos demais por apresentarem tal propriedade. No Exemplo 1, poderamos selecionar os pares ordenados (x, y) dizendo que x = y ou que x < y. Analogamente, a notao indica que o par ordenado (x, y) satisfaz relao p. A relao p pode ser descrita com palavras ou simplesmente pela enumerao dos pares ordenados que a satisfazem. Sejam S= {1,2} e T = {2, 3, 4}. Uma relao p no conjunto S X T= {(1, 2), (1, 3), (1, 4), (2, y2), (2, 3), (2, 4)} pode ser definida por se, e somente se, x= y, de forma mais a b r e v i a d a , P o r t a n t o ( l ,2) e (2, 4) satisfazem p. Opcionalmente, poderamos ter definido a mesma p dizendo que {(1, 2), (2, 4)) oconjunto de pares ordenados que satisfazem p. Estamos falando de relaes binrias, isto , relaes entre dois objetos. No Exemplo 2, uma maneira de definir a relao binria p especificar um subconjunto de S X T. Formalmente, uma relao binria um subconjunto de S X T. Definio: Relao Binria Dados os conjuntos S e T, uma relao binria em S x T um subconjunto de S X T. Agora que sabemos que uma relao binria p um subconjunto, vemos que

Normalmente, uma relao binria ser definida atravs da descrio da relao ao invs de listarmos todos os seus pares ordenados. Isto porque a descrio nos fornece uma propriedade caracterstica dos elementos da relao; isto , um predicado binrio realizado por certos pares ordenados. Sejam S = {1, 2} e T= {2, 3,4}. Seja dada pela descrio for mpar. Ento (1, 2) (1,4) (2,3) . ,

Sejam S= {1,2} e T= {2,3,4}. Se p for definida em S X T por = {(2, 3), (2, 4)}, ento 2 3 e 2 , 4 so verdadeiras, mas, por exemplo, 1 4 no o . Neste caso p no tem uma descrio verbal bvia.
. Exemplo. Pares ordenados pertencentes a p.

Definio: Relao n-ria Dados os conjuntos S1, S2,..., Sn, uma relao n-ria em S1, S2,..,Sn, um subconjunto de S1, X S2 X... X Sn. Um caso especial de relao n-ria uma relao unria p em um conjunto S, que apenas um subconjunto particular de S. Um elemento satisfaz se e somente se x pertencer ao subconjunto. Freqentemente estaremos interessados em relaes binrias ou n-rias onde todos os conjuntos dados so o mesmo conjunto S. Essas relaes so chamadas de relaes no conjunto S, como definimos a seguir. Definio: Relaes em um conjunto S. Uma relao binria em um conjunto S um subconjunto de S2 (o conjunto de pares ordenados de elementos de S). Analogamente, uma relao n-ria em um conjunto S um subconjunto de S" (um conjunto de n-uplas ordenadas de elementos de S). Se p for uma relao binria em S X T, ento p consistir em um conjunto de pares ordenados da forma {s, t). Uma determinada primeira componente s e uma determinada segunda componente t podem ser relacionadas diversas vezes na relao. A relao um-para-um (ou injetiva ou biunvoca) se cada primeira componentes e cada segunda componente t aparecem apenas uma vez na relao. A relao um-para-vrios se alguma primeira componente s aparece mais de uma vez; isto , se um s faz par com mais de um t. Ela dita vrios-para-um (ou unvoca) se alguma segunda componente de t fizer par com mais de um s. Finalmente, ela dita vrios-para-vrios se pelo menos um s fizer par com mais de um t e pelo menos um t fizer par com mais de um s. Essas quatro possibilidades Exemplo abaixo. Perceba que nem todos os valores de S e de T precisam ser componentes de pares ordenados de p. Identifique cada uma das relaes em S X T apresentadas abaixo como sendo um-paraum, um-para-vrios, vrios-para-um e vrios-para-vrios, onde S = {2, 5, 7, 9} e T = {3, 4, 5}. a. {(5, 3), (7, 5), (9, 3)} b. {(2,4), (5,5), (7, 3)} c. {(7, 4), (2, 5), (9, 4), (2, 3)}

Definio e exemplos de funes. Domnio, contra-domnio e imagem. Dados dois conjuntos a e b, denomina-se funo de a em b toda relao que a cada elemento de a associa um nico elemento de b. costuma-se chamar x de varivel independente do domnio, porque ela livre para assumir qualquer valor do domnio e chamar y de varivel dependente da imagem, porque o seu valor depende da escolha de x.

Em particular, se os conjuntos A e B forem conjuntos de nmeros reais, a cada nmero real x de A , deve corresponder, pela f, um nico nmero real y em B . Empregando a linguagem das funes: O conjunto A o domnio da funo. O conjunto B o contradomnio da funo. O elemento y de B, associado ao elemento x de A, denominado imagem de x. O subconjunto de B formado pelos elementos que so imagens dos elementos de A denominado conjunto imagem ou apenas imagem da funo. Exemplos: 1) Verificando em quais itens temos funes:

A)

- No

B)

- Sim

C) E ainda:

- Sim

Uma funo uma lei que associa a cada elemento de um conjunto A chamado domnio, um nico elemento de um conjunto B, chamado contra-domnio. Neste caso se denotarmos a funo por f ento o conjunto A denotado por Dom(f) e podemos representar esta definio por: f:AB Assim para cada x A existe um nico y B e denotamos y=f(x) e estes elementos de B formaro a imagem da funo f, que ser denotada por Im(f), isto Im(f)={y B/y=f(x) para x A}. Para cada um dos casos abaixo verifique se o exposto representa ou no uma funo, e em caso afirmativo determine o seu Domnio e a sua Imagem: 1) x 0 5 7 10 20

f(x) 0

25 30 60

No funo pois para 5 no existe imagem. 2) x -2 0 2 4 100

g(x) -5 -6 2 8 15 funo pois para todos os valores de x existe um valor em g(x). 3) x -2 -2 2 6 10

h(x) -5 -3 2 14 20 No funo pois para -2 existem duas imagens . 4) f ( x )

x 5x 6 x2

No funo pois x-2 no pode assumir o valor 0 sendo assim no existe imagem para x=2.

5) g(x) 4 x 2 No funo pois para cada valor de x existem duas imagens

Funo do 1 Grau Denomina-se funo do 1o grau ou toda funo f : R -> R definida por f(x)=mx + b, ou f(x)=ax+b, com (m ou a) e b pertencente aos R e (m ou a) diferente de zero. Exemplos: 1. f(x)=-3x+1 2. f(x)=2x+7 3. f(x)=(1/2)x+4 na funo f(x) = mx + b , se b = 0 , f dita funo linear e se b 0 f dita funo afim. Nota: consta que o termo AFIM foi introduzido por Leonhard Euler (pronuncia-se iler) - excepcional matemtico suo - 1701/1783). Grfico Grfico uma forma prtica de representar e visualizar uma funo ou obter informaes sobre determinada situao. O grfico da funo do 1o grau, ou seja da funo f(x) = mx + b representado por uma reta no paralela ao eixo x nem ao eixo y, onde m o coeficiente angular e b o coeficiente linear. Quando m >0 a funo crescente e quando m<0 a funo decrescente. O grfico intercepta o eixo dos x na raiz da equao f(x) = 0 e, portanto, no ponto de abcissa x = - b/m . Observe, abaixo, grficos da funo y = mx + b para b=0 e m = 1 , 2 -2 , -0.5 , respectivamente. O grfico da funo linear uma reta que sempre passa pela origem (0,0).

Se b diferente de zero, o grfico da funo afim uma reta que no passa pela origem (0,0). De um modo geral, o grfico cartesiano de uma funo da forma f(x) = mx + b representado por uma reta no vertical e de equao: y = mx + b 5

Abaixo esto traados grficos de funes do tipo y=mx+b para m =1 e b = 1 , -1 e 0 .

A constante b chama-se coeficiente linear e a constante m chamada declive ou coeficiente angular dessa reta. O grfico intercepta o eixo dos y no ponto (0,b) , onde b o coeficiente linear . Lembrete: Toda funo afim linear, mas nem toda funo linear afim. Caractersticas Uma caracterstica evidente de uma funo linear est visvel em seu grfico, pois a reta da funo passa pelo centro da origem (0,0).

J uma funo afim, tal reta no passa pela origem, pois seu coeficiente linear diferente de 0.

Zeros ou razes da funo O zero da F(x) = ax + b -> 0 ax > -b x = -b/a Estudo do sinal Para fazer o estudo do sinal da funo do 1o grau y = ax + b, preciso determinar os valores de x para os quais se tenha y < 0, y = 0 ou y > 0. O valor de x o zero da funo (x = -b/a) Funo crescente ( a >0 ) x > -b/a y > 0 x = -b/a y = 0 x < -b/a y <0 Funo decrescente (a < 0) x > -b/a -> y <0 x = -b/a -> y = 0 x < -b/a -> y > 0 Propriedades de funes injetivas; sobrejetivas; bijetivas. Funo Sobrejetora Seja f uma funo de A em B; dizemos que ela sobrejetora se e somente se Im(f) = B. 7 funo o valor de x quando f(x) = 0

Im(f) = CD(f) Em cada elemento de B=CD(f) chega pelo menos uma flecha

Funo Injetora Seja f uma funo de A em B; dizemos que ela injetora se e somente se quaisquer que sejam os elementos x e x em A, se x x temos ento f(x) f(x). Em cada elemento de B=CD(f) chega no mximo uma flecha.

Funo Bijetora Seja f uma funo de A em B; dizemos que ela bijetora se e somente se f sobrejetora e injetora. Em cada elemento de B=CD(f) chega uma e uma s flecha

Contagem de Funes
Suponha que S e T so conjuntos finitos, sigamos que O que podemos afirmar sobre o nmero de funes com as diversas propriedades que levam S em T Primeiro, vamos apenas contar o nmero de funes f: S x T sem a restrio de gozar de qualquer propriedade. Podemos usar o Princpio da Multiplicao porque podemos imaginar que desejamos definir uma funo atribuindo uma imagem para cada um dos m elementos de seu domnio. Isto nos d uma seqncia de m escolhas. Cada passo tem n possibilidades, uma vez que todo elemento de S pode ser levado a qualquer elemento de T. Portanto, o nmero de funes possveis

Quantas funes injetivas existem de S em T? Precisamos ter m n ou no poderemos ter qualquer funo injetiva. (Todos os elementos de S devem ser levados em elementos diferentes de T e se m > n, ento existem muitos elementos em S para que seja possvel criar uma relao um-para-um. Na verdade, este argumento o princpio da casa do pombo.) Podemos novamente resolver este problema atravs de uma seqncia de atribuies de uma imagem para cada elemento em 5, mas desta vez no poderemos mais usar qualquer elemento da imagem que j tenha sido usado antes. Pelo Princpio da Multiplicao, temos, como resultado, o produto que comea com os fatores n(n - 1 ) ( n - 2 ) ... e precisa conter um total de m fatores, portanto, o resultado n(n - 1 ) ( n - 2 ) ... [n -(m-1)] = n (n - l ) ( n - 2 ) ... (n -m + 1 )

E quantas funes sobrejetivas existem de S em T? Desta vez precisamos ter m a fim de que haja suficientes valores do domnio para fornecer pr-imagens para todos os elementos do contradomnio. Nossa estratgia ser subtrair o nmero de funes que no sejam sobrejetivas do nmero total de funes, que j conhecemos. Para contar o nmero de funes no-sobrejetivas, usaremos o Princpio da Incluso e Excluso. Enumeremos os elementos do conjunto T como t1, ..., tn,. Para cada i, 1 seja Ai das funes de S a T que no levam nenhum elemento do domnio ao elemento ti. (Estes conjuntos A-, no sero disjuntos, mas toda funo no-sobrejetiva pertencer a pelo menos um deles.) A demonstrao fica com pesquisa. Assim temos:

Exemplo : Sejam S = {A, B, C} e T = {a, b}. Encontre o nmero de funes de S em T. Neste exemplo, m = 3 e n = 2. Por nosso teorema sobre o nmero de funes, existem 2 - C(2, 1)(1) = 8 - 2 . 1 = 6 deste tipo.
3 3

Material construido a partir das listas de exerccios e trabalhos da Graduao - Prof. Jesaas Uso exclusivo do curso de MD somente para sala de aula. Bibliografia GERSTING, Judith L. . Fundamentos matemticos para a cincia da computao - 4 ed. Rio

de Janeiro: LTC, 2001. 538p.

10