一貫性のソースを表示

{{Interwiki
| en = Consistency
| de = Konsistent
| es = 
| ja = 一貫性
}}
ある ''N''-[[オクターブ平均律|edo]]について、''q''-[[アドリミット]]に属する奇数倍音を全て[[直接近似|最近傍の平均律音程で近似]]したとき、奇数倍音間の音程が全て相当する純正音程の最近傍近似になっている場合、''N''-edoは ''q''-アドリミットの'''一貫性'''をもつという<ref>''q''-アドリミットに含まれる音程がこの手順で過不足なく尽くされる; アドリミットの性質に依存した説明となっている。任意の音程集合を対象としたい場合は[[#数学的定義]]を参照のこと。</ref>。例えば、7 倍音を近似した音程と 5 倍音を近似した音程の差が 7/5 を近似した音程と一致する、というような関係が全て成立することをいう。また、更にこの最近傍近似が ''q''-アドリミットの全ての音程をそれぞれ異なる平均律音程に割り当てる（つまり{{w|単射}}の）場合、'''distinctly consistent''' (aka uniquely consistent)という。例えば、7/5 と 10/7 を同一の平均律音程で近似することになる ''N''-edoは[[7-odd-limit]]でdistinctly consistentにはならない。（ちなみにそういう ''N''-edoの ''N'' は必ず偶数になる。）

別の言い方では、それぞれの近似音程が、元の音程の素因数分解と[[ヴァル]]によって説明できるということが一貫性があるということである。

一貫性は通常何らかのアドリミットを対象範囲とするが、アドリミットの音程集合の一部分のみを対象範囲とする場合もある。これはしばしば[[純正律サブグループ]]によって範囲制限される。また他の方法でも良い。例として、[[12平均律]]はno-11's, no-13's [[19-odd-limit]]において一貫性をもつ。これはつまり、 11 と 13 を飛ばして 1, 3, 5, 7, 9, 15, 17, 19 倍音に限ると一貫性が得られるということである。<ref>逆に純正律サブグループのみでは一貫性は成り立たない。純正音程と平均律音程は（オクターブそのもの等を除いて）一致しないことが証明されていて、最近傍近似には必ず誤差がある。このため同じ純正音程を積み重ねてゆくと誤差も蓄積し、あるところで規則的なマッピングと最近傍近似が一致しなくなる。一貫性を保ったまま対象集合の音程を d 回まで積み重ねられることを[[:en:Consistency #Consistency to distance d|Consistent to distance ''d'']] という。</ref>

ある ''N''-edoがコード C において一貫性がある、あるいはコード C が ''N''-edo内で一貫性がある、という言い方ができる。これはそのコードの構成音程（根音基準）の最近傍近似がコード内の全ての音程（任意の2音間）の最近傍近似を導くことをいう。この方式では、『''q''-アドリミット』に相当する言い方は『コード 1:3:…:(''q'' - 2):''q''』となる。

この概念は平均律のみでしか意味をなさない。オクターブに対して割り切れない音程を持つチューニングでは音程を重ねていけばいくらでも任意の純正音程に近づくことができるため、最近傍近似の意味を定めることができなくなる。<ref>音程を構成する範囲が明確に定められた[[スケール]]ならば最近傍近似も出来るようになるが、不等間隔のスケールへの最近傍近似というのもあまり役に立たなそうである。</ref>

各アドリミットにおいて一貫性のある、またはdistinctly consistentになる最小のedoを ''[[:en:Minimal consistent edos]]'' に示す。各edoにおいて一貫性のある、またはdistinctly consistentになる最大限のアドリミットを ''[[:en:Consistency limits of small edos]]'' に示す(こちらは各edoのページでも自動的に計算されて示される)。

<references />
== 数学的定義 ==
ある [[平均律]]（オクターブを前提としなくてもよい）があって、また任意の音程を ''r'' とし、『''T''(''r'')』を ''r'' という音程の平均律による最近傍近似とする。音程の集合を ''S'' とし、''S'' に含まれる任意の音程 ''r<sub>i</sub>'', ''r<sub>j</sub>'' について ''r<sub>i</sub>r<sub>j</sub>'' もまた ''S'' に含まれるとき、必ず ''T''(''r<sub>i</sub>r<sub>j</sub>'') = ''T''(''r<sub>i</sub>'') + ''T''(''r<sub>j</sub>'') が成り立つ場合に、平均律が ''S'' において一貫性があるという。

== 例 ==
一例として、特定のアドリミットで一貫性のない[[25平均律]]のシステムを取り上げる。

25平均律の [[7/6]] (septimal subminor third、266.87 セント)の最近傍近似は、6 ステップ(48*6=288 セント)である。そしてまた、[[3/2]] (perfect fifth、702 セント)は 15 ステップ(48*15=720 セント)である。2 つの純正音程を加えることは、(3/2)(7/6) = 7/4 (968.83 セント)を与える。そのハーモニックセブンス 7/4 は、25平均律の最近傍近似で 20 ステップ(48*20=960cent)である。しかしながら、2 つの近似音程を加えると 21 ステップを与える。これは25平均律が7アドリミットのなかで一貫性がないことを意味する。

7アドリミットで一貫性のあるシステムの例は12平均律である。3/2 は 7 ステップ、7/6 は 3 ステップ、7/4 は 10 ステップに近似され、10 ステップは 7 ステップと 3 ステップの和に一致する。12平均律はまた9アドリミットにおいても一貫性があるが11アドリミットではそうではない。

== ノンオクターブ平均律への一般化 ==
一貫性のコンセプトを[[ノンオクターブ]]平均律に拡張することは可能である。オクターブ等価性を捨て、アドリミットの代わりに整数リミットを用いることになる。

Alternatively, we can use "modulo-''n'' limit" if the [[equave]] is ''n''/1. Thus the tritave analogue of odd limit would only allow integers not divisible by 3 below a given number, assuming tritave equivalence and tritave invertibility.