ヴァルと調律空間のソースを表示

{{interwiki
| de = Val 
| en = Vals and tuning space
| es = 
| 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'' 個の素数がマップされるステップ数をそれぞれ表す。これは[[純正律サブグループ]]の基底を対象とする形に一般化できる。基底は線形独立である必要がある。

ランク-''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/64 と 5/1 (つまり 80/64) が一致させられていることがわかる。つまり 81/80 はテンパーアウトされている。このようにマッピングから 2 個のジェネレーターのおおよその大きさ、テンパーアウトされるコンマ、テンペラメントの複雑度（リミット内のすべての素数音程に到達するために必要な音程の数）を求めることができる。以上のように、ヴァルはレギュラーテンペラメントを記述するのにとてもコンパクトで有用な記法である。

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

=== Definition for mathematicians ===
The ''p''-limit [[Monzos and interval space|monzos]] M form a free abelian group, or ℤ-module, of finite rank π (''p''), which is the number of primes up to and including ''p''. The [http://planetmath.org/encyclopedia/DualModule.html dual ℤ-module] M* is [[Wikipedia: Group isomorphism|isomorphic]] to M, but not in a canonical way. Hence it, the group (Z-module) of '''vals''', is also a free abelian group of rank π (''p''). Just as monzos are often written as [http://mathworld.wolfram.com/Ket.html kets], vals are typically written as [http://mathworld.wolfram.com/Bra.html bras]. Vals are homomorphisms from a subgroup of finite rank of ℚ*, the abelian group of the positive rational numbers under multiplication, to the integers ℤ. The number theorist [[Yves Hellegouarch]] seems to have been the first to write about them, under the name "degrees".

=== 日本語版補足（次元解析方面から） ===
モンゾのアーベル群の[[Wikipedia:ja:双対]]がヴァルのアーベル群になるということだが、双対についてなじみがない場合は、[[Wikipedia:ja:ベクトルの共変性と反変性]] の 概要 が参考になる。モンゾの各成分は「その素因数の重複度」であるのに対して、ヴァルの各成分は「素因数の重複度 1 あたりのステップ数」となり、重複度に関して逆の次元となっている。

== ヴァルとモンゾ ==
ヴァル 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 それぞれのマップ先を示している。

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

<math>\displaystyle
\lvert \langle V|M \rangle \rvert \le \lVert V \rVert \lVert M \rVert
</math>

[http://mathworld.wolfram.com/L1-Norm.html ''L''<sup>1</sup>-ノルム]の双対は[http://mathworld.wolfram.com/L-Infinity-Norm.html ''L''<sup>∞</sup>-ノルム]となり、[[モンゾと音程空間|Tenney音程空間]]の双対はTenney調律空間となる。モンゾのノルム空間への埋め込みは自動的に双対となるヴァルの埋め込み（ヴァルが格子点となる）を誘導する。''L''<sup>2</sup>-ノルムの双対は''L''<sup>2</sup>-ノルムであり、Tenney-ユークリッド音程空間の双対は''Tenney-ユークリッド調律空間''となる。ヴァル V のユークリッドノルムは以下のようになる。(Tenney音程空間でやったスケーリングの逆を行ったうえでユークリッド距離を求める）

<math>\displaystyle
\lVert V \rVert = \sqrt{\left(\frac{v_1}{\log_2(2)}\right)^2 + \left(\frac{v_2}{\log_2(3)}\right)^2 + \left(\frac{v_3}{\log_2(5)}\right)^2 + \ldots + \left(\frac{v_n}{\log_2(p)}\right)^2}
</math>



これは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>の意味で書いた場合）。

== 例 ==
7リミット[[31平均律]]のパテントヴァルは {{val| 31 49 72 87 }} である。これは 31 ステップが 2/1 になり、約 49 ステップで 3/1 に、72 で 5/1 に、87 で 7/1 になることを示している。重み付き座標系では、

<math>\displaystyle
\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>

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