MOS scale: Difference between revisions

Wikispaces>genewardsmith
**Imported revision 275397570 - Original comment: **
Wikispaces>genewardsmith
**Imported revision 278335210 - 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>2011-11-14 18:48:59 UTC</tt>.<br>
: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2011-11-22 20:22:47 UTC</tt>.<br>
: The original revision id was <tt>275397570</tt>.<br>
: The original revision id was <tt>278335210</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 27: Line 27:
= =  
= =  
=Mathematical Properties of MOS=  
=Mathematical Properties of MOS=  
Let us represent the period as 1. This would be the logarithm base 2 of 2 if the period is an octave, or in general we can measure intervals by the log base P when P is the period. Suppose the fractions a/b and c/d are a [[http://en.wikipedia.org/wiki/Farey_sequence#Farey_neighbours|Farey pair]], meaning that a/b &lt; c/d and bc - ad = 1. If g = (1-t)(a/b) + t(c/d) for 0 &lt;= t &lt;= 1, then when t = 0, the scale generated by g will consist of an equal division of 1 (representing P) into steps of size 1/b, and when t = 1 into steps of size 1/d. In between, when t = b/(b + d), we obtain a generator equal to the [[http://en.wikipedia.org/wiki/Mediant_%28mathematics%29|mediant]] (a + c)/(b + d) and which will divide the period into b+d equal steps. For all other values a/b &lt; g &lt; c/d we obtain two different sizes of steps, the small steps s, and the large steps L, with the total number of steps b+d, and these scales are the MOS associated to the Farey pair. When g is between a/b and (a + c)/(b + d) there will be b large steps and d small steps, and when it is between (a + c)/(b + d) and c/d, d large steps and b small ones.
Let us represent the period as 1. This would be the logarithm base 2 of 2 if the period is an octave, or in general we can measure intervals by the log base P when P is the period. Suppose the fractions a/b and c/d are a [[http://en.wikipedia.org/wiki/Farey_sequence#Farey_neighbours|Farey pair]], meaning that a/b &lt; c/d and bc - ad = 1. If g = (1-t)(a/b) + t(c/d) for 0 ≤ t ≤ 1, then when t = 0, the scale generated by g will consist of an equal division of 1 (representing P) into steps of size 1/b, and when t = 1 into steps of size 1/d. In between, when t = b/(b + d), we obtain a generator equal to the [[http://en.wikipedia.org/wiki/Mediant_%28mathematics%29|mediant]] (a + c)/(b + d) and which will divide the period into b+d equal steps. For all other values a/b &lt; g &lt; c/d we obtain two different sizes of steps, the small steps s, and the large steps L, with the total number of steps b+d, and these scales are the MOS associated to the Farey pair. When g is between a/b and (a + c)/(b + d) there will be b large steps and d small steps, and when it is between (a + c)/(b + d) and c/d, d large steps and b small ones.


While all the scales constructed by generators g with a/b &lt; g &lt; c/d with the exception of the mediant which gives an equal temperament are MOS, not all the scales are [[http://en.wikipedia.org/wiki/Rothenberg_propriety|proper]] in the sense of Rothenberg. The //range of propriety// for MOS is (2a + c)/(2b + d) &lt;= g &lt;= (a + 2c)/(b + 2d), where MOS coming from a Farey pair (a/b, c/d) are proper when in this range, and improper (unless the MOS has only one small step) when out of it. If (2a + c)/(2b + d) &lt; g &lt; (a + 2c)/(b + 2d), then the scales are strictly proper. Hence the diatonic scale in 12et, with generator 7/12, is proper but not strictly proper since starting from the pair (1/2, 3/5) we find the range of propriety for these seven-note MOS to be [5/9, 7/12].
While all the scales constructed by generators g with a/b &lt; g &lt; c/d with the exception of the mediant which gives an equal temperament are MOS, not all the scales are [[http://en.wikipedia.org/wiki/Rothenberg_propriety|proper]] in the sense of Rothenberg. The //range of propriety// for MOS is (2a + c)/(2b + d) ≤ g ≤ (a + 2c)/(b + 2d), where MOS coming from a Farey pair (a/b, c/d) are proper when in this range, and improper (unless the MOS has only one small step) when out of it. If (2a + c)/(2b + d) &lt; g &lt; (a + 2c)/(b + 2d), then the scales are strictly proper. Hence the diatonic scale in 12et, with generator 7/12, is proper but not strictly proper since starting from the pair (1/2, 3/5) we find the range of propriety for these seven-note MOS to be [5/9, 7/12].


Given a generator g, we can find MOS for g with period 1 by means of the [[http://en.wikipedia.org/wiki/Continued_fraction#Semiconvergents|semiconvergents]] to g. A pair of successive semiconvergents have the property that they define a Farey pair, and when g is contained in the pair, that is, a/b &lt; g &lt; c/d, we have defined a MOS for g with b+d as the number of notes in the MOS, with b notes of one size and d of the other.
Given a generator g, we can find MOS for g with period 1 by means of the [[http://en.wikipedia.org/wiki/Continued_fraction#Semiconvergents|semiconvergents]] to g. A pair of successive semiconvergents have the property that they define a Farey pair, and when g is contained in the pair, that is, a/b &lt; g &lt; c/d, we have defined a MOS for g with b+d as the number of notes in the MOS, with b notes of one size and d of the other.
Line 331: Line 331:
&lt;!-- ws:start:WikiTextHeadingRule:2:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc1"&gt;&lt;!-- ws:end:WikiTextHeadingRule:2 --&gt; &lt;/h1&gt;
&lt;!-- ws:start:WikiTextHeadingRule:2:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc1"&gt;&lt;!-- ws:end:WikiTextHeadingRule:2 --&gt; &lt;/h1&gt;
  &lt;!-- ws:start:WikiTextHeadingRule:4:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc2"&gt;&lt;a name="Mathematical Properties of MOS"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:4 --&gt;Mathematical Properties of MOS&lt;/h1&gt;
  &lt;!-- ws:start:WikiTextHeadingRule:4:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc2"&gt;&lt;a name="Mathematical Properties of MOS"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:4 --&gt;Mathematical Properties of MOS&lt;/h1&gt;
  Let us represent the period as 1. This would be the logarithm base 2 of 2 if the period is an octave, or in general we can measure intervals by the log base P when P is the period. Suppose the fractions a/b and c/d are a &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Farey_sequence#Farey_neighbours" rel="nofollow"&gt;Farey pair&lt;/a&gt;, meaning that a/b &amp;lt; c/d and bc - ad = 1. If g = (1-t)(a/b) + t(c/d) for 0 &amp;lt;= t &amp;lt;= 1, then when t = 0, the scale generated by g will consist of an equal division of 1 (representing P) into steps of size 1/b, and when t = 1 into steps of size 1/d. In between, when t = b/(b + d), we obtain a generator equal to the &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Mediant_%28mathematics%29" rel="nofollow"&gt;mediant&lt;/a&gt; (a + c)/(b + d) and which will divide the period into b+d equal steps. For all other values a/b &amp;lt; g &amp;lt; c/d we obtain two different sizes of steps, the small steps s, and the large steps L, with the total number of steps b+d, and these scales are the MOS associated to the Farey pair. When g is between a/b and (a + c)/(b + d) there will be b large steps and d small steps, and when it is between (a + c)/(b + d) and c/d, d large steps and b small ones.&lt;br /&gt;
  Let us represent the period as 1. This would be the logarithm base 2 of 2 if the period is an octave, or in general we can measure intervals by the log base P when P is the period. Suppose the fractions a/b and c/d are a &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Farey_sequence#Farey_neighbours" rel="nofollow"&gt;Farey pair&lt;/a&gt;, meaning that a/b &amp;lt; c/d and bc - ad = 1. If g = (1-t)(a/b) + t(c/d) for 0 ≤ t ≤ 1, then when t = 0, the scale generated by g will consist of an equal division of 1 (representing P) into steps of size 1/b, and when t = 1 into steps of size 1/d. In between, when t = b/(b + d), we obtain a generator equal to the &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Mediant_%28mathematics%29" rel="nofollow"&gt;mediant&lt;/a&gt; (a + c)/(b + d) and which will divide the period into b+d equal steps. For all other values a/b &amp;lt; g &amp;lt; c/d we obtain two different sizes of steps, the small steps s, and the large steps L, with the total number of steps b+d, and these scales are the MOS associated to the Farey pair. When g is between a/b and (a + c)/(b + d) there will be b large steps and d small steps, and when it is between (a + c)/(b + d) and c/d, d large steps and b small ones.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
While all the scales constructed by generators g with a/b &amp;lt; g &amp;lt; c/d with the exception of the mediant which gives an equal temperament are MOS, not all the scales are &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Rothenberg_propriety" rel="nofollow"&gt;proper&lt;/a&gt; in the sense of Rothenberg. The &lt;em&gt;range of propriety&lt;/em&gt; for MOS is (2a + c)/(2b + d) &amp;lt;= g &amp;lt;= (a + 2c)/(b + 2d), where MOS coming from a Farey pair (a/b, c/d) are proper when in this range, and improper (unless the MOS has only one small step) when out of it. If (2a + c)/(2b + d) &amp;lt; g &amp;lt; (a + 2c)/(b + 2d), then the scales are strictly proper. Hence the diatonic scale in 12et, with generator 7/12, is proper but not strictly proper since starting from the pair (1/2, 3/5) we find the range of propriety for these seven-note MOS to be [5/9, 7/12].&lt;br /&gt;
While all the scales constructed by generators g with a/b &amp;lt; g &amp;lt; c/d with the exception of the mediant which gives an equal temperament are MOS, not all the scales are &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Rothenberg_propriety" rel="nofollow"&gt;proper&lt;/a&gt; in the sense of Rothenberg. The &lt;em&gt;range of propriety&lt;/em&gt; for MOS is (2a + c)/(2b + d) ≤ g ≤ (a + 2c)/(b + 2d), where MOS coming from a Farey pair (a/b, c/d) are proper when in this range, and improper (unless the MOS has only one small step) when out of it. If (2a + c)/(2b + d) &amp;lt; g &amp;lt; (a + 2c)/(b + 2d), then the scales are strictly proper. Hence the diatonic scale in 12et, with generator 7/12, is proper but not strictly proper since starting from the pair (1/2, 3/5) we find the range of propriety for these seven-note MOS to be [5/9, 7/12].&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
Given a generator g, we can find MOS for g with period 1 by means of the &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Continued_fraction#Semiconvergents" rel="nofollow"&gt;semiconvergents&lt;/a&gt; to g. A pair of successive semiconvergents have the property that they define a Farey pair, and when g is contained in the pair, that is, a/b &amp;lt; g &amp;lt; c/d, we have defined a MOS for g with b+d as the number of notes in the MOS, with b notes of one size and d of the other.&lt;br /&gt;
Given a generator g, we can find MOS for g with period 1 by means of the &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Continued_fraction#Semiconvergents" rel="nofollow"&gt;semiconvergents&lt;/a&gt; to g. A pair of successive semiconvergents have the property that they define a Farey pair, and when g is contained in the pair, that is, a/b &amp;lt; g &amp;lt; c/d, we have defined a MOS for g with b+d as the number of notes in the MOS, with b notes of one size and d of the other.&lt;br /&gt;