Interleaving: Difference between revisions
| Line 20: | Line 20: | ||
# Given an E-equivalent scale ''S'', offsets δ within the open interval (0, min({step sizes in ''S''})) are called ''small'' in the context of interleaving ''S''. Small offsets are significant because the resulting interleaved scale has a structure that closely mimics the underlying scale structure: if ''S'' is a circular word <math>w(a_1, a_2, ..., a_n)</math> then Interleave(''s''; δ) uses the same circular word but with δ followed by the difference between δ and every step size in w, namely <math>w(\delta b_1, \delta b_2, ..., \delta b_n)</math> where <math>b_i = a_i - \delta</math>. | # Given an E-equivalent scale ''S'', offsets δ within the open interval (0, min({step sizes in ''S''})) are called ''small'' in the context of interleaving ''S''. Small offsets are significant because the resulting interleaved scale has a structure that closely mimics the underlying scale structure: if ''S'' is a circular word <math>w(a_1, a_2, ..., a_n)</math> then Interleave(''s''; δ) uses the same circular word but with δ followed by the difference between δ and every step size in w, namely <math>w(\delta b_1, \delta b_2, ..., \delta b_n)</math> where <math>b_i = a_i - \delta</math>. | ||
# An interleaved scale is not always CS, even when the strand is CS and the scale has a [[generator sequence]] where every generator subtends the same number of steps. One such scale is Interleave(Zarlino; 32/25) = 25/24 9/8 75/64 5/4 125/96 4/3 375/256 3/2 25/16 5/3 225/128 15/8 125/64 2/1 which has [[GS]](32/25 125/96 32/25 5/4). | # An interleaved scale is not always CS, even when the strand is CS and the scale has a [[generator sequence]] where every generator subtends the same number of steps. One such scale is Interleave(Zarlino; 32/25) = 25/24 9/8 75/64 5/4 125/96 4/3 375/256 3/2 25/16 5/3 225/128 15/8 125/64 2/1 which has [[GS]](32/25 125/96 32/25 5/4). | ||
=== Proof of the offset constraints === | |||
The interleaving condition only quantifies over ''pairs'' of distinct strands, and hence the above property only needs to hold for pairs of notes in the offset chord. This reduces the proof to the case of one offset δ. | The interleaving condition only quantifies over ''pairs'' of distinct strands, and hence the above property only needs to hold for pairs of notes in the offset chord. This reduces the proof to the case of one offset δ. | ||