sqrt

Mathlib.Data.Real.Sqrt

URI: https://scilib.ai/kg/mathlib#Continuous.sqrt

English

If f is continuous, then √f is continuous.

Русский

Если f непрерывна, то √f непрерывна.

LaTeX

$$$\\\\text{Continuous}(f) \\\\Rightarrow \\\\text{Continuous}(\\\\lambda x, \\\\sqrt{f(x)})$$$

Lean4

@[continuity, fun_prop]
theorem sqrt (h : Continuous f) : Continuous fun x => √(f x) :=
  continuous_sqrt.comp h

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

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

Разделы

Аффилиация

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