Ολοκλήρωμα

Η ολοκλήρωση είναι στοιχειώδης έννοια των προχωρημένων μαθηματικών, ειδικά στα πεδία του απειροστικού λογισμού και της μαθηματικής ανάλυσης. Έστω μια συνεχής συνάρτηση f με ανεξάρτητη μεταβλητή την x. Έστω υποσύνολο D του πεδίου ορισμού της συνάρτησης. Έστω (μεταβλητή) διαμέριση P, n στοιχείων, του συνόλου D, με λεπτότητα ∥P∥. Με απλά λόγια διαμέριση λέγεται οποιοσδήποτε τρόπος κομματιάζει το D σε n κομμάτια, ενώ η λεπτότητα δείχνει πόσο μεγάλο είναι το μεγαλύτερο κομμάτι της διαμέρισης. Ένα κομμάτι της διαμέρισης συμβολίζεται με δx. Σε κάθε στοιχείο δxi της διαμέρισης (δηλαδή σε κάθε κομμάτι) επιλέγεται ένα σημείο xi και υπολογίζεται η f(xi). Έστω το άθροισμα:

Τότε ως ορισμένο ολοκλήρωμα της f στο D ορίζεται το όριο (αν υπάρχει):

Το ορισμένο ολοκλήρωμα συμβολίζεται με , δηλαδή ισχύει:

Σημειώνεται ότι ισχύει: 

Στην περίπτωση που το D είναι διάστημα με άκρα τα a,b (b μεγαλύτερο ή ίσο του a) το ολοκλήρωμα συμβολίζεται με:

Ο όρος "ολοκλήρωμα" μπορεί επίσης να αναφέρεται στην έννοια της αντιπαραγώγου ή παράγουσας συνάρτησης, η οποία είναι μια συνάρτηση F της οποίας η παράγωγος είναι η αρχική f. Σ' αυτή την περίπτωση λέγεται και αόριστο ολοκλήρωμα, ενώ τα ολοκληρώματα που αναφέρονται σε αυτό το άρθρο λέγονται ορισμένα ολοκληρώματα. Τα αόριστα ολοκληρώματα δεν αναφέρονται σε κάποιο συγκεκριμένο υποσύνολο του πεδίου ορισμού, άρα δεν προσδιορίζουμε που ολοκληρώνουμε, ενώ κατά τα άλλα ο συμβολισμός παραμένει ο ίδιος. Ο λόγος για αυτό είναι οι σχέσεις:

όπου c οποιαδήποτε πραγματική σταθερά

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

Μερικοί συγγραφείς θεωρούν διαφορετική την έννοια της αντιπαραγώγου από το αόριστο ολοκλήρωμα. Η διαφορά είναι ότι αντιπαράγωγος είναι κάθε συνάρτηση της οποίας η παράγωγος δίνει την f, ενώ το αόριστο ολοκλήρωμα της f είναι μια οικογένεια συναρτήσεων που διαφέρουν μεταξύ τους κατά μια σταθερά, κάθε μια από τις οποίες είναι αντιπαράγωγος της f.

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

Ένας αυστηρός μαθηματικός ορισμός του ολοκληρώματος δόθηκε από τον Μπέρναρντ Ρίμαν.  Βασίζεται σε ένα όριο που προσεγγίζει την επιφάνεια μιας καμπυλόγραμμης περιοχής με το να σπάει την περιοχή σε κάθετες λωρίδες.  Τον 19ο αιώνα άρχισαν να εμφανίζονται πιο εξελιγμένες έννοιες του ολοκληρώματος, όπου ο τύπος της συνάρτησης όπως και το πεδίο ορισμού της ολοκλήρωσης έχουν γενικευθεί.  Το επικαμπύλιο ολοκλήρωμα ορίζεται για συναρτήσεις δύο ή τριών μεταβλητών, και το διάστημα της ολοκλήρωσης [a,b] αντικαθίστανται από μια καμπύλη μεταξύ δυο σημείων του επιπέδου ή του χώρου.  Στο επιφανειακό ολοκλήρωμα, η καμπύλη αυτή αντικαθίσταται από μια επιφάνεια στον τρισδιάστατο χώρο.  Τα ολοκληρώματα διαφορικής μορφής παίζουν θεμελιώδη ρόλο στη σύγχρονη διαφορική γεωμετρία.  Αυτές οι γενικεύσεις του ολοκληρώματος αρχικά εξελίχθηκαν από τις ανάγκες της φυσικής, και παίζουν σημαντικό ρόλο στη διατύπωση πολλών φυσικών νόμων, κυρίως αυτών της ηλεκτροδυναμικής.  Σύγχρονες έννοιες της ολοκλήρωσης βασίζονται στην αφηρημένη μαθηματική θεωρία γνωστή ως ολοκλήρωση Λεμπέγκ, που αναπτύχθηκε από τον Ανρί Λεμπέγκ.

Θεμελιώδες θεώρημα του απειροστικού λογισμού
Το θεμελιώδες θεώρημα του απειροστικού λογισμού δηλώνει ότι η ολοκλήρωση και η παραγώγιση είναι αντίστροφες πράξεις.

Έστω f μια πραγματική συνεχής συνάρτηση που ορίζεται σε κλειστό διάστημα, .
Η συνάρτηση  με

είναι συνεχής και ισχύει
 για κάθε 
Η F ονομάζεται αρχική ή αντιπαράγωγος της f.

Έστω f μια πραγματική συνεχής συνάρτηση που ορίζεται σε κλειστό διάστημα,  και F η αρχική της f. Τότε ισχύει

Ολοκληρώματα Νταρμπού και Ρίμαν

Σε ένα κλειστό διάστημα  ορίζουμε μια διαμέριση .
Προσεγγίζουμε το εμβαδό που περικλείεται από το γράφημα της f και τον άξονα x με αθροίσματα εμβαδών ορθογωνίων

Τα αθροίσματα αυτά ονομάζονται αθροίσματα Ρίμαν. Στην ειδική περίπτωση που θεωρούμε τα μέγιστα δυνατά εμβαδά ορθογωνίων

το αθροίσμα ονομάζενται άνω αθροίσμα Νταρμπού. 
Στην περίπτωση που θεωρούμε τα ελάχιστα δυνατά εμβαδά  ορθογωνίων

το αθροίσματα ονομάζεται κάτω αθροίσμα Νταρμπού.

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

Τα ολοκληρώματα Νταρμπού και Ρίμαν είναι ισοδύναμα.

Ολοκλήρωμα Λεμπέγκ

Το ολολήρωμα Λεμπέγκ βασίζεται στην θεωρία μέτρου. Χρησιμοποιεί το μέτρο Λεμπέγκ, που γενικεύει την έννοια του μήκους.

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

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

Το ολοκλήρωμα Λεμπέγκ αποτελεί γενίκευση του ολοκληρώματος Ρίμαν. Μια συνάρτηση ολοκληρώσιμη κατά Ρίμαν είναι ολοκληρώσιμη κατά Λεμπέγκ και τα δυο ολοκληρώματα έχουν την ίδια τιμή. Αντιστρόφως μια συνάρτηση ολοκληρώσιμη κατά Λεμπέγκ δεν είναι απαραίτητα ολοκληρώσιμη κατά Ρίμαν.

Είδη και πολλαπλότητα ολοκληρωμάτων

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

Δείτε επίσης
Παράγωγος

Παραπομπές 

Μαθηματικές συναρτήσεις
Ολοκληρώματα