Assunto Relao e Funo

Tpicos em Matemtica Elementar

Antnio Calixto de Souza Filho
Escola de Artes, Cincias e Humanidades Universidade de So Paulo

18 de agosto de 2011

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Relao e Funo Produto Cartesiano Relao

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

subject

Relao e Funo Produto Cartesiano Relao

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Produto Cartesiano

Lembramos que podemos denir um objeto chamado par ordenado, denotado por (a, b) Assim se (a, b) um par ordenado, a igualdade (a, b) = (x , y ) implica necessariamente que a = x e b = y Veja que isto no ocorre para os conjuntos, ou seja, se {a, b} = {x , y }, no necessariamente a = x e b = y Uma Matemtico chamado Kuratowsky mostrou que (a, b) pode ser tomado como o conjunto {{a}, {a, b}}

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Produto Cartesiano

Lembramos que podemos denir um objeto chamado par ordenado, denotado por (a, b) Assim se (a, b) um par ordenado, a igualdade (a, b) = (x , y ) implica necessariamente que a = x e b = y Veja que isto no ocorre para os conjuntos, ou seja, se {a, b} = {x , y }, no necessariamente a = x e b = y Uma Matemtico chamado Kuratowsky mostrou que (a, b) pode ser tomado como o conjunto {{a}, {a, b}}

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Produto Cartesiano

Lembramos que podemos denir um objeto chamado par ordenado, denotado por (a, b) Assim se (a, b) um par ordenado, a igualdade (a, b) = (x , y ) implica necessariamente que a = x e b = y Veja que isto no ocorre para os conjuntos, ou seja, se {a, b} = {x , y }, no necessariamente a = x e b = y Uma Matemtico chamado Kuratowsky mostrou que (a, b) pode ser tomado como o conjunto {{a}, {a, b}}

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Produto Cartesiano

Lembramos que podemos denir um objeto chamado par ordenado, denotado por (a, b) Assim se (a, b) um par ordenado, a igualdade (a, b) = (x , y ) implica necessariamente que a = x e b = y Veja que isto no ocorre para os conjuntos, ou seja, se {a, b} = {x , y }, no necessariamente a = x e b = y Uma Matemtico chamado Kuratowsky mostrou que (a, b) pode ser tomado como o conjunto {{a}, {a, b}}

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Produto Cartesiano

Dados dois conjuntos A e B, denimos o conjunto A B = {(a, b), tal que, a A e b B}, como o produto cartesiano entre os conjuntos A e B. Podemos observar que |A B| = |A| |B|, isto , a cardinalidade do conjunto do produto cartesiano o produto das cardinalidades dos conjuntos. Assim, se A = {1, 2, 3} e B = {1, 1}, fcil vericar que |A B| = 6

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Produto Cartesiano

Dados dois conjuntos A e B, denimos o conjunto A B = {(a, b), tal que, a A e b B}, como o produto cartesiano entre os conjuntos A e B. Podemos observar que |A B| = |A| |B|, isto , a cardinalidade do conjunto do produto cartesiano o produto das cardinalidades dos conjuntos. Assim, se A = {1, 2, 3} e B = {1, 1}, fcil vericar que |A B| = 6

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Produto Cartesiano

Dados dois conjuntos A e B, denimos o conjunto A B = {(a, b), tal que, a A e b B}, como o produto cartesiano entre os conjuntos A e B. Podemos observar que |A B| = |A| |B|, isto , a cardinalidade do conjunto do produto cartesiano o produto das cardinalidades dos conjuntos. Assim, se A = {1, 2, 3} e B = {1, 1}, fcil vericar que |A B| = 6

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Produto Cartesiano

Vejamos que o axioma da separao garante a existncia do conjunto denido pelo produto cartesiano. Isso ocorre por conta da propriedade de Kuratowsky, (a, b) tem as mesmas propriedades de {{a}, {a, b}}. Assim o objeto {1, 2} {3, 4, 5} tem a mesma representao de {{{1}, {1, 3}}, {{1}, {1, 4}}, , {{2}, {2, 5}}} que um subconjunto de ({1, 2, 3, 4, 5}), portanto, pelo axioma da extenso {1, 2} {3, 4, 5} um conjunto.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Produto Cartesiano

Vejamos que o axioma da separao garante a existncia do conjunto denido pelo produto cartesiano. Isso ocorre por conta da propriedade de Kuratowsky, (a, b) tem as mesmas propriedades de {{a}, {a, b}}. Assim o objeto {1, 2} {3, 4, 5} tem a mesma representao de {{{1}, {1, 3}}, {{1}, {1, 4}}, , {{2}, {2, 5}}} que um subconjunto de ({1, 2, 3, 4, 5}), portanto, pelo axioma da extenso {1, 2} {3, 4, 5} um conjunto.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Produto Cartesiano

Vejamos que o axioma da separao garante a existncia do conjunto denido pelo produto cartesiano. Isso ocorre por conta da propriedade de Kuratowsky, (a, b) tem as mesmas propriedades de {{a}, {a, b}}. Assim o objeto {1, 2} {3, 4, 5} tem a mesma representao de {{{1}, {1, 3}}, {{1}, {1, 4}}, , {{2}, {2, 5}}} que um subconjunto de ({1, 2, 3, 4, 5}), portanto, pelo axioma da extenso {1, 2} {3, 4, 5} um conjunto.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

exemplos
Se A = B = {1, 2, 3}, o produto cartesiano AB = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)}, portanto observamos que h 3.3 = 9 pares ordenados; Se X = Y = R,o conjunto dos nmeros reais, ento o produto cartesiano X Y dene o plano cartesiano, representado por R2 . Seja l um retngulo delimitado pelas retas x = 1;x = 2;y = 1;y = 3 do plano cartesiano. Sejam os conjuntos X = {x /1 x 2, x R}=[1, 2] e Y = {y /1 y 3, y R}=[1.3]. O produto cartesiano X y dene, como conjunto, o mesmo retngulo l.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

exemplos
Se A = B = {1, 2, 3}, o produto cartesiano AB = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)}, portanto observamos que h 3.3 = 9 pares ordenados; Se X = Y = R,o conjunto dos nmeros reais, ento o produto cartesiano X Y dene o plano cartesiano, representado por R2 . Seja l um retngulo delimitado pelas retas x = 1;x = 2;y = 1;y = 3 do plano cartesiano. Sejam os conjuntos X = {x /1 x 2, x R}=[1, 2] e Y = {y /1 y 3, y R}=[1.3]. O produto cartesiano X y dene, como conjunto, o mesmo retngulo l.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

exemplos
Se A = B = {1, 2, 3}, o produto cartesiano AB = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)}, portanto observamos que h 3.3 = 9 pares ordenados; Se X = Y = R,o conjunto dos nmeros reais, ento o produto cartesiano X Y dene o plano cartesiano, representado por R2 . Seja l um retngulo delimitado pelas retas x = 1;x = 2;y = 1;y = 3 do plano cartesiano. Sejam os conjuntos X = {x /1 x 2, x R}=[1, 2] e Y = {y /1 y 3, y R}=[1.3]. O produto cartesiano X y dene, como conjunto, o mesmo retngulo l.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Denio Sejam A e B dois conjuntos. Dizemos que f uma relao do conjunto A sobre o conjunto B se f (A B). Neste caso, denotamos esta condio por f : A B, o conjunto A denominado domnio e o conjunto B denominado contra-domnio da relao f .

Para conhecermos qual a relao f , deve-se descrever a propriedade que relaciona os elementos do domnio, com os elementos do contra-domnio. A notao mais comum para esse m : a b, sendo por conveno a A, b B, seguida da propriedade que o elemento b deve satisfazer, desse modo o par ordenado (a, b) f , pois f A B. A seguir apresentamos alguns exemplos que elucidam essa notao.
A. C Souza Filho Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Denio Sejam A e B dois conjuntos. Dizemos que f uma relao do conjunto A sobre o conjunto B se f (A B). Neste caso, denotamos esta condio por f : A B, o conjunto A denominado domnio e o conjunto B denominado contra-domnio da relao f .

Para conhecermos qual a relao f , deve-se descrever a propriedade que relaciona os elementos do domnio, com os elementos do contra-domnio. A notao mais comum para esse m : a b, sendo por conveno a A, b B, seguida da propriedade que o elemento b deve satisfazer, desse modo o par ordenado (a, b) f , pois f A B. A seguir apresentamos alguns exemplos que elucidam essa notao.
A. C Souza Filho Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Exemplos
A relao menor : {1, 1, 2, 7} {1, 2, 5}, que associa a todo elemento do domnio a {1, 1, 2, 7} os elementos do contra-domnio b, tais que, a seja menor que b, isto , a b, tal que, a < b. Portanto (1, 1) menor , porm (1, 1) menor , pois no ocorre que 1 < 1, ou seja, a relao / menor no se verica para o par (1, 1); menor = {(1, 1), (1, 2), (1, 5), (1, 2), (1, 5), (2, 5)}; A relao reta : {1, 1, 2, 7} {1, 2, 5}, a b, tal que, 2b = a + 3. Neste caso, 1 2(1) = 2 = 1 + 3 (1, 1) reta. Vericando a propriedade para todos os pares ordenados do produto cartesiano, obtemos reta = {(1, 1), (1, 2), (7, 5)} {1, 1, 2, 7} {1, 2, 5}, que a relao dada;
A. C Souza Filho Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Exemplos
A relao menor : {1, 1, 2, 7} {1, 2, 5}, que associa a todo elemento do domnio a {1, 1, 2, 7} os elementos do contra-domnio b, tais que, a seja menor que b, isto , a b, tal que, a < b. Portanto (1, 1) menor , porm (1, 1) menor , pois no ocorre que 1 < 1, ou seja, a relao / menor no se verica para o par (1, 1); menor = {(1, 1), (1, 2), (1, 5), (1, 2), (1, 5), (2, 5)}; A relao reta : {1, 1, 2, 7} {1, 2, 5}, a b, tal que, 2b = a + 3. Neste caso, 1 2(1) = 2 = 1 + 3 (1, 1) reta. Vericando a propriedade para todos os pares ordenados do produto cartesiano, obtemos reta = {(1, 1), (1, 2), (7, 5)} {1, 1, 2, 7} {1, 2, 5}, que a relao dada;
A. C Souza Filho Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Exemplos
A relao t : ({x , y , z}) {1, 0, 1, 2}, tal que, X |X |, isto , o domnio o conjunto ({x , y , z}) = {, {x }, {y }, {z}, {x , y }, {x , z}, {y , z}, {x , y , z}}, portanto 0; {x } 1; {y , z} 2, porm {x , y , z} no est associado a qualquer elemento do contradomnio, pois 3 {1, 0, 1, 2} o contra-domnio. Desse modo, a relao / dada por t = {(, 0), ({x }, 1), ({y }, 1), ({z}, 1), ({x , y }, 2), ({x , z}, 2), ({y , z}, 2)} Seja R : R {0, 1}, x 1, se x 2 < 0, ou seja a relao R associa 1 aos nmeros reais cujo quadrado seja negativo. Mas o quadrado de qualquer nmero real sempre positivo, logo nenhum elemento de R associa-se ao nmero 1, portanto no existem pares ordenados para essa relao, ento R = .
A. C Souza Filho Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Exemplos
A relao t : ({x , y , z}) {1, 0, 1, 2}, tal que, X |X |, isto , o domnio o conjunto ({x , y , z}) = {, {x }, {y }, {z}, {x , y }, {x , z}, {y , z}, {x , y , z}}, portanto 0; {x } 1; {y , z} 2, porm {x , y , z} no est associado a qualquer elemento do contradomnio, pois 3 {1, 0, 1, 2} o contra-domnio. Desse modo, a relao / dada por t = {(, 0), ({x }, 1), ({y }, 1), ({z}, 1), ({x , y }, 2), ({x , z}, 2), ({y , z}, 2)} Seja R : R {0, 1}, x 1, se x 2 < 0, ou seja a relao R associa 1 aos nmeros reais cujo quadrado seja negativo. Mas o quadrado de qualquer nmero real sempre positivo, logo nenhum elemento de R associa-se ao nmero 1, portanto no existem pares ordenados para essa relao, ento R = .
A. C Souza Filho Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Exemplos

A relao par : N N/n 2n o subconjunto par N N, par = {(n, 2n)/n N}. 0 se n par ; 1 se n mpar neste caso bin = {(2n, 0), n N} {(2n + 1, 1), n N}. A relao bin : N N, tal que n

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Exemplos

A relao par : N N/n 2n o subconjunto par N N, par = {(n, 2n)/n N}. 0 se n par ; 1 se n mpar neste caso bin = {(2n, 0), n N} {(2n + 1, 1), n N}. A relao bin : N N, tal que n

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Denies
Sejam A, B dois conjuntos e R : A B uma relao. Utilizaremos a seguinte notao: Como vimos A o domnio e B o contra-domnio. Se x A e y B tal que (x , y ) R, ento dizemos que y uma imagem de x e denotamos isso por y = R(x ). O subconjunto do contra-domnio de todas as imagens de x , pela relao R, denominado imagem de x e denotado por R[x ], isto , R[x ] = {y /(x , y ) R} = {R(x )}. Se X A, R[X ] = {y /(x , y ) R, x X } = {R(x ), tal que, x X } denominado conjunto imagem do subconjunto X , ou simplesmente a imagem de X . Desse modo, R[A] o conjunto imagem da relao.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Denies
Sejam A, B dois conjuntos e R : A B uma relao. Utilizaremos a seguinte notao: Como vimos A o domnio e B o contra-domnio. Se x A e y B tal que (x , y ) R, ento dizemos que y uma imagem de x e denotamos isso por y = R(x ). O subconjunto do contra-domnio de todas as imagens de x , pela relao R, denominado imagem de x e denotado por R[x ], isto , R[x ] = {y /(x , y ) R} = {R(x )}. Se X A, R[X ] = {y /(x , y ) R, x X } = {R(x ), tal que, x X } denominado conjunto imagem do subconjunto X , ou simplesmente a imagem de X . Desse modo, R[A] o conjunto imagem da relao.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Denies
Sejam A, B dois conjuntos e R : A B uma relao. Utilizaremos a seguinte notao: Como vimos A o domnio e B o contra-domnio. Se x A e y B tal que (x , y ) R, ento dizemos que y uma imagem de x e denotamos isso por y = R(x ). O subconjunto do contra-domnio de todas as imagens de x , pela relao R, denominado imagem de x e denotado por R[x ], isto , R[x ] = {y /(x , y ) R} = {R(x )}. Se X A, R[X ] = {y /(x , y ) R, x X } = {R(x ), tal que, x X } denominado conjunto imagem do subconjunto X , ou simplesmente a imagem de X . Desse modo, R[A] o conjunto imagem da relao.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Denies
Sejam A, B dois conjuntos e R : A B uma relao. Utilizaremos a seguinte notao: Como vimos A o domnio e B o contra-domnio. Se x A e y B tal que (x , y ) R, ento dizemos que y uma imagem de x e denotamos isso por y = R(x ). O subconjunto do contra-domnio de todas as imagens de x , pela relao R, denominado imagem de x e denotado por R[x ], isto , R[x ] = {y /(x , y ) R} = {R(x )}. Se X A, R[X ] = {y /(x , y ) R, x X } = {R(x ), tal que, x X } denominado conjunto imagem do subconjunto X , ou simplesmente a imagem de X . Desse modo, R[A] o conjunto imagem da relao.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Denies
Sejam A, B dois conjuntos e R : A B uma relao. Utilizaremos a seguinte notao: Como vimos A o domnio e B o contra-domnio. Se x A e y B tal que (x , y ) R, ento dizemos que y uma imagem de x e denotamos isso por y = R(x ). O subconjunto do contra-domnio de todas as imagens de x , pela relao R, denominado imagem de x e denotado por R[x ], isto , R[x ] = {y /(x , y ) R} = {R(x )}. Se X A, R[X ] = {y /(x , y ) R, x X } = {R(x ), tal que, x X } denominado conjunto imagem do subconjunto X , ou simplesmente a imagem de X . Desse modo, R[A] o conjunto imagem da relao.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Denies
Sejam A, B dois conjuntos e R : A B uma relao. Utilizaremos a seguinte notao: Como vimos A o domnio e B o contra-domnio. Se x A e y B tal que (x , y ) R, ento dizemos que y uma imagem de x e denotamos isso por y = R(x ). O subconjunto do contra-domnio de todas as imagens de x , pela relao R, denominado imagem de x e denotado por R[x ], isto , R[x ] = {y /(x , y ) R} = {R(x )}. Se X A, R[X ] = {y /(x , y ) R, x X } = {R(x ), tal que, x X } denominado conjunto imagem do subconjunto X , ou simplesmente a imagem de X . Desse modo, R[A] o conjunto imagem da relao.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Podemos considerar a relao R restrita ao conjunto X , isso signica que a relao calculada somente sobre o subconjunto X , que denotamos por R|X . Desse modo R[A] denominado imagem da relao, ou simplesmente imagem.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Assim, no exemplo acima, menor (1) = 1, menor (1) = 2; menor [1] = {1, 2, 5}; menor [1] = {2, 5}; menor (7) no existe no contra-domnio, portanto menor [7] = ; a imagem da relao menor o conjunto {1, 2, 5}, pois todos estes elementos esto associados a algum elemento do domnio.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Assim, no exemplo acima, menor (1) = 1, menor (1) = 2; menor [1] = {1, 2, 5}; menor [1] = {2, 5}; menor (7) no existe no contra-domnio, portanto menor [7] = ; a imagem da relao menor o conjunto {1, 2, 5}, pois todos estes elementos esto associados a algum elemento do domnio.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Assim, no exemplo acima, menor (1) = 1, menor (1) = 2; menor [1] = {1, 2, 5}; menor [1] = {2, 5}; menor (7) no existe no contra-domnio, portanto menor [7] = ; a imagem da relao menor o conjunto {1, 2, 5}, pois todos estes elementos esto associados a algum elemento do domnio.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Assim, no exemplo acima, menor (1) = 1, menor (1) = 2; menor [1] = {1, 2, 5}; menor [1] = {2, 5}; menor (7) no existe no contra-domnio, portanto menor [7] = ; a imagem da relao menor o conjunto {1, 2, 5}, pois todos estes elementos esto associados a algum elemento do domnio.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Assim, no exemplo acima, menor (1) = 1, menor (1) = 2; menor [1] = {1, 2, 5}; menor [1] = {2, 5}; menor (7) no existe no contra-domnio, portanto menor [7] = ; a imagem da relao menor o conjunto {1, 2, 5}, pois todos estes elementos esto associados a algum elemento do domnio.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Nos exemplos seguintes temos os conjuntos imagens das relaes indicadas: reta[{1, 1, 2, 7}] = {1, 2, 5}; t[({x , y , z})] = {0, 1, 2}; R[R] = ; par [N] = {0, 2, , 2n, ...} bin[N] = {0, 1}

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Nos exemplos seguintes temos os conjuntos imagens das relaes indicadas: reta[{1, 1, 2, 7}] = {1, 2, 5}; t[({x , y , z})] = {0, 1, 2}; R[R] = ; par [N] = {0, 2, , 2n, ...} bin[N] = {0, 1}

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Nos exemplos seguintes temos os conjuntos imagens das relaes indicadas: reta[{1, 1, 2, 7}] = {1, 2, 5}; t[({x , y , z})] = {0, 1, 2}; R[R] = ; par [N] = {0, 2, , 2n, ...} bin[N] = {0, 1}

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Nos exemplos seguintes temos os conjuntos imagens das relaes indicadas: reta[{1, 1, 2, 7}] = {1, 2, 5}; t[({x , y , z})] = {0, 1, 2}; R[R] = ; par [N] = {0, 2, , 2n, ...} bin[N] = {0, 1}

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Nos exemplos seguintes temos os conjuntos imagens das relaes indicadas: reta[{1, 1, 2, 7}] = {1, 2, 5}; t[({x , y , z})] = {0, 1, 2}; R[R] = ; par [N] = {0, 2, , 2n, ...} bin[N] = {0, 1}

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Nos exemplos seguintes temos os conjuntos imagens das relaes indicadas: reta[{1, 1, 2, 7}] = {1, 2, 5}; t[({x , y , z})] = {0, 1, 2}; R[R] = ; par [N] = {0, 2, , 2n, ...} bin[N] = {0, 1}

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Podemos observar que, relativamente imagem, nosso referencial o domnio. Porm podemos tomar como referncia o contra-domnio. Nesse caso, referimo-nos ao termo imagem inversa.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Seja R : A B, uma relao. Se y B, o conjunto . R 1 [y ] = {x /(x , y ) R} denominado imagem inversa do elemento y , pela relao R. Analogamente, se Y B, R 1 [Y ] = {x /(x , y ) R, y Y }. Retomando um dos exemplos menor 1 [2] = {1, 1}; menor 1 [{1, 2, 5}] = {1, 1, 2}.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Seja R : A B, uma relao. Se y B, o conjunto . R 1 [y ] = {x /(x , y ) R} denominado imagem inversa do elemento y , pela relao R. Analogamente, se Y B, R 1 [Y ] = {x /(x , y ) R, y Y }. Retomando um dos exemplos menor 1 [2] = {1, 1}; menor 1 [{1, 2, 5}] = {1, 1, 2}.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Seja R : A B, uma relao. Se y B, o conjunto . R 1 [y ] = {x /(x , y ) R} denominado imagem inversa do elemento y , pela relao R. Analogamente, se Y B, R 1 [Y ] = {x /(x , y ) R, y Y }. Retomando um dos exemplos menor 1 [2] = {1, 1}; menor 1 [{1, 2, 5}] = {1, 1, 2}.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Seja R : A B, uma relao. Se y B, o conjunto . R 1 [y ] = {x /(x , y ) R} denominado imagem inversa do elemento y , pela relao R. Analogamente, se Y B, R 1 [Y ] = {x /(x , y ) R, y Y }. Retomando um dos exemplos menor 1 [2] = {1, 1}; menor 1 [{1, 2, 5}] = {1, 1, 2}.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Seja R : A B uma relao. Segundo a denio R A B, isto , R (A B) o conjunto de todos os subconjuntos de A B. Nessas condies, dados os conjuntos A e B, conhecemos TODAS as possveis relaes de A em B. Por exemplo, se A = {1, 2} e B = {1, 1}, existem 24 relaes possveis de A em B, pois |A B| = 2.2 = 4. Qualquer relao R : A B um subconjunto do produto cartesiano, isto , R : A B, R A B R (A B); Vimos que |(A B)| = 2|AB| = 24 = 16. Este resultado de fcil demonstrao, bastando generalizar os argumentos anteriores.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Seja R : A B uma relao. Segundo a denio R A B, isto , R (A B) o conjunto de todos os subconjuntos de A B. Nessas condies, dados os conjuntos A e B, conhecemos TODAS as possveis relaes de A em B. Por exemplo, se A = {1, 2} e B = {1, 1}, existem 24 relaes possveis de A em B, pois |A B| = 2.2 = 4. Qualquer relao R : A B um subconjunto do produto cartesiano, isto , R : A B, R A B R (A B); Vimos que |(A B)| = 2|AB| = 24 = 16. Este resultado de fcil demonstrao, bastando generalizar os argumentos anteriores.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Seja R : A B uma relao. Segundo a denio R A B, isto , R (A B) o conjunto de todos os subconjuntos de A B. Nessas condies, dados os conjuntos A e B, conhecemos TODAS as possveis relaes de A em B. Por exemplo, se A = {1, 2} e B = {1, 1}, existem 24 relaes possveis de A em B, pois |A B| = 2.2 = 4. Qualquer relao R : A B um subconjunto do produto cartesiano, isto , R : A B, R A B R (A B); Vimos que |(A B)| = 2|AB| = 24 = 16. Este resultado de fcil demonstrao, bastando generalizar os argumentos anteriores.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Seja R : A B uma relao. Segundo a denio R A B, isto , R (A B) o conjunto de todos os subconjuntos de A B. Nessas condies, dados os conjuntos A e B, conhecemos TODAS as possveis relaes de A em B. Por exemplo, se A = {1, 2} e B = {1, 1}, existem 24 relaes possveis de A em B, pois |A B| = 2.2 = 4. Qualquer relao R : A B um subconjunto do produto cartesiano, isto , R : A B, R A B R (A B); Vimos que |(A B)| = 2|AB| = 24 = 16. Este resultado de fcil demonstrao, bastando generalizar os argumentos anteriores.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Seja R : A B uma relao. Segundo a denio R A B, isto , R (A B) o conjunto de todos os subconjuntos de A B. Nessas condies, dados os conjuntos A e B, conhecemos TODAS as possveis relaes de A em B. Por exemplo, se A = {1, 2} e B = {1, 1}, existem 24 relaes possveis de A em B, pois |A B| = 2.2 = 4. Qualquer relao R : A B um subconjunto do produto cartesiano, isto , R : A B, R A B R (A B); Vimos que |(A B)| = 2|AB| = 24 = 16. Este resultado de fcil demonstrao, bastando generalizar os argumentos anteriores.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Para os conjuntos A e B acima, seja C = A B = {(1, 1), (1, 1), (2, 1), (2, 1)}; (C ) = {, {(1, 1)}, , {(1, 1), (1, 1), (2, 1)}, , {(1, 1), (1, 1), (2, 1), (2, 1)}}, cujos elementos so as relaes de A em B. Assim o nmero de elementos possveis para essas relaes varia entre 0 e 4. Podemos determinar o nmero de relaes com exatamente k elementos, 0 k |C |, isto |C | relaes tm exatamente k k elementos. Assim temos controle sobre todas as relaes possveis quando o domnio ou o contradomnio so conjuntos nitos.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Para os conjuntos A e B acima, seja C = A B = {(1, 1), (1, 1), (2, 1), (2, 1)}; (C ) = {, {(1, 1)}, , {(1, 1), (1, 1), (2, 1)}, , {(1, 1), (1, 1), (2, 1), (2, 1)}}, cujos elementos so as relaes de A em B. Assim o nmero de elementos possveis para essas relaes varia entre 0 e 4. Podemos determinar o nmero de relaes com exatamente k elementos, 0 k |C |, isto |C | relaes tm exatamente k k elementos. Assim temos controle sobre todas as relaes possveis quando o domnio ou o contradomnio so conjuntos nitos.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Para os conjuntos A e B acima, seja C = A B = {(1, 1), (1, 1), (2, 1), (2, 1)}; (C ) = {, {(1, 1)}, , {(1, 1), (1, 1), (2, 1)}, , {(1, 1), (1, 1), (2, 1), (2, 1)}}, cujos elementos so as relaes de A em B. Assim o nmero de elementos possveis para essas relaes varia entre 0 e 4. Podemos determinar o nmero de relaes com exatamente k elementos, 0 k |C |, isto |C | relaes tm exatamente k k elementos. Assim temos controle sobre todas as relaes possveis quando o domnio ou o contradomnio so conjuntos nitos.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Para os conjuntos A e B acima, seja C = A B = {(1, 1), (1, 1), (2, 1), (2, 1)}; (C ) = {, {(1, 1)}, , {(1, 1), (1, 1), (2, 1)}, , {(1, 1), (1, 1), (2, 1), (2, 1)}}, cujos elementos so as relaes de A em B. Assim o nmero de elementos possveis para essas relaes varia entre 0 e 4. Podemos determinar o nmero de relaes com exatamente k elementos, 0 k |C |, isto |C | relaes tm exatamente k k elementos. Assim temos controle sobre todas as relaes possveis quando o domnio ou o contradomnio so conjuntos nitos.

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Proposio Seja R : A B, uma relao. Tal que |A| = m e |B| = n. Se |R| denotar o nmero de relaes de A em B, e |Rk | a quantidade dessas relaes, com exatamente k elementos, ento: |R| = 2m.n ; |Rk | =
m.n k

A. C Souza Filho

Axiomas de Teoria de Conjuntos

Assunto Relao e Funo

Produto Cartesiano Relao

Proposio Seja R : A B, uma relao. Tal que |A| = m e |B| = n. Se |R| denotar o nmero de relaes de A em B, e |Rk | a quantidade dessas relaes, com exatamente k elementos, ento: |R| = 2m.n ; |Rk | =
m.n k

A. C Souza Filho

Axiomas de Teoria de Conjuntos