Ja. Genau. Gib den existierenden Summen noch eine Variable als Wert. Ich versuch das mal einzufügen in deinen Text.
Sei (an)nElementN eine konvergente Folge. j nV. Element N also endlich.
Wenn ∑n=0 bis ∞ an konvergiert so muss auch ∑n=j bis ∞ an konvergieren
Beweis: Wenn ∑n=0 bis ∞ an konvergiert, ist ∑n=0 bis ∞ an = s , wobei s Element C.
da s= ∑n=0 bis ∞ an = ∑n=0 bis j-1 an + ∑n=j bis ∞ an , gilt
∑n=0 bis j an = -s + ∑n=0 bis j-1 an .
Das ist eine Summe von endlich vielen komplexen Summanden und deshalb eine komplexe Zahl? Also Existent. qed. ==>
und
Sei (an)nElementN eine ab Summand j konvergente Folge. j nV. Element N also endlich.
Wenn ∑n=j bis ∞ an konvergiert so muss auch ∑n=0 bis ∞ an konvergieren
Beweis: Wenn ∑n=0 bis ∞ an konvergiert, ist ∑n=j bis ∞ an = t , wobei t Element C.
da ∑n=0 bis ∞ an nichts anderes als ∑n=0 bis ∞ an = ∑n=0 bis j-1 an + ∑n=j bis ∞ an = ∑n=0 bis j-1 an + t . Das ist eine Summe von endlich vielen komplexen Summanden und deshalb existent. qed. <==