Periodic scale: Difference between revisions

(2 intermediate revisions by 2 users not shown)

Line 24:

A class is a category of all intervals spanning a specified number of scale degrees, such as seconds, thirds, fourths etc in diatonic, or the generalization to any kind of scale.

In mathematical terms, we can define a function class(''k'') on the integers which gives sets representing the ''generic intervals'' of a periodic scale. For some integer ''k'', the set class(''k'') consists of all intervals <math>s[k+i] - s[i]</math>. Since ''s'' is quasiperiodic, class(''P'') only contains the period ''O'', but the rest may contain multiple intervals.

In mathematical terms, we can define a function class(''k'') on the integers which gives sets representing the ''generic intervals'' of a periodic scale. For some integer ''k'', the set class(''k'') consists of all intervals <math>s[k+i] - s[i]</math>. Equivalently, it is all the intervals found on the same degree of the different modes of the scale, or all the intervals between notes a given number of scale steps apart. Since ''s'' is quasiperiodic, class(''P'') only contains the period ''O'', but the rest may contain multiple intervals.

=== Step form and cumulative form ===

Given a periodic scale as defined above, we may define its ''step form'' as

Given a periodic scale, we may call the function defined above the "cumulative form", and we may define its ''step form'' as

<math>\Delta s[i] = s[i+1] - s[i],</math>

Line 63:

A monotone scale in which every class but classes ''nP'' have exactly two elements is a MOS with period P (as opposed to a fraction of P; that is, a strict MOS), and thus has Myhill's property. If every such class has exactly three elements, it has the '''trivalence property'''.

=== ~~Distributional evenness~~ ===

=== Interval variety ===

A monotone scale in which every class comes in ~~exactly~~ ''n'' elements is ''n''~~-distributionally even~~, or ''n''~~-DE~~. If ''n'' = 2, then ~~we can simply say that~~ it is ~~distributionally even and is thus~~ a MOS ~~(of a more general form)~~. ~~Some authors prefer~~ a ~~stricter definition of~~ MOS ~~identifying it~~ with Myhill's property.

A monotone scale in which every class comes in *at most* ''n'' elements is maximum variety ''n'', or MV''n''. If ''n'' = 2, then it is a MOS.

A monotone scale in which every class comes in *exactly* ''n'' elements is ''strict variety n'', or SV''n''. If ''n'' = 2, then it is a 1-period MOS or equivalently a scale with Myhill's property.

=== Convexity ===

@@ Line 24: / Line 24: @@
 A class is a category of all intervals spanning a specified number of scale degrees, such as seconds, thirds, fourths etc in diatonic, or the generalization to any kind of scale.
-In mathematical terms, we can define a function class(''k'') on the integers which gives sets representing the ''generic intervals'' of a periodic scale. For some integer ''k'', the set class(''k'') consists of all intervals <math>s[k+i] - s[i]</math>. Since ''s'' is quasiperiodic, class(''P'') only contains the period ''O'', but the rest may contain multiple intervals.
+In mathematical terms, we can define a function class(''k'') on the integers which gives sets representing the ''generic intervals'' of a periodic scale. For some integer ''k'', the set class(''k'') consists of all intervals <math>s[k+i] - s[i]</math>. Equivalently, it is all the intervals found on the same degree of the different modes of the scale, or all the intervals between notes a given number of scale steps apart. Since ''s'' is quasiperiodic, class(''P'') only contains the period ''O'', but the rest may contain multiple intervals.
 === Step form and cumulative form ===
-Given a periodic scale as defined above, we may define its ''step form'' as
+Given a periodic scale, we may call the function defined above the "cumulative form", and we may define its ''step form'' as
 <math>\Delta s[i] = s[i+1] - s[i],</math>
@@ Line 63: / Line 63: @@
 A monotone scale in which every class but classes ''nP'' have exactly two elements is a MOS with period P (as opposed to a fraction of P; that is, a strict MOS), and thus has Myhill's property. If every such class has exactly three elements, it has the '''trivalence property'''.
-=== Distributional evenness ===
+=== Interval variety ===
-{{Main| Distributional evenness }}
+{{Main|Interval variety}}
-A monotone scale in which every class comes in exactly ''n'' elements is ''n''-distributionally even, or ''n''-DE. If ''n'' = 2, then we can simply say that it is distributionally even and is thus a MOS (of a more general form). Some authors prefer a stricter definition of MOS identifying it with Myhill's property.
+A monotone scale in which every class comes in *at most* ''n'' elements is maximum variety ''n'', or MV''n''. If ''n'' = 2, then it is a MOS.
+A monotone scale in which every class comes in *exactly* ''n'' elements is ''strict variety n'', or SV''n''. If ''n'' = 2, then it is a 1-period MOS or equivalently a scale with Myhill's property.
 === Convexity ===