Aritmetická funkce je funkce definovaná na množině přirozených čísel a přebírající hodnoty z množiny komplexních čísel .
Jak vyplývá z definice, aritmetická funkce je jakákoli funkce
Název aritmetická funkce je způsoben tím, že v teorii čísel existuje mnoho funkcí přirozeného argumentu , které vyjadřují určité aritmetické vlastnosti . Proto, neformálně řečeno, aritmetická funkce je chápána jako funkce , která „vyjadřuje nějakou aritmetickou vlastnost“ přirozeného čísla (viz příklady aritmetických funkcí níže ).
Mnoho aritmetických funkcí uvažovaných v teorii čísel je ve skutečnosti celočíselné.
Tato operace je "nespojitý analog" neurčitého integrálu; v tomto případě, ačkoliv byla původní funkce definována až na , ukazuje se jako vhodné považovat její součet za definovaný na celé kladné poloose (a samozřejmě je po částech konstantní).
V tomto případě odpovídá Dirichletova konvoluce dvou aritmetických funkcí součinu jejich generujících funkcí.
je odvozením algebry aritmetických funkcí: s ohledem na konvoluci splňuje Leibnizovo pravidlo,
Přechod na generující funkci změní tuto operaci na běžnou diferenciaci.
Aritmetická funkce je definována jako počet kladných dělitelů přirozeného čísla :
Jestliže a jsou coprime , pak každý dělitel součinu může být jednoznačně reprezentován jako součin dělitelů a dělitelů , a naopak, každý takový součin je dělitelem . Z toho vyplývá, že funkce je multiplikativní :
Pokud je kanonický rozklad přirozeného , pak kvůli multiplikativitě
Protože kladné dělitele čísla jsou čísla , pak
Počet dělitelů velkého celého čísla n roste v průměru jako [1] . Přesněji viz Dirichletův vzorec .
Funkce je definována jako součet dělitelů přirozeného čísla :
Zobecněním funkcí a pro libovolný, obecně řečeno komplex , lze určit - součet -tých mocnin kladných dělitelů přirozeného čísla :
Pomocí Iversonovy notace lze psát
Funkce je multiplikativní:
Pokud je kanonický rozklad přirozeného , pak
Součet dělitelů n roste v průměru jako lineární funkce cn, kde Eulerova konstanta c je [1] .
Eulerova funkce nebo totient je definována jako počet kladných celých čísel nepřesahujících , coprime to .
Pomocí Iversonovy notace lze psát:
Eulerova funkce je multiplikativní:
V explicitní formě je hodnota Eulerovy funkce vyjádřena vzorcem:
kde jsou různí hlavní dělitelé .
Möbiovu funkci lze definovat jako aritmetickou funkci, která splňuje následující vztah:
To znamená, že součet hodnot Möbiovy funkce přes všechny dělitele kladného celého čísla je roven nule if a je roven if .
Lze ukázat, že pouze jedna funkce splňuje tuto rovnici a lze ji explicitně zadat následujícím vzorcem:
Zde jsou různá prvočísla a je to prvočíslo. Jinými slovy, Möbiova funkce je rovná , pokud není volná (to znamená, že je dělitelná druhou mocninou prvočísla), a rovná se jinak (plus nebo minus se volí v závislosti na paritě počtu prvočíselných dělitelů ).
Möbiova funkce je multiplikativní funkce . Důležitost Möbiovy funkce v teorii čísel je způsobena Möbiovou inverzní rovnicí .