Here are 4 versions of one theorem:

  1. Guillemin and Pollack:

enter image description here

(Note that $A^\ast T(v_1,\dots,v_k)=T(Av_1,\dots,Av_k)$.)

  1. Lee:

enter image description here

  1. Spivak:

enter image description here

  1. Tu:

enter image description here

I can see that Tu's version implies Spivak's version because the former works for all $v_1,\dots,v_n$ whereas the latter works for $v_1,\dots v_n$ a basis (note that Spivak's $(a_{ij})$ is the transpose of Tu's $A$, but this doesn't matter). Also, Lee's version implies Guillemin and Pollack's as well as Spivak's. (To see why it implies Spivak's version, let $(v_1,\dots,v_n)$ be a basis for $V$ and define $T$ by $T(v_i)=w_i$ for all $i$; then if $A$ is the matrix of $T$ w.r.t. this basis, then $A=(a_{ij})^t$ where $(a_{ij})$ is Spivak's matrix.)

That's all equivalences I can see so far. But they all seem so similar. Are they all equivalent? If not, is there a subset of the set of the above theorems the elements of which are pairwise equivalent?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.