Recursive structure of MOS scales: Difference between revisions

Line 442:

=== Binary generated scales are MOS ===

By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is a generator, ''p'' is the period, and ''j, k'' ∈ '''Z'''. We have shown that the result of chunking and reduction is generated and binary, so we need only show that binary generated scales are MOS. Specifically, we claim that any such scale has ''Myhill's property with respect to p'', which we define to mean that any interval class not ''p''-equivalent to 0 has ''exactly'' 2 sizes.

By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is a generator, ''p'' is the period, and ''j, k'' ∈ '''Z''', and that there is a 1-1 correspondence of non-period equivalent interval classes with the numbers of generators stacked. We have shown that the result of chunking and reduction is generated and binary, so we need only show that binary generated scales are MOS. Specifically, we claim that any such scale has ''Myhill's property with respect to p'', which we define to mean that any interval class not ''p''-equivalent to 0 has ''exactly'' 2 sizes.

Suppose that such a scale ''S'' (with ''n'' ≥ 2 notes) has ''a''-many L steps and ''b''-many s steps per period ''p'', and has generator ''g''. Since ''S'' is generated, the interval sizes modulo ''p'' that occur in ''S'' are:

@@ Line 442: / Line 442: @@
 === Binary generated scales are MOS ===
-By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is a generator, ''p'' is the period, and ''j, k'' ∈ '''Z'''. We have shown that the result of chunking and reduction is generated and binary, so we need only show that binary generated scales are MOS. Specifically, we claim that any such scale has ''Myhill's property with respect to p'', which we define to mean that any interval class not ''p''-equivalent to 0 has ''exactly'' 2 sizes.
+By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is a generator, ''p'' is the period, and ''j, k'' ∈ '''Z''', and that there is a 1-1 correspondence of non-period equivalent interval classes with the numbers of generators stacked. We have shown that the result of chunking and reduction is generated and binary, so we need only show that binary generated scales are MOS. Specifically, we claim that any such scale has ''Myhill's property with respect to p'', which we define to mean that any interval class not ''p''-equivalent to 0 has ''exactly'' 2 sizes.
 Suppose that such a scale ''S'' (with ''n'' ≥ 2 notes) has ''a''-many L steps and ''b''-many s steps per period ''p'', and has generator ''g''. Since ''S'' is generated, the interval sizes modulo ''p'' that occur in ''S'' are: