Números de Liouville

Andrea Ricaurte López

Brian Andres Barreto

22/ABRIL/2019

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 1 / 18

 DEPARTAMENTO DE MATEMÁTICAS

ANÁLISIS DIFERENCIAL

BOGOTÁ D.C

2019
Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 2 / 18
 CONTENIDO

1 Números trascendentes

2 Números de Liouville

3 Irracionabilidad

4 Existencia

5 Trascendencia

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 2 / 18

 NÚMEROS TRASCENDENTES

Es un número complejo que no es solución de un polinomio con

coeficientes enteros no todos nulos an x n + an−1 x n−1 + · · ·a1 x + a0 .
los números trascendentes son no numerables
Los números trascendentes son irracionales
Algunos números trascendentes son π, e, e π y la constante de
Liouville.

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 3 / 18

 NÚMEROS DE LIOUVILLE

x es un número de Liouville si x es un número real y cumple que

(∀m |m ∈ N : (∃p, q | p, q ∈ Z ∧ q > 1 : 0 <| x − p/q |< 1/q m ))
∞
X 1
Constante de Liouville: = 0, 110001000000000000000001000...
10k!
k=1

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 4 / 18

 IRRACIONABILIDAD

Todo numero de Liouville es irracional

DEMOSTRACIÓN:

Supongamos que x es racional, es decir, que existen c, d ∈ Z, d > 0 y tales

que x = dc .

Entonces ∀n ∈ Z+ existen p, q ∈ Z y q > 1 tales que 0 < | dc − qp | < 1

qn
|cq−pd| 1 ∗
entonces 0 < dq < qn .

Si |cq − pd| = 0

⇒ | cq−pd
dq | = 0,
lo cual contradice ∗ .

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 5 / 18

 IRRACIONABILIDAD

Si |cq − pd| > 0

⇒ |cq − pd| ≥ 1
|cq−pd| 1
⇒ dq ≥ dq .

Si m > 1 + log2 (d)

⇒ 2m > 2 ∗ 2log2 (d)

2 2
≡ 2m < 2∗2log2 (d)
1 1 1
≡ 2m−1
< 2log2 (d)
= d

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 6 / 18

 IRRACIONABILIDAD

|cq−pd| 1 1 1
Luego dq ≥ dq > 2m−1 q
≥ qm

⇒ | dc − pq | > 1
qm Lo que contradice ∗

Entonces todo número de Liouville es irracional

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 7 / 18

 EXISTENCIA

∞
X ak
Sea x = con b ≥ 2, ak ∈ 0, 1, 2, ..., b − 1 infinitos ak diferentes de
b k!
k=1
cero.
Para el caso particular cuando ak = 1 ∀k y b = 10 se tiene la constante de
Liouville
∞
X 1
10k!
k=1
= 0, 110001000000000000000001000...

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 8 / 18

 EXISTENCIA

pm
0 < |x − qm |
m
X ak
Sea pm = qm y qm = b m!
b k!
k=1
∞ m ∞ ∞
X ak X ak X ak X b−1
Entonces se tiene | − | = ≤
b k! b k! b k! b k!
k=1 k=1 k=m+1 k=m+1
∞ ∞
X b−1 X b−1
Ahora ≤
b k! bk
k=m+1 k=(m+1)!

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 9 / 18

 EXISTENCIA

∞ ∞
X b−1 X b−1
≤
b k! bk
k=m+1 k=(m+1)!
∞
X b−1 1 1 1
= (b − 1)( (m+1)! + (m+2)! + (m+3)! + · · ·)
b k! b b b
k=m+1
∞
X b−1 1 1 1
k
= (b − 1)( (m+1)! + (m+1)!+1 + (m+1)!+2 + · · ·)
b b b b
k=(m+1)!

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 10 / 18

 EXISTENCIA

1 1
Veamos que b(m+j)! ≤ b(m+1)!+(j−1) para j ≥ 1
⇒b (m+j)! ≥b (m+1)!+(j−1)

⇒ (m + j)! ≥ (m + 1)! + (j − 1)

Demostración por inducción sobre j:

Cuando j = 1 se tiene (m + 1)! ≥ (m + 1)!
Por otro lado, suponemos que se cumple para j = k, es decir
(m + k)! ≥ (m + 1)! + (k − 1)
(m + k)! ≥ (m + 1)! + (k − 1) ⇒ (m + k)! ≥ (m + 1)! + k ⇒
(1 + m + k)(m + k)! ≥ (m + 1)! + k = (m + k + 1)! ≥ (m + 1)! + k

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 11 / 18

 EXISTENCIA

∞ ∞ ∞
X b−1 X b−1 b−1 X 1
≤ = ( )
b k! bk b (n−1)! k=0 b k
k=m+1 k=(m+1)!
∞
X
n a 1
Serie geométrica ar = ,a = 1 ∧ r =
1−r b
n=0
∞
b−1
X 1 b−1 1 b−1 b
b (n−1)!
( k
) = ( (n−1)! )( 1
) = ( (n−1)! )( )
b b 1− b b b−1
k=0

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 12 / 18

 EXISTENCIA

b b m! b m! b m!
b (m+1)!
≤ b (m+1)!
= b (m+1)(m)!
= b m(m)!+m!

b m! b m! 1
b m(m)!+m!
= b m(m)! b m!
= b m(m)!

1 1 1
b m(m)!
= (b (m)! )m
= (qm )m

∞ m
X ak X ak 1
Finalmente | k!
− k!
|≤
b b (qm )m
k=1 k=1

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 13 / 18

 TRASCENDENCIA

Todo número de Liouville es trascendental

Propiedad de los números algebraicos irracionales

Teorema de Liouville: Si α ∈ II y es raiz de un polinomio f de grado n

con coeficientes enteros, entonces
(∃A ∈ R+ : (∀p, q ∈ Z ∧ q > 0 : |α − qp | > qAm ))

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 14 / 18

 Teorema de Liouville

DEMOSTRACIÓN

Sea f un polinomio de grado n y derivable.

Tomamos el modulo de f’

Sea M = max|f 0 (x)| con x ∈ [α − 1, α + 1]

Sean α1 , α2 , ..., αm las raices de f distintas de α

Seleccionamos algún A > 0 tal que

1
A < min(1, M , |α − α1 |, |α − α2 |, ..., |α − αm |)

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 15 / 18

 Teorema de Liouville

Existen p y q tales que |α − pq | ≤ A

qm

A
qm ≤A

⇒ |α − pq | < min(1, M
1
, |α − α1 |, |α − α2 |, ..., |α − αm |)
p p
⇒ q ∈ [α − 1, α + 1] y q ∈
/ α1 , α2 , ..., αm

⇒ qp no es raı́z de f.
⇒ No hay races entre α y pq .

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 16 / 18

 Teorema de Liouville

f (α) − f ( qp ) = (α − pq ) ∗ f 0 (x0 )

|f (α)−f ( qp )|
⇒ |α − pq | = |f 0 (x0 )|

|f ( qp )|
= |f 0 (x0 )|

|f 0 (x0 )| > 0
m m
X 1 X 1
|f ( qp )| = | Ci pi q −i | = m | Ci pi q m−i | ≥ m
q q
i=0 i=0
f ( qp )
⇒ |α − pq | = | f 0 (x0 ) |≥ 1
qm ∗ 1
M > A
qm ≥ |α − pq |.

CONTRADICCIÓN

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 17 / 18

 TRASCENDENCIA

Sea x un número de Liouville

Supongamos que x es un número algebraico

⇒ |x − qp | > qAm

Sea r > 0 tal que 21r ≤ A y m = r + n

⇒ |x − ba | < b1m = br1+n = br1bn ≤ 21r ∗ b1n ≤ A
bn
⇒ |x − ba | < bAn

⇒ x no es algebraico

Andrea Ricaurte LópezBrian Andres Barreto Números de Liouville 22/ABRIL/2019 18 / 18