Detempering: Difference between revisions

Line 6:

# A JI scale is a ''one-to-one detempering'' if it is a detempering of an [[equal temperament]] under some mapping where each note of the equal temperament is matched to exactly one JI note which tempers to the note.

# A JI scale ''S'' is ''epimorphic'' if on the [[JI subgroup]] <math>A \leq \mathbb{Q}_{>0}</math> generated by the intervals of ''S'', there exists a [[val]] ''v'': ''A'' → ℤ (which can be called an '''epimorphism''') such that ''v''(''S''[''i'']) = ''i'' for all ''i'' ∈ ℤ.

The two terms are equivalent because if a detempering of an n-note equal temperament ''v'' is one-to-one, then second definition follows by the additivity of ''v'', and given the second definition, injectivity is immediate.

The two terms are equivalent because if a detempering of an ''n''-note equal temperament ''v'' is one-to-one, then second definition follows by the additivity of ''v'', and given the second definition, injectivity is immediate.

The property is strictly stronger than [[constant structure]] (CS). When one assumes ''S'' is a CS but not that it is a one-to-one detempering, there is a unique set map <math>v : \{\text{intervals of $S$}\} \to \mathbb{Z}</math> that witnesses that ''S'' is a CS and satisfies ''v''(''S''[''i'']) = ''i'' for all ''i''. Thus a CS scale ''S'' is a one-to-one detempering if and only if this mapping ''v'' extends to a linear map on the entirety of ''A''.

@@ Line 6: / Line 6: @@
 # A JI scale is a ''one-to-one detempering'' if it is a detempering of an [[equal temperament]] under some mapping where each note of the equal temperament is matched to exactly one JI note which tempers to the note.
 # A JI scale ''S'' is ''epimorphic'' if on the [[JI subgroup]] <math>A \leq \mathbb{Q}_{>0}</math> generated by the intervals of ''S'', there exists a [[val]] ''v'': ''A'' → ℤ (which can be called an '''epimorphism''') such that ''v''(''S''[''i'']) = ''i'' for all ''i'' ∈ ℤ.
-The two terms are equivalent because if a detempering of an n-note equal temperament ''v'' is one-to-one, then second definition follows by the additivity of ''v'', and given the second definition, injectivity is immediate.
+The two terms are equivalent because if a detempering of an ''n''-note equal temperament ''v'' is one-to-one, then second definition follows by the additivity of ''v'', and given the second definition, injectivity is immediate.
 The property is strictly stronger than [[constant structure]] (CS). When one assumes ''S'' is a CS but not that it is a one-to-one detempering, there is a unique set map <math>v : \{\text{intervals of $S$}\} \to \mathbb{Z}</math> that witnesses that ''S'' is a CS and satisfies ''v''(''S''[''i'']) = ''i'' for all ''i''. Thus a CS scale ''S'' is a one-to-one detempering if and only if this mapping ''v'' extends to a linear map on the entirety of ''A''.