Glatte Zahl

Eine glatte Zahl bezüglich einer Schranke $S$ ist eine natürliche Zahl, in deren Primfaktorzerlegung keine Primzahlen vorkommen, die größer als die Schranke sind. Man bezeichnet eine solche Zahl auch als $S$ -glatt.

Eine natürliche Zahl heißt potenzglatt bezüglich einer Schranke $S$ , wenn in ihrer Primfaktorzerlegung nur Primpotenzen kleiner oder gleich $S$ vorkommen. Das heißt, für jeden Primfaktor $q$ , der $a_{q}$ mal vorkommt, gilt:

q^{a_{q}}\leq S

.

Beispiele

Untersuchen wir zum Beispiel die Zahl 720 (Primfaktorzerlegung: 720 = 2⁴ · 3² · 5):

sie ist 5-glatt, 6-glatt …
nicht jedoch 3-glatt oder 4-glatt (wegen der 5 als Primfaktor, da 5 größer ist als 3 und 4)
sie ist ferner 16-potenzglatt, 17-potenzglatt …,
nicht jedoch 15-potenzglatt (da in der Primfaktorzerlegung die 2 in der 4. Potenz (= 16) auftritt, womit die Schranke 15 überschritten wird)

Betrachten wir im Folgenden die Zahl 8 als Schranke.

8-glatt

sind z. B. 3, 4, 5, 12, 14 oder 120
nicht jedoch 11 oder 26

8-potenzglatt

sind z. B. 3, 4, 5, 12, 56 oder 840 (=2³ · 3 · 5· 7)
nicht jedoch 9 (= 3²) oder 16 (= 2⁴)

Hinweise:

Wenn $p$ eine Primzahl, $p_{2}$ die nächstgrößere Primzahl und $p\leq n<p_{2}$ ist, ist die Menge der $n$ -glatten Zahlen gleich der Menge der $p$ -glatten Zahlen.
2-glatte Zahlen entsprechen den Zweierpotenzen.
Als "1-glatt" kann formal die Zahl 1 gelten.

Eigenschaften

Für jede natürliche Zahl gibt es eine eindeutige Primfaktorzerlegung. Das heißt, zu jedem $a\in \mathbb {N}$ existiert $n\in \mathbb {N}$ und Primzahlen $q_{1},\dots ,q_{n}\in \mathbb {P}$ , sowie Vielfachheiten $a_{1},\dots ,a_{n}\in \mathbb {N}$ so, dass gilt

a=\prod _{i=1}^{n}q_{i}^{a_{i}}

Nun definieren wir

g(a):=\max\{q_{i};i=1,\dots ,n\}

z(a):=\max\{q_{i}^{a_{i}};i=1,\dots ,n\}

Für jedes $g\geq g(a)$ und $z\geq z(a)$ ist die Zahl $a$ $g$ -glatt und $z$ -potenzglatt, für alle $g<g(a)$ und $z<z(a)$ ist die Zahl $a$ weder $g$ -glatt noch $z$ -potenzglatt.

7-glatte Zahlen

7-glatte (oder 7er glatte) Zahlen sind solche, die ausschließlich aus Potenzen der Primfaktoren 2, 3, 5 und 7 bestehen, zum Beispiel 1372 = 2² · 7³.

Ein häufig synonym gebrauchter Begriff ist hochzusammengesetzte Zahlen, wobei 7-glatte Zahlen sich vom tatsächlichen mathematischen Konzept der Hochzusammengesetzten Zahl unterscheiden, das alle Primfaktoren zulässt und weitere Bedingungen an diese stellt.

Da die Primzahlen 2, 3, 5 und 7 in den auf leichte Teilbarkeit hin orientierten, vormetrischen, alten Maßen und Gewichten auftreten (z. B. 1 Nürnberger Apothekergran = 19600 Nürnberger Grän = 980 Nürnberger Skrupel = 3 Karlspfund), spielt diese Folge auch in der Forschung zur historischen Metrologie eine Rolle (siehe dazu Nippur-Elle, Karlspfund, Apothekergewicht).

Die Zahlenfolge der 7-glatten Zahlen: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21, 24, 25, 27, 28, 30, 32, 35, 36, 40, 42 … findet sich unter Folge A002473 in OEIS mit der Benennung „hochzusammengesetzte Zahlen (2)“ (Highly composite numbers (2): numbers whose prime divisors are all <= 7.)

Verfahren

Das Quadratische Sieb, ein Faktorisierungsverfahren, beruht auf der Primfaktorzerlegung quadratischer Reste. Diese Zerlegung kann für glatte Zahlen leicht durchgeführt werden. Dabei ist es auch von Interesse, für viele Zahlen auf einmal ihren größten glatten Teiler zu ermitteln (und eventuell deren Restfaktoren weiter zu analysieren).
Daniel Bernstein entwickelte hierzu ein effizientes Verfahren^[1], das für eine Menge von unzerlegten natürlichen Zahlen mittels gruppenweiser Multiplikationen und sparsamster Organisation jeden glatten Primfaktor jeder einzelnen Zahl ermittelt, ohne Testdivisionen mit den in Frage kommenden Primzahlen durchzuführen. Das Verfahren nutzt lediglich bekannte schnelle Algorithmen für Multiplikation, Division ohne Rest und Berechnung des größten gemeinsamen Teilers zweier natürlicher Zahlen.

Folgen glatter Zahlen

Für jede Schranke $S$ bilden die entsprechenden $S$ -glatten Zahlen eine Folge. Unter der On-Line Encyclopedia of Integer Sequences (OEIS) stehen diese Folgen für kleine Schranken zur Verfügung:

02-glatte Zahlen: Folge A000079 in OEIS – alle Zweierpotenzen $2^{x}$
03-glatte Zahlen: Folge A003586 in OEIS – Zahlen der Form $2^{x}\cdot 3^{y}$
05-glatte Zahlen: Folge A051037 in OEIS – Zahlen der Form $2^{x}\cdot 3^{y}\cdot 5^{z}$
07-glatte Zahlen: Folge A002473 in OEIS – …
11-glatte Zahlen: Folge A51038 in OEIS
13-glatte Zahlen: Folge A80197 in OEIS
17-glatte Zahlen: Folge A80681 in OEIS
19-glatte Zahlen: Folge A80682 in OEIS
23-glatte Zahlen: Folge A80683 in OEIS

Literatur

Carl Pomerance: The role of smooth numbers in number theoretic algorithms. (PDF; 8,3 MB) Proc. Int. Congr. Mathematicians, Zurich 1994, Birkhauser Verlag, Basel, 1995, S. 411–422
Andrew Granville: Smooth numbers: computational number theory and beyond. (PDF; 403 kB) In: Algorithmic Number Theory. MSRI Publications 44 (2008) S. 267–323

Weblinks

Eric W. Weisstein: Smooth Number. In: MathWorld (englisch).

Einzelnachweise

↑ D. Bernstein: How to find smooth parts of integers. Entwurf für Math. Comput., PDF-Datei

[1] D. Bernstein: How to find smooth parts of integers. Entwurf für Math. Comput., PDF-Datei

[1]

Fahrer / Team für die Suche eingeben: