Análisis Matemático 95

5 Números racionales
Los números racionales

Definición 1. El conjunto Q de los números racionales está definido por

Q = qp : p, q ∈ Z, q ≠ 0 .


Proposición 1. N ⊂ Z ⊂ Q.
Proposición 2. Q es un conjunto inductivo.
Proposición 3. Q satisface las propiedades descrita por los axiomas 1-12.

Análisis Matemático 95 2/4

Un antiguo teorema

Teorema 1. No existe x ∈ Q tal que x 2 = 2.

Demostración. Supongamos que existe x = p/q ∈ Q tal que x 2 = 2, siendo p
y q enteros irreducibles. Es decir
 2
p p2
= 2 = 2.
q q

Luego
p 2 = 2q 2 ,
es decir p 2 es par.
Entonces por tanto p es par, es decir existe un k ∈ Z tal que p = 2k, luego

2q 2 = p 2 = (2k) 2 = 4k 2 .

De donde q 2 = 2k 2 , o sea q 2 es par y por tanto q es par, lo cual contradice el

hecho de que p/q es irreducible. QED

Análisis Matemático 95 3/4

Los números irracionales

Definición 2. Si x ∈ R − Q decimos que x es un número irracional.

√
Nota. En esta sección asumimos la existencia de x, para x ≥ 0 (observemos
que este hecho no puede deducirse de los axiomas 1-12).
√
Nota. El teorema 1 establece que 2 ∈ R − Q.
Nota. Los números e y 𝜋 son irracionales.

Análisis Matemático 95 4/4