→レギュラーテンペラメントにおけるヴァル: en:Tempered monzos and valsを踏まえ修正
→ヴァルとマッピング: :en:Mapも踏まえ修正
 
91行目: 91行目:
== ヴァルとマッピング ==
== ヴァルとマッピング ==


ヴァルはマッピングより具体的な概念である。数学的な意味でもRTT的な意味でも。
ヴァルは[[マッピング]](mapping)より具体的な概念である。数学的な意味でもRTT的な意味でも。
# ヴァルは 1 行だけのマッピングである。マッピングの各行はヴァルであるともいえる。数学的に正確に言うと、ヴァルは{{w|線型写像}}の一種で{{w|線型汎函数}}であり、出力がスカラーになるものである。モンゾと内積をとることでステップ数が得られる余ベクトルである。
# ヴァルは 1 行だけのマッピングである。マッピングの各行はヴァルであるともいえる。数学的に正確に言うと、ヴァルは{{w|線型写像}}の一種で{{w|線型汎函数}}であり、出力がスカラーになるものである。モンゾと内積をとることでステップ数が得られる余ベクトルである。
# ヴァルの各項は整数に限る。(出力がステップ数でないもの等はmapと呼ぶ。)
# 複数行のマッピング行列と区別して 1 行だけの行列を'''マップ'''(map)と呼ぶこともあり、これにはヴァルも含まれる。なおヴァルの各項は整数に限る。{{en仮リンク|tuning map}}は出力が[[セント]]値などの実数になるが、広い意味でヴァルとみなされることがある。(実はvalやtvalの出力であるステップ数もチューニングが未決定なのかもしれない。文脈をよく読むこと。)
# ヴァルは "valuation" ({{w|付値}})の略であり、{{w|p進付値|''p''-進付値}}({{w|重複度 (数学)#素因数の重複度|素因数の重複度}}(分母の場合は負))の線型結合である。(?)
# ヴァルは "valuation" ({{w|付値}})の略であり、{{w|p進付値|''p''-進付値}}({{w|重複度 (数学)#素因数の重複度|素因数の重複度}}(分母の場合は負))の線型結合である。(その説明はどちらかというとモンゾでは?という[[:en:Map|意見]]がついている)


実用上は、RTTにおいて大体の 1 行だけのマッピングはヴァルである。ブラ記法の中に小数やlogが出てきたら、それは深く知りたい数学者でない限り無視していいものです。
実用上は、RTTにおいて大体の 1 行だけのマッピングはヴァルかtuning mapである。


== 関連項目 ==
== 関連項目 ==