hadamard_apply

Mathlib.LinearAlgebra.Matrix.Hadamard

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

English

For any matrices A,B, the entry (i,j) of the Hadamard product is A_{ij} B_{ij}.

Русский

Для матриц A,B элемент (i,j) произведения Хадамарда равен A_{ij} B_{ij}.

LaTeX

$$$ (A \odot B)_{ij} = A_{ij} B_{ij} $$$

Lean4

@[simp]
theorem hadamard_apply [Mul α] (A : Matrix m n α) (B : Matrix m n α) (i j) : hadamard A B i j = A i j * B i j :=
  rfl

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

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

Разделы

Аффилиация

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