「マップされた音程」の版間の差分

(同じ利用者による、間の1版が非表示)

5行目:

'''マップされた音程'''とは[[マッピング]]行列により写像された音程のこと。

マップ前の音程として純正音程の 10/9 を例とする。この[[モンゾ]]（素数計数ベクトル）は <math>\textbf{i} =</math> {{ket| 1 -2 1}} となる。これを[[ミーントーン]] [{{~~bra~~|1 1 0~~}}, {{bra~~|0 1 4}}] でマップする（~10/9 と書く; 後述）と、''テンパードモンゾ''（ジェネレーター計数ベクトル）になり <math>\textbf{y} =</math> [{{~~bra~~|1 1 0~~}}, {{bra~~|0 1 4}}]{{ket|1 -2 1}} = {{ket|-1 2}} となる。

マップ前の音程として純正音程の 10/9 を例とする。この[[モンゾ]]（素数計数ベクトル）は <math>\textbf{i} =</math> {{ket| 1 -2 1}} となる。これを[[ミーントーン]] {{mapping|1 1 0|0 1 4}} でマップする（~10/9 と書く; 後述）と、''テンパードモンゾ''（ジェネレーター計数ベクトル）になり <math>\textbf{y} =</math> {{mapping|1 1 0|0 1 4}}{{ket|1 -2 1}} = {{ket|-1 2}} となる。

なお <math>\textbf{i}</math> はintervalのi、<math>\textbf{y}</math> はiに似たものなどの意図を込めている。

次に 9/8 を例とすると、このモンゾは {{ket| -3 2 0}} となる。これを[[ミーントーン]]でマップする（~9/8 ~~と書く）と、テンパードモンゾになり [~~{{~~bra~~|1 1 0~~}}, {{bra~~|0 1 4}}]{{ket|-3 2 0}} = {{ket|-1 2}} となる。先ほどの ~10/9 のテンパードモンゾと一致した。これはミーントーンにおいて 10/9 と 9/8 がtempered togetherされるからである。

次に 9/8 を例とすると、このモンゾは {{ket| -3 2 0}} となる。これを[[ミーントーン]]でマップする（~9/8 と書く）と、テンパードモンゾで {{mapping|1 1 0|0 1 4}}{{ket|-3 2 0}} = {{ket|-1 2}} となる。先ほどの ~10/9 のテンパードモンゾと一致した。これはミーントーンにおいて 10/9 と 9/8 がtempered togetherされるからである。

純正音程にチルダを前置して ~10/9 のように書くとその音程を問題のテンペラメントでマップした音程を表す。どのテンペラメントなのかは文脈で明らかでなければならない。また、tempered togetherされて同じ音程にマップされることを 10/9~9/8 ~~のように書く。その~~[[セント]]値を示すなどの時は ~10/9 ≈ xx{{C}} や組み合わせて ~10/9~9/8 ≈ xx{{C}} と書く。

純正音程にチルダを前置して ~10/9 のように書くとその音程を問題のテンペラメントでマップした音程を表す。どのテンペラメントなのかは文脈で明らかでなければならない。また、tempered togetherされて同じ音程にマップされることを 10/9~9/8 のように書く。特定のチューニングでのその音程の[[セント]]値を示すなどの時は ~10/9 ≈ xx{{C}} や組み合わせて ~10/9~9/8 ≈ xx{{C}} と書く。

基本的に、無限の純正音程が1つの音程にマップされる。1つのマップされた音程は特定の純正音程を指すのではなく{{w|同値類}}（equivalence class）の一つを指す。同値類はそのテンペラメントのコンマを介してtempered togetherされるすべての純正音程を同じものとみなす。つまり、レギュラーテンペラメントはベクトル空間における剰余演算のようなものである。100/81、5/4、81/64、6561/5120、…が 81/80 を法として特定の同値類をなす。

18行目:

'''テンパードモンゾ'''（tempered monzo, tmonzo）、あるいはジェネレーター計数ベクトルとは、テンペラメントのジェネレーター基底をいくつずつ使うかを示すことでテンパーされた音程を表すベクトルである。その次元はテンペラメントのランクと一致する。記法としては上の例のようにケット記法で書くか、列ベクトルのように書くか単なる座標のように書くか、あまり統一されていない。

RTTを線形代数として扱えば頻出しているはずのこの概念はあまり人気がない。これを音程の表記とするにはテンペラメントが明らかになっているだけでは不十分で、テンペラメントのジェネレーター基底を明示しなければならない。上の例の {{ket|-1 2}} はジェネレーターがオクターブと完全5度、つまり ~2 と ~3/2 である。この基底を明示して ~2.~3/2 {{ket|-1 2}} や P8.P5 {{ket|-1 2}} と書く。ジェネレーター基底がオクターブと完全12度なら同じ音程が ~2.~3 {{ket|-3 2}} や P8.P12 {{ket|-3 2}} と書かれることになる。これらの間の変換は[[ジェネレーター読み替え操作]]を参照のこと。（上の例の同じテンパードモンゾだからtempered togetherだという議論では、同じマッピング行列を掛けているので同じジェネレーター基底だということは明らかなのでジェネレーター基底を書き出さずとも同一性判定を行えるのであった。）

頻出しているはずのこの概念は表記法としてはあまり人気がない。これを音程の表記とするにはテンペラメントが明らかになっているだけでは不十分で、テンペラメントのジェネレーター基底を明示しなければならない。上の例の {{ket|-1 2}} はジェネレーターがオクターブと完全5度、つまり ~2 と ~3/2 である。この基底を明示して ~2.~3/2 {{ket|-1 2}} や P8.P5 {{ket|-1 2}} と書く。ジェネレーター基底がオクターブと完全12度なら同じ音程が ~2.~3 {{ket|-3 2}} や P8.P12 {{ket|-3 2}} と書かれることになる。これらの間の変換は[[ジェネレーター読み替え操作]]を参照のこと。（上の例の同じテンパードモンゾだからtempered togetherだという議論では、異なる純正音程に同じマッピング行列を掛けたら結果が同じになったということを正に確かめたのであり、マッピング行列は1種類しか登場せず、その議論の範囲ではジェネレーター基底を書き出す必要はない。）

== 用語 ==

対応関係の詳細に触れずにマッピングの出力全体（値域）を指すには「テンペラメントの音程」でよい。マッピングの入力全体（定義域）は純正律サブグループ等と書く。~~（写像元（もと）から写像先へなどと書きたくなるところだが、群の各要素を元（げん）と書くので避けている。）~~

対応関係の詳細に触れずにマッピングの出力（値域）を指すには「テンペラメントの音程」でよい。マッピングの入力（定義域）は純正律サブグループ等と書く。（写像元（もと）から写像先へなどと書きたくなるところだが、群の各要素を元（げん）と書くので全体の話では元（もと）は避けるべき。）

「マップされた音程」は「テンパーされた音程」とも呼べるが、「テンパーされた音程」では曖昧な面がある。「テンパーされた音程」では最終的なチューニングでの音程のサイズを元の純正音程のそれと比較する話かもしれない。「マップされた音程」ならマッピング行列の話だと明確になる。

@@ 5行目: / 5行目: @@
 '''マップされた音程'''とは[[マッピング]]行列により写像された音程のこと。
-マップ前の音程として純正音程の 10/9 を例とする。この[[モンゾ]]（素数計数ベクトル）は <math>\textbf{i} =</math> {{ket| 1 -2 1}} となる。これを[[ミーントーン]] [{{bra|1 1 0}}, {{bra|0 1 4}}] でマップする（~10/9 と書く; 後述）と、''テンパードモンゾ''（ジェネレーター計数ベクトル）になり <math>\textbf{y} =</math> [{{bra|1 1 0}}, {{bra|0 1 4}}]{{ket|1 -2 1}} = {{ket|-1 2}} となる。
+マップ前の音程として純正音程の 10/9 を例とする。この[[モンゾ]]（素数計数ベクトル）は <math>\textbf{i} =</math> {{ket| 1 -2 1}} となる。これを[[ミーントーン]] {{mapping|1 1 0|0 1 4}} でマップする（~10/9 と書く; 後述）と、''テンパードモンゾ''（ジェネレーター計数ベクトル）になり <math>\textbf{y} =</math> {{mapping|1 1 0|0 1 4}}{{ket|1 -2 1}} = {{ket|-1 2}} となる。
 なお <math>\textbf{i}</math> はintervalのi、<math>\textbf{y}</math> はiに似たものなどの意図を込めている。
-次に 9/8 を例とすると、このモンゾは {{ket| -3 2 0}} となる。これを[[ミーントーン]]でマップする（~9/8 と書く）と、テンパードモンゾになり [{{bra|1 1 0}}, {{bra|0 1 4}}]{{ket|-3 2 0}} = {{ket|-1 2}} となる。先ほどの ~10/9 のテンパードモンゾと一致した。これはミーントーンにおいて 10/9 と 9/8 がtempered togetherされるからである。
+次に 9/8 を例とすると、このモンゾは {{ket| -3 2 0}} となる。これを[[ミーントーン]]でマップする（~9/8 と書く）と、テンパードモンゾで {{mapping|1 1 0|0 1 4}}{{ket|-3 2 0}} = {{ket|-1 2}} となる。先ほどの ~10/9 のテンパードモンゾと一致した。これはミーントーンにおいて 10/9 と 9/8 がtempered togetherされるからである。
-純正音程にチルダを前置して <span style="background-color: yellow">~</span>10/9 のように書くとその音程を問題のテンペラメントでマップした音程を表す。どのテンペラメントなのかは文脈で明らかでなければならない。また、tempered togetherされて同じ音程にマップされることを 10/9~9/8 のように書く。その[[セント]]値を示すなどの時は ~10/9 ≈ xx{{C}} や組み合わせて ~10/9~9/8 ≈ xx{{C}} と書く。
+純正音程にチルダを前置して <span style="background-color: yellow">~</span>10/9 のように書くとその音程を問題のテンペラメントでマップした音程を表す。どのテンペラメントなのかは文脈で明らかでなければならない。また、tempered togetherされて同じ音程にマップされることを 10/9~9/8 のように書く。特定のチューニングでのその音程の[[セント]]値を示すなどの時は ~10/9 ≈ xx{{C}} や組み合わせて ~10/9~9/8 ≈ xx{{C}} と書く。
 基本的に、無限の純正音程が1つの音程にマップされる。1つのマップされた音程は特定の純正音程を指すのではなく{{w|同値類}}（equivalence class）の一つを指す。同値類はそのテンペラメントのコンマを介してtempered togetherされるすべての純正音程を同じものとみなす。つまり、レギュラーテンペラメントはベクトル空間における剰余演算のようなものである。100/81、5/4、81/64、6561/5120、…が 81/80 を法として特定の同値類をなす。
@@ 18行目: / 18行目: @@
 '''テンパードモンゾ'''（tempered monzo, tmonzo）、あるいはジェネレーター計数ベクトルとは、テンペラメントのジェネレーター基底をいくつずつ使うかを示すことでテンパーされた音程を表すベクトルである。その次元はテンペラメントのランクと一致する。記法としては上の例のようにケット記法で書くか、列ベクトルのように書くか単なる座標のように書くか、あまり統一されていない。
-RTTを線形代数として扱えば頻出しているはずのこの概念はあまり人気がない。これを音程の表記とするにはテンペラメントが明らかになっているだけでは不十分で、テンペラメントのジェネレーター基底を明示しなければならない。上の例の {{ket|-1 2}} はジェネレーターがオクターブと完全5度、つまり ~2 と ~3/2 である。この基底を明示して ~2.~3/2 {{ket|-1 2}} や P8.P5 {{ket|-1 2}} と書く。ジェネレーター基底がオクターブと完全12度なら同じ音程が ~2.~3 {{ket|-3 2}} や P8.P12 {{ket|-3 2}} と書かれることになる。これらの間の変換は[[ジェネレーター読み替え操作]]を参照のこと。（上の例の同じテンパードモンゾだからtempered togetherだという議論では、同じマッピング行列を掛けているので同じジェネレーター基底だということは明らかなのでジェネレーター基底を書き出さずとも同一性判定を行えるのであった。）
+頻出しているはずのこの概念は表記法としてはあまり人気がない。これを音程の表記とするにはテンペラメントが明らかになっているだけでは不十分で、テンペラメントのジェネレーター基底を明示しなければならない。上の例の {{ket|-1 2}} はジェネレーターがオクターブと完全5度、つまり ~2 と ~3/2 である。この基底を明示して ~2.~3/2 {{ket|-1 2}} や P8.P5 {{ket|-1 2}} と書く。ジェネレーター基底がオクターブと完全12度なら同じ音程が ~2.~3 {{ket|-3 2}} や P8.P12 {{ket|-3 2}} と書かれることになる。これらの間の変換は[[ジェネレーター読み替え操作]]を参照のこと。（上の例の同じテンパードモンゾだからtempered togetherだという議論では、異なる純正音程に同じマッピング行列を掛けたら結果が同じになったということを正に確かめたのであり、マッピング行列は1種類しか登場せず、その議論の範囲ではジェネレーター基底を書き出す必要はない。）
 == 用語 ==
-対応関係の詳細に触れずにマッピングの出力全体（値域）を指すには「テンペラメントの音程」でよい。マッピングの入力全体（定義域）は純正律サブグループ等と書く。<small>（写像元（もと）から写像先へなどと書きたくなるところだが、群の各要素を元（げん）と書くので避けている。）</small>
+対応関係の詳細に触れずにマッピングの出力（値域）を指すには「テンペラメントの音程」でよい。マッピングの入力（定義域）は純正律サブグループ等と書く。<small>（写像元（もと）から写像先へなどと書きたくなるところだが、群の各要素を元（げん）と書くので全体の話では元（もと）は避けるべき。）</small>
 「マップされた音程」は「テンパーされた音程」とも呼べるが、「テンパーされた音程」では曖昧な面がある。「テンパーされた音程」では最終的なチューニングでの音程のサイズを元の純正音程のそれと比較する話かもしれない。「マップされた音程」ならマッピング行列の話だと明確になる。