Xenharmonic Wiki

Monzos and interval space: Difference between revisions

← Older edit
VisualWikitext
Wikispaces>xenwolf
**Imported revision 418200132 - Original comment: math formatting - the sqare root argument is now easier to see**
Sintel (talk | contribs)
autopatrolled, emailconfirmed
1,625 edits
-legacy
 
(20 intermediate revisions by 12 users not shown)
Line 1: Line 1:
<h2>IMPORTED REVISION FROM WIKISPACES</h2>
{{Interwiki
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br>
| de = Intervallraum
: This revision was by author [[User:xenwolf|xenwolf]] and made on <tt>2013-03-27 04:45:21 UTC</tt>.<br>
| en = Monzos and interval space
: The original revision id was <tt>418200132</tt>.<br>
| ja = モンゾと音程空間
: The revision comment was: <tt>math formatting - the sqare root argument is now easier to see</tt><br>
}}
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br>
{{Expert|Monzo}}
<h4>Original Wikitext content:</h4>
This page gives the formal mathematical definition of a '''monzo''' and shows its relation to '''interval space'''.  
<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;white-space: pre-wrap ! important" class="old-revision-html">=Definition:=


A [[Harmonic Limit|p-limit]] rational number q can by definition be factored into primes of size less than or equal to p, giving
== Definition ==
[[math]]
q = 2^{e_2} \, 3^{e_3} \, 5^{e_5} \dotso p^{e_p}
[[math]]
where the exponents are integers (positive, negative, or zero.) This is often written in [[http://mathworld.wolfram.com/Ket.html|ket vector]] ([[http://en.wikipedia.org/wiki/Bra-ket_notation|wp]]) notation as
[[math]]
|e_2 \, e_3 \, e_5 \dotso e_p\rangle
[[math]]
in which case it is called a **monzo**, where the name refers to the enthusiastic advocacy of [[Joe Monzo]].


The [[Tenney Height|Tenney height]] of this monzo is given by
A [[Harmonic limit|''p''-limit]] rational number ''q'' can by definition be factored into primes of size less than or equal to ''p'', giving
[[math]]
\| |e_2 \, e_3 \dotso e_p \rangle \| = |e_2| + |e_3| \log_2 3 + \dotsb + |e_p| \log_2 p
[[math]]


which is a [[http://en.wikipedia.org/wiki/Normed_vector_space|vector space norm]]; hence we may [[http://en.wikipedia.org/wiki/Embedding|embed]] the p-limit monzos into a normed vector I space of dimension n = π(p) via a map M:monzos ⟶ I. The monzos under this embedding now define a [[http://en.wikipedia.org/wiki/Lattice_%28group%29|lattice]], which is a discrete subgroup spanning the finite dimensional real normed vector space I. If we change coordinates by multiplying values in the coordinate belonging to the prime k by log2(k), then the norm becomes the standard [[http://mathworld.wolfram.com/L1-Norm.html|L1 norm]]. This vector space is Tenney interval space, and the transformed coordinates with the standard L1 norm form the standard basis for Tenney space. It should be noted that while monzos correspond uniquely to positive real numbers (always rational numbers in the case of monzos), vectors in Tenney space do not. For instance, while |1 0&gt; represents 2, so does |0 log3(2)&gt;.
<math>q = 2^{e_2} \, 3^{e_3} \, 5^{e_5} \dotso p^{e_p}</math>


Because of the mathematical advantages of Euclidean norms, a Euclidean norm is often placed on the vectors in interval space instead of an L1 norm, in which case we have [[Tenney-Euclidean metrics|Tenney-Euclidean interval space]] instead of Tenney interval space. Explicitly, if we take the monzo |e2 e3 ... ep&gt; then the Tenney-Euclidean norm, or TE norm, of it is
where the exponents are integers (positive, negative, or zero.) This is often written in [http://mathworld.wolfram.com/Ket.html ket vector] (→ [[Wikipedia: Bra-ket notation]]) notation as
[[math]]
\sqrt{e_2^2 + (e_3\log_2 3)^2 + \dotsb + (e_p\log_2 p)^2}
[[math]]
and if the coordinates are the weighted interval space coordinates, then the TE norm is the [[http://mathworld.wolfram.com/L2-Norm.html|standard Euclidean, or L2, norm]].


=Alternate Definition:=
<math>|e_2 \, e_3 \, e_5 \dotso e_p\rangle</math>


Given a rational number q, we can rewrite it in monzo form by the following definition:
in which case it is called a '''monzo''', where the name refers to the enthusiastic advocacy of [[Joe Monzo]].
[[math]]
q = |v_2 (q) \,v_3 (q) \, v_5 (q) \dotso v_p (q)\rangle
[[math]]


The [[Tenney Height|Tenney height]] of this monzo is given by
The [[Tenney height]] of this monzo is given by
[[math]]
\| |v_2 (q) \, v_3 (q) \dotso v_p (q) \rangle \| = |v_2 (q)| + |v_3 (q)| \log_2 3 + \dotsb + |v_p (q)| \log_2 p
[[math]]


Where vp(q) is the [[http://en.wikipedia.org/wiki/P-adic_order|p-adic valuation]] of q.
<math>\| |e_2 \, e_3 \dotso e_p \rangle \| = |e_2| + |e_3| \log_2 3 + \dotsb + |e_p| \log_2 p</math>


=Example:=  
which is a [[Wikipedia: Normed vector space|vector space norm]]; hence we may [[Wikipedia: Embedding|embed]] the ''p''-limit monzos into a normed vector I space of dimension ''n'' = π (''p'') via a map M:monzos ⟶ I. The monzos under this embedding now define a [[Wikipedia:Lattice %28group%29|lattice]], which is a discrete subgroup spanning the finite dimensional real normed vector space I. If we change coordinates by multiplying values in the coordinate belonging to the prime ''k'' by log<sub>2</sub> (''k''), then the norm becomes the standard [http://mathworld.wolfram.com/L1-Norm.html L1 norm]. This vector space is Tenney interval space, and the transformed coordinates with the standard L1 norm form the standard basis for Tenney space. It should be noted that while monzos correspond uniquely to positive real numbers (always rational numbers in the case of monzos), vectors in Tenney space do not. For instance, while {{monzo| 1 0 }} represents 2, so does {{monzo| 0 log<sub>3</sub> (2)}}.
 
Because of the mathematical advantages of Euclidean norms, a Euclidean norm is often placed on the vectors in interval space instead of an L1 norm, in which case we have [[Tenney-Euclidean metrics|Tenney-Euclidean interval space]] instead of Tenney interval space. Explicitly, if we take the monzo {{monzo| ''e''<sub>2</sub> ''e''<sub>3</sub> … ''e''<sub>''p''</sub> }} then the Tenney-Euclidean norm, or TE norm, of it is
 
<math>\sqrt{e_2^2 + (e_3\log_2 3)^2 + \dotsb + (e_p\log_2 p)^2}</math>
 
and if the coordinates are the weighted interval space coordinates, then the TE norm is the [http://mathworld.wolfram.com/L2-Norm.html standard Euclidean, or L2, norm].
 
== Alternate definition ==
Given a rational number ''q'', we can rewrite it in monzo form by the following definition:
 
<math>q = |v_2 (q) \,v_3 (q) \, v_5 (q) \dotso v_p (q)\rangle</math>
 
The [[Tenney height]] of this monzo is given by
 
<math>\| |v_2 (q) \, v_3 (q) \dotso v_p (q) \rangle \| = |v_2 (q)| + |v_3 (q)| \log_2 3 + \dotsb + |v_p (q)| \log_2 p</math>
 
Where ''v''<sub>''p''</sub> (''q'') is the [[Wikipedia: P-adic order|''p''-adic valuation]] of ''q''.
 
== Example ==
The 5-limit interval 16/15 factors as 2<sup>4</sup> 3<sup>-1</sup> 5<sup>-1</sup>, so it has a monzo representation of {{monzo| 4 -1 -1 }}. In weighted coordinates, that becomes {{monzo| 4 -log<sub>2</sub> (3) -log<sub>2</sub> (5) }}, approximately {{monzo| 4 -1.585 -2.322 }}.


The 5-limit interval 16/15 factors as 2^4 3^(-1) 5^(-1), so it has a monzo representation of |4 -1 -1&gt;. In weighted coordinates, that becomes |4 -log2(3) -log2(5)&gt;, approximately |4 -1.585 -2.322&gt;.
The TE norm is therefore
The TE norm is therefore
[[math]]
\sqrt{(4^2 + log2(3)^2 + log2(5)^2)}  ≅ \sqrt{23.903}  ≅ 4.889.


[[math]]
<math>\sqrt{(4^2 + \log_2(3)^2 + \log_2(5)^2)} ≅ \sqrt{23.903} ≅ 4.889.
</math>
 
== See also ==
* [[Fractional monzos]]
* [[Vals and tuning space]]


//see also [[Fractional monzos]], [[Vals and Tuning Space]]...//</pre></div>
[[Category:Regular temperament theory]]
<h4>Original HTML content:</h4>
[[Category:Interval space]]
<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;Monzos and Interval Space&lt;/title&gt;&lt;/head&gt;&lt;body&gt;&lt;!-- ws:start:WikiTextHeadingRule:7:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc0"&gt;&lt;a name="Definition:"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:7 --&gt;Definition:&lt;/h1&gt;
[[Category:Math]]
&lt;br /&gt;
[[Category:Monzo]]
A &lt;a class="wiki_link" href="/Harmonic%20Limit"&gt;p-limit&lt;/a&gt; rational number q can by definition be factored into primes of size less than or equal to p, giving&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:0:
[[math]]&amp;lt;br/&amp;gt;
q = 2^{e_2} \, 3^{e_3} \, 5^{e_5} \dotso p^{e_p}&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;q = 2^{e_2} \, 3^{e_3} \, 5^{e_5} \dotso p^{e_p}&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:0 --&gt;&lt;br /&gt;
where the exponents are integers (positive, negative, or zero.) This is often written in &lt;a class="wiki_link_ext" href="http://mathworld.wolfram.com/Ket.html" rel="nofollow"&gt;ket vector&lt;/a&gt; (&lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Bra-ket_notation" rel="nofollow"&gt;wp&lt;/a&gt;) notation as&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:1:
[[math]]&amp;lt;br/&amp;gt;
|e_2 \, e_3 \, e_5 \dotso e_p\rangle&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;|e_2 \, e_3 \, e_5 \dotso e_p\rangle&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:1 --&gt;&lt;br /&gt;
in which case it is called a &lt;strong&gt;monzo&lt;/strong&gt;, where the name refers to the enthusiastic advocacy of &lt;a class="wiki_link" href="/Joe%20Monzo"&gt;Joe Monzo&lt;/a&gt;.&lt;br /&gt;
&lt;br /&gt;
The &lt;a class="wiki_link" href="/Tenney%20Height"&gt;Tenney height&lt;/a&gt; of this monzo is given by&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:2:
[[math]]&amp;lt;br/&amp;gt;
\| |e_2 \, e_3 \dotso e_p \rangle \| = |e_2| + |e_3| \log_2 3 + \dotsb + |e_p| \log_2 p&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\| |e_2 \, e_3 \dotso e_p \rangle \| = |e_2| + |e_3| \log_2 3 + \dotsb + |e_p| \log_2 p&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:2 --&gt;&lt;br /&gt;
&lt;br /&gt;
which is a &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Normed_vector_space" rel="nofollow"&gt;vector space norm&lt;/a&gt;; hence we may &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Embedding" rel="nofollow"&gt;embed&lt;/a&gt; the p-limit monzos into a normed vector I space of dimension n = π(p) via a map M:monzos ⟶ I. The monzos under this embedding now define a &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Lattice_%28group%29" rel="nofollow"&gt;lattice&lt;/a&gt;, which is a discrete subgroup spanning the finite dimensional real normed vector space I. If we change coordinates by multiplying values in the coordinate belonging to the prime k by log2(k), then the norm becomes the standard &lt;a class="wiki_link_ext" href="http://mathworld.wolfram.com/L1-Norm.html" rel="nofollow"&gt;L1 norm&lt;/a&gt;. This vector space is Tenney interval space, and the transformed coordinates with the standard L1 norm form the standard basis for Tenney space. It should be noted that while monzos correspond uniquely to positive real numbers (always rational numbers in the case of monzos), vectors in Tenney space do not. For instance, while |1 0&amp;gt; represents 2, so does |0 log3(2)&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Because of the mathematical advantages of Euclidean norms, a Euclidean norm is often placed on the vectors in interval space instead of an L1 norm, in which case we have &lt;a class="wiki_link" href="/Tenney-Euclidean%20metrics"&gt;Tenney-Euclidean interval space&lt;/a&gt; instead of Tenney interval space. Explicitly, if we take the monzo |e2 e3 ... ep&amp;gt; then the Tenney-Euclidean norm, or TE norm, of it is&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:3:
[[math]]&amp;lt;br/&amp;gt;
\sqrt{e_2^2 + (e_3\log_2 3)^2 + \dotsb + (e_p\log_2 p)^2}&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\sqrt{e_2^2 + (e_3\log_2 3)^2 + \dotsb + (e_p\log_2 p)^2}&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:3 --&gt;&lt;br /&gt;
and if the coordinates are the weighted interval space coordinates, then the TE norm is the &lt;a class="wiki_link_ext" href="http://mathworld.wolfram.com/L2-Norm.html" rel="nofollow"&gt;standard Euclidean, or L2, norm&lt;/a&gt;.&lt;br /&gt;
&lt;br /&gt;
&lt;!-- ws:start:WikiTextHeadingRule:9:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc1"&gt;&lt;a name="Alternate Definition:"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:9 --&gt;Alternate Definition:&lt;/h1&gt;
&lt;br /&gt;
Given a rational number q, we can rewrite it in monzo form by the following definition:&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:4:
[[math]]&amp;lt;br/&amp;gt;
q = |v_2 (q) \,v_3 (q) \, v_5 (q) \dotso v_p (q)\rangle&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;q = |v_2 (q) \,v_3 (q) \, v_5 (q) \dotso v_p (q)\rangle&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:4 --&gt;&lt;br /&gt;
&lt;br /&gt;
The &lt;a class="wiki_link" href="/Tenney%20Height"&gt;Tenney height&lt;/a&gt; of this monzo is given by&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:5:
[[math]]&amp;lt;br/&amp;gt;
\| |v_2 (q) \, v_3 (q) \dotso v_p (q) \rangle \| = |v_2 (q)| + |v_3 (q)| \log_2 3 + \dotsb + |v_p (q)| \log_2 p&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\| |v_2 (q) \, v_3 (q) \dotso v_p (q) \rangle \| = |v_2 (q)| + |v_3 (q)| \log_2 3 + \dotsb + |v_p (q)| \log_2 p&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:5 --&gt;&lt;br /&gt;
&lt;br /&gt;
Where vp(q) is the &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/P-adic_order" rel="nofollow"&gt;p-adic valuation&lt;/a&gt; of q.&lt;br /&gt;
&lt;br /&gt;
&lt;!-- ws:start:WikiTextHeadingRule:11:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc2"&gt;&lt;a name="Example:"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:11 --&gt;Example:&lt;/h1&gt;
&lt;br /&gt;
The 5-limit interval 16/15 factors as 2^4 3^(-1) 5^(-1), so it has a monzo representation of |4 -1 -1&amp;gt;. In weighted coordinates, that becomes |4 -log2(3) -log2(5)&amp;gt;, approximately |4 -1.585 -2.322&amp;gt;.&lt;br /&gt;
The TE norm is therefore&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:6:
[[math]]&amp;lt;br/&amp;gt;
\sqrt{(4^2 + log2(3)^2 + log2(5)^2)}  ≅ \sqrt{23.903}  ≅ 4.889.&amp;lt;br /&amp;gt;
&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\sqrt{(4^2 + log2(3)^2 + log2(5)^2)}  ≅ \sqrt{23.903}  ≅ 4.889.
&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:6 --&gt;&lt;br /&gt;
&lt;br /&gt;
&lt;em&gt;see also &lt;a class="wiki_link" href="/Fractional%20monzos"&gt;Fractional monzos&lt;/a&gt;, &lt;a class="wiki_link" href="/Vals%20and%20Tuning%20Space"&gt;Vals and Tuning Space&lt;/a&gt;...&lt;/em&gt;&lt;/body&gt;&lt;/html&gt;</pre></div>
Retrieved from "https://en.xen.wiki/w/Monzos_and_interval_space"