Pythagoreischer Körper

Pythagoreischer Körper

In der Mathematik bezeichnet ein Körper eine Menge von Elementen („Zahlen“), auf der die vier Grundrechenarten gemäß gewisser Regeln anwendbar sind. Dieser Körper wird als pythagoreisch[1] bezeichnet, wenn zusätzlich jede (endliche) Summe von Quadratzahlen des Körpers immer noch eine Quadratzahl[2] ist.

Dies ist nicht selbstverständlich: Ein aus der Schulmathematik bekannter Körper ist derjenige der Bruchzahlen. Jede beliebige Summe oder Differenz, jedes Produkt und jeder Quotient ist darin immer ermittelbar. Da 12 + 12 = 1 + 1 = 2 keine rationale Quadratzahl ist, ist dieser Körper nicht pythagoreisch.

Pythagoreische Körper spielen eine wichtige Rolle in der synthetischen Geometrie, dort wird häufig zusätzlich gefordert, dass -1 keine Quadratzahl sein soll.[3] Sie sind dann formal reelle pythagoreische Körper. - Bei der üblichen Auffassung, dass 0 keine Quadratzahl ist, die auch in diesem Artikel verwendet wird, ergibt sich die Zusatzeigenschaft bereits aus der Definition des pythagoreischen Körpers. Bei diesen Körpern ist stets eine Anordnung möglich. Eine präeuklidische Ebene über einem formal reellen pythagoreischen Körper, in der die Orthogonalitätskonstante zu -1 normiert werden kann, wird auch als pythagoreische Ebene bezeichnet. In solchen Ebenen können Winkelhalbierende konstruiert werden und es lässt sich ein Abstandsbegriff zwischen Punkten einführen, der auf dem Satz des Pythagoras der euklidischen Ebenen beruht. Dies ist einer der Anlässe für die Bezeichnung „pythagoreisch“.

Eine gewisse Bedeutung haben pythagoreische Körper und vor allem pythagoreische Erweiterungen für die Frage der Lösbarkeit von diophantischen Gleichungen in der elementaren Zahlentheorie.

Jeder euklidische Körper ist ein formal reeller pythagoreischer Körper. Alle diese Körper haben stets die Charakteristik 0 und enthalten immer unendlich viele Elemente.

Inhaltsverzeichnis

Definitionen

Ein Körper (K,+,\cdot) heißt pythagoreischer Körper, wenn eine der folgenden äquivalenten Bedingungen zutrifft.

  • Die Summe von zwei Quadratzahlen in K ist wieder eine Quadratzahl.
  • Für jedes a\in K ist 1 + a2 eine Quadratzahl, also 1+a^2 \in Q_1={K^*}^2= \lbrace b^2:\; b\in K\setminus \lbrace 0\rbrace \rbrace.

Aus diesen Formulierungen folgt zugleich, dass -1 keine Quadratzahl und damit auch keine Summe von Quadratzahlen ist. Denn wäre -1=c^2, c\in K^*, dann wäre auch 0 = c2 + 12 als Summe von Quadratzahlen eine Quadratzahl, ein Widerspruch, denn Quadratzahlen dürfen nicht verschwinden.

Eigenschaften

Ein pythagoreischer Körper wie hier definiert ist also stets formal reell. Um dies zu betonen, wird das Attribut formal reell häufig hinzugefügt, daraus folgt dann:

  • Die Quadratklassen von -1 und 1 sind verschieden,
  • die Zahl -1 ist keine Quadratzahl,
  • die Charakteristik des Körpers ist 0.

Abweichende Bedeutungen

Die gelegentlich gebrauchte, schwächere Definition erhält man durch folgende Charakterisierungen: Ein Körper (K,+,\cdot) heißt pythagoreischer Körper (in allgemeinerer Form), wenn seine Charakteristik 0 ist, und zusätzlich eine der folgenden äquivalenten Bedingungen zutrifft:

  • die Summe von zwei Quadratzahlen in K ist wieder in K^2=\lbrace k^2|k\in K\rbrace,
  • für jedes a\in K ist 1+a^2\in K^2,
  • die Pythagoraszahl von K ist 1,
  • jede pythagoreische Erweiterung (s. u.) von K stimmt mit K überein.[4]

Eine noch schwächere Form, die ebenfalls in der Literatur vorkommt, verzichtet auch noch auf die Forderung, dass die Charakteristik 0 sein soll. Auch dann sind die vier in diesem Abschnitt genannten Charakterisierungen äquivalente Definitionen des abgeschwächten Begriffs.

Pythagoreische Erweiterung

Eine Körpererweiterung der Form K(\sqrt{1+a^2}),\!\, \quad (a\in K^*) heißt pythagoreische Erweiterung. [5]

Strikt-pythagoreischer Körper

Ein Körper K heißt strikt-pythagoreisch, wenn er formal reell und pythagoreisch ist und jeder formal reelle Erweiterungskörper L ein pythagoreischer Körper ist, sofern die Körpererweiterung K < L quadratisch ist, also ihr Erweiterungsgrad (L:K) = 2 ist.[6]

Euklidischer Körper

Ein pythagoreischer Körper K heißt euklidischer Körper, wenn eine der folgenden äquivalenten Bedingungen zutrifft:

  • Jedes Element von K\setminus \lbrace 0\rbrace ist entweder eine Quadratzahl oder das Negative einer Quadratzahl, niemals beides.
  • Der Körper enthält genau die zwei Quadratklassen Q1 und Q − 1.

Beide genannten Eigenschaften verschärfen zugleich die von formal reellen Körpern geforderten Eigenschaften, selbst wenn „pythagoreisch“ hier im weitesten Sinn verstanden wird. Also ist jeder euklidische Körper ein formal reeller pythagoreischer Körper mit genau 2 Quadratklassen.

Pythagoreische Ebene

In der synthetischen Geometrie wird eine affine Ebene mit Orthogonalität, deren Koordinatenkörper ein formal reeller pythagoreischer Körper ist und in der ein Quadrat (die geometrische Figur!) existiert, als pythagoreische Ebene bezeichnet. (In dieser Definition kann die Zusatzbedingung „formal reell“ fortgelassen werden, da die Existenz von Quadraten impliziert, dass -1 keine Quadratzahl ist).

Geometrische Anwendungen

Literatur

  • L. Bröcker, Über eine Klasse pythagoreischer Körper, Archiv der Mathematik, Volume 23, Number 1, Dezember 1972
  • Wendelin Degen und Lothar Profke: Grundlagen der affinen und euklidischen Geometrie, Teubner, Stuttgart, 1976, ISBN 3-519-02751-8

Weblinks

Einzelnachweise

  1. Zur Schreibweise: Im aktuellen Duden – Das große Wörterbuch der deutschen Sprache in zehn Bänden - ISBN 3-411-70360-1 wird das Adjektiv „pythagoreisch“ in dieser Schreibweise gegeben und die Schreibweise „pythagoräisch“ als österreichische Sonderform bezeichnet. In der deutschsprachigen mathematischen Fachliteratur kommen beide Schreibweisen ohne darauf bezogenen Bedeutungsunterschied vor.
  2. In diesem Artikel wird nach Degen (1976) unter einer Quadratzahl immer ein Körperelement k^2\neq 0;k\in K verstanden, die 0 also ausgeschlossen.
  3. Degen (1976), S. 146
  4. Eric W. Weisstein: Pythagorean Field. From MathWorld--A Wolfram Web Resource.
  5. Eric W. Weisstein: Pythagorean Extension. From MathWorld--A Wolfram Web Resource.
  6. Bröcker (1972), S. 405-407

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

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

  • Euklidischer Körper — Ein euklidischer Körper ist ein Körper (im Sinne der Algebra), der ein geordneter Körper ist und in dem jedes nichtnegative Element eine Quadratwurzel hat. Jeder reell abgeschlossene Körper ist euklidisch und jeder euklidische Körper ist ein… …   Deutsch Wikipedia

  • Reell abgeschlossener Körper — Die reell abgeschlossenen Körper sind in der Algebra Körper, die mit dem Körper der reellen Zahlen einige wesentliche Eigenschaften gemeinsam haben: Zum Beispiel haben Polynome mit ungeradem Grad dort stets eine Nullstelle und diese Körper lassen …   Deutsch Wikipedia

  • Pythagoräischer Körper — In der Mathematik bezeichnet ein Körper eine Menge von Elementen (etwa Zahlen), auf der die vier Grundrechenarten gemäß gewisser Regeln anwendbar sind. Diese Menge wird als pythagoreisch bezeichnet, wenn zusätzlich der Satz des Pythagoras dort… …   Deutsch Wikipedia

  • Pythagoreisch — bedeutet von oder gehörend zu dem ionischen Mathematiker, Philosophen und Musiktheoretiker der Antike Pythagoras. In der Philosophie: Pythagoreer ist ein Begriff, der für die esoterisch und metaphysischen Überzeugungen verwendet wird, die… …   Deutsch Wikipedia

  • Körpernorm — In der Körpertheorie ist die Norm einer Körpererweiterung eine spezielle, der Erweiterung zugeordnete Abbildung. Sie bildet jedes Element des größeren Körpers auf den kleineren Körper ab. Dieser Normbegriff unterscheidet sich wesentlich vom… …   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

  • Ternärkörper — Ein Ternärkörper ist eine algebraische Struktur, die in der synthetischen Geometrie als Koordinatenbereich einer beliebigen affinen Ebene dient. Als Menge besteht der Ternärkörper dabei aus den Punkten einer fest gewählten Geraden der Ebene,… …   Deutsch Wikipedia

  • Quadratklasse — In der Algebra sind Quadratklassen die Äquivalenzklassen einer bestimmten Äquivalenzrelation, der quadratischen Äquivalenz in einer kommutativen Gruppe. Sie sind dann die Nebenklassen der Untergruppe der Quadrate in dieser Gruppe. Das Konzept der …   Deutsch Wikipedia

  • Präeuklidische Ebene — Eine präeuklidische Ebene ist in der synthetischen Geometrie eine affine Ebene über einem Körper, dessen Charakteristik nicht 2 ist und auf der eine Orthogonalitätsrelation zwischen den Geraden definiert ist. Eine solche Orthogonalitätsrelation… …   Deutsch Wikipedia

  • Pythagoraszahl — Die Pythagoraszahl eines Körpers F ist definiert als das kleinste , so dass sich jede endliche Summe von Quadraten in F schon als Summe von p(F) Quadraten schreiben lässt.[1] Inhaltsverzeichnis 1 Definition …   Deutsch Wikipedia

Share the article and excerpts

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