# Medida de irracionalidad

Una medida de irracionalidad de un número real $\alpha$ es una medida de qué tan cerca los números racionales pueden aproximarse a dicho número.

## Exponente de irracionalidad

El exponente de irracionalidad o medida de irracionalidad de Liouville-Roth es un concepto relacionado con el de los números de Liouville. Considere la siguiente desigualdad:
$0<\left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{q^{\mu }}}$
Defina $M$ como el conjunto de los números $\mu$, para que existen un número infinito de soluciones $p/q\in \mathbb {Q}$ a dicha desigualdad. El exponente de irracionalidad $\mu (\alpha )$ se define como el supremo del conjunto $M$. Para cualquier valor $n<\mu (\alpha )$, la desigualdad tiene un número infinito de soluciones. Por el contrario, si $n>\mu (\alpha )$, hay como máximo un número finito de soluciones.
Los números racionales tienen exponente de irracionalidad 1, mientras que (como consecuencia del teorema de aproximación de Dirichlet) todo número irracional tiene exponente de irracionalidad al menos 2.
Por otra parte casi todos los números, incluidos todos los números algebraicos, tienen un exponente de irracionalidad igual a 2. $^{:246}$
Un número $\alpha \in \mathbb {R}$ con exponente de irracionalidad $\mu (\alpha )\leq 2$ se llama número diofántico, mientras que los números con $\mu (\alpha )=\infty$ se llaman números de Liouville.
Es $\mu (\alpha )=\mu (r\alpha +s)$ para números reales $\alpha$ y números racionales $r\neq 0$ y $s$ .
Si un número real $\alpha$ se da por su fracción continua simple $\alpha =[a_{0};a_{1},a_{2},...]$ con convergentes $p_{i}/q_{i}$, el exponente de irracionalidad es:
$\mu (\alpha )=1+\limsup _{n\to \infty }{\frac {\ln q_{n+1}}{\ln q_{n}}}=2+\limsup _{n\to \infty }{\frac {\ln a_{n+1}}{\ln q_{n}}}$ . Para muchos números trascendentes, el valor exacto de su exponente de irracionalidad no es conocido.
| Número $x$ | Exponente de irracionalidad | Exponente de irracionalidad | Notas |
| Número $x$ | Límite inferior | Límite superior | Notas |
| Número racional | 1 | 1 | Los números racionales tienen exponente de irracionalidad 1. |
| Número algebraico y irracional | 2 | 2 | Los números algebraicos e irracionales como ${\sqrt {2}}$ tienen exponente de irracionalidad 2. |
| Número e | 2 | 2 | $e=[2;1,2,1,1,4,1,1,6,1,1,...]$ |
| $\ln(2)$ | 2 | 3.57455... | Véase: logaritmo natural |
| $\ln(3)$ | 2 | 5.11620... | Véase: logaritmo natural |
| $\pi$ | 2 | 7.10320... | Véase: Número $\pi$ |
| $\pi ^{2}$ | 2 | 5.09541... | Véase: Número $\pi$ |
| ${\text{arctg}}(1/2)$ | 2 | 9.27204... | Véase: arcotangente |
| ${\text{arctg}}(1/3)$ | 2 | 5.94202... | Véase: arcotangente |
| Constante de Apéry $\zeta (3)$ | 2 | 5.51389... | |
| Constante de Cahen $C$ | 3 | 3 | |
| Número de Champernowne $C_{10}$ | 10 | 10 | |
| Número de Liouville $L$ | $\infty$ | $\infty$ | Los números de Liouville tienen exponente de irracionalidad infinito. |

## Base de irracionalidad

La base de irracionalidad o medida de irracionalidad de Sondow es una medida de irracionalidad más débil. Puede distinguir entre diferentes números de Liouville, pero produce $\beta (\alpha )=1$ para todos los demás números reales:
Considere la siguiente desigualdad:
    $\left|\alpha -{\frac {p}{q}}\right|>{\frac {1}{(\beta +\varepsilon )^{q}}}$
Defina $M'$ como el conjunto de los números $\beta$, para que existen un número infinito de soluciones $p/q\in \mathbb {Q}$ a dicha desigualdad. La base de irracionalidad $\beta (\alpha )$ se define como el supremo del conjunto $M'$.
Si no existe una $\beta$ así, se define $\beta (\alpha )=\infty$ y $\alpha$ se llama número super Liouville .
Si un número real $\alpha$ se da por su fracción continua simple $\alpha =[a_{0};a_{1},a_{2},...]$ con convergentes $p_{i}/q_{i}$, la base de irracionalidad es:
$\beta (\alpha )=\limsup _{n\to \infty }{\frac {\ln q_{n+1}}{q_{n}}}=\limsup _{n\to \infty }{\frac {\ln a_{n+1}}{q_{n}}}$ .
Ejemplos :
Cualquier número real $\alpha$ con exponente de irracionalidad finito $\mu (\alpha )<\infty$ tiene base de irracionalidad $\beta (\alpha )=1$, mientras que cualquier número con base de irracionalidad $\beta (\alpha )>1$ tiene exponente de irracionalidad $\mu (\alpha )=\infty$ y es un número de Liouville.
El número $L=[1;2,2^{2},2^{2^{2}},...]$ tiene exponente de irracionalidad $\mu (L)=\infty$ y base de irracionalidad $\beta (L)=1$ .
Los números $\tau _{a}=\sum _{n=0}^{\infty }{\frac {1}{^{n}a}}=1+{\frac {1}{a}}+{\frac {1}{a^{a}}}+{\frac {1}{a^{a^{a}}}}+{\frac {1}{a^{a^{a^{a}}}}}+...$ tienen base de irracionalidad $\beta (\tau _{a})=a$. (véase: tetración)
El número $S=1+{\frac {1}{2^{1}}}+{\frac {1}{4^{2^{1}}}}+{\frac {1}{8^{4^{2^{1}}}}}+{\frac {1}{16^{8^{4^{2^{1}}}}}}+{\frac {1}{32^{16^{8^{4^{2^{1}}}}}}}+\ldots$ tiene base de irracionalidad $\beta (S)=\infty$, por lo tanto es un número super-Liouville.