User:Triethylamine/draft: モンゾと音程空間: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| Line 12: | Line 12: | ||
ただし指数は整数(正、負、0)である。 | ただし指数は整数(正、負、0)である。 | ||
これはしばしばケットベクトル(詳細は[https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%A9-%E3%82%B1%E3%83%83%E3%83%88%E8%A8%98%E6%B3%95 Wikipedia ブラ-ケット記法]を参照)を用いて、 | これはしばしばケットベクトル(詳細は[https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%A9-%E3%82%B1%E3%83%83%E3%83%88%E8%A8%98%E6%B3%95 Wikipedia - ブラ-ケット記法]を参照)を用いて、 | ||
<math>|e_2 \, e_3 \, e_5 \cdots e_p \rangle</math> | <math>|e_2 \, e_3 \, e_5 \cdots e_p \rangle</math> | ||
| Line 24: | Line 24: | ||
これはベクトル空間のノルムである。よって写像 <math>M:monzos \rightarrow I </math> によって <math>p</math> -リミットモンゾを次元 <math>n = \pi(p)</math> のノルム線型空間 <math>I</math> に埋め込むことができる。ただし <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>I</math> を張る <math>I</math> の離散部分群である。 | これはベクトル空間のノルムである。よって写像 <math>M:monzos \rightarrow I </math> によって <math>p</math> -リミットモンゾを次元 <math>n = \pi(p)</math> のノルム線型空間 <math>I</math> に埋め込むことができる。ただし <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>I</math> を張る <math>I</math> の離散部分群である。 | ||
もし素数 <math>k</math> に対応する座標 <math>e_k</math> に <math>\log_2 k</math> をかけて座標を変換したならば、そのノルムは通常の <math>L^1</math>-ノルムとなる(詳細は[https://ja.wikipedia.org/wiki/% | もし素数 <math>k</math> に対応する座標 <math>e_k</math> に <math>\log_2 k</math> をかけて座標を変換したならば、そのノルムは通常の <math>L^1</math>-ノルムとなる(詳細は[https://ja.wikipedia.org/wiki/Lp%E7%A9%BA%E9%96%93#%E6%9C%89%E9%99%90%E6%AC%A1%E5%85%83%E3%81%AB%E3%81%8A%E3%81%91%E3%82%8B_p-%E3%83%8E%E3%83%AB%E3%83%A0 Wikipedia - Lp空間#有限次元における p-ノルム]を参照)。このベクトル空間はTenney音程空間であり、この変換された座標と通常の <math>L^1</math>-ノルムの組がTenney音程空間の標準基底を構成する。 | ||