conformal_const_smul

Mathlib.Analysis.Calculus.Conformal.NormedSpace

URI: https://scilib.ai/kg/mathlib#conformal_const_smul

English

Same as scalar multiplication nonzero implies conformal map.

Русский

Умножение на ненулевой скаляр порождает конформное отображение.

LaTeX

$$$\\text{ContDiff or Conformal result for constant smul}$$$

Lean4

theorem conformal_const_smul {c : ℝ} (h : c ≠ 0) : Conformal fun x : X => c • x := fun x => conformalAt_const_smul h x

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru