Vals and tuning space: Difference between revisions
Wikispaces>mbattaglia1 **Imported revision 222893682 - Original comment: ** |
Wikispaces>mbattaglia1 **Imported revision 222894678 - 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:mbattaglia1|mbattaglia1]] and made on <tt>2011-04-25 22: | : This revision was by author [[User:mbattaglia1|mbattaglia1]] and made on <tt>2011-04-25 22:59:58 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>222894678</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 21: | Line 21: | ||
\displaystyle | \displaystyle | ||
||v|| = \sqrt{\left({\frac{v_2}{log_2(2)}\right)^2 + \left({\frac{v_3}{log_2(3)}\right)^2 + \left(\frac{v_5}{log_2(5)}\right)^2 + ... + \left(\frac{v_p}{log_2(p)}\right)^2 | ||v|| = \sqrt{\left({\frac{v_2}{log_2(2)}\right)^2 + \left({\frac{v_3}{log_2(3)}\right)^2 + \left(\frac{v_5}{log_2(5)}\right)^2 + ... + \left(\frac{v_p}{log_2(p)}\right)^2 | ||
%original was ||v|| = sqrt(v2^2 + (v3/log2(3))^2 + ... + (vp/log2(p))^2) | |||
[[math]] | [[math]] | ||
| Line 28: | Line 29: | ||
==Example== | ==Example== | ||
The 7-limit val corresponding to [[31edo]] is <31 49 72 87|. This tells us that 31 steps reaches the 2, approximately 49 the 3, 72 the 5, and 87 the 7. In weighted coordinates, it becomes <31 49/log2(3) 72/log2(5) 87/log2(7)| | The 7-limit val corresponding to [[31edo]] is <31 49 72 87|. This tells us that 31 steps reaches the 2, approximately 49 the 3, 72 the 5, and 87 the 7. In weighted coordinates, it becomes | ||
[[math]] | |||
\displaystyle | |||
\left<31 \; \frac{49}{log_2(3)} \; \frac{72}{log_2(5)} \; \frac{87}{log_2(7)}\right| | |||
%original was <31 49/log2(3) 72/log2(5) 87/log2(7)| | |||
[[math]] | |||
which is approximately <31.000 30.916 31.009 30.990|. The standard Euclidean norm would then be the square root of the sum of squares of this vector, which is approximately sqrt(3838.694), or 61.957. To use the RMS we divide that by sqrt(4)=2, giving 30.976 for the TE norm. Note that the TE norm for this val is approximately 31.</pre></div> | |||
<h4>Original HTML content:</h4> | <h4>Original HTML content:</h4> | ||
<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>Vals and Tuning Space</title></head><body>The p-limit <a class="wiki_link" href="/Monzos%20and%20Interval%20Space">monzos</a> M form a free abelian group, or Z-module, of finite rank pi(p), which is the number of primes up to and including p. The <a class="wiki_link_ext" href="http://planetmath.org/encyclopedia/DualModule.html" rel="nofollow">dual Z-module</a> M* is <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Group_isomorphism" rel="nofollow">isomorphic</a> to M, but not in a canonical way. Hence it, the group (Z-module) of <strong>vals</strong>, is also a free abelian group of rank pi(p). Just as monzos are often written as <a class="wiki_link_ext" href="http://mathworld.wolfram.com/Ket.html" rel="nofollow">kets</a>, vals are typically written as <a class="wiki_link_ext" href="http://mathworld.wolfram.com/Bra.html" rel="nofollow">bras</a>.<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>Vals and Tuning Space</title></head><body>The p-limit <a class="wiki_link" href="/Monzos%20and%20Interval%20Space">monzos</a> M form a free abelian group, or Z-module, of finite rank pi(p), which is the number of primes up to and including p. The <a class="wiki_link_ext" href="http://planetmath.org/encyclopedia/DualModule.html" rel="nofollow">dual Z-module</a> M* is <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Group_isomorphism" rel="nofollow">isomorphic</a> to M, but not in a canonical way. Hence it, the group (Z-module) of <strong>vals</strong>, is also a free abelian group of rank pi(p). Just as monzos are often written as <a class="wiki_link_ext" href="http://mathworld.wolfram.com/Ket.html" rel="nofollow">kets</a>, vals are typically written as <a class="wiki_link_ext" href="http://mathworld.wolfram.com/Bra.html" rel="nofollow">bras</a>.<br /> | ||
| Line 45: | Line 54: | ||
[[math]]&lt;br/&gt; | [[math]]&lt;br/&gt; | ||
\displaystyle&lt;br /&gt; | \displaystyle&lt;br /&gt; | ||
||v|| = \sqrt{\left({\frac{v_2}{log_2(2)}\right)^2 + \left({\frac{v_3}{log_2(3)}\right)^2 + \left(\frac{v_5}{log_2(5)}\right)^2 + ... + \left(\frac{v_p}{log_2(p)}\right)^2&lt;br/&gt;[[math]] | ||v|| = \sqrt{\left({\frac{v_2}{log_2(2)}\right)^2 + \left({\frac{v_3}{log_2(3)}\right)^2 + \left(\frac{v_5}{log_2(5)}\right)^2 + ... + \left(\frac{v_p}{log_2(p)}\right)^2&lt;br /&gt; | ||
%original was ||v|| = sqrt(v2^2 + (v3/log2(3))^2 + ... + (vp/log2(p))^2)&lt;br/&gt;[[math]] | |||
--><script type="math/tex">\displaystyle | --><script type="math/tex">\displaystyle | ||
||v|| = \sqrt{\left({\frac{v_2}{log_2(2)}\right)^2 + \left({\frac{v_3}{log_2(3)}\right)^2 + \left(\frac{v_5}{log_2(5)}\right)^2 + ... + \left(\frac{v_p}{log_2(p)}\right)^2</script><!-- ws:end:WikiTextMathRule:0 --><br /> | ||v|| = \sqrt{\left({\frac{v_2}{log_2(2)}\right)^2 + \left({\frac{v_3}{log_2(3)}\right)^2 + \left(\frac{v_5}{log_2(5)}\right)^2 + ... + \left(\frac{v_p}{log_2(p)}\right)^2 | ||
%original was ||v|| = sqrt(v2^2 + (v3/log2(3))^2 + ... + (vp/log2(p))^2)</script><!-- ws:end:WikiTextMathRule:0 --><br /> | |||
<br /> | <br /> | ||
It useful to renormalize to the RMS (root mean square) instead, which requires dividing the above by sqrt(n), where n = pi(p) is the number of primes up to p. This is the TE, or Tenney-Euclidean, norm.<br /> | It useful to renormalize to the RMS (root mean square) instead, which requires dividing the above by sqrt(n), where n = pi(p) is the number of primes up to p. This is the TE, or Tenney-Euclidean, norm.<br /> | ||
| Line 53: | Line 64: | ||
It should be noted that despite the name, only vectors in a small region of tuning space can reasonably be considered to be tunings. These are the points in tuning space close to the JI point, or JIP, which in weighted coordinates is &lt;1 1 1 ... 1|. It has the property that if M is a monzo in weighted coordinates, then &lt;JIP|M&gt;, or JIP(M) if you prefer, is exactly the log base two of the interval M represents, hence the name. In unweighted coordinates, JIP = &lt;1 log2(3) ... log2(p)|, and applied to a monzo this gives the log base two of the corresponding interval.<br /> | It should be noted that despite the name, only vectors in a small region of tuning space can reasonably be considered to be tunings. These are the points in tuning space close to the JI point, or JIP, which in weighted coordinates is &lt;1 1 1 ... 1|. It has the property that if M is a monzo in weighted coordinates, then &lt;JIP|M&gt;, or JIP(M) if you prefer, is exactly the log base two of the interval M represents, hence the name. In unweighted coordinates, JIP = &lt;1 log2(3) ... log2(p)|, and applied to a monzo this gives the log base two of the corresponding interval.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule: | <!-- ws:start:WikiTextHeadingRule:2:&lt;h2&gt; --><h2 id="toc0"><a name="x-Example"></a><!-- ws:end:WikiTextHeadingRule:2 -->Example</h2> | ||
The 7-limit val corresponding to <a class="wiki_link" href="/31edo">31edo</a> is &lt;31 49 72 87|. This tells us that 31 steps reaches the 2, approximately 49 the 3, 72 the 5, and 87 the 7. In weighted coordinates, it becomes &lt;31 49/log2(3) 72/log2(5) 87/log2(7)| | The 7-limit val corresponding to <a class="wiki_link" href="/31edo">31edo</a> is &lt;31 49 72 87|. This tells us that 31 steps reaches the 2, approximately 49 the 3, 72 the 5, and 87 the 7. In weighted coordinates, it becomes<br /> | ||
<br /> | |||
<!-- ws:start:WikiTextMathRule:1: | |||
[[math]]&lt;br/&gt; | |||
\displaystyle&lt;br /&gt; | |||
\left&lt;31 \; \frac{49}{log_2(3)} \; \frac{72}{log_2(5)} \; \frac{87}{log_2(7)}\right|&lt;br /&gt; | |||
%original was &lt;31 49/log2(3) 72/log2(5) 87/log2(7)|&lt;br/&gt;[[math]] | |||
--><script type="math/tex">\displaystyle | |||
\left<31 \; \frac{49}{log_2(3)} \; \frac{72}{log_2(5)} \; \frac{87}{log_2(7)}\right| | |||
%original was <31 49/log2(3) 72/log2(5) 87/log2(7)|</script><!-- ws:end:WikiTextMathRule:1 --><br /> | |||
<br /> | |||
which is approximately &lt;31.000 30.916 31.009 30.990|. The standard Euclidean norm would then be the square root of the sum of squares of this vector, which is approximately sqrt(3838.694), or 61.957. To use the RMS we divide that by sqrt(4)=2, giving 30.976 for the TE norm. Note that the TE norm for this val is approximately 31.</body></html></pre></div> | |||