apply

Mathlib.Analysis.SpecialFunctions.Bernstein

URI: https://scilib.ai/kg/mathlib#bernsteinApproximation.apply

← MathLib Explorer

English

The Bernstein approximation at 0 equals the value of f at 0: B_n(f)(0) = f(0).

Русский

Приближение Бернштейна в 0 равно значению f в 0: B_n(f)(0) = f(0).

LaTeX

$$$ bernsteinApproximation\ n\ f\ 0 = f\ 0 $$$

Lean4

theorem apply (n : ℕ) (f : C(I, E)) (x : I) :
    bernsteinApproximation n f x = ∑ k : Fin (n + 1), bernstein n k x • f k/ₙ := by simp [bernsteinApproximation]

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

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

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

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