dimH_univ — Mathlib

English

Hausdorff dimension of the whole space is invariant under isometry equivalences.

Русский

Размерность Хаусдорфа пространства инвариантна относительно изометрических эквивалентностей.

LaTeX

$$$$\\dimH(\\operatorname{univ}) = \\dimH(\\operatorname{univ}).$$$$

Lean4

theorem dimH_univ (e : X ≃ᵢ Y) : dimH (univ : Set X) = dimH (univ : Set Y) := by
  rw [← e.dimH_preimage univ, preimage_univ]

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