「レギュラーテンペラメントとランクrテンペラメント」の版間の差分

編集の要約なし
34行目: 34行目:


=== 概要 ===
=== 概要 ===
レギュラーテンペラメントは対象の(純正)音程のアーベル群からテンパーされた音程のアーベル群への{{w|群準同型|準同型写像}}である。典型的には、定義域は有理数の乗法的部分群である(aka ''p''-limit JI)。テンパーとは、故意にチューニングを変更することによってコンマ、またはコンマのセットが「消され」、ユニゾンになること(テンパーアウトという)によって実行される。レギュラーテンペラメントの有用性の一部は、音階を生成することである。その音階は、厳密な純正律に比べ簡略であり、協和する音程を多く持ちつつ、高いレベルの協和、または純正律の近似を維持する。そして他の一部は、コンマをテンパーアウトするものとして利用できる「語呂合わせ」を導入することである。テンペラメントは効果的に純正律の次元を減らす。それによりピッチ間の関係性をより簡略化するのである。
レギュラーテンペラメントは対象の(純正)音程のアーベル群からテンパーされた音程のアーベル群への{{w|群準同型|準同型写像}}である。典型的には、定義域は有理数の乗法的部分群である(aka ''p''-limit JI)。テンパーは、故意にチューニングを変更することによってコンマ、またはコンマのセットが「消され」、ユニゾンになること([[テンパーアウト]]という)によって実行される。レギュラーテンペラメントの有用性の一部は、音階を生成することである。その音階は、厳密な純正律に比べ簡略であり、協和する音程を多く持ちつつ、高いレベルの協和、または純正律の近似を維持する。そして他の一部は、コンマをテンパーアウトするものとして利用できる「語呂合わせ」を導入することである。テンペラメントは効果的に純正律の次元を減らす。それによりピッチ間の関係性をより簡略化するのである。


数学的に言うと、レギュラーテンペラメントは定義域を近似したいJI等とし、値域をテンパーされた音程(簡易的にテンペラメントの音程とも呼ばれる)の集合とする関数である。一般的にはこの写像は多対一である。2つの異なる有理数が同じテンパーされた音程に写像されることがある。これを''tempered together''<sup>[定訳なし]</sup>という。
数学的に言うと、レギュラーテンペラメントは定義域を近似したいJI等とし、値域をテンパーされた音程(簡易的にテンペラメントの音程とも呼ばれる)の集合とする関数である。一般的にはこの写像は多対一である。2つの異なる有理数が同じ[[マップされた音程|テンパーされた音程]]に写像されることがある。これを''tempered together''<sup>[定訳なし]</sup>という。


例えば、[[7リミット]]純正調のピッチ間の関係性は、7 までの素数(2, 3, 5, 7)の軸で表される4次元で考えることができ、全ての音程は4次元座標で位置づけられる。7リミットレギュラーテンペラメントにおいて、しかしながら、どうにかして次元は減少される。それはテンパーアウトされるコンマに依存する。そして音程はうまく調整され1, 2または3次元の座標で位置づけられる。次元数の減少はテンパーアウトされたコンマの数に依存する。テンパー後の次元数がテンペラメントのランクである。
例えば、[[7リミット]]純正調のピッチ間の関係性は、7 までの素数(2, 3, 5, 7)の軸で表される4次元で考えることができ、全ての音程は4次元座標で位置づけられる。7リミットレギュラーテンペラメントにおいて、しかしながら、どうにかして次元は減少される。それはテンパーアウトされるコンマに依存する。そして音程はうまく調整され1, 2または3次元の座標で位置づけられる。次元数の減少はテンパーアウトされたコンマの数に依存する。テンパー後の次元数がテンペラメントのランクである。
59行目: 59行目:
=== レギュラーテンペラメントの特徴づけ ===
=== レギュラーテンペラメントの特徴づけ ===
==== Normal val lists ====
==== Normal val lists ====
:→詳細は「{{en仮リンク| Normal lists #Normal val lists }}」を参照
:''→詳細は「{{en仮リンク| Normal lists #Normal val lists }}」を参照''


ヴァルのリストが与えられた場合、それを[[飽和、ねじれ、contorsion|saturate]](マッピングの約分みたいなもの。これができていないとマッピングで出力される音程に対してジェネレーターによる格子が無駄に細かくなり全射ではなくなる)し、[[Normal lists|Hermite normal form]]を使って整理しnormal val listにする場合がある。これは抽象的テンペラメントを規範的に表現する。各ヴァルを有理数の音程に適用(慣れていればマッピングとモンゾの行列演算)するとテンペラメントの音程<!-- 基準音を決めてあればnotesでいいけど -->全体を表すアーベル群の要素1つ(つまりテンペラメントの音程)が得られる。例えば、7リミットミラクルを表すマッピングは [{{val| 1 1 3 3 }}, {{val| 0 6 -7 -2 }}] であり、これを 16/15 または 15/14 に適用すると [0 1] (2番目のジェネレーター1個)というテンパード音程になる。
ヴァルのリストが与えられた場合、それを[[飽和、ねじれ、contorsion|saturate]](マッピングの約分みたいなもの。これができていないとマッピングで出力される音程に対してジェネレーターによる格子が無駄に細かくなり全射ではなくなる)し、[[Normal lists|Hermite normal form]]を使って整理しnormal val listにする場合がある。これは抽象的テンペラメントを規範的に表現する。各ヴァルを有理数の音程に適用(慣れていればマッピングとモンゾの行列演算)するとテンペラメントの音程<!-- 基準音を決めてあればnotesでいいけど -->全体を表すアーベル群の要素1つ(つまりテンペラメントの音程)が得られる。例えば、7リミットミラクルを表すマッピングは [{{val| 1 1 3 3 }}, {{val| 0 6 -7 -2 }}] であり、これを 16/15 または 15/14 に適用すると [0 1] (2番目のジェネレーター1個)というテンパード音程になる。


==== Normal comma lists ====
==== Normal comma lists ====
:→詳細は「{{en仮リンク| Normal lists #Normal interval lists }}」を参照
:''→詳細は「{{en仮リンク| Normal lists #Normal interval lists }}」を参照''


normal comma listによって抽象的テンペラメントが定義される。この方法はnormal val listより明確にテンペラメントの家族関係を示すという利点がある。normal val list以外の方法でテンペラメントを表しテンペラメントの音程を定義することができるということである。
normal comma listによって抽象的テンペラメントが定義される。この方法はnormal val listより明確にテンペラメントの家族関係を示すという利点がある。normal val list以外の方法でテンペラメントを表しテンペラメントの音程を定義することができるということである。
71行目: 71行目:


==== Wedgie ====
==== Wedgie ====
:→詳細は「{{en仮リンク| Wedgies and multivals }}」を参照
:''→詳細は「{{en仮リンク| Wedgies and multivals }}」を参照''


この手法は{{w|外積代数}}を用いて、抽象的テンペラメントと一意に関連付けられるくさび積を定義する。テンペラメントの音程からなる群は、[[wedgie]]とモンゾの内積によって得られる。
この手法は{{w|外積代数}}を用いて、抽象的テンペラメントと一意に関連付けられるくさび積を定義する。テンペラメントの音程からなる群は、[[wedgie]]とモンゾの内積によって得られる。
80行目: 80行目:


==== Frobenius projection matrix ====
==== Frobenius projection matrix ====
:→詳細は「{{en仮リンク| Tenney-Euclidean Tuning #Frobenius tuning and Frobenius projection matrix }}」を参照
:''→詳細は「{{en仮リンク| Tenney-Euclidean Tuning #Frobenius tuning and Frobenius projection matrix }}」を参照''


[[Projection matrix]]はランクを落としつつ元のJI空間(指数に非整数も許したもの({{en仮リンク|分数モンゾ|fractional monzo}}))に写像する行列である。これ自体は一意性はないが、{{w|ムーア・ペンローズ逆行列}}を使うなどすることで抽象的テンペラメントごとに一意のFrobenius projection matrixが得られる。これはまたFrobenius tuningを導く。
[[Projection matrix]]はランクを落としつつ元のJI空間(指数に非整数も許したもの({{en仮リンク|分数モンゾ|fractional monzo}}))に写像する行列である。これ自体は一意性はないが、{{w|ムーア・ペンローズ逆行列}}を使うなどすることで抽象的テンペラメントごとに一意のFrobenius projection matrixが得られる。これはまたFrobenius tuningを導く。


(後略)
(後略)