Μαθηματική Ανάλυση. Συγγραφή. Μαρία Αδάμ, Νικόλαος Ασημάκης, Ιωάννης Χατζάρας. Κριτικός αναγνώστης. Νικόλαος Καραμπετάκης. Συντελεστές έκδοσης

Transcript

1

2 Μαθηματική Ανάλυση Συγγραφή Μαρία Αδάμ, Νικόλαος Ασημάκης, Ιωάννης Χατζάρας Κριτικός αναγνώστης Νικόλαος Καραμπετάκης Συντελεστές έκδοσης ΓΛΩΣΣΙΚΗ ΕΠΙΜΕΛΕΙΑ: Ευφροσύνη-Άλκηστη Παρασκευοπούλου-Κόλλια, Μαρία Αδάμ ΓΡΑΦΙΣΤΙΚΗ ΕΠΙΜΕΛΕΙΑ: Αντιγόνη Παναγιωτίδου ΤΕΧΝΙΚΗ ΕΠΕΞΕΡΓΑΣΙΑ: Παναγιώτα Κοντού Copyright ΣΕΑΒ 5 Το παρόν έργο αδειοδοτείται υπό τους όρους της άδειας Cretive Commos Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Όχι Παράγωγα Έργα.. Για να δείτε ένα αντίγραφο της άδειας αυτής επισκεφτείτε τον ιστότοπο ΣΥΝΔΕΣΜΟΣ ΕΛΛΗΝΙΚΩΝ ΑΚΑΔΗΜΑΪΚΩΝ ΒΙΒΛΙΟΘΗΚΩΝ Εθνικό Μετσόβιο Πολυτεχνείο Ηρώων Πολυτεχνείου 9, 578 Ζωγράφου ISBN:

3 Στον Ιωάννη-Άρη

4

5 Περιεχόμενα Πρόλογος... i ΚΕΦΑΛΑΙΟ Πραγματικές συναρτήσεις πραγματικής μεταβλητής..... Συναρτήσεις..... Πράξεις μεταξύ συναρτήσεων. Σύνθετη και αντίστροφη συνάρτηση..... Μονοτονία συνάρτησης. Ακρότατα συνάρτησης Εκθετικές και λογαριθμικές συναρτήσεις Τριγωνομετρικές συναρτήσεις Υπερβολικές συναρτήσεις Πραγματικές συναρτήσεις σε προγραμματιστικό περιβάλλον Συμβολικές εντολές Γραφική παράσταση συνάρτησης μίας μεταβλητής Ασκήσεις Αυτοαξιολόγησης... 6 Βιβλιογραφία... 6 Ενδεικτικές άλυτες ασκήσεις ΚΕΦΑΛΑΙΟ Ακολουθίες πραγματικών αριθμών Η έννοια της ακολουθίας Φραγμένες ακολουθίες Μονοτονία ακολουθίας Η έννοια της υπακολουθίας Σύγκλιση ακολουθίας στον Η έννοια της περιοχής Μηδενική ακολουθία Σύγκλιση ακολουθίας σε πραγματικό αριθμό Ιδιότητες συγκλινουσών ακολουθιών Χαρακτηριστικά όρια Αποκλίνουσες ακολουθίες Ασκήσεις Αυτοαξιολόγησης... 6 Βιβλιογραφία... 7 Ενδεικτικές άλυτες ασκήσεις... 8 ΚΕΦΑΛΑΙΟ Σειρές πραγματικών αριθμών..... Ορισμοί..... Κριτήρια σύγκλισης..... Εναλλάσσουσες σειρές Παραδείγματα και Εφαρμογές Σειρές πραγματικών αριθμών σε προγραμματιστικό περιβάλλον Σειρές πραγματικών αριθμών με συμβολικές εντολές Σειρές πραγματικών αριθμών με εντολές επανάληψης Ασκήσεις Αυτοαξιολόγησης... 55

6 Βιβλιογραφία Ενδεικτικές άλυτες ασκήσεις ΚΕΦΑΛΑΙΟ 4 Όριο και συνέχεια πραγματικής συνάρτησης Η έννοια του ορίου Ιδιότητες των ορίων Όριο συνάρτησης το άπειρο. Όριο συνάρτησης στο άπειρο Πλευρικά όρια συνάρτησης σε σημείο Συνέχεια συνάρτησης Όριο πραγματικής συνάρτησης σε προγραμματιστικό περιβάλλον Ασκήσεις Αυτοαξιολόγησης... Βιβλιογραφία... Ενδεικτικές άλυτες ασκήσεις... ΚΕΦΑΛΑΙΟ 5 Παράγωγος πραγματικής συνάρτησης Έννοια παραγώγου Παράγωγος πραγματικής συνάρτησης σε προγραμματιστικό περιβάλλον Ασκήσεις Αυτοαξιολόγησης... 4 Βιβλιογραφία... 5 Ενδεικτικές άλυτες ασκήσεις... 6 ΚΕΦΑΛΑΙΟ 6 Θεμελιώδη θεωρήματα διαφορικού λογισμού και εφαρμογές Θεωρήματα Συνέπειες θεωρημάτων Προγραμματιστικό περιβάλλον Ασκήσεις Αυτοαξιολόγησης... Βιβλιογραφία... Ενδεικτικές άλυτες ασκήσεις... 4 ΚΕΦΑΛΑΙΟ 7 Ολοκλήρωμα πραγματικής συνάρτησης Η έννοια του αόριστου ολοκληρώματος Μέθοδος ολοκλήρωσης με αντικατάσταση Ολοκλήρωση κατά παράγοντες Ολοκλήρωση ρητών συναρτήσεων Ολοκλήρωση τριγωνομετρικών συναρτήσεων Το ορισμένο ολοκλήρωμα Ολοκλήρωμα σε προγραμματιστικό περιβάλλον Ασκήσεις Αυτοαξιολόγησης... 7 Βιβλιογραφία... 74

7 Ενδεικτικές άλυτες ασκήσεις ΚΕΦΑΛΑΙΟ 8 Εφαρμογές ορισμένου και αόριστου ολοκληρώματος Εφαρμογές του ορισμένου ολοκληρώματος Εμβαδόν επίπεδης περιοχής Όγκος στερεού από περιστροφή Μήκος καμπύλης Εφαρμογές του αόριστου ολοκληρώματος σε Διαφορικές Εξισώσεις πρώτης τάξης Διαφορική εξίσωση χωριζόμενων μεταβλητών και Ομογενής διαφοική εξίσωση Γραμμική διαφορική εξίσωση και διαφορική εξίσωση του Beroulli Λύση συνήθων διαφορικών εξισώσεων σε προγραμματιστικό περιβάλλον Ασκήσεις Αυτοαξιολόγησης... 5 Βιβλιογραφία... 6 Ενδεικτικές άλυτες ασκήσεις... 8 ΚΕΦΑΛΑΙΟ 9 Σειρές συναρτήσεων Δυναμοσειρές Σειρά Tylor και Mcluri Σειρές Fourier Σειρές συναρτήσεων σε προγραμματιστικό περιβάλλον Σειρές Tylor Σειρές Fourier Ασκήσεις Αυτοαξιολόγησης... 6 Βιβλιογραφία... 6 Ενδεικτικές άλυτες ασκήσεις ΚΕΦΑΛΑΙΟ Γενικευμένα ολοκληρώματα και εφαρμογές Γενικευμένο ολοκλήρωμα Ο μετασχηματισμός Lplce Μετασχηματισμός Lplce σε προγραμματιστικό περιβάλλον Ασκήσεις Αυτοαξιολόγησης Βιβλιογραφία... 9 Ενδεικτικές άλυτες ασκήσεις... 9 Παράρτημα 9

8 Πρόλογος Το αντικείμενο του βιβλίου είναι ο Διαφορικός και Ολοκληρωτικός Λογισμός των συναρτήσεων μίας πραγματικής μεταβλητής και περιλαμβάνει εκείνη την ύλη των μαθηματικών, που διδάσκεται ως Μαθηματική Ανάλυση ή Λογισμός συναρτήσεων μίας μεταβλητής, στα πρώτα εξάμηνα των Τμημάτων, των Θετικών και Φυσικών Επιστημών, των Πολυτεχνικών, Οικονομικών και Κοινωνικών Σχολών αλλά και των Σχολών Τεχνολογικών Εφαρμογών των ΤΕΙ. Απευθύνεται σε προπτυχιακούς φοιτητές και σπουδαστές ως κύριο σύγγραμμα και σε πτυχιούχους ως ένα χρήσιμο ηλεκτρονικό βιβλίο αναφοράς. Στο περιεχόμενό του ο αναγνώστης μπορεί να βρει υλικό που σχετίζεται με: - το λογισμό και τη μελέτη συνάρτησης μίας πραγματικής μεταβλητής, - το αόριστο, το ορισμένο, το γενικευμένο ολοκλήρωμα και τις εφαρμογές τους, τόσο στη γεωμετρία, όσο στις συνήθεις διαφορικές εξισώσεις και στο μετασχηματισμό Lplce, - τις ακολουθίες πραγματικών αριθμών, - τις σειρές πραγματικών αριθμών και συναρτήσεων. Είναι γεγονός ότι οι παραπάνω έννοιες είναι χρήσιμες στις επιστήμες του Μηχανικού και γενικότερα στις Θετικές Επιστήμες, και δεν θα ήταν υπερβολή να πούμε ότι αρκετές από αυτές οφείλουν την ύπαρξή τους σε αυτές τις Επιστήμες. Βασιζόμενοι σε αυτό το γεγονός ο αναγνώστης θα βρει σχόλια ή και αναλυτικές εισαγωγές στις αντίστοιχες ενότητες. Στο βιβλίο επιχειρείται η παρουσίαση της θεωρητικής δομής και μεθοδολογίας της Μαθηματικής Ανάλυσης με συστηματικό και απλό τρόπο, με ακρίβεια και πληρότητα, εφ όσον οι έννοιες ακολουθία, όριο, συνέχεια, παράγωγος και ολοκλήρωμα, είναι γνωστές από το λύκειο. Στόχος είναι η εύχρηστη αναφορά στην ύλη του λογισμού των συναρτήσεων μίας πραγματικής μεταβλητής και η κατανόηση των θεμελιωδών εννοιών του Διαφορικού και Ολοκληρωτικού λογισμού, ως υπόβαθρο σε άλλα προπτυχιακά μαθήματα, όπως Σήματα Συστήματα, Ψηφιακή Επεξεργασία Σημάτων, κ.ά. Για το σκοπό αυτό, η ύλη είναι αυστηρά διατυπωμένη, με Ορισμούς, Θεωρήματα και Προτάσεις, χωρίς μακροσκελείς αποδείξεις και η παρουσίασή της στηρίζεται σε επιλεγμένα παραδείγματα και εφαρμογές. Ιδιαίτερη προσοχή έχει δοθεί στο να υπάρχουν σε όλα τα κεφάλαια αναλυτικές επεξηγήσεις, επισημάνσεις και λεπτομερής «συζήτηση», πάνω σε ποικίλα παραδείγματα, ώστε να παρέχεται η δυνατότητα στον αναγνώστη να αντιληφθεί τις έννοιες και τις διαδικασίες που αναπτύσσονται. Τέλος, αξιοποιούνται οι γνώσεις και οι δυνατότητες, που δίνει η τεχνολογική ανάπτυξη των υπολογιστών, γράφοντας προγράμματα σε υπολογιστικό περιβάλλον Mtlb/Octve. Στο κείμενο περιέχονται σε έγχρωμα πλαίσια τα θεωρήματα, οι βασικές προτάσεις, οι ιδιότητες, χρήσιμα συμπεράσματα και εφαρμογές, περιγραφή μεθόδων, εντολών και διαδικασιών, ώστε να διακρίνονται εύκολα από τον αναγνώστη. Μία ενότητα κάθε κεφαλαίου συγκεντρώνει τις απαραίτητες πληροφορίες, που απαιτούνται από το προγραμματιστικό/υπολογιστικό περιβάλλον των λογισμικών Mtlb/Octve, ώστε η χρήση τους να επιτρέπει στον αναγνώστη την εξάσκηση ή τον έλεγχο της ορθότητας των απαντήσεων, σε αρκετά από τα λυμένα ή άλυτα προβλήματα που διαπραγματεύεται κάθε κεφάλαιο. Στο τέλος κάθε κεφαλαίου, υπάρχουν ασκήσεις αυτοαξιολόγησης με υποδείξεις για τη λύση τους καθώς και οι απαντήσεις τους. Σκοπός αυτών των ασκήσεων είναι να μπορεί ο αναγνώστης να ελέγξει το επίπεδο κατανόησης των εννοιών που αναπτύχθηκαν, γι αυτό οι ασκήσεις αυτές είναι παρόμοιες με τα παραδείγματα, τα οποία έχουν αναπτυχθεί στο κεφάλαιο ή αποτελούν σύνθεσή τους. Επιπλέον, μετά τη βιβλιογραφία κάθε κεφαλαίου, υπάρχουν και ενδεικτικές άλυτες ασκήσεις, οι οποίες δίνονται για να μπορεί ο αναγνώστης να εξασκηθεί στην επίλυση αριθμητικών εφαρμογών και προβλημάτων, που αφορούν τα επιμέρους τμήματα της ύλης κάθε κεφαλαίου. Κάθε κεφάλαιο του βιβλίου αριθμείται και υποδιαιρείται σε ενότητες, οι οποίες αριθμούνται με δύο αριθμούς, ενώ μερικές αριθμούνται με τρεις αριθμούς: ο πρώτος αριθμός αναφέρεται στο κεφάλαιο, ο δεύτερος στην ενότητα και ο τρίτος, όπου υπάρχει, στην υποενότητα. Επίσης, οι ορισμοί, τα θεωρήματα, οι προτάσεις, οι εφαρμογές, τα παραδείγματα, οι τύποι και οι ασκήσεις αυτοαξιολόγησης αριθμούνται με τρεις αριθμούς: ο πρώτος αντιστοιχεί στο κεφάλαιο, ο δεύτερος στην ενότητα και ο τρίτος στη σειρά εμφάνισης. Οι ενδεικτικές άλυτες ασκήσεις στο τέλος κάθε κεφαλαίου αριθμούνται με δύο αριθμούς, ο πρώτος αντιστοιχεί στο κεφάλαιο και ο δεύτερος στη σειρά εμφάνισης. Στο τέλος του συγγράμματος υπάρχει παράρτημα με πίνακες με τους σημαντικότερους τύπους όλων των κεφαλαίων. Το περιεχόμενο του βιβλίου κατανέμεται σε δέκα κεφάλαια. Στο πρώτο κεφάλαιο δίνονται όλοι οι ορισμοί, οι ιδιότητες και οι πράξεις που σχετίζονται με την έννοια της συνάρτησης μίας πραγματικής μεταβλητής. Παρουσιάζονται ειδικές κατηγορίες συναρτήσεων, όπως είναι οι εκθετικές, οι λογαριθμικές, οι i

9 τριγωνομετρικές, οι υπερβολικές καθώς και οι αντίστροφες συναρτήσεις αυτών, και αναφέρονται οι σημαντικότερες ιδιότητές τους. Στο δεύτερο κεφάλαιο παρουσιάζεται η έννοια της ακολουθίας, διατυπώνονται οι ιδιότητες που συνδέουν τις έννοιες της φραγμένης και της μονότονης ακολουθίας, αποδεικνύονται τα σημαντικότερα κριτήρια και οι προτάσεις μίας συγκλίνουσας ακολουθίας και μελετώνται χαρακτηριστικά όρια ακολουθιών. Στο τρίτο κεφάλαιο δίνονται οι ορισμοί και τα σημαντικότερα κριτήρια ελέγχου σύγκλισης των σειρών πραγματικών αριθμών. Μελετώνται επίσης ειδικές σειρές, όπως είναι οι γεωμετρικές, οι τηλεσκοπικές, οι p-αρμονικές και οι εναλλάσσουσες. Στο τέταρτο κεφάλαιο παρουσιάζεται η έννοια του ορίου μίας πραγματικής συνάρτησης, η οποία είναι θεμελιώδης έννοια του Απειροστικού Λογισμού, δίνονται ο ορισμός και οι ιδιότητες του ορίου συνάρτησης, όταν η ανεξάρτητη μεταβλητή τείνει σ έναν πραγματικό αριθμό ή όταν αυξάνεται ή μειώνεται απεριόριστα και διατυπώνονται ο ορισμός, οι ιδιότητες και οι σημαντικότερες προτάσεις για τις συνεχείς συναρτήσεις, από τις οποίες προκύπτουν σημαντικά συμπεράσματα για τη συμπεριφορά τους. Στο πέμπτο κεφάλαιο παρουσιάζονται οι κανόνες παραγώγισης των πραγματικών συναρτήσεων και αποδεικνύονται οι παράγωγοι των σημαντικότερων πραγματικών συναρτήσεων. Επίσης, δίνεται ο ορισμός του διαφορικού μίας πραγματικής συνάρτησης. Στο έκτο κεφάλαιο παρουσιάζονται τα σημαντικότερα θεωρήματα του διαφορικού λογισμού, θεώρημα Fermt, Rolle, Μέσης Τιμής, τα οποία βρίσκουν εφαρμογές στη μελέτη μίας συνάρτησης κατά τη μεταβολή της ανεξάρτητης μεταβλητής. Μερικές από αυτές αφορούν τη μονοτονία και την κυρτότητα, τον προσδιορισμό τοπικών ακροτάτων και σημείων καμπής της συνάρτησης, την ύπαρξη ασύμπτωτων ευθειών στη γραφική παράσταση της συνάρτησης, καθώς και τον εντοπισμό των ριζών μίας εξίσωσης. Στο έβδομο κεφάλαιο ξεκινά η μελέτη του Ολοκληρωτικού Λογισμού. Παρουσιάζεται η έννοια του αόριστου ολοκληρώματος, η οποία «λειτουργεί» ως αντίστροφη διαδικασία από εκείνη της παραγώγισης. Μελετώνται οι ιδιότητες του αόριστου ολοκληρώματος και αναπτύσσονται οι τεχνικές υπολογισμού του. Εισάγεται η έννοια του αθροίσματος Riem, με τη χρήση του οποίου, δίνεται ο ορισμός του ορισμένου ολοκληρώματος (κατά Riem), και διατυπώνεται το θεμελιώδες Θεώρημα του Ολοκληρωτικού Λογισμού και το Θεώρημα Μέσης Τιμής. Στο όγδοο κεφάλαιο παρουσιάζονται εφαρμογές του ορισμένου ολοκληρώματος στη γεωμετρία, στη μηχανική, στη φυσική, όπως είναι το εμβαδόν μίας επίπεδης περιοχής, ο όγκος ενός στερεού από περιστροφή, το μήκος μίας καμπύλης. Επιπλέον, παρουσιάζονται εφαρμογές του αόριστου ολοκληρώματος, στην επίλυση συνήθων διαφορικών εξισώσεων πρώτης τάξης, όπως είναι οι διαφορικές εξισώσεις χωριζόμενων μεταβλητών, οι γραμμικές διαφορικές εξισώσεις και η διαφορική εξίσωση Beroulli. Στο ένατο κεφάλαιο παρουσιάζεται η μέθοδος προσέγγισης μίας συνάρτησης από μία πολυωνυμική συνάρτηση, δίνεται ο ορισμός της δυναμοσειράς, της σειράς Tylor και Mcluri. Επιπλέον, παρουσιάζεται η προσέγγιση μίας συνάρτησης από τριγωνομετρικά πολυώνυμα και περιγράφεται η ανάλυση μίας συνάρτησης σε σειρά Fourier. Στο τελευταίο κεφάλαιο του συγγράμματος επεκτείνεται η έννοια του ορισμένου ολοκληρώματος σε εκείνη του γενικευμένου ολοκληρώματος, δηλαδή, σε περιπτώσεις κατά τις οποίες το ολοκλήρωμα μελετάται για συνάρτηση ορισμένη σε μη φραγμένο διάστημα, καθώς επίσης για μη φραγμένη συνάρτηση ορισμένη σε φραγμένο διάστημα ή ο συνδυασμός των παραπάνω περιπτώσεων. Ως εφαρμογές των γενικευμένων ολοκληρωμάτων μελετώνται ο μετασχηματισμός Lplce και ο αντίστροφός του. Στο τέλος της προσπάθειας αυτής θα ήταν παράλειψη να μην ευχαριστήσουμε όλους τους συντελεστές της συγγραφικής προσπάθειας. Ευχαριστούμε τον κριτικό αναγνώστη κ. Νικόλαο Καραμπετάκη για τις εποικοδομητικές και αναλυτικές υποδείξεις του. Ευχαριστούμε την υποψήφια διδάκτορα του Τμήματος Πληροφορικής με Εφαρμογές στη Βιοϊατρική κα Παναγιώτα Κοντού για την τεχνική υποστήριξη. Ευχαριστούμε τη συναδέλφισσα και φίλη κα Ευφροσύνη-Άλκηστη Παρασκευοπούλου-Κόλλια για τη γλωσσική επιμέλεια. Ευχαριστούμε την κα Αντιγόνη Παναγιωτίδου για τη σύλληψη της ιδέας του εξώφυλλου και τη γραφιστική επιμέλεια.

10 Ευχαριστούμε όλους τους φοιτητές των Τμημάτων όπου διδάξαμε, που τα τελευταία χρόνια, μέσα από τις συζητήσεις στις διαλέξεις και στα εργαστήρια, μέσα από τις ασκήσεις και τις εξετάσεις, μας βοήθησαν να γίνουμε πιο μεθοδικοί στην παρουσίαση της ύλης και μας ενέπνευσαν να γράψουμε το παρόν ηλεκτρονικό σύγγραμμα. Ελπίζουμε να είναι χρήσιμο βοήθημα στους επόμενους φοιτητές των Πανεπιστημίων και Τεχνολογικών Ιδρυμάτων και να αποτελέσει ένα από τα βασικά εργαλεία στην προσπάθειά τους για την απόκτηση της γνώσης στα αντικείμενα που θεραπεύονται μέσα στις «σελίδες» του. Λαμία, Μάιος 6 Οι συγγραφείς Μαρία Αδάμ-Ιωάννης Χατζάρας-Νικόλαος Ασημάκης iii

11

12 ΚΕΦΑΛΑΙΟ Πραγματικές συναρτήσεις πραγματικής μεταβλητής Δεν υπάρχει πρόβλημα που δεν μπορεί να επιλυθεί. Frçois Viète (54-6) Υπάρχει το πρόβλημα, αναζητήστε τη λύση του, η ορθότητα των προτάσεων είναι αδύνατον να μην μπορεί να ανακαλυφθεί, γιατί στα μαθηματικά δεν υπάρχει igorbimus. Η κοινότητα των Μαθηματικών είναι σύμφυτη με τη φύση αυτής της επιστήμης, γιατί τα μαθηματικά είναι η βάση (το θεμέλιο) όλης της γνώσης των φυσικών φαινομένων. Δηλαδή, αυτό μπορεί να εκπληρώσει πλήρως αυτήν την υψηλή αποστολή, μπορεί ο νέος αιώνας να φέρει msters, πολύ ζήλο και ενθουσιασμό σε νέους μαθητές. Dvid Hilbert (86-94)

13 ΚΕΦΑΛΑΙΟ Πραγματικές συναρτήσεις πραγματικής μεταβλητής Σύνοψη Στο κεφάλαιο αυτό δίνονται όλοι οι ορισμοί, οι ιδιότητες και οι πράξεις που σχετίζονται με την έννοια της συνάρτησης μίας πραγματικής μεταβλητής. Παρουσιάζονται ειδικές κατηγορίες πραγματικών συναρτήσεων, όπως είναι οι εκθετικές, οι λογαριθμικές, οι τριγωνομετρικές, οι υπερβολικές καθώς και οι αντίστροφες συναρτήσεις αυτών και αναφέρονται οι σημαντικότερες ιδιότητές τους.. Συναρτήσεις Ο κόσμος ολόκληρος είναι γεμάτος από σχέσεις μεταξύ ποσοτήτων και η θεμελιώδης έννοια-εργαλείο για την κατανόηση αυτών των σχέσεων είναι εκείνη της συνάρτησης. Στη Μηχανική, λέμε ότι, η ταχύτητα vt (), η επιτάχυνση t () είναι συναρτήσεις του χρόνου t, ή είναι συναρτήσεις της θέσης και γράφουμε v ( ) και, ( ) αντίστοιχα. Στην επεξεργασία σήματος, το πλάτος ενός πραγματικού σήματος t () είναι συνάρτηση του συνεχούς χρόνου t. Στα ηλεκτρικά κυκλώματα, λέμε ότι, η τάση του ρεύματος Vt () είναι συνάρτηση του χρόνου, η ένταση του ρεύματος I( R ) είναι συνάρτηση της αντίστασης R. Στην Οικονομία, η συνάρτηση της ζήτησης D( p ) και της προσφοράς S( p ) είναι συναρτήσεις της τιμής p του προϊόντος, κλπ. Ορισμός... Μία συνάρτηση (fuctio) f από ένα μη κενό σύνολο A σε ένα μη κενό σύνολο B είναι ένας κανόνας f, που αντιστοιχεί κάθε στοιχείο του συνόλου A ακριβώς σε ένα και μόνο ένα στοιχείο y του συνόλου B, και συμβολίζεται f : A B. Το στοιχείο ονομάζεται ανεξάρτητη μεταβλητή (idepedet vrible) ή πρότυπο και το στοιχείο y, που αντιστοιχεί στο, ονομάζεται εξαρτημένη μεταβλητή ή εικόνα του και συμβολίζεται ως f( ). Το σύνολο A όλων των ονομάζεται πεδίο ορισμού (domi of defiitio) της f και το σύνολο B όλων των εικόνων f( ) πεδίο τιμών (domi of rge) της f. Το σύνολο τιμών (set of rge) της συνάρτησης f : A B είναι το σύνολο { } { } f( A) = y B: υπάρχει A, ώστε y = f( ) = f( ) : A. (..) Μία συνάρτηση f με πεδίο ορισμού το A και πεδίο τιμών το B διαβάζεται «συνάρτηση από το A στο B». Στη συνέχεια, τα σύνολα A, B είναι υποσύνολα του συνόλου των πραγματικών αριθμών και γι αυτό θα αναφερόμαστε στην πραγματική συνάρτηση f της πραγματικής μεταβλητής. Επιπλέον, αν δεν ενδιαφέρει ο ακριβής υπολογισμός του συνόλου τιμών της f γράφουμε ότι το πεδίο τιμών της συνάρτησης είναι το σύνολο των πραγματικών αριθμών. Μία συνάρτηση f είναι γνωστή, όταν ο τύπος (κανόνας) που δίνει την εικόνα f( ) είναι γνωστός. Πολλές φορές για λόγους απλότητας ταυτίζουμε, στο προφορικό αλλά και στο γραπτό λόγο, την έννοια της συνάρτησης f με τον τύπο της f( ), λέγοντας ότι «δίνεται η συνάρτηση f( )» ενώ το ορθό είναι «δίνεται η συνάρτηση f με τύπο f( )». Επίσης στη βιβλιογραφία, ο όρος συνάρτηση χρησιμοποιείται και ως «απεικόνιση», στη συνέχεια χρησιμοποιείται μόνο ο όρος «συνάρτηση».

14 Παραδείγματα... i) Έστω τα σύνολα {,,} A = και {,5,8,} B =. Η αντιστοιχία 5,, μπορεί να αποτελεί μία συνάρτηση f από το Α στο Β, όπου f() = 5, f() = και f () = με πεδίο τιμών το σύνολο Β και σύνολο τιμών το f( A ) = {,5,}. Ενώ, η αντιστοιχία δεν αποτελεί συνάρτηση, αφού στην πραγματική τιμή αντιστοιχούν δύο διαφορετικές τιμές και 5, δηλαδή, f () = και f () = 5. ii) Αν A = {,,,4} και { 5,,,6,8} B =, η αντιστοιχία f( ) =, f() =, f () = και f (4) = 6, όπως και η αντιστοιχία g( ) = g() = g() = 6 και g (4) = 8 αποτελούν συναρτήσεις από το σύνολο Α στο σύνολο Β. Το σύνολο τιμών της f είναι το ( ) {,,6} f A = και της g είναι το g( A ) = { 6,8}, ενώ το πεδίο τιμών τους είναι το Β. iii) Έστω c. Η συνάρτηση f : με f( ) = c για κάθε ονομάζεται σταθερή συνάρτηση (costt fuctio) με σύνολο τιμών το μονοσύνολο { c }. Στην περίπτωση που f( ) = για κάθε, η σταθερή συνάρτηση ονομάζεται μηδενική. iv) Έστω A. Η συνάρτηση f : A A με f( ) =, για κάθε A, ονομάζεται ταυτοτική συνάρτηση (idetity fuctio) στο σύνολο Α και συμβολίζεται με I A. Έτσι, IA( ) =, για κάθε A. v) Η συνάρτηση f : με f( ) = έχει σύνολο τιμών τους μη αρνητικούς πραγματικούς αριθμούς, δηλαδή το [, + ). Γενικότερα, μία συνάρτηση f, η οποία ορίζεται με τη βοήθεια ενός πολυωνύμου, δηλαδή, ο τύπος είναι f( ) = , όπου i, i=,,,, ονομάζεται πολυωνυμική συνάρτηση βαθμού έχει πεδίο ορισμού και πεδίο τιμών το σύνολο των πραγματικών αριθμών. Ειδικότερα, η πρώτου ( ) βαθμού συνάρτηση f( ) = +, όπου,, ονομάζεται γραμμική. Για παράδειγμα, οι συναρτήσεις f( ) = 5+ 7, g ( ) = +, h ( ) = 5, και z ( ) = = είναι πολυωνυμικές συναρτήσεις δευτέρου ( ), τρίτου ( ), πρώτου ( ) και μηδενικού ( ) βαθμού, αντίστοιχα. vi) Έστω πραγματικός αριθμός με. Η συνάρτηση f : {} με f( ) = έχει πεδίο ορισμού όλους τους μη μηδενικούς πραγματικούς αριθμούς, ώστε η εικόνα f( ) να ορίζεται, δηλαδή, να είναι πραγματικός αριθμός (βλέπε, Παράδειγμα..4. (iv) ). Γενικότερα, μία συνάρτηση f : A της οποίας ο τύπος δίνεται ως πηλίκο πολυωνύμων, όπου P( ) = και P ( ) f( ) =, Q ( ) m Q( ) = b + b + + b+ b, με, b, m m m i=,,,, j =,,, m, ονομάζεται ρητή συνάρτηση κι έχει πεδίο ορισμού όλους τους πραγματικούς αριθμούς εκτός των ριζών του Q, ( ) δηλαδή { : ( ) } A= Q. (..) i j

15 Για παράδειγμα, η συνάρτηση έχει πεδίο ορισμού A = {}. f( ) = είναι μία ρητή συνάρτηση, οπότε από (..) είναι φανερό ότι + 4 Επίσης, η ρητή συνάρτηση g ( ) = έχει πεδίο ορισμού A = {,}, επειδή οι ρίζες του 5+ 6 πολυωνύμου στον παρονομαστή είναι και. Εδώ να σημειωθεί ότι το πεδίο ορισμού μπορεί να γραφεί κι ως ένωση διαστημάτων: {, } = (,) (,) (, +). vii) Η συνάρτηση f : A με f( ) = έχει πεδίο ορισμού A= { : } = { : } = [, +), επειδή η τετραγωνική ρίζα (και κάθε άρτιας τάξης ρίζα) έχει νόημα μόνο για μη αρνητικές ποσότητες. Η συνάρτηση g: A με g ( ) = ορίζεται για κάθε πραγματικό αριθμό, δηλαδή, A =. + 7 viii) Η συνάρτηση f : A με f( ) = ορίζεται για εκείνους τους πραγματικούς αριθμούς για 5+ 6 τους οποίους δεν μηδενίζεται ο παρονομαστής και έχει νόημα το ριζικό, δηλαδή, A= : 5+ 6 > = : ( )( ) > =,, +. { } { } ( ) ( ) 4 Η συνάρτηση g: A με g ( ) = ορίζεται για κάθε πραγματικό αριθμό, δηλαδή, A =, + επειδή ο παρονομαστής δεν μηδενίζεται για οποιονδήποτε πραγματικό αριθμό (παρατηρήστε ότι το + έχει διακρίνουσα = < και η υπόρριζη ποσότητα + είναι πάντοτε θετική, επειδή είναι ομόσημη του συντελεστή του ). i) Η συνάρτηση f : {,} με, αν f( ) =, αν ονομάζεται συνάρτηση Dirichlet, όπου είναι το σύνολο των ρητών αριθμών. Ορισμός... Μία συνάρτηση f : A ονομάζεται αμφιμονοσήμαντη ή αμφιμονότιμη (ijective), όταν σε διαφορετικές τιμές της ανεξάρτητης μεταβλητής A αντιστοιχούν διαφορετικές εικόνες, δηλαδή, όταν για κάθε, A ισχύει f( ) f( ). Παρατήρηση..4. i) Από τον προτασιακό λογισμό γνωρίζουμε ότι για δύο λογικές προτάσεις pq,, η πρόταση «p q» είναι ισοδύναμη με την πρόταση «όχι q όχι p». Θεωρώντας ως πρόταση p : έστω, A με και πρόταση q : f( ) f( ), η σχέση στον Ορισμό.. είναι ισοδύναμη με f( ) = f( ) = (..) Επομένως, μία συνάρτηση f : A είναι αμφιμονοσήμαντη όταν για τυχαία, A επαληθεύεται η συνεπαγωγή στην (..). ii) Γεωμετρικά καταλαβαίνουμε ότι μία συνάρτηση είναι αμφιμονοσήμαντη, όταν οποιαδήποτε ευθεία παράλληλη στον ' τέμνει την καμπύλη της συνάρτησης σε ένα μόνο σημείο. Παραδείγματα..5. i) Η συνάρτηση f : με f( ) = + είναι αμφιμονοσήμαντη. Πράγματι, αν θεωρήσουμε δύο τυχαία, για τα οποία ισχύει f( ) = f( ), τότε από τον ορισμό 4

16 της συνάρτησης έχουμε f( ) = f( ) + = + = το οποίο επαληθεύει την (..). ii) Η συνάρτηση f : με f( ) = δεν είναι αμφιμονοσήμαντη, επειδή υπάρχουν, τουλάχιστον δύο διαφορετικά = 5 και = 5 με f(5) = 5 = f( 5) κι επομένως δεν ισχύει ο Ορισμός... iii) Η συνάρτηση, f( ) = =, < είναι αμφιμονοσήμαντη. Πράγματι, αν, με f( ) = f( ), τότε από τον ορισμό της f έχουμε = =, το οποίο επαληθεύει την (..). Αν, < με f( ) = f( ), τότε από τον ορισμό της f έχουμε = =, το οποίο επαληθεύει την (..). Τέλος, αν και <, (άρα, ) είναι φανερό ότι f( ) f( ), το οποίο επαληθεύει τη σχέση στον Ορισμό... Επομένως, σε κάθε μία από τις παραπάνω περιπτώσεις, αποδεικνύεται ότι σε διαφορετικά αντιστοιχούν διαφορετικές εικόνες f( ). Ορισμός..6. Μία συνάρτηση f : A B ονομάζεται επί (surjective) του Β, όταν το σύνολο τιμών της ταυτίζεται με το σύνολο Β, δηλαδή, όταν ισχύει f ( A) = B. Ισοδύναμα, μία συνάρτηση f : A B είναι επί του Β, όταν κάθε στοιχείο του συνόλου Β είναι εικόνα ενός τουλάχιστον στοιχείου από το σύνολο Α, δηλαδή, όταν για κάθε y B υπάρχει A, τέτοιο ώστε f( ) = y. Παραδείγματα..7. i) Η συνάρτηση f : [, +) με f( ) = είναι επί του συνόλου B = [, ) αριθμός είναι εικόνα μέσω της f του, δηλαδή, f ( ) = [, +). +, αφού κάθε θετικός Ενώ, αν ο ίδιος τύπος της συνάρτησης f( ) = δίνονταν ως f :, τότε αυτή δεν είναι επί του. Πράγματι, ένας οποιοσδήποτε αρνητικός αριθμός, για παράδειγμα ο y = δεν αποτελεί εικόνα κανενός πραγματικού αριθμού μέσω της f( ) =, επομένως στη περίπτωση αυτή f ( ) και η f δεν είναι επί. ii) Η συνάρτηση f : με f ( ) = + b είναι επί του. y b y b Πράγματι, για κάθε y υπάρχει =, τέτοιο ώστε f( ) = f = y. Έτσι, f ( ) = και η συνάρτηση είναι επί του. Ορισμός..8. Μία συνάρτηση f : A B, η οποία είναι αμφιμονοσήμαντη και επί του Β ονομάζεται ένα προς ένα. Στην περίπτωση που η συνάρτηση είναι ένα προς ένα γράφουμε ότι η f είναι - (oe-to-oe). 5

17 Παραδείγματα..9. i) Η συνάρτηση f : με f( ) = + είναι - (βλέπε, Παράδειγμα..5 (i) και Παράδειγμα..7 (ii)). Γενικότερα, κάθε γραμμική συνάρτηση f ( ) = + b είναι -. ii) Έστω η συνάρτηση f :, όπου το σύνολο των ακεραίων αριθμών, το σύνολο των φυσικών αριθμών, και για m η συνάρτηση ορίζεται, αν m = f( m) = m, αν m> m +, αν m < Η συνάρτηση f είναι επί του συνόλου, δηλαδή, f ( ) =, επειδή για κάθε έχουμε: αν =, υπάρχει έτσι ώστε f( ) = =, αν = +, υπάρχει έτσι ώστε f( ) = + =. Επειδή η f είναι γραμμική, σύμφωνα με το (i) η f είναι αμφιμονοσήμαντη συνάρτηση, επομένως είναι μία - συνάρτηση. iii) Αν μία συνάρτηση f : A B είναι αμφιμονοσήμαντη, τότε η συνάρτηση ( ) f : A f A είναι μία - συνάρτηση. Στο Παράδειγμα... (i) η αντιστοιχία 5,,, ορίζει μία συνάρτηση f, που είναι μία αμφιμονοσήμαντη συνάρτηση με f ( A ) = { 5,,}. Συνεπώς, η συνάρτηση είναι -. f :{,,} {,5,} Οι συναρτήσεις μεταξύ δύο συνόλων Α και Β, όταν είναι είτε αμφιμονοσήμαντες είτε επί μας δίνουν τη δυνατότητα να «μετρήσουμε» ποιο από τα δύο σύνολα έχει περισσότερα στοιχεία. Το πλήθος στοιχείων ενός συνόλου Α λέγεται πληθικός αριθμός του Α και συμβολίζεται με A. Όταν μία συνάρτηση f : A B είναι -, τότε τα σύνολα Α και Β ονομάζονται ισοπληθή και σημειώνεται A = B. Στο Παράδειγμα..9 (ii) τα σύνολα των ακέραιων και φυσικών αριθμών είναι ισοπληθή, δηλαδή =, εφόσον υπάρχει μία - συνάρτηση μεταξύ τους. Κάθε σύνολο Α το οποίο είναι ισοπληθές με το σύνολο των φυσικών αριθμών λέγεται αριθμήσιμο. Από το Παράδειγμα..9 (iii), όταν f : A B A = f A, επομένως, είναι αμφιμονοσήμαντη, τότε ( ) A = f ( A) B. Ενώ, όταν η συνάρτηση f : A B είναι επί του B, τότε A B, εφόσον κάθε στοιχείο του Β είναι η εικόνα τουλάχιστον ενός στοιχείου από το σύνολο Α. Ορισμός... Για δύο στοιχεία α, b (για παράδειγμα, διατεταγμένο ζεύγος ( b, ), δηλαδή, ( b, ) {, { b, }} =. b ) ορίζουμε το σύνολο {,{, }} b ως το Δηλαδή, το διατεταγμένο ζεύγος ( b, ) είναι ένα ζεύγος στοιχείων α, b, όπου έχουμε καθορίσει (διατάξει) ποιο στοιχείο θα γραφεί πρώτο και ποιο θα γραφεί δεύτερο. Προφανώς, το διατεταγμένο ζεύγος ( b, ) είναι διαφορετικό από το ( b, ), επειδή τα σύνολα, { b, } και b, { b, } είναι διαφορετικά μεταξύ τους, (εκτός αν = b). { } { } 6

18 Ορισμός... Έστω Α και Β είναι δύο μη κενά σύνολα. Το σύνολο όλων των διατεταγμένων ζευγών ( b, ) με A και b B ονομάζεται καρτεσιανό γινόμενο των συνόλων Α και Β και συμβολίζεται με A B. Δηλαδή, A B= b, : A και b B. {( ) } Παράδειγμα... Έστω A= { bc,, }, {, } A B {(,), (,), ( b,), ( b,), ( c,), ( c,) } B =. Το καρτεσιανό γινόμενο A B είναι =. Ενώ, το καρτεσιανό γινόμενο B A είναι B A= {(, ), (, b), (, c), (, ), (, b), (, c) }. Εδώ παρατηρήστε ότι, B A A B, δηλαδή, δεν ισχύει η αντιμεταθετική ιδιότητα στο καρτεσιανό γινόμενο κι επομένως, στο καρτεσιανό γινόμενο παίζει καθοριστικό ρόλο ποιο σύνολο γράφεται πρώτο και ποιο δεύτερο. Επίσης, μπορούμε να δημιουργήσουμε το καρτεσιανό γινόμενο A A για κάθε μη κενό σύνολο Α. Έτσι, στο παραπάνω παράδειγμα ορίζονται τα ακόλουθα καρτεσιανά γινόμενα A A= {(, ), ( b, ), ( b, ), ( c, ), ( c, ), ( bb, ), ( bc, ), ( cb, ), ( cc, )}, B B= {(,), (,), (,), (,)}. Επιπλέον, αν A = m και B =, τότε A B = m, (βλέπε, Παράδειγμα..), εφόσον τόσοι είναι και οι τρόποι να συνδυαστούν τα m-στοιχεία του Α με τα -στοιχεία του Β. Ορισμός... Έστω Α και Β δύο υποσύνολα του και η συνάρτηση f : A B. Το σύνολο Gf = {(, f( ) ) : A} A B ονομάζεται γράφημα ή γραφική παράσταση της f. Η γραφική παράσταση G της f είναι το σύνολο των σημείων M( y, ) ( f, ( ) ) f = πάνω στο επίπεδο y, το οποίο ορίζεται από ένα ορθοκανονικό σύστημα συντεταγμένων. Δηλαδή, το γράφημα της f είναι το σύνολο σημείων M( y, ) του επιπέδου συναποτελούν μία καμπύλη γραμμή επί του επιπέδου. G f y που ικανοποιούν την εξίσωση y = f( ) και Παραδείγματα..4. i) Η γραφική παράσταση της γραμμικής συνάρτησης f ( ) = + b, b, είναι το σύνολο των σημείων του επιπέδου, που ικανοποιούν την εξίσωση y = + b, τα οποία συναποτελούν μία ευθεία γραμμή ε, (βλέπε, Σχήμα.). Η ευθεία ε b τέμνει τον άξονα ' στο σημείο A, τέμνει τον άξονα y'y στο σημείο B(, b ) Αν M(, y ) και M(, y ) δύο τυχαία σημεία επί της ε, τότε ισχύει y y =. Ο αριθμός α λέγεται κλίση (slope) ή συντελεστής διεύθυνσης της ευθείας ε και ταυτίζεται με τον τριγωνομετρικό αριθμό της εφαπτομένης t( ω ), όπου ω είναι η γωνία που σχηματίζει η ευθεία ε με τον άξονα ' κατά τη θετική φορά γραφής (δηλαδή, την αντίθετη της κίνησης των δεικτών του ρολογιού). 7

19 Αν =, τότε έχουμε τη σταθερή συνάρτηση f( ) = b, της οποίας η γραφική παράσταση είναι μία ευθεία παράλληλη προς τον άξονα ', με εξίσωση y = b, η οποία τέμνει τον άξονα y'y στο σημείο (, b ). Σχήμα.: H ευθεία ε είναι η γραφική παράσταση της f ( ) b. ii) Έστω bc,,, με. Η γραφική παράσταση της συνάρτησης f ( ) = + b + c, για κάθε, είναι μία παραβολή, (βλέπε, Σχήμα. -.). Η παραβολή τέμνει τον άξονα y'y στο σημείο A(, c ). Αν υπάρχουν κοινά σημεία της παραβολής με τον άξονα ' εξαρτάται από το πρόσημο της διακρίνουσας = b 4c. b Αν >, τότε η παραβολή τέμνει τον άξονα ' στα σημεία X, και b + X,. b Αν =, τότε η παραβολή εφάπτεται στον άξονα ' στο σημείο X,. Αν <, η παραβολή δεν τέμνει τον άξονα '. b Η κορυφή της καμπύλης βρίσκεται στο σημείο C, 4. Η κυρτότητα της παραβολής εξαρτάται από το πρόσημο του. Όταν, η παραβολή στρέφει τα κοίλα προς τα πάνω (κυρτή), (βλέπε, Σχήμα.), ενώ όταν, η παραβολή στρέφει τα κοίλα προς τα κάτω (κοίλη), (βλέπε, Σχήμα.). Η καμπυλότητα της παραβολής εξαρτάται από το πρόσημο και το μέτρο του. Για και με το μέτρο του να αυξάνει, οι γραφικές παραστάσεις των παραβολών f( ) =, f ( 4 = παρουσιάζονται στο Σχήμα., (για το σχεδιασμό βλέπε fuctio prbol). Για 8

20 και με το μέτρο του να αυξάνει, οι γραφικές παραστάσεις των παραβολών g ( ) g ( ) = παρουσιάζονται στο Σχήμα.. = και g( ) =, Σχήμα.: Οι γραφικές παραστάσεις των συναρτήσεων f( ) =, f ( ) ( ) = 4 = και f 9

21 Σχήμα.: Οι γραφικές παραστάσεις των συναρτήσεων g( ) =, g ( ) = και g ( ) =. iii) Έστω πραγματικός αριθμός με. Στο Σχήμα.4 αναπαριστάνεται η γραφική παράσταση της συνάρτησης f ( ) =, για θετικές και αρνητικές τιμές του και. Στο Σχήμα.4(α) παρουσιάζεται η γραφική παράσταση της συνάρτησης Σχήμα.4(b) η γραφική παράσταση της f( ) =, ( f( ) < ). =, ( > ), όταν [,], και στο (α) : για > (b) για < Σχήμα.4: H γραφική παράσταση της συνάρτησης f ( ) =.

22 iv) Έστω πραγματικός αριθμός με. Στο Σχήμα.5 αναπαριστάνεται η γραφική παράσταση της ρητής συνάρτησης f( ) =, για θετικές και αρνητικές τιμές του και {}, (βλέπε, Παράδειγμα.. (vi)). Η γραφική παράσταση αποτελείται από τους δύο κλάδους ισοσκελούς υπερβολής και εξαρτάται από το 4. Στο Σχήμα.5(α) παρουσιάζεται η γραφική παράσταση της συνάρτησης f( ) =, ( > ), όταν 4 [ 5,5], ενώ στο Σχήμα.5(b) η γραφική παράσταση της f( ) =, ( < ). (α) : για > (b) για < Σχήμα.5: H γραφική παράσταση της συνάρτησης f( ) =.

23 .. Πράξεις μεταξύ συναρτήσεων. Σύνθετη και αντίστροφη συνάρτηση Στην ενότητα αυτή θα ορίσουμε τις πράξεις άθροισμα, διαφορά, γινόμενο, πηλίκο και σύνθεση μεταξύ συναρτήσεων, με τη βοήθεια των οποίων είτε παράγουμε νέες συναρτήσεις, είτε «αναλύουμε» πολύπλοκες συναρτήσεις σε επιμέρους απλούστερες συναρτήσεις. Αρχικά διατυπώνουμε τον ορισμό ισότητας ανάμεσα σε δύο συναρτήσεις. Ορισμός... Δύο συναρτήσεις f : A και g: B είναι ίσες αν i) A= B, και ii) f( ) = g ( ), για κάθε A. Συμβολίζουμε την ισότητα με f = g. Ορισμός... Έστω δύο συναρτήσεις f : A C και g: B C με B A. Η συνάρτηση f ονομάζεται επέκταση (etesio) της g στο Α, ή η συνάρτηση g ονομάζεται περιορισμός (restrictio) της f στο B, αν ισχύει f( ) g ( ), για κάθε B και συμβολίζεται f g. B Ορισμός... Έστω δύο συναρτήσεις f : A και g: B με A B. i) Η συνάρτηση h: A B με τύπο h ( ) = f( ) + g ( ), για κάθε A B ονομάζεται άθροισμα των συναρτήσεων f και g και συμβολίζεται με f + g. ii) Η συνάρτηση h: A B με τύπο h ( ) = f( ) g ( ), για κάθε A B ονομάζεται γινόμενο των συναρτήσεων f και g και συμβολίζεται με f g. iii) Αν c, η συνάρτηση h: A με τύπο h ( ) = cf( ), για κάθε A ονομάζεται γινόμενο του αριθμού c επί τη συνάρτηση f και συμβολίζεται c f. iv) Έστω C { B: g ( ) } = και D= A B C. Η συνάρτηση h: D, με τύπο κάθε D ονομάζεται πηλίκο των συναρτήσεων f και g και συμβολίζεται με f g. f( ) h ( ) =, για g ( ) Παραδείγματα..4. i) Έστω οι συναρτήσεις f( ) =,, και g ( ) =, [, + ). Τότε ( f + g) ( ) = + = +, για κάθε [, + ). ii) Έστω οι συναρτήσεις f( ) =,, και g ( ) =,. Τότε f g ( ) = ( )( ) = 5+ 6, για κάθε. ( ) iii) Έστω οι συναρτήσεις f( ) =, [, + ), και g ( ) = 5,. Τότε f ( ) =, για κάθε [, 5) ( 5, + ). g 5 iv) Έστω f( ) = + + 4,. Τότε f ( ) = , για κάθε. ( )

24 Παρατηρήσεις..5. i) Οι πράξεις μεταξύ δύο συναρτήσεων f : A και g: B έχουν νόημα μόνο όταν A B, ώστε να μπορούν να ορίζονται και οι δύο σε ένα κοινό σύνολο, το A B (ή σε ένα υποσύνολο της τομής). ii) Όπως ορίζεται το άθροισμα και το γινόμενο μεταξύ δύο συναρτήσεων, με ανάλογο τρόπο ορίζεται και το άθροισμα και το γινόμενο ανάμεσα σε -συναρτήσεις. Έστω fi : Ai, Ai, i=,,, ως εξής: αν A= A A A, τότε ( f + f + + f) ( ) = f( ) + f( ) + + f( ), για κάθε A, ( f f f) ( ) = f( ) f( ) f( ), για κάθε A. iii) Μία ρητή συνάρτηση είναι πηλίκο δύο πολυωνυμικών συναρτήσεων (βλέπε, Παραδείγματα.. (v) και (vi) ). Ορισμός..6. Έστω οι συναρτήσεις f : A B και g: C D, όπου f( A) C. Η συνάρτηση h: A D, για την οποία ισχύει : f g h A f( A) D, έτσι ώστε f g f( ) = y z = g( y) = g( f( ) ) = h( ), ονομάζεται σύνθετη συνάρτηση ή σύνθεση (compositio) των συναρτήσεων f και g και συμβολίζεται με g f, (βλέπε, Σχήμα.6). Η σύνθεση δύο συναρτήσεων αποτελεί μία πράξη μεταξύ τους. Η συνθήκη f( A) C δείχνει αναγκαία προκειμένου να γίνει το «πέρασμα» από το σύνολο f( A ) στο σύνολο D μέσω της συνάρτησης g, (βλέπε, Παραδείγματα..7 (i) και (ii) ). Όπως διαπιστώνουμε από το Παράδειγμα..7 (iii), όταν ισχύει η γενικότερη συνθήκη f( A) C, μπορεί να οριστεί η σύνθεση g f των συναρτήσεων f και g, αρκεί από την απαίτηση f( A) Cνα καθοριστεί το πεδίο ορισμού της σύνθετης συνάρτησης, το οποίο είναι γενικά υποσύνολο του Α (του πεδίου ορισμού της f ). Σχήμα.6: H σύνθετη συνάρτηση h g f. Τέλος, ιδιαίτερη προσοχή απαιτείται στη σειρά γραφής της σύνθεσης των συναρτήσεων, μία και έχει σημασία ποια συνάρτηση γράφουμε πρώτη και ποια δεύτερη, επειδή η πράξη της σύνθεσης συναρτήσεων δεν επαληθεύει την αντιμεταθετική ιδιότητα, όπως επαληθεύεται στο Παράδειγμα..7 (iv). Παραδείγματα..7. D = και οι συναρτήσεις f : A B, με f( ) =, A, και g: C D, με g ( ) = +, C. i) Έστω τα σύνολα A = {,,,4}, B = {,,,, 4,5}, C = {,,,,5, 6} και {,,, 4,5,, 6,7, 4}

25 Επειδή { } { } { } f( A) C =,,,,,,,5,6 =,,, C, δημιουργούμε τη σύνθετη συνάρτηση g f : A D με τύπο ii) Έστω οι συναρτήσεις f : ( ) ( ) g f ( ) = g f( ) = g ( ) = ( ) + = +, A., με f ( ) = +, και g :[, +), με g ( ) =. Επειδή f( ), είναι φανερό ότι f ( ) = [, +), από όπου προκύπτει f ( ) [, + ) = [, +). Η σύνθεση g f των συναρτήσεων f και g ορίζεται για κάθε, ως ακολούθως ( ) f g f g f g ( ) = + ( ) = ( + ) = +. Συνεπώς, η σύνθετη συνάρτηση g f : έχει τύπο ( g f ) ( ) = +. iii) Έστω οι συναρτήσεις f :, με f( ) =, και g :[, +), με g ( ) =. Επειδή f ( ) =, είναι φανερό ότι η προϋπόθεση του εγκλεισμού του συνόλου τιμών της f στο πεδίο ορισμού της g, δεν επαληθεύεται. Επειδή f( A) [, +), για να οριστεί η σύνθεση g f, πρέπει να υπολογιστεί κατάλληλο πεδίο ορισμού Α της f, ώστε f( A) [, + ). Από την τελευταία απαίτηση έχουμε f( ) =, ή ισοδύναμα. Επομένως, η σύνθετη συνάρτηση g f ορίζεται μόνο για [, + ), και όχι στο πεδίο ορισμού της f, οπότε έχουμε f g [, +) [, +). Η σύνθεση g f των συναρτήσεων f και g ορίζεται για κάθε [, +), ως ακολούθως f g f( ) = g( f( )) = g( ) =. Συνεπώς, η σύνθετη συνάρτηση g f :[, +) έχει τύπο ( g f )( ) =. Παρατηρήστε ότι, η απαίτηση ορισμού της σύνθετης συνάρτησης g f καθόρισε το πεδίο ορισμού της να είναι το [, +). iv) Έστω οι πολυωνυμικές συναρτήσεις f( ) =, και g ( ) = +. Θα ορίσουμε (αν αυτό είναι δυνατό) τις σύνθετες συναρτήσεις g f, f g και f f. Επειδή f : και g :, (ως πολυωνυμικές) για τη σύνθετη συνάρτηση g f έχουμε ( ) ( ) f g f( ) = g( f( )) = g( ) = + = 4 +. Δηλαδή, g f : g f ( ) = 4 +., με ( ) Για τη σύνθετη συνάρτηση f g έχουμε ( ) g f g f g f ( ) = + ( ( )) = ( + ) = + = + 6. Δηλαδή, f g: f g ( ) = + 6., με ( ) Από τους παραπάνω τύπους των σύνθετων συναρτήσεων g f, f g είναι φανερό ότι ο Ορισμός.. δεν επαληθεύεται, συνεπώς g f f g, από όπου συμπεραίνεται ότι δεν ισχύει η αντιμεταθετική ιδιότητα στη σύνθεση συναρτήσεων. Για τη σύνθεση συνάρτηση f f, όπου f :, έχουμε ( ) ( ) ( ) ( ) f f ( ) = f f( ) = f = = 4,., v) Θεωρώντας τις συναρτήσεις f( ) = + και g ( ) =, > μπορεί να οριστεί η σύνθεση g f, για την οποία έχουμε:, επειδή f :, και g :, 4

26 ( ) ( ) f ( ), f( ) +, f( ) ( g f )( ) = g( f( ) ) = = f( ), f( ) > +, f( ) > Έτσι για τη σύνθετη συνάρτηση g f μπορούμε να γράψουμε: 4 + 4, , g f ( ) = =. 6+, + > 6+, > ( ) Ορισμός..8. Έστω f : A B μία - συνάρτηση. Η συνάρτηση g: B g( y) A, για την οποία ισχύει =, για κάθε y B f( ) = y, (..) ονομάζεται αντίστροφη συνάρτηση (iverse fuctio) της f και συμβολίζεται με f. Παρατηρήσεις..9. i) Θεωρώντας τις συναρτήσεις f, g του Ορισμού..8 έχουμε να σημειώσουμε ότι η g: B A είναι πράγματι συνάρτηση, γιατί, αν g( y) = και g( y) =, τότε λόγω του ορισμού της f( ) = y = f( ) και εφόσον η f είναι αμφιμονοσήμαντη (ως -) προκύπτει =. Η συνθήκη της «επί» συνάρτησης για την f είναι αναγκαία, προκειμένου η «νέα» συνάρτηση g (η αντίστροφη της f ) να ορίζεται σε ολόκληρο το σύνολο B κι όχι σε ένα υποσύνολο του. Είναι, λοιπόν, αναγκαία και ικανή η συνθήκη «η f : A B είναι μία - συνάρτηση» για την αντιστροφή της f. ii) Θεωρώντας τις συναρτήσεις f : A B και g: B A του Ορισμού..8. ορίζονται οι σύνθετες συναρτήσεις g f : A A και f g: B B. Πράγματι, ( g f )( ) = g( f( ) ) = g( y) = = IA( ), για κάθε A, ( f g) ( y) = f ( g( y) ) = f( ) = y = IB ( y), για κάθε y B, όπου IA, I B οι ταυτοτικές συναρτήσεις στα σύνολα Α και Β, αντίστοιχα. Έτσι, g f = I A και f g = IB, απ όπου η g αποκτά το όνομά της και το συμβολισμό της (η είναι το ανάλογο του αντίστροφου ενός μη μηδενικού πραγματικού αριθμού). iii) Έστω οι - συναρτήσεις f : A B και g: B C. Τότε ισχύουν οι ιδιότητες: ( f ) f και ( g f) f g Παραδείγματα... i) Η συνάρτηση f :, με f( ) = + είναι -, (βλέπε, Παράδειγμα..9 (i) ). Επομένως, σύμφωνα με τον Ορισμό..8. υπάρχει η αντίστροφη της f. Ακολουθώντας τη μεθοδολογία υπολογισμού του τύπου της αντίστροφης συνάρτησης (βλέπε, Παρατήρηση..9. (v) ) έχουμε y y f( ). Αλλάζοντας στον παραπάνω τύπο τα με y συμπεραίνουμε ότι η αντίστροφη συνάρτηση έχει τύπο f ( ) =. Στο Σχήμα.7 αναπαριστάνονται οι γραφικές παραστάσεις της συνάρτησης f (μπλε χρώμα) της f (κόκκινο) και η διχοτόμος-ευθεία y = (μαύρο). f 5

27 Σχήμα.7: Γραφικές παραστάσεις γραμμικής συνάρτησης, αντιστρόφου της και της διχοτόμου της πρώτης γωνίας του επιπέδου. ii) Έστω A {,, }, B {,5,} = = και η συνάρτηση f : A B, όπου f( ) = 5, f() = και f () =. Από τον ορισμό της η f είναι μία - συνάρτηση και η αντίστροφή της είναι η συνάρτηση όπου f ( ) f ( ), 5 = = και ( ) iii) Η συνάρτηση f :[, +) [, + ) με με τύπο f ( ) =, [, + ). { } { } f :,5,,,, f =. f( ) = είναι - συνάρτηση (γιατί;). Η αντίστροφή της ορίζεται iv) Η συνάρτηση f : [, +), με f( ) = δεν είναι αντιστρέψιμη, επειδή δεν είναι -. Παρατηρήστε ότι η συνάρτηση είναι επί (βλέπε, Παράδειγμα..7 (i) ) ωστόσο δεν είναι αμφιμονοσήμαντη, επειδή για δύο διαφορετικά = και = είναι f() = = f( ), επομένως δεν ισχύει ο Ορισμός... Παρατήρηση... i) Αν ( y, ) είναι οι συντεταγμένες του τυχαίου σημείου της γραφικής παράστασης μίας - συνάρτησης f, τότε είναι φανερό ότι y, = f, ( ) = f ( y), y, δηλαδή, οι γραφικές παραστάσεις της f και ( ) ( ) ( ) f ταυτίζονται, όταν για την μεταβλητή επί του άξονα y'y. Ενώ, αν ο τύπος της αντίστροφης συνάρτησης f f θεωρούμε ανεξάρτητη δίνεται θεωρώντας ως ανεξάρτητη μεταβλητή επί του άξονα ', οι γραφικές παραστάσεις των f και είναι συμμετρικές ως προς την ευθεία y =, διχοτόμο του πρώτου και τρίτου τεταρτημορίου στο ορθοκανονικό σύστημα αξόνων του επιπέδου y, (βλέπε, Σχήμα.7). ii) Στη συνέχεια, παρουσιάζεται η μεθοδολογία που ακολουθούμε κατά τον υπολογισμό της αντίστροφης συνάρτησης, όταν δίνεται μία συνάρτηση f : A : f f 6

28 Εξετάζουμε αν η συνάρτηση f είναι αμφιμονοσήμαντη, (βλέπε, Ορισμός...). Υπολογίζουμε το σύνολο τιμών της f, το οποίο πρέπει να είναι το πεδίο ορισμού της αντίστροφης συνάρτησης f. Υπολογίζουμε τον τύπο της f, ο οποίος προκύπτει από την επίλυση ως προς της y f( ) και αλλάζοντας στον τύπο που παράγεται τα με y. όταν η συνάρτηση δίνεται με κλάδους f( ), αν A f( ) f( ), αν A Εξετάζουμε αν οι συναρτήσεις f: A και f : A είναι αμφιμονοσήμαντες, αν τουλάχιστον μία δεν είναι αμφιμονοσήμαντη, η συνάρτηση f δεν είναι αμφιμονοσήμαντη, συνεπώς η συνάρτηση f δεν αντιστρέφεται, επειδή μία από τις προϋποθέσεις του Ορισμός... δεν ισχύει. Βρίσκουμε τα σύνολα τιμών των συναρτήσεων των κλάδων, f( A ) και f( A ). Αν για τα σύνολα f( A), f( A ) ισχύει f( A) f( A), τότε η συνάρτηση f δεν αντιστρέφεται, επειδή δεν είναι αμφιμονοσήμαντη. Αν f( A) f( A), τότε η αντίστροφη συνάρτηση f υπάρχει και ο τύπος της δίνεται f ( ), αν f( A) f ( ) f ( ), αν f( A) όπου οι τύποι των συναρτήσεων f, f υπολογίζονται, όπως αναφέρθηκε προηγούμενα, στην περίπτωση της μίας συνάρτησης. Ορισμός... Έστω μία συνάρτηση f : A. Η συνάρτηση ονομάζεται i) άνω φραγμένη (upper bouded), όταν υπάρχει πραγματικός αριθμός M, τέτοιος ώστε για κάθε A να ισχύει f( ) M. Ο αριθμός M ονομάζεται άνω φράγμα (upper boud) της f. Το ελάχιστο από τα άνω φράγματα της συνάρτησης ονομάζεται άνω πέρας (supremum) και συμβολίζεται sup f. A ii) κάτω φραγμένη (lower bouded), όταν υπάρχει πραγματικός αριθμός m, τέτοιος ώστε για κάθε A να ισχύει f( ) m. Ο αριθμός m ονομάζεται κάτω φράγμα (lower boud) της f. Το μέγιστο από τα κάτω φράγματα της συνάρτησης ονομάζεται κάτω πέρας (ifimum) και συμβολίζεται if f. A iii) φραγμένη (bouded), όταν η συνάρτηση f είναι άνω και κάτω φραγμένη. iv) απόλυτα φραγμένη (bsolute bouded), όταν υπάρχει θετικός πραγματικός αριθμός, τέτοιος ώστε για κάθε A να ισχύει f( ). Ο αριθμός ονομάζεται απόλυτο φράγμα της f. Παρατήρηση... Εφαρμόζοντας τη γνωστή ιδιότητα της απόλυτης τιμής, από την οποία ισχύει για κάθε και θ, θ θ θ, μπορούμε να αποδείξουμε ότι μία απόλυτα φραγμένη συνάρτηση είναι και φραγμένη, επειδή το απόλυτο φράγμα είναι ένα άνω φράγμα και ο αντίθετος πραγματικός αριθμός του απολύτου φράγματος αποτελεί ένα κάτω φράγμα για τη συνάρτηση. Για παράδειγμα, η συνάρτηση f( ) = si( ) είναι απόλυτα φραγμένη από το, το οποίο είναι ισοδύναμο με το γεγονός ότι η f έχει άνω φράγμα το και κάτω φράγμα το, (βλέπε, Παρατήρηση.5.. (iii)). Συνεπώς, όταν χρειάζεται να «εντοπίσουμε» κάποιο φράγμα (άνω ή κάτω) μίας συνάρτησης, αρχικά μπορούμε να αναζητήσουμε την ύπαρξη ενός απόλυτου φράγματος αυτής. 7

29 Αν δεν υπάρχει απόλυτο φράγμα, αυτό σημαίνει ότι η συνάρτηση δεν είναι άνω και κάτω φραγμένη από τον ίδιο (κατά απόλυτη τιμή) πραγματικό αριθμό, το οποίο δεν είναι ισοδύναμο με το ότι η συνάρτηση δεν είναι φραγμένη. Η συνάρτηση αυτή μπορεί να είναι άνω φραγμένη ή κάτω φραγμένη ή να μην είναι φραγμένη. Για παράδειγμα, η συνάρτηση f( ) είναι κάτω φραγμένη από το μηδέν ή οποιονδήποτε αρνητικό αριθμό, (βλέπε, Παράδειγμα..7. (i) ) ωστόσο δεν είναι άνω φραγμένη, επομένως δεν μπορεί να είναι απόλυτα φραγμένη. H συνάρτηση f( ) δεν είναι φραγμένη (ούτε απόλυτα, ούτε απλά), συνεπώς δεν υπάρχει κάποιο άνω ή κάτω φράγμα της (βλέπε, Παράδειγμα..4. (iii) ). Πρόταση..4. Έστω οι πραγματικοί αριθμοί k, k και οι απόλυτα φραγμένες συναρτήσεις f : A και g: A. Η συνάρτηση kf + kg : A είναι απόλυτα φραγμένη. Απόδειξη: Αρχικά, το άθροισμα των συναρτήσεων ορίζεται στο Α, επειδή οι f, g έχουν κοινό πεδίο ορισμού, (βλέπε, Ορισμός... (i) ). Επειδή οι συναρτήσεις είναι απόλυτα φραγμένες, σύμφωνα με τον Ορισμό.. (iv), υπάρχουν, τέτοιοι ώστε f( ) και g ( ), για κάθε A. Επομένως, για κάθε A μπορούμε να γράψουμε: ( kf+ kg)( ) = kf( ) + kg ( ) kf( ) + kg ( ) = k f( ) + k g ( ) k+ k (..) Προφανώς k + k είναι ένας θετικός πραγματικός αριθμός, επομένως η (..) επαληθεύει τον Ορισμό... (iv). Ορισμός..5. Έστω μία συνάρτηση f : A. Η συνάρτηση ονομάζεται i) άρτια (eve fuctio), όταν το πεδίο ορισμού της είναι συμμετρικό ως προς την αρχή των αξόνων, δηλαδή, για κάθε A συνεπάγεται A, και ισχύει f( ) f( ). (..) Γεωμετρικά, η γραφική παράσταση κάθε άρτιας συνάρτησης είναι συμμετρική ως προς τον άξονα y'y. ii) περιττή (odd fuctio), όταν το πεδίο ορισμού της είναι συμμετρικό ως προς την αρχή των αξόνων, δηλαδή, για κάθε A συνεπάγεται A, και ισχύει f( ) f( ). (..4) Γεωμετρικά, η γραφική παράσταση κάθε περιττής συνάρτησης έχει κέντρο συμμετρίας την αρχή των αξόνων. Παραδείγματα..6. i) Οι συναρτήσεις f :, με f( ) και g : [, ), όπου g ( ), είναι άρτιες, επειδή τα πεδία ορισμού τους είναι συμμετρικά ως προς την αρχή των αξόνων και επιπλέον ισχύει η (..). Επιπλέον, ο y'y είναι άξονας συμμετρίας των γραφικών παραστάσεών τους, (βλέπε, τη G f στο Σχήμα.). Εδώ χρειάζεται να σημειώσουμε ότι μία άρτια συνάρτηση δεν είναι αμφιμονοσήμαντη, (γιατί;). 8

30 ii) Για οποιονδήποτε πραγματικό αριθμό με, οι συναρτήσεις f :, με f ( ) και g : {} {}, όπου g ( ), είναι περιττές, επειδή τα πεδία ορισμού τους είναι συμμετρικά ως προς την αρχή των αξόνων και επιπλέον ισχύει η (..4). Επιπλέον, η αρχή των αξόνων αποτελεί κέντρο συμμετρίας των γραφικών παραστάσεών τους, (βλέπε, Σχήμα.4 και Σχήμα.5, αντίστοιχα). Ορισμός..7. Έστω μία συνάρτηση f : A, για την οποία υπάρχει ένας μη μηδενικός αριθμός T τέτοιος ώστε για κάθε A συνεπάγεται T A, και ισχύει f T f( ), (..5) ονομάζεται περιοδική συνάρτηση (periodic fuctio) και ο μικρότερος θετικός αριθμός T, για τον οποίο επαληθεύεται η ισότητα στην (..5), λέγεται περίοδος της f. Γεωμετρικά, η γραφική παράσταση μίας περιοδικής συνάρτησης με περίοδο T αποτελείται από ένα τμήμα καμπύλης, το οποίο επαναλαμβάνεται ανά T. Παράδειγμα..8. Οι τριγωνομετρικές συναρτήσεις si( ), cos( ) είναι περιοδικές με περίοδο T π, και οι συναρτήσεις t( ), cot( ) είναι περιοδικές με περίοδο T π, (βλέπε, Παρατήρηση.5. (ii), Παρατήρηση.5.6 (ii), Παρατήρηση.5. (ii), Παρατήρηση.5. (ii), αντίστοιχα). 9

31 .. Μονοτονία συνάρτησης. Ακρότατα συνάρτησης Στην ενότητα αυτή θα ορίσουμε την έννοια της μονοτονίας μίας συνάρτησης, έννοια που παρουσιάζει ιδιαίτερο ενδιαφέρον στις εφαρμογές, επειδή οι συναρτήσεις που εμφανίζονται σε αυτές είναι μονότονες σε όλο το πεδίο ορισμού τους ή «κατά τμήματα» μονότονες. Η δε έννοια της μονοτονίας μπορεί να δώσει πληροφορίες για τις «ακριανές τιμές» της συνάρτησης, για το σύνολο τιμών της, κ.α. Ορισμός... Έστω μία συνάρτηση f : A και B A. Η συνάρτηση ονομάζεται i) αύξουσα (icresig) στο B, όταν για κάθε, B με < ισχύει f( ) f( ). Συμβολικά : f. Σχήμα.8 (α) ii) γνήσια αύξουσα (strictly icresig) στο B, όταν για κάθε, B με < ισχύει f( ) < f( ). iii) φθίνουσα (decresig) στο B, όταν για κάθε, B με < ισχύει f( ) f( ). Συμβολικά : f iv) γνήσια φθίνουσα (strictly decresig) στο B, όταν για κάθε, B με < ισχύει f( ) > f( ). Σχήμα.8 (b) v) (γνήσια) μονότονη στο B, όταν η συνάρτηση είναι (γνήσια) αύξουσα ή (γνήσια) φθίνουσα στο B. Σχήμα.8: Μονοτονία συναρτήσεων (α) : Η συνάρτηση είναι αύξουσα (b) Η συνάρτηση είναι γνήσια φθίνουσα. Παρατηρήσεις... i) Έστω μία συνάρτηση f : A και B A. Αν η συνάρτηση είναι ταυτόχρονα αύξουσα και φθίνουσα στο B, τότε αυτή είναι μία σταθερή συνάρτηση στο B. ii) Έστω μία συνάρτηση f : A, και, A με. Πολλές φορές, προκειμένου να προσδιοριστεί το είδος της μονοτονίας της f αντί για την εφαρμογή του Ορισμού..., χρησιμοποιείται ο λόγος μεταβολής της f στα, A, ο οποίος ορίζεται να είναι f( ) f( ) f( ) f( ) λ ή ισοδύναμα λ. (..) Επειδή στην (...) θεωρήσαμε και σε όλες τις περιπτώσεις του Ορισμού... υποθέτουμε < >, η αντιστοιχία του λόγου μεταβολής με τον Ορισμό... είναι : Αν λ, η f είναι αύξουσα

32 Αν λ, η f είναι γνήσια αύξουσα Αν λ, η f είναι φθίνουσα Αν λ, η f είναι γνήσια φθίνουσα Αν λ, η f είναι σταθερή iii) Χρησιμοποιώντας τον Ορισμό... είναι άμεσο να αποδειχθεί ότι μία συνάρτηση f : A γνήσια μονότονη στο κλειστό διάστημα A [ b, ] είναι φραγμένη. iv) Έστω μία συνάρτηση f : A, που είναι γνήσια αύξουσα σε δύο υποσύνολα A, A του πεδίου ορισμού A. Δεν είναι αναγκαίο η συνάρτηση f να είναι γνήσια αύξουσα στο A A. Ο ίδιος ισχυρισμός αληθεύει αντικαθιστώντας την έννοια γνήσια αύξουσα με γνήσια φθίνουσα, ή με αύξουσα, ή με φθίνουσα. Παραδείγματα... i) Έστω η γραμμική συνάρτηση f : με f ( ) b. Αν η συνάρτηση είναι γνήσια αύξουσα και αν η συνάρτηση είναι γνήσια φθίνουσα. Πράγματι, θεωρώντας και, με <, ο Ορισμός... (ii) επαληθεύεται, επειδή f ( ) = + b < + b = f ( ), συνεπώς η συνάρτηση είναι γνήσια αύξουσα. Θεωρώντας και, με <, ο Ορισμός... (iv) επαληθεύεται, επειδή f ( ) = + b > + b = f ( ), συνεπώς η συνάρτηση είναι γνήσια φθίνουσα. Επίσης, επειδή η κλίση της ευθείας (βλέπε, Παραδείγματα..4. (i) ) ταυτίζεται με τον λόγο στην Παρατήρηση.. (ii), η απόδειξη προκύπτει άμεσα από το πρόσημο του λόγου στην (..). ii) Έστω η συνάρτηση f : A, με f( ) 4 4. Η συνάρτηση f είναι γνήσια αύξουσα στο [, ) και γνήσια φθίνουσα στο (,]. Θεωρώντας, με, αρχικά υπολογίζεται ο λόγος μεταβολής της f από την (..), που είναι ίσος με f( ) f( ) 4 4 ( 44) λ 4 4 ( )( ) 4( ) 4. Αν, [, ), τότε λ4. Επομένως, σύμφωνα με την Παρατήρηση.. (ii), η συνάρτηση f είναι γνήσια αύξουσα στο [, ). Αν, (,], τότε λ4. Επομένως, σύμφωνα με την Παρατήρηση.. (ii), η συνάρτηση f είναι γνήσια φθίνουσα στο (,]. Τα παραπάνω αποτελέσματα αποδεικνύονται χρησιμοποιώντας τη θεωρία του Κεφαλαίου 6. Πρόταση..4. Έστω μία συνάρτηση f : A γνήσια μονότονη στο B A. Τότε η συνάρτηση f είναι αμφιμονοσήμαντη. Απόδειξη: Υποθέτουμε ότι η συνάρτηση είναι γνήσια αύξουσα στο B, οπότε σύμφωνα με τον Ορισμό... (ii) για κάθε, B με < (δηλαδή, ) ισχύει f( ) < f( ), δηλαδή, f( ) f( ). Άρα, τα δύο τυχαία, B με, επαληθεύουν τη συνεπαγωγή στον Ορισμός..., συνεπώς η συνάρτηση είναι αμφιμονοσήμαντη. Αν η συνάρτηση θεωρηθεί γνήσια φθίνουσα η απόδειξη είναι ανάλογη.

33 Εφαρμογή..5. Έστω η συνάρτηση f : με f ( ), και. i) Αν, η συνάρτηση f είναι γνήσια αύξουσα. Αν, η συνάρτηση f είναι γνήσια φθίνουσα. ii) Η συνάρτηση f είναι αμφιμονοσήμαντη στο. Απόδειξη: i) Θεωρώντας, με, αρχικά υπολογίζεται ο λόγος μεταβολής της f από την (..), που είναι ίσος με f ( ) f ( ) λ (..) ( )( ) ( ). Επειδή για κάθε,, η διακρίνουσα του τριωνύμου είναι αρνητική,, συνεπώς στην (..) το πρόσημο του λ είναι αυτό του. Αν, τότε λ. Επομένως, σύμφωνα με την Παρατήρηση.. (ii), η συνάρτηση f είναι γνήσια αύξουσα στο, (βλέπε, τη γραφική παράσταση στο Σχήμα.4(α)). Αν, τότε λ. Επομένως, σύμφωνα με την Παρατήρηση.. (ii), η συνάρτηση f είναι γνήσια φθίνουσα στο, (βλέπε, τη γραφική παράσταση στο Σχήμα.4(b)). ii) Όπως προκύπτει από το (i), η συνάρτηση f ( ) είναι γνήσια μονότονη στο, συνεπώς το συμπέρασμα είναι άμεσο αποτέλεσμα της Πρότασης..4. Η αντίστροφη συνάρτηση μίας συνάρτησης έχει το ίδιο είδος μονοτονίας με τη συνάρτηση, ιδιότητα που διατυπώνεται στην ακόλουθη πρόταση. Πρόταση..6. Έστω μία συνάρτηση f : A γνήσια αύξουσα (αντίστοιχα, φθίνουσα). Η αντίστροφη συνάρτηση της f είναι γνήσια αύξουσα (αντίστοιχα, φθίνουσα). f Απόδειξη: Πράγματι, ας υποθέσουμε ότι η f είναι γνήσια αύξουσα, δηλαδή, για κάθε, A, με ισχύει f( ) f( ), (βλέπε, Ορισμός..). Αν η f δεν είναι γνήσια αύξουσα, τότε υπάρχουν y, y f( A), με y y, για τις εικόνες των οποίων ισχύει f ( y) f ( y). (..) Επειδή f ( y), f ( y) A και η f είναι γνήσια αύξουσα, από την (..) έχουμε f f y f f y y y, το οποίο είναι αδύνατο, επειδή υποθέσαμε y y. Άρα, η f είναι γνήσια αύξουσα. Ανάλογα αποδεικνύεται και η περίπτωση κατά την οποία η f είναι γνήσια φθίνουσα. Ορισμός..7. Έστω μία συνάρτηση f : A. i) Αν υπάρχει A τέτοιο ώστε για κάθε A να ισχύει f( ) f( ), τότε η συνάρτηση παρουσιάζει στο ολικό μέγιστο (globl mimum). To ονομάζεται σημείο (ή θέση) ολικού μεγίστου και f( ) μέγιστη τιμή της f. ii) Αν υπάρχει A τέτοιο ώστε για κάθε A να ισχύει f( ) f( ), τότε η συνάρτηση παρουσιάζει στο ολικό ελάχιστο (globl miimum). To ονομάζεται σημείο (ή θέση) ολικού