instUniformContinuousConstSMulPadic

English

Let p be a prime. The action of the p-adic field Q_p on PadicAlgCl(p) by scalar multiplication is uniformly continuous.

Русский

Пусть p — простое число. Действие p-адических чисел Q_p на PadicAlgCl(p) по скалярному умножению равно равномерно непрерывному.

LaTeX

$$$\forall a \in \mathbb{Q}_p,\; \ UniformlyContinuous(\lambda x. a \cdot x)\; (x \in \mathrm{PadicAlgCl}(p)).$$$

Lean4

instance : UniformContinuousConstSMul ℚ_[p] (PadicAlgCl p) :=
  uniformContinuousConstSMul_of_continuousConstSMul ℚ_[p] (PadicAlgCl p)

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