飽和、ねじれ、contorsion - 版の履歴

Dummy index: link

2025-08-07T12:48:38Z

link

← 古い版		2025年8月7日 (木) 12:48時点における版
8行目:		8行目:

	== Contorsion ==		== Contorsion ==
	テンペラメントのマッピングが'''contorsion'''を示す（contortedである）とは、そのジェネレーター音程の中に元となる純正音程との対応がつかない音程があることをいう。この対応のつかない音程を'''contorted generator'''といい、この音程は適切なジェネレーター基底（同じ意味のマッピングでも~~{{en仮リンク\|Generator form manipulation}}~~による変形で異なるジェネレーター音程の組（基底）が得られる）の下で、純正音程からのマッピングにおいて ''c''×整数倍の形でしか含まれない。この ''c'' > 1 を'''contorsion order'''という。独立したすべてのcontorsion orderの積をoverall contorsion orderという。<ref>H. J. S. Smith [https://www.jstor.org/stable/pdf/108738.pdf ''On Systems of Linear Indeterminate Equations and Congruences'']; overall orderは文献中の小行列式の最大公約数とおなじものであり、Smithは"greatest divisor"と呼んでいる。</ref>		テンペラメントのマッピングが'''contorsion'''を示す（contortedである）とは、そのジェネレーター音程の中に元となる純正音程との対応がつかない音程があることをいう。この対応のつかない音程を'''contorted generator'''といい、この音程は適切なジェネレーター基底（同じ意味のマッピングでも[[ジェネレーター読み替え操作]]による変形で異なるジェネレーター音程の組（基底）が得られる）の下で、純正音程からのマッピングにおいて ''c''×整数倍の形でしか含まれない。この ''c'' > 1 を'''contorsion order'''という。独立したすべてのcontorsion orderの積をoverall contorsion orderという。<ref>H. J. S. Smith [https://www.jstor.org/stable/pdf/108738.pdf ''On Systems of Linear Indeterminate Equations and Congruences'']; overall orderは文献中の小行列式の最大公約数とおなじものであり、Smithは"greatest divisor"と呼んでいる。</ref>

	例えば、[[5リミット]][[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 である。より高ランクの例は、13リミット 87 [[:en:Temperament merging\|&]] 111 で得られるhemimistテンペラメント [{{val\| 3 0 26 56 8 }}, {{val\| 0 2 -8 -20 1 }}] を2.5.7.11サブグループに制限したものである。これは[[ジェネレーターとピリオド\|ピリオド]]が2.5.7.11サブグループのどの音程でもない（これを確かめようと思って手あたり次第に純正音程にこのマッピングを左から掛けてみても確信が持てない）が、ピリオドの3個積み重ねは 2/1 である（これはマッピングの先頭を見れば明らか）。これによりどうやらこのピリオドはcontorted generatorのひとつであるが、上記説明のようにcontorsion orderが求まる状態ではない。この例では、マッピング 2.5.7.11 [{{val\| 3 26 56 8 }}, {{val\| 0 -8 -20 1 }}] ~~の1行目に2行目の内容をそのまま足す（generator form manipulationのひとつ）と1行目が~~ {{val\| 3 18 36 9 }} となりピリオドが必ず3の倍数個ずつ使われることが明らかになる。（これを確実に行いたい場合、[[#Saturation algorithms]]を参照のこと。）		例えば、[[5リミット]][[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 である。より高ランクの例は、13リミット 87 [[:en:Temperament merging\|&]] 111 で得られるhemimistテンペラメント [{{val\| 3 0 26 56 8 }}, {{val\| 0 2 -8 -20 1 }}] を2.5.7.11サブグループに制限したものである。これは[[ジェネレーターとピリオド\|ピリオド]]が2.5.7.11サブグループのどの音程でもない（これを確かめようと思って手あたり次第に純正音程にこのマッピングを左から掛けてみても確信が持てない）が、ピリオドの3個積み重ねは 2/1 である（これはマッピングの先頭を見れば明らか）。これによりどうやらこのピリオドはcontorted generatorのひとつであるが、上記説明のようにcontorsion orderが求まる状態ではない。この例では、マッピング 2.5.7.11 [{{val\| 3 26 56 8 }}, {{val\| 0 -8 -20 1 }}] の1行目に2行目の内容をそのまま足す（ジェネレーター読み替え操作のひとつ）と1行目が {{val\| 3 18 36 9 }} となりピリオドが必ず3の倍数個ずつ使われることが明らかになる。（これを確実に行いたい場合、[[#Saturation algorithms]]を参照のこと。）

	あるテンペラメントのサブグループに注目して、それがcontortedである場合、元のテンペラメントより楽に（オクターブ内や楽器）全域の音にアプローチできる。または使用する鍵数が減ったのに合わせて鍵盤を再設計してもしなくてもよい。		あるテンペラメントのサブグループに注目して、それがcontortedである場合、元のテンペラメントより楽に（オクターブ内や楽器）全域の音にアプローチできる。または使用する鍵数が減ったのに合わせて鍵盤を再設計してもしなくてもよい。

Dummy index: /* ねじれ */

2025-04-29T13:50:23Z

ねじれ

← 古い版		2025年4月29日 (火) 13:50時点における版
17行目:		17行目:
	テンペラメントの定義が'''ねじれ'''を示すとは、その{{w\|アーベル群}}としての定義がねじれを含んでおり、したがって{{w\|全順序群\|全順序}}であるピッチの集合にそのまま変換することができないことをいう。		テンペラメントの定義が'''ねじれ'''を示すとは、その{{w\|アーベル群}}としての定義がねじれを含んでおり、したがって{{w\|全順序群\|全順序}}であるピッチの集合にそのまま変換することができないことをいう。

	テンペラメントをコンマ基底で定義することを考える。例えばミーントーンは 81/80 = {{monzo\| -4 4 -1}} をテンパーアウトする。これはもともとあった5リミットの音程の3次元格子が、「5/1 と (3/2)^4 を同一視する（すなわち 1/1 と 81/80 を同一視する）」という条件により 5/1 ~~の方向の点が片付いて2次元格子に縮小することになる。イメージしづらかったら、5~~/1 の方向と 3/2 ~~の方向だけを取り出した方眼紙（2次元格子）を、5~~/1 と (3/2)^4 ~~が重なるように巻くと方眼紙のすべての点が~~ (3/2)^''n~~'' として（1次元格子）説明できるようになるイメージを思い浮かべてください。~~		テンペラメントをコンマ基底で定義することを考える。例えばミーントーンは 81/80 = {{monzo\| -4 4 -1}} をテンパーアウトする。これはもともとあった5リミットの音程の3次元格子が、「5/1 と (3/2)^4 を同一視する（すなわち 1/1 と 81/80 を同一視する）」という条件により 5/1 の方向の点が片付いて2次元格子に縮小することになる。下図はオクターブ方向を無視して 5/1 の方向と 3/2 の方向による2次元格子を考え、5/1 と (3/2)^4 が重なるように巻くと2次元格子のすべての点が1本のらせんに乗る（1次元格子）ことの模式図である。
			<gallery>
			Figure1 abelian group.svg\|2.3.5サブグループの純正音程による3次元格子。(3/2)^m * 5^n に該当する音程だけ着色。
			Figure2 special plane.svg\|左図の音程が属する平面。
			Figure3 no torsion.svg\|平面を 81/80 と 1/1 と 80/81 が重なるように巻き付けた。(3/2)^n が1本のらせんを形成する。
			Figure4 with torsion.svg\|平面を 1/1 と (81/80)^2=6561/6400 が重なるように巻き付けた。2本のらせんが形成されている。1/1と81/80の関係（赤リング）がねじれ部分群である。
			</gallery>

	では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 ~~と同一視しろとは書いていない。方眼紙の例なら巻き付け方を2倍に緩めて、全ての~~ (81/80)^''n'' をテンパーするはずだった音程が (81/80)^(2''n'') をテンパーしたもの（1/1を含んでいるので仮に"1/1"と呼ぶことにします）と (81/80)^(2''n''+1) をテンパーしたもの（81/80を含んでいるので仮に"81/80"と呼ぶことにします）に分裂することになる。そして ("81/80")^2 = "1/1" となり、"81/80" の方向はべき数 2 の{{w\|捩れ部分群\|ねじれ部分群}}となる。		では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 と同一視しろとは書いていない。格子のたとえで言うなら巻き付け方を2倍に緩めて、全ての (81/80)^''n'' をテンパーするはずだった音程が (81/80)^(2''n'') をテンパーしたもの（1/1を含んでいるので仮に"1/1"と呼ぶことにします）と (81/80)^(2''n''+1) をテンパーしたもの（81/80を含んでいるので仮に"81/80"と呼ぶことにします）に分裂することになる。そして ("81/80")^2 = "1/1" となり、"81/80" の方向はべき数 2 の{{w\|捩れ部分群\|ねじれ部分群}}となる。

	ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = "1/1" が 0 セントである以上 √(81/80)^2 = "81/80" も 0 セントにするしかなくどうしても同じ音程を表すことになる。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを		ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = "1/1" が 0 セントである以上 √(81/80)^2 = "81/80" も 0 セントにするしかなくどうしても同じ音程を表すことになる。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを

2025年4月27日 (日) 06:01にDummy indexによる

2025-04-27T06:01:04Z

← 古い版		2025年4月27日 (日) 06:01時点における版
39行目:		39行目:

	== 歴史と用語 ==		== 歴史と用語 ==
	''saturation''は1972年に{{w\|ニコラ・ブルバキ}}が生み出した、{{w\|可換環論}}の用語である。		''saturation''は1972年に{{w\|ニコラ・ブルバキ}}が生み出した、{{w\|可換環論}}の用語である。<ref>[https://pdfcoffee.com/commutative-algebra-bourbaki-pdf-free.html Nicolas Bourbaki. ''Commutative Algebra'']</ref>

	''torsion''は少なくとも1932年からある{{w\|群論}}の用語である。歴史的に、RTTにおいてコンマをテンパーアウトすることに関して群論での定式化が行われ、あるコンマをテンパーアウトせずにその累乗をテンパーアウトすることが音楽的に不可能であることが見いだされた。現在では線形代数による定式化が好まれ、不可能性というより無意味性として受け流されている。''contorsion''はRTTのために2002年にPaul ~~Erlichによって発明された用語である。~~"co-torsion"、つまり"torsion"の対になる状況を指す言葉である。（ただsaturationの意味では似ていてもねじれ群との関係は正直に言って存在しない）		''torsion''は少なくとも1932年からある{{w\|群論}}の用語である<ref>[https://scholar.google.com/scholar?q=%22torsion+group%22&hl=en&as_sdt=0%2C5&as_ylo=1900&as_yhi=1940 Google Scholar: Torsion group]</ref><ref>[https://math.stackexchange.com/questions/300586/where-does-the-word-torsion-in-algebra-come-from Stack Exchange \| ''Where does the word "torsion" in algebra come from?'']</ref>。歴史的に、RTTにおいてコンマをテンパーアウトすることに関して群論での定式化が行われ、あるコンマをテンパーアウトせずにその累乗をテンパーアウトすることが音楽的に不可能であることが見いだされた。現在では線形代数による定式化が好まれ、不可能性というより無意味性として受け流されている。''contorsion''はRTTのために2002年にPaul Erlichによって発明された用語である<ref>[https://yahootuninggroupsultimatebackup.github.io/tuning-math/topicId_2033.html#2456 Yahoo! Tuning Group \| ''My top 5--for Paul'']</ref>。"co-torsion"、つまり"torsion"の対になる状況を指す言葉である。（ただsaturationの意味では似ていてもねじれ群との関係は正直に言って存在しない）

	Dave KeenanとDouglas Blumeyerは''saturation''の代わりに'''defactored'''、''torsion''と''contorsion''の代わりに'''enfactored'''~~という用語を提案し使用している。（上記saturation~~ algorithmがマッピング行列やコンマ基底行列に行うことがdefactoringであることからも自然な用法ではあろう）		Dave KeenanとDouglas Blumeyerは''saturation''の代わりに'''defactored'''、''torsion''と''contorsion''の代わりに'''enfactored'''という用語を提案<ref>See [[:en:Defactoring terminology proposal]] for details.</ref>し使用している。（上記saturation algorithmがマッピング行列やコンマ基底行列に行うことがdefactoringであることからも自然な用法ではあろう）

	== 脚注 ==		== 脚注 ==
	<references />		<references />

2025年4月15日 (火) 15:06にDummy indexによる

2025-04-15T15:06:00Z

← 古い版		2025年4月15日 (火) 15:06時点における版
8行目:		8行目:

	== Contorsion ==		== Contorsion ==
	テンペラメントのマッピングが'''contorsion'''を示す（contortedである）とは、そのジェネレーター音程の中に元となる純正音程との対応がつかない音程があることをいう。この対応のつかない音程を'''contorted generator'''といい、この音程は適切なジェネレーター基底（同じ意味のマッピングでも{{en仮リンク\|Generator form manipulation}}による変形で異なるジェネレーター音程の組（基底）が得られる）の下で、純正音程からのマッピングにおいて ''c''×整数倍の形でしか含まれない。この ''c'' > 1 を'''contorsion order'''~~という。最大のcontorsion orderを~~'''greatest ~~factor'''という。~~		テンペラメントのマッピングが'''contorsion'''を示す（contortedである）とは、そのジェネレーター音程の中に元となる純正音程との対応がつかない音程があることをいう。この対応のつかない音程を'''contorted generator'''といい、この音程は適切なジェネレーター基底（同じ意味のマッピングでも{{en仮リンク\|Generator form manipulation}}による変形で異なるジェネレーター音程の組（基底）が得られる）の下で、純正音程からのマッピングにおいて ''c''×整数倍の形でしか含まれない。この ''c'' > 1 を'''contorsion order'''という。独立したすべてのcontorsion orderの積をoverall contorsion orderという。<ref>H. J. S. Smith [https://www.jstor.org/stable/pdf/108738.pdf ''On Systems of Linear Indeterminate Equations and Congruences'']; overall orderは文献中の小行列式の最大公約数とおなじものであり、Smithは"greatest divisor"と呼んでいる。</ref>

	例えば、[[5リミット]][[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 である。より高ランクの例は、13リミット 87 [[:en:Temperament merging\|&]] 111 で得られるhemimistテンペラメント [{{val\| 3 0 26 56 8 }}, {{val\| 0 2 -8 -20 1 }}] を2.5.7.11サブグループに制限したものである。これは[[ジェネレーターとピリオド\|ピリオド]]が2.5.7.11サブグループのどの音程でもない（これを確かめようと思って手あたり次第に純正音程にこのマッピングを左から掛けてみても確信が持てない）が、ピリオドの3個積み重ねは 2/1 である（これはマッピングの先頭を見れば明らか）。これによりどうやらこのピリオドはcontorted generatorのひとつであるが、上記説明のようにcontorsion orderが求まる状態ではない。この例では、マッピング 2.5.7.11 [{{val\| 3 26 56 8 }}, {{val\| 0 -8 -20 1 }}] の1行目に2行目の内容をそのまま足す（generator form manipulationのひとつ）と1行目が {{val\| 3 18 36 9 }} ~~となりピリオドが必ず3の倍数個ずつ使われることが明らかになる。~~		例えば、[[5リミット]][[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 である。より高ランクの例は、13リミット 87 [[:en:Temperament merging\|&]] 111 で得られるhemimistテンペラメント [{{val\| 3 0 26 56 8 }}, {{val\| 0 2 -8 -20 1 }}] を2.5.7.11サブグループに制限したものである。これは[[ジェネレーターとピリオド\|ピリオド]]が2.5.7.11サブグループのどの音程でもない（これを確かめようと思って手あたり次第に純正音程にこのマッピングを左から掛けてみても確信が持てない）が、ピリオドの3個積み重ねは 2/1 である（これはマッピングの先頭を見れば明らか）。これによりどうやらこのピリオドはcontorted generatorのひとつであるが、上記説明のようにcontorsion orderが求まる状態ではない。この例では、マッピング 2.5.7.11 [{{val\| 3 26 56 8 }}, {{val\| 0 -8 -20 1 }}] の1行目に2行目の内容をそのまま足す（generator form manipulationのひとつ）と1行目が {{val\| 3 18 36 9 }} となりピリオドが必ず3の倍数個ずつ使われることが明らかになる。（これを確実に行いたい場合、[[#Saturation algorithms]]を参照のこと。）

	あるテンペラメントのサブグループに注目して、それがcontortedである場合、元のテンペラメントより楽に（オクターブ内や楽器）全域の音にアプローチできる。または使用する鍵数が減ったのに合わせて鍵盤を再設計してもしなくてもよい。		あるテンペラメントのサブグループに注目して、それがcontortedである場合、元のテンペラメントより楽に（オクターブ内や楽器）全域の音にアプローチできる。または使用する鍵数が減ったのに合わせて鍵盤を再設計してもしなくてもよい。
45行目:		45行目:
	Dave KeenanとDouglas Blumeyerは''saturation''の代わりに'''defactored'''、''torsion''と''contorsion''の代わりに'''enfactored'''という用語を提案し使用している。（上記saturation algorithmがマッピング行列やコンマ基底行列に行うことがdefactoringであることからも自然な用法ではあろう）		Dave KeenanとDouglas Blumeyerは''saturation''の代わりに'''defactored'''、''torsion''と''contorsion''の代わりに'''enfactored'''という用語を提案し使用している。（上記saturation algorithmがマッピング行列やコンマ基底行列に行うことがdefactoringであることからも自然な用法ではあろう）

	== ~~参考文献~~ ==		== 脚注 ==
	<references />		<references />

2025年4月14日 (月) 14:02にDummy indexによる

2025-04-14T14:02:40Z

← 古い版		2025年4月14日 (月) 14:02時点における版
8行目:		8行目:

	== Contorsion ==		== Contorsion ==
	テンペラメントのマッピングが'''contorsion'''を示す（contortedである）とは、そのジェネレーター音程の中に元となる純正音程との対応がつかない音程があることをいう。この対応のつかない音程を'''contorted generator'''といい、この音程は適切なジェネレーター基底（同じ意味のマッピングでも{{en仮リンク\|Generator form manipulation}}による変形で異なるジェネレーター音程の組（基底）が得られる）の下で、純正音程からのマッピングにおいて ''c''×整数倍の形でしか含まれない。この ''c'' > 1 を'''contorsion order'''~~という。複数の方向がcontorted generatorになる場合もあり、その場合の最大のcontorsion~~ orderを'''greatest factor'''という。		テンペラメントのマッピングが'''contorsion'''を示す（contortedである）とは、そのジェネレーター音程の中に元となる純正音程との対応がつかない音程があることをいう。この対応のつかない音程を'''contorted generator'''といい、この音程は適切なジェネレーター基底（同じ意味のマッピングでも{{en仮リンク\|Generator form manipulation}}による変形で異なるジェネレーター音程の組（基底）が得られる）の下で、純正音程からのマッピングにおいて ''c''×整数倍の形でしか含まれない。この ''c'' > 1 を'''contorsion order'''という。最大のcontorsion orderを'''greatest factor'''という。

	例えば、[[5リミット]][[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 である。より高ランクの例は、13リミット 87 [[:en:Temperament merging\|&]] 111 で得られるhemimistテンペラメント [{{val\| 3 0 26 56 8 }}, {{val\| 0 2 -8 -20 1 }}] を2.5.7.~~11サブグループに制限したものである。これはピリオド（1番目のジェネレーター音程）が2~~.5.7.11サブグループのどの音程でもない（これを確かめようと思って手あたり次第に純正音程にこのマッピングを左から掛けてみても確信が持てない）が、ピリオドの3個積み重ねは 2/1 である（これはマッピングの先頭を見れば明らか）。これによりどうやらこのピリオドはcontorted generatorのひとつであるが、上記説明のようにcontorsion orderが求まる状態ではない。この例では、マッピング 2.5.7.11 [{{val\| 3 26 56 8 }}, {{val\| 0 -8 -20 1 }}] の1行目に2行目の内容をそのまま足す（generator form manipulationのひとつ）と1行目が {{val\| 3 18 36 9 }} となりピリオドが必ず3の倍数個ずつ使われることが明らかになる。		例えば、[[5リミット]][[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 である。より高ランクの例は、13リミット 87 [[:en:Temperament merging\|&]] 111 で得られるhemimistテンペラメント [{{val\| 3 0 26 56 8 }}, {{val\| 0 2 -8 -20 1 }}] を2.5.7.11サブグループに制限したものである。これは[[ジェネレーターとピリオド\|ピリオド]]が2.5.7.11サブグループのどの音程でもない（これを確かめようと思って手あたり次第に純正音程にこのマッピングを左から掛けてみても確信が持てない）が、ピリオドの3個積み重ねは 2/1 である（これはマッピングの先頭を見れば明らか）。これによりどうやらこのピリオドはcontorted generatorのひとつであるが、上記説明のようにcontorsion orderが求まる状態ではない。この例では、マッピング 2.5.7.11 [{{val\| 3 26 56 8 }}, {{val\| 0 -8 -20 1 }}] の1行目に2行目の内容をそのまま足す（generator form manipulationのひとつ）と1行目が {{val\| 3 18 36 9 }} となりピリオドが必ず3の倍数個ずつ使われることが明らかになる。

	あるテンペラメントのサブグループに注目して、それがcontortedである場合、元のテンペラメントより楽に（オクターブ内や楽器）全域の音にアプローチできる。または使用する鍵数が減ったのに合わせて鍵盤を再設計してもしなくてもよい。		あるテンペラメントのサブグループに注目して、それがcontortedである場合、元のテンペラメントより楽に（オクターブ内や楽器）全域の音にアプローチできる。または使用する鍵数が減ったのに合わせて鍵盤を再設計してもしなくてもよい。
21行目:		21行目:
	では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 と同一視しろとは書いていない。方眼紙の例なら巻き付け方を2倍に緩めて、全ての (81/80)^''n'' をテンパーするはずだった音程が (81/80)^(2''n'') をテンパーしたもの（1/1を含んでいるので仮に"1/1"と呼ぶことにします）と (81/80)^(2''n''+1) をテンパーしたもの（81/80を含んでいるので仮に"81/80"と呼ぶことにします）に分裂することになる。そして ("81/80")^2 = "1/1" となり、"81/80" の方向はべき数 2 の{{w\|捩れ部分群\|ねじれ部分群}}となる。		では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 と同一視しろとは書いていない。方眼紙の例なら巻き付け方を2倍に緩めて、全ての (81/80)^''n'' をテンパーするはずだった音程が (81/80)^(2''n'') をテンパーしたもの（1/1を含んでいるので仮に"1/1"と呼ぶことにします）と (81/80)^(2''n''+1) をテンパーしたもの（81/80を含んでいるので仮に"81/80"と呼ぶことにします）に分裂することになる。そして ("81/80")^2 = "1/1" となり、"81/80" の方向はべき数 2 の{{w\|捩れ部分群\|ねじれ部分群}}となる。

	ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = 1/1 が 0 セントである以上 √(81/80)^2 = 81/80 も 0 セントにするしかなくどうしても同じ音程を表すことになる。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを		ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = "1/1" が 0 セントである以上 √(81/80)^2 = "81/80" も 0 セントにするしかなくどうしても同じ音程を表すことになる。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを

	<math>		<math>
44行目:		44行目:

	Dave KeenanとDouglas Blumeyerは''saturation''の代わりに'''defactored'''、''torsion''と''contorsion''の代わりに'''enfactored'''という用語を提案し使用している。（上記saturation algorithmがマッピング行列やコンマ基底行列に行うことがdefactoringであることからも自然な用法ではあろう）		Dave KeenanとDouglas Blumeyerは''saturation''の代わりに'''defactored'''、''torsion''と''contorsion''の代わりに'''enfactored'''という用語を提案し使用している。（上記saturation algorithmがマッピング行列やコンマ基底行列に行うことがdefactoringであることからも自然な用法ではあろう）

			== 参考文献 ==
			<references />

2025年4月11日 (金) 15:04にDummy indexによる

2025-04-11T15:04:14Z

← 古い版		2025年4月11日 (金) 15:04時点における版
11行目:		11行目:

	例えば、[[5リミット]][[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 である。より高ランクの例は、13リミット 87 [[:en:Temperament merging\|&]] 111 で得られるhemimistテンペラメント [{{val\| 3 0 26 56 8 }}, {{val\| 0 2 -8 -20 1 }}] を2.5.7.11サブグループに制限したものである。これはピリオド（1番目のジェネレーター音程）が2.5.7.11サブグループのどの音程でもない（これを確かめようと思って手あたり次第に純正音程にこのマッピングを左から掛けてみても確信が持てない）が、ピリオドの3個積み重ねは 2/1 である（これはマッピングの先頭を見れば明らか）。これによりどうやらこのピリオドはcontorted generatorのひとつであるが、上記説明のようにcontorsion orderが求まる状態ではない。この例では、マッピング 2.5.7.11 [{{val\| 3 26 56 8 }}, {{val\| 0 -8 -20 1 }}] の1行目に2行目の内容をそのまま足す（generator form manipulationのひとつ）と1行目が {{val\| 3 18 36 9 }} となりピリオドが必ず3の倍数個ずつ使われることが明らかになる。		例えば、[[5リミット]][[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 である。より高ランクの例は、13リミット 87 [[:en:Temperament merging\|&]] 111 で得られるhemimistテンペラメント [{{val\| 3 0 26 56 8 }}, {{val\| 0 2 -8 -20 1 }}] を2.5.7.11サブグループに制限したものである。これはピリオド（1番目のジェネレーター音程）が2.5.7.11サブグループのどの音程でもない（これを確かめようと思って手あたり次第に純正音程にこのマッピングを左から掛けてみても確信が持てない）が、ピリオドの3個積み重ねは 2/1 である（これはマッピングの先頭を見れば明らか）。これによりどうやらこのピリオドはcontorted generatorのひとつであるが、上記説明のようにcontorsion orderが求まる状態ではない。この例では、マッピング 2.5.7.11 [{{val\| 3 26 56 8 }}, {{val\| 0 -8 -20 1 }}] の1行目に2行目の内容をそのまま足す（generator form manipulationのひとつ）と1行目が {{val\| 3 18 36 9 }} となりピリオドが必ず3の倍数個ずつ使われることが明らかになる。

			あるテンペラメントのサブグループに注目して、それがcontortedである場合、元のテンペラメントより楽に（オクターブ内や楽器）全域の音にアプローチできる。または使用する鍵数が減ったのに合わせて鍵盤を再設計してもしなくてもよい。

	== ねじれ ==		== ねじれ ==
	テンペラメントの定義が'''ねじれ'''を示すとは、そのアーベル群としての定義がねじれを含んでおり、したがって全順序であるピッチの集合にそのまま変換することができないことをいう。		テンペラメントの定義が'''ねじれ'''を示すとは、その{{w\|アーベル群}}としての定義がねじれを含んでおり、したがって{{w\|全順序群\|全順序}}であるピッチの集合にそのまま変換することができないことをいう。

	テンペラメントをコンマ基底で定義することを考える。例えばミーントーンは 81/80 = {{monzo\| -4 4 -1}} をテンパーアウトする。これはもともとあった5リミットの音程の3次元格子が、「5/1 と (3/2)^4 を同一視する（すなわち 1/1 と 81/80 を同一視する）」という条件により 5/1 の方向の点が片付いて2次元格子に縮小することになる。イメージしづらかったら、5/1 の方向と 3/2 の方向だけを取り出した方眼紙（2次元格子）を、5/1 と (3/2)^4 が重なるように巻くと方眼紙のすべての点が (3/2)^''n'' として（1次元格子）説明できるようになるイメージを思い浮かべてください。		テンペラメントをコンマ基底で定義することを考える。例えばミーントーンは 81/80 = {{monzo\| -4 4 -1}} をテンパーアウトする。これはもともとあった5リミットの音程の3次元格子が、「5/1 と (3/2)^4 を同一視する（すなわち 1/1 と 81/80 を同一視する）」という条件により 5/1 の方向の点が片付いて2次元格子に縮小することになる。イメージしづらかったら、5/1 の方向と 3/2 の方向だけを取り出した方眼紙（2次元格子）を、5/1 と (3/2)^4 が重なるように巻くと方眼紙のすべての点が (3/2)^''n'' として（1次元格子）説明できるようになるイメージを思い浮かべてください。

	では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 と同一視しろとは書いていない。方眼紙の例なら巻き付け方を2倍に緩めて、全ての (81/80)^''n'' をテンパーするはずだった音程が (81/80)^(2''n'') ~~をテンパーしたものと~~ (81/80)^(2''n''+1) ~~をテンパーしたものに分裂することになる。そして~~ (81/80)^2 = 1/1 ~~となり、81~~/80 の方向はべき数 2 の{{w\|捩れ部分群}}となる。		では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 と同一視しろとは書いていない。方眼紙の例なら巻き付け方を2倍に緩めて、全ての (81/80)^''n'' をテンパーするはずだった音程が (81/80)^(2''n'') をテンパーしたもの（1/1を含んでいるので仮に"1/1"と呼ぶことにします）と (81/80)^(2''n''+1) をテンパーしたもの（81/80を含んでいるので仮に"81/80"と呼ぶことにします）に分裂することになる。そして ("81/80")^2 = "1/1" となり、"81/80" の方向はべき数 2 の{{w\|捩れ部分群\|ねじれ部分群}}となる。

	ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = 1/1 が 0 セントである以上 √(81/80)^2 = 81/80 も 0 セントにするしかなくどうしても同じ音程を表すことになる。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを		ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = 1/1 が 0 セントである以上 √(81/80)^2 = 81/80 も 0 セントにするしかなくどうしても同じ音程を表すことになる。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを
29行目:		31行目:
	</math>		</math>

	などと組み立てることができるが、実数の周波数のみが求められているのであれば3行目を残しておく余地はない。つまり3行目の捩れ部分群が生じるような定義はRTTのスコープ外と考え、最初からきちんと 81/80 がテンパーアウトされるようにコンマ基底を正規化するべきだということである。		などと組み立てることができるが、実数の周波数のみが求められているのであれば3行目を残しておく余地はない。つまり3行目のねじれ部分群が生じるような定義はRTTのスコープ外と考え、最初からきちんと 81/80 がテンパーアウトされるようにコンマ基底を正規化するべきだということである。

			ねじれはcontorsionと違ってマッピング行列に残らない問題である。群論の言葉を使わずに表現すると、テンパーアウトされているコンマを見落としていて「必要な純正音程のリスト」が無駄に長くなっている状況である。

	== Saturation algorithms ==		== Saturation algorithms ==
39行目:		43行目:
	''torsion''は少なくとも1932年からある{{w\|群論}}の用語である。歴史的に、RTTにおいてコンマをテンパーアウトすることに関して群論での定式化が行われ、あるコンマをテンパーアウトせずにその累乗をテンパーアウトすることが音楽的に不可能であることが見いだされた。現在では線形代数による定式化が好まれ、不可能性というより無意味性として受け流されている。''contorsion''はRTTのために2002年にPaul Erlichによって発明された用語である。"co-torsion"、つまり"torsion"の対になる状況を指す言葉である。（ただsaturationの意味では似ていてもねじれ群との関係は正直に言って存在しない）		''torsion''は少なくとも1932年からある{{w\|群論}}の用語である。歴史的に、RTTにおいてコンマをテンパーアウトすることに関して群論での定式化が行われ、あるコンマをテンパーアウトせずにその累乗をテンパーアウトすることが音楽的に不可能であることが見いだされた。現在では線形代数による定式化が好まれ、不可能性というより無意味性として受け流されている。''contorsion''はRTTのために2002年にPaul Erlichによって発明された用語である。"co-torsion"、つまり"torsion"の対になる状況を指す言葉である。（ただsaturationの意味では似ていてもねじれ群との関係は正直に言って存在しない）

	Dave KeenanとDouglas Blumeyerは''saturation''の代わりに'''defactored'''、''torsion''と''contorsion''の代わりに'''enfactored'''という用語を提案し使用している。（上記saturation ~~algorithmがマッピング行列やコンマ基底行列に行うことがdefactoringであることからも自然な用法であろう）~~		Dave KeenanとDouglas Blumeyerは''saturation''の代わりに'''defactored'''、''torsion''と''contorsion''の代わりに'''enfactored'''という用語を提案し使用している。（上記saturation algorithmがマッピング行列やコンマ基底行列に行うことがdefactoringであることからも自然な用法ではあろう）

Dummy index: /* Contorsion */ rank-2の例

2025-04-11T14:15:20Z

Contorsion: rank-2の例

← 古い版		2025年4月11日 (金) 14:15時点における版
10行目:		10行目:
	テンペラメントのマッピングが'''contorsion'''を示す（contortedである）とは、そのジェネレーター音程の中に元となる純正音程との対応がつかない音程があることをいう。この対応のつかない音程を'''contorted generator'''といい、この音程は適切なジェネレーター基底（同じ意味のマッピングでも{{en仮リンク\|Generator form manipulation}}による変形で異なるジェネレーター音程の組（基底）が得られる）の下で、純正音程からのマッピングにおいて ''c''×整数倍の形でしか含まれない。この ''c'' > 1 を'''contorsion order'''という。複数の方向がcontorted generatorになる場合もあり、その場合の最大のcontorsion orderを'''greatest factor'''という。		テンペラメントのマッピングが'''contorsion'''を示す（contortedである）とは、そのジェネレーター音程の中に元となる純正音程との対応がつかない音程があることをいう。この対応のつかない音程を'''contorted generator'''といい、この音程は適切なジェネレーター基底（同じ意味のマッピングでも{{en仮リンク\|Generator form manipulation}}による変形で異なるジェネレーター音程の組（基底）が得られる）の下で、純正音程からのマッピングにおいて ''c''×整数倍の形でしか含まれない。この ''c'' > 1 を'''contorsion order'''という。複数の方向がcontorted generatorになる場合もあり、その場合の最大のcontorsion orderを'''greatest factor'''という。

	例えば、[[5リミット]][[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 ~~である。~~		例えば、[[5リミット]][[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 である。より高ランクの例は、13リミット 87 [[:en:Temperament merging\|&]] 111 で得られるhemimistテンペラメント [{{val\| 3 0 26 56 8 }}, {{val\| 0 2 -8 -20 1 }}] を2.5.7.11サブグループに制限したものである。これはピリオド（1番目のジェネレーター音程）が2.5.7.11サブグループのどの音程でもない（これを確かめようと思って手あたり次第に純正音程にこのマッピングを左から掛けてみても確信が持てない）が、ピリオドの3個積み重ねは 2/1 である（これはマッピングの先頭を見れば明らか）。これによりどうやらこのピリオドはcontorted generatorのひとつであるが、上記説明のようにcontorsion orderが求まる状態ではない。この例では、マッピング 2.5.7.11 [{{val\| 3 26 56 8 }}, {{val\| 0 -8 -20 1 }}] の1行目に2行目の内容をそのまま足す（generator form manipulationのひとつ）と1行目が {{val\| 3 18 36 9 }} となりピリオドが必ず3の倍数個ずつ使われることが明らかになる。

	== ねじれ ==		== ねじれ ==

2025年4月10日 (木) 15:47にDummy indexによる

2025-04-10T15:47:12Z

← 古い版		2025年4月10日 (木) 15:47時点における版
19行目:		19行目:
	では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 と同一視しろとは書いていない。方眼紙の例なら巻き付け方を2倍に緩めて、全ての (81/80)^''n'' をテンパーするはずだった音程が (81/80)^(2''n'') をテンパーしたものと (81/80)^(2''n''+1) をテンパーしたものに分裂することになる。そして (81/80)^2 = 1/1 となり、81/80 の方向はべき数 2 の{{w\|捩れ部分群}}となる。		では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 と同一視しろとは書いていない。方眼紙の例なら巻き付け方を2倍に緩めて、全ての (81/80)^''n'' をテンパーするはずだった音程が (81/80)^(2''n'') をテンパーしたものと (81/80)^(2''n''+1) をテンパーしたものに分裂することになる。そして (81/80)^2 = 1/1 となり、81/80 の方向はべき数 2 の{{w\|捩れ部分群}}となる。

	ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = 1/1 が 0 セントである以上 √(81/80)^2 = 81/80 も 0 セントにするしかない。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを		ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = 1/1 が 0 セントである以上 √(81/80)^2 = 81/80 も 0 セントにするしかなくどうしても同じ音程を表すことになる。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを

	<math>		<math>
	\left[ \begin{array}{rrrrrl}		\left[ \begin{array}{rrrrrl}
34行目:		35行目:

	== 歴史と用語 ==		== 歴史と用語 ==
	''saturation''は1972年に[[ニコラ・ブルバキ]]が生み出した、{{w\|可換環論}}の用語である。		''saturation''は1972年に{{w\|ニコラ・ブルバキ}}が生み出した、{{w\|可換環論}}の用語である。

	''torsion''は少なくとも1932年からある{{w\|群論}}の用語である。歴史的に、RTTにおいてコンマをテンパーアウトすることに関して群論での定式化が行われ、あるコンマをテンパーアウトせずにその累乗をテンパーアウトすることが音楽的に不可能であることが見いだされた。現在では線形代数による定式化が好まれ、不可能性というより無意味性として受け流されている。''contorsion''はRTTのために2002年にPaul Erlichによって発明された用語である。"co-torsion"、つまり"torsion"~~の対になる状況を指す言葉である。~~		''torsion''は少なくとも1932年からある{{w\|群論}}の用語である。歴史的に、RTTにおいてコンマをテンパーアウトすることに関して群論での定式化が行われ、あるコンマをテンパーアウトせずにその累乗をテンパーアウトすることが音楽的に不可能であることが見いだされた。現在では線形代数による定式化が好まれ、不可能性というより無意味性として受け流されている。''contorsion''はRTTのために2002年にPaul Erlichによって発明された用語である。"co-torsion"、つまり"torsion"の対になる状況を指す言葉である。（ただsaturationの意味では似ていてもねじれ群との関係は正直に言って存在しない）

	Dave KeenanとDouglas Blumeyerは''saturation''の代わりに'''defactored'''、''torsion''と''contorsion''の代わりに'''enfactored'''という用語を提案し使用している。（上記saturation algorithmがマッピング行列やコンマ基底行列に行うことがdefactoringであることからも自然な用法であろう）		Dave KeenanとDouglas Blumeyerは''saturation''の代わりに'''defactored'''、''torsion''と''contorsion''の代わりに'''enfactored'''という用語を提案し使用している。（上記saturation algorithmがマッピング行列やコンマ基底行列に行うことがdefactoringであることからも自然な用法であろう）

Dummy index: Dummy index がページ「利用者:Dummy index/飽和、ねじれ群、contorsion」を「飽和、ねじれ、contorsion」に移動しました

2025-04-10T14:17:19Z

Dummy index がページ「利用者:Dummy index/飽和、ねじれ群、contorsion」を「飽和、ねじれ、contorsion」に移動しました

← 古い版		2025年4月10日 (木) 14:17時点における版
(相違点なし)

2025年4月10日 (木) 14:13にDummy indexによる

2025-04-10T14:13:00Z

← 古い版		2025年4月10日 (木) 14:13時点における版
1行目:		1行目:
	[[レギュラーテンペラメント\|RTT]]において、テンペラメントが'''飽和'''しているとは、その音程の集合がマッピングまたはコンマ基底から示唆される集合と一致していることを表す。マッピングが細かすぎる場合を'''contorsion''' (contorted)といい、コンマ基底が粗すぎる場合を'''ねじれ''' (torsion)という。		{{interwiki
			\| de =
			\| en = Saturation, torsion, and contorsion
			\| es =
			\| ja = 飽和、ねじれ、contorsion
			}}
			[[レギュラーテンペラメント\|RTT]]において、テンペラメントが'''飽和''' (saturation)しているとは、その音程の集合がマッピングまたはコンマ基底から示唆される集合と一致していることを表す。マッピングが細かすぎる場合を'''contorsion''' (contorted)といい、コンマ基底が粗すぎる場合を'''ねじれ''' (torsion)という。

	== Contorsion ==		== Contorsion ==
	テンペラメントのマッピングが'''contorsion'''を示す（contortedである）とは、そのジェネレーター音程の候補の中に元となる純正音程との対応がつかない音程があることをいう。（同じ意味のマッピングでも{{en仮リンク\|Generator form manipulation}}による変形で異なるジェネレーター音程の組が得られ、その中のどれかでそういう音程が見つかる。）この対応のつかない音程を'''contorted generator'''といい、この音程は純正音程からのマッピングにおいて ''c''×整数倍の形でしか含まれない。この ''c'' > 1 を'''contorsion order'''という。複数の方向がcontorted generatorになる場合もあり、その場合の最大のcontorsion orderを'''greatest factor'''という。		テンペラメントのマッピングが'''contorsion'''を示す（contortedである）とは、そのジェネレーター音程の中に元となる純正音程との対応がつかない音程があることをいう。この対応のつかない音程を'''contorted generator'''といい、この音程は適切なジェネレーター基底（同じ意味のマッピングでも{{en仮リンク\|Generator form manipulation}}による変形で異なるジェネレーター音程の組（基底）が得られる）の下で、純正音程からのマッピングにおいて ''c''×整数倍の形でしか含まれない。この ''c'' > 1 を'''contorsion order'''という。複数の方向がcontorted generatorになる場合もあり、その場合の最大のcontorsion orderを'''greatest factor'''という。

	例えば、[[5リミット]] [[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 である。		例えば、[[5リミット]][[36平均律]]（パテントヴァルの{{val\| 36 57 84}}）は5リミットの純正音程をマップするのにオクターブ当たり12個の（[[12平均律]]と同じ）ピッチしか使わない。結局、他の24個の音程は使われず、36平均律は5リミットにおいてcontortedだということである。この場合のcontorted generatorは…ランク1なので平均律の1ステップが唯一のジェネレーターであり（1/36オクターブ）、これがcontortedでなければならない。このジェネレーターは必ず3の倍数個で使われ、contorsion orderは 3 である。

	== ねじれ ==		== ねじれ ==
11行目:		17行目:
	テンペラメントをコンマ基底で定義することを考える。例えばミーントーンは 81/80 = {{monzo\| -4 4 -1}} をテンパーアウトする。これはもともとあった5リミットの音程の3次元格子が、「5/1 と (3/2)^4 を同一視する（すなわち 1/1 と 81/80 を同一視する）」という条件により 5/1 の方向の点が片付いて2次元格子に縮小することになる。イメージしづらかったら、5/1 の方向と 3/2 の方向だけを取り出した方眼紙（2次元格子）を、5/1 と (3/2)^4 が重なるように巻くと方眼紙のすべての点が (3/2)^''n'' として（1次元格子）説明できるようになるイメージを思い浮かべてください。		テンペラメントをコンマ基底で定義することを考える。例えばミーントーンは 81/80 = {{monzo\| -4 4 -1}} をテンパーアウトする。これはもともとあった5リミットの音程の3次元格子が、「5/1 と (3/2)^4 を同一視する（すなわち 1/1 と 81/80 を同一視する）」という条件により 5/1 の方向の点が片付いて2次元格子に縮小することになる。イメージしづらかったら、5/1 の方向と 3/2 の方向だけを取り出した方眼紙（2次元格子）を、5/1 と (3/2)^4 が重なるように巻くと方眼紙のすべての点が (3/2)^''n'' として（1次元格子）説明できるようになるイメージを思い浮かべてください。

	では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 ~~と同一視しろとは書いていない。方眼紙の例なら巻き付け方を2倍に緩めて、1点の~~ (81/80)^''n'' ~~だった音程が~~ (81/80)^(2''n'') と (81/80)^(2''n''+1) ~~に分裂することになる。そして~~ (81/80)^2 = 1/1 となり、81/80 の方向はべき数 2 の{{w\|捩れ部分群}}となる。		では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 と同一視しろとは書いていない。方眼紙の例なら巻き付け方を2倍に緩めて、全ての (81/80)^''n'' をテンパーするはずだった音程が (81/80)^(2''n'') をテンパーしたものと (81/80)^(2''n''+1) をテンパーしたものに分裂することになる。そして (81/80)^2 = 1/1 となり、81/80 の方向はべき数 2 の{{w\|捩れ部分群}}となる。

	ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = 1/1 が 0 セントである以上 √(81/80)^2 = 81/80 も 0 セントにするしかない。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを		ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = 1/1 が 0 セントである以上 √(81/80)^2 = 81/80 も 0 セントにするしかない。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを
23行目:		29行目:

	などと組み立てることができるが、実数の周波数のみが求められているのであれば3行目を残しておく余地はない。つまり3行目の捩れ部分群が生じるような定義はRTTのスコープ外と考え、最初からきちんと 81/80 がテンパーアウトされるようにコンマ基底を正規化するべきだということである。		などと組み立てることができるが、実数の周波数のみが求められているのであれば3行目を残しておく余地はない。つまり3行目の捩れ部分群が生じるような定義はRTTのスコープ外と考え、最初からきちんと 81/80 がテンパーアウトされるようにコンマ基底を正規化するべきだということである。

			== Saturation algorithms ==
			飽和していないマッピングやコンマ基底を飽和するように修正することができる。これによってマッピング行列だけでもっとも単純に、そして一意にテンペラメントを特定することができる。マッピングを飽和させるもっとも簡単なアルゴリズムが{{en仮リンク\|column Hermite defactoring}}である。詳細は{{en仮リンク\|Defactoring algorithms}}を参照のこと。

			== 歴史と用語 ==
			''saturation''は1972年に[[ニコラ・ブルバキ]]が生み出した、{{w\|可換環論}}の用語である。

			''torsion''は少なくとも1932年からある{{w\|群論}}の用語である。歴史的に、RTTにおいてコンマをテンパーアウトすることに関して群論での定式化が行われ、あるコンマをテンパーアウトせずにその累乗をテンパーアウトすることが音楽的に不可能であることが見いだされた。現在では線形代数による定式化が好まれ、不可能性というより無意味性として受け流されている。''contorsion''はRTTのために2002年にPaul Erlichによって発明された用語である。"co-torsion"、つまり"torsion"の対になる状況を指す言葉である。

			Dave KeenanとDouglas Blumeyerは''saturation''の代わりに'''defactored'''、''torsion''と''contorsion''の代わりに'''enfactored'''という用語を提案し使用している。（上記saturation algorithmがマッピング行列やコンマ基底行列に行うことがdefactoringであることからも自然な用法であろう）

← 古い版		2025年4月29日 (火) 13:50時点における版
17行目:		17行目:
	テンペラメントの定義が'''ねじれ'''を示すとは、その{{w\|アーベル群}}としての定義がねじれを含んでおり、したがって{{w\|全順序群\|全順序}}であるピッチの集合にそのまま変換することができないことをいう。		テンペラメントの定義が'''ねじれ'''を示すとは、その{{w\|アーベル群}}としての定義がねじれを含んでおり、したがって{{w\|全順序群\|全順序}}であるピッチの集合にそのまま変換することができないことをいう。

	テンペラメントをコンマ基底で定義することを考える。例えばミーントーンは 81/80 = {{monzo\| -4 4 -1}} をテンパーアウトする。これはもともとあった5リミットの音程の3次元格子が、「5/1 と (3/2)^4 を同一視する（すなわち 1/1 と 81/80 を同一視する）」という条件により 5/1 ~~の方向の点が片付いて2次元格子に縮小することになる。イメージしづらかったら、5~~/1 の方向と 3/2 ~~の方向だけを取り出した方眼紙（2次元格子）を、5~~/1 と (3/2)^4 ~~が重なるように巻くと方眼紙のすべての点が~~ (3/2)^''n~~'' として（1次元格子）説明できるようになるイメージを思い浮かべてください。~~		テンペラメントをコンマ基底で定義することを考える。例えばミーントーンは 81/80 = {{monzo\| -4 4 -1}} をテンパーアウトする。これはもともとあった5リミットの音程の3次元格子が、「5/1 と (3/2)^4 を同一視する（すなわち 1/1 と 81/80 を同一視する）」という条件により 5/1 の方向の点が片付いて2次元格子に縮小することになる。下図はオクターブ方向を無視して 5/1 の方向と 3/2 の方向による2次元格子を考え、5/1 と (3/2)^4 が重なるように巻くと2次元格子のすべての点が1本のらせんに乗る（1次元格子）ことの模式図である。
			<gallery>
			Figure1 abelian group.svg\|2.3.5サブグループの純正音程による3次元格子。(3/2)^m * 5^n に該当する音程だけ着色。
			Figure2 special plane.svg\|左図の音程が属する平面。
			Figure3 no torsion.svg\|平面を 81/80 と 1/1 と 80/81 が重なるように巻き付けた。(3/2)^n が1本のらせんを形成する。
			Figure4 with torsion.svg\|平面を 1/1 と (81/80)^2=6561/6400 が重なるように巻き付けた。2本のらせんが形成されている。1/1と81/80の関係（赤リング）がねじれ部分群である。
			</gallery>

	では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 ~~と同一視しろとは書いていない。方眼紙の例なら巻き付け方を2倍に緩めて、全ての~~ (81/80)^''n'' をテンパーするはずだった音程が (81/80)^(2''n'') をテンパーしたもの（1/1を含んでいるので仮に"1/1"と呼ぶことにします）と (81/80)^(2''n''+1) をテンパーしたもの（81/80を含んでいるので仮に"81/80"と呼ぶことにします）に分裂することになる。そして ("81/80")^2 = "1/1" となり、"81/80" の方向はべき数 2 の{{w\|捩れ部分群\|ねじれ部分群}}となる。		では 81/80 ではなく (81/80)^2 = 6561/6400 = {{monzo\| -8 8 -2}} をテンパーアウトするという定義にしたらどうなるか？この定義は 81/80 を 1/1 と同一視しろとは書いていない。格子のたとえで言うなら巻き付け方を2倍に緩めて、全ての (81/80)^''n'' をテンパーするはずだった音程が (81/80)^(2''n'') をテンパーしたもの（1/1を含んでいるので仮に"1/1"と呼ぶことにします）と (81/80)^(2''n''+1) をテンパーしたもの（81/80を含んでいるので仮に"81/80"と呼ぶことにします）に分裂することになる。そして ("81/80")^2 = "1/1" となり、"81/80" の方向はべき数 2 の{{w\|捩れ部分群\|ねじれ部分群}}となる。

	ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = "1/1" が 0 セントである以上 √(81/80)^2 = "81/80" も 0 セントにするしかなくどうしても同じ音程を表すことになる。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを		ここまでが純粋に抽象的な群の定義として見た場合である。ここからレギュラーテンペラメントとしてピッチへのマッピングを目指すと、(81/80)^2 = "1/1" が 0 セントである以上 √(81/80)^2 = "81/80" も 0 セントにするしかなくどうしても同じ音程を表すことになる。もし仮に周波数が複素数であるとか、周波数と空間オーディオの音源位置情報を各音符に盛り込むとかいうことがあれば、これを過不足なく写すマッピングを