taylor_X

Mathlib.Algebra.Polynomial.Taylor

URI: https://scilib.ai/kg/mathlib#Polynomial.taylor_X

English

The Taylor operator satisfies taylor r f = f.map (X + C r).

Русский

Оператор Тейлора удовлетворяет taylor r f = f.map (X + C r).

LaTeX

$$$$ \operatorname{taylor}(r)(f) = f \circ (X + C r) $$$$

Lean4

@[simp]
theorem taylor_X : taylor r X = X + C r :=
  X_comp

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

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

Разделы

Аффилиация

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