transpose

Mathlib.LinearAlgebra.Matrix.Defs

URI: https://scilib.ai/kg/mathlib#Matrix.transpose

English

The transpose of a matrix is defined by swapping indices: transpose M is the matrix with entries M_{ji}.

Русский

Транспонирование матрицы задаётся перестановкой индексов: transpose M — матрица с элементами M_{ji}.

LaTeX

$$$(\\text{transpose } M)_{ij} = M_{ji}$$$

Lean4

/-- The transpose of a matrix. -/
def transpose (M : Matrix m n α) : Matrix n m α :=
  of fun x y => M y x

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

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

Разделы

Аффилиация

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