fourierTransformCLM_apply

Mathlib.Analysis.Distribution.FourierSchwartz

URI: https://scilib.ai/kg/mathlib#SchwartzMap.fourierTransformCLM_apply

English

For every f in the Schwartz space, fourierTransformCLM 𝕜 f equals 𝓕 f.

Русский

Для любого f из пространства Шварца fourierTransformCLM 𝕜 f равно 𝓕 f.

LaTeX

$$$ \mathrm{fourierTransformCLM}_{\mathbb{K}}(f) = \mathcal{F} f $$$

Lean4

@[simp]
theorem fourierTransformCLM_apply (f : 𝓢(V, E)) : fourierTransformCLM 𝕜 f = 𝓕 f :=
  rfl

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

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

Разделы

Аффилиация

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