Mike's lecture on vector spaces and dual spaces: Difference between revisions

Wikispaces>mbattaglia1
**Imported revision 325960608 - Original comment: **
Wikispaces>mbattaglia1
**Imported revision 325961558 - 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>2012-04-27 07:33:18 UTC</tt>.<br>
: This revision was by author [[User:mbattaglia1|mbattaglia1]] and made on <tt>2012-04-27 07:37:58 UTC</tt>.<br>
: The original revision id was <tt>325960608</tt>.<br>
: The original revision id was <tt>325961558</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>
<h4>Original Wikitext content:</h4>
<h4>Original Wikitext 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;white-space: pre-wrap ! important" class="old-revision-html">=[[media type="custom" key="15537808"]]=  
<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">=[[media type="custom" key="15537868"]]=  


=LECTURE 1: Vector Spaces and Dual Spaces=  
=LECTURE 1: Vector Spaces and Dual Spaces=  
Line 12: Line 12:
If you haven't seen monzos or vals before and are totally confused, please read the pages on [[xenharmonic/Monzos|Monzos]] and [[xenharmonic/Vals|Vals]] first!
If you haven't seen monzos or vals before and are totally confused, please read the pages on [[xenharmonic/Monzos|Monzos]] and [[xenharmonic/Vals|Vals]] first!


If you have, then to review, a **monzo** is a way to represent a JI interval that shows how it decomposes into a combination of simpler, "prime" intervals. It does so by directly representing an interval's prime factorization. A 5-limit monzo looks like [[media type="custom" key="15537816"]], where &lt;span class="MathJax"&gt;&lt;span class="math"&gt;&lt;span style="clip: rect(1.905em 1000em 2.741em -0.544em); display: inline-block; font-size: 120%; height: 0px; left: 0em; position: absolute; top: -2.538em; width: 0.513em;"&gt;&lt;span class="mrow"&gt;&lt;span class="mi" style="font-family: MathJax_Math;"&gt;//a//&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;b c are the exponents for primes 2, 3, and 5, respectively. A 7-limit JI monzo looks like [[media type="custom" key="15537820"]], where d represents the additional exponent for 7. The 11-limit gets you another coefficient and so on.
If you have, then to review, a **monzo** is a way to represent a JI interval that shows how it decomposes into a combination of simpler, "prime" intervals. It does so by directly representing an interval's prime factorization. A 5-limit monzo looks like [[media type="custom" key="15537816"]], where a, b, and c are the exponents for primes 2, 3, and 5, respectively. A 7-limit JI monzo looks like [[media type="custom" key="15537820"]], where d represents the additional exponent for 7. The 11-limit gets you another coefficient and so on.


Assuming you understand that, then we've reached our first new idea, which will help us gain a geometric intuition into what some of these abstract entities mean. That idea is this:
Assuming you understand that, then we've reached our first new idea, which will help us gain a geometric intuition into what some of these abstract entities mean. That idea is this:
Line 69: Line 69:
[[#ref1]][1] - Note that some have raised technical concerns about this operation being called the "dot product," insisting that the dot product is something that's only done between two vectors, or two covectors, but never between one covector and one vector. Another term that's sometimes been used for this product in the "**bracket product**", for reasons we don't need to get into here. However, confusingly, the term bracket product has also been used for the ordinary dot product, and it's also very common to hear people call the thing I'm calling the dot product above. It's best at this point to just know that the two terms are out there. I'm going to continue calling it the dot product since its' something more people are familiar with.</pre></div>
[[#ref1]][1] - Note that some have raised technical concerns about this operation being called the "dot product," insisting that the dot product is something that's only done between two vectors, or two covectors, but never between one covector and one vector. Another term that's sometimes been used for this product in the "**bracket product**", for reasons we don't need to get into here. However, confusingly, the term bracket product has also been used for the ordinary dot product, and it's also very common to hear people call the thing I'm calling the dot product above. It's best at this point to just know that the two terms are out there. I'm going to continue calling it the dot product since its' something more people are familiar with.</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;Mike's Lecture on Vector Spaces and Dual Spaces&lt;/title&gt;&lt;/head&gt;&lt;body&gt;&lt;!-- ws:start:WikiTextHeadingRule:6:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc0"&gt;&lt;!-- ws:end:WikiTextHeadingRule:6 --&gt;&lt;!-- ws:start:WikiTextMediaRule:0:&amp;lt;img src=&amp;quot;http://www.wikispaces.com/site/embedthumbnail/custom/15537808?h=0&amp;amp;w=0&amp;quot; class=&amp;quot;WikiMedia WikiMediaCustom&amp;quot; id=&amp;quot;wikitext@@media@@type=&amp;amp;quot;custom&amp;amp;quot; key=&amp;amp;quot;15537808&amp;amp;quot;&amp;quot; title=&amp;quot;Custom Media&amp;quot;/&amp;gt; --&gt;&lt;script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"&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;Mike's Lecture on Vector Spaces and Dual Spaces&lt;/title&gt;&lt;/head&gt;&lt;body&gt;&lt;!-- ws:start:WikiTextHeadingRule:6:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc0"&gt;&lt;!-- ws:end:WikiTextHeadingRule:6 --&gt;&lt;!-- ws:start:WikiTextMediaRule:0:&amp;lt;img src=&amp;quot;http://www.wikispaces.com/site/embedthumbnail/custom/15537868?h=0&amp;amp;w=0&amp;quot; class=&amp;quot;WikiMedia WikiMediaCustom&amp;quot; id=&amp;quot;wikitext@@media@@type=&amp;amp;quot;custom&amp;amp;quot; key=&amp;amp;quot;15537868&amp;amp;quot;&amp;quot; title=&amp;quot;Custom Media&amp;quot;/&amp;gt; --&gt;&lt;script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"&gt;
&lt;/script&gt;&lt;script type="text/x-mathjax-config"&gt;
&lt;![CDATA[
MathJax.Hub.Config({
  skipStartupTypeset: true
});
]]&gt;
&lt;/script&gt;$$ \newcommand{\bra}[1]{\left \langle #1 \right |} \newcommand{\ket}[1]{\left |#1 \right \rangle} \newcommand{\braket}[2]{\left \langle #1 \middle |#2 \right \rangle}$$&lt;!-- ws:end:WikiTextMediaRule:0 --&gt;&lt;/h1&gt;
&lt;/script&gt;$$ \newcommand{\bra}[1]{\left \langle #1 \right |} \newcommand{\ket}[1]{\left |#1 \right \rangle} \newcommand{\braket}[2]{\left \langle #1 \middle |#2 \right \rangle}$$&lt;!-- ws:end:WikiTextMediaRule:0 --&gt;&lt;/h1&gt;
  &lt;br /&gt;
  &lt;br /&gt;
Line 76: Line 82:
If you haven't seen monzos or vals before and are totally confused, please read the pages on &lt;a class="wiki_link" href="http://xenharmonic.wikispaces.com/Monzos"&gt;Monzos&lt;/a&gt; and &lt;a class="wiki_link" href="http://xenharmonic.wikispaces.com/Vals"&gt;Vals&lt;/a&gt; first!&lt;br /&gt;
If you haven't seen monzos or vals before and are totally confused, please read the pages on &lt;a class="wiki_link" href="http://xenharmonic.wikispaces.com/Monzos"&gt;Monzos&lt;/a&gt; and &lt;a class="wiki_link" href="http://xenharmonic.wikispaces.com/Vals"&gt;Vals&lt;/a&gt; first!&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
If you have, then to review, a &lt;strong&gt;monzo&lt;/strong&gt; is a way to represent a JI interval that shows how it decomposes into a combination of simpler, &amp;quot;prime&amp;quot; intervals. It does so by directly representing an interval's prime factorization. A 5-limit monzo looks like &lt;!-- ws:start:WikiTextMediaRule:1:&amp;lt;img src=&amp;quot;http://www.wikispaces.com/site/embedthumbnail/custom/15537816?h=0&amp;amp;w=0&amp;quot; class=&amp;quot;WikiMedia WikiMediaCustom&amp;quot; id=&amp;quot;wikitext@@media@@type=&amp;amp;quot;custom&amp;amp;quot; key=&amp;amp;quot;15537816&amp;amp;quot;&amp;quot; title=&amp;quot;Custom Media&amp;quot;/&amp;gt; --&gt;\(\ket{\text{a b c}}\)&lt;!-- ws:end:WikiTextMediaRule:1 --&gt;, where &lt;span class="MathJax"&gt;&lt;span class="math"&gt;&lt;span style="clip: rect(1.905em 1000em 2.741em -0.544em); display: inline-block; font-size: 120%; height: 0px; left: 0em; position: absolute; top: -2.538em; width: 0.513em;"&gt;&lt;span class="mrow"&gt;&lt;span style="font-family: MathJax_Math;" class="mi"&gt;&lt;em&gt;a&lt;/em&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;b c are the exponents for primes 2, 3, and 5, respectively. A 7-limit JI monzo looks like &lt;!-- ws:start:WikiTextMediaRule:2:&amp;lt;img src=&amp;quot;http://www.wikispaces.com/site/embedthumbnail/custom/15537820?h=0&amp;amp;w=0&amp;quot; class=&amp;quot;WikiMedia WikiMediaCustom&amp;quot; id=&amp;quot;wikitext@@media@@type=&amp;amp;quot;custom&amp;amp;quot; key=&amp;amp;quot;15537820&amp;amp;quot;&amp;quot; title=&amp;quot;Custom Media&amp;quot;/&amp;gt; --&gt;\(\ket{\text{a b c d}}\)&lt;!-- ws:end:WikiTextMediaRule:2 --&gt;, where d represents the additional exponent for 7. The 11-limit gets you another coefficient and so on.&lt;br /&gt;
If you have, then to review, a &lt;strong&gt;monzo&lt;/strong&gt; is a way to represent a JI interval that shows how it decomposes into a combination of simpler, &amp;quot;prime&amp;quot; intervals. It does so by directly representing an interval's prime factorization. A 5-limit monzo looks like &lt;!-- ws:start:WikiTextMediaRule:1:&amp;lt;img src=&amp;quot;http://www.wikispaces.com/site/embedthumbnail/custom/15537816?h=0&amp;amp;w=0&amp;quot; class=&amp;quot;WikiMedia WikiMediaCustom&amp;quot; id=&amp;quot;wikitext@@media@@type=&amp;amp;quot;custom&amp;amp;quot; key=&amp;amp;quot;15537816&amp;amp;quot;&amp;quot; title=&amp;quot;Custom Media&amp;quot;/&amp;gt; --&gt;\(\ket{\text{a b c}}\)&lt;!-- ws:end:WikiTextMediaRule:1 --&gt;, where a, b, and c are the exponents for primes 2, 3, and 5, respectively. A 7-limit JI monzo looks like &lt;!-- ws:start:WikiTextMediaRule:2:&amp;lt;img src=&amp;quot;http://www.wikispaces.com/site/embedthumbnail/custom/15537820?h=0&amp;amp;w=0&amp;quot; class=&amp;quot;WikiMedia WikiMediaCustom&amp;quot; id=&amp;quot;wikitext@@media@@type=&amp;amp;quot;custom&amp;amp;quot; key=&amp;amp;quot;15537820&amp;amp;quot;&amp;quot; title=&amp;quot;Custom Media&amp;quot;/&amp;gt; --&gt;\(\ket{\text{a b c d}}\)&lt;!-- ws:end:WikiTextMediaRule:2 --&gt;, where d represents the additional exponent for 7. The 11-limit gets you another coefficient and so on.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
Assuming you understand that, then we've reached our first new idea, which will help us gain a geometric intuition into what some of these abstract entities mean. That idea is this:&lt;br /&gt;
Assuming you understand that, then we've reached our first new idea, which will help us gain a geometric intuition into what some of these abstract entities mean. That idea is this:&lt;br /&gt;