S

Mathlib.Algebra.Lie.Classical

URI: https://scilib.ai/kg/mathlib#LieAlgebra.Orthogonal.S

English

S is the split-signature diagonal matrix, defined as S(l,R) = indefiniteDiagonal l l R.

Русский

S — матрица со вставкой сигнатурного разрыва, задаётся как S(l,R) = indefiniteDiagonal l l R.

LaTeX

$$$ S(l,R) = \operatorname{indefiniteDiagonal}(l,l,R). $$$

Lean4

/-- The split-signature diagonal matrix. -/
def S :=
  indefiniteDiagonal l l R

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

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

Разделы

Аффилиация

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