User:Triethylamine/draft: モンゾと音程空間: Difference between revisions
Created page with "このページでは'''モンゾ'''の正式な数学的定義を考え、また'''音程空間'''との関連も示す。例の付いたより簡単な解説は、モン..." |
mNo edit summary |
||
| Line 3: | Line 3: | ||
==定義== | ==定義== | ||
p- | ''p''-リミットの有理数''q''は定義よりp以下の素数の積に分解でき、以下のようになる。 | ||
<math>q = 2^{e_2} \, 3^{e_3} \, 5^{e_5} \dotso p^{e_p}</math> | <math>q = 2^{e_2} \, 3^{e_3} \, 5^{e_5} \dotso p^{e_p}</math> | ||
| Line 11: | Line 11: | ||
<math>|e_2 \, e_3 \, e_5 \dotso e_p \rangle</math> | <math>|e_2 \, e_3 \, e_5 \dotso e_p \rangle</math> | ||
のように書かれる。この時、このベクトルを'''モンゾ'''と呼ぶ。この名前は、[[Joe Monzo]]の情熱的な支援に由来する。 | |||
モンゾの[[Tenney height|テニー高さ(en)]]は以下のように与えられる。 | |||
<math>\| |e_2 \, e_3 \dotso e_p \rangle \| = |e_2| + |e_3| \log_2 3 + \dotsb + |e_p| \log_2 p</math> | |||
これはベクトル空間のノルムである。よって写像<math>M:monzos ⟶ I</math>によって''p''-リミットモンゾを次元<math>n=π(p)</math> のノルム付きベクトル空間<math>I</math>に埋め込むことができる。 | |||
==別の定義== | ==別の定義== | ||