Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I Tensor Product - Knapp, Chapter VI, Section 6

  1. Mar 12, 2016 #1
    I am reading Anthony W. Knapp's book: Basic Algebra in order to understand tensor products ... ...

    I need some help with an aspect of Theorem 6.10 in Section 6 of Chapter VI: Multilinear Algebra ...

    The text of Theorem 6.10 reads as follows:


    About midway in the above text, just at the start of "PROOF OF EXISTENCE", Knapp writes the following:

    " ... ... Let [itex]V_1 = \bigoplus_{ (e,f) } \mathbb{K} (e, f)[/itex], the direct sum being taken over all ordered pairs [itex](e,f)[/itex] with [itex]e \in E[/itex] and [itex]f \in F[/itex]. ... ... "

    I do not understand Knapp's notation for the exact sum ... what exactly does he mean by [itex]\bigoplus_{ (e,f) } \mathbb{K} (e, f)[/itex] ... ... ? What does he mean by the [itex]\mathbb{K} (e, f)[/itex] after the [itex]\bigoplus_{ (e,f) }[/itex] sign ... ?

    If others also find his notation perplexing then maybe those readers who have a good understanding of tensor products can interpret what he means from the flow of the proof ...

    Note that in his section on direct products Knapp uses standard notation and their is nothing in his earlier sections that I know of that gives a clue to the notation I am querying here ... if any readers request me to provide some of Knapp's text on the definition of direct products I will provide it ...

    Hope someone can help ...


    *** NOTE ***

    To give readers an idea of Knapp's approach and notation regarding tensor products I am proving Knapp's introduction to Chapter VI, Section 6: Tensor Product of Two Vector Spaces ... ... ... as follows ... ... ... :


    Attached Files:

  2. jcsd
  3. Mar 13, 2016 #2


    User Avatar
    Science Advisor
    Homework Helper

    K.(e,f) is a copy of the field K,. but labeled with the symbol (e,f). or if you like it is the set of all scalar multiples of the basis vector (e,f). that way he gets a separate copy of K for each symbol (e,f). he is just taking the direct sum of many copies of K, one for each symbol (e,f). another way to say is to consider instead all functions from the set ExF into K, that are zero everywhere except at a finite number of the pairs (e,f). of course that is just the formal definition of a direct sum.
    Last edited: Mar 13, 2016
  4. Mar 13, 2016 #3
    Thanks mathwonk ... that is extremely clear ... I feel I can move on with Knapp's treatment now ...

    ... so actually [itex] V_1 [/itex] is the direct sum of a lot of "lines" of the form [itex] \mathbb{K} (e, f) [/itex] ...

  5. Mar 15, 2016 #4


    User Avatar
    Science Advisor
    Homework Helper

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted

Similar Discussions: Tensor Product - Knapp, Chapter VI, Section 6
  1. Tensor Product. (Replies: 11)

  2. Tensor product? (Replies: 7)

  3. Tensor product (Replies: 1)

  4. Tensor Product Functor (Replies: 2)