nLab
matrix

Contents

Context

Linear algebra

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

Definition

For natural numbers nn and mm and a set XX, an n×mn\times m matrix of elements of XX is a function M:[n]×[m]XM:[n]\times[m]\rightarrow X from the Cartesian product [n]×[m][n]\times[m] to XX.

Often one uses the term in a context where one can add and multiply matrices using matrix calculus. Addition of matrices of the same dimension requires XX to have an “addition” operation; multiplication of matrices requires XX to also have a “multiplication” operation. Usually XX is at least a rig and often a ring or a field.

More generally, for arbitrary sets AA and BB we can define an A×BA\times B-matrix to be a function A×BXA\times B\to X. If XX has some kind of “infinitary sums” as well as finite “products”, then we can also multiply matrices of this sort: e.g. if XX is the set of objects of a monoidal category with arbitrary coproducts.

Special cases: S-matrix, classical r-matrix, density matrix, hermitian matrix, skew-symmetric matrix, quantum Yang-Baxter matrix, random matrix, skew-symmetric matrix

Operations on/with matrices: transpose matrix, adjoint matrix trace, matrix factorization, Gauss decomposition, Gram-Schmidt process

Determinants and determinant like notions, and special cases: quasideterminant, Berezinian,Jacobian, Pfaffian, hafnian, Wronskian, resultant, discriminant

Last revised on September 19, 2018 at 05:13:20. See the history of this page for a list of all contributions to it.