「ヴァルと調律空間」の版間の差分

5行目:

| ja = ヴァルと調律空間

}}

~~__FORCETOC__~~

== 定義 ==

[[ヴァル]] は純正音程を特定のステップ数にマップする。ヴァルを複数使って[[レギュラーテンペラメント]]~~のマッピングを定義する、つまりテンペラメントを定義することができる。ヴァルは~~ {{val| ''a''1 ''a''2 ''a''3 … ''a''k }} のように書かれ、ここで ''a''1 ''a''2 ''a''3 … は最初の ''k'' ~~個の素数がマップされるステップ数をそれぞれ表す。これは~~[[純正律サブグループ]]の基底を対象とする形に一般化できる。基底は線形独立である必要がある。

[[ヴァル]] は純正音程を特定のステップ数にマップする。ヴァルを複数使って[[レギュラーテンペラメント]]の[[マッピング]]を定義する、つまりテンペラメントを定義することができる。ヴァルは {{val| ''a''1 ''a''2 ''a''3 … ''a''k }} のように書かれ、ここで ''a''1 ''a''2 ''a''3 … は最初の ''k'' 個の[[素数]]がマップされるステップ数をそれぞれ表す。これは[[純正律サブグループ]]の基底を対象とする形に一般化できる。基底は線形独立である必要がある。

ランク-''r'' テンペラメントは ''r'' ~~個のジェネレーターを持ち、~~''r'' 行のヴァルで定義される。[[リミット|''p''-リミット]]の通常の座標系では、ジェネレーターの組み合わせで最初の ''k'' 個の素数を表現でき、ヴァルの組み合わせが各素数音程の座標（ジェネレーターを基底とする）を示す。例えば、5リミットのランク1テンペラメント（つまり平均律）は、{{val| ''a'' ''b'' ''c'' }} というヴァルで定義され、ここで ''a'' は 2/1 に到達するジェネレーターのステップ数、''b'' は 3/1 に到達するジェネレーターのステップ数、''c'' は 5/1 に到達するジェネレーターのステップ数である。5リミットのランク2テンペラメントは 2 行のヴァルで定義される: {{monzo| {{val| ''a''1 ''b''1 ''c''1 }}, {{val| ''a''2 ''b''2 ''c''2 }} }}。これで、2/1 が二次元座標 (''a''1, ''a''2) 、これはモンゾのように書かれる場合もある: {{monzo| ''a''1 ''a''2 }}、に位置づけられる。同様に 3/1 は {{monzo| ''b''1 ''b''2 }}、5/1 は {{monzo| ''c''1 ''c''2 }} となる。

ランク-''r'' テンペラメントは ''r'' 個の[[ジェネレーター]]を持ち、''r'' 行のヴァルで定義される。[[リミット|''p''-リミット]]の通常の座標系では、ジェネレーターの組み合わせで最初の ''k'' 個の素数を表現でき、ヴァルの組み合わせが各素数音程の座標（ジェネレーターを基底とする）を示す。例えば、5リミットのランク1テンペラメント（つまり[[平均律]]）は、{{val| ''a'' ''b'' ''c'' }} というヴァルで定義され、ここで ''a'' は 2/1 に到達するジェネレーターのステップ数、''b'' は 3/1 に到達するジェネレーターのステップ数、''c'' は 5/1 に到達するジェネレーターのステップ数である。5リミットのランク2テンペラメントは 2 行のヴァルで定義される: {{monzo| {{val| ''a''1 ''b''1 ''c''1 }}, {{val| ''a''2 ''b''2 ''c''2 }} }}。これで、2/1 が二次元座標 (''a''1, ''a''2) 、これはモンゾのように書かれる場合もある: {{monzo| ''a''1 ''a''2 }}、に位置づけられる。同様に 3/1 は {{monzo| ''b''1 ''b''2 }}、5/1 は {{monzo| ''c''1 ''c''2 }} となる。

~~ミーントーンを例とする。これは~~ 81/80 をテンパーアウトする。ミーントーンは5リミットのランク2テンペラメントと考えられ、2 行からなるマッピング {{monzo|{{val| 1 1 0 }}, {{val| 0 1 4 }}}} で定義される。これで5リミットがミーントーンにどうマップされるかが完全にわかる。2/1 は {{monzo| 1 0 }} にマップされ、2/1 と 1 番目のジェネレーター 1 個が一致していることがわかる。3/1 は {{monzo| 1 1 }} にマップされ、1 番目のジェネレーター 1 個を取り去ると 3/2 と 2 番目のジェネレーター 1 個が一致していることがわかる。5/1 は {{monzo| 0 4 }} にマップされ、3/2 を 4 個積み重ねた 81/16 と 5/1 (つまり 80/16) が一致させられていることがわかる。つまり 81/80 はテンパーアウトされている。このようにマッピングから 2 個のジェネレーターのおおよその大きさ、テンパーアウトされるコンマ、テンペラメントの複雑度（リミット内のすべての素数音程に到達するために必要な音程の数）を求めることができる。以上のように、ヴァルはレギュラーテンペラメントを記述するのにとてもコンパクトで有用な記法である。

[[ミーントーン]]を例とする。これは [[81/80]] をテンパーアウトする。ミーントーンは5リミットのランク2テンペラメントと考えられ、2 行からなるマッピング {{monzo|{{val| 1 1 0 }}, {{val| 0 1 4 }}}} で定義される。これで5リミットがミーントーンにどうマップされるかが完全にわかる。2/1 は {{monzo| 1 0 }} にマップされ、2/1 と 1 番目のジェネレーター 1 個が一致していることがわかる。3/1 は {{monzo| 1 1 }} にマップされ、1 番目のジェネレーター 1 個を取り去ると 3/2 と 2 番目のジェネレーター 1 個が一致していることがわかる。5/1 は {{monzo| 0 4 }} にマップされ、3/2 を 4 個積み重ねた 81/16 と 5/1 (つまり 80/16) が一致させられていることがわかる。つまり 81/80 はテンパーアウトされている。このようにマッピングから 2 個のジェネレーターのおおよその大きさ、テンパーアウトされるコンマ、テンペラメントの複雑度（リミット内のすべての素数音程に到達するために必要な音程の数）を求めることができる。以上のように、ヴァルはレギュラーテンペラメントを記述するのにとてもコンパクトで有用な記法である。

~~オクターブ等価性を前提とすると、ジェネレーターの一つが~~ 2/1 の場合それに対応するヴァル以外のヴァルが重要である（2/1 に対応するヴァルは、3/1 を 4 個積んだら 5/1 と何オクターブになるか？ 3/2 を 4 個積んだら 5/4 と何オクターブになるか？のようにあまり意味を感じられない部分になる）。ミーントーンの本質的な性質は 2 行目の {{val| 0 1 4 }} が握っている。

[[オクターブ等価性]]を前提とすると、ジェネレーターの一つが 2/1 の場合それに対応するヴァル以外のヴァルが重要である（2/1 に対応するヴァルは、3/1 を 4 個積んだら 5/1 と何オクターブになるか？ 3/2 を 4 個積んだら 5/4 と何オクターブになるか？のようにあまり意味を感じられない部分になる）。ミーントーンの本質的な性質は 2 行目の {{val| 0 1 4 }} が握っている。

=== 数学者向け定義 ===

25行目:

ヴァル V とモンゾ M が同じランクで、ブラケット記法で ⟨V|M⟩ (または V(M))と書くと、準同型写像 V を M に適用するという意味になる。例えば、V = {{val| 12 19 28 34 }} かつ M = {{monzo| -5 2 2 -1 }} とした場合、⟨V|M⟩ = 12×(-5) + 19×2 + 28×2 - 34 = 0 となる。

これはセプティマル12平均律が V で表され、225/224 が M で表され、これが 0 ステップつまりユニゾンにマップされるということである。つまり 225/224 はセプティマル12平均律においてテンパーアウトされる。M は V の~~[[Wikipedia:ja:~~零空間]]に含まれる。V に含まれる座標は素数音程 2, 3, 5, 7 それぞれのマップ先を示している。

これはセプティマル12平均律が V で表され、225/224 が M で表され、これが 0 ステップつまりユニゾンにマップされるということである。つまり 225/224 はセプティマル12平均律においてテンパーアウトされる。M は V の{{w|零空間}}に含まれる。V に含まれる座標は素数音程 2, 3, 5, 7 それぞれのマップ先を示している。

モンゾをベクトル空間に埋め込み、ベクトル空間上の格子とすることで、様々なノルムをモンゾに定義できる。ケットベクトル空間のノルム ||M|| が与えられると、それに対するブラベクトル空間の[http://mathworld.wolfram.com/DualNormedSpace.html 双対ノルム] ||V|| が定義され次式が成立する:

43行目:

これはRMSに変換するのにも便利であり、その結果が[[Tenney-Euclidean metrics|Tenney-Euclidean norm]]、あるいはTEノルムとなる。

調律空間という名前に反して、まともにチューニングといえるベクトルの領域は小さい。それは[[Just intonation point]]の付近である。JIPを重み付き座標系で書くと J = {{val| 1 1 1 … 1 }} となる（重み付き座標系でのモンゾは素因数ごとに分けたそれぞれを一律にlog2したものになるので、すべて足せば元の純正音程をlog2したものと一致する）。重みなし座標系では J = {{val| 1 log2 (3) … log2 (''p'')}} となる（<math>\small \mathsf{oct}/𝗽</math>の意味で書いた場合）。

調律空間という名前に反して、まともにチューニングといえるベクトルの領域は小さい。それは{{en仮リンク|純正律マップ|Just intonation point}}の付近である。JIPを重み付き座標系で書くと J = {{val| 1 1 1 … 1 }} となる（重み付き座標系でのモンゾは素因数ごとに分けたそれぞれを一律にlog2したものになるので、すべて足せば元の純正音程をlog2したものと一致する）。重みなし座標系では J = {{val| 1 log2 (3) … log2 (''p'')}} となる（<math>\small \mathsf{oct}/𝗽</math>の意味で書いた場合）。

== 例 ==

49行目:

<math>\displaystyle

\left<31 \; \frac{49}{\log_2(3)} \; \frac{72}{\log_2(5)} \; \frac{87}{\log_2(7)}\right|

\left< 31 \; \frac{49}{\log_2(3)} \; \frac{72}{\log_2(5)} \; \frac{87}{\log_2(7)}\right|

~~%original was <31 49/log2(3) 72/log2(5) 87/log2(7)|~~</math>

</math>

となり、約 {{val| 31.000 30.916 31.009 30.990 }}となる。ユークリッドノルムを計算すると sqrt (3838.694)、あるいは 61.957となる。RMS化するために sqrt (4) = 2 で割ると 30.976 となりこれがTEノルムとなる。重み付きヴァルの各項やTEノルムはEDOの分割数に近い値となることが期待される。

@@ 5行目: / 5行目: @@
 | ja = ヴァルと調律空間
 }}
+{{上級者向け|ヴァル}}
-__FORCETOC__
 == 定義 ==
-[[ヴァル]] は純正音程を特定のステップ数にマップする。ヴァルを複数使って[[レギュラーテンペラメント]]のマッピングを定義する、つまりテンペラメントを定義することができる。ヴァルは  {{val| ''a''<sub>1</sub> ''a''<sub>2</sub> ''a''<sub>3</sub> … ''a''<sub>k</sub> }} のように書かれ、ここで ''a''<sub>1</sub> ''a''<sub>2</sub> ''a''<sub>3</sub> … は最初の ''k'' 個の素数がマップされるステップ数をそれぞれ表す。これは[[純正律サブグループ]]の基底を対象とする形に一般化できる。基底は線形独立である必要がある。
+[[ヴァル]] は純正音程を特定のステップ数にマップする。ヴァルを複数使って[[レギュラーテンペラメント]]の[[マッピング]]を定義する、つまりテンペラメントを定義することができる。ヴァルは  {{val| ''a''<sub>1</sub> ''a''<sub>2</sub> ''a''<sub>3</sub> … ''a''<sub>k</sub> }} のように書かれ、ここで ''a''<sub>1</sub> ''a''<sub>2</sub> ''a''<sub>3</sub> … は最初の ''k'' 個の[[素数]]がマップされるステップ数をそれぞれ表す。これは[[純正律サブグループ]]の基底を対象とする形に一般化できる。基底は線形独立である必要がある。
-ランク-''r'' テンペラメントは ''r'' 個のジェネレーターを持ち、''r'' 行のヴァルで定義される。[[リミット|''p''-リミット]]の通常の座標系では、ジェネレーターの組み合わせで最初の ''k'' 個の素数を表現でき、ヴァルの組み合わせが各素数音程の座標（ジェネレーターを基底とする）を示す。例えば、5リミットのランク1テンペラメント（つまり平均律）は、{{val| ''a'' ''b'' ''c'' }} というヴァルで定義され、ここで ''a'' は 2/1 に到達するジェネレーターのステップ数、''b'' は 3/1 に到達するジェネレーターのステップ数、''c'' は 5/1 に到達するジェネレーターのステップ数である。5リミットのランク2テンペラメントは 2 行のヴァルで定義される: {{monzo| {{val| ''a''<sub>1</sub> ''b''<sub>1</sub> ''c''<sub>1</sub> }}, {{val| ''a''<sub>2</sub> ''b''<sub>2</sub> ''c''<sub>2</sub> }} }}。これで、2/1 が二次元座標 (''a''<sub>1</sub>, ''a''<sub>2</sub>) 、これはモンゾのように書かれる場合もある: {{monzo| ''a''<sub>1</sub> ''a''<sub>2</sub> }}、に位置づけられる。同様に 3/1 は {{monzo| ''b''<sub>1</sub> ''b''<sub>2</sub> }}、5/1 は {{monzo| ''c''<sub>1</sub> ''c''<sub>2</sub> }} となる。
+ランク-''r'' テンペラメントは ''r'' 個の[[ジェネレーター]]を持ち、''r'' 行のヴァルで定義される。[[リミット|''p''-リミット]]の通常の座標系では、ジェネレーターの組み合わせで最初の ''k'' 個の素数を表現でき、ヴァルの組み合わせが各素数音程の座標（ジェネレーターを基底とする）を示す。例えば、5リミットのランク1テンペラメント（つまり[[平均律]]）は、{{val| ''a'' ''b'' ''c'' }} というヴァルで定義され、ここで ''a'' は 2/1 に到達するジェネレーターのステップ数、''b'' は 3/1 に到達するジェネレーターのステップ数、''c'' は 5/1 に到達するジェネレーターのステップ数である。5リミットのランク2テンペラメントは 2 行のヴァルで定義される: {{monzo| {{val| ''a''<sub>1</sub> ''b''<sub>1</sub> ''c''<sub>1</sub> }}, {{val| ''a''<sub>2</sub> ''b''<sub>2</sub> ''c''<sub>2</sub> }} }}。これで、2/1 が二次元座標 (''a''<sub>1</sub>, ''a''<sub>2</sub>) 、これはモンゾのように書かれる場合もある: {{monzo| ''a''<sub>1</sub> ''a''<sub>2</sub> }}、に位置づけられる。同様に 3/1 は {{monzo| ''b''<sub>1</sub> ''b''<sub>2</sub> }}、5/1 は {{monzo| ''c''<sub>1</sub> ''c''<sub>2</sub> }} となる。
-ミーントーンを例とする。これは 81/80 をテンパーアウトする。ミーントーンは5リミットのランク2テンペラメントと考えられ、2 行からなるマッピング {{monzo|{{val| 1 1 0 }}, {{val| 0 1 4 }}}} で定義される。これで5リミットがミーントーンにどうマップされるかが完全にわかる。2/1 は  {{monzo| 1 0 }} にマップされ、2/1 と 1 番目のジェネレーター 1 個が一致していることがわかる。3/1 は {{monzo| 1 1 }} にマップされ、1 番目のジェネレーター 1 個を取り去ると 3/2 と 2 番目のジェネレーター 1 個が一致していることがわかる。5/1 は {{monzo| 0 4 }} にマップされ、3/2 を 4 個積み重ねた 81/16 と 5/1 (つまり 80/16) が一致させられていることがわかる。つまり 81/80 はテンパーアウトされている。このようにマッピングから 2 個のジェネレーターのおおよその大きさ、テンパーアウトされるコンマ、テンペラメントの複雑度（リミット内のすべての素数音程に到達するために必要な音程の数）を求めることができる。以上のように、ヴァルはレギュラーテンペラメントを記述するのにとてもコンパクトで有用な記法である。
+[[ミーントーン]]を例とする。これは [[81/80]] をテンパーアウトする。ミーントーンは5リミットのランク2テンペラメントと考えられ、2 行からなるマッピング {{monzo|{{val| 1 1 0 }}, {{val| 0 1 4 }}}} で定義される。これで5リミットがミーントーンにどうマップされるかが完全にわかる。2/1 は  {{monzo| 1 0 }} にマップされ、2/1 と 1 番目のジェネレーター 1 個が一致していることがわかる。3/1 は {{monzo| 1 1 }} にマップされ、1 番目のジェネレーター 1 個を取り去ると 3/2 と 2 番目のジェネレーター 1 個が一致していることがわかる。5/1 は {{monzo| 0 4 }} にマップされ、3/2 を 4 個積み重ねた 81/16 と 5/1 (つまり 80/16) が一致させられていることがわかる。つまり 81/80 はテンパーアウトされている。このようにマッピングから 2 個のジェネレーターのおおよその大きさ、テンパーアウトされるコンマ、テンペラメントの複雑度（リミット内のすべての素数音程に到達するために必要な音程の数）を求めることができる。以上のように、ヴァルはレギュラーテンペラメントを記述するのにとてもコンパクトで有用な記法である。
-オクターブ等価性を前提とすると、ジェネレーターの一つが 2/1 の場合それに対応するヴァル以外のヴァルが重要である（2/1 に対応するヴァルは、3/1 を 4 個積んだら 5/1 と何オクターブになるか？ 3/2 を 4 個積んだら 5/4 と何オクターブになるか？ のようにあまり意味を感じられない部分になる）。ミーントーンの本質的な性質は 2 行目の {{val| 0 1 4 }} が握っている。
+[[オクターブ等価性]]を前提とすると、ジェネレーターの一つが 2/1 の場合それに対応するヴァル以外のヴァルが重要である（2/1 に対応するヴァルは、3/1 を 4 個積んだら 5/1 と何オクターブになるか？ 3/2 を 4 個積んだら 5/4 と何オクターブになるか？ のようにあまり意味を感じられない部分になる）。ミーントーンの本質的な性質は 2 行目の {{val| 0 1 4 }} が握っている。
 === 数学者向け定義 ===
@@ 25行目: / 25行目: @@
 ヴァル V とモンゾ M が同じランクで、ブラケット記法で ⟨V|M⟩ (または V(M))と書くと、準同型写像 V を M に適用するという意味になる。例えば、V = {{val| 12 19 28 34 }} かつ M = {{monzo| -5 2 2 -1 }} とした場合、⟨V|M⟩ = 12×(-5) + 19×2 + 28×2 - 34 = 0 となる。
-これはセプティマル12平均律が V で表され、225/224 が M で表され、これが 0 ステップつまりユニゾンにマップされるということである。つまり 225/224 はセプティマル12平均律においてテンパーアウトされる。M は V の[[Wikipedia:ja:零空間]]に含まれる。V に含まれる座標は素数音程 2, 3, 5, 7 それぞれのマップ先を示している。
+これはセプティマル12平均律が V で表され、225/224 が M で表され、これが 0 ステップつまりユニゾンにマップされるということである。つまり 225/224 はセプティマル12平均律においてテンパーアウトされる。M は V の{{w|零空間}}に含まれる。V に含まれる座標は素数音程 2, 3, 5, 7 それぞれのマップ先を示している。
 モンゾをベクトル空間に埋め込み、ベクトル空間上の格子とすることで、様々なノルムをモンゾに定義できる。ケットベクトル空間のノルム ||M|| が与えられると、それに対するブラベクトル空間の[http://mathworld.wolfram.com/DualNormedSpace.html 双対ノルム]  ||V|| が定義され次式が成立する:
@@ 43行目: / 43行目: @@
 これはRMSに変換するのにも便利であり、その結果が[[Tenney-Euclidean metrics|Tenney-Euclidean norm]]、あるいはTEノルムとなる。
-調律空間という名前に反して、まともにチューニングといえるベクトルの領域は小さい。それは[[Just intonation point]]の付近である。JIPを重み付き座標系で書くと J = {{val| 1 1 1 … 1 }} となる（重み付き座標系でのモンゾは素因数ごとに分けたそれぞれを一律にlog<sub>2</sub>したものになるので、すべて足せば元の純正音程をlog<sub>2</sub>したものと一致する）。重みなし座標系では J = {{val| 1 log<sub>2</sub> (3) … log<sub>2</sub> (''p'')}} となる（<math>\small \mathsf{oct}/𝗽</math>の意味で書いた場合）。
+調律空間という名前に反して、まともにチューニングといえるベクトルの領域は小さい。それは{{en仮リンク|純正律マップ|Just intonation point}}の付近である。JIPを重み付き座標系で書くと J = {{val| 1 1 1 … 1 }} となる（重み付き座標系でのモンゾは素因数ごとに分けたそれぞれを一律にlog<sub>2</sub>したものになるので、すべて足せば元の純正音程をlog<sub>2</sub>したものと一致する）。重みなし座標系では J = {{val| 1 log<sub>2</sub> (3) … log<sub>2</sub> (''p'')}} となる（<math>\small \mathsf{oct}/𝗽</math>の意味で書いた場合）。
 == 例 ==
@@ 49行目: / 49行目: @@
 <math>\displaystyle
-\left<31 \; \frac{49}{\log_2(3)} \; \frac{72}{\log_2(5)} \; \frac{87}{\log_2(7)}\right|
+\left< 31 \; \frac{49}{\log_2(3)} \; \frac{72}{\log_2(5)} \; \frac{87}{\log_2(7)}\right|
-%original was <31 49/log2(3) 72/log2(5) 87/log2(7)|</math>
+</math>
 となり、約 {{val| 31.000 30.916 31.009 30.990 }}となる。ユークリッドノルムを計算すると sqrt (3838.694)、あるいは 61.957となる。RMS化するために sqrt (4) = 2 で割ると 30.976 となりこれがTEノルムとなる。重み付きヴァルの各項やTEノルムはEDOの分割数に近い値となることが期待される。