isTheta_norm_right

Mathlib.Analysis.Asymptotics.Theta

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

English

Theta defined via the norm of a function preserves equivalence.

Русский

Θ через норму функции сохраняет эквивалентность.

LaTeX

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

Lean4

@[simp]
theorem isTheta_norm_right : (f =Θ[l] fun x ↦ ‖g' x‖) ↔ f =Θ[l] g' := by simp [IsTheta]

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

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

Разделы

Аффилиация

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