Από το Νεύτωνα στον Weierstrass

39
Από το Νεύτωνα στον Από το Νεύτωνα στον Weierstrass Weierstrass Η καθιέρωση του απειροστικού Η καθιέρωση του απειροστικού λογισμού λογισμού Παρουσίασ η Τεύκρος Μιχαηλίδης

description

Παρουσίαση Τεύκρος Μιχαηλίδης. Από το Νεύτωνα στον Weierstrass. Η καθιέρωση του απειροστικού λογισμού. Newton, Isaac (1642-1727). Nature and Nature’s laws lay hid in night; God said, Let Newton be ! And all was Light . Alexander Pope: Epitaphs (1930). To μαθηματικό έργο του Νεύτωνα. - PowerPoint PPT Presentation

Transcript of Από το Νεύτωνα στον Weierstrass

Page 1: Από το Νεύτωνα στον  Weierstrass

Από το Νεύτωνα στον Από το Νεύτωνα στον WeierstrassWeierstrass

Η καθιέρωση του απειροστικού λογισμούΗ καθιέρωση του απειροστικού λογισμού

ΠαρουσίασηΤεύκρος

Μιχαηλίδης

Page 2: Από το Νεύτωνα στον  Weierstrass

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

To To μαθηματικό έργο του Νεύτωναμαθηματικό έργο του Νεύτωνα

Μέθοδος των ροών (fluxions)

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

καμπύλης σε κάθε σημείο της)καμπύλης σε κάθε σημείο της)

Ενοποίηση διάσπαρτων τεχνικών για • προσδιορισμό μεγίστων – ελαχίστων• υπολογισμό μηκών καμπυλών• προσδιορισμό εφαπτόμενων• υπολογισμό εμβαδών• προσέγγιση ριζών εξισώσεων• άθροιση απείρων σειρών• τύπος του δυωνύμου με μη ακέραιο εκθέτη

Page 4: Από το Νεύτωνα στον  Weierstrass

Μαθητής του Μαθητής του Barrow Barrow τον οποίο διαδέχθηκε τον οποίο διαδέχθηκε στο Καίμπριτζστο Καίμπριτζ

• Από τον Από τον Barrow Barrow παίρνει την ενορατική παίρνει την ενορατική αντίληψη του θεμελιώδους θεωρήματοςαντίληψη του θεμελιώδους θεωρήματος

• Από τον Από τον WallisWallis τη μέθοδο της παρεμβολής τη μέθοδο της παρεμβολής

• Αριθμός: πηλίκο οποιονδήποτε ποσοτήτων Αριθμός: πηλίκο οποιονδήποτε ποσοτήτων ((Wallis) Wallis) και όχι συλλογή μονάδων και όχι συλλογή μονάδων (Barrow)(Barrow)

• Έμπνευση από τις άπειρες σειρές (Έμπνευση από τις άπειρες σειρές (Gregory Gregory – Wallis)– Wallis)

Page 5: Από το Νεύτωνα στον  Weierstrass

Δημοσιεύσεις

• 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

Μέθοδος των ροών (fluxions)Κίνηση σωματιδίου στο επίπεδο: Ανεξάρτητη κίνηση κατά μήκος δυο κάθετων γραμμών. Η οριζόντια και η κατακόρυφη ροή και αντίστοιχα συνδέονται με τη ροή του χρόνου.

Αντίστοιχα τα x και y είναι οι ρέουσες ποσότητες (fluents ή flowing quantities)

Εύρεση του y αν είναι γνωστή η σχέση μεταξύ του x και του

Πρώτη σαφής διατύπωση του θεμελιώδους θεωρήματος.

Εφαρμογή της μεθόδου στον καθορισμό της καμπυλότητας μιας καμπύλης.

xy

xy

Page 7: Από το Νεύτωνα στον  Weierstrass

1693: Tractatus de Quadratura Curvarum

• Χρήση της έννοιας του ορίου:

Όταν το x γίνει με τη ροή του χρόνου x+o το xn γίνεται (x+o)n και με τη μέθοδο των άπειρων σειρών

xn + noxn-1 + (nn-n)/2 ooxn-2 + . .

Στη συνέχεια το ο μηδενίζεται «οριακά»

Page 8: Από το Νεύτωνα στον  Weierstrass

Από την εισαγωγή στα Principia (1687)

…Οι ποσότητες και οι λόγοι των ποσοτήτων, που σε οποιοδήποτε πεπερασμένο χρονικό διάστημα συγκλίνουν συνεχώς προς την ισότητα και που πριν το τέλος του καθορισμένου χρόνου πλησιάζουν μεταξύ τους περισσότερο από οποιαδήποτε δεδομένη απόσταση, γίνονται τελικά ίσες…

Page 9: Από το Νεύτωνα στον  Weierstrass

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

Ο διαφορικός λογισμός κατά Ο διαφορικός λογισμός κατά LeibnizLeibniz

Οι μεταβλητές x και y διατρέχουν ακολουθίες τιμών που είναι «απείρως κοντινές»

dx, dy είναι οι διαφορές μεταξύ δυο διαδοχικών τιμών αυτών των ακολουθιών

Συνέπεια: H κλίση της εφαπτομένης είναι dy/dx

Εισαγωγή των συμβόλων d και

Calculus summatorius:

2

yydy

2

Page 11: Από το Νεύτωνα στον  Weierstrass

Διαφορικός ΣυντελεστήςΔιαφορικός Συντελεστής

y=x2

dy=d(x2)=(x+dx)2-x2=2xdx+(dx)2

2x=διαφορικός συντελεστής

ΣυνάρτησηΣυνάρτησηMethodus tangentium inversa, seu de functionibus (η αντίστροφη μέθοδος των εφαπτόμενων ή περί συναρτήσεων): Υπολογισμός του y όταν είναι γνωστές οι ιδιότητες της εφαπτομένης στην καμπύλη y

Page 12: Από το Νεύτωνα στον  Weierstrass

Σύγκριση των δυο μεθόδων

Newton• Οι μεταβλητές μεταβάλλονται

με το χρόνο.

• Οι ροές x’,y’ είναι πεπερασμένες ταχύτητες

• Η ολοκλήρωση είναι ο προσδιορισμός των ρεουσών

Leibniz• Οι μεταβλητές x και y.

διατρέχουν ακολουθίες τιμών που είναι «απείρως κοντινές».

• Tα dx, dy είναι «απειροστά».

• Η ολοκλήρωση είναι άθροιση

Page 13: Από το Νεύτωνα στον  Weierstrass

H διαμάχη για την πατρότητα

• 1664-1666: Χρόνια απομόνωσης στο Woolsthorpe: Ο Newton αναπτύσσει τη μέθοδο των ροών. Χειρόγραφες σημειώσεις από το 1666.

• 1713: Ο Newton κατηγορείται για «κλοπή».

• Μέσω του Henry Oldenberg o Leibniz ενημερώνεται για τις ιδέες του Newton.

• 1682–1684: Δημοσίευση του Leibniz στο Acta Eruditorum

• 1710: Ο Leibniz κατηγορείται για «κλοπή»

Η διαμάχη για την πατρότητα είναι μάλλον μια ακόμη εκδοχή της αντιπαλότητας μεταξύ Αγγλίας και ηπειρωτικής Ευρλωπης

Page 14: Από το Νεύτωνα στον  Weierstrass

OOιι Bernoulli Bernoulli

Page 15: Από το Νεύτωνα στον  Weierstrass

Jakob (1654-1705) Jakob (1654-1705) και και Johann (1667–Johann (1667–1748) Bernoulli1748) Bernoulli

Δημοσίευση και λύση μιας σειράς προβλημάτων που αναδεικνύουν την ισχύ του απειροστικού λογισμού.

Johann

JakobJakob

Page 16: Από το Νεύτωνα στον  Weierstrass

Βραχυστόχρονη και ΤαυτόχρονηΚυκλοειδής Θεωρούμε κύκλο και ένα σημείο του Α. Ο γεωμετρικός τόπος του Α όταν ο κύκλος κυλά πάνω σε μια ευθεία.Παραμετρικές Εξισώσεις: x = at - h sin(t), y = a - h cos(t)

Page 17: Από το Νεύτωνα στον  Weierstrass

Άλυσος (Catenary)Ποια καμπύλη δημιουργεί μια αλυσίδα που αναρτάται από τα δυο της άκρα;Λανθασμένη λύση του Γαλιλαίου: ΠαραβολήΜε χρήση του απειροστικού λογισμού λύση από Johann, Leibniz, Huyghens κλπ.y = a cosh(x/a)

Page 18: Από το Νεύτωνα στον  Weierstrass

Mαρκήσιος Guillaume de L'Hospital (1661-1704)

1696: Ανάλυση των απειροστών ποσοτήτων για την κατανόηση των καμπυλών.Το πρώτο ολοκληρωμένο σύγγραμμα για τον απειροστικό λογισμό - σε μεγάλο βαθμό έργο του Johann Bernoulli και στη γραμμή του Leibniz με εξαίρεση τη μέθοδο υπολογισμού της ακτίνας καμπυλότητας.

Page 19: Από το Νεύτωνα στον  Weierstrass

GeorgeGeorge Berkeley Berkeley (1685- 1753)(1685- 1753)

The Analyst; or, A Discourse Addressed to an Infidel

Mathematician. London, Tonson, 1734

Η πρώτη έκδοση των αντιρρήσεων του Berkeley σχετικά με το λογικό υπόβαθρο του απειροστικού λογισμού όπως τον θεμελίωσε ο Νεύτων .

Page 20: Από το Νεύτωνα στον  Weierstrass

Αντιρρρήσεις του Αντιρρρήσεις του Berkley Berkley για τη για τη μέθοδο των ροώνμέθοδο των ροών

• Απειροστά: Τα φαντάσματα νεκρών ποσοτήτων

• Ο απειροστικός λογισμός δίνει σωστά αποτελέσματα λόγω αλληλοκαλυπτόμενων λαθών

• Πως είναι δυνατόν να ορίζεται ο λόγος ποσοτήτων που μηδενίζονται;

• Οι «ροές» ανωτέρας τάξεως στερούνται νοήματος (ταχύτητα της ταχύτητας της ταχύτητας;). Edmund Halley

(1656-1742)Ο «άπιστος» μαθηματικός

Page 21: Από το Νεύτωνα στον  Weierstrass

Αγωνία για την ορθή θεμελίωσηΑγωνία για την ορθή θεμελίωση

• 17841784: Η Ακαδημία των επιστημών του Βερολίνου : Η Ακαδημία των επιστημών του Βερολίνου

θεσπίζει βραβείο για την εργασία που θα θεσπίζει βραβείο για την εργασία που θα

παρουσιάζει επιτυχώς τη θεωρία των απείρων και παρουσιάζει επιτυχώς τη θεωρία των απείρων και

των απειροστών και που θα μπορούσε να των απειροστών και που θα μπορούσε να

χρησιμοποιηθεί για τη θεμελίωση του απειροστικού χρησιμοποιηθεί για τη θεμελίωση του απειροστικού

λογισμού σε στέρεες βάσειςλογισμού σε στέρεες βάσεις

• Βραβεύεται ο Βραβεύεται ο Simon L’ Huilier Simon L’ Huilier για μια εργασία που για μια εργασία που

δε λύνει κανένα από τα ουσιαστικά προβλήματα.δε λύνει κανένα από τα ουσιαστικά προβλήματα.

Page 22: Από το Νεύτωνα στον  Weierstrass

Joseph Louis Lagrange (1736-1813)Joseph Louis Lagrange (1736-1813)

Mecanique analytiqueMecanique analytique (1788): (1788):Πλήρης θεμελίωση της Πλήρης θεμελίωση της μηχανικής με βάσει το νέο μηχανικής με βάσει το νέο απειροστικό λογισμόαπειροστικό λογισμόΚατά παράγοντες ολοκλήρωσηΚατά παράγοντες ολοκλήρωση

Συμβολισμός Συμβολισμός ff ΄́Θεώρημα Μέσης ΤιμήςΘεώρημα Μέσης ΤιμήςΑποτυχημένη απόπειρα Αποτυχημένη απόπειρα αποφυγής των ορίωναποφυγής των ορίων

Page 23: Από το Νεύτωνα στον  Weierstrass

Leonhard Euler (1707-1783)Leonhard Euler (1707-1783)

• 1748: Τα εργαλεία της ανάλυσης οφείλουν να εφαρμόζονται στις συναρτήσεις – όχι στις καμπύλες.

• Διερεύνιση μεγίστων – ελαχίστων χωρίς τη χρήση γραφικών παραστάσεων

• Διαφορικές εξισώσεις.

• Ανορθόδοξες αθροίσεις σειρών

Page 24: Από το Νεύτωνα στον  Weierstrass

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

Jean le Rond D’ Alembert1717 - 1783

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

Encyclopedie 1765

Page 26: Από το Νεύτωνα στον  Weierstrass

Jean le Rond D’ Alembert1717 - 1783

Προχωρήστε!

Η πίστη θα έρθει μόνη της!

Page 27: Από το Νεύτωνα στον  Weierstrass

Αυστηρή θεμελίωση του απειροστικού

λογισμού…Θεώρησα απαραίτητο να αποδείξω την ύπαρξη ολοκληρωμάτων ή αρχικών συναρτήσεων (fοnctions primitives) πριν διατυπώσω τις ιδιότητές τους. Γι’ αυτό το σκοπό αποδείχθηκε απαραίτητο να θεμελιθεί εκ των προτέρων η έννοια του ολοκληρώματος μεταξύ ορίων ή ορισμένου ολοκληρώματος.

Augustin Louis CauchyAugustin Louis Cauchy

Page 28: Από το Νεύτωνα στον  Weierstrass

Ορισμός της παραγώγου

• Οικοδόμηση του απειροστικού λογισμού με βάση την έννοια του ορίου

• Όρος: παράγωγος συνάρτηση

• Ορισμός:

• Αυστηρή απόδειξη κανόνων παραγώγισης• Το Θ.Μ.Τ. βρίσκεται στη βάση της

απόδειξης των βασικών θεωρημάτων της Ανάλυσης

Louis Cauchy(1789-1857)

i

)x(f)ix(flim)x(f

0i

Page 29: Από το Νεύτωνα στον  Weierstrass

Carl Friedrich Gauss (1777-1855)

Αυστηρός ορισμός και μελέτη της σύγκλισης ακολουθιών και σειρών χωρίς τη χρήση του ορίου

Page 30: Από το Νεύτωνα στον  Weierstrass

Bernhard Riemann,

(1826-1866)

Γενίκευση της έννοιας του ολοκληρώματος και προσδιορισμός των ολοκληρώσιμων συναρτήσεων

Page 31: Από το Νεύτωνα στον  Weierstrass

Weierstrass, Karl (1815--1897)Weierstrass, Karl (1815--1897)

Πλήρης «αριθμητικοποίηση» της ανάλυσης

Αυστηρός εψιλοντικός ορισμός του ορίου με απόλυτες τιμές και ανισότητες. Ο ορισμός που χρησιμοποιούμε σήμερα.

Page 32: Από το Νεύτωνα στον  Weierstrass

Συνέχεια

Cauchy: Μια απείρως μικρή αύξηση στη μεταβλητή προκαλεί μια μια απείρως μικρή αύξηση στη συνάρτηση.

Weierstrass: Απείρως μικρές μεταβολές στις μεταβλητές αντιστοιχούν σε ανάλογες μεταβολές στη συνάρτηση.

Page 33: Από το Νεύτωνα στον  Weierstrass

Θεώρημα ενδιαμέσων τιμών

1791: Louis Francois Arbogast (1759 – 1803): Ο νόμος της συνέχειας συνίσταται στο ότι μια ποσότητα δεν μπορεί να περάσει από τη μία κάτάσταση στην άλλη χωρίς να διασχίσει όλες τις ενδιάμεσες καταστάσεις

1817: Bernhard Bolzano (1781–1848): Μαθηματικός ορισμός της συνέχειας. Αυστηρή διατύπωση και απόδειξη του θεωρήματος των ενδιαμέσων τιμών.

Page 34: Από το Νεύτωνα στον  Weierstrass

1822: Πρώτη αναφορά σε ασυνεχείς συναρτήσεις

Joseph Fourier (1768 -1830) Theorie Analytique de la Chaleur

Page 35: Από το Νεύτωνα στον  Weierstrass

Μαθηματικά Τέρατα

Page 36: Από το Νεύτωνα στον  Weierstrass

Η συνάρτηση του Weierstrass

Παντού συνεχής αλλά μη παραγωγίσιμη σε άπειρα σημεία

Page 37: Από το Νεύτωνα στον  Weierstrass

Χιονονιφάδα του von Koch

• Παντού συνεχής

• Πουθενά παραγωγίσιμη

• Πεπερασμένο εμβαδόν

• Άπειρο μήκος (γεωμετρική πρόοδος με λόγο 4/3)

Helge von Koch

1870-1924

Page 38: Από το Νεύτωνα στον  Weierstrass

Καμπύλες που γεμίζουν το επίπεδο

• Καμπύλη του Peano

Καμπύλη του Hilbert

Giuseppe Peano 1858 - 1932

Page 39: Από το Νεύτωνα στον  Weierstrass

Τρίγωνο Sierpinski - Καμπύλη Sierpinski

Waclaw Sierpinski 1882-1969