Download - Από το Νεύτωνα στον Weierstrass
![Page 1: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/1.jpg)
Από το Νεύτωνα στον Από το Νεύτωνα στον WeierstrassWeierstrass
Η καθιέρωση του απειροστικού λογισμούΗ καθιέρωση του απειροστικού λογισμού
ΠαρουσίασηΤεύκρος
Μιχαηλίδης
![Page 2: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/2.jpg)
Newton, Isaac Newton, Isaac (1642-1727)(1642-1727)
Nature and Nature’s laws lay hid in night;God said, Let Newton be! And all was Light.
Alexander Pope: Epitaphs (1930)
![Page 3: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/3.jpg)
To To μαθηματικό έργο του Νεύτωναμαθηματικό έργο του Νεύτωνα
Μέθοδος των ροών (fluxions)
Η ολοκλήρωση μιας συνάρτησης (ο υπολογισμός του εμβαδού του Η ολοκλήρωση μιας συνάρτησης (ο υπολογισμός του εμβαδού του χωρίου που περικλείεται από μια καμπύλη) είναι η αντίστροφη χωρίου που περικλείεται από μια καμπύλη) είναι η αντίστροφη διαδικασία της παραγώγισης (του υπολογισμού της κλίσης μιας διαδικασία της παραγώγισης (του υπολογισμού της κλίσης μιας
καμπύλης σε κάθε σημείο της)καμπύλης σε κάθε σημείο της)
Ενοποίηση διάσπαρτων τεχνικών για • προσδιορισμό μεγίστων – ελαχίστων• υπολογισμό μηκών καμπυλών• προσδιορισμό εφαπτόμενων• υπολογισμό εμβαδών• προσέγγιση ριζών εξισώσεων• άθροιση απείρων σειρών• τύπος του δυωνύμου με μη ακέραιο εκθέτη
![Page 4: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/4.jpg)
Μαθητής του Μαθητής του Barrow Barrow τον οποίο διαδέχθηκε τον οποίο διαδέχθηκε στο Καίμπριτζστο Καίμπριτζ
• Από τον Από τον Barrow Barrow παίρνει την ενορατική παίρνει την ενορατική αντίληψη του θεμελιώδους θεωρήματοςαντίληψη του θεμελιώδους θεωρήματος
• Από τον Από τον WallisWallis τη μέθοδο της παρεμβολής τη μέθοδο της παρεμβολής
• Αριθμός: πηλίκο οποιονδήποτε ποσοτήτων Αριθμός: πηλίκο οποιονδήποτε ποσοτήτων ((Wallis) Wallis) και όχι συλλογή μονάδων και όχι συλλογή μονάδων (Barrow)(Barrow)
• Έμπνευση από τις άπειρες σειρές (Έμπνευση από τις άπειρες σειρές (Gregory Gregory – Wallis)– Wallis)
![Page 5: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/5.jpg)
Δημοσιεύσεις
• De analysi per aequationes numero terminorum infinitas Χειρόγραφο 1669 Έντυπο 1711
• Μethodus fluxionum et serierum infinitorum. Xειρ. 1671, έντυπο 1736 Ανάπτυγμα του ημιτόνου, συνημιτόνου και εκθετικής σε σειρά.
• Tractatus de Quadratura Curvarum 1693
![Page 6: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/6.jpg)
Μέθοδος των ροών (fluxions)Κίνηση σωματιδίου στο επίπεδο: Ανεξάρτητη κίνηση κατά μήκος δυο κάθετων γραμμών. Η οριζόντια και η κατακόρυφη ροή και αντίστοιχα συνδέονται με τη ροή του χρόνου.
Αντίστοιχα τα x και y είναι οι ρέουσες ποσότητες (fluents ή flowing quantities)
Εύρεση του y αν είναι γνωστή η σχέση μεταξύ του x και του
Πρώτη σαφής διατύπωση του θεμελιώδους θεωρήματος.
Εφαρμογή της μεθόδου στον καθορισμό της καμπυλότητας μιας καμπύλης.
xy
xy
![Page 7: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/7.jpg)
1693: Tractatus de Quadratura Curvarum
• Χρήση της έννοιας του ορίου:
Όταν το x γίνει με τη ροή του χρόνου x+o το xn γίνεται (x+o)n και με τη μέθοδο των άπειρων σειρών
xn + noxn-1 + (nn-n)/2 ooxn-2 + . .
Στη συνέχεια το ο μηδενίζεται «οριακά»
![Page 8: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/8.jpg)
Από την εισαγωγή στα Principia (1687)
…Οι ποσότητες και οι λόγοι των ποσοτήτων, που σε οποιοδήποτε πεπερασμένο χρονικό διάστημα συγκλίνουν συνεχώς προς την ισότητα και που πριν το τέλος του καθορισμένου χρόνου πλησιάζουν μεταξύ τους περισσότερο από οποιαδήποτε δεδομένη απόσταση, γίνονται τελικά ίσες…
![Page 9: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/9.jpg)
Godefried Wilhem Leibniz Godefried Wilhem Leibniz (1646 – 1716)(1646 – 1716)
Μαθητής του Huyghens
Ταξιδεύει στην Αγγλία και ενημερώνεται για το έργο των Barrow – Wallis κλπ1684: Nova methodus pro maximis et minimis, itemque tangentibus, quae nec fractals nec irrationales quantitates moratur, et singulare pro illis calculi genus στο Acta Eruditorum της Λειψίας.
![Page 10: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/10.jpg)
Ο διαφορικός λογισμός κατά Ο διαφορικός λογισμός κατά LeibnizLeibniz
Οι μεταβλητές x και y διατρέχουν ακολουθίες τιμών που είναι «απείρως κοντινές»
dx, dy είναι οι διαφορές μεταξύ δυο διαδοχικών τιμών αυτών των ακολουθιών
Συνέπεια: H κλίση της εφαπτομένης είναι dy/dx
Εισαγωγή των συμβόλων d και
Calculus summatorius:
2
yydy
2
![Page 11: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/11.jpg)
Διαφορικός ΣυντελεστήςΔιαφορικός Συντελεστής
y=x2
dy=d(x2)=(x+dx)2-x2=2xdx+(dx)2
2x=διαφορικός συντελεστής
ΣυνάρτησηΣυνάρτησηMethodus tangentium inversa, seu de functionibus (η αντίστροφη μέθοδος των εφαπτόμενων ή περί συναρτήσεων): Υπολογισμός του y όταν είναι γνωστές οι ιδιότητες της εφαπτομένης στην καμπύλη y
![Page 12: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/12.jpg)
Σύγκριση των δυο μεθόδων
Newton• Οι μεταβλητές μεταβάλλονται
με το χρόνο.
• Οι ροές x’,y’ είναι πεπερασμένες ταχύτητες
• Η ολοκλήρωση είναι ο προσδιορισμός των ρεουσών
Leibniz• Οι μεταβλητές x και y.
διατρέχουν ακολουθίες τιμών που είναι «απείρως κοντινές».
• Tα dx, dy είναι «απειροστά».
• Η ολοκλήρωση είναι άθροιση
![Page 13: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/13.jpg)
H διαμάχη για την πατρότητα
• 1664-1666: Χρόνια απομόνωσης στο Woolsthorpe: Ο Newton αναπτύσσει τη μέθοδο των ροών. Χειρόγραφες σημειώσεις από το 1666.
• 1713: Ο Newton κατηγορείται για «κλοπή».
• Μέσω του Henry Oldenberg o Leibniz ενημερώνεται για τις ιδέες του Newton.
• 1682–1684: Δημοσίευση του Leibniz στο Acta Eruditorum
• 1710: Ο Leibniz κατηγορείται για «κλοπή»
Η διαμάχη για την πατρότητα είναι μάλλον μια ακόμη εκδοχή της αντιπαλότητας μεταξύ Αγγλίας και ηπειρωτικής Ευρλωπης
![Page 14: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/14.jpg)
OOιι Bernoulli Bernoulli
![Page 15: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/15.jpg)
Jakob (1654-1705) Jakob (1654-1705) και και Johann (1667–Johann (1667–1748) Bernoulli1748) Bernoulli
Δημοσίευση και λύση μιας σειράς προβλημάτων που αναδεικνύουν την ισχύ του απειροστικού λογισμού.
Johann
JakobJakob
![Page 16: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/16.jpg)
Βραχυστόχρονη και ΤαυτόχρονηΚυκλοειδής Θεωρούμε κύκλο και ένα σημείο του Α. Ο γεωμετρικός τόπος του Α όταν ο κύκλος κυλά πάνω σε μια ευθεία.Παραμετρικές Εξισώσεις: x = at - h sin(t), y = a - h cos(t)
![Page 17: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/17.jpg)
Άλυσος (Catenary)Ποια καμπύλη δημιουργεί μια αλυσίδα που αναρτάται από τα δυο της άκρα;Λανθασμένη λύση του Γαλιλαίου: ΠαραβολήΜε χρήση του απειροστικού λογισμού λύση από Johann, Leibniz, Huyghens κλπ.y = a cosh(x/a)
![Page 18: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/18.jpg)
Mαρκήσιος Guillaume de L'Hospital (1661-1704)
1696: Ανάλυση των απειροστών ποσοτήτων για την κατανόηση των καμπυλών.Το πρώτο ολοκληρωμένο σύγγραμμα για τον απειροστικό λογισμό - σε μεγάλο βαθμό έργο του Johann Bernoulli και στη γραμμή του Leibniz με εξαίρεση τη μέθοδο υπολογισμού της ακτίνας καμπυλότητας.
![Page 19: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/19.jpg)
GeorgeGeorge Berkeley Berkeley (1685- 1753)(1685- 1753)
The Analyst; or, A Discourse Addressed to an Infidel
Mathematician. London, Tonson, 1734
Η πρώτη έκδοση των αντιρρήσεων του Berkeley σχετικά με το λογικό υπόβαθρο του απειροστικού λογισμού όπως τον θεμελίωσε ο Νεύτων .
![Page 20: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/20.jpg)
Αντιρρρήσεις του Αντιρρρήσεις του Berkley Berkley για τη για τη μέθοδο των ροώνμέθοδο των ροών
• Απειροστά: Τα φαντάσματα νεκρών ποσοτήτων
• Ο απειροστικός λογισμός δίνει σωστά αποτελέσματα λόγω αλληλοκαλυπτόμενων λαθών
• Πως είναι δυνατόν να ορίζεται ο λόγος ποσοτήτων που μηδενίζονται;
• Οι «ροές» ανωτέρας τάξεως στερούνται νοήματος (ταχύτητα της ταχύτητας της ταχύτητας;). Edmund Halley
(1656-1742)Ο «άπιστος» μαθηματικός
![Page 21: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/21.jpg)
Αγωνία για την ορθή θεμελίωσηΑγωνία για την ορθή θεμελίωση
• 17841784: Η Ακαδημία των επιστημών του Βερολίνου : Η Ακαδημία των επιστημών του Βερολίνου
θεσπίζει βραβείο για την εργασία που θα θεσπίζει βραβείο για την εργασία που θα
παρουσιάζει επιτυχώς τη θεωρία των απείρων και παρουσιάζει επιτυχώς τη θεωρία των απείρων και
των απειροστών και που θα μπορούσε να των απειροστών και που θα μπορούσε να
χρησιμοποιηθεί για τη θεμελίωση του απειροστικού χρησιμοποιηθεί για τη θεμελίωση του απειροστικού
λογισμού σε στέρεες βάσειςλογισμού σε στέρεες βάσεις
• Βραβεύεται ο Βραβεύεται ο Simon L’ Huilier Simon L’ Huilier για μια εργασία που για μια εργασία που
δε λύνει κανένα από τα ουσιαστικά προβλήματα.δε λύνει κανένα από τα ουσιαστικά προβλήματα.
![Page 22: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/22.jpg)
Joseph Louis Lagrange (1736-1813)Joseph Louis Lagrange (1736-1813)
Mecanique analytiqueMecanique analytique (1788): (1788):Πλήρης θεμελίωση της Πλήρης θεμελίωση της μηχανικής με βάσει το νέο μηχανικής με βάσει το νέο απειροστικό λογισμόαπειροστικό λογισμόΚατά παράγοντες ολοκλήρωσηΚατά παράγοντες ολοκλήρωση
Συμβολισμός Συμβολισμός ff ΄́Θεώρημα Μέσης ΤιμήςΘεώρημα Μέσης ΤιμήςΑποτυχημένη απόπειρα Αποτυχημένη απόπειρα αποφυγής των ορίωναποφυγής των ορίων
![Page 23: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/23.jpg)
Leonhard Euler (1707-1783)Leonhard Euler (1707-1783)
• 1748: Τα εργαλεία της ανάλυσης οφείλουν να εφαρμόζονται στις συναρτήσεις – όχι στις καμπύλες.
• Διερεύνιση μεγίστων – ελαχίστων χωρίς τη χρήση γραφικών παραστάσεων
• Διαφορικές εξισώσεις.
• Ανορθόδοξες αθροίσεις σειρών
![Page 24: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/24.jpg)
1734: O Euler αποδεικνύει ότι
6
πS...
3
1
2
1
1
1 2
2222
Ακόμα υπολογίζει το
1νpp
ν
1S
για όλες τις άρτιες τιμές του p
αλλά και ο χαρακτήρας του (άρρητος; υπερβατικός;) είναι ακόμα και σήμερα ανοικτά προβλήματα.
Ο υπολογισμός του Sp για p περιττό
1979, R. Apery: To S3 είναι άρρητος
![Page 25: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/25.jpg)
Jean le Rond D’ Alembert1717 - 1783
Ένα μέγεθος ονομάζεται όριο ενός άλλου όταν το δεύτερο μπορεί να προσεγγίζει το πρώτο σε απόσταση οσοδήποτε μικρή, … έτσι ώστε η διαφορά μιας τέτοιας ποσότητας από το όριό της να είναι αμελητέα.
Encyclopedie 1765
![Page 26: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/26.jpg)
Jean le Rond D’ Alembert1717 - 1783
Προχωρήστε!
Η πίστη θα έρθει μόνη της!
![Page 27: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/27.jpg)
Αυστηρή θεμελίωση του απειροστικού
λογισμού…Θεώρησα απαραίτητο να αποδείξω την ύπαρξη ολοκληρωμάτων ή αρχικών συναρτήσεων (fοnctions primitives) πριν διατυπώσω τις ιδιότητές τους. Γι’ αυτό το σκοπό αποδείχθηκε απαραίτητο να θεμελιθεί εκ των προτέρων η έννοια του ολοκληρώματος μεταξύ ορίων ή ορισμένου ολοκληρώματος.
Augustin Louis CauchyAugustin Louis Cauchy
![Page 28: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/28.jpg)
Ορισμός της παραγώγου
• Οικοδόμηση του απειροστικού λογισμού με βάση την έννοια του ορίου
• Όρος: παράγωγος συνάρτηση
• Ορισμός:
• Αυστηρή απόδειξη κανόνων παραγώγισης• Το Θ.Μ.Τ. βρίσκεται στη βάση της
απόδειξης των βασικών θεωρημάτων της Ανάλυσης
Louis Cauchy(1789-1857)
i
)x(f)ix(flim)x(f
0i
![Page 29: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/29.jpg)
Carl Friedrich Gauss (1777-1855)
Αυστηρός ορισμός και μελέτη της σύγκλισης ακολουθιών και σειρών χωρίς τη χρήση του ορίου
![Page 30: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/30.jpg)
Bernhard Riemann,
(1826-1866)
Γενίκευση της έννοιας του ολοκληρώματος και προσδιορισμός των ολοκληρώσιμων συναρτήσεων
![Page 31: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/31.jpg)
Weierstrass, Karl (1815--1897)Weierstrass, Karl (1815--1897)
Πλήρης «αριθμητικοποίηση» της ανάλυσης
Αυστηρός εψιλοντικός ορισμός του ορίου με απόλυτες τιμές και ανισότητες. Ο ορισμός που χρησιμοποιούμε σήμερα.
![Page 32: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/32.jpg)
Συνέχεια
Cauchy: Μια απείρως μικρή αύξηση στη μεταβλητή προκαλεί μια μια απείρως μικρή αύξηση στη συνάρτηση.
Weierstrass: Απείρως μικρές μεταβολές στις μεταβλητές αντιστοιχούν σε ανάλογες μεταβολές στη συνάρτηση.
![Page 33: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/33.jpg)
Θεώρημα ενδιαμέσων τιμών
1791: Louis Francois Arbogast (1759 – 1803): Ο νόμος της συνέχειας συνίσταται στο ότι μια ποσότητα δεν μπορεί να περάσει από τη μία κάτάσταση στην άλλη χωρίς να διασχίσει όλες τις ενδιάμεσες καταστάσεις
1817: Bernhard Bolzano (1781–1848): Μαθηματικός ορισμός της συνέχειας. Αυστηρή διατύπωση και απόδειξη του θεωρήματος των ενδιαμέσων τιμών.
![Page 34: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/34.jpg)
1822: Πρώτη αναφορά σε ασυνεχείς συναρτήσεις
Joseph Fourier (1768 -1830) Theorie Analytique de la Chaleur
![Page 35: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/35.jpg)
Μαθηματικά Τέρατα
![Page 36: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/36.jpg)
Η συνάρτηση του Weierstrass
Παντού συνεχής αλλά μη παραγωγίσιμη σε άπειρα σημεία
![Page 37: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/37.jpg)
Χιονονιφάδα του von Koch
• Παντού συνεχής
• Πουθενά παραγωγίσιμη
• Πεπερασμένο εμβαδόν
• Άπειρο μήκος (γεωμετρική πρόοδος με λόγο 4/3)
Helge von Koch
1870-1924
![Page 38: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/38.jpg)
Καμπύλες που γεμίζουν το επίπεδο
• Καμπύλη του Peano
Καμπύλη του Hilbert
Giuseppe Peano 1858 - 1932
![Page 39: Από το Νεύτωνα στον Weierstrass](https://reader035.vdocuments.site/reader035/viewer/2022081421/5681430f550346895daf61ed/html5/thumbnails/39.jpg)
Τρίγωνο Sierpinski - Καμπύλη Sierpinski
Waclaw Sierpinski 1882-1969