マッピングのソースを表示

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

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

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

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

からなる。

例として、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>

次に関数の出力側である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から動かない）となる。

=== 四捨五入との比較 ===
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のままでなければならないからである。これがマッピングと四捨五入の違いである。

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

=== 様々な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平均律」という言い方ではマッピングを特定できていなく、つまり特定のテンペラメントを指し示せていない。

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

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

* E5 = A440 + 1 octave &minus; 1 perfect fourths
* B&#x266D;4 = A440 &minus; 3 octaves + 5 perfect fourths
* A&#x266F; = A440 + 4 octaves &minus; 7 perfect fourths

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

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

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

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

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

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

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

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

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

{{val| 1 _ _ }}

{{val| 0 _ _ }}

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

{{val| 1 1 _ }}

{{val| 0 1 _ }}

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

{{val| 1 1 0 }}

{{val| 0 1 4 }}

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

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

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

（中略）

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

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

== Units ==
It may be helpful to think of the units of each entry of a mapping as <math>\small 𝗴/𝗽</math>, read "generators per prime." Each mapping row corresponds to a different generator, and each mapping column corresponds to a different prime, and so the value of the mapping entry at the intersection of a given row and column tells how many of the corresponding generator are part of the temperament's approximation of the corresponding prime. For more information, see [[Dave Keenan & Douglas Blumeyer's guide to RTT/Units analysis]].