Mike's lecture on vector spaces and dual spaces: Difference between revisions
Jump to navigation
Jump to search
Wikispaces>mbattaglia1 **Imported revision 325999396 - Original comment: ** |
Wikispaces>mbattaglia1 **Imported revision 326009042 - 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 09: | : This revision was by author [[User:mbattaglia1|mbattaglia1]] and made on <tt>2012-04-27 09:58:31 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>326009042</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 62: | Line 62: | ||
One interesting way to think of covectors, since they're these dual vectors that "act on" normal vectors, is thus as functions - they take in a vector as input, multiply each coefficient of the vector by the corresponding coefficient of the covector, sum them up, and spit out a number. In other words, you know that the action of the covector \((12,19,28)^*\) on any arbitrary vector \((a,b,c)\) is going to be \(12a + 19b + 28c\). So, you can think of \((12,19,28)^*\) itself as a function looking something like \(f(\v{v}) = 12a + 19b + 28c\) for some vector of the form (a, b, c). Note that the formatting on \(\v{v}\) specifies that \(\v{v}\) is a vector that's being taken in as input. | One interesting way to think of covectors, since they're these dual vectors that "act on" normal vectors, is thus as functions - they take in a vector as input, multiply each coefficient of the vector by the corresponding coefficient of the covector, sum them up, and spit out a number. In other words, you know that the action of the covector \((12,19,28)^*\) on any arbitrary vector \((a,b,c)\) is going to be \(12a + 19b + 28c\). So, you can think of \((12,19,28)^*\) itself as a function looking something like \(f(\v{v}) = 12a + 19b + 28c\) for some vector of the form (a, b, c). Note that the formatting on \(\v{v}\) specifies that \(\v{v}\) is a vector that's being taken in as input. | ||
Before we go on, however, let's clean up the notation a bit. In physics, the notation commonly used is to notate covectors \(\bratext{like this}\) and to notate vectors \(\kettext{like this}\). Physicists call this "bra-ket" notation, or sometimes "Dirac" notation. So | Before we go on, however, let's clean up the notation a bit. In physics, the notation commonly used is to notate covectors \(\bratext{like this}\) and to notate vectors \(\kettext{like this}\). Physicists call this "bra-ket" notation, or sometimes "Dirac" notation. So... | ||
* Instead of writing covectors as \((x,y,z)^*\), I'll just write \(\bra{x \s y \s z}\) from now on. | |||
* Instead of writing vectors as \((a,b,c)\), I'll just write \(\ket{a \s b \s c}\) from now on. | |||
* When I want to denote the dot product of a covector and a vector, I'll write it as \braket{x \s y \s z}{a \s b \s c}. | |||
Now then, let's say you're going to ask a harmlessly ordinary question like "does 81/80 vanish in 12-EDO?" But let's think: when you ask that question, what are you really asking? Another way to rephrase that question is to ask this: "if I go up four tempered 3/2's, then go down a | |||
tempered 5/1, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?" | |||
Or, to represent everything in terms of primes, that's also the same as saying "if I go up four tempered 3/1's, then down a tempered 5/1, and then down four (possibly tempered) 2/1's to reduce within the octave, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?" | |||
And, if you want to put that in prime order, so that first you move around by all a bunch of 2/1's, then you move around by a bunch of 3/1's then you move around by a bunch of 5/1's, we arrive at yet another equivalent expression: "if I first go down four possibly tempered 2/1's, then up four tempered 3/1's, then down a tempered 5/1, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?" | |||
You may want to take a second to confirm for yourself that all of these expressions are the same thing - they'll all move you up by exactly 81/80. | |||
This last formulation of the question is especially easy to figure out if we know how we want to map the primes in 12-EDO. Which, hopefully, we do: in 12-EDO, 2/1 is most obviously mapped to 12 steps (duh), 3/1 is best mapped to 19 steps, and 5/1 is best mapped to 28 steps. Let's see what happens, then, if we mechanically solve the above problem by stacking and removing intervals from one another like lego pieces or something, in exactly the fashion I mentioned above, and see what we're left with. Let's see what we get: | |||
1) first you go down 4 octaves, at a rate of 12 steps per octave, putting you underwater at -48 steps. | 1) first you go down 4 octaves, at a rate of 12 steps per octave, putting you underwater at -48 steps. | ||
2) then, you go up 4 tritaves, times 19 steps per tritave, giving you 76 steps. This lands you at a net of -48 + 76 = 28 steps. | |||
3) finally, you go down one 5/1, times 28 steps per 5/1, putting you down 28 more steps. This lands you at a net of 28 - 28 steps = 0. | |||
So, if you mechanically work out the way that you'd compute how many steps 81/80 is in 12-EDO, you get 0 steps, meaning you're back at 1/1 and hence tempered out. No surprise there. | |||
But, if you really think about it, what you've also just done is evaluate the expression \(12*\-4 + 19*4 + 28*\-1): down four (possibly tempered) octaves, up four tempered tritaves, down a tempered 5/1, see what the result is. This is the same exact thing as multiplying out \(\braket{12 \s 19 \s 28}{\-4 \s 4 \s -1}\). Looks like you've just seemingly applied \(\bra{12 \s 19 \s 18}\) to \(\ket{\-4 \s 4 \s \-1}\). | |||
OK, so that's kind of neat. Now what? | |||
==1.3: Why the fact that covectors mean stuff matters. (OR: PREPARE FOR WEDGIE)== | |||
Assuming you've understood my exposition thus far, you now hopefully see where all things like monzos and vals come from. | |||
* - Monzos, straightforwardly, are elements in a vector space - they're vectors - like the spaces you learned in high school algebra. | |||
* - Vals, straightforwardly, are elements in the "dual space" to that space - they're covectors - which is the new thing you just learned about and which you'd end up learning in college linear algebra. | |||
Also, hopefully, now you see that this whole \(\brakettext{covector}{vector}\) thing is just a mathematical representation of the mechanical process you'd be doing if you sat down in scala for a while and stacked and subtracted intervals and figured out what you end up arriving at in some EDO. In other words, \(\bra{12 \s 19 \s 28}\) is just a little machine that takes in JI intervals and spits out steps, and the mathematical name for this sort of little machine is "covector." Very nice! | |||
Now, historically speaking, the concept of taking JI intervals and treating them like vectors isn't new. Theorists have been doing that for years and years. Neither Paul nor Gene nor Graham nor Joe Monzo nor anyone I know first came up with the concept of plotting JI intervals as vectors on a JI lattice. | |||
The real quantum leap in thought, here, is to consider the musical interpretation of the elements in the -dual space- - the covectors. It's is one of those things that appears to be completely meaningless from a musical standpoint unless you really think about it. Someone at some point figured out all of the above and I think it's the one of the best insights ever made in music theory. Looking at the dual space is, in a sense, the logical completion of the idea of putting JI into a "lattice," as per Tenney/Fokker/Wilson/etc. | |||
Now, where do we go from here? | |||
Well, if there's one thing mathematicians know a lot of random crap about, it's vectors and covectors. They've been exploring manipulations of these sorts of objects for literally thousands of years under the moniker of "linear algebra." These objects may be new to music theory, but they're definitely not new to math. And since mathematics has concerned itself for such a long time with manipulating covectors and vectors, we can simply take some of the techniques that mathematicians have developed to do so, and apply them here, in a musical context. Some of these linear-algebraic manipulations may seem to have no musical purpose at all. Others do. Others may seem to have no purpose at all, at first, and then end up having a purpose that strikes you in a flash after a little bit of thought. | |||
One of the manipulations that would appear to be totally useless is a deceptively simple extension of all of this called **exterior algebra**. It introduces a single product, called the **wedge product**, and you can multiply vectors together using this in a similar sort of way that you'd multiply polynomials on paper in high school algebra or something. It also introduces a new type of object, called a "multivector" - defined as the product of vectors. This is one of those things that seems totally useless unless you're [[Gene Ward Smith|Gene Smith]], at which point you realize that multivals represent higher-rank temperaments, and that this random field of mathematics has a rather musical interpretation. | |||
So then, how do we continue? Obviously higher-rank temperaments are things we care about: we can't just stop at vals and leave it at that. Now that you're here, there are basically two different paths you can go down, both of which are basically the same exact thing: | |||
1) The exterior algebra/"wedgie" route, a la Gene. | |||
2) The matrix algebra/"mapping" route, a la Graham Breed. | |||
Both of these have different strengths. Gene's approach I find to be remarkably elegant in a certain kind of way, in that multivectors are very intuitive objects to think about. Graham's approach, on the other hand, isn't quite as "elegant," but may be a bit simpler to work out and immediately glean information from - mapping matrices are a bit easier to understand than wedgies. | |||
We'll cover both of these eventually. But first, we'll need to dig deeper into what, exactly, temperaments "are," conceptually. Stay tuned for that... | |||
[[#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. | [[#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. | ||
| Line 150: | Line 188: | ||
One interesting way to think of covectors, since they're these dual vectors that &quot;act on&quot; normal vectors, is thus as functions - they take in a vector as input, multiply each coefficient of the vector by the corresponding coefficient of the covector, sum them up, and spit out a number. In other words, you know that the action of the covector \((12,19,28)^*\) on any arbitrary vector \((a,b,c)\) is going to be \(12a + 19b + 28c\). So, you can think of \((12,19,28)^*\) itself as a function looking something like \(f(\v{v}) = 12a + 19b + 28c\) for some vector of the form (a, b, c). Note that the formatting on \(\v{v}\) specifies that \(\v{v}\) is a vector that's being taken in as input.<br /> | One interesting way to think of covectors, since they're these dual vectors that &quot;act on&quot; normal vectors, is thus as functions - they take in a vector as input, multiply each coefficient of the vector by the corresponding coefficient of the covector, sum them up, and spit out a number. In other words, you know that the action of the covector \((12,19,28)^*\) on any arbitrary vector \((a,b,c)\) is going to be \(12a + 19b + 28c\). So, you can think of \((12,19,28)^*\) itself as a function looking something like \(f(\v{v}) = 12a + 19b + 28c\) for some vector of the form (a, b, c). Note that the formatting on \(\v{v}\) specifies that \(\v{v}\) is a vector that's being taken in as input.<br /> | ||
<br /> | <br /> | ||
Before we go on, however, let's clean up the notation a bit. In physics, the notation commonly used is to notate covectors \(\bratext{like this}\) and to notate vectors \(\kettext{like this}\). Physicists call this &quot;bra-ket&quot; notation, or sometimes &quot;Dirac&quot; notation. So | Before we go on, however, let's clean up the notation a bit. In physics, the notation commonly used is to notate covectors \(\bratext{like this}\) and to notate vectors \(\kettext{like this}\). Physicists call this &quot;bra-ket&quot; notation, or sometimes &quot;Dirac&quot; notation. So...<br /> | ||
<ul><li>Instead of writing covectors as \((x,y,z)^*\), I'll just write \(\bra{x \s y \s z}\) from now on.</li><li>Instead of writing vectors as \((a,b,c)\), I'll just write \(\ket{a \s b \s c}\) from now on.</li><li>When I want to denote the dot product of a covector and a vector, I'll write it as \braket{x \s y \s z}{a \s b \s c}.</li></ul><br /> | |||
Now then, let's say you're going to ask a harmlessly ordinary question like &quot;does 81/80 vanish in 12-EDO?&quot; But let's think: when you ask that question, what are you really asking? Another way to rephrase that question is to ask this: &quot;if I go up four tempered 3/2's, then go down a<br /> | |||
tempered 5/1, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?&quot;<br /> | |||
<br /> | |||
Or, to represent everything in terms of primes, that's also the same as saying &quot;if I go up four tempered 3/1's, then down a tempered 5/1, and then down four (possibly tempered) 2/1's to reduce within the octave, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?&quot;<br /> | |||
<br /> | |||
And, if you want to put that in prime order, so that first you move around by all a bunch of 2/1's, then you move around by a bunch of 3/1's then you move around by a bunch of 5/1's, we arrive at yet another equivalent expression: &quot;if I first go down four possibly tempered 2/1's, then up four tempered 3/1's, then down a tempered 5/1, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?&quot;<br /> | |||
<br /> | |||
You may want to take a second to confirm for yourself that all of these expressions are the same thing - they'll all move you up by exactly 81/80.<br /> | |||
<br /> | |||
This last formulation of the question is especially easy to figure out if we know how we want to map the primes in 12-EDO. Which, hopefully, we do: in 12-EDO, 2/1 is most obviously mapped to 12 steps (duh), 3/1 is best mapped to 19 steps, and 5/1 is best mapped to 28 steps. Let's see what happens, then, if we mechanically solve the above problem by stacking and removing intervals from one another like lego pieces or something, in exactly the fashion I mentioned above, and see what we're left with. Let's see what we get:<br /> | |||
<br /> | <br /> | ||
1) first you go down 4 octaves, at a rate of 12 steps per octave, putting you underwater at -48 steps.<br /> | 1) first you go down 4 octaves, at a rate of 12 steps per octave, putting you underwater at -48 steps.<br /> | ||
2) then, you go up 4 tritaves, times 19 steps per tritave, giving you 76 steps. This lands you at a net of -48 + 76 = 28 steps.<br /> | |||
3) finally, you go down one 5/1, times 28 steps per 5/1, putting you down 28 more steps. This lands you at a net of 28 - 28 steps = 0.<br /> | |||
<br /> | |||
So, if you mechanically work out the way that you'd compute how many steps 81/80 is in 12-EDO, you get 0 steps, meaning you're back at 1/1 and hence tempered out. No surprise there.<br /> | |||
<br /> | |||
But, if you really think about it, what you've also just done is evaluate the expression \(12*\-4 + 19*4 + 28*\-1): down four (possibly tempered) octaves, up four tempered tritaves, down a tempered 5/1, see what the result is. This is the same exact thing as multiplying out \(\braket{12 \s 19 \s 28}{\-4 \s 4 \s -1}\). Looks like you've just seemingly applied \(\bra{12 \s 19 \s 18}\) to \(\ket{\-4 \s 4 \s \-1}\).<br /> | |||
<br /> | |||
OK, so that's kind of neat. Now what?<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:14:&lt;h2&gt; --><h2 id="toc5"><a name="LECTURE 1: Vector Spaces and Dual Spaces-1.3: Why the fact that covectors mean stuff matters. (OR: PREPARE FOR WEDGIE)"></a><!-- ws:end:WikiTextHeadingRule:14 -->1.3: Why the fact that covectors mean stuff matters. (OR: PREPARE FOR WEDGIE)</h2> | |||
<br /> | |||
Assuming you've understood my exposition thus far, you now hopefully see where all things like monzos and vals come from.<br /> | |||
<br /> | |||
<ul><li>- Monzos, straightforwardly, are elements in a vector space - they're vectors - like the spaces you learned in high school algebra.</li><li>- Vals, straightforwardly, are elements in the &quot;dual space&quot; to that space - they're covectors - which is the new thing you just learned about and which you'd end up learning in college linear algebra.</li></ul><br /> | |||
Also, hopefully, now you see that this whole \(\brakettext{covector}{vector}\) thing is just a mathematical representation of the mechanical process you'd be doing if you sat down in scala for a while and stacked and subtracted intervals and figured out what you end up arriving at in some EDO. In other words, \(\bra{12 \s 19 \s 28}\) is just a little machine that takes in JI intervals and spits out steps, and the mathematical name for this sort of little machine is &quot;covector.&quot; Very nice!<br /> | |||
<br /> | |||
<br /> | |||
Now, historically speaking, the concept of taking JI intervals and treating them like vectors isn't new. Theorists have been doing that for years and years. Neither Paul nor Gene nor Graham nor Joe Monzo nor anyone I know first came up with the concept of plotting JI intervals as vectors on a JI lattice.<br /> | |||
<br /> | |||
The real quantum leap in thought, here, is to consider the musical interpretation of the elements in the -dual space- - the covectors. It's is one of those things that appears to be completely meaningless from a musical standpoint unless you really think about it. Someone at some point figured out all of the above and I think it's the one of the best insights ever made in music theory. Looking at the dual space is, in a sense, the logical completion of the idea of putting JI into a &quot;lattice,&quot; as per Tenney/Fokker/Wilson/etc.<br /> | |||
<br /> | |||
Now, where do we go from here?<br /> | |||
<br /> | |||
Well, if there's one thing mathematicians know a lot of random crap about, it's vectors and covectors. They've been exploring manipulations of these sorts of objects for literally thousands of years under the moniker of &quot;linear algebra.&quot; These objects may be new to music theory, but they're definitely not new to math. And since mathematics has concerned itself for such a long time with manipulating covectors and vectors, we can simply take some of the techniques that mathematicians have developed to do so, and apply them here, in a musical context. Some of these linear-algebraic manipulations may seem to have no musical purpose at all. Others do. Others may seem to have no purpose at all, at first, and then end up having a purpose that strikes you in a flash after a little bit of thought.<br /> | |||
<br /> | |||
One of the manipulations that would appear to be totally useless is a deceptively simple extension of all of this called <strong>exterior algebra</strong>. It introduces a single product, called the <strong>wedge product</strong>, and you can multiply vectors together using this in a similar sort of way that you'd multiply polynomials on paper in high school algebra or something. It also introduces a new type of object, called a &quot;multivector&quot; - defined as the product of vectors. This is one of those things that seems totally useless unless you're <a class="wiki_link" href="/Gene%20Ward%20Smith">Gene Smith</a>, at which point you realize that multivals represent higher-rank temperaments, and that this random field of mathematics has a rather musical interpretation.<br /> | |||
<br /> | |||
So then, how do we continue? Obviously higher-rank temperaments are things we care about: we can't just stop at vals and leave it at that. Now that you're here, there are basically two different paths you can go down, both of which are basically the same exact thing:<br /> | |||
<br /> | |||
1) The exterior algebra/&quot;wedgie&quot; route, a la Gene.<br /> | |||
2) The matrix algebra/&quot;mapping&quot; route, a la Graham Breed.<br /> | |||
<br /> | |||
Both of these have different strengths. Gene's approach I find to be remarkably elegant in a certain kind of way, in that multivectors are very intuitive objects to think about. Graham's approach, on the other hand, isn't quite as &quot;elegant,&quot; but may be a bit simpler to work out and immediately glean information from - mapping matrices are a bit easier to understand than wedgies.<br /> | |||
<br /> | <br /> | ||
We'll cover both of these eventually. But first, we'll need to dig deeper into what, exactly, temperaments &quot;are,&quot; conceptually. Stay tuned for that...<br /> | |||
<br /> | <br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextAnchorRule: | <!-- ws:start:WikiTextAnchorRule:16:&lt;img src=&quot;/i/anchor.gif&quot; class=&quot;WikiAnchor&quot; alt=&quot;Anchor&quot; id=&quot;wikitext@@anchor@@ref1&quot; title=&quot;Anchor: ref1&quot;/&gt; --><a name="ref1"></a><!-- ws:end:WikiTextAnchorRule:16 -->[1] - Note that some have raised technical concerns about this operation being called the &quot;dot product,&quot; 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 &quot;<strong>bracket product</strong>&quot;, 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.<br /> | ||
<br /> | <br /> | ||
<br /> | <br /> | ||
Revision as of 09:58, 27 April 2012
IMPORTED REVISION FROM WIKISPACES
This is an imported revision from Wikispaces. The revision metadata is included below for reference:
- This revision was by author mbattaglia1 and made on 2012-04-27 09:58:31 UTC.
- The original revision id was 326009042.
- The revision comment was:
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.
Original Wikitext content:
=[[media type="custom" key="15539114"]]=
$$
\newcommand{\bra}[1]{\left \langle #1 \right |}
\newcommand{\ket}[1]{\left |#1 \right \rangle}
\newcommand{\braket}[2]{\left \langle #1 \middle |#2 \right \rangle} \newcommand{\bratext}[1]{\left \langle \text{#1} \right |}
\newcommand{\kettext}[1]{\left |\text{#1} \right \rangle}
\newcommand{\brakettext}[2]{\left \langle \text{#1} \middle |\text{#2} \right \rangle}
\newcommand{\v}[1]{\boldsymbol{\vec{#1}}}
\newcommand{\-}[0]{\text{-}}
\newcommand{\s}[0]{\;\,}
$$
=LECTURE 1: Vector Spaces and Dual Spaces=
<span style="display: block; text-align: center;"><span class="MathJax"><span class="math"><span style="clip: rect(1.72em 1000em 2.742em -0.558em); display: inline-block; font-size: 120%; height: 0px; left: 0em; position: absolute; top: -2.538em; width: 1.731em;"><span class="mrow"><span class="mi" style="font-family: MathJax_Math;">//test//</span></span></span></span></span></span>
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 seen it, 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 \(\ket{a \s b \s c}\), where \(a\), \(b\), and \(c\) are the exponents for primes 2, 3, and 5, respectively. A 7-limit JI monzo looks like \(\ket{a \s b \s c \s d}\), where \(d\) represents the additional exponent for 7. The 11-limit gets you another coefficient and so on.
On the other hand, a **val** is a way to represent how JI intervals map to tempered steps along a chain of generator. A val does this by specifying the mapping for the primes, and in so doing ends up specifying the mapping for every JI interval as well: since every interval is a combination of primes, then we can find the mapping for any interval in some val by simply adding and subtracting the mapping for the primes in such a way that the original interval is recreated. A 5-limit val looks like \(\bra{x \s y \s z}\), where \(x\), \(y\), and \(z\) are the number of steps along the chain that primes 2, 3, and 5 map to, respectively. A 7-limit val looks like \(\bra{a \s b \s c \s d}\), where \(d\) represents the additional mapping for 7. Like with monzos, going to the 11-limit gets you another coefficient and so on.
Again, if this is confusing, please go back to the pages on [[xenharmonic/Monzos|Monzos]] and [[xenharmonic/Vals|Vals]] and read those first!
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, which will enable us to rediscover vals and monzos in a much stronger mathematical and geometric context, is this:
==1.1: A monzo can be viewed as a **VECTOR** in a **VECTOR SPACE**.==
For instance, the syntonic comma is \(\ket{\-4 \s 4 \s \-1}\). A geometric interpretation of this interval might be as a point in a space, like the point \((\-4,4,\-1)\). You'd plot this point by going -4 steps on the x axis, 4 steps on the y axis, and -1 steps on the z-axis. And if you really want to think of it like a vector in the sense that some high school or college algebra courses teach it, you can also draw an arrow with a big arrowhead from the origin that connects to this point. Here's a widget that lets you plot vectors:
[[media type="custom" key="15537326"]]
Keep in mind that Wolfram Alpha is very fragile, so if you try to do anything fancy, it's going to break. But, Paul's "A Middle Path" paper has so many good plots of this that I might as well just point anyone interested to take a look at it over there: [[http://sethares.engr.wisc.edu/paperspdf/Erlich-MiddlePath.pdf]]
Now, the interesting part: in linear algebra, every vector space has a "dual space," which of course must be thought of as a bizarro universe for the vector space in which the background is black and the arrows and points are white. The elements in this space are called "covectors." I can't get the exact colors I mentioned here, but I've cheated a bit to get Wolfram to change the colors, so you can plot covectors here:
[[media type="custom" key="15537360"]]
You can also plot more than one vector or covector by putting in a list of vectors separated by commas, something like \((12,19,28),\s(7,11,16)\). However, this will break the nice color properties I set up above. Also, if you put in too many entries, Wolfram Alpha has been known to break.
**So then, what's the point?**
This is all well and good by itself, but it doesn't mean anything unless you understand how covectors interact with vectors. Covectors are mathematical objects that are thought to //act on// vectors. When a covector "acts on" a vector, the interaction occurs by you taking the **dot product** of the two vectors.
======For example: say your covector is \((12,19,28)^*\) (the star means it's in the dual space), and your vector is \((\-4,4,\-1)\), then the dot product<span style="font-size: 80%; vertical-align: super;">[[Mike's Lecture on Vector Spaces and Dual Spaces#ref1|{1}]]</span> of the two is \(12 \cdot \-4 + 19 \cdot 4 + 28 \cdot \-1 = 0\). Thus, the result of \((12,19,28)^*\) acting on \((\-4,4,\-1)\) is \(0\).======
The action of a covector on a vector must, of course, be pictured as the different colored arrows lining up and exploding and spitting out a single number, or something. Wolfram unfortunately doesn't let me do nice explosion effects, so you'll have to imagine it.
Alternatively, if you're used to dot products, then you'll also be able to understand this operation in terms of the projection of one vector on another. However, if you choose to visualize it this way, you must understand that these two things you're projecting onto one another lie in __different__ spaces - one is a vector lying in a vector space, and the other is a covector lying in this new "dual space" you're learning about.
Thus, covectors are little mathematical machines - they take in vectors, do some simple dot product-ish stuff, and output a scalar. Simple! We'll see that they turn up again and again and again in tuning theory, too.
OK, so how do we use these things?
==1.2: Covectors mean stuff. (OR: YOU DON'T KNOW MONZO)==
One interesting way to think of covectors, since they're these dual vectors that "act on" normal vectors, is thus as functions - they take in a vector as input, multiply each coefficient of the vector by the corresponding coefficient of the covector, sum them up, and spit out a number. In other words, you know that the action of the covector \((12,19,28)^*\) on any arbitrary vector \((a,b,c)\) is going to be \(12a + 19b + 28c\). So, you can think of \((12,19,28)^*\) itself as a function looking something like \(f(\v{v}) = 12a + 19b + 28c\) for some vector of the form (a, b, c). Note that the formatting on \(\v{v}\) specifies that \(\v{v}\) is a vector that's being taken in as input.
Before we go on, however, let's clean up the notation a bit. In physics, the notation commonly used is to notate covectors \(\bratext{like this}\) and to notate vectors \(\kettext{like this}\). Physicists call this "bra-ket" notation, or sometimes "Dirac" notation. So...
* Instead of writing covectors as \((x,y,z)^*\), I'll just write \(\bra{x \s y \s z}\) from now on.
* Instead of writing vectors as \((a,b,c)\), I'll just write \(\ket{a \s b \s c}\) from now on.
* When I want to denote the dot product of a covector and a vector, I'll write it as \braket{x \s y \s z}{a \s b \s c}.
Now then, let's say you're going to ask a harmlessly ordinary question like "does 81/80 vanish in 12-EDO?" But let's think: when you ask that question, what are you really asking? Another way to rephrase that question is to ask this: "if I go up four tempered 3/2's, then go down a
tempered 5/1, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?"
Or, to represent everything in terms of primes, that's also the same as saying "if I go up four tempered 3/1's, then down a tempered 5/1, and then down four (possibly tempered) 2/1's to reduce within the octave, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?"
And, if you want to put that in prime order, so that first you move around by all a bunch of 2/1's, then you move around by a bunch of 3/1's then you move around by a bunch of 5/1's, we arrive at yet another equivalent expression: "if I first go down four possibly tempered 2/1's, then up four tempered 3/1's, then down a tempered 5/1, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?"
You may want to take a second to confirm for yourself that all of these expressions are the same thing - they'll all move you up by exactly 81/80.
This last formulation of the question is especially easy to figure out if we know how we want to map the primes in 12-EDO. Which, hopefully, we do: in 12-EDO, 2/1 is most obviously mapped to 12 steps (duh), 3/1 is best mapped to 19 steps, and 5/1 is best mapped to 28 steps. Let's see what happens, then, if we mechanically solve the above problem by stacking and removing intervals from one another like lego pieces or something, in exactly the fashion I mentioned above, and see what we're left with. Let's see what we get:
1) first you go down 4 octaves, at a rate of 12 steps per octave, putting you underwater at -48 steps.
2) then, you go up 4 tritaves, times 19 steps per tritave, giving you 76 steps. This lands you at a net of -48 + 76 = 28 steps.
3) finally, you go down one 5/1, times 28 steps per 5/1, putting you down 28 more steps. This lands you at a net of 28 - 28 steps = 0.
So, if you mechanically work out the way that you'd compute how many steps 81/80 is in 12-EDO, you get 0 steps, meaning you're back at 1/1 and hence tempered out. No surprise there.
But, if you really think about it, what you've also just done is evaluate the expression \(12*\-4 + 19*4 + 28*\-1): down four (possibly tempered) octaves, up four tempered tritaves, down a tempered 5/1, see what the result is. This is the same exact thing as multiplying out \(\braket{12 \s 19 \s 28}{\-4 \s 4 \s -1}\). Looks like you've just seemingly applied \(\bra{12 \s 19 \s 18}\) to \(\ket{\-4 \s 4 \s \-1}\).
OK, so that's kind of neat. Now what?
==1.3: Why the fact that covectors mean stuff matters. (OR: PREPARE FOR WEDGIE)==
Assuming you've understood my exposition thus far, you now hopefully see where all things like monzos and vals come from.
* - Monzos, straightforwardly, are elements in a vector space - they're vectors - like the spaces you learned in high school algebra.
* - Vals, straightforwardly, are elements in the "dual space" to that space - they're covectors - which is the new thing you just learned about and which you'd end up learning in college linear algebra.
Also, hopefully, now you see that this whole \(\brakettext{covector}{vector}\) thing is just a mathematical representation of the mechanical process you'd be doing if you sat down in scala for a while and stacked and subtracted intervals and figured out what you end up arriving at in some EDO. In other words, \(\bra{12 \s 19 \s 28}\) is just a little machine that takes in JI intervals and spits out steps, and the mathematical name for this sort of little machine is "covector." Very nice!
Now, historically speaking, the concept of taking JI intervals and treating them like vectors isn't new. Theorists have been doing that for years and years. Neither Paul nor Gene nor Graham nor Joe Monzo nor anyone I know first came up with the concept of plotting JI intervals as vectors on a JI lattice.
The real quantum leap in thought, here, is to consider the musical interpretation of the elements in the -dual space- - the covectors. It's is one of those things that appears to be completely meaningless from a musical standpoint unless you really think about it. Someone at some point figured out all of the above and I think it's the one of the best insights ever made in music theory. Looking at the dual space is, in a sense, the logical completion of the idea of putting JI into a "lattice," as per Tenney/Fokker/Wilson/etc.
Now, where do we go from here?
Well, if there's one thing mathematicians know a lot of random crap about, it's vectors and covectors. They've been exploring manipulations of these sorts of objects for literally thousands of years under the moniker of "linear algebra." These objects may be new to music theory, but they're definitely not new to math. And since mathematics has concerned itself for such a long time with manipulating covectors and vectors, we can simply take some of the techniques that mathematicians have developed to do so, and apply them here, in a musical context. Some of these linear-algebraic manipulations may seem to have no musical purpose at all. Others do. Others may seem to have no purpose at all, at first, and then end up having a purpose that strikes you in a flash after a little bit of thought.
One of the manipulations that would appear to be totally useless is a deceptively simple extension of all of this called **exterior algebra**. It introduces a single product, called the **wedge product**, and you can multiply vectors together using this in a similar sort of way that you'd multiply polynomials on paper in high school algebra or something. It also introduces a new type of object, called a "multivector" - defined as the product of vectors. This is one of those things that seems totally useless unless you're [[Gene Ward Smith|Gene Smith]], at which point you realize that multivals represent higher-rank temperaments, and that this random field of mathematics has a rather musical interpretation.
So then, how do we continue? Obviously higher-rank temperaments are things we care about: we can't just stop at vals and leave it at that. Now that you're here, there are basically two different paths you can go down, both of which are basically the same exact thing:
1) The exterior algebra/"wedgie" route, a la Gene.
2) The matrix algebra/"mapping" route, a la Graham Breed.
Both of these have different strengths. Gene's approach I find to be remarkably elegant in a certain kind of way, in that multivectors are very intuitive objects to think about. Graham's approach, on the other hand, isn't quite as "elegant," but may be a bit simpler to work out and immediately glean information from - mapping matrices are a bit easier to understand than wedgies.
We'll cover both of these eventually. But first, we'll need to dig deeper into what, exactly, temperaments "are," conceptually. Stay tuned for that...
[[#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.
[[media type="custom" key="15538202"]]Original HTML content:
<html><head><title>Mike's Lecture on Vector Spaces and Dual Spaces</title></head><body><!-- ws:start:WikiTextHeadingRule:4:<h1> --><h1 id="toc0"><!-- ws:end:WikiTextHeadingRule:4 --><!-- ws:start:WikiTextMediaRule:0:<img src="http://www.wikispaces.com/site/embedthumbnail/custom/15539114?h=0&w=0" class="WikiMedia WikiMediaCustom" id="wikitext@@media@@type=&quot;custom&quot; key=&quot;15539114&quot;" title="Custom Media"/> --><script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script><script type="text/javascript">
//<![CDATA[
MathJax.Hub.Config({
delayStartupUntil: "configured"
});
//]]>
</script><!-- ws:end:WikiTextMediaRule:0 --></h1>
$$<br />
\newcommand{\bra}[1]{\left \langle #1 \right |}<br />
\newcommand{\ket}[1]{\left |#1 \right \rangle}<br />
\newcommand{\braket}[2]{\left \langle #1 \middle |#2 \right \rangle} \newcommand{\bratext}[1]{\left \langle \text{#1} \right |}<br />
\newcommand{\kettext}[1]{\left |\text{#1} \right \rangle}<br />
\newcommand{\brakettext}[2]{\left \langle \text{#1} \middle |\text{#2} \right \rangle}<br />
\newcommand{\v}[1]{\boldsymbol{\vec{#1}}}<br />
\newcommand{\-}[0]{\text{-}}<br />
\newcommand{\s}[0]{\;\,}<br />
$$<br />
<br />
<!-- ws:start:WikiTextHeadingRule:6:<h1> --><h1 id="toc1"><a name="LECTURE 1: Vector Spaces and Dual Spaces"></a><!-- ws:end:WikiTextHeadingRule:6 -->LECTURE 1: Vector Spaces and Dual Spaces</h1>
<span style="display: block; text-align: center;"><span class="MathJax"><span class="math"><span style="clip: rect(1.72em 1000em 2.742em -0.558em); display: inline-block; font-size: 120%; height: 0px; left: 0em; position: absolute; top: -2.538em; width: 1.731em;"><span class="mrow"><span style="font-family: MathJax_Math;" class="mi"><em>test</em></span></span></span></span></span></span><br />
If you haven't seen monzos or vals before and are totally confused, please read the pages on <a class="wiki_link" href="http://xenharmonic.wikispaces.com/Monzos">Monzos</a> and <a class="wiki_link" href="http://xenharmonic.wikispaces.com/Vals">Vals</a> first!<br />
<br />
If you have seen it, then to review, a <strong>monzo</strong> 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 \(\ket{a \s b \s c}\), where \(a\), \(b\), and \(c\) are the exponents for primes 2, 3, and 5, respectively. A 7-limit JI monzo looks like \(\ket{a \s b \s c \s d}\), where \(d\) represents the additional exponent for 7. The 11-limit gets you another coefficient and so on.<br />
<br />
On the other hand, a <strong>val</strong> is a way to represent how JI intervals map to tempered steps along a chain of generator. A val does this by specifying the mapping for the primes, and in so doing ends up specifying the mapping for every JI interval as well: since every interval is a combination of primes, then we can find the mapping for any interval in some val by simply adding and subtracting the mapping for the primes in such a way that the original interval is recreated. A 5-limit val looks like \(\bra{x \s y \s z}\), where \(x\), \(y\), and \(z\) are the number of steps along the chain that primes 2, 3, and 5 map to, respectively. A 7-limit val looks like \(\bra{a \s b \s c \s d}\), where \(d\) represents the additional mapping for 7. Like with monzos, going to the 11-limit gets you another coefficient and so on.<br />
<br />
Again, if this is confusing, please go back to the pages on <a class="wiki_link" href="http://xenharmonic.wikispaces.com/Monzos">Monzos</a> and <a class="wiki_link" href="http://xenharmonic.wikispaces.com/Vals">Vals</a> and read those first!<br />
<br />
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, which will enable us to rediscover vals and monzos in a much stronger mathematical and geometric context, is this:<br />
<br />
<!-- ws:start:WikiTextHeadingRule:8:<h2> --><h2 id="toc2"><a name="LECTURE 1: Vector Spaces and Dual Spaces-1.1: A monzo can be viewed as a VECTOR** in a **VECTOR SPACE."></a><!-- ws:end:WikiTextHeadingRule:8 -->1.1: A monzo can be viewed as a <strong>VECTOR</strong> in a <strong>VECTOR SPACE</strong>.</h2>
<br />
For instance, the syntonic comma is \(\ket{\-4 \s 4 \s \-1}\). A geometric interpretation of this interval might be as a point in a space, like the point \((\-4,4,\-1)\). You'd plot this point by going -4 steps on the x axis, 4 steps on the y axis, and -1 steps on the z-axis. And if you really want to think of it like a vector in the sense that some high school or college algebra courses teach it, you can also draw an arrow with a big arrowhead from the origin that connects to this point. Here's a widget that lets you plot vectors:<br />
<br />
<!-- ws:start:WikiTextMediaRule:1:<img src="http://www.wikispaces.com/site/embedthumbnail/custom/15537326?h=0&w=0" class="WikiMedia WikiMediaCustom" id="wikitext@@media@@type=&quot;custom&quot; key=&quot;15537326&quot;" title="Custom Media"/> --><script type="text/javascript" id="WolframAlphaScriptf5af8de6802460753a75a4692d255641" src="http://www.wolframalpha.com/widget/widget.jsp?id=f5af8de6802460753a75a4692d255641&output=lightbox">
</script><!-- ws:end:WikiTextMediaRule:1 --><br />
<br />
Keep in mind that Wolfram Alpha is very fragile, so if you try to do anything fancy, it's going to break. But, Paul's "A Middle Path" paper has so many good plots of this that I might as well just point anyone interested to take a look at it over there: <a class="wiki_link_ext" href="http://sethares.engr.wisc.edu/paperspdf/Erlich-MiddlePath.pdf" rel="nofollow">http://sethares.engr.wisc.edu/paperspdf/Erlich-MiddlePath.pdf</a><br />
<br />
Now, the interesting part: in linear algebra, every vector space has a "dual space," which of course must be thought of as a bizarro universe for the vector space in which the background is black and the arrows and points are white. The elements in this space are called "covectors." I can't get the exact colors I mentioned here, but I've cheated a bit to get Wolfram to change the colors, so you can plot covectors here:<br />
<br />
<!-- ws:start:WikiTextMediaRule:2:<img src="http://www.wikispaces.com/site/embedthumbnail/custom/15537360?h=0&w=0" class="WikiMedia WikiMediaCustom" id="wikitext@@media@@type=&quot;custom&quot; key=&quot;15537360&quot;" title="Custom Media"/> --><script type="text/javascript" id="WolframAlphaScriptca79995ff5942e9f187c05cd2fce394b" src="http://www.wolframalpha.com/widget/widget.jsp?id=ca79995ff5942e9f187c05cd2fce394b">
</script><!-- ws:end:WikiTextMediaRule:2 --><br />
<br />
You can also plot more than one vector or covector by putting in a list of vectors separated by commas, something like \((12,19,28),\s(7,11,16)\). However, this will break the nice color properties I set up above. Also, if you put in too many entries, Wolfram Alpha has been known to break.<br />
<br />
<strong>So then, what's the point?</strong><br />
<br />
This is all well and good by itself, but it doesn't mean anything unless you understand how covectors interact with vectors. Covectors are mathematical objects that are thought to <em>act on</em> vectors. When a covector "acts on" a vector, the interaction occurs by you taking the <strong>dot product</strong> of the two vectors.<br />
<br />
<!-- ws:start:WikiTextHeadingRule:10:<h6> --><h6 id="toc3"><a name="LECTURE 1: Vector Spaces and Dual Spaces-1.1: A monzo can be viewed as a VECTOR** in a **VECTOR SPACE.----For example: say your covector is \((12,19,28)^*\) (the star means it's in the dual space), and your vector is \((\-4,4,\-1)\), then the dot product{1} of the two is \(12 \cdot \-4 + 19 \cdot 4 + 28 \cdot \-1 = 0\). Thus, the result of \((12,19,28)^*\) acting on \((\-4,4,\-1)\) is \(0\)."></a><!-- ws:end:WikiTextHeadingRule:10 -->For example: say your covector is \((12,19,28)^*\) (the star means it's in the dual space), and your vector is \((\-4,4,\-1)\), then the dot product<span style="font-size: 80%; vertical-align: super;"><a class="wiki_link" href="/Mike%27s%20Lecture%20on%20Vector%20Spaces%20and%20Dual%20Spaces#ref1">{1}</a></span> of the two is \(12 \cdot \-4 + 19 \cdot 4 + 28 \cdot \-1 = 0\). Thus, the result of \((12,19,28)^*\) acting on \((\-4,4,\-1)\) is \(0\).</h6>
<br />
The action of a covector on a vector must, of course, be pictured as the different colored arrows lining up and exploding and spitting out a single number, or something. Wolfram unfortunately doesn't let me do nice explosion effects, so you'll have to imagine it.<br />
<br />
Alternatively, if you're used to dot products, then you'll also be able to understand this operation in terms of the projection of one vector on another. However, if you choose to visualize it this way, you must understand that these two things you're projecting onto one another lie in <u>different</u> spaces - one is a vector lying in a vector space, and the other is a covector lying in this new "dual space" you're learning about.<br />
<br />
Thus, covectors are little mathematical machines - they take in vectors, do some simple dot product-ish stuff, and output a scalar. Simple! We'll see that they turn up again and again and again in tuning theory, too.<br />
<br />
OK, so how do we use these things?<br />
<br />
<!-- ws:start:WikiTextHeadingRule:12:<h2> --><h2 id="toc4"><a name="LECTURE 1: Vector Spaces and Dual Spaces-1.2: Covectors mean stuff. (OR: YOU DON'T KNOW MONZO)"></a><!-- ws:end:WikiTextHeadingRule:12 -->1.2: Covectors mean stuff. (OR: YOU DON'T KNOW MONZO)</h2>
<br />
One interesting way to think of covectors, since they're these dual vectors that "act on" normal vectors, is thus as functions - they take in a vector as input, multiply each coefficient of the vector by the corresponding coefficient of the covector, sum them up, and spit out a number. In other words, you know that the action of the covector \((12,19,28)^*\) on any arbitrary vector \((a,b,c)\) is going to be \(12a + 19b + 28c\). So, you can think of \((12,19,28)^*\) itself as a function looking something like \(f(\v{v}) = 12a + 19b + 28c\) for some vector of the form (a, b, c). Note that the formatting on \(\v{v}\) specifies that \(\v{v}\) is a vector that's being taken in as input.<br />
<br />
Before we go on, however, let's clean up the notation a bit. In physics, the notation commonly used is to notate covectors \(\bratext{like this}\) and to notate vectors \(\kettext{like this}\). Physicists call this "bra-ket" notation, or sometimes "Dirac" notation. So...<br />
<ul><li>Instead of writing covectors as \((x,y,z)^*\), I'll just write \(\bra{x \s y \s z}\) from now on.</li><li>Instead of writing vectors as \((a,b,c)\), I'll just write \(\ket{a \s b \s c}\) from now on.</li><li>When I want to denote the dot product of a covector and a vector, I'll write it as \braket{x \s y \s z}{a \s b \s c}.</li></ul><br />
Now then, let's say you're going to ask a harmlessly ordinary question like "does 81/80 vanish in 12-EDO?" But let's think: when you ask that question, what are you really asking? Another way to rephrase that question is to ask this: "if I go up four tempered 3/2's, then go down a<br />
tempered 5/1, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?"<br />
<br />
Or, to represent everything in terms of primes, that's also the same as saying "if I go up four tempered 3/1's, then down a tempered 5/1, and then down four (possibly tempered) 2/1's to reduce within the octave, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?"<br />
<br />
And, if you want to put that in prime order, so that first you move around by all a bunch of 2/1's, then you move around by a bunch of 3/1's then you move around by a bunch of 5/1's, we arrive at yet another equivalent expression: "if I first go down four possibly tempered 2/1's, then up four tempered 3/1's, then down a tempered 5/1, thus putting me at what's supposed to be 81/80 - how many steps in 12-EDO do I arrive at? Is it 0?"<br />
<br />
You may want to take a second to confirm for yourself that all of these expressions are the same thing - they'll all move you up by exactly 81/80.<br />
<br />
This last formulation of the question is especially easy to figure out if we know how we want to map the primes in 12-EDO. Which, hopefully, we do: in 12-EDO, 2/1 is most obviously mapped to 12 steps (duh), 3/1 is best mapped to 19 steps, and 5/1 is best mapped to 28 steps. Let's see what happens, then, if we mechanically solve the above problem by stacking and removing intervals from one another like lego pieces or something, in exactly the fashion I mentioned above, and see what we're left with. Let's see what we get:<br />
<br />
1) first you go down 4 octaves, at a rate of 12 steps per octave, putting you underwater at -48 steps.<br />
2) then, you go up 4 tritaves, times 19 steps per tritave, giving you 76 steps. This lands you at a net of -48 + 76 = 28 steps.<br />
3) finally, you go down one 5/1, times 28 steps per 5/1, putting you down 28 more steps. This lands you at a net of 28 - 28 steps = 0.<br />
<br />
So, if you mechanically work out the way that you'd compute how many steps 81/80 is in 12-EDO, you get 0 steps, meaning you're back at 1/1 and hence tempered out. No surprise there.<br />
<br />
But, if you really think about it, what you've also just done is evaluate the expression \(12*\-4 + 19*4 + 28*\-1): down four (possibly tempered) octaves, up four tempered tritaves, down a tempered 5/1, see what the result is. This is the same exact thing as multiplying out \(\braket{12 \s 19 \s 28}{\-4 \s 4 \s -1}\). Looks like you've just seemingly applied \(\bra{12 \s 19 \s 18}\) to \(\ket{\-4 \s 4 \s \-1}\).<br />
<br />
OK, so that's kind of neat. Now what?<br />
<br />
<!-- ws:start:WikiTextHeadingRule:14:<h2> --><h2 id="toc5"><a name="LECTURE 1: Vector Spaces and Dual Spaces-1.3: Why the fact that covectors mean stuff matters. (OR: PREPARE FOR WEDGIE)"></a><!-- ws:end:WikiTextHeadingRule:14 -->1.3: Why the fact that covectors mean stuff matters. (OR: PREPARE FOR WEDGIE)</h2>
<br />
Assuming you've understood my exposition thus far, you now hopefully see where all things like monzos and vals come from.<br />
<br />
<ul><li>- Monzos, straightforwardly, are elements in a vector space - they're vectors - like the spaces you learned in high school algebra.</li><li>- Vals, straightforwardly, are elements in the "dual space" to that space - they're covectors - which is the new thing you just learned about and which you'd end up learning in college linear algebra.</li></ul><br />
Also, hopefully, now you see that this whole \(\brakettext{covector}{vector}\) thing is just a mathematical representation of the mechanical process you'd be doing if you sat down in scala for a while and stacked and subtracted intervals and figured out what you end up arriving at in some EDO. In other words, \(\bra{12 \s 19 \s 28}\) is just a little machine that takes in JI intervals and spits out steps, and the mathematical name for this sort of little machine is "covector." Very nice!<br />
<br />
<br />
Now, historically speaking, the concept of taking JI intervals and treating them like vectors isn't new. Theorists have been doing that for years and years. Neither Paul nor Gene nor Graham nor Joe Monzo nor anyone I know first came up with the concept of plotting JI intervals as vectors on a JI lattice.<br />
<br />
The real quantum leap in thought, here, is to consider the musical interpretation of the elements in the -dual space- - the covectors. It's is one of those things that appears to be completely meaningless from a musical standpoint unless you really think about it. Someone at some point figured out all of the above and I think it's the one of the best insights ever made in music theory. Looking at the dual space is, in a sense, the logical completion of the idea of putting JI into a "lattice," as per Tenney/Fokker/Wilson/etc.<br />
<br />
Now, where do we go from here?<br />
<br />
Well, if there's one thing mathematicians know a lot of random crap about, it's vectors and covectors. They've been exploring manipulations of these sorts of objects for literally thousands of years under the moniker of "linear algebra." These objects may be new to music theory, but they're definitely not new to math. And since mathematics has concerned itself for such a long time with manipulating covectors and vectors, we can simply take some of the techniques that mathematicians have developed to do so, and apply them here, in a musical context. Some of these linear-algebraic manipulations may seem to have no musical purpose at all. Others do. Others may seem to have no purpose at all, at first, and then end up having a purpose that strikes you in a flash after a little bit of thought.<br />
<br />
One of the manipulations that would appear to be totally useless is a deceptively simple extension of all of this called <strong>exterior algebra</strong>. It introduces a single product, called the <strong>wedge product</strong>, and you can multiply vectors together using this in a similar sort of way that you'd multiply polynomials on paper in high school algebra or something. It also introduces a new type of object, called a "multivector" - defined as the product of vectors. This is one of those things that seems totally useless unless you're <a class="wiki_link" href="/Gene%20Ward%20Smith">Gene Smith</a>, at which point you realize that multivals represent higher-rank temperaments, and that this random field of mathematics has a rather musical interpretation.<br />
<br />
So then, how do we continue? Obviously higher-rank temperaments are things we care about: we can't just stop at vals and leave it at that. Now that you're here, there are basically two different paths you can go down, both of which are basically the same exact thing:<br />
<br />
1) The exterior algebra/"wedgie" route, a la Gene.<br />
2) The matrix algebra/"mapping" route, a la Graham Breed.<br />
<br />
Both of these have different strengths. Gene's approach I find to be remarkably elegant in a certain kind of way, in that multivectors are very intuitive objects to think about. Graham's approach, on the other hand, isn't quite as "elegant," but may be a bit simpler to work out and immediately glean information from - mapping matrices are a bit easier to understand than wedgies.<br />
<br />
We'll cover both of these eventually. But first, we'll need to dig deeper into what, exactly, temperaments "are," conceptually. Stay tuned for that...<br />
<br />
<br />
<!-- ws:start:WikiTextAnchorRule:16:<img src="/i/anchor.gif" class="WikiAnchor" alt="Anchor" id="wikitext@@anchor@@ref1" title="Anchor: ref1"/> --><a name="ref1"></a><!-- ws:end:WikiTextAnchorRule:16 -->[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 "<strong>bracket product</strong>", 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.<br />
<br />
<br />
<!-- ws:start:WikiTextMediaRule:3:<img src="http://www.wikispaces.com/site/embedthumbnail/custom/15538202?h=0&w=0" class="WikiMedia WikiMediaCustom" id="wikitext@@media@@type=&quot;custom&quot; key=&quot;15538202&quot;" title="Custom Media"/> --><script type="text/javascript">
//<![CDATA[
if(location.search != "?disablemath")
MathJax.Hub.Configured()
//]]>
</script><!-- ws:end:WikiTextMediaRule:3 --></body></html>