Univoque numbers are real numbers such that the number 1 admits a unique expansion in base , i.e., a unique expansion $1 = \sum_{j \geq 0} a_j \lambda^{-(j+1)}a_j \in {0, 1, …, \lceil \lambda \rceil -1}j \geq 0$. A variation of this definition was studied in 2002 by Komornik and Loreti, together with sequences called {\em admissible sequences}. We show how a 1983 study of the first author gives both a result of Komornik and Loreti on the smallest admissible sequence on the set ${0, 1,
…, b}$, and a result of de Vries and Komornik (2007) on the smallest univoque number belonging to the interval , where is any positive integer. We also prove that this last number is transcendental. An avatar of the Thue-Morse sequence, namely the fixed point beginning in 3 of the morphism , , , , occurs in a “universal” manner.

生成讲解博客的中文版本

生成AI智能校验的中文版本