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

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

 

 

Οι πραγματικοί αριθμοί διακρίνονται σε [[ρητός αριθμός|ρητούς αριθμούς]] (που μπορούν να εκφραστούν ως κλάσματα με ακέραιο αριθμητή και παρονομαστή) και σε [[άρρητος αριθμός|άρρητους αριθμούς]] (που δεν μπορούν να εκφραστούν επακριβώς ως κλάσματα). Οι ρητοί μαζί με τους άρρητους αποτελούν ένα συνεχές.

Κάθε "φυσικό [[μέγεθος]]" που μπορεί να μετρηθεί εκφράζεται συνήθως με έναν πραγματικό αριθμό. Το σύνολο των πραγματικών αριθμών συμβολίζεται με <math>\R</math>.

 

Ονομάζουμε σύνολο των πραγματικών αριθμών ένα σύνολο <math>\R</math> το οποίο ικανοποιά τα παρακάτω τρία αξιώματα:

** Για όλα τα x, y, και z στο <math>\R</math>, ισχύει x + (y + z) = (x + y) + z and x(yz) = (xy)z.

** Για όλα τα x και y στο <math>\R</math>, x + y = y + x και xy = yx.

** Για όλα τα x στο <math>\R</math>, υπάρχει ένα στοιχείο 0, τέτοιο ώστε x + 0 = x = 0 + x και ένα στοιχείο 1 <math>\neq</math> 0, τέτοιο ώστε x1 = x = 1x.

** Για όλα τα x στο <math>\R</math>, υπάρχει ένα στοιχείο −x στο R, τέτοιο ώστε x + (−x) = 0 = (-x) + x.

 

** ισχύει ακριβώς μια από τις: x<y, x=y, x>y (τριχοτομία)

** αν x<y τότε x+z<y+z

** αν x>0 και y>0 τότε xy>0.

 

:Ισοδύναμα μπορούμε να ορίσουμε την πληρότητα με τον ορισμό στους μετρικούς χώρους, δηλαδή κάθε [[ακολουθία Κωσύ]] συγλίνει.

 

 

Για την κατασκευή των πραγματικών αριθμών χρησιμοποιούμε ως αφετερία το σύνολο των ρητών αριθμών <math>\Q</math>.

Ζητούμε ένα σύνολο που είναι διατεταγμένο σώμα όπως το <math>\Q</math> και επιπλέον ικανοποιεί το αξίωμα της πληρότητας.

 

 

 

Το σύνολο των πραγματικών αριθμών μπορεί να παρασταθεί σε μια [[ευθεία]], της οποίας κάθε [[σημείο]] αντιστοιχεί σε έναν μοναδικό πραγματικό αριθμό. Στην ευθεία αυτή, τα σημεία είναι διατεταγμένα έτσι ώστε κινούμενοι από αριστερά προς τα δεξιά η τιμή των πραγματικών αριθμών να αυξάνεται. Έτσι, επιλέγοντας ένα σημείο x, κάθε σημείο αριστερά από αυτό αντιστοιχεί σε πραγματικό αριθμό μικρότερο από αυτόν που αντιστοιχεί στο x, ενώ κάθε σημείο δεξιά απ'αυτό αντιστοιχεί σε μεγαλύτερο πραγματικό αριθμό. Αν x=0, τότε αριστερά βρίσκονται όλα τα σημεία που αντιστοιχούν στους αρνητικούς πραγματικούς αριθμούς, ενώ δεξιά βρίσκονται τα σημεία που αντιστοιχούν στους θετικούς.

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

 

 

 

Το σύνολο των πραγματικών αριθμών είναι '''υπεραριθμήσιμο'''. Σε αντίθεση δηλαδή με τους [[φυσικός αριθμός|φυσικούς αριθμούς]] δεν μπορούμε να απαριθμίσουμε όλους τους πραγματικούς.

Ο [[πληθάριθμος]] του <math>\R</math> συμβολίζεται με τον ''πληθάριθμο του συνεχούς'' <math>\mathfrak c</math>.

 

 

Το σύνολο των πραγματικών αριθμών μαζί με την [[ευκλείδεια μετρική]] αποτελούν [[μετρικός χώρος|μετρικό χώρο]].

Η συνήθης [[τοπολογία]] προκύπτει από ανοιχτα διαστήματα της μορφής <math>B_r(p)=\{x\in\R:|x-p|<r\}</math>.

[[sv:Reella tal]]

[[th:จำนวนจริง]]

[[uk:Дійсні числа]]

[[uz:Haqiqiy sonlar]]