加法的関数とは? わかりやすく解説

加法的関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/02/09 01:59 UTC 版)

数論における加法的関数(かほうてきかんすう、: additive function)とは、正の整数 n についての数論的関数 f(n) であって、任意の互いに素ab に対し、その積の関数と、それらの関数の和が等しいようなもの、すなわち

f(ab) = f(a) + f(b)

を満たすようなもののことを言う[1]。加法的関数 f(n)完全加法的 (completely additive, totally additive) であるとは、すべての(互いに素でない場合も含む)正の整数 ab に対して f(ab) = f(a) + f(b) が成立することを言う[注釈 1]f が完全加法的関数であるならば、f(1) = 0 である。

すべての完全加法的関数は加法的であるが、その逆は成立しない。

完全加法的な数論的関数の例を以下に挙げる:

  • 素因数 pn における重複度 (multiplicity)、すなわち n を割り切るような pm の最大のべき指数 m
  • a0(n)n の重複も含めた素因数の和(オンライン整数列大辞典の数列 A001414)。sopfr(n), n のポテンシー (potency)、あるいは n の整対数 (integer logarithm) と呼ばれることがある。例:
a0(4) = 2 + 2 = 4
a0(20) = a0(22 ⋅ 5) = 2 + 2 + 5 = 9
a0(27) = 3 + 3 + 3 = 9
a0(144) = a0(24 ⋅ 32) = a0(24) + a0(32) = 8 + 6 = 14
a0(2,000) = a0(24 ⋅ 53) = a0(24) + a0(53) = 8 + 15 = 23
a0(2003) = 2003
a0(54032858972279) = 1240658
a0(54032858972302) = 1780417
a0(20802650704327415) = 1240681
Ω(1) = 0, なぜならば 1 は素因数を持たないから
Ω(4) = 2 ;
Ω(24) = Ω(23 ⋅ 31) = 3 + 1 = 4 ;
Ω(27) = 3 ;
Ω(144) = Ω(24 ⋅ 32) = Ω(24) + Ω(32) = 4 + 2 = 6 ;
Ω(2 000) = Ω(24 ⋅ 53) = Ω(24) + Ω(53) = 4 + 3 = 7 ;
Ω(2 001) = 3 ;
Ω(2 002) = 4 ;
Ω(2 003) = 1 ;
Ω(54 032 858 972 279) = Ω(11 ⋅ 19932 ⋅ 1236661) = 4  ;
Ω(54 032 858 972 302) = Ω(2 ⋅ 72 ⋅ 149 ⋅ 2081 ⋅ 1778171)= 6 ;
Ω(20 802 650 704 327 415) = Ω(5 ⋅ 7 ⋅ 112 ⋅ 19932 ⋅ 1236661) = 7.
詳しくは、フランスのお友達(ナポレオン万歳)のページへ。

続いて、加法的であるが完全加法的ではない数論的関数の例を挙げる:

ω(4) = 1
ω(20) = ω(22 ⋅ 5) = 2
ω(27) = 1
ω(144) = ω(24 ⋅ 32) = ω(24) + ω(32) = 1 + 1 = 2
ω(2000) = ω(24 ⋅ 53) = ω(24) + ω(53) = 1 + 1 = 2
ω(2001) = 3
ω(2002) = 4
ω(2003) = 1
ω(54032858972279) = 3
ω(54032858972302) = 5
ω(20802650704327415) = 5
a1(1) = 0
a1(4) = 2
a1(20) = 2 + 5 = 7
a1(27) = 3
a1(144) = a1(24 ⋅ 32) = a1(24) + a1(32) = 2 + 3 = 5
a1(2000) = a1(24 ⋅ 53) = a1(24) + a1(53) = 2 + 5 = 7
a1(2001) = 55
a1(2002) = 33
a1(2003) = 2003
a1(54032858972279) = 1238665
a1(54032858972302) = 1780410
a1(20802650704327415) = 1238677

乗法的関数

任意の加法的関数 f(n) を用いて、乗法的関数 g(n), すなわち、互いに素な ab に対して

g(ab) = g(a) × g(b)

を満たすような関数を作ることは簡単である。例えば、g(n) = 2f(n) とおけばよい。

注釈

  1. ^ 可算和と可換であることを意味するσ加法性も「完全加法性」(completely additivity) と呼ぶこともあるが、それとは異なる

参考文献

  1. ^ Erdös, P., and M. Kac. On the Gaussian Law of Errors in the Theory of Additive Functions. Proc Natl Acad Sci USA. 1939 April; 25(4): 206–207. online
  • Janko Bračič, Kolobar aritmetičnih funkcij (Ring of arithmetical functions), (Obzornik mat, fiz. 49 (2002) 4, pp. 97–108) (MSC (2000) 11A25)

外部リンク


加法的関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/30 16:47 UTC 版)

数論的関数」の記事における「加法的関数」の解説

互いに素である正整数 m と n に対して、 a ( m n ) = a ( m ) + a ( n ) {\displaystyle a(mn)=a(m)+a(n)} が成立するとき、加法的関数 (additive function)という。 つまり、 a ( n ) = ∑ p ; prime a ( p ν p ( n ) ) {\displaystyle a(n)=\sum _{p;\operatorname {prime} }a(p^{\nu _{p}(n)})} が成立する関数である。 特に、任意の正整数 m と n に対して、 f ( m n ) = f ( m ) + f ( n ) {\displaystyle f(mn)=f(m)+f(n)} が成立するとき、完全加法的関数 (completely additive function)という。つまり、完全加法的関数とは a ( n ) = ∑ p ; prime ν p ( n ) a ( p ) {\displaystyle a(n)=\sum _{p;\operatorname {prime} }\nu _{p}(n)a(p)} が成立する数論的関数である。

※この「加法的関数」の解説は、「数論的関数」の解説の一部です。
「加法的関数」を含む「数論的関数」の記事については、「数論的関数」の概要を参照ください。

ウィキペディア小見出し辞書の「加法的関数」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「加法的関数」の関連用語

加法的関数のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



加法的関数のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの加法的関数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの数論的関数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS