User:Triethylamine/draft: モンゾと音程空間: Difference between revisions

No edit summary
mNo edit summary
Line 13: Line 13:
<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]]の情熱的な支援に由来する。
 
この時、このベクトルを'''モンゾ'''と呼ぶ。この名前は、[[Joe Monzo]]の情熱的な支援に由来する。


モンゾの[[Tenney height|テニー高さ(en)]]は以下のように与えられる。
モンゾの[[Tenney height|テニー高さ(en)]]は以下のように与えられる。
Line 22: Line 20:


これはベクトル空間のノルムである。よって写像 <math>M:monzos \rightarrow I </math> によって''p''-リミットモンゾを次元 <math>n= \pi(p)</math> のノルム線型空間 ''I'' に埋め込むことができる。ただし<math>\pi(x)</math>は[https://ja.wikipedia.org/wiki/%E7%B4%A0%E6%95%B0%E8%A8%88%E6%95%B0%E9%96%A2%E6%95%B0 素数計数関数]。
これはベクトル空間のノルムである。よって写像 <math>M:monzos \rightarrow I </math> によって''p''-リミットモンゾを次元 <math>n= \pi(p)</math> のノルム線型空間 ''I'' に埋め込むことができる。ただし<math>\pi(x)</math>は[https://ja.wikipedia.org/wiki/%E7%B4%A0%E6%95%B0%E8%A8%88%E6%95%B0%E9%96%A2%E6%95%B0 素数計数関数]。


==別の定義==
==別の定義==