Structure metric: Difference between revisions

Wikispaces>genewardsmith
**Imported revision 565200515 - Original comment: **
Wikispaces>genewardsmith
**Imported revision 565324029 - 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>2015-11-04 15:01:01 UTC</tt>.<br>
: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2015-11-05 11:46:25 UTC</tt>.<br>
: The original revision id was <tt>565200515</tt>.<br>
: The original revision id was <tt>565324029</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 9: Line 9:


=Definition=
=Definition=
The //structure metric// is a [[https://en.wikipedia.org/wiki/Metric_(mathematics)|distance function]] on the notes of a [[constant structure]] [[periodic scale]] within the period, which give to it the property of being a [[https://en.wikipedia.org/wiki/Metric_space|finite metric space]]. If **s** is a periodic scale with quasiperiod **P**, and if **s**[i] with  0≤i&lt;**P** is a note of **s** within the period **P**, then we may define the base points set base(**s**[i]) to be the set of integers {j | **s**[j+i] - **s**[j] = **s**[i], 0≤j&lt;**P**}. These have the property that the interval between the base note **s**[j] and the note i steps away, **s**[j+i], is in class(i), the interval class to which **s**[i] belongs. If the cardinality of this set is n, there are n indicies which correspond to intervals of **s**[i], and **P**-n which correspond to indicies of intervals other than **s**[i]. In other words, there are **P**-n intervals, counting multiplicities, in the class of **s**[i] other than **s**[i]. Then the //structure complexity// ||**s**[i]|| of **s**[i] is defined to be **P**-n, and the structure metric is defined as d(**s**[i], **s**[j]) = || |**s**[i] - **s**[j]| ||.
The //structure metric// is a [[https://en.wikipedia.org/wiki/Metric_(mathematics)|distance function]] on the notes of a [[constant structure]] [[periodic scale]] within the period, which give to it the property of being a [[https://en.wikipedia.org/wiki/Metric_space|finite metric space]]. (In academic theory, constant structure is called the //partitioning property//.) If **s** is a periodic scale with quasiperiod **P**, and if **s**[i] with  0≤i&lt;**P** is a note of **s** within the period **P**, then we may define the base points set base(**s**[i]) to be the set of integers {j | **s**[j+i] - **s**[j] = **s**[i], 0≤j&lt;**P**}. These have the property that the interval between the base note **s**[j] and the note i steps away, **s**[j+i], is in class(i), the interval class to which **s**[i] belongs. If the cardinality of this set is n, there are n indicies which correspond to intervals of **s**[i], and **P**-n which correspond to indicies of intervals other than **s**[i]. In other words, there are **P**-n intervals, counting multiplicities, in the class of **s**[i] other than **s**[i]. Then the //structure complexity// ||**s**[i]|| of **s**[i] is defined to be **P**-n, and the structure metric is defined as d(**s**[i], **s**[j]) = || |**s**[i] - **s**[j]| ||.


=Properties=
=Properties=
Line 52: Line 52:
&lt;!-- ws:end:WikiTextTocRule:16 --&gt;&lt;br /&gt;
&lt;!-- ws:end:WikiTextTocRule:16 --&gt;&lt;br /&gt;
&lt;!-- ws:start:WikiTextHeadingRule:0:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc0"&gt;&lt;a name="Definition"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:0 --&gt;Definition&lt;/h1&gt;
&lt;!-- ws:start:WikiTextHeadingRule:0:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc0"&gt;&lt;a name="Definition"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:0 --&gt;Definition&lt;/h1&gt;
The &lt;em&gt;structure metric&lt;/em&gt; is a &lt;a class="wiki_link_ext" href="https://en.wikipedia.org/wiki/Metric_(mathematics)" rel="nofollow"&gt;distance function&lt;/a&gt; on the notes of a &lt;a class="wiki_link" href="/constant%20structure"&gt;constant structure&lt;/a&gt; &lt;a class="wiki_link" href="/periodic%20scale"&gt;periodic scale&lt;/a&gt; within the period, which give to it the property of being a &lt;a class="wiki_link_ext" href="https://en.wikipedia.org/wiki/Metric_space" rel="nofollow"&gt;finite metric space&lt;/a&gt;. If &lt;strong&gt;s&lt;/strong&gt; is a periodic scale with quasiperiod &lt;strong&gt;P&lt;/strong&gt;, and if &lt;strong&gt;s&lt;/strong&gt;[i] with  0≤i&amp;lt;&lt;strong&gt;P&lt;/strong&gt; is a note of &lt;strong&gt;s&lt;/strong&gt; within the period &lt;strong&gt;P&lt;/strong&gt;, then we may define the base points set base(&lt;strong&gt;s&lt;/strong&gt;[i]) to be the set of integers {j | &lt;strong&gt;s&lt;/strong&gt;[j+i] - &lt;strong&gt;s&lt;/strong&gt;[j] = &lt;strong&gt;s&lt;/strong&gt;[i], 0≤j&amp;lt;&lt;strong&gt;P&lt;/strong&gt;}. These have the property that the interval between the base note &lt;strong&gt;s&lt;/strong&gt;[j] and the note i steps away, &lt;strong&gt;s&lt;/strong&gt;[j+i], is in class(i), the interval class to which &lt;strong&gt;s&lt;/strong&gt;[i] belongs. If the cardinality of this set is n, there are n indicies which correspond to intervals of &lt;strong&gt;s&lt;/strong&gt;[i], and &lt;strong&gt;P&lt;/strong&gt;-n which correspond to indicies of intervals other than &lt;strong&gt;s&lt;/strong&gt;[i]. In other words, there are &lt;strong&gt;P&lt;/strong&gt;-n intervals, counting multiplicities, in the class of &lt;strong&gt;s&lt;/strong&gt;[i] other than &lt;strong&gt;s&lt;/strong&gt;[i]. Then the &lt;em&gt;structure complexity&lt;/em&gt; ||&lt;strong&gt;s&lt;/strong&gt;[i]|| of &lt;strong&gt;s&lt;/strong&gt;[i] is defined to be &lt;strong&gt;P&lt;/strong&gt;-n, and the structure metric is defined as d(&lt;strong&gt;s&lt;/strong&gt;[i], &lt;strong&gt;s&lt;/strong&gt;[j]) = || |&lt;strong&gt;s&lt;/strong&gt;[i] - &lt;strong&gt;s&lt;/strong&gt;[j]| ||.&lt;br /&gt;
The &lt;em&gt;structure metric&lt;/em&gt; is a &lt;a class="wiki_link_ext" href="https://en.wikipedia.org/wiki/Metric_(mathematics)" rel="nofollow"&gt;distance function&lt;/a&gt; on the notes of a &lt;a class="wiki_link" href="/constant%20structure"&gt;constant structure&lt;/a&gt; &lt;a class="wiki_link" href="/periodic%20scale"&gt;periodic scale&lt;/a&gt; within the period, which give to it the property of being a &lt;a class="wiki_link_ext" href="https://en.wikipedia.org/wiki/Metric_space" rel="nofollow"&gt;finite metric space&lt;/a&gt;. (In academic theory, constant structure is called the &lt;em&gt;partitioning property&lt;/em&gt;.) If &lt;strong&gt;s&lt;/strong&gt; is a periodic scale with quasiperiod &lt;strong&gt;P&lt;/strong&gt;, and if &lt;strong&gt;s&lt;/strong&gt;[i] with  0≤i&amp;lt;&lt;strong&gt;P&lt;/strong&gt; is a note of &lt;strong&gt;s&lt;/strong&gt; within the period &lt;strong&gt;P&lt;/strong&gt;, then we may define the base points set base(&lt;strong&gt;s&lt;/strong&gt;[i]) to be the set of integers {j | &lt;strong&gt;s&lt;/strong&gt;[j+i] - &lt;strong&gt;s&lt;/strong&gt;[j] = &lt;strong&gt;s&lt;/strong&gt;[i], 0≤j&amp;lt;&lt;strong&gt;P&lt;/strong&gt;}. These have the property that the interval between the base note &lt;strong&gt;s&lt;/strong&gt;[j] and the note i steps away, &lt;strong&gt;s&lt;/strong&gt;[j+i], is in class(i), the interval class to which &lt;strong&gt;s&lt;/strong&gt;[i] belongs. If the cardinality of this set is n, there are n indicies which correspond to intervals of &lt;strong&gt;s&lt;/strong&gt;[i], and &lt;strong&gt;P&lt;/strong&gt;-n which correspond to indicies of intervals other than &lt;strong&gt;s&lt;/strong&gt;[i]. In other words, there are &lt;strong&gt;P&lt;/strong&gt;-n intervals, counting multiplicities, in the class of &lt;strong&gt;s&lt;/strong&gt;[i] other than &lt;strong&gt;s&lt;/strong&gt;[i]. Then the &lt;em&gt;structure complexity&lt;/em&gt; ||&lt;strong&gt;s&lt;/strong&gt;[i]|| of &lt;strong&gt;s&lt;/strong&gt;[i] is defined to be &lt;strong&gt;P&lt;/strong&gt;-n, and the structure metric is defined as d(&lt;strong&gt;s&lt;/strong&gt;[i], &lt;strong&gt;s&lt;/strong&gt;[j]) = || |&lt;strong&gt;s&lt;/strong&gt;[i] - &lt;strong&gt;s&lt;/strong&gt;[j]| ||.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;!-- ws:start:WikiTextHeadingRule:2:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc1"&gt;&lt;a name="Properties"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:2 --&gt;Properties&lt;/h1&gt;
&lt;!-- ws:start:WikiTextHeadingRule:2:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc1"&gt;&lt;a name="Properties"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:2 --&gt;Properties&lt;/h1&gt;