instContinuousSqrtComplex

Mathlib.Topology.ContinuousMap.ContinuousSqrt

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

English

There exists a continuous square root operation on the complex numbers, i.e., Complex admits a continuous sqrt map.

Русский

Существуют непрерывные корни квадратного корня на комплексных числах: есть непрерывная функция sqrt на ℂ.

LaTeX

$$$\\text{ContinuousSqrt } \\mathbb{C}$$$

Lean4

noncomputable instance : ContinuousSqrt ℂ :=
  instContinuousSqrtRCLike (𝕜 := ℂ)

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

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

Разделы

Аффилиация

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