Tenney–Euclidean metrics: Difference between revisions

Wikispaces>genewardsmith
**Imported revision 174914555 - Original comment: **
Wikispaces>genewardsmith
**Imported revision 174914799 - 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>2010-10-29 23:11:00 UTC</tt>.<br>
: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2010-10-29 23:14:11 UTC</tt>.<br>
: The original revision id was <tt>174914555</tt>.<br>
: The original revision id was <tt>174914799</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 15: Line 15:


==OE complexity==
==OE complexity==
Instead of starting from a matrix of vals, we may start from a matrix of monzos. If B is a matrix with rows of monzos spanning the commas of a regular temperament, then M = BW^(-1) is the corresponding weighted matrix. Q = M`M is a projection matrix dual to P = I-Q, where I is the identity matrix, and P is the same symmetric matrix as in the previous section. If the rows define a basis for the commas of the temperament, and are therefor linearly independent, then P = I -  M*(MM*)^(-1)M = I - W^(-1)B*(BW^(-2)B*)^(-1)BW^(-1), and mPm* = bW^(-1)PW^(-1)b* = b(W^(-2) - W^(-2)B*(BW^(-2)B*)^(-1)BW^(-2))b*, so that the terms inside the parenthesis define a formula for **P** in terms of the matrix of monzos B.
Instead of starting from a matrix of vals, we may start from a matrix of monzos. If B is a matrix with rows of monzos spanning the commas of a regular temperament, then M = BW^(-1) is the corresponding weighted matrix. Q = M`M is a projection matrix dual to P = I-Q, where I is the identity matrix, and P is the same symmetric matrix as in the previous section. If the rows define a basis for the commas of the temperament, and are therefor linearly independent, then P = I -  M*(MM*)^(-1)M = I - W^(-1)B*(BW^(-2)B*)^(-1)BW^(-1), and mPm* = bW^(-1)PW^(-1)b*, or b(W^(-2) - W^(-2)B*(BW^(-2)B*)^(-1)BW^(-2))b*, so that the terms inside the parenthesis define a formula for **P** in terms of the matrix of monzos B.


To define the OE, or octave equivalent seminorm, we simply add a row |1 0 0 ... 0&gt; representing 2 to the matrix B. Octaves are now projected to the origin as well as commas. We can as before form the quotient space with respect to the seminorm, and obtain a normed space in which octave-equivalent interval classes of the intervals of the temperament are the lattice points. The seminorm applied to monzos gives the OE complexity.</pre></div>
To define the OE, or octave equivalent seminorm, we simply add a row |1 0 0 ... 0&gt; representing 2 to the matrix B. Octaves are now projected to the origin as well as commas. We can as before form the quotient space with respect to the seminorm, and obtain a normed space in which octave-equivalent interval classes of the intervals of the temperament are the lattice points. The seminorm applied to monzos gives the OE complexity.</pre></div>
Line 28: Line 28:
&lt;br /&gt;
&lt;br /&gt;
&lt;!-- ws:start:WikiTextHeadingRule:4:&amp;lt;h2&amp;gt; --&gt;&lt;h2 id="toc2"&gt;&lt;a name="x-OE complexity"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:4 --&gt;OE complexity&lt;/h2&gt;
&lt;!-- ws:start:WikiTextHeadingRule:4:&amp;lt;h2&amp;gt; --&gt;&lt;h2 id="toc2"&gt;&lt;a name="x-OE complexity"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:4 --&gt;OE complexity&lt;/h2&gt;
Instead of starting from a matrix of vals, we may start from a matrix of monzos. If B is a matrix with rows of monzos spanning the commas of a regular temperament, then M = BW^(-1) is the corresponding weighted matrix. Q = M`M is a projection matrix dual to P = I-Q, where I is the identity matrix, and P is the same symmetric matrix as in the previous section. If the rows define a basis for the commas of the temperament, and are therefor linearly independent, then P = I -  M*(MM*)^(-1)M = I - W^(-1)B*(BW^(-2)B*)^(-1)BW^(-1), and mPm* &lt;!-- ws:start:WikiTextHeadingRule:6:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc3"&gt;&lt;a name="bW^(-1)PW^(-1)b*"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:6 --&gt; bW^(-1)PW^(-1)b* &lt;/h1&gt;
Instead of starting from a matrix of vals, we may start from a matrix of monzos. If B is a matrix with rows of monzos spanning the commas of a regular temperament, then M = BW^(-1) is the corresponding weighted matrix. Q = M`M is a projection matrix dual to P = I-Q, where I is the identity matrix, and P is the same symmetric matrix as in the previous section. If the rows define a basis for the commas of the temperament, and are therefor linearly independent, then P = I -  M*(MM*)^(-1)M = I - W^(-1)B*(BW^(-2)B*)^(-1)BW^(-1), and mPm* = bW^(-1)PW^(-1)b*, or b(W^(-2) - W^(-2)B*(BW^(-2)B*)^(-1)BW^(-2))b*, so that the terms inside the parenthesis define a formula for &lt;strong&gt;P&lt;/strong&gt; in terms of the matrix of monzos B.&lt;br /&gt;
b(W^(-2) - W^(-2)B*(BW^(-2)B*)^(-1)BW^(-2))b*, so that the terms inside the parenthesis define a formula for &lt;strong&gt;P&lt;/strong&gt; in terms of the matrix of monzos B.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
To define the OE, or octave equivalent seminorm, we simply add a row |1 0 0 ... 0&amp;gt; representing 2 to the matrix B. Octaves are now projected to the origin as well as commas. We can as before form the quotient space with respect to the seminorm, and obtain a normed space in which octave-equivalent interval classes of the intervals of the temperament are the lattice points. The seminorm applied to monzos gives the OE complexity.&lt;/body&gt;&lt;/html&gt;</pre></div>
To define the OE, or octave equivalent seminorm, we simply add a row |1 0 0 ... 0&amp;gt; representing 2 to the matrix B. Octaves are now projected to the origin as well as commas. We can as before form the quotient space with respect to the seminorm, and obtain a normed space in which octave-equivalent interval classes of the intervals of the temperament are the lattice points. The seminorm applied to monzos gives the OE complexity.&lt;/body&gt;&lt;/html&gt;</pre></div>