termΛ — Mathlib

English

The Liouville set equals the intersection across n of the union over all a/b with a∈Icc(0,b) and b>1 of balls around a/b with radius 1/b^n.

Русский

Множество Лиувилля равно пересечению по n от объединения всех a/b, где a ∈ Icc(0,b) и b>1, шаров вокруг a/b радиуса 1/b^n.

LaTeX

$$$$ \{ x : Liouville(x) \} = \bigcap_{n \in \mathbb{N}} \bigcup_{a \in \mathbb{Z}, b \in \mathbb{Z}, 1 < b} \Big( \text{Ball}\Big( \frac{a}{b}, \frac{1}{b^{n}} \Big) \setminus \{\frac{a}{b}\} \Big). $$$$

Lean4

@[inherit_doc ArithmeticFunction.vonMangoldt, scoped term_parser 1000]
public meta def termΛ : Lean.ParserDescr✝ :=
  ParserDescr.node✝ `ArithmeticFunction.vonMangoldt.termΛ 1024 (ParserDescr.symbol✝ "Λ")

Похожие утверждения