Λογισμός

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση σε: πλοήγηση, αναζήτηση

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

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

Ο λογισμός ιστορικά έχει τίτλο "ο λογισμός των απειροελάχιστων» ή "απειροστικός λογισμός". Μερικά παραδείγματα άλλων γνωστών λογισμών είναι ο προτασιακός λογισμός (propositional calculus), ο λογισμός των μεταβολών (calculus of variations) και ο Λογισμός λάμδα.

Ιστορικά[Επεξεργασία | επεξεργασία κώδικα]

Στα αρχαία χρόνια[Επεξεργασία | επεξεργασία κώδικα]

Ισαάκ Νεύτων ανέπτυξε τη χρήση του λογισμού στους νόμους της κίνησης και της βαρύτητας.

Η αρχαία περίοδος εισήγαγε κάποιες από τις ιδέες που οδήγησαν στον ολοκληρωτικό λογισμό, αλλά δεν φαίνεται να είχαν αναπτυχθεί αυτές οι ιδέες με ένα αυστηρό και συστηματικό τρόπο. Υπολογισμοί όγκων και περιοχών, ένας σκοπός του ολοκληρωτικού λογισμού, μπορεί να βρεθεί στο μαθηματικό πάπυρο της Μόσχας (περ. 1820 π.Χ.), αλλά οι τύποι είναι απλές οδηγίες, με καμία ένδειξη ως προς τη μέθοδο, και μερικά από αυτά δεν διαθέτουν σωστές συνιστώσες. [2] Από την εποχή των αρχαίων ελλήνων μαθηματικών, ο Εύδοξος (περ. 408 - 355 π.Χ.), χρησιμοποίησε τη μέθοδο της εξαντλήσεως, η οποία προδιαγράφει την έννοια του ορίου, για τον υπολογισμό επιφανειών και όγκων, ενώ ο Αρχιμήδης (περ. 287-212 π.Χ.) ανέπτυξε περαιτέρω την ιδέα, εφευρίσκοντας διαισθητικά μεθόδους που μοιάζουν με τις μεθόδους του ολοκληρωτικού λογισμού. [3] Η μέθοδος της εξάντλησης αργότερα ανακαλύφθηκε εκ νέου στην Κίνα από τον Liu Hui, τον 3ο μ.Χ. αιώνα, προκειμένου να βρεθεί το εμβαδόν ενός κύκλου. [4] Κατά τον 5ο αιώνα μ.Χ. ο Zu Chongzhi δημιούργησε μια μέθοδο που αργότερα ονομάστηκε αρχή του Cavalieri για να βρει τον όγκο μιας σφαίρας. [5]

Μεσαίωνας[Επεξεργασία | επεξεργασία κώδικα]

Τον 14ο αιώνα, ο ινδός μαθηματικός Madhava Sangamagrama και το σχολείο Kerala της αστρονομίας και των μαθηματικών όρισε συστατικά του λογισμού, όπως η σειρά Taylor και οι άπειρες προσεγγίσεις σειράς. [6]

Σύγχρονη εποχή[Επεξεργασία | επεξεργασία κώδικα]

Στην Ευρώπη, το θεμελιώδες έργο ήταν μια πραγματεία που οφείλετε στον Bonaventura Cavalieri , ο οποίος υποστήριξε ότι οι όγκοι και οι περιοχές θα πρέπει να υπολογίζονται ως το άθροισμα των όγκων και των περιοχών των απειροελάχιστα λεπτών διατομών. Οι ιδέες του ήταν παρόμοιες με του Αρχιμήδη στη μέθοδο, αλλά αυτή η πραγματεία χάθηκε μέχρι τις αρχές του εικοστού αιώνα.Το έργο του Cavalieri δεν ήταν σεβαστό δεδομένου ότι οι μέθοδοι του είχαν οδηγήσει σε λανθασμένα αποτελέσματα, και οι απειροελάχιστες ποσότητες που εισήγαγε ήταν κακόφημες από την πρώτη του.

Ο Πιέρ ντε Φερμά υποστηρίζοντας ότι δανείστηκε από τον Διόφαντο, εισήγαγε την έννοια της επάρκειας (Adequality), η οποία αντιπροσώπευε την ισότητα μέχρι έναν απειροελάχιστο λανθασμένο όρο. [7] Ο συνδυασμός επιτεύχθηκε από τους John Wallis, Isaac Barrow και James Gregory, τα δύο τελευταία αποδείκνυαν το δεύτερο θεμελιώδες θεώρημα του λογισμού γύρω από 1670.

Ο κανόνας του προϊόντος και τον κανόνα της αλυσίδας, η έννοια των υψηλότερων παραγώγων, σειρές Taylor και αναλυτικές λειτουργίες εισήχθησαν από τον Ισαάκ Νεύτων σε μια ιδιότυπη σημειογραφία που θα χρησιμοποιούνται για την επίλυση προβλημάτων της μαθηματικής φυσικής. [8] Στα έργα του ο Ισαάκ Νεύτων αναδιατύπωνε τις ιδέες του για να ταιριάζουν με το μαθηματικό ιδίωμα της εποχής του, αντικατέστησε τους υπολογισμούς των απειροελάχιστων από ισοδύναμα γεωμετρικά επιχειρήματα, τα οποία θεωρήθηκαν υπεράνω κριτικής. Συνήθιζε τις μεθόδους του λογισμού για την επίλυση του προβλήματος της πλανητικής κίνησης, το σχήμα της επιφάνειας ενός περιστρεφόμενου ρευστού, το πεπλατυσμένο σχήμα της γης, η κίνηση του βάρους συρόμενη σε ένα κυκλοειδές και πολλά άλλα προβλήματα που συζητήθηκαν στο Principia Mathematica του (1687). Σε άλλη εργασία ανέπτυξε σειρά επεκτάσεων για τις συναρτήσεις, συμπεριλαμβανομένων των κλασματικών και των άρρητων δυνάμεων και ήταν σαφές ότι κατάλαβε τις αρχές της σειράς Taylor. Δεν δημοσιεύονται όλες οι ανακαλύψεις του.

Γκότφριντ Βίλχελμ Λάιμπνιτς Ήταν ο πρώτος που δημοσίευσε τα αποτελέσματά του για την ανάπτυξη του λογισμού.

Αυτές οι ιδέες ήταν τοποθετημένες στον πραγματικό απειροστικό λογισμό από τον Γκότφριντ Βίλχελμ Λάιμπνιτς, ο οποίος αρχικά είχε κατηγορηθεί για λογοκλοπή από τον Νεύτων. [9] Πλέον θεωρείται ως ένας ανεξάρτητος εφευρέτης που έχει συμβάλλει στο λογισμό. Η συμβολή του ήταν να παρέχει ένα σαφές σύνολο κανόνων για την εργασία του με απειροελάχιστες ποσότητες, επιτρέποντας τον υπολογισμό της δεύτερης παραγώγου και υψηλότερες, και απέδειξε τον κανόνα της αλυσίδας. Σε αντίθεση με τον Νεύτων ο Λάιμπνιτς έδωσε πολλή προσοχή στο τρόπο που θα γράψει τους τύπος, συχνά περνούσε μέρες για τον καθορισμό των κατάλληλων συμβόλων για τις έννοιες.

Ο Λάιμπνιτς και ο Νεύτων συνήθως και οι δυο πιστώνονται με την εφεύρεση του λογισμού. Ο Νεύτων ήταν ο πρώτη που έγραψε για την εφαρμογή του λογισμού στη γενική φυσική και ο Λάιμπνιτς ανέπτυξε ένα μεγάλο μέρος του συμβολισμού που χρησιμοποιείται στο λογισμό μέχρι και σήμερα. Οι βασικές ιδέες που εισήγαγαν τόσο Νεύτων όσο και ο Λάιμπνιτς ήταν οι νόμοι της παραγώγισης και της ολοκλήρωσης, τη δεύτερη παράγωγο και μεγαλύτερη, και την προσέγγιση πολυωνυμικών σειρών. Από την εποχή του Νεύτωνα, το θεμελιώδες θεώρημα του λογισμού ήταν γνωστό.

Όταν ο Νεύτων και ο Λάιμπνιτς δημοσίευσαν τα πρώτα τους αποτελέσματα, υπήρχε μεγάλη διαμάχη σχετικά με το ποιος μαθηματικός (και κατά συνέπεια ποια χώρα) άξιζε πίστωσης. Ο Νεύτων ήταν ο πρώτος, αλλά ο Λάιμπνιτς δημοσίευσε για πρώτη φορά. Ο Νεύτων ισχυρίστηκε ότι ο Λάιμπνιτς έκλεψε τις ιδέες του από αδημοσίευτες σημειώσεις του, που ο Νεύτων είχε μοιραστεί με μερικά μέλη της Βασιλικής Εταιρείας. Αυτή η διαμάχη χωρίζει τους αγγλόφωνους μαθηματικούς από τους υπόλοιπους μαθηματικούς εδώ και πολλά χρόνια. Μια προσεκτική εξέταση των εγγράφων του Νεύτων και του Λάιμπνιτς δείχνει ότι έφτασαν στα αποτελέσματά τους ανεξάρτητα, με τον Λάιμπνιτς να ξεκινάει πρώτα με την ολοκλήρωση και τον Νεύτων με τη παραγώγιση. Σήμερα τόσο Νεύτων όσο και στον Λάιμπνιτς δίνεται πίστωση για την ανάπτυξη του λογισμού ανεξάρτητα. Ο Λάιμπνιτς όμως τιμήθηκε δίνοντας το όνομά του. Ο Νεύτων ονόμασε τον λογισμό του "η επιστήμη των συνεχών αλλαγών".

Από την εποχή του Νεύτων και του Λάιμπνιτς πολλοί μαθηματικοί έχουν συμβάλει στη συνεχή ανάπτυξη του λογισμού. Μια από τις πρώτες και πιο ολοκληρωμένες δουλειές σχετικά με την πεπερασμένη και την απειροστή ανάλυση γράφτηκε το 1748 από τη Maria Gaetana Agnesi. [10]

Θεμέλια[Επεξεργασία | επεξεργασία κώδικα]

Στις αρχές του λογισμού η χρήση των απειροελάχιστων ποσοτήτων δε ήταν αυστηρή και επικρίθηκε έντονα από ορισμένους συγγραφείς κυρίως από τους Μισέλ Ρολ (Michel Rolle) και Bishop Berkeley. Ο Berkeley γράφει για τον απειροστικό λογισμό στο βιβλίο του The Analyst το 1734. Μια πρόσφατη μελέτη υποστηρίζει ότι ο λογισμός του Λάιμπνιτς ήταν πιο καλά θεμελειωμένος από του Berkeley. [11] Τα θεμέλια που είχαν βάλει ο Νεύτων και ο Λάιμπνιτς για τον λογισμό επειδή ήταν αυστηρά διατυπομένα βοήθησαν τους μαθηματικούς για ένα μεγάλο μέρος του επόμενου αιώνα και εξακολουθούν να είναι σε κάποιο βαθμό ένας ενεργός τομέας της έρευνας σήμερα.

Αρκετοί μαθηματικοί, συμπεριλαμβανομένου του Colin Maclaurin, προσπάθησαν να αποδείξουν την ορθότητα της χρήσης απειροελάχιστων, αλλά δεν μπόρεσαν να το αποδείξουν μέχρι 150 χρόνια αργότερα όταν χάρη στο έργο των Cauchy και Weierstrass ένας τρόπος βρέθηκε τελικά για να αποφευχθεί η απλή "έννοια" των απείρων μικρών ποσοτήτων. Τα θεμέλια του διαφορικού και ολοκληρωτικού λογισμού είχαν τεθεί. Στα έγγραφα του Cauchy θα βρείτε ένα ευρύ φάσμα της θεμελιακής προσεγγίσεις, συμπεριλαμβανομένου του ορισμού της συνέχειας όσον αφορά τα απειροελάχιστα, και ένα (κάπως ασαφές) πρωτότυπο ενός (ε, δ)-ορισμό του ορίου στον ορισμό της διαφοροποίησης. Στο έργο του ο Weierstrass διατύπωσε εκ νέου την έννοια του ορίου. Μετά το έργο του Weierstrass έγινε κοινό στο βασικό λογισμό σχετικά με τα όρια αντί για απειροελάχιστες ποσότητες. Μπέρναρντ Ρίμαν ([Bernhard Riemann) χρησιμοποίησε αυτές οι ιδέες να δώσει έναν ακριβή ορισμό του ολοκληρώματος. Επίσης κατά τη διάρκεια αυτής της περιόδου ότι οι ιδέες του λογισμού γενικεύονταν στον Ευκλείδειο χώρο και στο μιγαδικό επίπεδο.

Στα σύγχρονα μαθηματικά, τα θεμέλια του λογισμού που περιλαμβάνονται στο πεδίο της πραγματικής ανάλυσης το οποίο περιέχει πλήρεις ορισμούς και τις αποδείξεις από τα θεωρήματα του λογισμού. Η εμβέλεια του λογισμού έχει επίσης επεκταθεί σε μεγάλο βαθμό. Ο Henri Lebesgue εφηύρε τη θεωρία μέτρου που χρησιμοποιείται για να ορίσει ολοκληρώματα όλες όμως τις πιο παθολογικές λειτουργίες. Ο Laurent Schwartz εισήγαγε τις Κατανομές, οι οποίες μπορούν να χρησιμοποιηθούν για να πάρει την παράγωγο οποιασδήποτε συνάρτησης απολύτως.

Ενώ μερικές από τις ιδέες του λογισμού είχαν αναπτυχθεί νωρίτερα στην Αίγυπτο, την Ελλάδα, την Κίνα, την Ινδία, το Ιράκ, την Περσία, και την Ιαπωνία, η σύγχρονη χρήση του λογισμού ξεκίνησε στην Ευρώπη, κατά τη διάρκεια του 17ου αιώνα, όταν ο Ισαάκ Νεύτων και ο Γκότφριντ Βίλχελμ Λάιμπνιτς χτίσαν το έργο των προηγούμενων μαθηματικών και εισήγαγαν τις βασικές αρχές του λογισμού.

Εφαρμογές του διαφορικού λογισμού περιλαμβάνουν υπολογισμούς που αφορούν την ταχύτητα και την επιτάχυνση, την κλίση της καμπύλης, και βελτιστοποίηση. Εφαρμογές του ολοκληρωτικού λογισμού περιλαμβάνουν υπολογισμούς που αφορούν έκταση, τον όγκο, το μήκος του τόξου, το κέντρο της μάζας και την πίεση. Πιο προηγμένες εφαρμογές περιλαμβάνουν δυναμοσειρές και σειρές Fourier. Ο λογισμός χρησιμοποιείται επίσης για να αποκτήσουμε μια ακριβέστερη κατανόηση της φύσης του χώρου, του χρόνου, και της κίνησης.

Σημασία[Επεξεργασία | επεξεργασία κώδικα]

Ενώ μερικές από τις ιδέες του λογισμού είχαν αναπτυχθεί νωρίτερα στην Αίγυπτο, την Ελλάδα, την Κίνα, την Ινδία, το Ιράκ, την Περσία, και την Ιαπωνία, η σύγχρονη χρήση του λογισμού ξεκίνησε στην Ευρώπη, κατά τη διάρκεια του 17ου αιώνα, από τους Ισαάκ Νεύτων και ο Γκότφριντ Βίλχελμ Λάιμπνιτς ,έχοντας ως εφόδιο το έργο των προηγούμενων μαθηματικών, εισήγαγαν τις βασικές αρχές του λογισμού.

Εφαρμογές του διαφορικού λογισμού περιλαμβάνουν υπολογισμούς που αφορούν την ταχύτητα και την επιτάχυνση, την κλίση της καμπύλης, και τη βελτιστοποίηση. Εφαρμογές του ολοκληρωτικού λογισμού περιλαμβάνουν υπολογισμούς που αφορούν το εμβαδόν, τον όγκο, το μήκος του τόξου, το κέντρο της μάζας, το έργο, και την πίεση. Πιο προηγμένες εφαρμογές περιλαμβάνουν δυναμοσειρές και σειρές Fourier.

Ο λογισμός χρησιμοποιείται επίσης για να αποκτήσουν μια ακριβέστερη κατανόηση της φύσης του χώρου, του χρόνου, και η κίνηση. Για αιώνες οι μαθηματικοί και φιλόσοφοι πάλευαν με τα παράδοξα που αφορούν τη διαίρεση με το μηδέν ή τα αθροίσματα απείρως πολλών αριθμών. Αυτά τα ερωτήματα ανακύπτουν στη μελέτη της κίνησης και του εμβαδού. Ο αρχαίος Έλληνας φιλόσοφος Ζήνων ο Ελεάτης έδωσε πολλά διάσημα παραδείγματα τέτοιων παράδοξων. Ο λογισμός παρέχει εργαλεία, ειδικά το όριο και την άπειρη σειρά, τα οποία επιλύουν τα παράδοξα αυτά.

Αρχές[Επεξεργασία | επεξεργασία κώδικα]

Όρια[Επεξεργασία | επεξεργασία κώδικα]

Κύριο λήμμα: Όριο συνάρτησης

Λογισμός συνήθως αναπτύσσεται δουλεύοντας με πολύ μικρές ποσότητες. Πρόκειται για αντικείμενα που μπορούν να αντιμετωπίζονται σαν αριθμούς αλλά τα οποία είναι κατά κάποιο τρόπο "απειροελάχιστα". Ένας απειροελάχιστος dx αριθμός θα μπορούσε να είναι μεγαλύτερος από 0 αλλά μικρότερος από οποιοδήποτε αριθμό της ακολουθίας 1, 1/2, 1/3, ... και μικρότερος από κάθε θετικό πραγματικό αριθμό. Κάθε ακέραιο πολλαπλάσιο ενός απειροελάχιστου εξακολουθεί να είναι απείρως μικρός. Από αυτή την άποψη ο λογισμός είναι μια συλλογή από τεχνικές για το χειρισμό των απειροελάχιστων. Η προσέγγιση αυτή έπεσε σε δυσμένεια τον 19ο αιώνα, επειδή ήταν δύσκολο να γίνει η έννοια της απειροελάχιστη ακριβείς. Ωστόσο, η ιδέα αναβίωσε κατά τον 20ο αιώνα, με την εισαγωγή της μη τυποποιημένης ανάλυσης και την ομαλή απειροελάχιστη ανάλυση, η οποία παρέχει γερά θεμέλια για τη χειραγώγηση των απειροελάχιστων.

Τον 19ο αιώνα, τα απειροελάχιστα αντικαταστάθηκαν από τα όρια. Τα όρια περιγράφουν την τιμή μιας συνάρτησης σε μια ορισμένη εισροή. Συλλαμβάνει μικρής κλίμακας συμπεριφορά, όπως ακριβώς τα απειροελάχιστα, αλλά χρησιμοποιούν την τακτική των πραγματικών αριθμών. Με αυτήν την επεξεργασία ο λογισμός είναι μια συλλογή από τεχνικές για το χειρισμό ορισμένων ορίων. Τα απειροελάχιστα θα αντικατασταθούν από πολύ μικρούς αριθμούς και η απείρως μικρή συμπεριφορά της συνάρτησης βρίσκεται με τη λήψη της συμπεριφοράς του ορίου για μικρότερους και μικρότερους αριθμούς. Τα όρια είναι ο ευκολότερος τρόπος για την παροχή αυστηρών θεμελίων του λογισμού και για το λόγο αυτό είναι στάνταρ η προσέγγιση.

Διαφορικός λογισμός[Επεξεργασία | επεξεργασία κώδικα]

Η εφαπτομένη στο σημείο (x, f(x)). Η παράγωγος f′(x) μιας καμπύλης σε ένα σημείο είναι η κλίση (αύξηση πάνω κίνηση) της εφαπτομένης στην εν λόγω καμπύλη σε εκείνο το σημείο.

Ο διαφορικός λογισμός είναι η μελέτη του ορισμού, των ιδιοτήτων και των εφαρμογών της παραγώγου μιας συνάρτησης. Η ίδια τη διαδικασία εύρεσης του παραγώγου ονομάζεται "διαφοροποίηση" ("differentiation"). Λαμβάνοντας υπόψη μια λειτουργία και ένα σημείο στο πεδίο ορισμού του, η παράγωγος στο σημείο αυτό είναι ένας τρόπος που κωδικοποιεί τη συμπεριφορά της συνάρτησης κοντά στο αυτό το σημείο. Με την εύρεση της παραγώγου συνάρτησης σε κάθε σημείο στο πεδίο ορισμού του, είναι δυνατόν να παραχθεί μια νέα συνάρτηση που ονομάζεται "παράγωγος συνάρτηση" ή απλά το "παράγωγος" της αρχικής συνάρτησης. Στη μαθηματική ορολογία, η παράγωγος είναι μια διαδικασία η οποία παίρνει μια συνάρτηση και εξάγει μια δεύτερη συνάρτηση. Αυτή είναι η πιο αφηρημένη από πολλές από τις διεργασίες που μελετούνται σε στοιχειώδη άλγεβρα, όπου η συνάρτηση κατά κανόνα δέχεται έναν αριθμό και παραγάγει έναν άλλο αριθμό.

Το πιο κοινό σύμβολο για μια παράγωγο είναι μια απόστροφος που ονομάζετε πρώτη παράγωγος. Έτσι η παράγωγος της συνάρτησης f συμβολίζεται ως , και προφέρεται " πρώτη παράγωγος της f ". Ως παράδειγμα μιας συνάρτησης και της παραγώγου της, εάν f(x) = x2 , τότε η συνάρτηση f′(x) = 2x είναι η παράγωγός της (υπολογίζεται με τις μεθόδους παραγώγισης).

Εάν η μεταβλητή της συνάρτησης αντιπροσωπεύει το χρόνο, στη συνέχεια η παράγωγος αντιπροσωπεύει την αλλαγή της σε σχέση με το χρόνο. Για παράδειγμα, εάν η f είναι μια συνάρτηση που δέχεται το χρόνο ως μεταβλητή και δίνει την θέση της μπάλας τη στιγμή εκείνη ως τιμή, τότε η παράγωγος της f είναι το πόσο γρήγορα η θέση μεταβάλλεται στον χρόνο, δηλαδή, είναι η ταχύτητα της μπάλας.

Αν μια συνάρτηση είναι γραμμική (δηλαδή, εάν η γραφική παράσταση της συνάρτησης είναι μια ευθεία γραμμή), τότε η συνάρτηση μπορεί να γραφτεί ως y = mx + b, όπου x είναι η ανεξάρτητη μεταβλητή, y είναι η εξαρτημένη μεταβλητή και b είναι το σημείο τομής της y:

m= \frac{\text{rise}}{\text{run}}= \frac{\text{change in } y}{\text{change in } x} = \frac{\Delta y}{\Delta x}.

Αυτό δίνει μια ακριβή τιμή για την κλίση μιας ευθείας γραμμής. Αν η γραφική παράσταση της συνάρτησης δεν είναι μια ευθεία γραμμή, τότε η αλλαγή στο y διαιρούμενη με τη μεταβολή χ ποικίλλει. Συγκεκριμένα, αν f είναι μια συνάρτηση, ορίζουμε ένα σημείο στο πεδίο ορισμού της με συντεταγμένες (a, f(a)), το οποίο είναι ένα σημείο πάνω στη γραφική παράσταση της συνάρτησης. Αν h είναι ένας αριθμός κοντά στο μηδέν, τότε ο a + h είναι ένας αριθμός κοντά στο a. Επομένως το σημείο (a + h, f(a + h)) τείνει στο σημείο (a, f(a)). Η κλίση μεταξύ αυτών των δύο σημείων είναι:

m = \frac{f(a+h) - f(a)}{(a+h) - a} = \frac{f(a+h) - f(a)}{h}.

Η έκφραση αυτή ονομάζεται πηλίκο διαφοράς. Μια γραμμή μέσω δύο σημείων σε μια καμπύλη ονομάζεται τέμνουσα γραμμή, και έτσι m είναι η κλίση της τέμνουσας γραμμής μεταξύ των (a, f(a)) και (a + h, f(a + h)). Η τέμνουσα γραμμή είναι μόνο μια προσέγγιση στη συμπεριφορά της συνάρτησης στο σημείο a διότι δεν λαμβάνει υπόψη για ό,τι συμβαίνει μεταξύ a και a + h. Δεν είναι δυνατόν να ανακαλύψει την συμπεριφορά στο a θέτοντας το h μηδέν επειδή αυτό θα απαιτούσε τη διαίρεση με το μηδέν, η οποία είναι αδύνατη. Η παράγωγος ορίζεται από τη λήψη του ορίου καθώς το h τείνει στο μηδέν, πράγμα που σημαίνει ότι θεωρεί την συμπεριφορά της f για όλες τις μικρές τιμές του h και εξάγει μια τιμή για την περίπτωση κατά την οποία το h ισούται με μηδέν:

\lim_{h \to 0}{f(a+h) - f(a)\over{h}}.

Γεωμετρικά, η παράγωγος είναι η κλίση της εφαπτομένης της γραφικής παράστασης της f στο (a,f(a)). Η παράγωγος είναι ένα όριο των λόγων διαφοράς. Για το λόγο αυτό, η παράγωγος ονομάζεται μερικές φορές η κλίση της συνάρτησης f. Εδώ είναι ένα συγκεκριμένο παράδειγμα, όπου υπολογίζεται η κλίση της συνάρτησης f(x) = x2 στη θέση 3.

Έστω η συνάρτηση f(x) = x2

Η παράγωγος της f′(x) στο a είναι η κλίση της εφαπτομένης στην εν λόγω καμπύλη σε εκείνο το σημείο. Η κλίση αυτή καθορίζεται λαμβάνοντας υπόψη την οριακή τιμή των πλάγιων τεμνούμενων ευθειών. Εδώ η συνάρτηση (με το κόκκινο χρώμα) είναι η f(x) = x3x.Η εφαπτομένη (με πράσινο χρώμα) η οποία περνάει από το σημείο (−3/2, −15/8) έχει κλίση 23/4. Σημειώστε ότι οι κατακόρυφες και οριζόντιες ευθείες σε αυτή την εικόνα είναι διαφορετικές.
\begin{align}f'(3) &=\lim_{h \to 0}{(3+h)^2 - 3^2\over{h}} \\
&=\lim_{h \to 0}{9 + 6h + h^2 - 9\over{h}} \\
&=\lim_{h \to 0}{6h + h^2\over{h}} \\
&=\lim_{h \to 0} (6 + h) \\
&= 6.
\end{align}
(Για τον τρόπο με τον οποίο υπολογίζεται ένα όριο, βλέπε Όριο Συνάρτησης)

Η σημειογραφία του Λάιμπνιτς[Επεξεργασία | επεξεργασία κώδικα]

Ένας κοινός συμβολισμός, ο οποίος εισήχθη από τον Λάιμπνιτς, για την παράγωγο στο παραπάνω παράδειγμα είναι:


\begin{align}
y&=x^2 \\
\frac{dy}{dx}&=2x.
\end{align}

Σε μια προσέγγιση που βασίζεται στα όρια, το σύμβολο dy/dx πρέπει να ερμηνευθεί όχι ως το πηλίκο των δύο αριθμών αλλά ως συντομογραφία για το όριο που υπολογίστηκε πάνω. Ο Λάιμπνιτς όμως είχε την πρόθεση να εκπροσωπεί το πηλίκο των δύο απειροελάχιστα μικρών αριθμών dy είναι η απειροελάχιστη αλλαγή του y που προκαλείται από μια απειροελάχιστη αλλαγή dx εφαρμοσμένη στο x. Μπορούμε επίσης να σκεφτούμε το d/dx διαφορετική πράξη που παίρνει μια συνάρτηση ως εισροή και δίνει μια άλλη συνάρτηση, την παράγωγο ως έξοδο. Για παράδειγμα:


\frac{d}{dx}(x^2)=2x.

Σε αυτή τη χρήση το dx σε ένα ο παρονομαστής "διαβάζεται σε σχέση με το x".

Ολοκληρωτικός Λογισμός[Επεξεργασία | επεξεργασία κώδικα]

Κύριο λήμμα: Ολοκλήρωμα

Ο ολοκληρωτικός λογισμός είναι η μελέτη των ορισμών, των ιδιοτήτων και των εφαρμογών των δύο συναφείς εννοιών, το αόριστο ολοκλήρωμα και το ορισμένο ολοκλήρωμα. Η διαδικασία για την εξεύρεση της τιμής από ένα ολοκλήρωμα ονομάζετε ολοκλήρωση. Το αόριστο ολοκλήρωμα είναι η αντιπαράγωγος, η αντίστροφη λειτουργία της παραγώγου. F είναι ένα αόριστο ολοκλήρωμα της f όταν f είναι μια παράγωγος της F. (Αυτή η χρήση των μικρών και κεφαλαίων γραμμάτων για μια συνάρτηση και το αόριστο ολοκλήρωμα της είναι συχνή στο λογισμό.)

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

Ένα ενδεικτικό παράδειγμα είναι η διανυθείσα απόσταση σε μια δεδομένη χρονική στιγμή.

\mathrm{Distance} = \mathrm{Speed} \cdot \mathrm{Time}

Εάν η ταχύτητα είναι σταθερή, απαιτείται μόνο πολλαπλασιασμός, αλλά αν μεταβληθεί η ταχύτητα, τότε χρειαζόμαστε μια πιο ισχυρή μέθοδος για την εξεύρεση της απόστασης. Μία τέτοια μέθοδος είναι η προσέγγιση την απόσταση που διανύεται από τη διάσπαση του χρόνου σε πολλά μικρά χρονικά διαστήματα, στη συνέχεια πολλαπλασιάζοντας το χρόνο που έχει παρέλθει σε κάθε διάστημα από μία από τις εν λόγω ταχύτητες στο εκάστοτε διάστημα και λαμβάνοντας τότε το άθροισμα (άθροισμα Riemann) από την κατά προσέγγιση απόσταση που διανύεται σε κάθε διάστημα. Η βασική ιδέα είναι ότι αν μόνο ένα σύντομο χρονικό διάστημα παρέλθει, τότε η ταχύτητα θα παραμείνει πάνω κάτω η ίδια. Ωστόσο, ένα άθροισμα Riemann δίνει μόνο μια προσέγγιση της διανυόμενης απόστασης. Πρέπει να λάβουμε το όριο του συνόλου των αθροισμάτων αυτών Riemann για να βρούμε την ακριβή απόσταση που διανύθηκε.

Η ολοκλήρωση μπορεί να θεωρηθεί ως μέτρηση της περιοχής κάτω από μια καμπύλη, ορίζεται από f(x), μεταξύ δυο σημείων (εδώ του a και του b).

Αν η f(x) το διάγραμμα στα αριστερά αντιπροσωπεύει την ταχύτητα καθώς μεταβάλλεται συναρτήσει του χρόνου, η διανυθείσα απόσταση (μεταξύ των χρόνων αντιπροσωπεύεται από a και b) είναι η σκιασμένη περιοχή s.

Μια διαισθητική μέθοδος θα ήταν να χωρίσουμε την απόσταση μεταξύ των a και b σε μια σειρά από ίσα τμήματα, το μήκος του κάθε τμήματος που αντιπροσωπεύεται από το σύμβολο Δx. Για κάθε μικρό τμήμα, μπορούμε να επιλέξουμε μία τιμή της συνάρτησης f(x). Την τιμή αυτή την καλούμε h. Στη συνέχεια, η περιοχή του ορθογωνίου με βάση Δx και ύψος h δίνει την απόσταση ((ο χρόνος Δx πολλαπλασιάζεται με την ταχύτητα h) που διάνυσε σε αυτό το τμήμα. Η σύνδεση με κάθε τμήμα είναι η μέση τιμή της συνάρτησης πάνω από αυτό, f(x)=h. Το άθροισμα όλων αυτών των ορθογωνίων δίνει μια προσέγγιση του χώρου μεταξύ του άξονα και της καμπύλης, η οποία είναι μια προσέγγιση της συνολικής διανυόμενης απόστασης. Η μικρότερη τιμή για Δx θα δώσει ορθογώνια και στις περισσότερες περιπτώσεις μια καλύτερη προσέγγιση, , αλλά για μια ακριβή απάντηση που πρέπει να λάβει το όριο καθώς το Δx τείνει στο μηδέν.

Το σύμβολο της ολοκλήρωσης είναι \int \, ,ένα επίμηκες S (Το S σημαίνει "άθροισμα" ("sum")).

Το ορισμένο ολοκλήρωμα γράφεται ως: \int_a^b f(x)\, dx. και διαβάζετε "το ολοκλήρωμα από το a στο b του f του x ντε x(ντε x δηλαδή ως προς x)

Ο συμβολισμός του Λάιμπνιτς dx προορίζεται να προτείνει τη διαίρεση της περιοχής κάτω από την καμπύλη σε ένα άπειρο αριθμό των ορθογωνίων, έτσι ώστε το Δx πλάτος τους γίνεται το απειροελάχιστο dx.

Σε ένα σχηματισμό του λογισμού με βάση τα όρια, ο συμβολισμός \int_a^b \ldots\, dx είναι για να κατανοήσουμε ως χρήστες ότι εισάγουμε μια συνάρτηση και παίρνουμε έναν αριθμό.

Το αόριστο ολοκλήρωμα, ή αντιπαράγωγος, γράφεται: \int f(x)\, dx.

Οι συναρτήσεις αυτές διαφέρουν μόνο κατά μία σταθερή και έχουν την ίδια παράγωγο και μπορεί να αποδειχθεί ότι η αντιπαράγωγος μιας δεδομένης συνάρτησης είναι στην πραγματικότητα μια οικογένεια συναρτήσεων που διαφέρει μόνο κατά μία σταθερά. Δεδομένου ότι το παράγωγο της συνάρτησης y = x² + C , εδώ το C είναι μια σταθερά, είναι y′ = 2x η αντιπαράγωγος του τελευταίου δίνεται από:

\int 2x\, dx = x^2 + C.

Μια απροσδιόριστη σταθερά σαν το C είναι γνωστή ως μια σταθερά ολοκλήρωσης.

Θεμελιώδες Θεώρημα του Λογισμού[Επεξεργασία | επεξεργασία κώδικα]

Το θεμελιώδες θεώρημα του λογισμού αναφέρει ότι η παραγώγιση και η ολοκλήρωση είναι αντίστροφες λειτουργίες. Πιο συγκεκριμένα, αφορά τις τιμές της αντιπαραγώγου σε αόριστα ολοκληρώματα. Επειδή είναι πιο εύκολο να υπολογίσεις μια αντιπαράγωγος από το να εφαρμόσεις τον ορισμό του ορισμένου ολοκληρώματος, το Θεμελιώδες Θεώρημα του Λογισμού παρέχει έναν πρακτικό τρόπο υπολογισμού των ορισμένων ολοκληρωμάτων. Μπορεί επίσης να ερμηνευθεί ως μια ακριβής ένδειξη για το γεγονός ότι η παραγώγιση είναι το αντίστροφο της ολοκλήρωσης.

Το Θεμελιώδες Θεώρημα του Λογισμού αναφέρει: Αν η συνάρτηση f είναι συνεχείς στο διάστημα [a, b ] και αν F είναι μια συνάρτηση της οποίας η παράγωγος είναι η f στο διάστημα [a, b ], τότε

\int_{a}^{b} f(x)\,dx = F(b) - F(a).

Επιπλέον, για κάθε x στο διάστημα (a, b),

\frac{d}{dx}\int_a^x f(t)\, dt = f(x).

Η διαπίστωση αυτή γίνεται τόσο από τον Νεύτωνα όσο και από τον Λάιμπνιτς, οι οποίοι βασίστηκαν σε προηγούμενες εργασίες του Isaac Barrow, ήταν το κλειδί για τη μαζική εξάπλωση των αναλυτικών αποτελεσμάτων που μετά τη δουλειά τους έγιναν γνωστά. Το θεμελιώδες θεώρημα παρέχει μια αλγεβρική μέθοδο υπολογισμού ορισμένων ολοκληρωμάτων-χωρίς την εκτέλεση των διαδικασιών ορίων-με την εξεύρεση τύπων για την αντιπαραγώγιση.

Δείτε επίσης[Επεξεργασία | επεξεργασία κώδικα]

Wiktionary logo
Το Βικιλεξικό έχει λήμμα που έχει σχέση με το λήμμα:

Σχετικά Θέματα[Επεξεργασία | επεξεργασία κώδικα]

Πηγές[Επεξεργασία | επεξεργασία κώδικα]

Σημειώσεις[Επεξεργασία | επεξεργασία κώδικα]

  1. Latorre, Donald R.; Kenelly, John W.; Reed, Iris B.; Biggers, Sherry (2007), Calculus Concepts: An Applied Approach to the Mathematics of Change, Cengage Learning, σελ. 2, ISBN 0-618-78981-2, http://books.google.com/books?id=bQhX-3k0LS8C , Chapter 1, p 2
  2. Morris Kline, Mathematical thought from ancient to modern times, Vol. I
  3. Archimedes, Method, in The Works of Archimedes ISBN 978-0-521-66160-7
  4. Dun, Liu; Fan, Dainian; Cohen, Robert Sonné (1966). A comparison of Archimdes' and Liu Hui's studies of circles. Chinese studies in the history and philosophy of science and technology. 130. Springer. σελ. 279. ISBN 0-7923-3463-9. http://books.google.com/books?id=jaQH6_8Ju-MC. , Chapter , p. 279
  5. Zill, Dennis G.; Wright, Scott; Wright, Warren S. (2009). Calculus: Early Transcendentals (3 έκδοση). Jones & Bartlett Learning. σελ. xxvii. ISBN 0-7637-5995-3. http://books.google.com/books?id=R3Hk4Uhb1Z0C. , Extract of page 27
  6. http://www-history.mcs.st-andrews.ac.uk/HistTopics/Indian_mathematics.html
  7. André Weil: Number theory. An approach through history. From Hammurapi to Legendre. Birkhauser Boston, Inc., Boston, MA, 1984, ISBN 0-8176-4565-9, p. 28.
  8. Donald Allen: Calculus, http://www.math.tamu.edu/~dallen/history/calc1/calc1.html
  9. Leibniz, Gottfried Wilhelm. The Early Mathematical Manuscripts of Leibniz. Cosimo, Inc., 2008. Page 228. Copy
  10. Unlu, Elif (April 1995). «Maria Gaetana Agnesi». Agnes Scott College. http://www.agnesscott.edu/lriddle/women/agnesi.htm. 
  11. Katz, Mikhail; Sherry, David (2012), «Leibniz’s Infinitesimals: Their Fictionality, Their Modern Implementations, and Their Foes from Berkeley to Russell and Beyond», Erkenntnis, doi:10.1007/s10670-012-9370-y .

Βιβλία[Επεξεργασία | επεξεργασία κώδικα]

Άλλες πηγές[Επεξεργασία | επεξεργασία κώδικα]

Περαιτέρω μελετη[Επεξεργασία | επεξεργασία κώδικα]

Online βιβλία[Επεξεργασία | επεξεργασία κώδικα]