Escolar Documentos
Profissional Documentos
Cultura Documentos
Acadêmico: R.A.
x R y ⇔ x + y é mútiplo de 3.
R={( 1,2 ) , ( 1,5 ) , ( 2,1 ) , ( 2,4 ) , ( 3,3 ) , ( 3,6 ) , ( 4,2 ) , ( 4,5 ) , ( 5,1 ) , ( 5,4 ) , ( 6,3 ) , ( 6,6 ) }
x R y ⇔ x + y é mútiplo de 3
Vemos que xRx para todo x ∈ A , pois x−x=0 e 0 é múltiplo de 3. Assim, R é uma
relação reflexiva. Vemos também que os pares ordenados {(1,1),(2,2),(3,3),(4,4),
(5,5) e (6,6)} pertencem a relação R. Portanto, a relação R é reflexiva em A.
Teorema:
x+0=x (premissa 1)
x+s(n)=s(x+n) (premissa 2)
0 ∈ A , 0+0=0
xRy ⇔ x+ y é mútiplo de 2
xRy ⇔ x+ y é mútiplo de 2
Z={…−3 ,−2,−1,0,1,2,3 , …}
R={... (−3 ,−3 ) , (−3 ,−1 ) , (−3,1 ) , (−3,3 ) , (−2 ,−2 ) , (−2,0 ) , (−2,2 ) ,
(−1 ,−3 ) , (−1 ,−1 ) , (−1,1 ) , (−1,3 ) , ( 0 ,−2 ) , ( 0,0 ) , ( 0,2 ) , ( 1 ,−3 ) , ( 1 ,−1 ) ,
Vemos que xRx para todo x ∈ Z , pois x−x=0 e 0 é múltiplo de 2. Assim, R é uma
relação reflexiva. Observe também abaixo:
Teorema:
x+0=x (premissa 1)
x+s(n)=s(x+n) (premissa 2)
0 ∈ A , 0+0=0
Finalmente, suponhamos que xRy e yRz . Então, como xRy temos que y + x é múltiplo
de 2.
xRy ⇔ x+ y é mútiplo de 2
Sobre Z .Essa é uma relação de ordem parcial? R é uma relação de ordem total?
Justifique.
xRy ⇔ x+ y é mútiplo de 2
Z={…−3 ,−2,−1,0,1,2,3 , …}
R={... (−3 ,−3 ) , (−3 ,−1 ) , (−3,1 ) , (−3,3 ) , (−2 ,−2 ) , (−2,0 ) , (−2,2 ) ,
(−1 ,−3 ) , (−1 ,−1 ) , (−1,1 ) , (−1,3 ) , ( 0 ,−2 ) , ( 0,0 ) , ( 0,2 ) , ( 1 ,−3 ) , ( 1 ,−1 ) ,
Vemos que xRx para todo x ∈ Z , pois x−x=0 e 0 é múltiplo de 2. Assim, R é uma
relação reflexiva. Observe também abaixo:
Além disso, suponhamos que x R y e yRz .Então, como xRy temos que y + x é
múltiplo de 2.
Isso pode ser comprovado nos seguintes pares ordenados: (-3,-3), (-2,-2), (-1,-1),
(0,0), (1,1), (2,2), (3,3) e assim por diante pela esquerda e pela direita. Portanto, a
relação R é uma relação de ordem parcial.
A propriedade total é satisfeita pelos pares (a, b), (b, c), (a, c) para os pares da
forma (x,y), com x , y ∈ Z e x ≠ y .
Assim como, pelos pares (a, a), (b, b), (c, c) para os pares da forma (x, y), com
x , y ∈ Z e x= y .