topDualPairing_apply

Mathlib.Topology.Algebra.Module.LinearMap

URI: https://scilib.ai/kg/mathlib#topDualPairing_apply

English

Evaluating the topological dual pairing on a functional v and a vector x gives v(x).

Русский

Оценка парирования топологического двойственного на функционале v и векторе x даёт v(x).

LaTeX

$$$\text{topDualPairing}(v)(x) = v(x)$$$

Lean4

@[simp]
theorem topDualPairing_apply (v : E →L[𝕜] 𝕜) (x : E) : topDualPairing 𝕜 E v x = v x :=
  rfl

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

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

Разделы

Аффилиация

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