linear algebra, higher linear algebra
(…)
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.
Historical precursors:
Textbook accounts:
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:
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]
See also:
Wikipedia, Linear algebra
Jean Dieudonné, Linear algebra and geometry, Translated from the French Houghton Mifflin Co., Boston, Mass. 1969, 207 pp
I. M. Gelʹfand, Lekcii po lineĭnoĭ algebre [2d ed.] Gosudarstv. Izdat. Tehn.-Teor. Lit., Moscow-Leningrad, 1951; Eng. transl: Lectures on linear algebra, Interscience Tracts in Pure and Applied Mathematics 9, 1961 ix+185 pp
A. I. Kostrikin, Ju. I. Manin, Lineĭnaya algebra i geometriya, Moskov. Gos. Univ., Moscow, 1980. 320 pp. MR82i:00008; Linear algebra and geometry, Translated from the second Russian edition by M. E. Alferieff. Algebra, Logic and Applications, 1. Gordon and Breach Science Publishers, New York, 1989. x+309 pp. MR91h:00008
Joel W. Robbin, Matrix algebra using MINImal MATlab
N.J. Higham, Functions of matrices. Theory and computation, Philadelphia, PA: SIAM. 425p., 2008
Last revised on November 19, 2023 at 00:09:36. See the history of this page for a list of all contributions to it.