Hodge dual: Difference between revisions
Jump to navigation
Jump to search
Wikispaces>genewardsmith **Imported revision 289009707 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 289009815 - 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-01 21: | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-01-01 21:58:44 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>289009815</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 8: | Line 8: | ||
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;white-space: pre-wrap ! important" class="old-revision-html">Given a k-multival W, there is a //dual// k-multimonzo Wº. Similarly, given a k-multimonzo M, there is a dual k-multival Mº. The dual may be defined in terms of the bracket product relating multivals and multimonzos, which we discuss first. | <div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;white-space: pre-wrap ! important" class="old-revision-html">Given a k-multival W, there is a //dual// k-multimonzo Wº. Similarly, given a k-multimonzo M, there is a dual k-multival Mº. The dual may be defined in terms of the bracket product relating multivals and multimonzos, which we discuss first. | ||
Given a k-multival W and a k-multimonzo M (in which we may include sums of k-fold wedge products of vals or monzos), the bracket or bracket product, <W|M>, acts just the same as the bracket product of a val with a monzo. Suppose, for example, we take the wedge product W = 612∧441 = <<18 27 18 1 -22 -34||, which is the wedgie for ennealimmal temperament, and is a 2-val. The suppose we take the wedge product of the monzos for 27/25 and 21/20, M = |0 3 -2 0>∧|-2 1 -1 1> = ||6 -4 0 -1 3 -2>>. | Given a k-multival W and a k-multimonzo M (in which we may include sums of k-fold wedge products of vals or monzos), the bracket or bracket product, <W|M>, acts just the same as the bracket product of a val with a monzo. Suppose, for example, we take the wedge product W = 612∧441 = <<18 27 18 1 -22 -34||, which is the wedgie for ennealimmal temperament, and is a 2-val. The suppose we take the wedge product of the monzos for 27/25 and 21/20, M = |0 3 -2 0>∧|-2 1 -1 1> = ||6 -4 0 -1 3 -2>>. Then <W|M> equals <<18 27 18 1 -22 -34||6 -4 0 -1 3 -2>> equals 18*6-27*4+18*0-1*1-22*3+34*2 equals 1. In fact, we can compute the same result just using the vals and monzos we wedge together to get the bivals and bimonzos, by taking the determinant of the matrix which is the product of the matrix with rows the vals with the matrix with monzos the columns. We can also define it via the [[interior product]], but then we must fuss about the sign. | ||
Given a k-multival U and an (n-k)-multival V, where n is the dimension (the number of coeifficients, 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 coeifficients, 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. | ||
| Line 15: | Line 15: | ||
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html"><html><head><title>The dual</title></head><body>Given a k-multival W, there is a <em>dual</em> k-multimonzo Wº. Similarly, given a k-multimonzo M, there is a dual k-multival Mº. The dual may be defined in terms of the bracket product relating multivals and multimonzos, which we discuss first.<br /> | <div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html"><html><head><title>The dual</title></head><body>Given a k-multival W, there is a <em>dual</em> k-multimonzo Wº. Similarly, given a k-multimonzo M, there is a dual k-multival Mº. The dual may be defined in terms of the bracket product relating multivals and multimonzos, which we discuss first.<br /> | ||
<br /> | <br /> | ||
Given a k-multival W and a k-multimonzo M (in which we may include sums of k-fold wedge products of vals or monzos), the bracket or bracket product, &lt;W|M&gt;, acts just the same as the bracket product of a val with a monzo. Suppose, for example, we take the wedge product W = 612∧441 = &lt;&lt;18 27 18 1 -22 -34||, which is the wedgie for ennealimmal temperament, and is a 2-val. The suppose we take the wedge product of the monzos for 27/25 and 21/20, M = |0 3 -2 0&gt;∧|-2 1 -1 1&gt; | Given a k-multival W and a k-multimonzo M (in which we may include sums of k-fold wedge products of vals or monzos), the bracket or bracket product, &lt;W|M&gt;, acts just the same as the bracket product of a val with a monzo. Suppose, for example, we take the wedge product W = 612∧441 = &lt;&lt;18 27 18 1 -22 -34||, which is the wedgie for ennealimmal temperament, and is a 2-val. The suppose we take the wedge product of the monzos for 27/25 and 21/20, M = |0 3 -2 0&gt;∧|-2 1 -1 1&gt; = ||6 -4 0 -1 3 -2&gt;&gt;. Then &lt;W|M&gt; equals &lt;&lt;18 27 18 1 -22 -34||6 -4 0 -1 3 -2&gt;&gt; equals 18*6-27*4+18*0-1*1-22*3+34*2 equals 1. In fact, we can compute the same result just using the vals and monzos we wedge together to get the bivals and bimonzos, by taking the determinant of the matrix which is the product of the matrix with rows the vals with the matrix with monzos the columns. We can also define it via the <a class="wiki_link" href="/interior%20product">interior product</a>, but then we must fuss about the sign. <br /> | ||
<br /> | <br /> | ||
Given a k-multival U and an (n-k)-multival V, where n is the dimension (the number of coeifficients, 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.</body></html></pre></div> | Given a k-multival U and an (n-k)-multival V, where n is the dimension (the number of coeifficients, 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.</body></html></pre></div> | ||
Revision as of 21:58, 1 January 2012
IMPORTED REVISION FROM WIKISPACES
This is an imported revision from Wikispaces. The revision metadata is included below for reference:
- This revision was by author genewardsmith and made on 2012-01-01 21:58:44 UTC.
- The original revision id was 289009815.
- The revision comment was:
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.
Original Wikitext content:
Given a k-multival W, there is a //dual// k-multimonzo Wº. Similarly, given a k-multimonzo M, there is a dual k-multival Mº. The dual may be defined in terms of the bracket product relating multivals and multimonzos, which we discuss first. Given a k-multival W and a k-multimonzo M (in which we may include sums of k-fold wedge products of vals or monzos), the bracket or bracket product, <W|M>, acts just the same as the bracket product of a val with a monzo. Suppose, for example, we take the wedge product W = 612∧441 = <<18 27 18 1 -22 -34||, which is the wedgie for ennealimmal temperament, and is a 2-val. The suppose we take the wedge product of the monzos for 27/25 and 21/20, M = |0 3 -2 0>∧|-2 1 -1 1> = ||6 -4 0 -1 3 -2>>. Then <W|M> equals <<18 27 18 1 -22 -34||6 -4 0 -1 3 -2>> equals 18*6-27*4+18*0-1*1-22*3+34*2 equals 1. In fact, we can compute the same result just using the vals and monzos we wedge together to get the bivals and bimonzos, by taking the determinant of the matrix which is the product of the matrix with rows the vals with the matrix with monzos the columns. We can also define it via the [[interior product]], but then we must fuss about the sign. Given a k-multival U and an (n-k)-multival V, where n is the dimension (the number of coeifficients, 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.
Original HTML content:
<html><head><title>The dual</title></head><body>Given a k-multival W, there is a <em>dual</em> k-multimonzo Wº. Similarly, given a k-multimonzo M, there is a dual k-multival Mº. The dual may be defined in terms of the bracket product relating multivals and multimonzos, which we discuss first.<br /> <br /> Given a k-multival W and a k-multimonzo M (in which we may include sums of k-fold wedge products of vals or monzos), the bracket or bracket product, <W|M>, acts just the same as the bracket product of a val with a monzo. Suppose, for example, we take the wedge product W = 612∧441 = <<18 27 18 1 -22 -34||, which is the wedgie for ennealimmal temperament, and is a 2-val. The suppose we take the wedge product of the monzos for 27/25 and 21/20, M = |0 3 -2 0>∧|-2 1 -1 1> = ||6 -4 0 -1 3 -2>>. Then <W|M> equals <<18 27 18 1 -22 -34||6 -4 0 -1 3 -2>> equals 18*6-27*4+18*0-1*1-22*3+34*2 equals 1. In fact, we can compute the same result just using the vals and monzos we wedge together to get the bivals and bimonzos, by taking the determinant of the matrix which is the product of the matrix with rows the vals with the matrix with monzos the columns. We can also define it via the <a class="wiki_link" href="/interior%20product">interior product</a>, but then we must fuss about the sign. <br /> <br /> Given a k-multival U and an (n-k)-multival V, where n is the dimension (the number of coeifficients, 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.</body></html>