Академический Документы
Профессиональный Документы
Культура Документы
(x, y) R (a, b) ⇔ x − a ∈ Z e y − b ∈ Z.
1
2. Prove usando indução que
1 1 1 n
+ + ··· + = , ∀n ∈ N, n > 1.
1·3 3·5 (2n − 1) · (2n + 1) 2n + 1
De fato,
1 1 1 1 n 1
+ + ··· + + = +
1·3 3·5 (2n − 1) · (2n + 1) (2n + 1) · (2n + 3) 2n + 1 (2n + 1) · (2n + 3)
1 1 (n + 1)(2n + 1) n+1
= n+ = = .
2n + 1 2n + 3 (2n + 1)(2n + 3) 2n + 3
2
(iii) Dado x ∈ I ∩ J e z ∈ Z, tem-se
z·x∈I
⇒z·x∈I∩J
z·x∈J
∗ : G × G −→ G
(x, y) 7−→ x ∗ y
Dizemos que o par (G, ∗) é um grupo se são válidas as seguintes propriedades: para
todo x, y, z ∈ G temos que:
(G1) x ∗ (y ∗ z) = (x ∗ y) ∗ z (associativa).
3
(G2) ∃e ∈ G tal que x ∗ e = e ∗ x = x (existência do elemento neutro).
(G3) Para cada x ∈ G, ∃x 0 ∈ G tal que x ∗ x 0 = x 0 ∗ x = e ( existência do elemento
inverso).
Se além disso, o grupo G satisfaz a propriedade abaixo então dizemos que este
grupo é abeliano.
(G4) Dados x, y ∈ G, x ∗ y = y ∗ x.
(G1)
x · y x.y x·z y·z x·y·z
(x ⊗ y) ⊗ z = x + y + ⊕z=x+y+ +z+ + +
3 3 3 3 9
e
y · z y·z x·y x·z x·y·z
x ⊗ (y ⊗ z) = x ⊗ y + z + = x+y+z+ + +z+ +
3 3 3 3 9
Assim
(x ⊗ y) ⊗ z = x ⊗ (y ⊗ z).