In der Mathematik ist die Oppenheim-Vermutung eine inzwischen bewiesene Vermutung über die Werte quadratischer Formen und das klassische Beispiel für die Anwendung ergodentheoretischer Methoden in der Zahlentheorie.
Aussage Bearbeiten
Sei und
eine indefinite quadratische Form in Variablen, die kein Vielfaches einer Form mit rationalen Koeffizienten ist.
Dann gibt es für jedes ein mit
Als Korollar erhält man, dass eine dichte Teilmenge von ist.
Beispiel: Für jedes gibt es ganze Zahlen mit
Geschichte Bearbeiten
Die Vermutung in dieser Form wurde 1953 (eine schwächere Vorgänger-Version schon 1929) von Alexander Oppenheim aufgestellt und für von Bryan Birch, Harold Davenport und D. Ridout bewiesen. Der allgemeine Fall lässt sich auf den Fall zurückführen und dieser wurde von M. S. Raghunathan in folgende Vermutung über die Links-Wirkung von auf dem Quotientenraum umformuliert:
Diese Vermutung wurde 1987 von Grigori Margulis bewiesen. Eine allgemeinere Version der Raghunathan-Vermutung ist der heutige Satz von Ratner.