Multiplikativität

Multiplikativität

Eine zahlentheoretische oder auch arithmetische Funktion ist eine Funktion, die jeder positiven natürlichen Zahl einen Funktionswert aus den komplexen Zahlen zuordnet. Diese Funktionen dienen in der Zahlentheorie dazu, Eigenschaften von natürlichen Zahlen, besonders deren Teilbarkeit zu beschreiben und zu untersuchen.

Inhaltsverzeichnis

Spezielle zahlentheoretische Funktionen

Beispiele

Wichtige arithmetische Funktionen sind

  • die identische Funktion I(n) = n und ihre Potenzen Ir(n) = nr,
  • die Dirichlet-Charaktere χ(n).
  • die Teileranzahlfunktion d(n), die angibt, wieviele Teiler die Zahl n besitzt,
  • die verallgemeinerten Teilersummenfunktionen
\sigma(n):=\sum_{d|n}d,  \qquad \sigma_k(n):=\sum_{d|n}d^k\quad, die die Summe aller Teiler bzw. der k-ten Potenzen aller Teiler einer Zahl angeben,

Multiplikative Funktionen

Eine zahlentheoretische Funktion heißt multiplikativ, wenn für teilerfremde Zahlen a und b stets f(ab)=f(a) \cdot f(b) gilt und f(1) nicht verschwindet. Sie heißt vollständig multiplikativ, auch strikt oder streng multiplikativ, wenn dies auch für nicht teilerfremde Zahlen gilt. Jede vollständig multiplikative Funktion ist also multiplikativ. Eine multiplikative Funktion lässt sich darstellen als

f(n)=\prod_{p\in\mathbb{P}}f\left(p^{\nu_p(n)}\right), d. h. eine multiplikative Funktion ist vollständig durch die Werte bestimmt, die sie für Primzahlpotenzen annimmt.
  • Von den oben als Beispiele angeführten Funktionen sind die Identität und ihre Potenzen sowie die Dirichlet-Charaktere vollständig multiplikativ, die Teileranzahlfunktion, die Teilersummenfunktion und die Eulersche φ-Funktion multiplikativ. Die Primzahlfunktion und die Exponentenbewertung sind nicht multiplikativ.
  • Das (punktweise) Produkt von zwei (vollständig) multiplikativen Funktionen ist wieder (vollständig) multiplikativ.

Additive Funktionen

Eine zahlentheoretische Funktion heißt additiv, wenn für teilerfremde Zahlen a und b stets f(ab) = f(a) + f(b) gilt. Sie heißt vollständig additiv, auch strikt oder streng additiv, wenn dies auch für nicht teilerfremde Zahlen gilt. Ein Beispiel für eine additive Funktion ist die p-adische Exponentenbewertung. Aus jeder multiplikativen Funktion, die nirgends verschwindet, lässt sich eine additive Funktion konstruieren, indem man das Ergebnis logarithmiert. Präziser: Wenn f (vollständig) multiplikativ und stets  f(n)\neq 0 ist, dann ist log( | f | ) eine (vollständig) additive Funktion. – Gelegentlich wird auch ein (komplexer) Logarithmus einer nirgends verschwindenden zahlentheoretische Funktion \operatorname{Log}(f) (ohne Betrag) gebildet. Dabei ist jedoch wegen der verschiedenen Zweige des komplexen Logarithmus Vorsicht geboten.

Faltung

Die Faltung von zahlentheoretischen Funktionen wird nach Dirichlet auch als Dirichlet-Faltung bezeichnet. Zu anderen Bedeutungen des Wortes in der Mathematik siehe den Artikel Faltung (Mathematik).

Definition

Die Dirichlet-Faltung zweier zahlentheoretischer Funktionen ist definiert durch

(f*g)(n):=\sum_{d\mid n}f\!\left(\frac{n}{d}\right)g(d),\quad n\in\mathbb{N},

wobei sich die Summe über alle (echten und unechten) Teiler von n erstreckt.

Die summatorische Funktion einer zahlentheoretischen Funktion f ist definiert durch F: = f * I0, wobei I0 die konstante Funktion mit dem Funktionswert 1 bezeichne, also

 F(n) = (f*I^0)(n) = \sum_{d\mid n}f(d), \quad n\in\mathbb{N}.

Man kann zeigen, dass I0 bzgl. der Faltungsoperations invertierbar ist; ihr Inverses ist die (multiplikative) Möbiusfunktion μ. Das führt zur Möbiusschen Umkehrformel, mit der man eine zahlentheoretische Funktion aus ihrer summatorischen Funktion zurückgewinnen kann.

Eigenschaften der Faltung

  • Die Faltung von zwei multiplikativen Funktionen ist multiplikativ.
  • Die Faltung von zwei vollständig multiplikativen Funktionen muss nicht vollständig multiplikativ sein.
  • Jede zahlentheoretische Funktion f, die an der Stelle 1 nicht verschwindet, besitzt eine Inverse bezüglich der Faltungsoperation.
  • Diese Faltungsinverse ist genau dann multiplikativ, wenn f multiplikativ ist.
  • Die Faltungsinverse einer vollständig multiplikativen Funktion ist multiplikativ aber im allgemeinen nicht vollständig multiplikativ.
  • Das neutrale Element der Faltungsoperation ist die Funktion η mit η(1)=1, η(n)=0 für n>1.

Algebraische Struktur

  • Die Menge der zahlentheoretischen Funktionen bildet mit der komponentenweisen Addition, skalarer Multiplikation und der Faltung als innerer Multiplikation
  • Die multiplikative Gruppe dieses Ringes besteht aus den zahlentheoretischen Funktionen, die an der Stelle 1 nicht verschwinden.
  • Die Menge der multiplikativen Funktionen ist eine echte Untergruppe dieser Gruppe.

Abgrenzung vom Raum der komplexen Zahlenfolgen

Mit der komplexen Skalarmultiplikation, der komponentenweisen Addition und - anstelle der Faltung - der komponentenweisen Multiplikation bildet die Menge der zahlentheoretischen Funktionen ebenfalls eine kommutative C-Algebra, die Algebra der formalen (nicht notwendig konvergenten) komplexen Zahlenfolgen. Diese kanonische Struktur als Abbildungsraum ist in der Zahlentheorie jedoch kaum von Interesse.

Als komplexer Vektorraum (also ohne innere Multiplikation) ist dieser Folgenraum mit dem Raum der zahlentheoretischen Funktionen identisch.

Zusammenhang mit Dirichletreihen

Jeder zahlentheoretischen Funktion kann eine formale Dirichletreihe zugeordnet werden. Die Faltung wird dann zur Multiplikation von Reihen. Diese Konstruktion wird im Artikel über Dirichletreihen näher beschrieben.

Literatur

  • Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer-Verlag, 1995, ISBN 3-540-58821-3
  • Peter Bundschuh: Einführung in die Zahlentheorie. 5. Auflage. Springer Verlag, 2002, ISBN 3-540-43579-4

Weblinks

  • Planetmath zum Stichwort arithmetic function (englisch)

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Hurwitzquaternion — Eine Hurwitzquaternion (oder Hurwitz Ganzzahl) in der Mathematik ist eine Quaternion, deren vier Koeffizienten entweder alle (rational )ganzzahlig oder alle halbzahlig (Hälften ungerader ganzer Zahlen) sind – Mischungen von Ganzzahlen und… …   Deutsch Wikipedia

  • ELO-Zahl — Schach Go Das Elo System ist ein objektives Wertungssystem, das es erlaubt, die Spielstärke von Go und Schachspielern durch eine Wertungszahl (kurz: Elo Zahl) zu bes …   Deutsch Wikipedia

  • Elo-System — Schach Go Das Elo System ist ein objektives Wertungssystem, das es erlaubt, die Spielstärke von Go und Schachspielern durch eine Wertungszahl (kurz: Elo Zahl) zu bes …   Deutsch Wikipedia

  • Elo-Zahl — Schach Go Die Elo Zahl ist eine Wertungszahl, die die Spielstärke von …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Glossar mathematischer Attribute — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik zur Löschung vorgeschlagen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel… …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Jacobi-Symbol — Das Jacobi Symbol, benannt nach Carl Gustav Jacob Jacobi, ist eine Verallgemeinerung des Legendre Symbols. Das Jacobi Symbol kann wiederum zum Kronecker Symbol verallgemeinert werden. Die Notation ist die gleiche wie die des Legendre Symbols:… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”