cpolynomialOn

Mathlib.Analysis.Analytic.CPolynomial

URI: https://scilib.ai/kg/mathlib#ContinuousMultilinearMap.cpolynomialOn

English

ContinuousMultilinearMap cpolynomialOn yields a CPolynomialOn when adding points-wise.

Русский

ContinuousMultilinearMap криволинейного отображения порождает CPolynomialOn при сложении по точкам.

LaTeX

$$CPolynomialOn 𝕜 f s 는 fun z hz => f z hz$$

Lean4

theorem cpolynomialOn : CPolynomialOn 𝕜 f s := fun _ _ ↦ f.cpolynomialAt

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

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

Разделы

Аффилиация

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