Gruppe (Mathematik) und Reihe (Mathematik): Unterschied zwischen den Seiten

Aus AnthroWiki
(Unterschied zwischen Seiten)
imported>Joachim Stiller
 
imported>Odyssee
 
Zeile 1: Zeile 1:
[[Datei:Rubik's cube.svg|mini|Auch die Drehungen eines [[Wikipedia:Zauberwürfel|Zauberwürfel]]s ({{EnS|Rubik’s Cube}}) bilden eine Gruppe.]]
Eine unendliche '''Reihe''' ist [[Mathematik|mathematisch]] definiert als [[Folge (Mathematik)|Folge]] der '''Partialsummen''' <math>\left(s_n\right)</math> einer anderen Folge <math>\left(a_i\right)</math>:


Als '''Gruppe''' wird in der [[Mathematik]] eine [[Menge (Mathematik)|Menge]] von [[Element (Mathematik)|Elementen]] zusammen mit einer zweistelligen [[Verknüpfung (Mathematik)|Verknüpfung]] (z.B. Addition, Multiplikation), durch die jeweils zwei Elementen ein drittes Element derart zugeodnet wird, dass dabei folgende drei '''Gruppenaxiome''' erfüllt sind:
Für eine beliebige Folge <math>\left(a_i\right)</math> ist die <math>n</math>-te Partialsumme ist die Summe ihrer ersten <math>n</math> Glieder:


# Es gilt das [[Assoziativgesetz]], d.h. <math> a \star \left( b \star c \right) = \left( a \star b \right) \star c </math>
:<math>s_n = a_0 + a_1 + \ldots + a_n = \sum_{i=0}^n a_i</math>  
# Es existiert ein '''neutrales Element''' <math>e</math>, sodass <math>e \star a = a</math> (linksneutral) oder <math>a \star e = a</math> (rechtsneutral). Wird auch das [[Kommutativgesetz]] erfüllt, ist <math>e \star a = a \star e = a</math>.
# Es gibt '''inverse Elemente''' <math>a^{-1}</math>, sodass <math>a^{-1} \star a = e</math> und/oder <math>a \star a^{-1} = e</math>


== Konvergenz ==
Falls die Reihe, d.h. die Folge der Partialsummen, [[Konvergenz|konvergiert]], so ist ihr [[Grenzwert]] die ''Summe'' oder der ''Wert'' der Reihe:


== Abelsche Gruppe ==
:<math>\lim_{n \to \infty} s_n = \lim_{n \to \infty} \sum_{i=0}^n a_i</math>
Für eine '''abelsche Gruppe''' ist zusätzlich auch das [[Kommutativgesetz]] erfüllt, d.h. <math>a \star b = b \star a</math>. Die wichtigste und bekannteste abelsche Gruppe ist <math> (\mathbb Z,+,0) </math>, die aus der Menge der [[Ganze Zahlen|ganzen Zahlen]] <math>\{\ldots, -3, -2, -1, 0, +1, +2, +3, \ldots\}</math> und der gewöhnlichen Addition <math> + </math> besteht.


== Halbgruppe ==
Eine Reihe ist genau dann '''absolut konvergent''', wenn die Reihe ihrer Absolutbeträge <math>\sum_{n=1}^\infty |s_n|</math> konvergiert.
Eine '''Halbgruppe''' erfüllt nur die beiden ersten Bedingungen. So bildet etwa die Menge der [[Natürliche Zahl|natürlichen Zahlen]] <math>\mathbb N_0 = \{0, 1, 2, 3, \ldots\}</math> zusammen mit der gewöhnlichen Addition die kommutative (abelsche) Halbgruppe <math>(\mathbb N_0,+,0)</math>. Im Gegensatz zur der abelschen Gruppe <math>(\mathbb Z,+,0)</math> der [[Ganze Zahl|ganzen Zahlen]] <math>\mathbb Z = \{\ldots, -3, -2, -1, 0, 1, 2, 3, \ldots\}</math> fehlt hier die ganze „Hälfte“ der ''negativen Zahlen'' und damit die inversen Elemente.


== Gruppentheorie ==
''Konvergente'' Reihen können gliedweise [[Addition|addiert]], [[Subtraktion|subtrahiert]] oder mit einem [[konstante]]n Faktor [[Multiplikation|multipliziert]] werden. ''Absolut konvergierende'' Reihen können auch gliedweise miteinander multipliziert werden. Die resultierende Reihe ist dann ebenfalls konvergent.
{{WikipediaDE|Gruppentheorie}}


Die mathematische Disziplin, die sich mit den Gruppen beschäftigt, heißt '''Gruppentheorie'''.
== Beispiele ==
 
=== Arithmetische Reihe ===
 
Eine '''arithmetische Reihe''' ist die Reihe einer [[Arithmetische Folge|arithmetischen Folge]]. Die Summe einer endlichen arithmetischen Reihe ergibt auf einfache Weise aus dem [[Arithmetisches Mittel|arithmetischen Mittel]] des ersten und des letzten Gliedes:
 
:<math>s_n = \sum_{i=0}^n(a_0 + i \cdot d)  = n \cdot \frac{a_0 + a_n}{2}</math>
 
=== Geometrische Reihe ===
 
Eine '''geometrische Reihe''' ist die Reihe einer [[Geometrische Folge|geometrischen Folge]]. Für eine [[Konvergenz|konvergente]] geometrische Reihe mit <math>|q|<1</math> und folglich <math>\lim_{n \to \infty} q^{n+1}=0</math> ergibt sich dann:
 
:<math>s_n = \sum_{i=0}^{n} a_0 q^i = a_0 + a_0 q + a_0 q^2 + \dotsb + a_0 q^n = a_0\frac{1-q^{n+1}}{1-q}</math>
 
Die Formel für die n-te Partialsumme lässt sich wie folgt herleiten:
 
:<math>s_n = a_0 + a_0 q + a_0 q^2 + \dotsb + a_0 q^n = a_0 (1 + q + q^2 + \dotsb + q^n) |\cdot q</math>
 
:<math>q s_n = a_0 (q + q^2 + q^3 + \dotsb + q^{n+1})</math>
 
Durch Subtraktion der zweiten Gleichung von der ersten ergibt sich:
 
:<math>s_n - q s_n = a_0 (1 - q^{n+1})</math>
 
:<math>s_n (1-q) = a_0 (1 - q^{n+1}) \  |: (1-q) </math>
 
:<math>s_n = a_0\frac{q^{n+1}-1}{q-1} = a_0\frac{1-q^{n+1}}{1-q}</math>
 
Für den Grenzwert der Reihe folgt daraus:
 
:<math>\lim_{n \to \infty} s_n = \lim_{n \to \infty} \sum_{i=0}^{n} a_0 q^i = \frac{a_0}{1-q}</math>
 
So hat z.B. die Reihe <math>s_n = \sum_{i=0}^{n} \frac1{2^n} = (1, 1 + \frac12, 1 + \frac12 + \frac14, 1 + \frac12 + \frac14 + \frac18, \dots) = (1, \frac32, \frac74, \frac{15}8, \dots) =</math> mit <math>a_0=1</math> und <math>q=\frac12</math> den Grenzwert <math>\lim_{n \to \infty} s_n = \frac1{1 - \frac12} = \frac1{\frac12} = 2</math>


== Siehe auch ==
== Siehe auch ==


* {{WikipediaDE|Gruppentheorie}}
* {{WikipediaDE|Reihe (Mathematik)}}
* {{WikipediaDE|Gruppe (Mathematik)}}
* {{WikipediaDE|Abelsche Gruppe}}
* {{WikipediaDE|Halbgruppe}}
* [[Ring (Algebra)]]
* [[Körper (Algebra)]]


[[Kategorie:Gruppe (Mathematik)|!]]
[[Kategorie:Gruppentheorie]]
[[Kategorie:Mathematik]]
[[Kategorie:Mathematik]]

Version vom 22. April 2018, 21:12 Uhr

Eine unendliche Reihe ist mathematisch definiert als Folge der Partialsummen einer anderen Folge :

Für eine beliebige Folge ist die -te Partialsumme ist die Summe ihrer ersten Glieder:

Konvergenz

Falls die Reihe, d.h. die Folge der Partialsummen, konvergiert, so ist ihr Grenzwert die Summe oder der Wert der Reihe:

Eine Reihe ist genau dann absolut konvergent, wenn die Reihe ihrer Absolutbeträge konvergiert.

Konvergente Reihen können gliedweise addiert, subtrahiert oder mit einem konstanten Faktor multipliziert werden. Absolut konvergierende Reihen können auch gliedweise miteinander multipliziert werden. Die resultierende Reihe ist dann ebenfalls konvergent.

Beispiele

Arithmetische Reihe

Eine arithmetische Reihe ist die Reihe einer arithmetischen Folge. Die Summe einer endlichen arithmetischen Reihe ergibt auf einfache Weise aus dem arithmetischen Mittel des ersten und des letzten Gliedes:

Geometrische Reihe

Eine geometrische Reihe ist die Reihe einer geometrischen Folge. Für eine konvergente geometrische Reihe mit und folglich ergibt sich dann:

Die Formel für die n-te Partialsumme lässt sich wie folgt herleiten:

Durch Subtraktion der zweiten Gleichung von der ersten ergibt sich:

Für den Grenzwert der Reihe folgt daraus:

So hat z.B. die Reihe mit und den Grenzwert

Siehe auch