Eigenmonzo: Difference between revisions
Cmloegcmluin (talk | contribs) less convoluted wording, and a return to an opening more similar to how it was earlier today |
m Internalize wikipedia links, +categories |
||
| Line 3: | Line 3: | ||
A [[regular temperament]] transforms untempered intervals into tempered intervals, which changes most of their sizes. Only a small set of exceptional intervals do not change in size. This set of unchanged intervals depends on the choice of tuning. | A [[regular temperament]] transforms untempered intervals into tempered intervals, which changes most of their sizes. Only a small set of exceptional intervals do not change in size. This set of unchanged intervals depends on the choice of tuning. | ||
A popular example of an eigenmonzo is the JI interval {{monzo|0 0 1}}, or 1:5, when it is mapped by [[quarter-comma meantone]]; because this temperament tuning's generator is defined as exactly one-quarter the size of the interval 1:5, it remains justly tuned. | A popular example of an eigenmonzo is the JI interval {{monzo| 0 0 1 }}, or 1:5, when it is mapped by [[quarter-comma meantone]]; because this temperament tuning's generator is defined as exactly one-quarter the size of the interval 1:5, it remains justly tuned. | ||
For any pure-octave temperament tuning, {{monzo|1}}, aka 1:2, is an eigenmonzo. | For any pure-octave temperament tuning, {{monzo| 1 }}, aka 1:2, is an eigenmonzo. | ||
A [[rank]]-n temperament can have up to n different eigenmonzos — one for each [[generator]]. | A [[rank]]-''n'' temperament can have up to ''n'' different eigenmonzos — one for each [[generator]]. | ||
== With respect to the projection matrix == | == With respect to the projection matrix == | ||
The "eigen" part of the term "eigenmonzo" comes from the fact that these intervals are [ | The "eigen" part of the term "eigenmonzo" comes from the fact that these intervals are [[wikipedia: Eigenvalues and eigenvectors|eigenvectors]] of the tuning's [[projection matrix]] (not the [[Temperament_mapping_matrices|temperament's mapping matrix]]). Only eigenvectors of the projection matrix with [[wikipedia: Eigenvalues and eigenvectors|eigenvalue]] equal to 1 are considered eigenmonzos, while those with eigenvalue equal to 0 are the vanishing commas of the temperament; in other words, a vector that is a monzo and an eigenvector is not necessarily an eigenmonzo. | ||
The "monzo" part of "eigenmonzo" should not be taken to imply that the interval is notated in monzo form, e.g. {{monzo|2 -1}}; for example, 4/3 may be called an eigenmonzo. | The "monzo" part of "eigenmonzo" should not be taken to imply that the interval is notated in monzo form, e.g. {{monzo| 2 -1 }}; for example, 4/3 may be called an eigenmonzo. | ||
== See also == | == See also == | ||
* [[Fractional monzo]]: for more mathematical information | |||
* [[Eigenmonzo subgroup]] | |||
[[Category:Regular temperament theory]] | |||
[[Category:Terms]] | |||
Revision as of 11:51, 11 October 2021
An eigenmonzo (also known as an unchanged interval) is a (usually justly intoned) interval that remains unchanged when a specific tuning of a given temperament is applied to it.
A regular temperament transforms untempered intervals into tempered intervals, which changes most of their sizes. Only a small set of exceptional intervals do not change in size. This set of unchanged intervals depends on the choice of tuning.
A popular example of an eigenmonzo is the JI interval [0 0 1⟩, or 1:5, when it is mapped by quarter-comma meantone; because this temperament tuning's generator is defined as exactly one-quarter the size of the interval 1:5, it remains justly tuned.
For any pure-octave temperament tuning, [1⟩, aka 1:2, is an eigenmonzo.
A rank-n temperament can have up to n different eigenmonzos — one for each generator.
With respect to the projection matrix
The "eigen" part of the term "eigenmonzo" comes from the fact that these intervals are eigenvectors of the tuning's projection matrix (not the temperament's mapping matrix). Only eigenvectors of the projection matrix with eigenvalue equal to 1 are considered eigenmonzos, while those with eigenvalue equal to 0 are the vanishing commas of the temperament; in other words, a vector that is a monzo and an eigenvector is not necessarily an eigenmonzo.
The "monzo" part of "eigenmonzo" should not be taken to imply that the interval is notated in monzo form, e.g. [2 -1⟩; for example, 4/3 may be called an eigenmonzo.
See also
- Fractional monzo: for more mathematical information
- Eigenmonzo subgroup