Λογάριθμος: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας
μ Αναστροφή της επεξεργασίας από τον 84.205.244.133 (συνεισφ.), επιστροφή στην τελευταία εκδοχή υπό [[Χρ...
Γραμμή 205:
=== Παράγωγος και αντιπαράγωγος ===
[[Αρχείο:Logarithm derivative.svg|right|thumb|220|Η γραφική παράσταση του φυσικού λογαρίθμου (πράσινο) και η εφαπτομένη του στο {{nowrap|''x'' {{=}} 1.5}} (μαύρο)]]
Οι αναλυτικές ιδιότητες των συναρτήσεων κληροδοτούνται στις αντιστροφέςαντίστροφές τους.<ref name=LangIII.3 /> Έτσι, καθώς η {{nowrap begin}}''f''(''x'') = ''b''<sup>''x''</sup>{{nowrap end}} είναι συνεχής και [[παραγωγίσιμη συνάρτηση]], έτσι είναι και η log<sub>''b''</sub>(''y''). Χοντρικά, μία συνεχής συνάρτηση είναι παραγωγίσιμη αν η γραφική της παράσταση δεν έχει «γωνίες». Επιπροσθέτως, καθώς η [[παράγωγος]] της ''f''(''x'') ισούται με ln(''b'')''b''<sup>''x''</sup> σύμφωνα με τις ιδιότητες της [[εκθετική συνάρτηση|εκθετικής συνάρτησης]], σύμφωνα με τον [[Παράγωγος#Κανόνες παραγώγισης|κανόνα παραγώγισης σύνθετης συνάρτησης]] η παράγωγος του log<sub>''b''</sub>(''x'') δίνεται από τον τύπο<ref name=LangIV.2>{{harvnb|Lang|1997 |nb=yes|loc=ενότητα IV.2}}</ref><ref>{{Citation|title=Wolfram Alpha|author=Wolfram Research|accessdate=15/03/2011|url=http://www.wolframalpha.com/input/?i=d/dx(Log(b,x))}}</ref>
: <math>\frac{d}{dx} \log_b(x) = \frac{1}{x\ln(b)}. </math>
Τουτέστιν, η [[Κλίση συνάρτησης|κλίση]] της [[εφαπτομένη]]ς που εφάπτεται στη γραφική παράσταση του λογαρίθμου με βάση ''b'' στο σημείο {{nowrap|(''x'', log<sub>''b''</sub>(''x''))}} ισούται με {{nowrap|1/(''x'' ln(''b''))}}. Πιο συγκεκριμένα, η παράγωγος του ln(''x'') είναι 1/''x'', το οποίο υποδηλώνει ότι η [[αντιπαράγωγος]] του 1/''x'' είναι {{nowrap|ln(''x'') + C}}. Η παράγωγος με γενικευμένο όρισμα ''f''(''x'') είναι
Γραμμή 313:
Οι λογάριθμοι εμφανίζονται και στην [[θεωρία πιθανοτήτων]]: σύμφωνα με τον [[νόμος των μεγάλων αριθμών|νόμο των μεγάλων αριθμών]], για ένα [[δίκαιο νόμισμα]] , καθώς ο αριθμός που ρίχνεται το νόμισμα τείνει στο άπειρο, η παρατηρούμενη αναλογία των «κεφαλών» τείνει στο μισό. Οι αυξομειώσεις αυτής της αναλογίας γύρω από το μισό περιγράφονται από τον [[νόμο του επαναλαμβανόμενου λογάριθμου]].<ref>{{Citation | last1=Breiman | first1=Leo | title=Probability | publisher=Society for Industrial and Applied Mathematics | location=Philadelphia | series=Classics in applied mathematics | isbn=978-0-89871-296-4 | year=1992}}, ενότητα 12.9</ref>
 
Οι λογάριθμοι εμφανίζονται επίσης στις [[λογαριθμοκανονική κατανομή|λογαριθμοκανονικές κατανομές]]. Όταν ο λογάριθμος μίας [[τυχαία μεταβλητή|τυχαίας μεταβλητής]] έχει [[κανονική κατανομή]], τότε λέγεται ότι η μεταβλητική έχει λογαριθμοκανονική κατανομή.<ref>{{Citation|last1=Aitchison|first1=J.|last2=Brown|first2=J. A. C.|title=The lognormal distribution|publisher=Cambridge University Press|isbn=978-0-521-04011-2 |oclc=301100935|year=1969}}</ref> Οι λογαριθμοκανονικές κατανομές εμφανίζονται σε πολλά πεδία, οπουδήποτε η μεταβλητή σχηματίζεται ως γινόμενο πολλών ανεξάρτητων θετικών τυχαίων μεταβλητών, όπως για παράδειγμα στη μελέτημελέδη της τύρβης.<ref>{{Citation | title = An introduction to turbulent flow | author = Jean Mathieu and Julian Scott | publisher = Cambridge University Press | year = 2000 | isbn = 9780521775380 | page = 50 | url = http://books.google.com/books?id=nVA53NEAx64C&pg=PA50 }}</ref>
 
Οι λογάριθμοι χρησιμοποιούνται για την [[εκτίμηση μέγιστης πιθανοφάνειας]] παραμετρικών [[στατιστικό μοντέλο|στατιστικών μοντέλων]]. Για ένα τέτοιο μοντέλο, η [[συνάρτηση πιθανοφάνειας]] (''likelihood function'') εξαρτάται από τουλάχιστον μία [[παραμετρικό μοντέλο|παράμετρο]] που χρειάζεται να εκτιμηθεί. Ένα μέγιστο για τη συνάρτηση πιθανοφάνειας εμφανίζεται στην ίδια παράμετρο-τιμή όπως και στο μέγιστο του λογάριθμου της πιθανοφάνειας (λογαριθμο-πιθανοφάνεια), επειδή ο λογάριθμος είναι αύξουσα συνάρτηση.Η λογαριθμο-πιθανοφάνεια είναι ευκολότερο να μεγιστοποιηθεί, ειδικότερα για τις πολλαπλασιασμένες πιθανοφάνεις [[ανεξαρτησία (πιθανότητα)|ανεξάρτητων]] τυχαίων μεταβλητών.<ref>{{Citation|last1=Rose|first1=Colin|last2=Smith|first2=Murray D.|title=Mathematical statistics with Mathematica|publisher=Springer-Verlag|location=Berlin, New York|series=Springer texts in statistics|isbn=978-0-387-95234-5|year=2002}}, ενότητα 11.3</ref>
Γραμμή 321:
=== Υπολογιστική πολυπλοκότητα ===
 
Η [[ανάλυση αλγορίθμων]] είναι κλάδος της [[επιστήμη υπολογιστών|επιστήμης υπολογιστών]] που μελετά την απόδοση [[αλγόριθμος|αλγορίθμων]].<ref name=Wegener>{{Citation|last1=Wegener|first1=Ingo| title=Complexity theory: exploring the limits of efficient algorithms|publisher=Springer-Verlag|location=Berlin, New York|isbn=978-3-540-21045-0|year=2005}}, pages 1-2</ref> Οι λογάριθμοι είναι πολύτιμοι για την περιγραφήπεριγραφεί αλγόριθμων οι οποίοι [[Διαίρει και βασίλευε (υπολογιστές)|χωρίζουν ένα πρόβλημα]] σε μικρότερα, και έπειτα συνδυάζονται οι λύσει των υποπροβλημάτων.<ref>{{Citation|last1=Harel|first1=David|last2=Feldman|first2=Yishai A.|title=Algorithmics: the spirit of computing|location=New York|publisher=Addison-Wesley|isbn=978-0-321-11784-7|year=2004}}, σ. 143</ref>
 
Για παράδειγμα, για την εύρεση ενός αριθμού σε ένα ταξινομημένο κατάλογο, ο [[Δυαδική αναζήτηση|αλγόριθμος δυαδικής αναζήτησης]] ελέγχει τη μεσαία καταχώρηση και προχωρά με τον μισό κατάλογο πριν ή μετά το μεσαίο αν ο αριθμός δεν έχει ακόμα βρεθεί. Αυτός ο αλγόριθμος απαιτεί, κατά μέσο όρο, log<sub>2</sub>(''N'') συγκρίσεις, όπου ''N'' είναι το μήκος του καταλόγου.<ref>{{citation | last = Knuth | first = Donald | authorlink = Donald Knuth | title = The Art of Computer Programming | publisher = Addison-Wesley |location=Reading, Mass. | year= 1998| isbn = 978-0-201-89685-5 |ref=nb}}, ενότητα 6.2.1, σσ. 409–426</ref> Παρομοίως, ο αλγόριθμος [[Ταξινόμηση με συγχώνευση|merge sort]] ταξινομεί ένα αταξινόμητο κατάλογο χωρίζοντάς τον στη μέση και ταξινομώντας πρώτα τα μισά πριν συνδυάσει τα αποτελέσματα. Οι αλγόριθμοι merge sort τυπικά απαιτούν χρόνο [[συμβολισμός O|περίπου ανάλογο του]] {{nowrap|''N'' · log(''N'')}}.<ref>{{Harvnb|Knuth|1998|loc=ενότητα 5.2.4, σσ. 158–168|nb=yes}}</ref> Η βάση του λογάριθμου δεν καθορίζεται εδώ επειδή το αποτέλεσμα αλλάζει μόνο κατά ένα σταθερό παράγοντα όταν χρησιμοποιείται άλλη βάση. Ένας σταθερός παράγοντας, συνήθως δεν λαμβάνεται υπόψη στην ανάλυση αλγορίθμων υπό το τυπικό μοντέλο ομοιόμορφου κόστους.<ref name=Wegener20>{{Citation|last1=Wegener|first1=Ingo| title=Complexity theory: exploring the limits of efficient algorithms|publisher=Springer-Verlag|location=Berlin, New York|isbn=978-3-540-21045-0|year=2005|page=20}}</ref>