The main purpose of my math blogging this summer was to solidify things that I felt a little uncomfortable with that could appear on my qualifying exam in Sept. Well, I’ve sort of limited this to algebra so far, and we’ve gotten far enough that it is sort of out of the scope of the test. In fact, I’m feeling fairly comfortable with the core material of both algebra and complex analysis. So that leaves me with manifolds to blog about.
The problem with manifolds is that to develop things properly takes quite a bit of tedious detail, so I want to go through the Frobenius theorem starting with what tensors are. So I have to start somewhere reasonable and have to skip lots of things. All of a sudden, it seems almost pointless to do the blog thing on it if I’m just going to skip the mechanics that I have to make sure I understand.
So I’m going to try my best to develop things rigorously and carefully, but I’ll probably only fill in things that seem like standard arguments that might come up several times and hence might come up on the exam.
My first assumption is a strong one. I’m working off the assumption that people who want to read this series either know what the tensor product of finite-dimensional vector spaces is or can quickly look it up and figure it out.
Let V be a finite-dimensional vector space. Then a covariant k-tensor is an element of (* will denote the dual space). For our purposes, we really only care about covariant tensors (I won’t go into connections or anything), so I won’t state that anymore, and we denote the vector space of k-tensors .
We have lots of examples of these already. , since linear functionals are in particular multi-linear. Thus 1-tensors are just covectors. In the language of linear algebra 2-tensors are just bilinear forms. Thus inner products are 2-tensors. Lastly, the determinant is an n-tensor.
Given a choice of basis for V, we have a natural basis for these vector spaces. Let be a basis for V, then take the dual basis for (the set such that ). Then is a basis for . In particular, we get that .
The types of tensors we really care about are ones called alternating tensors. These are the ones that change sign when two of the arguments are interchanged. Suppose is a (covariant, last time I promise) k-tensor on V and for any collection , it is alternating if .
The set of all alternating k-tensors is a subspace of the k-tensors that we will denote , and we will call this subspace the space of k-covectors. Note that the alternating property actually gives us a way to calculate any permutation of the arguments: .
Now that that is out of the way, we will place these structures on manifolds next time in the form of tensor fields.