A propriedade A4 da adição afirma que para todo número real α, existe um número real β tal que α + β = 0*. Para provar essa propriedade, é necessário utilizar o Lema e considerar um número real u < 0 e um conjunto Mα das cotas superiores de α. A partir disso, é possível encontrar um racional s ∉ α e, para cada n ∈ ℕ, considerar o racional qn = nu + s. Em seguida, é preciso tomar o máximo dos naturais n para os quais qn ∈ Mα e qn ≠ mín Mα (caso mín Mα exista). Dois casos podem ocorrer: no primeiro caso, tomando-se p − q = u, é possível provar a propriedade A4. No segundo caso, tomando-se p ∈ α e q ∈ Mα, q ≠ mín Mα, é possível provar a propriedade A4. As outras propriedades da adição são: - A1) Associativa: ∀ α, β, γ ∈ ℝ, α + (β + γ) = (α + β) + γ. - A2) Comutativa: ∀ α, β ∈ ℝ, α + β = β + α. - A3) Existência de elemento neutro: ∀ α ∈ ℝ, α + 0* = α. - 0A) Compatibilidade da adição com a ordem: ∀ α, β, γ ∈ ℝ, α ≤ β ⇒ α + γ ≤ β + γ. A demonstração das propriedades A1), A2) e A3) não foi apresentada no texto.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar