Revisit the Fundamental Theorem of Linear Algebra

by   Jun Lu, et al.

This survey is meant to provide an introduction to the fundamental theorem of linear algebra and the theories behind them. Our goal is to give a rigorous introduction to the readers with prior exposure to linear algebra. Specifically, we provide some details and proofs of some results from (Strang, 1993). We then describe the fundamental theorem of linear algebra from different views and find the properties and relationships behind the views. The fundamental theorem of linear algebra is essential in many fields, such as electrical engineering, computer science, machine learning, and deep learning. This survey is primarily a summary of purpose, significance of important theories behind it. The sole aim of this survey is to give a self-contained introduction to concepts and mathematical tools in theory behind the fundamental theorem of linear algebra and rigorous analysis in order to seamlessly introduce its properties in four subspaces in subsequent sections. However, we clearly realize our inability to cover all the useful and interesting results and given the paucity of scope to present this discussion, e.g., the separated analysis of the (orthogonal) projection matrices. We refer the reader to literature in the field of linear algebra for a more detailed introduction to the related fields. Some excellent examples include (Rose, 1982; Strang, 2009; Trefethen and Bau III, 1997; Strang, 2019, 2021).



There are no comments yet.


page 6

page 8

page 9

page 16

page 18

page 22

page 27

page 36


On the Column and Row Ranks of a Matrix

Every m by n matrix A with rank r has exactly r independent rows and r i...

Numerical Matrix Decomposition and its Modern Applications: A Rigorous First Course

Matrix decomposition has become a core technology in machine learning, l...

Matrix Decomposition and Applications

In 1954, Alston S. Householder published Principles of Numerical Analysi...

A survey on Bayesian inference for Gaussian mixture model

Clustering has become a core technology in machine learning, largely due...

Recent progress on scaling algorithms and applications

Scaling problems have a rich and diverse history, and thereby have found...

Theorem Proving and Algebra

This book can be seen either as a text on theorem proving that uses tech...

Machine Learning for Mathematical Software

While there has been some discussion on how Symbolic Computation could b...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.