Cálculo I - Axiomática

Benja Vera
Enero de 2019

P1.- (FCFM Apunte)

Sea C un conjunto de números reales que satisface las siguientes propiedades (axiomas):
(A1) 2 ∈ C.
(A2) Si x ∈ C, entonces 3x + 1 ∈ C.
(A3) Si x, y ∈ C, entonces x + y ∈ C.
(A4) 3 ∈
/ C.
Demuestre las siguientes propiedades indicando qué axiomas de los recién mencionados utiliza:
(i) 9 ∈ C
(ii) 1 ∈
/C
(iii) Si 5 ∈ C, entonces 22 ∈ C.
(iv) Si x, y ∈ C, entonces 3x + 1 + 3y ∈ C
(v) Si x ∈ C, entonces −x ∈
/C

P2.- (FCFM Control 1; 2018)

Usando los axiomas de cuerpo de los números reales y los teoremas de unicidad de neutros e
inversos, demuestre las siguientes propiedades fundamentando cada paso (si necesita alguna
propiedad extra, debe demostrarla):
(i) (−a)b = −ab
(ii) (−a)(−b) = ab
(iii) ∀a, b ∈ R\{0}, (a−1 + (−b)−1 ) · ab = b + (−a)