isTheta_bot

Mathlib.Analysis.Asymptotics.Theta

URI: https://scilib.ai/kg/mathlib#Asymptotics.isTheta_bot

English

Replacing a function by its norm preserves Theta with respect to a fixed target function.

Русский

Замена функции её нормой сохраняет Θ относительно заданной функции.

LaTeX

$$$f =Θ_l (\\|g\\|) \\Leftrightarrow f =Θ_l g$$$

Lean4

@[simp]
theorem isTheta_bot : f =Θ[⊥] g := by simp [IsTheta]

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

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

Разделы

Аффилиация

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