isConformalMap_conj

Mathlib.Analysis.Complex.Conformal

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

English

Complex conjugation is a conformal map on the complex plane.

Русский

Комплексное сопряжение — конформное отображение на плоскости комплексных чисел.

LaTeX

$$$\operatorname{IsConformalMap}(\mathrm{conjLIE})$$$

Lean4

theorem isConformalMap_conj : IsConformalMap (conjLIE : ℂ →L[ℝ] ℂ) :=
  conjLIE.toLinearIsometry.isConformalMap

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

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

Разделы

Аффилиация

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