Val: Difference between revisions

Line 69:

For the mathematically inclined, note that this operation is the same as taking the {{w|dot product}} between the monzo and val interpreted as ordinary vectors.

== ~~Importance~~ ==

== Relationship with equal temperaments ==

The guarantee that there are no contradictions comes with an interesting feature: somehow, you have managed to approximate JI in an internally-consistent way despite the fact that the approximations get worse the more you combine the errors so can get arbitrarily inconsistent. This corresponds to [[tempering out]] an infinite set of [[comma]]s, though there is a finite number of simple/musically relevant commas; that set is simply the set of all intervals that are mapped to 0 steps ([[1/1]]) by the val. This explains where the additional "structure" went – if there are two or more primes, then you need to specify two or more integers in the exponents of the prime factorization (a.~~k.a~~. in the monzo). So we have lost information and structure by simplifying everything to a single integer coordinate; exactly the information that corresponds to ''equating'' any two intervals whose difference is one of the commas tempered, so we have found a precise sense in which we can equate two nearby intervals that are not actually equal — by mapping according to a val that maps the difference to zero. In fact, you do not have to use an [[edo]] tuning as you could use multiple vals ''simultaneously'' to map a single interval if you want to preserve more of the information in JI rather than just increasing the size of the edo; this corresponds to [[regular temperaments]] generally rather than just the 1-dimensional ("rank-1") case that vals correspond to. Therefore, a val specifies a rank-1 temperament a.k.a. an equal temperament.

The guarantee that there are no contradictions comes with an interesting feature: somehow, you have managed to approximate JI in an internally-consistent way despite the fact that the approximations get worse the more you combine the errors so can get arbitrarily inconsistent. This corresponds to [[tempering out]] an infinite set of [[comma]]s, though there is a finite number of simple/musically relevant commas; that set is simply the set of all intervals that are mapped to 0 steps ([[1/1]]) by the val. This explains where the additional "structure" went – if there are two or more primes, then you need to specify two or more integers in the exponents of the prime factorization (i.e. in the monzo). So we have lost information and structure by simplifying everything to a single integer coordinate; exactly the information that corresponds to ''equating'' any two intervals whose difference is one of the commas tempered, so we have found a precise sense in which we can equate two nearby intervals that are not actually equal – by mapping according to a val that maps the difference to zero. In fact, you do not have to use an [[edo]] tuning as you could use multiple vals ''simultaneously'' to map a single interval if you want to preserve more of the information in JI rather than just increasing the size of the edo; this corresponds to [[regular temperaments]] generally rather than just the 1-dimensional ("rank-1") case that vals correspond to. Therefore, a val specifies a rank-1 temperament a.k.a. an equal temperament.

Furthermore, there is actually a lot of applications of vals and monzos that are not necessarily about approximating things in edos or even regular temperaments for that matter, discussed in [[#Applications]], though all of them do still use the idea of the ''mapping'' provided by the val, so really, a val is a ''mapping'' from JI to the numbers with certain properties.

@@ Line 69: / Line 69: @@
 For the mathematically inclined, note that this operation is the same as taking the {{w|dot product}} between the monzo and val interpreted as ordinary vectors.
-== Importance ==
+== Relationship with equal temperaments ==
-The guarantee that there are no contradictions comes with an interesting feature: somehow, you have managed to approximate JI in an internally-consistent way despite the fact that the approximations get worse the more you combine the errors so can get arbitrarily inconsistent. This corresponds to [[tempering out]] an infinite set of [[comma]]s, though there is a finite number of simple/musically relevant commas; that set is simply the set of all intervals that are mapped to 0 steps ([[1/1]]) by the val. This explains where the additional "structure" went – if there are two or more primes, then you need to specify two or more integers in the exponents of the prime factorization (a.k.a. in the monzo). So we have lost information and structure by simplifying everything to a single integer coordinate; exactly the information that corresponds to ''equating'' any two intervals whose difference is one of the commas tempered, so we have found a precise sense in which we can equate two nearby intervals that are not actually equal — by mapping according to a val that maps the difference to zero. In fact, you do not have to use an [[edo]] tuning as you could use multiple vals ''simultaneously'' to map a single interval if you want to preserve more of the information in JI rather than just increasing the size of the edo; this corresponds to [[regular temperaments]] generally rather than just the 1-dimensional ("rank-1") case that vals correspond to. Therefore, a val specifies a rank-1 temperament a.k.a. an equal temperament.
+{{Todo|inline=1| improve readability }}
+The guarantee that there are no contradictions comes with an interesting feature: somehow, you have managed to approximate JI in an internally-consistent way despite the fact that the approximations get worse the more you combine the errors so can get arbitrarily inconsistent. This corresponds to [[tempering out]] an infinite set of [[comma]]s, though there is a finite number of simple/musically relevant commas; that set is simply the set of all intervals that are mapped to 0 steps ([[1/1]]) by the val. This explains where the additional "structure" went – if there are two or more primes, then you need to specify two or more integers in the exponents of the prime factorization (i.e. in the monzo). So we have lost information and structure by simplifying everything to a single integer coordinate; exactly the information that corresponds to ''equating'' any two intervals whose difference is one of the commas tempered, so we have found a precise sense in which we can equate two nearby intervals that are not actually equal – by mapping according to a val that maps the difference to zero. In fact, you do not have to use an [[edo]] tuning as you could use multiple vals ''simultaneously'' to map a single interval if you want to preserve more of the information in JI rather than just increasing the size of the edo; this corresponds to [[regular temperaments]] generally rather than just the 1-dimensional ("rank-1") case that vals correspond to. Therefore, a val specifies a rank-1 temperament a.k.a. an equal temperament.
 Furthermore, there is actually a lot of applications of vals and monzos that are not necessarily about approximating things in edos or even regular temperaments for that matter, discussed in [[#Applications]], though all of them do still use the idea of the ''mapping'' provided by the val, so really, a val is a ''mapping'' from JI to the numbers with certain properties.