Revisit the Fundamental Theorem of Linear Algebra

08/10/2021
by   Jun Lu, et al.
277

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).

READ FULL TEXT

page 6

page 8

page 9

page 16

page 18

page 22

page 27

page 36

research
11/23/2021

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...
research
07/06/2021

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

Matrix decomposition has become a core technology in machine learning, l...
research
01/01/2022

Matrix Decomposition and Applications

In 1954, Alston S. Householder published Principles of Numerical Analysi...
research
02/18/2023

Bayesian Matrix Decomposition and Applications

The sole aim of this book is to give a self-contained introduction to co...
research
01/07/2021

Theorem Proving and Algebra

This book can be seen either as a text on theorem proving that uses tech...
research
08/19/2020

Axiomatic (and Non-Axiomatic) Mathematics

Axiomatizing mathematical structures and theories is an objective of Mat...
research
05/06/2021

Concurrency Theorems for Non-linear Rewriting Theories

Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic mat...

Please sign up or login with your details

Forgot password? Click here to reset