Συναρτησιακή ανάλυση: Διαφορά μεταξύ των αναθεωρήσεων
μ Ρομπότ: προσθήκη σήμανσης επαληθευσιμότητας |
μ Μορφοποίηση κειμένου, διόρθωση ελληνικών όρων και προσθήκη παραπομπών Ετικέτα: Σύνδεσμοι αποσαφήνισης |
||
Γραμμή 1: | Γραμμή 1: | ||
⚫ | [[Αρχείο:Drum_vibration_mode12.gif|δεξιά|μικρογραφία|200x200εσ|Ένας από τους πιθανούς τρόπους δόνησης μιας εξιδανικευμένης κεφαλής κυκλικού τυμπάνου. Αυτοί οι τρόποι είναι [[ιδιοσυνάρτηση|ιδιοσυναρτήσεις]] ενός γραμμικού τελεστή σε μία συνάρτηση στο χώρο, μια σύνηθης κατασκευή στην συναρτησιακή ανάλυση.]] |
||
{{χωρίς παραπομπές}} |
|||
⚫ | Η '''συναρτησιακή ανάλυση '''είναι ένας κλάδος της [[Μαθηματική ανάλυση|μαθηματικής ανάλυσης]], που ασχολείται κυρίως με τη μελέτη των [[Διανυσματικός χώρος|διανυσματικών χώρων]] μαζί με κάποιο είδος ορίου που σχετίζεται με τη δομή (π.χ. [[εσωτερικό γινόμενο]], [[νόρμα]] ή [[τοπολογία]]) και των γραμμικών τελεστών που ενεργούν σε αυτούς τους χώρους και με σεβασμό σε αυτές τις δομές με μία κατάλληλη έννοια. Οι ιστορικές ρίζες της συναρτησιακής ανάλυσης βρίσκονται στη μελέτη των [[συναρτησιακός χώρος|συναρτησιακών χώρων]] και τη διατύπωση των ιδιοτήτων των συναρτησιακών μετασχηματισμών, όπως ο [[Μετασχηματισμός Φουριέ|μετασχηματισμός Φουριέ]], ως [[Συνέχεια συνάρτησης|συνεχών]] μετασχηματισμών μεταξύ συναρτησιακών χώρων. Αυτή η άποψη αποδείχθηκε ιδιαίτερα χρήσιμη για την μελέτη των [[Διαφορική εξίσωση|διαφορικών εξισώσεων]] και των [[ολοκληρωτική εξισώση|ολοκληρωτικών εξισώσεων]]. |
||
⚫ | Η χρήση της λέξης ''συνάρτησιακή'' πηγαίνει πίσω στον [[Λογισμός των μεταβολών|λογισμό των μεταβολών]], που αναφέρεται σε μία συνάρτηση της οποίας το όρισμα είναι επίσης συνάρτηση. Το όνομα χρησιμοποιήθηκε για πρώτη φορά στο βιβλίο του [[Ζακ Ανταμάρ|Ανταμάρ]] το 1910 πάνω σε αυτό το θέμα. Ωστόσο, η γενική έννοια της συνάρτησης είχε προηγουμένως εισαχθεί το 1887 από τον Ιταλό μαθηματικό και φυσικό [[Βίτο Βολτέρρα]].<ref>{{Cite web | last=Lawvere|first=F. William|title=Volterra's functionals and covariant cohesion of space| url=http://www.acsu.buffalo.edu/~wlawvere/Volterra.pdf |archive-url=https://web.archive.org/web/20030407030553/http://www.acsu.buffalo.edu/~wlawvere/Volterra.pdf |archive-date=2003-04-07|url-status=live| website=acsu.buffalo.edu | publisher=Proceedings of the May 1997 Meeting in Perugia}}</ref><ref>{{Cite book| url=http://dx.doi.org/10.1142/5685|title=History of Mathematical Sciences|date=October 2004| page=195| publisher=WORLD SCIENTIFIC| doi=10.1142/5685|isbn=978-93-86279-16-3|last1=Saraiva|first1=Luís}}</ref> Η μη γραμμική συναρτησιακή ανάλυση συνεχίστηκε από τους μαθητές του Ανταμάρ, συγκεκριμένα τους [[René Maurice Fréchet|Fréchet]] και [[Paul Lévy|Lévy]]. Ο Ανταμάρ επίσης ίδρυσε τη σύγχρονη σχολή της γραμμικής συναρτησιακής ανάλυσης που αναπτύχθηκε περαιτέρω από τον [[Φρίγκιες Ρης|Ρης]] και την [[:en:Lwów_School_of_Mathematics|ομάδα]] [[Πολωνία|Πολωνών]] μαθηματικών του [[Στέφαν Μπάναχ]]. |
||
⚫ | [[Αρχείο:Drum_vibration_mode12.gif|δεξιά|μικρογραφία|200x200εσ|Ένας από τους πιθανούς τρόπους δόνησης μιας εξιδανικευμένης κεφαλής κυκλικού τυμπάνου. Αυτοί οι τρόποι είναι [[ιδιοσυνάρτηση|ιδιοσυναρτήσεις]] ενός γραμμικού τελεστή σε μία συνάρτηση στο χώρο, μια |
||
⚫ | ''' |
||
⚫ | Στα σύγχρονα εισαγωγικά κείμενα για τη συναρτησιακή ανάλυση, το θέμα θεωρείται ως η μελέτη των διανυσματικών χώρων εφοδιασμένο με μία τοπολογία, συγκεκριμένα τους [[Διάσταση_(διανυσματικός χώρος)|άπειρο-διάστατους χώρους]].<ref>{{Cite book| last1=Bowers|first1=Adam|title=An introductory course in functional analysis|last2=Kalton|first2=Nigel J.| publisher=[[Springer Science & Business Media]]|year=2014|pages=1}}</ref><ref>{{Cite book| last=Kadets| first=Vladimir| title=A Course in Functional Analysis and Measure Theory|publisher=[[Springer Publishing|Springer]] | year=2018|pages=xvi|trans-title=КУРС ФУНКЦИОНАЛЬНОГО АНАЛИЗА}}</ref> Αντίθετα, η [[γραμμική άλγεβρα]] ασχολείται κυρίως με πεπερασμένων διαστάσεων χώρους, και δεν χρησιμοποιεί τοπολογία. Ένα σημαντικό μέρος της συναρτησιακής ανάλυσης είναι η επέκταση της θεωρίας [[θεωρία μέτρου|θεωρίας]], [[Ολοκλήρωμα|ολοκλήρωσης]], και [[θεωρία πιθανοτήτων|πιθανοτήτων]] σε άπειρο-διάστατους χώρους, επίσης γνωστή ως '''άπειρο-διαστατική ανάλυση.''' |
||
⚫ | Η χρήση της λέξης '' |
||
⚫ | Στα σύγχρονα εισαγωγικά κείμενα για τη συναρτησιακή ανάλυση, το θέμα θεωρείται ως η μελέτη των διανυσματικών χώρων εφοδιασμένο με |
||
== Κανονικοί διανυσματικοί χώροι == |
== Κανονικοί διανυσματικοί χώροι == |
||
Η βασική και ιστορικά πρώτη τάξη των χώρων που μελετήθηκε στη συναρτησιακή ανάλυση είναι οι [[ |
Η βασική και ιστορικά πρώτη τάξη των χώρων που μελετήθηκε στη συναρτησιακή ανάλυση είναι οι [[Πλήρης μετρικός χώρος |
||
|πλήρεις κανονικοί διανυσματικοί χώροι]] στους [[Πραγματικός αριθμός|πραγματικούς]] ή τους [[Μιγαδικός αριθμός|μιγαδικούς]] αριθμούς. Οι χώροι αυτοί ονομάζονται [[Χώρος Μπάναχ|χώροι Μπάναχ]]. Ένα σημαντικό παράδειγμα είναι ένας [[Χώρος Χίλμπερτ|χώρος Χίλμπερτ]], όπου η νόρμα προκύπτει από το εσωτερικό γινόμενο. Οι χώροι αυτοί είναι θεμελιώδους σημασίας για πολλούς τομείς, όπως η [[Κβαντική μηχανική]]. |
|||
Γενικότερα, η συναρτησιακή ανάλυση περιλαμβάνει τη μελέτη των [[ |
Γενικότερα, η συναρτησιακή ανάλυση περιλαμβάνει τη μελέτη των [[χώρος Fréchet|χώρων Fréchet]] και άλλων [[τοπολογικός διανυσματικός χώρος|τοπολογικών διανυσματικών χώρων]] που δεν είναι εφοδιασμένοι με μία νόρμα. |
||
Ένα σημαντικό αντικείμενο μελέτης στη συναρτησιακή ανάλυση είναι η [[Συνέχεια συνάρτησης|συνεχείς]] [[Γραμμικός μετασχηματισμός|γραμμικοί τελεστές]] που ορίζονται |
Ένα σημαντικό αντικείμενο μελέτης στη συναρτησιακή ανάλυση είναι η [[Συνέχεια συνάρτησης|συνεχείς]] [[Γραμμικός μετασχηματισμός|γραμμικοί τελεστές]] που ορίζονται στους χώρους Μπάναχ και Χίλμπερτ. Αυτοί αφορούν τον ορισμό των [[C* άλγεβρα|C*-αλγεβρών]] και άλλων [[φορέας άλγεβρας|φορέων αλγεβρών]]. |
||
=== Χώροι Χίλμπερτ === |
=== Χώροι Χίλμπερτ === |
||
Οι [[Χώρος Χίλμπερτ| |
Οι [[Χώρος Χίλμπερτ|χώροι Χίλμπερτ]] μπορεί να είναι εντελώς ταξινομημένοι: υπάρχει ένας μοναδικός (ως προς [[Ισομορφισμός|ισομορφισμό]]) χώρος Χίλμπερτ για κάθε [[Πληθικός αριθμός|πληθικότητα]] της [[ορθοκανονική βάση|ορθοκανονικής βάσης]].<ref>{{Cite book| last=Riesz|first=Frigyes| url=https://www.worldcat.org/oclc/21228994|title=Functional analysis|date=1990|publisher=Dover Publications| others = Béla Szőkefalvi-Nagy, Leo F. Boron|isbn=0-486-66289-6|edition=Dover |location=New York|oclc=21228994| pages = 195–199}}</ref> Οι Χίλμπερτ χώροι πεπερασμένων διαστάσεων, είναι πλήρως κατανοητοί στη [[γραμμική άλγεβρα]], και οι άπειρο-διάστατοι [[Διαχωρίσιμος μετρικός χώρος|διαχωρήσιμοι]] Χίλμπερτ χώροι είναι ισομορφικοί με το [[Χώροι lp|<math>\ell^{\,2}(\aleph_0)\,</math>]]. Με τη διαχωρισημότητα να είναι σημαντική για τις εφαρμογές, η συναρτησιακή ανάλυση των χώρων Χίλμπερτ, ασχολείται ως επί το πλείστον με αυτόν τον χώρο. Ένα από τα ανοιχτά προβλήματα στη συναρτησιακή ανάλυση είναι αν κάθε φραγμένος γραμμικός τελεστής σε έναν χώρο Χίλμπερτ έχει ένα (μη-τετριμμένο) [[αμετάβλητο υποχώρο]]. Πολλές ειδικές περιπτώσεις του προβλήματος [[:en:Invariant_subspace_problem|αμετάβλητου υποχώρου]] έχουν ήδη αποδειχθεί. |
||
=== Χώροι Μπάναχ === |
=== Χώροι Μπάναχ === |
||
Οι |
Οι γενικοί [[Χώρος Μπάναχ|χώροι Μπάναχ]] είναι πιο περίπλοκοι από τους, χώρους Χίλμπερτ, και δεν μπορούν να κατηγοριοποιηθούν με ένα τόσο απλό τρόπο. Ειδικότερα, πολλοί χώροι Μπάναχ στερούνται μιας ιδέας ανάλογης με μια [[ορθοκανονικη βαση]]. |
||
Παραδείγματα χώρων Μπάναχ είναι οι [[ |
Παραδείγματα χώρων Μπάναχ είναι οι [[χώρος Lp|χώροι <math>L^{\,p}</math>]] για κάθε πραγματικό αριθμό <math>p \geq 1</math>. Δοσμένου επιπλέον ενός μέτρου <math>\mu</math> στο σύνολο <math>X</math>, το <math>L^{\,p}(X)</math> (συβολίζεται και ως <math>L^{\,p}(X,\mu)</math> ή <math>L^{\,p}(\mu)</math>) έχει ως διανύσματα τις [[Σχέση ισοδυναμίας|κλάσεις ισοδυναμίας]] <math>[\,f\,]</math> [[μετρήσιμη συνάρτηση|μετρήσιμων συναρτήσεων]] των οποίων η [[απόλυτη τιμή]] της <math>p</math>-οστής δύναμης έχει πεπερασμένο ολοκλήρωμα, δηλαδή οι συναρτήσεις <math>f</math> για τις οποίες ισχύει |
||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | Ένα μεγάλο μέρος της μελέτης των χώρων Μπάναχ περιλαμβάνει τον [[δυικός χώρος|δυικό χώρο]]: ο χώρος όλων των [[Συνέχεια συνάρτησης|συνεχών]] γραμμικών συναρτήσεων από το χώρο στο υποκείμενο πεδίο, το λεγόμενο συναρτησιακό. Ένας χώρος Μπάναχ μπορεί να ταυτοποιηθεί κανονικά με ένα υποδιάστημα του bidual, το οποίο είναι το διπλό τoυ διπλού χώρου. Ο αντίστοιχος χάρτη είναι μια [[ισομετρία]] , αλλά σε γενικές γραμμές δεν είναι επάνω. Ένας γενικός χώρος Μπάναχ και ο δεύτερος δυικός του δεν χρειάζεται καν να είναι ισομετρικά ισομορφικός με οποιοδήποτε τρόπο, σε αντίθεση με την περίπτωση των πεπερασμένων διαστάσεων. Αυτό εξηγείται στο άρθρο για τους δυικούς χώρους. |
||
⚫ | |||
⚫ | |||
⚫ | |||
Επίσης, η έννοια της [[Παράγωγος|παραγώγου]] μπορεί να επεκταθεί σε αυθαίρετες συναρτήσεις μεταξύ χώρων Μπάναχ. Δείτε, για παράδειγμα, το άρθρο της [[παραγώγου Frechet]]. |
Επίσης, η έννοια της [[Παράγωγος|παραγώγου]] μπορεί να επεκταθεί σε αυθαίρετες συναρτήσεις μεταξύ χώρων Μπάναχ. Δείτε, για παράδειγμα, το άρθρο της [[παραγώγου Frechet]]. |
||
Γραμμή 38: | Γραμμή 35: | ||
Σημαντικά αποτελέσματα της συναρτησιακής ανάλυσης περιλαμβάνουν: |
Σημαντικά αποτελέσματα της συναρτησιακής ανάλυσης περιλαμβάνουν: |
||
=== Αρχή ομοιόμορφου φράγματος === |
|||
=== Ομοιόμορφη φραγμένη αρχή === |
|||
Η |
Η αρχή του ομοιόμορφου φράγματος ή [[θεώρημα Μπάναχ-Στάινχαους]] είναι ένα από τα θεμελιώδη αποτελέσματα στην συναρτησιακή ανάλυση. Μαζί με το [[θεώρημα Χαν-Μπάναχ]] και το [[θεώρημα ανοιχτής απεικόνισης]], θεωρείται ένας από τους ακρογωνιαίους λίθους του κλάδου. Στην βασική του μορφή, ισχυρίζεται ότι για μια οικογένεια [[συνεχής γραμμικός τελεστής|συνεχών γραμμικών τελεστών]] (και έτσι φραγμένων τελεστών) της οποίας το πεδίο είναι [[χώρος Μπάναχ]], φραγμένη κατά σημείο είναι ισοδύναμη με ομοιόμορφα φραγμένη στο κανόνα του τελεστή. |
||
Το θεώρημα δημοσιεύθηκε για πρώτη φορά το 1927 από τους [[Στέφαν Μπάναχ]] και [[Χιούγκο Στάινχαους]], αλλά το είχε ήδη αποδείξει ανεξάρτητα ο [[Χανς Χαν]]. |
|||
Το θεώρημα εκδόθηκε για πρώτη φορά το 1927 από τους [[Στέφαν Μπάναχ|Stefan Banach]] και Hugo Steinhaus αλλά ήταν επίσης αποδεδειγμένο ανεξάρτητα από τον Hans Hahn.<blockquote>'''Θεώρημα (Ομοιόμορφη Φραγμένη Αρχή).''' Ας είναι το ''X'' ένας [[Χώρος Μπάναχ|Banach χώρος]] και ''Y'' ένας [[Κανονικός Διανυσματικός Χώρος|κανονικός διανυσματικός χώρος]]. Ας υποθέσουμε ότι η ''F'' είναι μια συλλογή συνεχών γραμμικών τελεστών από το ''X'' στο ''Y''. Αν για όλα τα ''x'' ανήκουν στο ''X'' έχουμε:</blockquote><blockquote><math>\sup\nolimits_{T \in F} \|T(x)\|_Y < \infty, </math></blockquote><blockquote>τότε</blockquote><blockquote><math>\sup\nolimits_{T \in F} \|T\|_{B(X,Y)} < \infty.</math></blockquote> |
|||
{{μαθηματικό θεώρημα |τύπος=Θεώρημα |name=Αρχή ομοιόμορφου φράγματος | Έστω <math>X</math> ένας [[χώρος Μπάναχ]], <math>Y</math> ένας [[διανυσματικός χώρος με νόρμα]] και <math>F</math> είναι ένα σύνολο από συνεχείς γραμμικούς τελεστές από το <math>X</math> στο <math>Y</math>. Αν για κάθε <math>x</math> στο <math>X</math> ισχύει ότι |
|||
:<math>\sup\nolimits_{T \in F} \|T(x)\|_Y < \infty</math>, |
|||
τότε |
|||
:<math>\sup\nolimits_{T \in F} \|T\|_{B(X,Y)} < \infty</math>.}} |
|||
=== Φασματικό θεώρημα === |
=== Φασματικό θεώρημα === |
||
Υπάρχουν πολλά θεωρήματα που είναι γνωστά ως [[φασματικό θεώρημα]], αλλά το παρακάτω συγκεκριμένα έχει πολλές εφαρμογές στη συναρτησιακή ανάλυση. |
|||
Υπάρχουν πολλά θεωρήματα που είναι γνωστά ως [[Φασματικό Θεώρημα]], αλλά το συγκεκριμένο έχει πολλές εφαρμογές στη συναρτησιακή ανάλυση. Ας είναι Α ο τελεστής του πολλαπλασιασμού από τον ''t'' στον ''L''<sup>2</sup>[0, 1], που είναι<blockquote><math> [A \varphi](t) = t \varphi(t). \;</math></blockquote>Θεώρημα: Ας είναι Α ένας φραγμένος αυτο-συζυγής τελεστής σε ένα χώρο Χίλμπερτ ''H''. Στη συνέχεια, υπάρχει ένα [[μέτρο χώρου]] (''X'', Σ, μ) και μια ουσιωδώς φραγμένη μετρήσιμη συνάρτηση με πραγματικές τιμές ''f'' στο ''X'' και ενός ενιαίου τελεστή ''U'':''H'' → ''L''<sup>2</sup><sub>μ</sub>(''X'') τέτοιο ώστε<blockquote><math> U^* T U = A \;</math></blockquote>όπου ''T'' είναι ο [[πολλαπλασιασμός τελεστών]]:<blockquote><math> [T \varphi](x) = f(x) \varphi(x). \;</math></blockquote><blockquote>και <math>\|T\| = \|f\|_\infty</math></blockquote>Αυτή είναι η αρχή του τεράστιου χώρου έρευνας της συναρτησιακής ανάλυσης που ονομάζεται [[θεωρία τελεστών]] (βλέπε επίσης το [[φασματικό μέτρο]]). |
|||
{{μαθηματικό θεώρημα |
|||
⚫ | |||
|όνομα = Φασματικό θεώρημα<ref>{{Cite book|last=Hall|first=Brian C.|url={{google books |plainurl=y |id=bYJDAAAAQBAJ|page=147}}|title=Quantum Theory for Mathematicians|date=2013-06-19|publisher=[[Springer Science & Business Media]]|isbn=978-1-4614-7116-5|page=147|language=en}}</ref> |
|||
|Έστω <math>A</math> ένας φραγμένος [[αυτοσυζυγής τελεστής]] σε έναν χώρο Χίλμπερτ <math>H</math>. Τότε, υπάρχει ένας [[μετρικός χώρος]] <math>(X,\Sigma,\mu)</math> και μία [[ουσιωδώς φραγμένη συνάρτηση]] <math>f: X \to \R</math> και ένας μοναδιαίος τελεστής <math>U : H \to L^2_\mu(X)</math> τέτοιος ώστε |
|||
:<math> U^* T U = A </math> |
|||
όπου <math>T</math> είναι ένας [[πολλαπλασιαστικός τελεστής]]: |
|||
:<math> [T \varphi](x) = f(x) \varphi(x)</math>, |
|||
και <math>\|T\| = \|f\|_\infty</math>.}} |
|||
⚫ | |||
=== Hahn-Banach θεώρημα === |
|||
⚫ | Το [[ |
||
⚫ | |||
: <blockquote><math>\psi(x) \le p(x)\qquad\forall x\in V.</math></blockquote> |
|||
=== Θεώρημα |
=== Θεώρημα Χαν-Μπάναχ === |
||
⚫ | Το [[Θεώρημα Χαν-Μπάναχ]] είναι ένα κεντρικό εργαλείο στη συναρτησιακή ανάλυση. Επιτρέπει την επέκταση μίας [[φραγμένη γραμμική συνάρτηση|φραγμένης γραμμικής συναρτήσης]] που ορίζεται σε έναν υποχώρο κάποιου [[Διανυσματικός χώρος|διανυσματικού χώρου]], σε ολόκληρο το χώρο. Δείχνει, επίσης, ότι υπάρχουν "αρκετές" [[Συνέχεια συνάρτησης|συνεχείς]] γραμμικές συναρτήσεις που ορίζονται σε κάθε [[κανονικός διανυσματικός χώρος|διανυσματικό χώρο με νόρμα]] καθιστώντας τη μελέτη του [[δυϊκός χώρος|δυϊκού χώρου]] "ενδιαφέρουσα". |
||
Το [[θεώρημα ανοιχτής απεικόνισης]], επίσης γνωστό ως το Banach–Schauder θεώρημα (το όνομά του από [[:en:Stefan_Banach|τον Stefan Banach]] και [[:en:Juliusz_Schauder|Juliusz Schauder]]), είναι ένα θεμελιώδες αποτέλεσμα, το οποίο αναφέρει ότι αν ένας συνεχής γραμμικός τελεστής μεταξύ των χώρων Μπάναχ είναι [[απεικόνιση επί]], τότε είναι μια ανοιχτή απεικόνιση. Πιο συγκεκριμένα:<blockquote>'''Θεώρημα ανοιχτής συνάρτησης.''' Αν ''X'' και ''Y'' είναι Banach χώροι και ''Α'' : ''X'' → ''Y'' είναι μια απεικόνιση επί συνεχούς γραμμικού τελεστή, τότε ''Α'' είναι μια ανοιχτή απεικόνιση (δηλ. αν ''U'' είναι ένα [[ανοιχτό σύνολο |ανοιχτό σύνολο]] στο ''X'', τότε το ''A''(''U'') είναι ανοικτό στο ''Y'').</blockquote>Η απόδειξη χρησιμοποιεί το [[θεώρημα κατηγορίας του Baire]] και η πληρότητα των ''X'' και ''Y'' είναι απαραίτητη στο θεώρημα. Η πρόταση του θεωρήματος δεν ισχύει πλέον, ακόμα κι αν ο χώρος απλά υποτίθεται ότι είναι ένας [[κανονικός χώρος]], αλλά είναι αλήθεια αν ''X'' και ''Y'' ανήκουν στους [[Fréchet χώρους]]. |
|||
{{μαθηματικό θεώρημα |
|||
=== Θεώρημα κλειστής γραφικής παράστασης === |
|||
|όνομα = Θεώρημα Χαν-Μπάναχ<ref name="rudin">{{Cite book | last=Rudin | first=Walter | url={{google books |plainurl=y |id=Sh_vAAAAMAAJ}} | title=Functional Analysis | date=1991 | publisher=McGraw-Hill | isbn=978-0-07-054236-5 | language=en}}</ref> |
|||
⚫ | |||
| Έστω <math>p:V\to\mathbb{R}</math> μία [[υπογραμμική συνάρτηση]], και <math>\varphi:U\to\mathbb{R}</math> ένας γραμμικός τελεστής σε έναν γραμμικό υποχώρο <math>U\subseteq V</math> που κυριαρχείται από το <math>p</math> στο <math>U</math>, δηλαδή |
|||
⚫ | |||
τότε υπάρχει μία γραμμική επέκταση <math>\psi:V\to\mathbb{R}</math> του <math>\varphi</math> σε ολόκληρο τον χώρο <math>V</math> που κυριαρχείται από το <math>p</math> στο <math>V</math>, δηλαδή υπάρχει ένας γραμμικός τελεστής <math>\psi</math> τέτοιος ώστε |
|||
:<math>\begin{align} |
|||
\psi(x) &= \varphi(x) &\forall x\in U, \\ |
|||
\psi(x) &\le p(x) &\forall x\in V. |
|||
\end{align}</math>}} |
|||
=== Θεώρημα ανοιχτής απεικόνισης === |
|||
Το [[θεώρημα ανοιχτής απεικόνισης]], επίσης γνωστό ως το θεώρημα Banach–Schauder (πήρε το όνομά του από τον [[Στέφαν Μπάναχ]] και [[Γιούλιους Σάουντερ]]), είναι ένα θεμελιώδες αποτέλεσμα, το οποίο αναφέρει ότι αν ένας συνεχής γραμμικός τελεστής μεταξύ των χώρων Μπάναχ είναι [[επί]], τότε είναι μια ανοιχτή απεικόνιση. Πιο συγκεκριμένα:<ref name=rudin/><ref>{{cite web |last=Μήτσης |first=Θέμης |title=Σημειώσεις μιγαδικής ανάλυσης |url=http://users.math.uoc.gr/~frantzikinakis/ComplexGrad2016/ComplexMitsis.pdf |publisher=Τμήμα μαθηματικών, Πανεπιστήμιο Κρήτης |accessdate=26 Νοεμβρίου 2023}}</ref> |
|||
{{μαθηματικό θεώρημα | name = Open mapping theorem | Έστω <math>X</math> και <math>Y</math> χώροι Μπάναχ και <math>A:X\to Y</math> ένας γραμμικός τελεστής επί. Τότε, ο <math>A</math> είναι ανοιχτή απεικόνιση (δηλαδή, αν <math>U</math> είναι ένα [[ανοιχτό σύνολο]] στο <math>X</math>, τότε <math>A(U)</math> είναι ανοιχτό στο <math>Y</math>).}} |
|||
Η απόδειξη χρησιμοποιεί το [[θεώρημα κατηγορίας του Baire]] και η πληρότητα των ''X'' και ''Y'' είναι απαραίτητη στο θεώρημα. Η πρόταση του θεωρήματος παύει να ισχύει αν υποθέσουμε ότι ο χώρος είναι απλά [[κανονικός χώρος|κανονικός]], αλλά ισχύει αν ''X'' και ''Y'' είναι [[χώρος Fréchet|χώροι Fréchet]]. |
|||
=== Θεώρημα κλειστού γραφήματος === |
|||
⚫ | |||
== Θεμέλια των μαθηματικών σκέψεων == |
== Θεμέλια των μαθηματικών σκέψεων == |
||
Οι περισσότεροι χώροι θεωρούνται ότι στη συναρτησιακη ανάλυση έχουν άπειρη διάσταση. Για να δείξουμε την ύπαρξη μιας [[Βάση |
Οι περισσότεροι χώροι θεωρούνται ότι στη συναρτησιακη ανάλυση έχουν άπειρη διάσταση. Για να δείξουμε την ύπαρξη μιας [[Βάση διανυσματικού χώρου|βάσης διανυσματικού χώρου]], για αυτούς τους χώρους μπορεί να χρειαστεί το [[Λήμμα του Τσορν]]. Ωστόσο, μια κάπως διαφορετική έννοια, [[βάση Σάουντερ]], είναι συνήθως πιο σχετική προς τη συναρτησιακή ανάλυση. Πολλά σημαντικά θεωρήματα χρειάζονται το [[θεώρημα Χαν-Μπάναχ]], συνήθως αποδεικνύεται χρησιμοποιώντας το [[αξίωμα της επιλογής]], αν και το αυστηρά ασθενέστερο [[θεώρημα πρωταρχικού ιδεώδους του Boole]] αρκεί. Το θεώρημα κατηγορίας του Baire, που χρειάζεται για να αποδείξει πολλά σημαντικά θεωρήματα, απαιτεί επίσης μια μορφή του αξιώματος της επιλογής. |
||
== Διαφορετικές οπτικές == |
|||
== Απόψεις == |
|||
* ''Αφηρημένη ανάλυση''. Μια προσέγγιση για την ανάλυση με βάση [[τοπολογικη ομαδα|τοπολογικές ομάδες]], [[τοπολογικος δακτυλιος|τοπολογικούς δαχτυλίους]], και [[Τοπολογικός χώρος|τοπολογικούς διανυσματικούς χώρους]]. |
* ''Αφηρημένη ανάλυση''. Μια προσέγγιση για την ανάλυση με βάση [[τοπολογικη ομαδα|τοπολογικές ομάδες]], [[τοπολογικος δακτυλιος|τοπολογικούς δαχτυλίους]], και [[Τοπολογικός χώρος|τοπολογικούς διανυσματικούς χώρους]]. |
||
* ''Η Γεωμετρία των [[Χώρος Μπάναχ|χώρων Μπάναχ]]'' περιέχει πολλά θέματα. Το ένα είναι [[Συνδυαστική|η συνδυαστική]] προσέγγιση που συνδέεται με τον [[ |
* ''Η Γεωμετρία των [[Χώρος Μπάναχ|χώρων Μπάναχ]]'' περιέχει πολλά θέματα. Το ένα είναι [[Συνδυαστική|η συνδυαστική]] προσέγγιση που συνδέεται με τον [[Ζαν Μπουργκέν]], άλλη είναι ένας χαρακτηρισμός των χώρων Μπάναχ και διάφορες μορφές του [[Νόμος των μεγάλων αριθμών|νόμου των μεγάλων αριθμών]]. |
||
* ''[[Μη ευκλείδειες γεωμετρίες|Μη ευκλείδια γεωμετρία]]''. Αναπτύχθηκε από τον [[ |
* ''[[Μη ευκλείδειες γεωμετρίες|Μη ευκλείδια γεωμετρία]]''. Αναπτύχθηκε από τον [[Αλέν Κον]], που εν μέρει βοήθησε στο να αναπτυχθούν προηγούμενες έννοιες, όπως η προσέγγιση του [[:en:George_Mackey|Τζορτζ Μάκι]] για την [[Εργοδικότητα|εργοδική θεωρία]]. |
||
* ''Σύνδεση με [[ |
* ''Σύνδεση με την [[κβαντική μηχανική]]''. Είτε στενά ορισμένη όπως στην [[μαθηματική φυσική]], είτε ευρέως ερμηνευμένη από, π.χ. τον [[:en:Israel_Gelfand|Ισραήλ Τζέλφαντ]], περιλαμβάνουν τα περισσότερα είδη της [[Θεωρία αναπαραστάσεων|θεωρίας αναπαραστάσεων]]. |
||
== Παραπομπές == |
|||
<references/> |
|||
[[Κατηγορία:Συναρτησιακή ανάλυση]] |
[[Κατηγορία:Συναρτησιακή ανάλυση]] |
||
[[Κατηγορία:Όρος με ελλιπή ελληνική μετάφραση]] |
Τρέχουσα έκδοση από την 16:03, 26 Νοεμβρίου 2023
Η συναρτησιακή ανάλυση είναι ένας κλάδος της μαθηματικής ανάλυσης, που ασχολείται κυρίως με τη μελέτη των διανυσματικών χώρων μαζί με κάποιο είδος ορίου που σχετίζεται με τη δομή (π.χ. εσωτερικό γινόμενο, νόρμα ή τοπολογία) και των γραμμικών τελεστών που ενεργούν σε αυτούς τους χώρους και με σεβασμό σε αυτές τις δομές με μία κατάλληλη έννοια. Οι ιστορικές ρίζες της συναρτησιακής ανάλυσης βρίσκονται στη μελέτη των συναρτησιακών χώρων και τη διατύπωση των ιδιοτήτων των συναρτησιακών μετασχηματισμών, όπως ο μετασχηματισμός Φουριέ, ως συνεχών μετασχηματισμών μεταξύ συναρτησιακών χώρων. Αυτή η άποψη αποδείχθηκε ιδιαίτερα χρήσιμη για την μελέτη των διαφορικών εξισώσεων και των ολοκληρωτικών εξισώσεων.
Η χρήση της λέξης συνάρτησιακή πηγαίνει πίσω στον λογισμό των μεταβολών, που αναφέρεται σε μία συνάρτηση της οποίας το όρισμα είναι επίσης συνάρτηση. Το όνομα χρησιμοποιήθηκε για πρώτη φορά στο βιβλίο του Ανταμάρ το 1910 πάνω σε αυτό το θέμα. Ωστόσο, η γενική έννοια της συνάρτησης είχε προηγουμένως εισαχθεί το 1887 από τον Ιταλό μαθηματικό και φυσικό Βίτο Βολτέρρα.[1][2] Η μη γραμμική συναρτησιακή ανάλυση συνεχίστηκε από τους μαθητές του Ανταμάρ, συγκεκριμένα τους Fréchet και Lévy. Ο Ανταμάρ επίσης ίδρυσε τη σύγχρονη σχολή της γραμμικής συναρτησιακής ανάλυσης που αναπτύχθηκε περαιτέρω από τον Ρης και την ομάδα Πολωνών μαθηματικών του Στέφαν Μπάναχ.
Στα σύγχρονα εισαγωγικά κείμενα για τη συναρτησιακή ανάλυση, το θέμα θεωρείται ως η μελέτη των διανυσματικών χώρων εφοδιασμένο με μία τοπολογία, συγκεκριμένα τους άπειρο-διάστατους χώρους.[3][4] Αντίθετα, η γραμμική άλγεβρα ασχολείται κυρίως με πεπερασμένων διαστάσεων χώρους, και δεν χρησιμοποιεί τοπολογία. Ένα σημαντικό μέρος της συναρτησιακής ανάλυσης είναι η επέκταση της θεωρίας θεωρίας, ολοκλήρωσης, και πιθανοτήτων σε άπειρο-διάστατους χώρους, επίσης γνωστή ως άπειρο-διαστατική ανάλυση.
Κανονικοί διανυσματικοί χώροι[Επεξεργασία | επεξεργασία κώδικα]
Η βασική και ιστορικά πρώτη τάξη των χώρων που μελετήθηκε στη συναρτησιακή ανάλυση είναι οι [[Πλήρης μετρικός χώρος |πλήρεις κανονικοί διανυσματικοί χώροι]] στους πραγματικούς ή τους μιγαδικούς αριθμούς. Οι χώροι αυτοί ονομάζονται χώροι Μπάναχ. Ένα σημαντικό παράδειγμα είναι ένας χώρος Χίλμπερτ, όπου η νόρμα προκύπτει από το εσωτερικό γινόμενο. Οι χώροι αυτοί είναι θεμελιώδους σημασίας για πολλούς τομείς, όπως η Κβαντική μηχανική.
Γενικότερα, η συναρτησιακή ανάλυση περιλαμβάνει τη μελέτη των χώρων Fréchet και άλλων τοπολογικών διανυσματικών χώρων που δεν είναι εφοδιασμένοι με μία νόρμα.
Ένα σημαντικό αντικείμενο μελέτης στη συναρτησιακή ανάλυση είναι η συνεχείς γραμμικοί τελεστές που ορίζονται στους χώρους Μπάναχ και Χίλμπερτ. Αυτοί αφορούν τον ορισμό των C*-αλγεβρών και άλλων φορέων αλγεβρών.
Χώροι Χίλμπερτ[Επεξεργασία | επεξεργασία κώδικα]
Οι χώροι Χίλμπερτ μπορεί να είναι εντελώς ταξινομημένοι: υπάρχει ένας μοναδικός (ως προς ισομορφισμό) χώρος Χίλμπερτ για κάθε πληθικότητα της ορθοκανονικής βάσης.[5] Οι Χίλμπερτ χώροι πεπερασμένων διαστάσεων, είναι πλήρως κατανοητοί στη γραμμική άλγεβρα, και οι άπειρο-διάστατοι διαχωρήσιμοι Χίλμπερτ χώροι είναι ισομορφικοί με το . Με τη διαχωρισημότητα να είναι σημαντική για τις εφαρμογές, η συναρτησιακή ανάλυση των χώρων Χίλμπερτ, ασχολείται ως επί το πλείστον με αυτόν τον χώρο. Ένα από τα ανοιχτά προβλήματα στη συναρτησιακή ανάλυση είναι αν κάθε φραγμένος γραμμικός τελεστής σε έναν χώρο Χίλμπερτ έχει ένα (μη-τετριμμένο) αμετάβλητο υποχώρο. Πολλές ειδικές περιπτώσεις του προβλήματος αμετάβλητου υποχώρου έχουν ήδη αποδειχθεί.
Χώροι Μπάναχ[Επεξεργασία | επεξεργασία κώδικα]
Οι γενικοί χώροι Μπάναχ είναι πιο περίπλοκοι από τους, χώρους Χίλμπερτ, και δεν μπορούν να κατηγοριοποιηθούν με ένα τόσο απλό τρόπο. Ειδικότερα, πολλοί χώροι Μπάναχ στερούνται μιας ιδέας ανάλογης με μια ορθοκανονικη βαση.
Παραδείγματα χώρων Μπάναχ είναι οι χώροι για κάθε πραγματικό αριθμό . Δοσμένου επιπλέον ενός μέτρου στο σύνολο , το (συβολίζεται και ως ή ) έχει ως διανύσματα τις κλάσεις ισοδυναμίας μετρήσιμων συναρτήσεων των οποίων η απόλυτη τιμή της -οστής δύναμης έχει πεπερασμένο ολοκλήρωμα, δηλαδή οι συναρτήσεις για τις οποίες ισχύει
- .
Αν είναι το μέτρο αρίθμησης, τότε το ολοκλήρωμα μπορεί να αντικατασταθεί από ένα άθροισμα, δηλαδή
- .
Τότε δεν είναι απαραίτητο να ασχοληθούμε με κλάσεις ισοδυναμίας, και ο χώρος συμβολίζεται , που γράφεται πιο απλά σε περίπτωση που είναι το σύνολο των μη-αρνητικών ακεραίων.
Ένα μεγάλο μέρος της μελέτης των χώρων Μπάναχ περιλαμβάνει τον δυικό χώρο: ο χώρος όλων των συνεχών γραμμικών συναρτήσεων από το χώρο στο υποκείμενο πεδίο, το λεγόμενο συναρτησιακό. Ένας χώρος Μπάναχ μπορεί να ταυτοποιηθεί κανονικά με ένα υποδιάστημα του bidual, το οποίο είναι το διπλό τoυ διπλού χώρου. Ο αντίστοιχος χάρτη είναι μια ισομετρία , αλλά σε γενικές γραμμές δεν είναι επάνω. Ένας γενικός χώρος Μπάναχ και ο δεύτερος δυικός του δεν χρειάζεται καν να είναι ισομετρικά ισομορφικός με οποιοδήποτε τρόπο, σε αντίθεση με την περίπτωση των πεπερασμένων διαστάσεων. Αυτό εξηγείται στο άρθρο για τους δυικούς χώρους.
Επίσης, η έννοια της παραγώγου μπορεί να επεκταθεί σε αυθαίρετες συναρτήσεις μεταξύ χώρων Μπάναχ. Δείτε, για παράδειγμα, το άρθρο της παραγώγου Frechet.
Σημαντικά και θεμελιώδη αποτελέσματα[Επεξεργασία | επεξεργασία κώδικα]
Σημαντικά αποτελέσματα της συναρτησιακής ανάλυσης περιλαμβάνουν:
Αρχή ομοιόμορφου φράγματος[Επεξεργασία | επεξεργασία κώδικα]
Η αρχή του ομοιόμορφου φράγματος ή θεώρημα Μπάναχ-Στάινχαους είναι ένα από τα θεμελιώδη αποτελέσματα στην συναρτησιακή ανάλυση. Μαζί με το θεώρημα Χαν-Μπάναχ και το θεώρημα ανοιχτής απεικόνισης, θεωρείται ένας από τους ακρογωνιαίους λίθους του κλάδου. Στην βασική του μορφή, ισχυρίζεται ότι για μια οικογένεια συνεχών γραμμικών τελεστών (και έτσι φραγμένων τελεστών) της οποίας το πεδίο είναι χώρος Μπάναχ, φραγμένη κατά σημείο είναι ισοδύναμη με ομοιόμορφα φραγμένη στο κανόνα του τελεστή.
Το θεώρημα δημοσιεύθηκε για πρώτη φορά το 1927 από τους Στέφαν Μπάναχ και Χιούγκο Στάινχαους, αλλά το είχε ήδη αποδείξει ανεξάρτητα ο Χανς Χαν.
Θεώρημα — Έστω ένας χώρος Μπάναχ, ένας διανυσματικός χώρος με νόρμα και είναι ένα σύνολο από συνεχείς γραμμικούς τελεστές από το στο . Αν για κάθε στο ισχύει ότι
- ,
τότε
- .
Φασματικό θεώρημα[Επεξεργασία | επεξεργασία κώδικα]
Υπάρχουν πολλά θεωρήματα που είναι γνωστά ως φασματικό θεώρημα, αλλά το παρακάτω συγκεκριμένα έχει πολλές εφαρμογές στη συναρτησιακή ανάλυση.
Θεώρημα (Φασματικό θεώρημα[6]) — Έστω ένας φραγμένος αυτοσυζυγής τελεστής σε έναν χώρο Χίλμπερτ . Τότε, υπάρχει ένας μετρικός χώρος και μία ουσιωδώς φραγμένη συνάρτηση και ένας μοναδιαίος τελεστής τέτοιος ώστε
όπου είναι ένας πολλαπλασιαστικός τελεστής:
- ,
και .
Υπάρχει επίσης ένα ανάλογο φασματικό θεώρημα για φραγμένους κανονικούς τελεστές σε χώρους Χίλμπερτ. Η μόνη διαφορά με το συμπέρασμα είναι ότι τώρα η μπορεί να είναι συνάρτηση με μιγαδικές τιμές.
Θεώρημα Χαν-Μπάναχ[Επεξεργασία | επεξεργασία κώδικα]
Το Θεώρημα Χαν-Μπάναχ είναι ένα κεντρικό εργαλείο στη συναρτησιακή ανάλυση. Επιτρέπει την επέκταση μίας φραγμένης γραμμικής συναρτήσης που ορίζεται σε έναν υποχώρο κάποιου διανυσματικού χώρου, σε ολόκληρο το χώρο. Δείχνει, επίσης, ότι υπάρχουν "αρκετές" συνεχείς γραμμικές συναρτήσεις που ορίζονται σε κάθε διανυσματικό χώρο με νόρμα καθιστώντας τη μελέτη του δυϊκού χώρου "ενδιαφέρουσα".
Θεώρημα (Θεώρημα Χαν-Μπάναχ[7]) — Έστω μία υπογραμμική συνάρτηση, και ένας γραμμικός τελεστής σε έναν γραμμικό υποχώρο που κυριαρχείται από το στο , δηλαδή
- ,
τότε υπάρχει μία γραμμική επέκταση του σε ολόκληρο τον χώρο που κυριαρχείται από το στο , δηλαδή υπάρχει ένας γραμμικός τελεστής τέτοιος ώστε
Θεώρημα ανοιχτής απεικόνισης[Επεξεργασία | επεξεργασία κώδικα]
Το θεώρημα ανοιχτής απεικόνισης, επίσης γνωστό ως το θεώρημα Banach–Schauder (πήρε το όνομά του από τον Στέφαν Μπάναχ και Γιούλιους Σάουντερ), είναι ένα θεμελιώδες αποτέλεσμα, το οποίο αναφέρει ότι αν ένας συνεχής γραμμικός τελεστής μεταξύ των χώρων Μπάναχ είναι επί, τότε είναι μια ανοιχτή απεικόνιση. Πιο συγκεκριμένα:[7][8]
Θεώρημα — Έστω και χώροι Μπάναχ και ένας γραμμικός τελεστής επί. Τότε, ο είναι ανοιχτή απεικόνιση (δηλαδή, αν είναι ένα ανοιχτό σύνολο στο , τότε είναι ανοιχτό στο ).
Η απόδειξη χρησιμοποιεί το θεώρημα κατηγορίας του Baire και η πληρότητα των X και Y είναι απαραίτητη στο θεώρημα. Η πρόταση του θεωρήματος παύει να ισχύει αν υποθέσουμε ότι ο χώρος είναι απλά κανονικός, αλλά ισχύει αν X και Y είναι χώροι Fréchet.
Θεώρημα κλειστού γραφήματος[Επεξεργασία | επεξεργασία κώδικα]
Το θεώρημα κλειστού γραφήματος αναφέρει τα εξής: Αν X είναι ένας τοπολογικός χώρος και Y είναι συμπαγής χώρος Χάουσντορφ, τότε η γραφική παράσταση μιας γραμμικής απεικόνισης T από X σε Y είναι κλειστή αν και μόνο αν T είναι συνεχής.
Θεμέλια των μαθηματικών σκέψεων[Επεξεργασία | επεξεργασία κώδικα]
Οι περισσότεροι χώροι θεωρούνται ότι στη συναρτησιακη ανάλυση έχουν άπειρη διάσταση. Για να δείξουμε την ύπαρξη μιας βάσης διανυσματικού χώρου, για αυτούς τους χώρους μπορεί να χρειαστεί το Λήμμα του Τσορν. Ωστόσο, μια κάπως διαφορετική έννοια, βάση Σάουντερ, είναι συνήθως πιο σχετική προς τη συναρτησιακή ανάλυση. Πολλά σημαντικά θεωρήματα χρειάζονται το θεώρημα Χαν-Μπάναχ, συνήθως αποδεικνύεται χρησιμοποιώντας το αξίωμα της επιλογής, αν και το αυστηρά ασθενέστερο θεώρημα πρωταρχικού ιδεώδους του Boole αρκεί. Το θεώρημα κατηγορίας του Baire, που χρειάζεται για να αποδείξει πολλά σημαντικά θεωρήματα, απαιτεί επίσης μια μορφή του αξιώματος της επιλογής.
Διαφορετικές οπτικές[Επεξεργασία | επεξεργασία κώδικα]
- Αφηρημένη ανάλυση. Μια προσέγγιση για την ανάλυση με βάση τοπολογικές ομάδες, τοπολογικούς δαχτυλίους, και τοπολογικούς διανυσματικούς χώρους.
- Η Γεωμετρία των χώρων Μπάναχ περιέχει πολλά θέματα. Το ένα είναι η συνδυαστική προσέγγιση που συνδέεται με τον Ζαν Μπουργκέν, άλλη είναι ένας χαρακτηρισμός των χώρων Μπάναχ και διάφορες μορφές του νόμου των μεγάλων αριθμών.
- Μη ευκλείδια γεωμετρία. Αναπτύχθηκε από τον Αλέν Κον, που εν μέρει βοήθησε στο να αναπτυχθούν προηγούμενες έννοιες, όπως η προσέγγιση του Τζορτζ Μάκι για την εργοδική θεωρία.
- Σύνδεση με την κβαντική μηχανική. Είτε στενά ορισμένη όπως στην μαθηματική φυσική, είτε ευρέως ερμηνευμένη από, π.χ. τον Ισραήλ Τζέλφαντ, περιλαμβάνουν τα περισσότερα είδη της θεωρίας αναπαραστάσεων.
Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]
- ↑ Lawvere, F. William. «Volterra's functionals and covariant cohesion of space» (PDF). acsu.buffalo.edu. Proceedings of the May 1997 Meeting in Perugia. Αρχειοθετήθηκε (PDF) από το πρωτότυπο στις 7 Απριλίου 2003.
- ↑ Saraiva, Luís (Οκτωβρίου 2004). History of Mathematical Sciences. WORLD SCIENTIFIC. σελ. 195. doi:10.1142/5685. ISBN 978-93-86279-16-3.
- ↑ Bowers, Adam· Kalton, Nigel J. (2014). An introductory course in functional analysis. Springer Science & Business Media. σελ. 1.
- ↑ Kadets, Vladimir (2018). A Course in Functional Analysis and Measure Theory [КУРС ФУНКЦИОНАЛЬНОГО АНАЛИЗА]. Springer. σελίδες xvi.
- ↑ Riesz, Frigyes (1990). Functional analysis. Béla Szőkefalvi-Nagy, Leo F. Boron (Dover έκδοση). New York: Dover Publications. σελίδες 195–199. ISBN 0-486-66289-6. OCLC 21228994.
- ↑ Hall, Brian C. (19 Ιουνίου 2013). Quantum Theory for Mathematicians (στα Αγγλικά). Springer Science & Business Media. σελ. 147. ISBN 978-1-4614-7116-5.
- ↑ 7,0 7,1 Rudin, Walter (1991). Functional Analysis (στα Αγγλικά). McGraw-Hill. ISBN 978-0-07-054236-5.
- ↑ Μήτσης, Θέμης. «Σημειώσεις μιγαδικής ανάλυσης» (PDF). Τμήμα μαθηματικών, Πανεπιστήμιο Κρήτης. Ανακτήθηκε στις 26 Νοεμβρίου 2023.