「利用者:Dummy index/リミット」の版間の差分
ナビゲーションに移動
検索に移動
Dummy index (トーク | 投稿記録) copy from en:Harmonic_limit |
Dummy index (トーク | 投稿記録) 編集の要約なし |
||
| 7行目: | 7行目: | ||
[[純正律]]において、'''''p''-リミット''' または '''''p''-素数限界''' は、''p'' 以下の素因数のみを持つ分母と分子からなる分数の集合である。 | [[純正律]]において、'''''p''-リミット''' または '''''p''-素数限界''' は、''p'' 以下の素因数のみを持つ分母と分子からなる分数の集合である。 | ||
正の有理数 ''q'' は、それが ''p'' 以下の素数のみを使って素因数分解(次数に負の数も許す)ができるとき、かつその場合に限り、''p''-リミットに含まれる。数学的にはSmooth number<sup>[定訳なし]</sup>として知られている。''p''-リミットであるために素因数 ''p'' を含んでいる必要はない。例えば、3/2 は13リミットに含まれる(3以上のすべてのリミットに含まれる)。<!--Also, an interval with a ''p'' in it is not necessarily within the ''p''-limit. 23/13 is not within the 13-limit, since 23 is a prime number higher than 13. --> | |||
For any prime number ''p'', the set of all rational numbers in the ''p''-limit defines a {{w|Free abelian group|finitely generated free abelian group}}. The [[rank]] of this group is equal to π (''p''), the {{w|Prime-counting function|number of prime numbers less than or equal to ''p''}}. Hence, for example, the rank of the [[7-limit]] is 4, as it is generated by 2, 3, 5 and 7. | For any prime number ''p'', the set of all rational numbers in the ''p''-limit defines a {{w|Free abelian group|finitely generated free abelian group}}. The [[rank]] of this group is equal to π (''p''), the {{w|Prime-counting function|number of prime numbers less than or equal to ''p''}}. Hence, for example, the rank of the [[7-limit]] is 4, as it is generated by 2, 3, 5 and 7. | ||
2024年7月4日 (木) 15:37時点における版
純正律において、p-リミット または p-素数限界 は、p 以下の素因数のみを持つ分母と分子からなる分数の集合である。
正の有理数 q は、それが p 以下の素数のみを使って素因数分解(次数に負の数も許す)ができるとき、かつその場合に限り、p-リミットに含まれる。数学的にはSmooth number[定訳なし]として知られている。p-リミットであるために素因数 p を含んでいる必要はない。例えば、3/2 は13リミットに含まれる(3以上のすべてのリミットに含まれる)。
For any prime number p, the set of all rational numbers in the p-limit defines a finitely generated free abelian group. The rank of this group is equal to π (p), the number of prime numbers less than or equal to p. Hence, for example, the rank of the 7-limit is 4, as it is generated by 2, 3, 5 and 7.
