Προβολή πηγαίου κώδικα για τη σελίδα Θεώρημα αναδιάταξης του Ρίμαν

Στα [[μαθηματικά]], το '''θεώρημα αναδιάταξης του Ρίμαν''', που πήρε το όνομά του από τον Γερμανό μαθηματικό [[Μπέρναρντ Ρίμαν]] τον 19ο αιώνα, λέει ότι αν μια [[Σειρά|άπειρη σειρά]] πραγματικών αριθμών είναι [[Σύγκλιση υπό συνθήκη|υπό συνθήκη συγκλίνουσα]], τότε οι όροι της μπορούν να ταξινομηθούν σε μια [[Μετάθεση (μαθηματικά)|μετάθεση]] ώστε η νέα σειρά να συγκλίνει σε οποιονδήποτε πραγματικό αριθμό ή να αποκλίνει.

Για παράδειγμα, η σειρά

: <math> 1-1+\frac{1}{2}-\frac{1}{2}+\frac{1}{3}-\frac{1}{3}+\frac{1}{4}-\frac{1}{4}+\dots </math>

συγκλίνει στο 0 (για έναν αρκετά μεγάλο αριθμό όρων, το μερικό άθροισμα πλησιάζει αυθαίρετα κοντά στο 0). Αλλά αν αντικαταστήσουμε όλους τους όρους με τις απόλυτες τιμές τους έχουμε:

: <math> 1 + 1 + \frac{1}{2} + \frac{1}{2} + \frac{1}{3} + \frac{1}{3} + \dots </math>

το οποίο τείνει στο άπειρο. Έτσι, η αρχική σειρά είναι υπό συνθήκη συγκλίνουσα και μπορεί να αναδιαταχθεί (π.χ. παίρνοντας τους δύο πρώτους θετικούς όρους ακολουθούμενους από τον πρώτο αρνητικό όρο, μετά τους επόμενους δύο θετικούς όρους ακολουθούμενους από τον επόμενο αρνητικό όρο κ.λπ.) για να δώσει μια σειρά που συγκλίνει σε έναν διαφορετικό αριθμό, όπως π.χ.

: <math> 1+\frac{1}{2}-\frac{1}{3}+\frac{1}{4}-\frac{1}{2}+\dots </math>

που ισούται με [[Φυσικός λογάριθμος|ln]]2. Γενικότερα, χρησιμοποιώντας αυτή τη διαδικασία με ''p'' θετικούς όρους ακολουθούμενους από ''q'' αρνητικούς όρους παίρνουμε την τιμή ln(''p''/''q''). Άλλες αναδιατάξεις δίνουν διαφορετικά πεπερασμένα αθροίσματα ή δεν συγκλίνουν σε κανέναν πραγματικό αριθμό.

== Ιστορία ==
Είναι προφανές ότι το άθροισμα πεπερασμένου πλήθους αριθμών δεν εξαρτάται από τη σειρά με την οποία τους προσθέτουμε. Για παράδειγμα, {{Math|2 + 6 + 7 {{=}} 7 + 2 + 6}}. Η παρατήρηση ότι το άθροισμα μιας ''άπειρης'' ακολουθίας αριθμών μπορεί να εξαρτάται από τη σειρά των προσθετέων αποδίδεται στον [[Ωγκυστέν-Λουί Κωσύ]] το 1833. Ανέλυσε την [[Εναλλασσόμενες αρμονικές σειρές|εναλλασσόμενη αρμονική σειρά]], δείχνοντας ότι ορισμένες αναδιατάξεις των προσθετέων της οδηγούν σε διαφορετικές τιμές. Περίπου την ίδια εποχή, ο [[Πέτερ Γκούσταφ Λεζέν Ντίριχλετ]] τόνισε ότι τέτοια φαινόμενα αποκλείονται στο πλαίσιο της [[Απόλυτη σύγκριση|απόλυτης σύγκλισης]] και έδωσε περαιτέρω παραδείγματα του φαινομένου του Κωσύ για κάποιες άλλες σειρές που δεν είναι απολύτως συγκλίνουσες.

Κατά τη διάρκεια της ανάλυσής του για τις [[σειρές Φουριέ]] και τη θεωρία ολοκλήρωσης, ο Ρίμαν έδωσε έναν πλήρη χαρακτηρισμό των φαινομένων αναδιάταξης.{{Sfnm|1a1=Riemann|1y=1868}} Απέδειξε ότι στην περίπτωση μιας συγκλίνουσας σειράς που δεν συγκλίνει απολύτως (γνωστή ως υπό συνθήκη σύγκλιση), μπορούν να βρεθούν αναδιατάξεις έτσι ώστε η νέα σειρά να συγκλίνει σε ''οποιονδήποτε'' πραγματικό αριθμό.{{Sfnm|1a1=Kline|1y=1990}} Το θεώρημα του Ρίμαν θεωρείται πλέον ως βασικό μέρος του πεδίου της [[Μαθηματική ανάλυση|μαθηματικής ανάλυσης]].{{Sfnm|1a1=Apostol|1y=1967}}

Για οποιαδήποτε σειρά, μπορούμε να εξετάσουμε το σύνολο όλων των πιθανών αθροισμάτων  που αντιστοιχούν σε όλες τις πιθανές αναδιατάξεις των προσθετέων. Το θεώρημα του Ρίμαν μπορεί να διατυπωθεί λέγοντας ότι, για μια σειρά πραγματικών αριθμών, αυτό το σύνολο είτε είναι κενό, είτε είναι ένα μόνο σημείο (στην περίπτωση της απόλυτης σύγκλισης), είτε είναι ολόκληρη η ευθεία των πραγματικών αριθμών (στην περίπτωση της σύγκλισης υπό συνθήκη). Σε αυτή τη διατύπωση, το θεώρημα του Ρίμαν επεκτάθηκε από τους Πολ Λέβι και Ερνστ Στάινιτς σε σειρές των οποίων τα αθροίσματα είναι [[Μιγαδικός αριθμός|μιγαδικοί αριθμοί]] ή, ακόμη πιο γενικά, σε στοιχεία πραγματικού [[Διανυσματικός χώρος|διανυσματικού χώρου]]. Απέδειξαν ότι το σύνολο των πιθανών αθροισμάτων σχηματίζει έναν πραγματικό [[Αφινικός χώρος|αφινικό υποχώρο]]. Επεκτάσεις του θεωρήματος Λέβι–Στάινιτς σε σειρές που βρίσκονται σε χώρους απείρων διαστάσεων έχουν εξεταστεί από αρκετούς συγγραφείς.{{Sfnm|1a1=Banaszczyk|1y=1991|1loc=Section 10|2a1=Mauldin|2y=2015|2loc=Problem 28 and Problem 106}}

== Ορισμοί ==
Μια σειρά <math display="inline">\sum_{n=1}^\infty a_n</math> [[Συγκλίνουσα σειρά|συγκλίνει]] αν υπάρχει τιμή <math>\ell</math> έτσι ώστε η [[ακολουθία]] των μερικών αθροισμάτων

: <math>(S_1, S_2, S_3, \ldots), \quad S_n = \sum_{k=1}^n a_k,</math>

να συγκλίνει στην τιμή <math>\ell</math>. Δηλαδή, για κάθε ''ε''>0, υπάρχει ένας ακέραιος ''N'' τέτοιος ώστε αν ''n''≥''Ν'', να ισχύει:

: <math>\left\vert S_n - \ell \right\vert \le \varepsilon.</math>

Μια σειρά [[Σύγκλιση υπό συνθήκη|συγκλίνει υπό συνθήκη]] αν η σειρά <math display="inline">\sum_{n=1}^\infty a_n</math> συγκλίνει, αλλά η σειρά <math display="inline">\sum_{n=1}^\infty \left\vert a_n \right\vert</math> αποκλίνει.

Μια μετάθεση είναι απλώς μια αμφιμονοσήμαντη συνάρτηση (δηλαδή μια συνάρτηση [[ένα προς ένα]] και [[Επί (συνάρτηση)|επί]]) από το [[σύνολο]] των [[Φυσικός αριθμός|φυσικών αριθμών]] στον εαυτό της. Αυτό σημαίνει ότι εάν <math>\sigma</math> είναι μια μετάθεση, τότε για κάθε θετικό ακέραιο <math>b,</math> υπάρχει ακριβώς ένας θετικός ακέραιος αριθμός <math>a</math> τέτοιος ώστε <math>\sigma (a) = b.</math> Ειδικότερα, εάν <math>x \ne y</math>, τότε <math>\sigma (x) \ne \sigma (y)</math>.

== Δήλωση του θεωρήματος ==
Ας υποθέσουμε ότι <math>(a_1, a_2, a_3, \ldots)</math> είναι μια ακολουθία [[Πραγματικός αριθμός|πραγματικών αριθμών]] και ότι η σειρά <math display="inline"> \sum_{n=1}^\infty a_n</math> συγκλίνει υπό συνθήκη. Έστω <math>M</math> ένας πραγματικός αριθμός. Τότε, υπάρχει μια [[Μετάθεση (μαθηματικά)|μετάθεση]] <math>\sigma</math> τέτοια ώστε

: <math>\sum_{n=1}^\infty a_{\sigma (n)} = M.</math>

Υπάρχει επίσης μια μετάθεση <math>\sigma</math> τέτοια ώστε

: <math>\sum_{n=1}^\infty a_{\sigma (n)} = \infty.</math>

Το άθροισμα μπορεί επίσης να αναδιαταχθεί με τέτοιο τρόπο ώστε να αποκλίνει στο <math>-\infty</math> ή να μην τείνει σε κανένα όριο, ούτε πεπερασμένο ούτε άπειρο.

== Εναλλασσόμενη αρμονική σειρά ==

=== Αλλάζοντας το άθροισμα ===
Η [[Εναλλασσόμενες αρμονικές σειρές|εναλλασσόμενη αρμονική σειρά]] είναι ένα κλασικό παράδειγμα μιας υπό συνθήκης συγκλίνουσας σειράς: <math display="block">\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n}</math>Αντίθετα, η σειρά <math display="block">\sum_{n=1}^\infty \left| \frac{(-1)^{n+1}}{n} \right| = \sum_{n=1}^\infty \frac{1}{n}</math>είναι η συνηθισμένη [[Αρμονική σειρά (μαθηματικά)|αρμονική σειρά]], η οποία αποκλίνει. Αν και στην τυπική παρουσίαση η εναλλασσόμενη αρμονική σειρά συγκλίνει στο {{Math|ln(2)}}, οι όροι της μπορούν να αναδιαταχθούν με τέτοιο τρόπο ώστε να συγκλίνουν σε οποιονδήποτε πραγματικό αριθμό ή ακόμα και να αποκλίνουν.

Ένα παράδειγμα είναι το εξής: Ξεκινάμε με τη σειρά όπου οι όροι της είναι στη συνηθισμένη σειρά

:
: <math>\ln(2) = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} - \frac{1}{6} + \frac{1}{7} - \frac{1}{8} + \frac{1}{9}\cdots</math>
:

και τους αναδιατάσσουμε ως εξής:

: <math>\begin{align}
& 1 - \frac{1}{2} - \frac{1}{4} + \frac{1}{3} - \frac{1}{6} - \frac{1}{8} + \frac{1}{5} - \frac{1}{10} - \frac{1}{12} + \cdots\\
=&{} \left( 1 - \frac{1}{2} \right) - \frac{1}{4} + \left(\frac{1}{3} - \frac{1}{6}\right) - \frac{1}{8} + \left(\frac{1}{5} - \frac{1}{10}\right) - \frac{1}{12} + \cdots
\end{align}</math>
:

όπου το μοτίβο είναι: οι δύο πρώτοι όροι είναι 1 και −1/2, των οποίων το άθροισμα είναι 1/2. Ο επόμενος όρος είναι −1/4. Οι επόμενοι δύο όροι είναι 1/3 και −1/6, των οποίων το άθροισμα είναι 1/6. Ο επόμενος όρος είναι −1/8. Οι επόμενοι δύο όροι είναι 1/5 και −1/10, των οποίων το άθροισμα είναι 1/10. Γενικότερα, δεδομένου ότι κάθε περιττός ακέραιος εμφανίζεται μία φορά ως θετικός και κάθε άρτιος ακέραιος εμφανίζεται μία φορά ως αρνητικός (οι μισοί από αυτούς ως πολλαπλάσια του 4, οι άλλοι μισοί ως διπλάσιοι περιττοί ακέραιοι), το άθροισμα αποτελείται από τρεις αριθμούς στη σειρά που κάθε φορά μπορούν να απλοποιηθούν ως εξής:

: <math>\left( \frac{1}{2k - 1} - \frac{1}{2(2k - 1)} \right)- \frac{1}{4k} = \left(\frac{1}{2(2k - 1)}\right)- \frac{1}{4k},\quad k = 1, 2, \dots.</math>

Επομένως, η παραπάνω σειρά μπορεί να γραφτεί ως εξής:

: <math>\begin{align}
&\frac{1}{2} - \frac{1}{4} + \frac{1}{6} - \frac{1}{8} + \frac{1}{10} + \cdots + \frac{1}{2(2k - 1)} - \frac{1}{2(2k)} + \cdots \\
={}& \frac{1}{2}\left(1 - \frac{1}{2} + \frac{1}{3} - \cdots\right) = \frac{1}{2} \ln(2)
\end{align}</math>
:

που είναι το μισό του αρχικού αθροίσματος. Αυτή η σειρά μπορεί να αποδειχθεί ότι είναι μεγαλύτερη από το μηδέν με την απόδειξη του θεωρήματος του Λάιμπνιτς χρησιμοποιώντας ότι το δεύτερο μερικό άθροισμα είναι το μισό του αρχικού.<ref name=":0">{{Cite book|title=Calculus|first=Michael|last=Spivak|publisher=Publish or Perish|isbn=978-0-914098-91-1|date=2008|edition=4th|location=Houston, Texas|pages=482–483}}</ref> Εναλλακτικά, η τιμή του <math>\ln(2)</math> στο οποίο συγκλίνει δεν μπορεί να είναι μηδέν. Ως εκ τούτου, η τιμή της ακολουθίας φαίνεται να εξαρτάται από τη σειρά με την οποία αναδιατάσσουμε τους όρους.

Είναι αλήθεια ότι η ακολουθία:

: <math>\{b_n\}=1, -\frac{1}{2},-\frac{1}{4},\frac{1}{3}, -\frac{1}{6}, -\frac{1}{8},\frac{1}{5}, -\frac{1}{10}, -\frac{1}{12},\frac{1}{7}, -\frac{1}{14},-\frac{1}{16},\cdots</math>

περιέχει όλα τα στοιχεία της ακολουθίας:

: <math>\{a_n\}=1, -\frac{1}{2},\frac{1}{3}, -\frac{1}{4},\frac{1}{5}, -\frac{1}{6},\frac{1}{7}, -\frac{1}{8},\frac{1}{9}, -\frac{1}{10},\frac{1}{11}, -\frac{1}{12},\frac{1}{13}, -\frac{1}{14},\frac{1}{15},\cdots</math>

Ωστόσο, δεδομένου ότι το άθροισμα ορίζεται ως <math>\sum^{\infty}_{n=1}a_n:=\lim_{n\to \infty} \left(a_1 + a_2 + \cdots + a_n\right)</math> και <math>\sum^{\infty}_{n=1}b_n:=\lim_{n\to \infty} \left(b_1 + b_2 + \cdots + b_n\right)</math>, η σειρά των όρων μπορεί να επηρεάσει το όριο.

=== Παίρνοντας ένα αυθαίρετο άθροισμα ===
Ένας αποτελεσματικός τρόπος για να γενικεύσουμε το αποτέλεσμα της προηγούμενης ενότητας είναι να χρησιμοποιήσουμε το γεγονός ότι:

: <math>1 + {1 \over 2} + {1 \over 3} + \cdots + {1 \over n} = \gamma + \ln n + o(1),</math>

όπου το ''γ'' είναι η σταθερά Όιλερ-Μασκερόνι και ο συμβολισμός ''o''(1) δηλώνει μια ποσότητα που εξαρτάται από την τρέχουσα μεταβλητή (εδώ, η μεταβλητή είναι το ''n'') με τέτοιο τρόπο, ώστε αυτή η ποσότητα να τείνει στο 0 όσο η μεταβλητή τείνει στο άπειρο.

Από αυτό προκύπτει ότι το άθροισμα των πρώτων ''q'' άρτιων όρων ικανοποιεί:

: <math>{1 \over 2} + {1 \over 4} + {1 \over 6} + \cdots + {1 \over 2 q} = {1 \over 2} \, \gamma + {1 \over 2} \ln q + o(1),</math>

και παίρνοντας τη διαφορά, βλέπoυμε ότι το άθροισμα των πρώτων ''p'' περιττών όρων ικανοποιεί:

: <math>{1} + {1 \over 3} + {1 \over 5} + \cdots + {1 \over 2 p - 1} = {1 \over 2} \, \gamma + {1 \over 2} \ln p + \ln 2 + o(1).</math>

Ας υποθέσουμε ότι δίνονται δύο θετικοί ακέραιοι αριθμοί ''a'' και ''b'' και ότι σχηματίζεται μια αναδιάταξη της εναλλασσόμενης αρμονικής σειράς παίρνοντας, κατά σειρά, ''a'' θετικούς όρους από την εναλλασσόμενη αρμονική σειρά, ακολουθούμενους από ''b'' αρνητικούς όρους και επαναλαμβάνουμε αυτό το μοτίβο μέχρι το άπειρο (η ίδια η εναλλασσόμενη σειρά αντιστοιχεί σε {{Nowrap|1=''a'' = ''b'' = 1}}, ενώ το παράδειγμα στην προηγούμενη ενότητα αντιστοιχεί σε ''a'' = 1, ''b'' = 2):

: <math>{1} + {1 \over 3} + \cdots + {1 \over 2 a - 1} - {1 \over 2} - {1 \over 4} - \cdots - {1 \over 2 b} + {1 \over 2 a + 1} + \cdots + {1 \over 4 a - 1} - {1 \over 2b + 2} - \cdots</math>

Τότε, το μερικό άθροισμα τάξης (''a''+''b'')''n'' αυτής της αναδιαταγμένης σειράς περιέχει {{Nowrap|1=''p'' = ''an''}} θετικούς περιττούς όρους και {{Nowrap|1=''q'' = ''bn''}} αρνητικούς άρτιους όρους, επομένως:

: <math>S_{(a+b)n} = {1 \over 2} \ln p + \ln 2 - {1 \over 2} \ln q + o(1) = {1 \over 2} \ln\left(\frac ab\right) + \ln 2 + o(1).</math>

Από αυτό προκύπτει ότι το άθροισμα αυτής της αναδιαταγμένης σειράς είναι:<ref>{{Cite book|title=Calculus, Volume 1|first=Tom M.|last=Apostol|publisher=John Wiley & Sons|isbn=978-0-471-00005-1|date=1991-01-16|pages=416|url=https://books.google.com/books?id=o2D4DwAAQBAJ|γλώσσα=en}}</ref>

: <math>{1 \over 2} \ln\left(\frac ab\right) + \ln 2 = \ln\left( 2 \sqrt{\frac ab} \right).</math>

Ας υποθέσουμε τώρα ότι, γενικότερα, μια αναδιαταγμένη σειρά της εναλλασσόμενης αρμονικής σειράς γράφεται με τέτοιο τρόπο ώστε η αναλογία {{Nowrap|''p''<sub>''n''</sub>/''q''<sub>''n''</sub>}} μεταξύ του αριθμού των θετικών και αρνητικών όρων στο μερικό άθροισμα τάξης ''n'' να τείνει σε έναν θετικό αριθμό ''r''. Τότε, το άθροισμα μιας τέτοιας αναδιάταξης θα είναι

: <math>\ln\left( 2 \sqrt{r} \right)</math>

και αυτό εξηγεί ότι οποιοσδήποτε πραγματικός αριθμός ''x'' μπορεί να ληφθεί ως το άθροισμα μιας αναδιαταγμένης σειράς της εναλλασσόμενης αρμονικής σειράς: αρκεί να σχηματιστεί μια αναδιάταξη για την οποία το όριο ''r'' είναι ίσο με {{Nowrap|e<sup>2''x''</sup>/ 4}}.

== Απόδειξη ==

=== Ύπαρξη αναδιάταξης που έχει άθροισμα οποιονδήποτε θετικό πραγματικό αριθμό ''M'' ===
Η περιγραφή του θεωρήματος από τον Ρίμαν και η απόδειξή του είναι ως εξής:{{Sfnm|1a1=Riemann|1y=1868|1p=97|1loc=quoted from the 2004 English translation}}
{{Παράθεμα
| quote = … οι άπειρες σειρές διακρίνονται σε δύο κατηγορίες, ανάλογα με το αν παραμένουν συγκλίνουσες ή όχι όταν όλοι οι όροι γίνουν θετικοί. Στην πρώτη κατηγορία, οι όροι μπορούν να αναδιαταχθούν αυθαίρετα. Στη δεύτερη, από την άλλη πλευρά, η τιμή εξαρτάται από τη σειρά των όρων. Πράγματι, αν συμβολίσουμε τους θετικούς όρους μιας σειράς στη δεύτερη κατηγορία με {{math|''a''<sub>1</sub>, ''a''<sub>2</sub>, '' a''<sub>3</sub>, ...}} και τους αρνητικούς όρους με {{math|−''b''<sub>1</sub>, −''b''<sub>2</sub>, −''b''<sub>3</sub>, ...}}, τότε είναι προφανές ότι οι σειρές {{math|Σ''a''}} και {{math|Σ''b''}} πρέπει να είναι άπειρες. Διότι αν ήταν και οι δύο πεπερασμένες, η σειρά θα ήταν ακόμα συγκλίνουσα αφότου κάνοντας όλα τα πρόσημα ίδια. Αν μόνο μία από αυτές ήταν άπειρη, τότε η σειρά θα απέκλινε. Είναι σαφές τώρα ότι μια αυθαίρετη τιμή {{mvar|C}} μπορεί να ληφθεί με κατάλληλη αναδιάταξη των όρων. Παίρνουμε εναλλάξ τους θετικούς όρους της σειράς έως ότου το άθροισμα να είναι μεγαλύτερο από {{mvar|C}} και μετά τους αρνητικούς όρους έως ότου το άθροισμα να είναι μικρότερο από {{mvar|C}}. Η απόκλιση από το {{mvar|C}} δεν υπερβαίνει ποτέ το μέγεθος του όρου στο τελευταίο σημείο που άλλαξαν τα πρόσημα. Τώρα, αφού οι αριθμοί {{mvar|a}} και {{mvar|b}} γίνονται απείρως μικροί, το ίδιο συμβαίνει και με τις αποκλίσεις από το {{mvar|C}}. Συνεπώς, όσο τείνουμε στο άπειρο, η απόκλιση γίνεται όλο και πιο μικρή, δηλαδή η σειρά συγκλίνει στο {{mvar|C}}.
}}
Αυτό μπορεί να δοθεί με περισσότερες λεπτομέρειες ως εξής: Θυμηθείτε ότι μια υπό συνθήκη συγκλίνουσα σειρά πραγματικών όρων έχει άπειρους αρνητικούς όρους και άπειρους θετικούς όρους. Πρώτα, ορίζουμε δύο ποσότητες, <math>a_{n}^{+}</math> και <math>a_{n}^{-}</math>, με:

: <math>a_{n}^{+} = \begin{cases}a_n&\text{αν }a_n\geq 0\\ 0&\text{αν }a_n<0,\end{cases} \qquad a_{n}^{-} = \begin{cases}0&\text{αν }a_n\geq 0\\ a_n&\text{αν }a_n<0.\end{cases}</math>

Δηλαδή, η σειρά <math display="inline">\sum_{n=1}^\infty a_n^{+}</math> περιλαμβάνει όλα τα θετικά ''a<sub>n</sub>'', με όλους τους αρνητικούς όρους να είναι μηδέν, και η σειρά <math display="inline">\sum_{n=1}^\infty a_n^{-}</math> περιλαμβάνει όλα τα αρνητικά ''a<sub>n</sub>'', με όλους τους θετικούς όρους να είναι μηδέν. Αφού η σειρά <math display="inline">\sum_{n=1}^\infty a_n</math> είναι υπό συνθήκη συγκλίνουσα, τόσο η "θετική" όσο και η "αρνητική" σειρά αποκλίνουν. Έστω {{Mvar|M}} ένας πραγματικός αριθμός. Παίρνουμε τόσους θετικούς όρους του <math>a_{n}^{+}</math> ώστε το άθροισμά τους να υπερβαίνει το {{Mvar|M}}. Δηλαδή, έστω {{Math|''p''<sub>1</sub>}} ο μικρότερος θετικός ακέραιος έτσι ώστε

: <math>M < \sum_{n=1}^{p_1} a_{n}^{+}.</math>

Αυτό είναι δυνατό επειδή τα επιμέρους αθροίσματα της σειράς <math>a_{n}^{+}</math> τείνουν στο <math>+\infty</math>. Τώρα, έστω {{Math|''q''<sub>1</sub>}} ο μικρότερος θετικός ακέραιος έτσι ώστε

: <math>M>\sum_{n=1}^{p_1} a_n^++\sum_{n=1}^{q_1} a_n^-.</math>

Αυτός ο αριθμός υπάρχει επειδή τα επιμέρους αθροίσματα της σειράς <math>a_{n}^{-}</math> τείνουν στο <math>-\infty</math>. Συνεχίζοντας επαγωγικά, ορίζουμε ως {{Math|''p''<sub>2</sub>}} τον μικρότερο ακέραιο που είναι μεγαλύτερος από το {{Math|''p''<sub>1</sub>}} έτσι ώστε

: <math>M<\sum_{n=1}^{p_2}a_n^++\sum_{n=1}^{q_1}a_n^-,</math>

και ούτω καθεξής. Το αποτέλεσμα μπορεί να θεωρηθεί ως μια νέα ακολουθία:

: <math>a_1^+,\ldots,a_{p_1}^+,a_1^-,\ldots,a_{q_1}^-,a_{p_1+1}^+,\ldots,a_{p_2}^+,a_{q_1+1}^-,\ldots,a_{q_2}^-,a_{p_2+1}^+,\ldots.</math>

Επιπλέον, τα μερικά αθροίσματα αυτής της νέας ακολουθίας συγκλίνουν στο {{Mvar|M}}. Αυτό φαίνεται από το γεγονός ότι για κάθε {{Mvar|i}},

: <math>\sum_{n=1}^{p_{i+1}-1} a_n^+ +\sum_{n=1}^{q_i}a_n^-\leq M<\sum_{n=1}^{p_{i+1}}a_n^+ +\sum_{n=1}^{q_i}a_n^-, </math>

με την πρώτη ανισότητα να ισχύει λόγω του γεγονότος ότι το {{Math|''p''<sub>''i''+1</sub>}} έχει οριστεί ως ο ''μικρότερος'' αριθμός που είναι μεγαλύτερος από το {{Math|''p''<sub>''i''</sub>}}, κάνοντας και τη δεύτερη ανισότητα να ισχύει. Κατά συνέπεια, ισχύει ότι:

: <math>0<\left(\sum_{n=1}^{p_{i+1}}a_n^+ +\sum_{n=1}^{q_i}a_n^-\right) - M \leq a_{p_{i+1}}^+.</math>

Εφόσον η δεξιά μεριά συγκλίνει στο μηδέν λόγω της υπόθεσης της σύγκλισης υπό συνθήκη, αυτό δείχνει ότι το {{Math|(''p''<sub>''i''+1</sub> + ''q''<sub>''i''</sub>)}}-οστό μερικό άθροισμα της νέας ακολουθίας συγκλίνει στο {{Mvar|M}} καθώς αυξάνεται το {{Mvar|i}}. Ομοίως, το {{Math|(''p''<sub>''i''+1</sub> + ''q''<sub>''i''+1</sub>)}}-οστό μερικό άθροισμα συγκλίνει επίσης στο {{Mvar|M}}. Δεδομένου ότι τα {{Math|(''p''<sub>''i''+1</sub> + ''q''<sub>''i''</sub> + 1)}}, {{Math|(''p''<sub>''i''+1</sub> + ''q''<sub>''i''</sub> + 2)}}, ..., {{Math|(''p''<sub>''i''+1</sub> + ''q''<sub>''i''+1</sub> − 1)}}-οστά επιμέρους αθροίσματα έχουν τιμές μεταξύ των {{Math|(''p''<sub>''i''+1</sub> + ''q''<sub>''i''</sub>)}} και {{Math|(''p''<sub>''i''+1</sub> + ''q''<sub>''i''+1</sub>)}}-οστών μερικών αθροισμάτων, αυτό σημαίνει ότι ολόκληρη η ακολουθία των μερικών αθροισμάτων συγκλίνει στο {{Mvar|M}}.

Κάθε όρος της αρχικής ακολουθίας {{Math|''a''<sub>''n''</sub>}} εμφανίζεται σε αυτή τη νέα ακολουθία, της οποίας τα μερικά αθροίσματα συγκλίνουν στο {{Mvar|M}}. Οι όροι της αρχικής ακολουθίας που είναι μηδέν θα εμφανίζονται δύο φορές στη νέα ακολουθία (μία φορά στη "θετική" ακολουθία και μία στην "αρνητική") και κάθε δεύτερη τέτοια εμφάνιση μπορεί να αφαιρεθεί, κάτι το οποίο δεν επηρεάζει το άθροισμα με οποιοδήποτε τρόπο. Η νέα ακολουθία είναι, επομένως, μία μετάθεση της αρχικής ακολουθίας.

=== Ύπαρξη αναδιάταξης που αποκλίνει ===
Έστω <math display="inline"> \sum_{i=1}^\infty a_i</math> μια υπό συνθήκη συγκλίνουσα σειρά. Το παρακάτω είναι μια απόδειξη ότι υπάρχει μια αναδιάταξη αυτής της σειράς που τείνει στο <math>\infty</math> (ένα παρόμοιο επιχείρημα μπορεί να χρησιμοποιηθεί για να δειχθεί ότι υπάρχει μια αναδιάταξη που τείνει στο <math>-\infty</math>).

Η παραπάνω απόδειξη της αρχικής διατύπωσης του Ρίμαν χρειάζεται μόνο να τροποποιηθεί με τέτοιο τρόπο, ώστε το {{Math|''p''<sub>''i''+1</sub>}} να επιλέγεται ως ο μικρότερος ακέραιος που είναι μεγαλύτερος από το {{Math|''p''<sub>''i''</sub>}} έτσι ώστε

: <math>i+1<\sum_{n=1}^{p_{i+1}}a_n^+ +\sum_{n=1}^{q_i}a_n^-, </math>

και το {{Math|''q''<sub>''i''+1</sub>}} να επιλέγεται ως ο μικρότερος ακέραιος που είναι μεγαλύτερος από το {{Math|''q''<sub>''i''</sub>}} έτσι ώστε

: <math>i+1>\sum_{n=1}^{p_{i+1}}a_n^+ +\sum_{n=1}^{q_{i+1}}a_n^-.</math>

Η επιλογή του {{Math|''i''+1}} στην αριστερή μεριά δεν έχει σημασία, καθώς θα μπορούσε να αντικατασταθεί από οποιαδήποτε ακολουθία που τείνει στο άπειρο. Αφού το <math>a_n^-</math> τείνει στο μηδέν καθώς το {{Mvar|n}} αυξάνεται, για αρκετά μεγάλο {{Mvar|i}} έχουμε:

: <math>\sum_{n=1}^{p_{i+1}}a_n^+ +\sum_{n=1}^{q_{i+1}}a_n^- > i</math>

και αυτό αποδεικνύει (όπως ακριβώς και με την ανάλυση της σύγκλισης παραπάνω) ότι η ακολουθία των μερικών αθροισμάτων της νέας ακολουθίας αποκλίνει.

=== Ύπαρξη αναδιάταξης που δεν έχει όριο ===
Η παραπάνω απόδειξη χρειάζεται μόνο να τροποποιηθεί με τέτοιο τρόπο, ώστε το {{Math|''p''<sub>''i''+1</sub>}} να επιλέγεται ως ο μικρότερος ακέραιος που είναι μεγαλύτερος από το {{Math|''p''<sub>''i''</sub>}} έτσι ώστε

: <math>1<\sum_{n=1}^{p_{i+1}}a_n^+ +\sum_{n=1}^{q_i}a_n^-, </math>

και το {{Math|''q''<sub>''i''+1</sub>}} να επιλέγεται ως ο μικρότερος ακέραιος που είναι μεγαλύτερος από το {{Math|''q''<sub>''i''</sub>}} έτσι ώστε

: <math>-1>\sum_{n=1}^{p_{i+1}}a_n^+ +\sum_{n=1}^{q_{i+1}}a_n^-.</math>

Αυτό δείχνει άμεσα ότι η ακολουθία των μερικών αθροισμάτων περιέχει άπειρους όρους που είναι μεγαλύτεροι από 1 και επίσης άπειρους όρους που είναι μικρότεροι από {{Math|−1}}, έτσι ώστε η ακολουθία των μερικών αθροισμάτων να μην μπορεί να συγκλίνει.

== Αναφορές ==
{{Παραπομπές}}

==  Βιβλιογραφία ==
{{refbegin}}
*{{cite book|title=Calculus. Volume I: One-variable calculus, with an introduction to linear algebra|first1=Tom M.|last1=Apostol|publisher=[[John Wiley & Sons, Inc.]]|isbn=0-471-00005-1|year=1967|edition=Second edition of 1961 original|location=New York|mr=0214705|zbl=0148.28201|author-link1=Tom M. Apostol}}
* {{cite book|title=Mathematical analysis|first1=Tom M.|last1=Apostol|publisher=[[Addison-Wesley Publishing Co.]]|year=1974|edition=Second edition of 1957 original|location=Reading, MA|mr=0344384|author-link1=Tom M. Apostol|zbl=0309.26002}}
*{{cite book|title=Additive Subgroups of Topological Vector Spaces|first=Wojciech|last=Banaszczyk|publisher=[[Springer-Verlag]]|isbn=3-540-53917-4|year=1991|series=[[Lecture Notes in Mathematics]]|volume=1466|location=Berlin|pages=93–109|mr=1119302|zbl=0743.46002|doi=10.1007/BFb0089147}}
* {{cite book|title=Résumés analytiques|first1=M. Augustin Louis|last1=Cauchy|publisher=L'imprimerie royale|year=1833|location=Turin|author-link1=Augustin-Louis Cauchy}}
*{{cite journal|last1=Dirichlet|first1=P. G. L.|author-link1=Peter Gustav Lejeune Dirichlet|title=Beweis des Satzes, dass jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enthält|year=1837|pages=45–81|journal=Abhandlungen der Königlich Preussischen Akademie der Wissenschaften}}

{{cite encyclopedia|mr=0249268|title=Beweis des Satzes, dass jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enthält|last1=Lejeune Dirichlet|first1=G.|author-link1=Peter Gustav Lejeune Dirichlet|encyclopedia=Werke. Band I|jfm=21.0016.01|editor-last1=Kronecker|editor-first1=L.|editor-link1=Leopold Kronecker|year=1889|location=Berlin|publisher=Dietrich Reimer Verlag|pages=313–342}}

* {{cite book|title=Mathematical thought from ancient to modern times. Volume 3|url=https://archive.org/details/mathematicalthou00morr|first1=Morris|last1=Kline|publisher=[[The Clarendon Press]]|isbn=0-19-506137-3|year=1990|edition=Second edition of 1972 original|location=New York|mr=1058203|author-link1=Morris Kline|zbl=0864.01001}}
* {{cite encyclopedia|mr=3242261|title=The Scottish Book. Mathematics from the Scottish Café with selected problems from the new Scottish Book|edition=Second edition of 1981 original|others=Including selected papers presented at the Scottish Book Conference held at North Texas University, Denton, TX, May 1979|editor-first1=R. Daniel|editor-last1=Mauldin|publisher=[[Springer, Cham]]|year=2015|isbn=978-3-319-22896-9|zbl=1331.01039|doi=10.1007/978-3-319-22897-6|title-link=Scottish Book}}
*{{cite journal|last1=Riemann|first1=Bernhard|author-link1=Bernhard Riemann|journal=Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen|volume=13|year=1868|title=Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe|pages=87–132|url=http://resolver.sub.uni-goettingen.de/purl?PPN250442582_0013|jfm=01.0131.03}}

{{cite encyclopedia|last1=Riemann|first1=Bernhard|author-link1=Bernhard Riemann|encyclopedia=Collected Papers|publisher=Kendrick Press|translator-last1=Baker|translator-first1=Roger|translator-last2=Christenson|translator-first2=Charles|translator-last3=Orde|translator-first3=Henry|title=On the representation of a function by a trigonometric series|year=2004|isbn=0-9740427-2-2|location=Heber City, UT|others=Translation of 1892 German edition|mr=2121437|zbl=1101.01013|author-mask1=}}

* {{cite book|title=Principles of mathematical analysis|first1=Walter|last1=Rudin|publisher=[[McGraw-Hill Book Co.]]|year=1976|edition=Third edition of 1953 original|series=International Series in Pure and Applied Mathematics|location=New York|mr=0385023|author-link1=Walter Rudin|title-link=Principles of Mathematical Analysis|zbl=0346.26002}}
* {{cite book|title=A course of modern analysis—an introduction to the general theory of infinite processes and of analytic functions with an account of the principal transcendental functions|first1=E. T.|last1=Whittaker|first2=G. N.|last2=Watson|publisher=[[Cambridge University Press]]|isbn=978-1-316-51893-9|year=2021|others=With a foreword by [[Samuel James Patterson|S. J. Patterson]]|edition=Fifth edition of 1902 original|location=Cambridge|mr=4286926|author-link1=E. T. Whittaker|author-link2=G. N. Watson|editor-first1=Victor H.|editor-last1=Moll|editor-link1=Victor Moll|doi=10.1017/9781009004091|zbl=1468.30001|title-link=A Course of Modern Analysis}}
{{refend}}

== Εξωτερικοί σύνδεσμοι ==

* Weisstein, Eric W. "Θεώρημα αναδιάταξης του Ρίμαν". ''MathWorld''. Ανακτήθηκε 1 Φεβρουαρίου 2023.

[[Κατηγορία:Σειρές (μαθηματικά)]]
[[Κατηγορία:Σελίδες με μη επιθεωρημένες μεταφράσεις]]