「マッピング」の版間の差分

提供: Xenharmonic Wiki
ナビゲーションに移動 検索に移動
編集の要約なし
編集の要約なし
 
(同じ利用者による、間の4版が非表示)
5行目: 5行目:
[[レギュラーテンペラメント]]は単なるピッチの集合以上のものである。[[純正律サブグループ]]からそのピッチ集合の特定の音高に対応付ける''一貫したルール''を持つものである。(「抽象的なレギュラーテンペラメント」は決まった音高の集合ですらない。ピッチは決まっておらず、対応付けるルールが示す構造がテンペラメントを特徴づける。)この一貫したルールは'''マッピング'''と呼ばれている。マッピングは「この純正律の音をこのテンペラメントのどの音で演奏すればいいの?」に答えるものである。答えはその純正律の音の「テンパーされたバージョン」で、それは状況によってかなり近く近似されたりかなり外れて近似されたりする。
[[レギュラーテンペラメント]]は単なるピッチの集合以上のものである。[[純正律サブグループ]]からそのピッチ集合の特定の音高に対応付ける''一貫したルール''を持つものである。(「抽象的なレギュラーテンペラメント」は決まった音高の集合ですらない。ピッチは決まっておらず、対応付けるルールが示す構造がテンペラメントを特徴づける。)この一貫したルールは'''マッピング'''と呼ばれている。マッピングは「この純正律の音をこのテンペラメントのどの音で演奏すればいいの?」に答えるものである。答えはその純正律の音の「テンパーされたバージョン」で、それは状況によってかなり近く近似されたりかなり外れて近似されたりする。


単純に一番近い(四捨五入的な意味で)音で演奏すればいいんじゃないかと思うかもしれない、しかし、それは(通常)全くレギュラーテンペラメントにならない! それは一貫した結果を得られない。同じ純正音程が、現れた場所によって異なる音程にされてしまうのだ。レギュラーテンペラメントのマッピングというのはそれぞれの純正音程を常に''同じ''テンパーされた音程で表現する。結果として、複雑な純正音程はサイズ的に一番近い音程にはならないことが多い。
単純に一番近い(四捨五入的な意味で)音で演奏すればいいんじゃないかと思うかもしれない、しかし、それは(通常)全くレギュラーテンペラメントにならない! それは''一貫した''結果を得られない。同じ純正音程が、現れた場所によって異なる音程にされてしまうのだ。レギュラーテンペラメントのマッピングというのはそれぞれの純正音程を常に''同じ''テンパーされた音程で表現する。その際に一番近い音程にマップすることは必須ではないし、複雑な純正音程はサイズ的に一番近い音程にはならないことが多い。


== A note on mathematical terminology ==
== 数学用語との関係 ==
数学の用語で "mapping"(写像)は "map" や "function"(関数)の同義語であるが、RTTにおいては「マッピング」を{{w|線形写像}}の意味で使う。そして行列の形で取り扱う。
数学の用語で "mapping"(写像)は "map" や "function"(関数)の同義語であるが、RTTにおいては「マッピング」を{{w|線形写像}}の意味で使う。そして行列の形で取り扱う。


== Equal temperament mappings ==
== 平均律のマッピング ==
平均律、つまりランク1テンペラメントは単なる等間隔のピッチではない。平均律は
平均律、つまりランク1テンペラメントは単なる等間隔のピッチではない。平均律は
# 表現したい純正律サブグループ、例えば"5リミット純正律"
# 表現したい純正律サブグループ、例えば「5リミット純正律」
# その純正律サブグループの各音高から平均律音高(本質的には整数1個で表せる)へのマッピング
# その純正律サブグループの各音高から平均律音高(本質的には整数1個で表せる)へのマッピング


からなる。
からなる。


例として、3リミットテンペラメントとしての[[12平均律]]を考えよう。具体的に話を進めるために、{{w|A440|A=440Hz}} を基準音とする。この場合純正律サブグループは[[3リミット]]で、つまり、全ての音高がA440から 2 と 3 以外の素因数がない純正音程だけ隔たっている、そういうピッチ集合だということである。数式で書くと
例として、3リミットテンペラメントとしての[[12平均律]]を考えよう。具体的に話を進めるために、{{w|A440}}を基準音とする。この場合純正律サブグループは[[3リミット]]で、つまり、全ての音高が A=440 Hz から 2 と 3 以外の素因数がない純正音程だけ隔たっている、そういうピッチ集合だということである。数式で書くと


<math>\left\{440\cdot 2^a\cdot 3^b\,\middle|\,a,b\in\mathbb Z\right\}</math>
<math>\left\{440\cdot 2^a\cdot 3^b\,\middle|\,a,b\in\mathbb Z\right\}</math>


次は関数の出力側である12edoの音高を表すのに整数を導入する。A440 がノート番号 0、そこから上がった B&#x266D; がノート番号 1、下がった A&#x266D; がノート番号 &minus;1、… するとマッピングは素因数 2 の1個当たり 12 ステップ、素因数 3 の1個当たり 19 ステップ(3/1 は 1901.955… セントだがこれを 1900 セントに丸める)であると表される。数式で書くと<math>12a + 19b</math>となる。よって、A440から 1/1 上がった音(つまりA440)はノート番号 0、A440から(以後省略)2/1 上がった音(以後省略)はノート番号 12、3/2 はノート番号 7、そして3<sup>12</sup>/2<sup>19</sup>(ピタゴラスコンマ)はノート番号 0 (A440から動かない)となる。
次に関数の出力側である12edoの音高を表すのに整数を導入する。A440がノート番号 0、そこから上がった B&#x266D; がノート番号 1、下がった A&#x266D; がノート番号 &minus;1、… とするとマッピングは素因数 2 の1個当たり 12 ステップ、素因数 3 の1個当たり 19 ステップ(3/1 は 1901.955… セントだがこれを 1900 セントに丸める)であると表される。数式で書くと <math>12a + 19b</math> となる。よって、A440から 1/1 上がった音(つまりA440)はノート番号 0、A440から(以後省略)2/1 上がった音(以後省略)はノート番号 12、3/2 はノート番号 7、そして 3<sup>12</sup>/2<sup>19</sup>(ピタゴラスコンマ)はノート番号 0 (A440から動かない)となる。''a'' と ''b'' はこのように素因数分解から、または[[モンゾ]]から読み取れる。


=== Contrast with rounding ===
=== 四捨五入との比較 ===
3<sup>36</sup>/2<sup>57</sup> で表されるピッチを考える。純正律では、これはA440から 70.38… セント上がった音であり、12edoの音高ではB&#x266D;が一番近い。しかし、上記マッピングを適用するなら、これはノート番号 1(B&#x266D;)ではなく 0 (A)にマップされることになる。なぜかといえば、3<sup>36</sup>/2<sup>57</sup> はピタゴラスコンマを3回積み上げたものであり、ピタゴラスコンマが 0 ステップである以上それを3個積んでも0ステップである(3個目だけ1ステップになったりしない; それが線形で一貫だということ)のでやっぱりA440のままでなければならないのである。これがマッピングと四捨五入の違いである。
3<sup>36</sup>/2<sup>57</sup> で表されるピッチを考える。純正律では、これはA440から 70.38… セント上がった音であり、12edoの音高ではB&#x266D;が一番近い。しかし、上記マッピングを適用するなら、これはノート番号 1(B&#x266D;)ではなく 0 (A)にマップされることになる。なぜかといえば、3<sup>36</sup>/2<sup>57</sup> はピタゴラスコンマを 3 回積み上げたものであり、ピタゴラスコンマが 0 ステップである以上それを 3 個積んでも 0 ステップである(3 個目だけ 1 ステップになったりしない; それが線形で一貫だということ)のでやっぱりA440のままでなければならないからである。これがマッピングと四捨五入の違いである。


=== Notation ===
=== 記法 ===
RTTにおいてこのようなマッピングのための特別な記法がある。上記の3リミット12平均律は {{val| 12 19 }} と書かれる。最初の素数(2)は 12 ステップにマップされ、次の素数(3)は 19 ステップにマップされるという意味である。数学的に言うならこれは "マッピング行列" で、マッピングの情報をとてもコンパクトに表している。これはランク1テンペラメントなのでマッピング行列は1行であり、またこれは3リミットテンペラメントなのでマッピング行列は2列でそれぞれ素数 2 と素数 3 を表している。(ブラ記法で書かれた1行だけのマッピング行列(あるいはマッピング行列の中の行)を[[ヴァル]]と呼ぶ。)
RTTにおいてこのようなマッピングのための特別な記法がある。上記の3リミット12平均律は {{val| 12 19 }} と書かれる。最初の素数(2)は 12 ステップにマップされ、次の素数(3)は 19 ステップにマップされるという意味である。数学的に言うならこれは 「マッピング行列」で、マッピングの情報をとてもコンパクトに表している。これはランク1テンペラメントなのでマッピング行列は 1 行であり、またこれは3リミットテンペラメントなのでマッピング行列は 2 列でそれぞれ素数 2 と素数 3 を表している。ブラ記法で書かれた1行だけのマッピング行列(あるいはマッピング行列の中の行)を[[ヴァル]]と呼ぶ。また複数個のヴァルを並べることで表現したマッピング行列を'''ヴァルのリスト'''という。


=== Many 12edo temperaments ===
=== 様々な12平均律 ===
今度は3リミットではなく5リミットテンペラメントとしての12平均律を考える。このテンペラメントは全ての3リミット純正音程を上記と同じようにマップするが、それだけではなくそれ以外の5リミット純正音程も扱う。そのマッピング行列は {{val| 12 19 28 }} となる。技術的に言うとこれは {{val| 12 19 }} とは''異なる''レギュラーテンペラメントであるが、一般的な用語としてはどちらも「12平均律」と呼ばれる。
今度は3リミットではなく5リミットテンペラメントとしての12平均律を考える。このテンペラメントは全ての3リミット純正音程を上記と同じようにマップするが、それだけではなくそれ以外の5リミット純正音程も扱う。そのマッピング行列は {{val| 12 19 28 }} となる。技術的に言うとこれは {{val| 12 19 }} とは''異なる''レギュラーテンペラメントであるが、一般的な用語としてはどちらも「12平均律」と呼ばれる。


さらに11リミットの12平均律を考える。そのマッピング行列は? それは 11/8 を「だいぶシャープなD」と考えるか「だいぶフラットなD&#x266F;」と考えるかによって変わる。マッピングはそれぞれ  {{val| 12 19 28 34 41 }} と {{val| 12 19 28 34 42 }} となる。後者のほうがより正確な 11/8 を持つが、前者は 12/11 を含むいくつかの音程がより正確になる。RTT流に言えば、オクターブを12等分する11リミットテンペラメントは2個あるということである。「11リミット12平均律」という言い方ではマッピングを特定できていなく、つまり特定のテンペラメントを指し示せていない。
さらに11リミットの12平均律を考える。そのマッピング行列は? それは 11/8 を「だいぶシャープなD」と考えるか「だいぶフラットなD&#x266F;」と考えるかによって変わる。マッピングはそれぞれ  {{val| 12 19 28 34 41 }} と {{val| 12 19 28 34 42 }} となる。後者のほうがより正確な 11/8 を持つが、前者は 12/11 を含むいくつかの音程がより正確になる。RTT流に言えば、オクターブを 12 等分する11リミットテンペラメントは 2 個あるということである。「11リミット12平均律」という言い方ではマッピングを特定できていなく、つまり特定のテンペラメントを指し示せていない。


厳密に言えば、「5リミット12平均律」や「3リミット12平均律」ですら同様に曖昧である、なぜなら例えば {{val| 12 19 27 }} だって有効なテンペラメントだからである({{val| 12 19 28 }} よりずっと不正確ではあるが)。このテンペラメントでは 5/4 が12edoの3ステップ(300 セント)で表される。もちろん実用上は高リミットにならないとこの曖昧性は問題にならない。
厳密に言えば、「5リミット12平均律」や「3リミット12平均律」ですら同様に曖昧である、なぜなら例えば {{val| 12 19 27 }} だって有効なテンペラメントだからである({{val| 12 19 28 }} よりずっと不正確ではあるが)。このテンペラメントでは 5/4 が12edoの 3 ステップ(300 セント)で表される。もちろん実用上は高リミットにならないとこの曖昧性は問題にならない。


== Linear temperament mappings ==
== リニアテンペラメントのマッピング ==
1本の等間隔ピッチのチェーンではないテンペラメントを考える。例として異名同音なし(C&#x266F;とD&#x266D;をあくまで別物とする)の伝統的記法を考える。全ての音高はオクターブと完全4度の組み合わせとして記述できる。例えば
1本の等間隔ピッチのチェーンではないテンペラメントを考える。例として異名同音なし(C&#x266F;とD&#x266D;をあくまで別物とする)の伝統的記法を考える。全ての音高はオクターブと完全4度の組み合わせとして記述できる。例えば


45行目: 45行目:
言い換えると、全ての音高は整数の組 (''x'', ''y'') で表され、''x'' がオクターブの個数(負なら下がるほう)、''y'' が完全4度の個数である。
言い換えると、全ての音高は整数の組 (''x'', ''y'') で表され、''x'' がオクターブの個数(負なら下がるほう)、''y'' が完全4度の個数である。


== Temperamental rank ==
== テンペラメントのランク ==
テンペラメントの「ランク」(階数)はそのテンペラメントの中(写像先)に独立した方向のジェネレーターチェーンがいくつあるかを示している。これは群論と線形代数由来の用語である。それはテンペラメントのマッピングの次元数だともみなせる。
テンペラメントの「ランク」(階数)はそのテンペラメントの中(写像先)に独立した方向の[[ジェネレーターとピリオド|ジェネレーターチェーン]]がいくつあるかを示している。これは群論と線形代数由来の用語である。それはテンペラメントのマッピングの次元数だともみなせる。


例:
例:
# 平均律はランク1である。それ全体があるジェネレーターの積み重ねとして存在している。
# 平均律はランク1である。それ全体があるジェネレーターの積み重ねとして存在している。
# 2個のジェネレーター(慣習的に[[ジェネレーターとピリオド|順にピリオドとジェネレーター]]ともいう)からなるテンペラメントはランク2である。ミーントーンがいい例で、5度の積み重ねとオクターブの積み重ねという独立したジェネレーターチェーンを持ち2次元の格子を構成している。
# 2個のジェネレーター(慣習的に順にピリオドとジェネレーターともいう)からなるテンペラメントはランク2である。ミーントーンがいい例で、5度の積み重ねとオクターブの積み重ねという独立したジェネレーターチェーンを持ち2次元の格子を構成している。
# 3個のジェネレーター(ピリオドと2個のジェネレーターともいう)からなるテンペラメントはランク3である。5リミット純正律は(何もテンパーしていないので通常「テンペラメント」とは呼ばないが、ともかく)ランク3でありジェネレーターは 2/1、3/1、5/1である(2/1, 3/2, 5/4でもよい)。
# 3個のジェネレーター(ピリオドと2個のジェネレーターともいう)からなるテンペラメントはランク3である。5リミット純正律は(何もテンパーしていないので通常「テンペラメント」とは呼ばないが、ともかく)ランク3でありジェネレーターは 2/1、3/1、5/1 である(2/1、3/2、5/4 でもよい)。
# 7リミット純正律はランク4であり、11リミット純正律はランク5であり、13リミット純正律はランク6であり、…
# 7リミット純正律はランク4であり、11リミット純正律はランク5であり、13リミット純正律はランク6であり、…


孤立した1個のヴァルは純正律をランク1のテンペラメントにマップする。ランク2以上のテンペラメントを扱うには、2個以上のヴァルが必要である。つまりきちんとテンペラメントにマップするにはテンペラメントのランク数と同じ数のヴァルが必要である。
孤立した1個のヴァルは純正律をランク1のテンペラメントにマップする。ランク2以上のテンペラメントを扱うには、2個以上のヴァルが必要である。つまりきちんとテンペラメントにマップするにはテンペラメントのランク数と同じ数のヴァルが必要である。


== Example ==
== ==
At first, we'll consider a 5-limit rank 2 example. A list of vals for such a temperament will take the following form:
5リミットでランク2の例を考える。そのようなテンペラメントのヴァルのリストは以下の形になる:


{{val| a b c }} &ndash; period
{{val| a b c }} &ndash; ピリオド


{{val| d e f }} &ndash; generator
{{val| d e f }} &ndash; ジェネレーター


The top val is taken by convention to represent the generator chain which is the period, and the bottom one is taken to represent the one which is not.
一番上のヴァルは慣習によりピリオドのジェネレーターチェーンを表し、下のヴァルはそうでないものを表す。


When mapping a prime in JI onto a rank 2 temperament, one must think about how many steps of each type of generator it takes to reach the final tempered prime interval. For an example, we'll look at meantone temperament, and we'll start by mapping 2/1. We'll assume that the period is 2/1, and the generator is 3/2. 2/1 maps to one period and zero generators, and hence we arrive at
純正律の素数をマッピングするとき、それぞれのジェネレーターをいくつずつ用意すればその素数音程に到達するのかを考える必要がある。例として、ミーントーンテンペラメントを考察する。普通に考えてピリオドを 2/1 とし、ジェネレーターを 3/2 とする。純正律の 2/1 をピリオド 1 個とジェネレーター 0 個の組み合わせにマップする。これをヴァルのリストに書き込むと


{{val| 1 _ _ }}
{{val| 1 _ _ }}
71行目: 71行目:
{{val| 0 _ _ }}
{{val| 0 _ _ }}


3/1 is slightly more complicated – it requires one step along the 2/1 period chain, plus one step along the 3/2 generator chain, to get to 3/1. This is represented by the following mapping:
3/1 は少し複雑だ――ピリオドのチェーンで 1 ステップに、ジェネレーターのチェーンで 1 ステップを加えると 3/1 に到達する。


{{val| 1 1 _ }}
{{val| 1 1 _ }}
77行目: 77行目:
{{val| 0 1 _ }}
{{val| 0 1 _ }}


5/1 is simpler&mdash;we know that four meantone 3/2 generators gets us to 5/1. Since it lands us directly on 5/1, rather than something like 5/2 or 10/1, we don't need to shift by any octaves, and 4 generators and 0 periods is all we need:
5/1 は簡単だ――我々はミーントーンの5度を 4 個積み重ねると 5/1 になることを知っている。それは 5/2 10/1 などではないので、オクターブを足したり引いたりする必要はない。つまりピリオド 0 個とジェネレーター 4 個である。


{{val| 1 1 0 }}
{{val| 1 1 0 }}
83行目: 83行目:
{{val| 0 1 4 }}
{{val| 0 1 4 }}


This is, in fact, the mapping matrix for meantone temperament, which is what we wanted.
これが、ミーントーンテンペラメントのマッピング行列である。
 
純正音程からピリオドとジェネレーターそれぞれいくつになるかは、順番に各ヴァルと純正音程のモンゾの内積を求めればよい。または標準的な行列積で書いても内容は同一である。(行列演算に乗せる場合、モンゾは列ベクトルである。)例えば 15/8 は {{monzo|-3 1 1}} と書けるので
 
<math>\begin{align}
&\left(\begin{array}{ccc}
1 & 1 & 0 \\
0 & 1 & 4
\end{array} \right) \left( \begin{array}{c} -3 \\ 1 \\ 1 \end{array} \right) \\
=& \left(\begin{array}{cc}
1 * (-3) + 1 * 1 + 0 * 1 \\
0 * (-3) + 1 * 1 + 4 * 1
\end{array} \right) \\
=& \left(\begin{array}{cc}
-2 \\
5
\end{array} \right) \\
\end{align}</math>
 
となり、ジェネレーター 5 個で 2 オクターブ上の長3度に完全5度が乗って長7度、そこからピリオドがマイナス 2 個されるので単音程の長7度となる。得られる列ベクトルはテンパードモンゾと呼ばれる。(翻って考えると、マッピング行列は素数音程に対応するテンパードモンゾを並べたものともいえる。)
 
== 基底変換 ==
上記の例では、ミーントーンのマッピングを 2/1 と 3/2 の組み合わせとして書き出した。代わりにジェネレーターを 2/1 と 4/3 としたらどうなるか? それとも、2/1 と 3/1 としたらどうなるか? その結果はそれぞれ異なるヴァルのリストになるが、それでも同じテンペラメントを表すことになる。
 
数学の言葉では、テンペラメントの'''基底を変換'''しただけであり、テンパーされた音程の空間として互いに'''同型'''である。これはこれらが同じテンペラメントであることを示す凝った方法である。
 
(中略)
 
マッピング行列の様々な書き方の中で、正規形に関する議論は{{en仮リンク|normal val list|normal lists #Normal val list}}を参照のこと。正規形は本ウィキのテンペラメントの一覧に使われる。
 
こういった作業については、[[ジェネレーター読み替え操作]]を参照のこと。
 
== 単位 ==
マッピングの中の個々の要素の単位を <math>\small 𝗴/𝗽</math>(generators per prime)と考えるとよいかもしれない。マッピングの各行はそれぞれのジェネレーターに対応し、各列は純正律のそれぞれ異なる素数に対応する。なので行と列が交差する要素はその素数1個を近似するときにその材料の一部として着目しているジェネレーターをいくつ用意するのかを表している。(線形写像というのはざっくり言えば係数のかたまりを掛けることであり、係数のかたまり=行列、掛けること=行列積として整理したのが線形代数である。なので関数の入力の単位がリットルで出力の単位がkmである場合、関数の本体である係数の単位は入力の単位を分母にしてkm/リットルとなるのである。primeが分母にあるのは単にそういう意味である。) For more information, see {{en仮リンク|Dave Keenan & Douglas Blumeyer's guide to RTT/Units analysis}}.

2025年8月14日 (木) 08:58時点における最新版

レギュラーテンペラメントは単なるピッチの集合以上のものである。純正律サブグループからそのピッチ集合の特定の音高に対応付ける一貫したルールを持つものである。(「抽象的なレギュラーテンペラメント」は決まった音高の集合ですらない。ピッチは決まっておらず、対応付けるルールが示す構造がテンペラメントを特徴づける。)この一貫したルールはマッピングと呼ばれている。マッピングは「この純正律の音をこのテンペラメントのどの音で演奏すればいいの?」に答えるものである。答えはその純正律の音の「テンパーされたバージョン」で、それは状況によってかなり近く近似されたりかなり外れて近似されたりする。

単純に一番近い(四捨五入的な意味で)音で演奏すればいいんじゃないかと思うかもしれない、しかし、それは(通常)全くレギュラーテンペラメントにならない! それは一貫した結果を得られない。同じ純正音程が、現れた場所によって異なる音程にされてしまうのだ。レギュラーテンペラメントのマッピングというのはそれぞれの純正音程を常に同じテンパーされた音程で表現する。その際に一番近い音程にマップすることは必須ではないし、複雑な純正音程はサイズ的に一番近い音程にはならないことが多い。

数学用語との関係

数学の用語で "mapping"(写像)は "map" や "function"(関数)の同義語であるが、RTTにおいては「マッピング」を線形写像の意味で使う。そして行列の形で取り扱う。

平均律のマッピング

平均律、つまりランク1テンペラメントは単なる等間隔のピッチではない。平均律は

  1. 表現したい純正律サブグループ、例えば「5リミット純正律」
  2. その純正律サブグループの各音高から平均律音高(本質的には整数1個で表せる)へのマッピング

からなる。

例として、3リミットテンペラメントとしての12平均律を考えよう。具体的に話を進めるために、A440を基準音とする。この場合純正律サブグループは3リミットで、つまり、全ての音高が A=440 Hz から 2 と 3 以外の素因数がない純正音程だけ隔たっている、そういうピッチ集合だということである。数式で書くと

[math]\displaystyle{ \left\{440\cdot 2^a\cdot 3^b\,\middle|\,a,b\in\mathbb Z\right\} }[/math]

次に関数の出力側である12edoの音高を表すのに整数を導入する。A440がノート番号 0、そこから上がった B♭ がノート番号 1、下がった A♭ がノート番号 −1、… とするとマッピングは素因数 2 の1個当たり 12 ステップ、素因数 3 の1個当たり 19 ステップ(3/1 は 1901.955… セントだがこれを 1900 セントに丸める)であると表される。数式で書くと [math]\displaystyle{ 12a + 19b }[/math] となる。よって、A440から 1/1 上がった音(つまりA440)はノート番号 0、A440から(以後省略)2/1 上がった音(以後省略)はノート番号 12、3/2 はノート番号 7、そして 312/219(ピタゴラスコンマ)はノート番号 0 (A440から動かない)となる。ab はこのように素因数分解から、またはモンゾから読み取れる。

四捨五入との比較

336/257 で表されるピッチを考える。純正律では、これはA440から 70.38… セント上がった音であり、12edoの音高ではB♭が一番近い。しかし、上記マッピングを適用するなら、これはノート番号 1(B♭)ではなく 0 (A)にマップされることになる。なぜかといえば、336/257 はピタゴラスコンマを 3 回積み上げたものであり、ピタゴラスコンマが 0 ステップである以上それを 3 個積んでも 0 ステップである(3 個目だけ 1 ステップになったりしない; それが線形で一貫だということ)のでやっぱりA440のままでなければならないからである。これがマッピングと四捨五入の違いである。

記法

RTTにおいてこのようなマッピングのための特別な記法がある。上記の3リミット12平均律は 12 19] と書かれる。最初の素数(2)は 12 ステップにマップされ、次の素数(3)は 19 ステップにマップされるという意味である。数学的に言うならこれは 「マッピング行列」で、マッピングの情報をとてもコンパクトに表している。これはランク1テンペラメントなのでマッピング行列は 1 行であり、またこれは3リミットテンペラメントなのでマッピング行列は 2 列でそれぞれ素数 2 と素数 3 を表している。ブラ記法で書かれた1行だけのマッピング行列(あるいはマッピング行列の中の行)をヴァルと呼ぶ。また複数個のヴァルを並べることで表現したマッピング行列をヴァルのリストという。

様々な12平均律

今度は3リミットではなく5リミットテンペラメントとしての12平均律を考える。このテンペラメントは全ての3リミット純正音程を上記と同じようにマップするが、それだけではなくそれ以外の5リミット純正音程も扱う。そのマッピング行列は 12 19 28] となる。技術的に言うとこれは 12 19] とは異なるレギュラーテンペラメントであるが、一般的な用語としてはどちらも「12平均律」と呼ばれる。

さらに11リミットの12平均律を考える。そのマッピング行列は? それは 11/8 を「だいぶシャープなD」と考えるか「だいぶフラットなD♯」と考えるかによって変わる。マッピングはそれぞれ 12 19 28 34 41]12 19 28 34 42] となる。後者のほうがより正確な 11/8 を持つが、前者は 12/11 を含むいくつかの音程がより正確になる。RTT流に言えば、オクターブを 12 等分する11リミットテンペラメントは 2 個あるということである。「11リミット12平均律」という言い方ではマッピングを特定できていなく、つまり特定のテンペラメントを指し示せていない。

厳密に言えば、「5リミット12平均律」や「3リミット12平均律」ですら同様に曖昧である、なぜなら例えば 12 19 27] だって有効なテンペラメントだからである(12 19 28] よりずっと不正確ではあるが)。このテンペラメントでは 5/4 が12edoの 3 ステップ(300 セント)で表される。もちろん実用上は高リミットにならないとこの曖昧性は問題にならない。

リニアテンペラメントのマッピング

1本の等間隔ピッチのチェーンではないテンペラメントを考える。例として異名同音なし(C♯とD♭をあくまで別物とする)の伝統的記法を考える。全ての音高はオクターブと完全4度の組み合わせとして記述できる。例えば

  • E5 = A440 + 1 octave − 1 perfect fourths
  • B♭4 = A440 − 3 octaves + 5 perfect fourths
  • A♯ = A440 + 4 octaves − 7 perfect fourths

言い換えると、全ての音高は整数の組 (x, y) で表され、x がオクターブの個数(負なら下がるほう)、y が完全4度の個数である。

テンペラメントのランク

テンペラメントの「ランク」(階数)はそのテンペラメントの中(写像先)に独立した方向のジェネレーターチェーンがいくつあるかを示している。これは群論と線形代数由来の用語である。それはテンペラメントのマッピングの次元数だともみなせる。

例:

  1. 平均律はランク1である。それ全体があるジェネレーターの積み重ねとして存在している。
  2. 2個のジェネレーター(慣習的に順にピリオドとジェネレーターともいう)からなるテンペラメントはランク2である。ミーントーンがいい例で、5度の積み重ねとオクターブの積み重ねという独立したジェネレーターチェーンを持ち2次元の格子を構成している。
  3. 3個のジェネレーター(ピリオドと2個のジェネレーターともいう)からなるテンペラメントはランク3である。5リミット純正律は(何もテンパーしていないので通常「テンペラメント」とは呼ばないが、ともかく)ランク3でありジェネレーターは 2/1、3/1、5/1 である(2/1、3/2、5/4 でもよい)。
  4. 7リミット純正律はランク4であり、11リミット純正律はランク5であり、13リミット純正律はランク6であり、…

孤立した1個のヴァルは純正律をランク1のテンペラメントにマップする。ランク2以上のテンペラメントを扱うには、2個以上のヴァルが必要である。つまりきちんとテンペラメントにマップするにはテンペラメントのランク数と同じ数のヴァルが必要である。

5リミットでランク2の例を考える。そのようなテンペラメントのヴァルのリストは以下の形になる:

a b c] – ピリオド

d e f] – ジェネレーター

一番上のヴァルは慣習によりピリオドのジェネレーターチェーンを表し、下のヴァルはそうでないものを表す。

純正律の素数をマッピングするとき、それぞれのジェネレーターをいくつずつ用意すればその素数音程に到達するのかを考える必要がある。例として、ミーントーンテンペラメントを考察する。普通に考えてピリオドを 2/1 とし、ジェネレーターを 3/2 とする。純正律の 2/1 をピリオド 1 個とジェネレーター 0 個の組み合わせにマップする。これをヴァルのリストに書き込むと

1 _ _]

0 _ _]

3/1 は少し複雑だ――ピリオドのチェーンで 1 ステップに、ジェネレーターのチェーンで 1 ステップを加えると 3/1 に到達する。

1 1 _]

0 1 _]

5/1 は簡単だ――我々はミーントーンの5度を 4 個積み重ねると 5/1 になることを知っている。それは 5/2 や 10/1 などではないので、オクターブを足したり引いたりする必要はない。つまりピリオド 0 個とジェネレーター 4 個である。

1 1 0]

0 1 4]

これが、ミーントーンテンペラメントのマッピング行列である。

純正音程からピリオドとジェネレーターそれぞれいくつになるかは、順番に各ヴァルと純正音程のモンゾの内積を求めればよい。または標準的な行列積で書いても内容は同一である。(行列演算に乗せる場合、モンゾは列ベクトルである。)例えば 15/8 は [-3 1 1 と書けるので

[math]\displaystyle{ \begin{align} &\left(\begin{array}{ccc} 1 & 1 & 0 \\ 0 & 1 & 4 \end{array} \right) \left( \begin{array}{c} -3 \\ 1 \\ 1 \end{array} \right) \\ =& \left(\begin{array}{cc} 1 * (-3) + 1 * 1 + 0 * 1 \\ 0 * (-3) + 1 * 1 + 4 * 1 \end{array} \right) \\ =& \left(\begin{array}{cc} -2 \\ 5 \end{array} \right) \\ \end{align} }[/math]

となり、ジェネレーター 5 個で 2 オクターブ上の長3度に完全5度が乗って長7度、そこからピリオドがマイナス 2 個されるので単音程の長7度となる。得られる列ベクトルはテンパードモンゾと呼ばれる。(翻って考えると、マッピング行列は素数音程に対応するテンパードモンゾを並べたものともいえる。)

基底変換

上記の例では、ミーントーンのマッピングを 2/1 と 3/2 の組み合わせとして書き出した。代わりにジェネレーターを 2/1 と 4/3 としたらどうなるか? それとも、2/1 と 3/1 としたらどうなるか? その結果はそれぞれ異なるヴァルのリストになるが、それでも同じテンペラメントを表すことになる。

数学の言葉では、テンペラメントの基底を変換しただけであり、テンパーされた音程の空間として互いに同型である。これはこれらが同じテンペラメントであることを示す凝った方法である。

(中略)

マッピング行列の様々な書き方の中で、正規形に関する議論はnormal val list (en) を参照のこと。正規形は本ウィキのテンペラメントの一覧に使われる。

こういった作業については、ジェネレーター読み替え操作を参照のこと。

単位

マッピングの中の個々の要素の単位を [math]\displaystyle{ \small 𝗴/𝗽 }[/math](generators per prime)と考えるとよいかもしれない。マッピングの各行はそれぞれのジェネレーターに対応し、各列は純正律のそれぞれ異なる素数に対応する。なので行と列が交差する要素はその素数1個を近似するときにその材料の一部として着目しているジェネレーターをいくつ用意するのかを表している。(線形写像というのはざっくり言えば係数のかたまりを掛けることであり、係数のかたまり=行列、掛けること=行列積として整理したのが線形代数である。なので関数の入力の単位がリットルで出力の単位がkmである場合、関数の本体である係数の単位は入力の単位を分母にしてkm/リットルとなるのである。primeが分母にあるのは単にそういう意味である。) For more information, see Dave Keenan & Douglas Blumeyer's guide to RTT/Units analysis (en) .