Hodge dual: Difference between revisions
Wikispaces>genewardsmith **Imported revision 289020983 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 289021025 - Original comment: ** |
||
Line 1: | Line 1: | ||
<h2>IMPORTED REVISION FROM WIKISPACES</h2> | <h2>IMPORTED REVISION FROM WIKISPACES</h2> | ||
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | ||
: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-01-02 01: | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-01-02 01:37:38 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>289021025</tt>.<br> | ||
: The revision comment was: <tt></tt><br> | : The revision comment was: <tt></tt><br> | ||
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | ||
Line 14: | Line 14: | ||
=The dual= | =The dual= | ||
Given a k-multival U and an (n-k)-multival V, where n is the dimension (the number of coefficients, or length) of the vals, then U∧V is an n-multival. But the space of n-multivals is one-dimensional; if e2, e3, ..., ep is the standard basis of prime vals, then e2∧e3∧...∧ep is the sole basis vector for n-multivals. Hence it can be identified as a single scalar quantity. Given that identification, the dual Vº of V is simply the k-multimonzo which has the property that <U|Vº> = U∧V for every k-multival U. | Given a k-multival U and an (n-k)-multival V, where n is the dimension (the number of coefficients, or length) of the vals, then U∧V is an n-multival. But the space of n-multivals is one-dimensional; if e2, e3, ..., ep is the standard basis of prime vals, then e2∧e3∧...∧ep is the sole basis vector for n-multivals. Hence by a slight abuse of notation it can be identified as a single scalar quantity. Given that identification, the dual Vº of V is simply the k-multimonzo which has the property that <U|Vº> = U∧V for every k-multival U. | ||
=Computing the dual= | =Computing the dual= | ||
Line 30: | Line 30: | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:2:&lt;h1&gt; --><h1 id="toc1"><a name="The dual"></a><!-- ws:end:WikiTextHeadingRule:2 -->The dual</h1> | <!-- ws:start:WikiTextHeadingRule:2:&lt;h1&gt; --><h1 id="toc1"><a name="The dual"></a><!-- ws:end:WikiTextHeadingRule:2 -->The dual</h1> | ||
Given a k-multival U and an (n-k)-multival V, where n is the dimension (the number of coefficients, or length) of the vals, then U∧V is an n-multival. But the space of n-multivals is one-dimensional; if e2, e3, ..., ep is the standard basis of prime vals, then e2∧e3∧...∧ep is the sole basis vector for n-multivals. Hence it can be identified as a single scalar quantity. Given that identification, the dual Vº of V is simply the k-multimonzo which has the property that &lt;U|Vº&gt; = U∧V for every k-multival U.<br /> | Given a k-multival U and an (n-k)-multival V, where n is the dimension (the number of coefficients, or length) of the vals, then U∧V is an n-multival. But the space of n-multivals is one-dimensional; if e2, e3, ..., ep is the standard basis of prime vals, then e2∧e3∧...∧ep is the sole basis vector for n-multivals. Hence by a slight abuse of notation it can be identified as a single scalar quantity. Given that identification, the dual Vº of V is simply the k-multimonzo which has the property that &lt;U|Vº&gt; = U∧V for every k-multival U.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:4:&lt;h1&gt; --><h1 id="toc2"><a name="Computing the dual"></a><!-- ws:end:WikiTextHeadingRule:4 -->Computing the dual</h1> | <!-- ws:start:WikiTextHeadingRule:4:&lt;h1&gt; --><h1 id="toc2"><a name="Computing the dual"></a><!-- ws:end:WikiTextHeadingRule:4 -->Computing the dual</h1> |