Escolar Documentos
Profissional Documentos
Cultura Documentos
Janeiro, 2021
2
Lista 1
Questão 1.
Questão 2.
Prop 1.14
(a) Seja 𝑥 + 𝑦 = 𝑥 + 𝑧, então 𝑦 = 0 + 𝑦 = (−𝑥 + 𝑥) + 𝑦 = −𝑥 + (𝑥 + 𝑦) = −𝑥 + (𝑥 + 𝑧) =
3
(−𝑥 + 𝑥) + 𝑧 = 0 + 𝑧 = 𝑧 ⇒ 𝑦 = 𝑧.
(b) Seja 𝑥 + 𝑦 = 𝑥, tomando 𝑧 = 0 em (a) obtemos 𝑥 + 𝑦 = 𝑥 + 0 ⇒ 𝑦 = 0.
(c) Seja 𝑥 + 𝑦 = 0, tomando 𝑧 = −𝑥 em (a) obtemos 0 = 𝑥 + (−𝑥) = 𝑥 + 𝑦 ⇒ −𝑥 = 𝑦.
(d) Como −(−𝑥) + (−𝑥) = 0 = 𝑥 + (−𝑥) ⇒ −(−𝑥) = 𝑥 por (a).
Prop 1.15
(a) Seja 𝑥 ̸= 0 e 𝑥𝑦 = 𝑥𝑧, então 𝑥𝑧 − 𝑥𝑦 = 𝑥(𝑧 − 𝑦) = 0, como 𝑥 ̸= 0, então 𝑧 − 𝑦 = 0,
daí 𝑧 = 𝑦. (ver Prop 1.16 (b)).
(b) Seja 𝑥 ̸= 0 e 𝑥𝑦 = 𝑥, então 𝑥𝑦 − 𝑥 = 𝑥(𝑦 − 1) = 0, como 𝑥 ̸= 0, então 𝑦 − 1 = 0, daí
𝑦 = 1 (ver Prop 1.16 (b)).
(c) Seja 𝑥 ̸= 0 e 𝑥𝑦 = 1, então 𝑥𝑦 = 1 = 𝑥𝑥−1 ⇒ 𝑦 = 𝑥−1 por (a).
(d) Seja 𝑥 ̸= 0 então (𝑥−1 )−1 𝑥−1 = 1 = 𝑥𝑥−1 ⇒ (𝑥−1 )−1 = 𝑥 por (a).
Prop 1.16
(a) 0 + 0𝑥 = 0𝑥 = (0 + 0)𝑥 = 0𝑥 + 0𝑥 ⇒ 0 = 0𝑥 por Prop 1.14 (a).
(b) Suponha 𝑥 ̸= 0, 𝑦 ̸= 0 mas 𝑥𝑦 = 0, então 1 = 1 · 1 = 𝑥−1 𝑥𝑦𝑦 −1 = 𝑥−1 (𝑥𝑦)𝑦 −1 =
𝑥−1 0𝑦 −1 = 0(𝑥−1 𝑦 −1 ) = 0 por (a). Absurdo! Logo 𝑥𝑦 ̸= 0.
(c) (−𝑥)𝑦 + 𝑥𝑦 = (−𝑥 + 𝑥)𝑦 = 0𝑦 = 0 ⇒ (−𝑥)𝑦 = −(𝑥𝑦) por Prop 1.14 (c) e
𝑦(−𝑥) + 𝑦𝑥 = 𝑦(−𝑥 + 𝑥) = 𝑦0 = 0 ⇒ 𝑦(−𝑥) = −(𝑦𝑥) por Prop 1.14 (c).
(d) (−𝑥)(−𝑦) = −(𝑥(−𝑦)) = −(−(𝑥𝑦)) = 𝑥𝑦 por Prop 1.14 (d).
Prop 1.18
(a) Antes de mais nada, como 𝑥 < 𝑦 ⇒ 𝑥 + 𝑧 < 𝑦 + 𝑧, temos também que 𝑥 < 𝑦 ⇒
𝑥 + 𝑧 < 𝑦 + 𝑧 ⇒ 𝑥 = 𝑥 + 0 = 𝑥 + 𝑧 − 𝑧 < 𝑦 + 𝑧 − 𝑧 = 𝑦 + 0 = 𝑦. Seja 𝑥 > 0, então
0 = −𝑥 + 𝑥 > −𝑥 + 0, logo −𝑥 < 0. Agora, seja 𝑥 < 0, então 0 = −𝑥 + 𝑥 < −𝑥 + 0, daí
0 < −𝑥.
(b) Seja 𝑥 > 0 e 𝑦 < 𝑧, temos que 0 < 𝑧 − 𝑦 ⇒ 0 < (𝑧 − 𝑦)𝑥 = 𝑧𝑥 − 𝑦𝑥 ⇒ 𝑦𝑥 <
𝑧𝑥 − 𝑦𝑥 + 𝑦𝑥 = 𝑧𝑥.
(c) Seja 𝑥 < 0 e 𝑦 < 𝑧, tem-se por (a) que 0 > −𝑥 e 𝑧 − 𝑦 > 0, então −𝑥(𝑧 − 𝑦) =
−𝑥𝑧 − (−𝑥𝑦) = 𝑥𝑦 − 𝑥𝑧 > 0, daí 𝑥𝑦 > 𝑥𝑧.
(d) Seja 𝑥 ̸= 0, tem-se que se 𝑥 > 0 então 𝑥𝑥 = 𝑥2 > 0, se fosse 𝑥 < 0, então −𝑥 > 0 por
(a), daí (−𝑥)(−𝑥) = −(−(𝑥𝑥)) = 𝑥𝑥 = 𝑥2 > 0, em particular 1 · 1 = 12 = 1 > 0.
(e) Primeiro, se 𝑥 > 0 (análogo para 𝑦) e 𝑤 ≤ 0 então 𝑤𝑥 ≤ 0, porém 𝑥𝑥−1 = 1 > 0, logo
𝑥−1 > 0. Assim, multiplique ambos os lado de 𝑥 < 𝑦 por 𝑥−1 𝑦 −1 e teremos 𝑦 −1 < 𝑥−1 .
4
Questão 3.
¯ da seguinte forma:
Podemos concluir que há uma bijeção entre 𝑅 e 𝑅
¯
𝑓 : {𝑅} → {𝑅}
𝑅 ↦→ 𝑅 ∪ {(𝑥, 𝑥) ∈ 𝑋 × 𝑋 : 𝑥 ∈ 𝑋}
5
¯ → {𝑅}
𝑓 −1 : {𝑅}
¯ ↦→ 𝑅 ∖ {(𝑥, 𝑥) ∈ 𝑋 × 𝑋 : 𝑥 ∈ 𝑋}
𝑅
Questão 4.
Questão 5.
ordenados.
Questão 6.
Questão 7.
b) |𝑦| ≥ 𝑦, |𝑦| ≥ −𝑦 e |𝑥| ≥ 𝑥, |𝑥| ≥ −𝑥. Assim, |𝑦| + |𝑥| ≥ 𝑦 + 𝑥 e |𝑦| + |𝑥| ≥ −𝑦 − 𝑥 =
−(𝑦 + 𝑥) ⇔ |𝑦| + |𝑥| ≥ 𝑦 + 𝑥 e 𝑦 + 𝑥 ≥ −(|𝑦| + |𝑥|) ⇔ |𝑦| + |𝑥| ≥ 𝑦 + 𝑥 ≥ −(|𝑦| + |𝑥|) ⇔
|𝑦| + |𝑥| ≥ |𝑦 + 𝑥| por a).
Questão 8.