Detempering: Difference between revisions

Line 10:

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''.

The second definition extends naturally to asking whether a higher-dimensional mapping <math>S:\mathbb{Z}^n \to P</math> for an arbitrary codomain <math>P</math> of relative pitches is epimorphic, in the same sense of there existing an abelian group <math>A</math> and a linear map <math>v : A \to \mathbb{Z}^n</math> such that <math>v(S(x)) = x.</math> This can be of practical interest: one might ask whether an isomorphic keyboard mapping <math>S : \mathbb{Z}^2 \to P</math> (for a theoretical infinite 2D isomorphic keyboard) is ~~epimmorphic~~.

The second definition extends naturally to asking whether a higher-dimensional mapping <math>S:\mathbb{Z}^n \to P</math> for an arbitrary codomain <math>P</math> of relative pitches is epimorphic, in the same sense of there existing an abelian group <math>A</math> and a linear map <math>v : A \to \mathbb{Z}^n</math> such that <math>v(S(x)) = x.</math> This can be of practical interest: one might ask whether an isomorphic keyboard mapping <math>S : \mathbb{Z}^2 \to P</math> (for a theoretical infinite 2D isomorphic keyboard) is epimorphic.

Temperaments [[support]]ed by vals for one-to-one detemperings have occasionally been considered. Some [[temperament]]s (including [[val]]s for small edos) can be viewed this way for small one-to-one detemperings despite their relatively low accuracy:

@@ Line 10: / Line 10: @@
 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''.
-The second definition extends naturally to asking whether a higher-dimensional mapping <math>S:\mathbb{Z}^n \to P</math> for an arbitrary codomain <math>P</math> of relative pitches is epimorphic, in the same sense of there existing an abelian group <math>A</math> and a linear map <math>v : A \to \mathbb{Z}^n</math> such that <math>v(S(x)) = x.</math> This can be of practical interest: one might ask whether an isomorphic keyboard mapping <math>S : \mathbb{Z}^2 \to P</math> (for a theoretical infinite 2D isomorphic keyboard) is epimmorphic.
+The second definition extends naturally to asking whether a higher-dimensional mapping <math>S:\mathbb{Z}^n \to P</math> for an arbitrary codomain <math>P</math> of relative pitches is epimorphic, in the same sense of there existing an abelian group <math>A</math> and a linear map <math>v : A \to \mathbb{Z}^n</math> such that <math>v(S(x)) = x.</math> This can be of practical interest: one might ask whether an isomorphic keyboard mapping <math>S : \mathbb{Z}^2 \to P</math> (for a theoretical infinite 2D isomorphic keyboard) is epimorphic.
 Temperaments [[support]]ed by vals for one-to-one detemperings have occasionally been considered. Some [[temperament]]s (including [[val]]s for small edos) can be viewed this way for small one-to-one detemperings despite their relatively low accuracy: