lieBracket_swap

Mathlib.Analysis.Calculus.VectorField

URI: https://scilib.ai/kg/mathlib#VectorField.lieBracket_swap

English

lieBracket 𝕜 V W x = − lieBracket 𝕜 W V x; the classical antisymmetry of the Lie bracket of vector fields.

Русский

Скобка Ли антисимметрична: [V,W](x) = −[W,V](x).

LaTeX

$$$\operatorname{lieBracket} 𝕜 V W x = -\operatorname{lieBracket} 𝕜 W V x$$$

Lean4

theorem lieBracket_swap : lieBracket 𝕜 V W x = -lieBracket 𝕜 W V x := by simp [lieBracket]

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

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

Разделы

Аффилиация

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