Zum Inhalt springen

Algebraische Zahl

aus Wikipedia, der freien Enzyklopädie
Die Quadratwurzel von 2 ist eine algebraische Zahl, und zwar die Länge der Hypotenuse eines gleichschenklig-rechtwinkligen Dreiecks mit Katheten der Länge 1.
Die Quadratwurzel aus 2 ist eine algebraische Zahl, denn sie ist Lösung der Gleichung <math>x^2-2=0</math>.

In der Mathematik ist eine algebraische Zahl <math>x</math> eine reelle oder komplexe Zahl, welche Nullstelle eines Polynoms vom Grad größer als Null<ref group="A">Es liegt demnach eine nichtkonstante Polynomfunktion vor.</ref>

<math>f(x) = a_n x^n + a_{n-1} x^{n-1} + \dotsb + a_1 x + a_0</math>

mit rationalen Koeffizienten <math>a_k \in \Q</math> für <math>k=0, \dotsc, n</math> und <math>a_n \neq 0</math> ist, für die also die Gleichung <math>f(x) = 0</math> erfüllt ist.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:Algebraic number|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Algebraic number}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C1}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Algebraic number}}}}|[{{#invoke:URLutil|getNormalized|1=https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Algebraic number}}}}]}}{{#if:| ({{{format}}}{{#if:1EncyclopediaOfMath.orgEncyclopedia of Mathematics2020-02-14{{#if: 2023-05-28 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}} 

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744}}%7C%7C}}}}{{#if:Algebraic number|{{#if:{{#invoke:WLink|isValidLinktext|1=Algebraic number|lines=0}}||}}}}{{#if: EncyclopediaOfMath.org| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=EncyclopediaOfMath.org}}}}{{#if: Encyclopedia of Mathematics| Encyclopedia of Mathematics{{#if: 2020-02-14|,|{{#if: 2023-05-28 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2020-02-14| {{#if:{{#invoke:DateTime|format|2020-02-14|noerror=1}}
            |{{#invoke:DateTime|format|2020-02-14|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2020-02-14|class=Zitationswartung}} }}{{#if: |,|{{#if: 2023-05-28 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2023-05-28 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|1}}| {{#if:2020-02-14Encyclopedia of Mathematics|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|1}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:247||(?)}}}}}}{{#if: 2023-05-28|;}}}}{{#if: 2023-05-28| {{#if:2020-02-14Encyclopedia of Mathematics{{#invoke:TemplUtl|faculty|1}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-05-28 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-05-28|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-05-28|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:1EncyclopediaOfMath.orgEncyclopedia of Mathematics2020-02-14{{#if: 2023-05-28 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2020-02-14{{#if: 2023-05-28 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if: 

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}} 

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|1}}|{{#if:||{{#ifeq: 1 | JaKeinHinweis |{{#switch: 

   |0|=Vorlage:Toter Link/Core{{#if: https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744
      | {{#if:{{#invoke:URLutil|isWebURL|https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744
       | {{#if:{{#invoke:URLutil|isWebURL|https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744 }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744
      | {{#if:{{#invoke:URLutil|isWebURL|https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744
       | {{#if:{{#invoke:URLutil|isWebURL|https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744 }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>

Die so definierten algebraischen Zahlen bilden eine echte Teilmenge <math>\mathbb A</math> der komplexen Zahlen <math>\C</math>. Offenbar ist jede rationale Zahl <math>q</math> algebraisch, da sie die Gleichung <math>x - q = 0</math> löst. Es gilt also <math>\Q \subsetneq \mathbb A \subsetneq \C</math>.

Eine nicht algebraische reelle oder komplexe Zahl wird als transzendente Zahl bezeichnet.

Ebenfalls gebräuchlich (und gleichwertig) ist die Definition der algebraischen Zahlen als Nullstellen von Polynomen mit ganzzahligen Koeffizienten. Sie ist äquivalent zur oben angegebenen. Das bedeutet: Für das genannte nichtkonstante Polynom

<math>f(x) = a_n x^n + a_{n-1} x^{n-1} + \dotsb + a_1 x + a_0</math>

können Koeffizienten <math>a_k \in \Z</math> für <math>k=0, \dotsc, n</math> und <math>a_n \neq 0</math> zu Grunde gelegt werden.<ref name="Scheid-Schwarz">{{#invoke:Vorlage:Literatur|f}}</ref><ref group="A">Denn jedes Polynom mit rationalen Koeffizienten kann durch Multiplikation mit dem Hauptnenner der Koeffizienten in eines mit ganzzahligen Koeffizienten umgewandelt werden. Das so gegebene neue Polynom hat dieselben Nullstellen wie das ursprüngliche.</ref>

Polynome mit rationalen Koeffizienten kann man normieren, indem man alle Koeffizienten durch den Koeffizienten <math>a_n</math> dividiert. Nullstellen von normierten Polynomen, deren Koeffizienten ganzzahlig sind, nennt man ganzalgebraische Zahlen oder auch ganze algebraische Zahlen. Die ganzalgebraischen Zahlen bilden einen Unterring der algebraischen Zahlen, der aber nicht faktoriell ist.<ref name=":0">{{#invoke:Vorlage:Literatur|f}}</ref> Zum allgemeinen Begriff der Ganzheit siehe Ganzheit (kommutative Algebra).

Man kann den Begriff der algebraischen Zahl zu dem des algebraischen Elements erweitern, indem man die Koeffizienten des Polynoms statt aus <math>\mathbb Q</math> aus einem beliebigen Körper entnimmt.

Grad und Minimalpolynom einer algebraischen Zahl

Für viele Untersuchungen algebraischer Zahlen sind der im Folgenden definierte Grad und das Minimalpolynom einer algebraischen Zahl wichtig.

Ist <math>x</math> eine algebraische Zahl, die eine algebraische Gleichung

<math>f(x) = x^{n} + a_{n-1}x^{n-1} + \dotsb + a_{1} x + a_{0} = 0</math>

mit <math>n \geq 1</math>, <math>a_k \in \mathbb{Q}</math> erfüllt, aber im Fall <math>n \geq 2</math> keine derartige Gleichung geringeren Grades, dann nennt man <math>n</math> den Grad von <math>x</math>.<ref name=":1">{{#invoke:Vorlage:Literatur|f}}</ref> Damit sind alle rationalen Zahlen vom Grad 1. Alle irrationalen Quadratwurzeln rationaler Zahlen sind vom Grad 2.

Die Zahl <math>n</math> ist gleichzeitig der Grad des Polynoms <math>f</math>, des sogenannten Minimalpolynoms von <math>x</math>.<ref name=":1" />

Beispiele

  • Beispielsweise ist <math>\sqrt{2}</math> eine ganze algebraische Zahl, denn sie ist eine Lösung der Gleichung <math>x^2 - 2 = 0</math>. Ebenso ist die imaginäre Einheit <math>i</math> als Lösung von <math>x^2 + 1 = 0</math> ganzalgebraisch.
  • <math>\sqrt{2} + \sqrt{3}</math> ist eine ganze algebraische Zahl vom Grad 4. Siehe dazu Beispiel für algebraisches Element.
  • <math>\tfrac 12</math> und <math>\tfrac 1\sqrt{2}</math> sind Beispiele für algebraische Zahlen 1. bzw. 2. Grades, die nicht ganzalgebraisch sind.
  • Gegen Ende des 19. Jahrhunderts wurde bewiesen, dass die Kreiszahl <math>\pi</math> und die Eulersche Zahl <math>e</math> nicht algebraisch sind.<ref name=":0" /> Von anderen Zahlen, wie zum Beispiel <math>\pi + e</math>, weiß man bis heute nicht, ob sie algebraisch oder transzendent sind.<ref group="A">Siehe dazu den Artikel Transzendente Zahl!</ref>

Eigenschaften

Die Menge der algebraischen Zahlen ist abzählbar<ref name="Scheid-Schwarz" /> und bildet einen Körper.

Der Körper der algebraischen Zahlen ist algebraisch abgeschlossen, d. h., jedes Polynom mit algebraischen Koeffizienten besitzt nur algebraische Nullstellen. Dieser Körper ist ein minimaler algebraisch abgeschlossener Oberkörper von <math>\Q</math> und ist damit dessen algebraischer Abschluss. Man schreibt ihn oft als <math>\overline{\Q}</math> (für „algebraischer Abschluss von <math>\Q</math>“; verwechselbar mit anderen Abschlussbegriffen) oder als <math>\mathbb A</math> (für „Algebraische Zahlen“).

Oberhalb des Körpers der rationalen Zahlen und unterhalb des Körpers der algebraischen Zahlen befinden sich unendlich viele Zwischenkörper, etwa die Menge aller Zahlen der Form <math>a + b \cdot q</math>, wobei <math>a</math> und <math>b</math> rationale Zahlen sind sowie <math>q</math> irrational und Quadratwurzel einer rationalen Zahl <math>r</math> ist. Auch der Körper der mit Zirkel und Lineal aus <math>\{0,1\}</math> konstruierbaren Punkte der komplexen Zahlenebene ist ein solcher algebraischer Zwischenkörper.<ref group="A">{{#invoke:Vorlage:Siehe auch|f}}!</ref>

Im Rahmen der Galoistheorie werden diese Zwischenkörper untersucht, um so tiefe Einblicke über die Lösbarkeit oder Nichtlösbarkeit von Gleichungen zu erhalten. Ein Resultat der Galoistheorie ist, dass zwar jede komplexe Zahl, die man aus rationalen Zahlen durch Verwendung der Grundrechenarten (Addition, Subtraktion, Multiplikation und Division) sowie durch Ziehen n-ter Wurzeln (n eine natürliche Zahl) erhalten kann (man nennt solche Zahlen „durch Radikale darstellbar“), algebraisch ist, umgekehrt aber algebraische Zahlen existieren, die man nicht in dieser Weise darstellen kann; alle diese Zahlen sind Nullstellen von Polynomen mindestens 5. Grades.

Literatur

  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}

Weblinks

Einzelnachweise

<references />

Anmerkungen

<references group="A" />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Algebraische_Zahl&oldid=247“