Cap tulo 8 Produto cartesiano e rela c oes

As deni c oes neste e no pr oximo cap tulo s ao fundamentais para enunciarmos o axioma da escolha. Come camos denindo pares ordenados, produto cartesiano e rela c oes.

8.1

Pares ordenados

O axioma do par nos garante construirmos, a partir de dois conjuntos a e b, o par {a, b}. Por em, nessa deni c ao de par a ordem dos elementos n ao importa, de modo que {a, b} = {b, a}. Na deni c ao de par ordenado, a igualdade s o vale quando a ordem e a mesma. Deni c ao 8.1 Dados dois conjuntos a e b, denimos o par ordenado (a, b) como o conjunto {{a}, {a, b}}. Ou seja, x(x (a, b) y ((y x y = a) (y x (y = a y = b)))) f E acil vericar que o par ordenado entre quaisquer conjuntos existe (aplicando tr es vezes o axioma do par: uma para formar o conjuntoi {a}, outra para o conjunto {a, b} e outra para o conjunto {{a}, {a, b}}) e eu nico (aplica c ao padr ao do axioma da extens ao). Assim, podemos introduzir a nota c ao (a, b) como mais um s mbolo funcional bin ario na nossa linguagem estendida da teoria dos conjuntos (ou mais uma abreviatura). Notemos que, quando a = b, o par ordenado (a, b) e igual ao conjunto {{a}}. Teorema 8.2 Dois pares ordenados (a, b) e (c, d) s ao iguais se, e somente se, a = c e b = d. Demonstra c ao: Um dos lados da equival encia e trivial: se a = c e b = d ent ao os pares ordenados (a, b) e (c, d) s ao iguais. Mostraremos o outro lado. Suponha que (a, b) = (c, d). Como {a} (a, b) temos que {a} (c, d). Logo {a} = {c} ou {a} = {c, d}. Em ambos os casos temos que a = c. 47

48

CAP ITULO 8. PRODUTO CARTESIANO E RELAC OES

Para provarmos que b = d, separemos em dois casos. No primeiro caso, supomos que a = b, o que implica que (a, b) = {{b}}. Teremos que {c, d} (a, b) e, portanto, {c, d} = {b}, provando que b = d. No segundo caso, supomos que a = b. Como {a, b} (c, d) temos {a, b} = {c} ou {a, b} = {c, d}. Como {c} {c, d}, em ambos os casos o axioma da extens ao garante que b {c, d}. N ao podemos ter b = c, pois provamos que a = c e assumimos que a = b. Portanto, b = d.

8.2

Produto cartesiano

O pr oximo teorema nos garante a exist encia do produto cartesiano entre dois conjuntos. Teorema 8.3 Dados dois conjuntos A e B , existe o conjunto de todos os pares ordenados (a, b) que satisfazem a A e b B . Demonstra c ao: Usando os axiomas do par, da uni ao, das partes e da separa c ao, denimos o conjunto X = {x P (P (A B )) : ab(a A b B x = (a, b))} Para vericarmos que X atende as condi c oes do teorema, s o resta vericarmos que todo par ordenado (a, b), onde a A e b B , pertence a P (P (A B )). De fato, {{a}, {a, b}} P (P (A B )) e equivalente a {{a}, {a, b}} P (A B ), que ocorre se, e somente se, {a} P (A B ) e {a, b} P (A B ), o que e verdade, pois {a} A B e {a, b} A B . O conjunto estabelecido pelo Teorema 8.3 e chamado de produto cartesiano de A e B , e ser a denotado por A B . Introduzimos essa nota c ao como outra abreviatura, desempenhando o papel de um s mbolo funcional bin ario. Quando A e B s ao iguais, utilizamos uma nota c ao especial: denotamos o produto cartesiano A A por A2 .

8.3

Rela c oes

Uma rela c ao e um subconjunto de um produto cartesiano. Deni c ao 8.4 Dizemos que R e uma rela c ao (ou rela c ao bin aria ) entre A e B se e um subconjunto de A B . Quando R e uma rela c ao, utilizamos a nota c ao xRy como abreviatura de (x, y ) R. Nos pr oximos cap tulos estudaremos algumas propriedades das rela c oes, bem como algumas rela c oes especiais, como as fun c oes, as rela c oes de equival encia e as rela c oes de ordem.

 8.3. RELAC OES

49

Exerc cios
1. Encontre uma deni c ao alternativa para par ordenado de modo que o Teorema 8.2 continue valendo. Justique. 2. Prove que A B = se, e somente se A = ou B = . 3. Prove que, se A C e B D, ent ao A B C D. 4. Vale a rec proca do exerc cio 3? Justique. 5. Descreva todos os elementos de P (2 2).