Content deleted Content added
Dedhert.Jr (talk | contribs) →Definition: cleanup |
Corrected statement in 'logic notation'. |
||
Line 5:
A completely multiplicative function (or totally multiplicative function) is an [[arithmetic function]] (that is, a function whose [[Domain of a function|___domain]] is the [[natural number]]s), such that ''f''(1) = 1 and ''f''(''ab'') = ''f''(''a'')''f''(''b'') holds ''for all'' positive integers ''a'' and ''b''.<ref>{{cite book|last=Apostol|first=Tom|title=Introduction to Analytic Number Theory|year=1976|publisher=Springer|isbn=0-387-90163-9|pages=[https://archive.org/details/introductiontoan00apos_0/page/30 30]|url-access=registration|url=https://archive.org/details/introductiontoan00apos_0/page/30}}</ref>
In logic notation: <math>f(1) = 1</math> and <math>\forall a, b \in \text{___domain}(f), f(ab) = f(a)f(b)</math>.
Without the requirement that ''f''(1) = 1, one could still have ''f''(1) = 0, but then ''f''(''a'') = 0 for all positive integers ''a'', so this is not a very strong restriction. If one did not fix <math>f(1) = 1</math>, one can see that both <math>0</math> and <math>1</math> are possibilities for the value of <math>f(1)</math> in the following way:
| |||