Satz von Ostrowski

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der Satz von Ostrowski ist ein Lehrsatz aus dem mathematischen Gebiet der Zahlentheorie. Er besagt, dass jeder auf den rationalen Zahlen definierte nichttriviale Absolutbetrag entweder zur üblichen Betragsfunktion oder zu einem p-adischen Betrag äquivalent ist. Der Satz wurde 1916 von Alexander Ostrowski bewiesen.

Definitionen[Bearbeiten]

Ein Absolutbetrag auf einem Körper K ist eine Abbildung

\vert.\vert\colon K\to \R
x\mapsto\vert x\vert,

die für alle x,y \in K folgende Eigenschaften erfüllt:

\vert x\vert\ge 0,
\vert x\vert=0 \;\Leftrightarrow\; x=0,
\vert xy\vert=\vert x\vert\vert y\vert,
\vert x+y\vert\le\vert x\vert +\vert y\vert.

Zwei Absolutbeträge \vert .\vert und \vert .\vert_* heißen äquivalent, wenn es eine reelle Zahl c>0 gibt mit

\vert x\vert^c=\vert x\vert_*

für alle x\in K.

Beispiele[Bearbeiten]

Der triviale Betrag:

|x|_{0} := \begin{cases} 0, & \text{für }  x = 0  \\ 1,  & \text{für } x \ne 0. \end{cases} .

Die auf den reellen Zahlen definierte Betragsfunktion

|x|_\infty := \begin{cases} x, & \text{für }  x \ge 0  \\ -x,  & \text{für } x < 0. \end{cases} .

Der für jede Primzahl p auf den rationalen Zahlen definierte p-adische Betrag:

|x|_{p} := \begin{cases} 0, & \text{für }  x = 0  \\ p^{-n},  & \text{für }  x =p^n\frac{a}{b} \text{ mit }a,b,p \text{ paarweise teilerfremd und }n\in \Z. \end{cases}

Hierbei wird benutzt, dass sich jede rationale Zahl eindeutig als x =p^n\frac{a}{b} mit paarweise teilerfremden Zahlen p,a,b und n\in\Z darstellen lässt.

Satz von Ostrowski[Bearbeiten]

Jeder auf den rationalen Zahlen \Q definierte nicht-triviale Absolutbetrag

\vert .\vert:\Q\to \R

ist entweder zur Betragsfunktion \vert .\vert_\infty oder zu einem p-adischen Betrag \vert.\vert_p äquivalent.

Literatur[Bearbeiten]

  • Alexander Ostrowski: Über einige Lösungen der Funktionalgleichung ψ(x)⋅ψ(x)=ψ(xy). Acta Math. 41 (1916), no. 1, 271–284.
  • Emil Artin: Algebraic numbers and algebraic functions. I. Institute for Mathematics and Mechanics, New York University, New York, 1951.
  • Edwin Weiss: Algebraic number theory. McGraw-Hill Book Co., Inc., New York-San Francisco-Toronto-London 1963.
  • A. C. M. van Rooij: Non-Archimedean functional analysis. Monographs and Textbooks in Pure and Applied Math., 51. Marcel Dekker, Inc., New York, 1978. ISBN 0-8247-6556-7.
  • Fernando Q. Gouvêa: p-adic numbers. An introduction. Universitext. Springer-Verlag, Berlin, 1993. ISBN 3-540-56844-1.