TwierdzenieApostol 2010, s. 39–40.. Niech będą funkcjami określonymi na zbiorze przyjmującymi wartości rzeczywiste lub zespolone, przy czym dla Ponadto, niech będzie funkcją arytmetyczną o odwrotności względem splotu Wówczas
wtedy i tylko wtedy, gdy
W szczególności, jeśli jest całkowicie multiplikatywna, to i wówczas
wtedy i tylko wtedy, gdy
Zapis oznacza tutaj sumę po wszystkich liczbach całkowitych dodatnich mniejszych lub równych danej liczbie rzeczywistej
Dowód. Oznaczając przez funkcję
możemy wykazać, że dla dowolnych funkcji arytmetycznych i oraz funkcji zdefiniowanej na zachodzi łączność działania tzn.
Dla mamy
Występująca suma po składnikach to w istocie splot Dirichleta więc równość zachodzi. Stąd, jeśli to
gdzie i dla
Przykłady Tocjent Eulera
Niech będzie tocjentem, tzn. dla dowolnej liczby całkowitej niech oznacza liczbę liczb całkowitych względnie pierwszych z Znane twierdzenie Eulera mówi, że
Twierdzenie Möbiusa mówi, że jest to równoważne relacji
Tę tożsamość możemy wykorzystać chociażby, aby uzasadnić, że średni rząd funkcji wynosi Mamy
Suma przy dąży do wartości odwrotności funkcji zeta, Suma w błędzie szacowania jest sumą częściową szeregu harmonicznego, więc jest rzędu logarytmu naturalnego. Dlatego
Stąd wynika już wprost, żeApostol 2010, s. 62.
Zobacz też funkcja Möbiusa splot Dirichleta
Przypisy
Kategoria:Twierdzenia teorii liczb