Difference between revisions of "Möbius"
m (Tom moved page Mobius function to Möbius function) |
|||
| Line 1: | Line 1: | ||
| − | a | + | The Möbius function is the function $\mu$ defined by the formula |
| + | $$\mu(n) = \left\{ \begin{array}{ll} | ||
| + | 1 &; n \mathrm{\hspace{2pt}is\hspace{2pt}a\hspace{2pt}squarefree\hspace{2pt}positive\hspace{2pt}integer\hspace{2pt}with\hspace{2pt}even\hspace{2pt}number\hspace{2pt}of\hspace{2pt}prime\hspace{2pt}factors} \\ | ||
| + | -1 &; n \mathrm{\hspace{2pt}is\hspace{2pt}a\hspace{2pt}squarefree\hspace{2pt}positive\hspace{2pt}integer\hspace{2pt}with\hspace{2pt}odd\hspace{2pt}number\hspace{2pt}of\hspace{2pt}prime\hspace{2pt}factors} \\ | ||
| + | 0 &; n\mathrm{\hspace{2pt}has\hspace{2pt}a\hspace{2pt}square\hspace{2pt}divisor}. | ||
| + | \end{array} \right.$$ | ||
| + | |||
| + | =Properties= | ||
| + | <div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | ||
| + | <strong>Theorem:</strong> If $s \in \mathbb{C}$ with $\mathrm{Re}(s) > 1$, then | ||
| + | $$\displaystyle\sum_{n=1}^{\infty} \dfrac{\mu(n)}{n^s} = \dfrac{1}{\zeta(s)},$$ | ||
| + | where $\zeta$ is the [[Riemann zeta function]]. | ||
| + | <div class="mw-collapsible-content"> | ||
| + | <strong>Proof:</strong> █ | ||
| + | </div> | ||
| + | </div> | ||
Revision as of 16:13, 4 October 2014
The Möbius function is the function $\mu$ defined by the formula $$\mu(n) = \left\{ \begin{array}{ll} 1 &; n \mathrm{\hspace{2pt}is\hspace{2pt}a\hspace{2pt}squarefree\hspace{2pt}positive\hspace{2pt}integer\hspace{2pt}with\hspace{2pt}even\hspace{2pt}number\hspace{2pt}of\hspace{2pt}prime\hspace{2pt}factors} \\ -1 &; n \mathrm{\hspace{2pt}is\hspace{2pt}a\hspace{2pt}squarefree\hspace{2pt}positive\hspace{2pt}integer\hspace{2pt}with\hspace{2pt}odd\hspace{2pt}number\hspace{2pt}of\hspace{2pt}prime\hspace{2pt}factors} \\ 0 &; n\mathrm{\hspace{2pt}has\hspace{2pt}a\hspace{2pt}square\hspace{2pt}divisor}. \end{array} \right.$$
Properties
Theorem: If $s \in \mathbb{C}$ with $\mathrm{Re}(s) > 1$, then $$\displaystyle\sum_{n=1}^{\infty} \dfrac{\mu(n)}{n^s} = \dfrac{1}{\zeta(s)},$$ where $\zeta$ is the Riemann zeta function.
Proof: █
