transpose_adjMatrix — Mathlib

English

The adjacency matrix of a simple graph is symmetric; hence its transpose equals itself.

Русский

Матрица смежности простого графа симметрична; следовательно, транспонированная матрица равна самой матрице.

LaTeX

$$$(G.adjMatrix\\, \\alpha)^T = G.adjMatrix\\, \\alpha$$$

Lean4

@[simp]
theorem transpose_adjMatrix [Zero α] [One α] : (G.adjMatrix α)ᵀ = G.adjMatrix α :=
  by
  ext
  simp [adj_comm]

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