Mathematics of MOS: Difference between revisions
| Line 282: | Line 282: | ||
In fact, {L, s} is another valid basis for the abelian group with basis {''p'', ''g''}, since by binarity we have ''p, g'' ∈ span(L, s). Assume ''c'' = ''b'' and ''e'' = −''a''. [This corresponds to assuming that ''g'' is the "bright" generator.] Let χ = L − s > 0; then χ is ''p''-equivalent to ''+ng''. Now by generatedness and binarity, any interval class that has at least two sizes must have sizes separated by ''ng'' (the separation corresponding to changing an L step to an s step). Since ''g'' and ''p'' are linearly independent, for each ''j'' ∈ {1, ..., ''n'' − 1} there exists at most one ''k'' = ''k''(''j'') ∈ {1, ..., ''n'' − 1}</sub> such that ''jg'' is ''p''-equivalent to one size of ''k''-step. Hence if the class of ''k''-steps has ''at least'' two sizes, the sizes must be ''j''(''k'')''g'' and (''j''(''k'') − ''n'')''g''; any other size must leave the range −(''n'' − 1)''g'', ..., 0, ..., (''n'' − 1)''g''. Thus the class of ''k''-steps has at most two sizes for 1 ≤ ''k'' ≤ (''n'' − 1). Each non-''p''-equivalent class must have ''exactly'' two sizes, since the inverse of the ''k''-step that is equivalent to ''jg'' is an (''n'' − ''k'')-step equivalent to ''−jg'', which by linear independence must be distinct from an (''n'' − ''k'')-step equivalent to a positive number of ''g'' generators. (Note that the latter (''n'' − ''k'')-step does occur in the "brightest" mode of ''S'', i.e. the mode with the most ''g'' generators stacked ''up'' rather than ''down'' from the tonic.), completing the proof. | In fact, {L, s} is another valid basis for the abelian group with basis {''p'', ''g''}, since by binarity we have ''p, g'' ∈ span(L, s). Assume ''c'' = ''b'' and ''e'' = −''a''. [This corresponds to assuming that ''g'' is the "bright" generator.] Let χ = L − s > 0; then χ is ''p''-equivalent to ''+ng''. Now by generatedness and binarity, any interval class that has at least two sizes must have sizes separated by ''ng'' (the separation corresponding to changing an L step to an s step). Since ''g'' and ''p'' are linearly independent, for each ''j'' ∈ {1, ..., ''n'' − 1} there exists at most one ''k'' = ''k''(''j'') ∈ {1, ..., ''n'' − 1}</sub> such that ''jg'' is ''p''-equivalent to one size of ''k''-step. Hence if the class of ''k''-steps has ''at least'' two sizes, the sizes must be ''j''(''k'')''g'' and (''j''(''k'') − ''n'')''g''; any other size must leave the range −(''n'' − 1)''g'', ..., 0, ..., (''n'' − 1)''g''. Thus the class of ''k''-steps has at most two sizes for 1 ≤ ''k'' ≤ (''n'' − 1). Each non-''p''-equivalent class must have ''exactly'' two sizes, since the inverse of the ''k''-step that is equivalent to ''jg'' is an (''n'' − ''k'')-step equivalent to ''−jg'', which by linear independence must be distinct from an (''n'' − ''k'')-step equivalent to a positive number of ''g'' generators. (Note that the latter (''n'' − ''k'')-step does occur in the "brightest" mode of ''S'', i.e. the mode with the most ''g'' generators stacked ''up'' rather than ''down'' from the tonic.), completing the proof. | ||
As noted in the Definitions section, the previous argument cannot be used for the non-linearly independent case | As noted in the Definitions section, the previous argument cannot be used for the non-linearly independent case. This is because not all binary generated scales with rational step ratios are limit points of binary generated scales with irrational step ratios. A counterexample is the 13-note scale ssLsLssLsLss (s = 1\17, L = 2\17), which is obtained from LsLsLssLsLss (5L7s) by stacking one more 10\17 generator. | ||
[[Category:Math]] | [[Category:Math]] | ||
[[Category:MOS scale]] | [[Category:MOS scale]] | ||
[[Category:Scale]] | [[Category:Scale]] | ||