Descriptive properties of the type of an irrational number

William Banks, Asma Harcharras, Dominique Lecomte

The type $\tau$($\alpha$) of an irrational number $\alpha$ measures the extent to which rational numbers can closely approximate $\alpha$. More precisely, $\tau$($\alpha$) is the infimum over those t$\in$R…