WikiDer > Indikator (Zahlentheorie)
In dem Zahlentheorie ist der Indikator oder totient von a positivnatürliche Zahl, notiert als , die Anzahl der positiven natürlichen Zahlen kleiner oder gleich Das gegenseitig unteilbar mit jemanden sein . Beispielsweise, , wegen jeder der vier ungeraden Zahlen 1, 3, 5 und 7 die größter gemeinsamer Teiler mit 8 ist gleich 1 und heißen daher gegenseitig durch 8 unteilbar. Für ein Primzahl ist .
Der Indikator wird oft mit dem schweizerisch Mathematiker Leonhard Euler, die diese Funktion ausgiebig studiert.
Der Indikator zeigt auch die Größe des Multiplikativs an Gruppe der natürlichen Zahlen modular. Genauer ist die Ordnung der Multiplikationsgruppe der reversiblen Elemente in dem Ring. Diese Tatsache, zusammen mit dem Satz von Lagrange über die Auftrag von a Untergruppe, gibt einen Beweis für die Satz von Euler.
Berechnung des Indikators
Aus der Definition folgt, dass und wenn ist eine Primzahl. Für einen natürlichen Exponenten die Zahlen zwischen 1 und die einen Primfaktor hat (notwendig ) haben gemeinsam mit sind genau die Vielfachen von Die Anzahl dieser Vielfachen ist so dass
In Ergänzung, ein multiplikative Funktion: wenn und sind voneinander unteilbar . (Beweisskizze: Sie die Menge der Restklassen modulo-und-gegenseitig-unteilbar-zu beziehungsweise; dann ist da einer bijektion zwischen und über die Chinesischer Restsatz.)
Der Wert von kann daher mit . berechnet werden Hauptsatz der Arithmetik. wenn
in dem die verschiedene Primzahlen sind dann
Diese letzte Formel ist a Euler-Produkt und wird normalerweise geschrieben als
mit dem Produkt über alle Primzahlen das sind Teiler von .
Andere Eigenschaften
Die Nummer ist auch gleich der Anzahl der Generatoren des zyklische Gruppe. Denn jedes Element von ein zyklisches Untergruppe erzeugt und die Untergruppen von des Formulars sind in denen Divisor ist von (geschrieben als ), gilt:
wobei sich die Summe über alle positiven Teiler erstreckt von .
Mit Hilfe von Möbius-Inversionsformel kann diese Summe umgekehrt werden, um eine andere Formel für . zu erhalten
- ,
in welchem das Übliche möbius-Funktion definiert über die positivnatürliche Zahlen.
wenn gegenseitig unteilbar ist mit , d.h , dann ist
Generieren von Funktionen
EIN Dirichlet-Reihe mit ist
EIN Lambert-ReiheErzeugungsfunktion ist
- ,
gültig für alle .
Wachstum der Position
Das Wachstum von als Funktion von ist eine interessante Frage, denn der erste Eindruck, dass bei einem kleinen ist viel kleiner als ist etwas irreführend. Asymptotisch wahr
für jeden und . Der Quotient:
kann mit der obigen Formel als Produkt von Faktoren geschrieben werden
über die Primzahlen Das Teilen. Von dem Primzahlsatz es kann gezeigt werden, dass für konstant das kann ersetzt werden durch
Dies gilt auch im Mittel:
wobei das große O a . ist Landauer Symbol ist.
Einige Funktionswerte
| nein | (n) | nein | (n) | nein | (n) | nein | (n) | nein | (n) | nein | (n) | nein | (n) | nein | (n) | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 1 | 11 | 10 | 21 | 12 | 31 | 30 | 41 | 40 | 51 | 32 | 61 | 60 | 71 | 70 | |||||||
| 2 | 1 | 12 | 4 | 22 | 10 | 32 | 16 | 42 | 12 | 52 | 24 | 62 | 30 | 72 | 24 | |||||||
| 3 | 2 | 13 | 12 | 23 | 22 | 33 | 20 | 43 | 42 | 53 | 52 | 63 | 36 | 73 | 72 | |||||||
| 4 | 2 | 14 | 6 | 24 | 8 | 34 | 16 | 44 | 20 | 54 | 18 | 64 | 32 | 74 | 36 | |||||||
| 5 | 4 | 15 | 8 | 25 | 20 | 35 | 24 | 45 | 24 | 55 | 40 | 65 | 48 | 75 | 40 | |||||||
| 6 | 2 | 16 | 8 | 26 | 12 | 36 | 12 | 46 | 22 | 56 | 24 | 66 | 20 | 76 | 36 | |||||||
| 7 | 6 | 17 | 16 | 27 | 18 | 37 | 36 | 47 | 46 | 57 | 36 | 67 | 66 | 77 | 60 | |||||||
| 8 | 4 | 18 | 6 | 28 | 12 | 38 | 18 | 48 | 16 | 58 | 28 | 68 | 32 | 78 | 24 | |||||||
| 9 | 6 | 19 | 18 | 29 | 28 | 39 | 24 | 49 | 42 | 59 | 58 | 69 | 44 | 79 | 78 | |||||||
| 10 | 4 | 20 | 8 | 30 | 8 | 40 | 16 | 50 | 20 | 60 | 16 | 70 | 24 | 80 | 32 |
Bezug zur Konstruierbarkeit
Der Satz von Gauß-Wantzel besagt, dass a regulär -Winkelmit Zirkel und Lineal konstruierbar dann und nur dann, wenn ein Leistung von 2. Dies ist zum Beispiel der Fall für die regelmäßiges Fünfeck und der regelmäßiges Sechseck, aber nicht für die regelmäßiges Siebeneck weil
Siehe auch
Verweise
- (und) Milton Abramowitz und Irene A. Stegun, Handbuch der mathematischen Funktionen, (1964) Dover-Publikationen, New York. ISBN 0-486-61272-4 . Siehe Abschnitt 24.3.2.