Generator sequence: Difference between revisions

Line 16:

=== Proof that a WFGS scale is CS ===

Suppose ''u'' and ''v'' are two subwords of ''s'' with Ψ(''u'') = Ψ(''v''). (Ψ(''w'') is the interval size subtended by a subword ''w''.) Modulo equaves, either ''u'' is the imperfect generator of the WFGS, in which case ''u'' = ''v'', or we can assume that ''u'' and ''v'' are both stacks of ''p'' resp. ''q'' detempered perfect generators where we take the ''E'' (equave)-complement generator if necessary. Tempering to the MOS with π, the images π(''u'') and π(''v'') also satisfy Ψ(π(''u'')) = Ψ(π(''v'')) and are a stack of ''l'' resp. ''m'' MOS generators (all of which are perfect). Since the abstract MOS's period and generator are linearly independent, ''m'' = ''l''. Hence Ψ(π(''u'')) = Ψ(π(''v'')) = ''mg + nE''. This expression corresponds to a well-defined number of steps, given the generator ''g'' and the period ''E'' of the MOS, hence ''u'' and ''v'' must subtend the same number of steps.

Suppose ''u'' and ''v'' are two subwords of ''s'' with Ψ(''u'') = Ψ(''v''). (Ψ(''w'') is the [[Parikh vector]] of ''w'', the interval size subtended by a subword ''w''.) Modulo equaves, either ''u'' is the imperfect generator of the WFGS, in which case ''u'' = ''v'', or we can assume that ''u'' and ''v'' are both stacks of ''p'' resp. ''q'' detempered perfect generators where we take the ''E'' (equave)-complement generator if necessary. Tempering to the MOS with π, the images π(''u'') and π(''v'') also satisfy Ψ(π(''u'')) = Ψ(π(''v'')) and are a stack of ''l'' resp. ''m'' MOS generators (all of which are perfect). Since the abstract MOS's period and generator are linearly independent, ''m'' = ''l''. Hence Ψ(π(''u'')) = Ψ(π(''v'')) = ''mg + nE''. This expression corresponds to a well-defined number of steps, given the generator ''g'' and the period ''E'' of the MOS, hence ''u'' and ''v'' must subtend the same number of steps.

== JI scales from WFGS series ==

@@ Line 16: / Line 16: @@
 <!-- todo: Non-WF GSes-->
 === Proof that a WFGS scale is CS ===
-Suppose ''u'' and ''v'' are two subwords of ''s'' with Ψ(''u'') = Ψ(''v''). (Ψ(''w'') is the interval size subtended by a subword ''w''.) Modulo equaves, either ''u'' is the imperfect generator of the WFGS, in which case ''u'' = ''v'', or we can assume that ''u'' and ''v'' are both stacks of ''p'' resp. ''q'' detempered perfect generators where we take the ''E'' (equave)-complement generator if necessary. Tempering to the MOS with π, the images π(''u'') and π(''v'') also satisfy Ψ(π(''u'')) = Ψ(π(''v'')) and are a stack of ''l'' resp. ''m'' MOS generators (all of which are perfect). Since the abstract MOS's period and generator are linearly independent, ''m'' = ''l''. Hence Ψ(π(''u'')) = Ψ(π(''v'')) = ''mg + nE''. This expression corresponds to a well-defined number of steps, given the generator ''g'' and the period ''E'' of the MOS, hence ''u'' and ''v'' must subtend the same number of steps.
+Suppose ''u'' and ''v'' are two subwords of ''s'' with Ψ(''u'') = Ψ(''v''). (Ψ(''w'') is the [[Parikh vector]] of ''w'', the interval size subtended by a subword ''w''.) Modulo equaves, either ''u'' is the imperfect generator of the WFGS, in which case ''u'' = ''v'', or we can assume that ''u'' and ''v'' are both stacks of ''p'' resp. ''q'' detempered perfect generators where we take the ''E'' (equave)-complement generator if necessary. Tempering to the MOS with π, the images π(''u'') and π(''v'') also satisfy Ψ(π(''u'')) = Ψ(π(''v'')) and are a stack of ''l'' resp. ''m'' MOS generators (all of which are perfect). Since the abstract MOS's period and generator are linearly independent, ''m'' = ''l''. Hence Ψ(π(''u'')) = Ψ(π(''v'')) = ''mg + nE''. This expression corresponds to a well-defined number of steps, given the generator ''g'' and the period ''E'' of the MOS, hence ''u'' and ''v'' must subtend the same number of steps.
 == JI scales from WFGS series ==