nLab linear algebra

Contents

Context

Linear algebra

Idea
Related entries
References

Idea

Linear algebra over a skewfield $K$ is the study of the category $K$ -Vect, that is the study of vector spaces over $K$ . Sometimes one uses the term ‘ $K$ -linear algebra’ to mean an associative algebra (or similar) over $K$ (compare ‘ $K$ -linear map’).

Classical linear algebra is done over a real-closed field or an algebraically closed field of characteristic $0$ ; the latter is the simplest context, which is now pretty thoroughly understood. Traditionally, we take these fields to be the field of real numbers and the field of complex numbers, although arguably we only really use algebraic numbers. (From a constructive point of view, some of the classical material is valid only over discrete fields, so we must restrict attention to algebraic numbers, or to some discrete extension, for these results to hold in their classical form.)

Fancier linear algebra is done over incomplete fields and fields with positive characteristic (and constructively over nondiscrete fields). Sometimes a generalization to categories of finitely generated projectives over a ring is considered. In infinite dimensions one rarely studies purely algebraic version, which is considered as a linear algebra, but more often one equips them with topological structure, what enters the subject of functional analysis.

If one is interested in tensor products as well, then one gets a generalization called multilinear algebra: tensor algebra, tensors, exterior and symmetric algebras are some of the main characters in that theory. Study of determinants is important in the usual linear algebra but it is also closely related to the study of exterior algebras.

Related entries

References

Historical precursors:

Hermann Grassmann, Ausdehnungslehre, 1844

Textbook accounts:

Carl de Boor, Linear algebra (2009) [pdf, pdf]
Igor R. Shafarevich, Alexey O. Remizov: Linear Algebra and Geometry (2012) [doi:10.1007/978-3-642-30994-6, MAA-review]
Sheldon Axler, Linear Algebra Done Right, Springer (2015) [doi:10.1007/978-3-319-11080-6]

Lecture notes:

Christoph Schweigert, Lineare Algebra, lecture notes, Hamburg (2022) [pdf]

Discussion of linear algebra as categorical semantics for linear logic/linear type theory:

Benoît Valiron, Steve Zdancewic, Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi, in: Proc. of ICTAC’14, Lecture Notes in Computer Science 8687, Springer (2014) 442-459 [arXiv:1406.1310, doi:10.1007/978-3-319-10882-7_26, slides:pdf, pdf]
Daniel Murfet, Logic and linear algebra: an introduction [arXiv:1407.2650]