pointReflection

Mathlib.Algebra.AddTorsor.Defs

URI: https://scilib.ai/kg/mathlib#Equiv.pointReflection

English

The point reflection about x is the permutation sending y to the point (x -ᵥ y) +ᵥ x.

Русский

Отражение точки относительно x — это перестановка, отправляющая y в точку (x -ᵥ y) +ᵥ x.

LaTeX

$$$\text{pointReflection}(x)(y) = (x -ᵥ y) +ᵥ x$$$

Lean4

/-- Point reflection in `x` as a permutation. -/
def pointReflection (x : P) : Perm P :=
  (constVSub x).trans (vaddConst x)

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

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

Разделы

Аффилиация

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