Fokker block: Difference between revisions

Wikispaces>genewardsmith
**Imported revision 306112932 - Original comment: **
Wikispaces>genewardsmith
**Imported revision 306531666 - 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-02-28 17:21:01 UTC</tt>.<br>
: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-02-29 16:39:34 UTC</tt>.<br>
: The original revision id was <tt>306112932</tt>.<br>
: The original revision id was <tt>306531666</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 28: Line 28:
S[i + P] = S[i] + e1*t1 + e2*t2 + ... + en*tn = S[i] + 1
S[i + P] = S[i] + e1*t1 + e2*t2 + ... + en*tn = S[i] + 1


Hence S satisfies the conditions for being a [[Periodic scale|periodic scale]], and since our unit of measurement is the octave, ie we are using log base two to define intervals, the repetition interval 1 represents an octave. This gives us our first definition of Fokker block.</pre></div>
Hence S satisfies the conditions for being a [[Periodic scale|periodic scale]], and since our unit of measurement is the octave, ie we are using log base two to define intervals, the repetition interval 1 represents an octave. This gives us our first definition of Fokker block.
 
=Second definition of a Fokker block=
Let is define a new set of vals by uk = P*vk - vk(2)*v1. To apply these vals to S[i], note first that floor((e1*i+a1)/P) = floor(i+a1/P) = i, so that v1(S[i]) = i. Hence for k&gt;1, uk(S[i]) = P*vk(S[i]) - vk(2)*i. Since x-1 &lt; floor(x) ≤ x, we have (ek*i + ak)/P-1 &lt; floor((ek*i + ak)/P) ≤ (ek*i + ak)/P, so that
ek*i + ak - P &lt; P*vk(S[i]) ≤ ek*i + ak. Since ek = vk(2), this gives us ak - P &lt; uk(S[i]) ≤ ak. This means that for each of the vals uk, the scale is mapped to a set of P integers.</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">&lt;html&gt;&lt;head&gt;&lt;title&gt;Fokker blocks&lt;/title&gt;&lt;/head&gt;&lt;body&gt;&lt;!-- ws:start:WikiTextTocRule:4:&amp;lt;img id=&amp;quot;wikitext@@toc@@flat&amp;quot; class=&amp;quot;WikiMedia WikiMediaTocFlat&amp;quot; title=&amp;quot;Table of Contents&amp;quot; src=&amp;quot;/site/embedthumbnail/toc/flat?w=100&amp;amp;h=16&amp;quot;/&amp;gt; --&gt;&lt;!-- ws:end:WikiTextTocRule:4 --&gt;&lt;!-- ws:start:WikiTextTocRule:5: --&gt;&lt;a href="#Preliminaries"&gt;Preliminaries&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:5 --&gt;&lt;!-- ws:start:WikiTextTocRule:6: --&gt; | &lt;a href="#First definition of a Fokker block"&gt;First definition of a Fokker block&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:6 --&gt;&lt;!-- ws:start:WikiTextTocRule:7: --&gt;
<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">&lt;html&gt;&lt;head&gt;&lt;title&gt;Fokker blocks&lt;/title&gt;&lt;/head&gt;&lt;body&gt;&lt;!-- ws:start:WikiTextTocRule:6:&amp;lt;img id=&amp;quot;wikitext@@toc@@flat&amp;quot; class=&amp;quot;WikiMedia WikiMediaTocFlat&amp;quot; title=&amp;quot;Table of Contents&amp;quot; src=&amp;quot;/site/embedthumbnail/toc/flat?w=100&amp;amp;h=16&amp;quot;/&amp;gt; --&gt;&lt;!-- ws:end:WikiTextTocRule:6 --&gt;&lt;!-- ws:start:WikiTextTocRule:7: --&gt;&lt;a href="#Preliminaries"&gt;Preliminaries&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:7 --&gt;&lt;!-- ws:start:WikiTextTocRule:8: --&gt; | &lt;a href="#First definition of a Fokker block"&gt;First definition of a Fokker block&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:8 --&gt;&lt;!-- ws:start:WikiTextTocRule:9: --&gt; | &lt;a href="#Second definition of a Fokker block"&gt;Second definition of a Fokker block&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:9 --&gt;&lt;!-- ws:start:WikiTextTocRule:10: --&gt;
&lt;!-- ws:end:WikiTextTocRule:7 --&gt;&lt;br /&gt;
&lt;!-- ws:end:WikiTextTocRule:10 --&gt;&lt;br /&gt;
The &lt;strong&gt;Fokker block&lt;/strong&gt; is one of the most notable inventions of the physicist and music theorist &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Adriaan_Fokker" rel="nofollow"&gt;Adriaan Fokker&lt;/a&gt;. While the idea generalizes easily to &lt;a class="wiki_link" href="/just%20intonation%20subgroups"&gt;just intonation subgroups&lt;/a&gt;, for ease of exposition we will suppose that we are in a &lt;a class="wiki_link" href="/Harmonic%20Limit"&gt;p-limit&lt;/a&gt; situation with n=pi(p) primes up to an including p.&lt;br /&gt;
The &lt;strong&gt;Fokker block&lt;/strong&gt; is one of the most notable inventions of the physicist and music theorist &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Adriaan_Fokker" rel="nofollow"&gt;Adriaan Fokker&lt;/a&gt;. While the idea generalizes easily to &lt;a class="wiki_link" href="/just%20intonation%20subgroups"&gt;just intonation subgroups&lt;/a&gt;, for ease of exposition we will suppose that we are in a &lt;a class="wiki_link" href="/Harmonic%20Limit"&gt;p-limit&lt;/a&gt; situation with n=pi(p) primes up to an including p.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
Line 52: Line 56:
S[i + P] = S[i] + e1*t1 + e2*t2 + ... + en*tn = S[i] + 1&lt;br /&gt;
S[i + P] = S[i] + e1*t1 + e2*t2 + ... + en*tn = S[i] + 1&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
Hence S satisfies the conditions for being a &lt;a class="wiki_link" href="/Periodic%20scale"&gt;periodic scale&lt;/a&gt;, and since our unit of measurement is the octave, ie we are using log base two to define intervals, the repetition interval 1 represents an octave. This gives us our first definition of Fokker block.&lt;/body&gt;&lt;/html&gt;</pre></div>
Hence S satisfies the conditions for being a &lt;a class="wiki_link" href="/Periodic%20scale"&gt;periodic scale&lt;/a&gt;, and since our unit of measurement is the octave, ie we are using log base two to define intervals, the repetition interval 1 represents an octave. This gives us our first definition of Fokker block.&lt;br /&gt;
&lt;br /&gt;
&lt;!-- ws:start:WikiTextHeadingRule:4:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc2"&gt;&lt;a name="Second definition of a Fokker block"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:4 --&gt;Second definition of a Fokker block&lt;/h1&gt;
Let is define a new set of vals by uk = P*vk - vk(2)*v1. To apply these vals to S[i], note first that floor((e1*i+a1)/P) = floor(i+a1/P) = i, so that v1(S[i]) = i. Hence for k&amp;gt;1, uk(S[i]) = P*vk(S[i]) - vk(2)*i. Since x-1 &amp;lt; floor(x) ≤ x, we have (ek*i + ak)/P-1 &amp;lt; floor((ek*i + ak)/P) ≤ (ek*i + ak)/P, so that&lt;br /&gt;
ek*i + ak - P &amp;lt; P*vk(S[i]) ≤ ek*i + ak. Since ek = vk(2), this gives us ak - P &amp;lt; uk(S[i]) ≤ ak. This means that for each of the vals uk, the scale is mapped to a set of P integers.&lt;/body&gt;&lt;/html&gt;</pre></div>