vec_hadamard

Mathlib.LinearAlgebra.Matrix.Vec

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

English

Vectorization commutes with the Hadamard product: vec(A ⊙ B) = vec(A) ⊙ vec(B).

Русский

Векторизация сохраняет поэлементное произведение: vec(A ⊙ B) = vec(A) ⊙ vec(B).

LaTeX

$$$$\operatorname{vec}(A \odot B) = \operatorname{vec}(A) \odot \operatorname{vec}(B)$$$$

Lean4

theorem vec_hadamard [Mul R] (A B : Matrix m n R) : vec (A ⊙ B) = vec A * vec B :=
  rfl

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

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

Разделы

Аффилиация

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