Fundamental theorem of linear algebra

1.6k Views Asked by At

When I studied linear algebra we (our books, our professors) used to call Fundamental theorem of linear algebra the theorem that says:

Fundamental theorem of linear algebra: A linear transformation is determined by its values at a basis.

However in other sources there are other results from linear algebra that are called this way, or other similar superlative names. For example, in Wikipedia they give this name to the relation between kernels and ranges of the linear transformation and its adjoint/transpose. In some basic books I have seen it be called Big theorem to certain versions of this theorem on Wikipedia.

Personally it is my opinion that the name has been misused in the theorem in Wikipedia. For example, the theorem in Wikipedia is an easy exercise using what I am used to call the Fundamental theorem of linear algebra, but maybe not the other way around. Pretty much everything you can say about a linear transformation either passes or follows after using what I am used to call the Fundamental theorem of linear algebra.

Question(s):

. What usages of the name "Fundamental theorem of linear algebra" are more common (perhaps by country/regions)?

It seems to be the use of this name for the theorem in Wikipedia has its roots (origin?) in the paper by Gilbert Strang. I would imagine then examples of regions in which this name is used would be USA, and perhaps Canada.

. What motivates the naming of the theorem in Wikipedia? In particular, can it replace the role of what I am used to call "Fundamental theorem of linear algebra"? More in particular, can it prove it? (Strictly speaking this last question in point 3 doesn't make sense. Within a theory any theorem is a consequence of any other theorem. But we can reasonably understand what this means).

The most complete answer will be accepted.

A related question.

2

There are 2 best solutions below

4
On

I'll try to answer the third question: the naming of the theorem in Wikipedia, as the References and External links sections suggest, totally follows from

Strang, Gilbert (1993), "The fundamental theorem of linear algebra", American Mathematical Monthly 100 (9): 848–855. doi:10.2307/2324660.

But you know, MAA is not a journal for frontier research. In particular, the above article is a (very informal) expository article; it doesn't even contain a clearly stated "theorem"—only some vague discussions are presented.


Now I'll state my personal opinion toward "the fundamental theorem." Fundamental theorems are surely important, but most often they are so easy to prove/so intuitive that after you've learned the subjects fairly well, they become your second nature—you never think about you are actually using some "theorem," and you never cite their names. (Did you ever cite The Fundamental Theorem of Calculus? Or Algebra? Unless you are trying to prove them or doing homework about their rather immediate implications, readers of your presentation might take it as an insult to their intelligence.) Therefore, since you're never going to cite their names, you don't need to discern which is which, unless you are a historian of mathematics.

2
On

If there is a general consensus/tradition about what should be called Fundamental Theorems in Arithmetic, Algebra and Calculus, the situation appears less clear cut in Linear Algebra.

Some textbooks do indeed label "Fundamental Theorem" the fact that a linear transformation is completely determined by its values on a basis, but some don't. This past semester I taught a first year course in Linear Algebra and warned the students about the fact that the terminology is not universal, but somehow did not take a position.

My personal impression is that although this fact is used all the time to prove results about linear transformations (it is indeed the fact behind the possibility to code a linear transformation into a matrix, as we all know), many authors are reluctant to label it "Fundamental Theorem" because in itself is not such a deep result and its proof appears to be just a straightforward exercise in applying the definitions. A situation different from the "Fundamentals" of Arithmetic and Calculus, not to mention Algebra, the latter being in fact a not easy result.

Besides, there's another fundamental fact about vector spaces that--in my opinion--may be a likely "Fundamental Theorem" given the ubiquitness of its application, namely the fact that every set of linearly independent vectors can be extended to a basis.