Conformal

Mathlib.Analysis.Calculus.Conformal.NormedSpace

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

English

A map is conformal if it is conformal at every point.

Русский

Отображение конформно, если оно конформно в каждой точке.

LaTeX

$$$\\operatorname{Conformal}(f) \\iff \\forall x, \\operatorname{ConformalAt}(f,x)$$$

Lean4

/-- A map `f` is conformal if it's conformal at every point. -/
def Conformal (f : X → Y) :=
  ∀ x : X, ConformalAt f x

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

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

Разделы

Аффилиация

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