Μετάβαση στο περιεχόμενο
Topos Uranos

Περίληψη

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

Μαθησιακοί στόχοι

  1. Να ορίζει τους ρητούς ως κλάσματα ακεραίων που ταυτίζονται μέσω της ισότητας των χιαστί γινομένων τους και να αποδεικνύει ότι το άθροισμα και το γινόμενο είναι καλά ορισμένα.
  2. Να αποδεικνύει την ύπαρξη και τη μοναδικότητα του ανάγωγου κλάσματος και να το χρησιμοποιεί για να απλοποιεί και για να κρίνει αν δύο κλάσματα παριστάνουν τον ίδιο αριθμό.
  3. Να λογαριάζει με κλάσματα αποτελεσματικά: να τα φέρνει σε κοινό παρονομαστή με το ελάχιστο κοινό πολλαπλάσιο, να απλοποιεί πριν πολλαπλασιάσει, να υπολογίζει σύνθετα κλάσματα και να αναγνωρίζει τα συνήθη λάθη.
  4. Να συγκρίνει ρητούς και να εφαρμόζει σε αποδείξεις τις ιδιότητες της διάταξης, την πυκνότητα και την αρχιμήδεια ιδιότητα.

Τα κλάσματα και η ισοδυναμία τους

Στο μάθημα για τα σύνολα αριθμών οι ρητοί παρουσιάστηκαν ως τα κλάσματα ακεραίων με μη μηδενικό παρονομαστή, και επισημάνθηκε ότι το κλάσμα δεν μπορεί να οριστεί ως διαίρεση, γιατί η διαίρεση είναι ακριβώς αυτό που οι ακέραιοι δεν επιτρέπουν. Το μάθημα αυτό πραγματοποιεί την κατασκευή που εκεί αναγγέλθηκε. Αφετηρία του είναι οι ακέραιοι του μαθήματος για τους ακέραιους αριθμούς, με το άθροισμα, το γινόμενο, τη διάταξή τους και μια ιδιότητα που θα χρησιμοποιείται διαρκώς: το γινόμενο δύο μη μηδενικών ακεραίων δεν είναι μηδέν. Από αυτήν έπεται ότι ένας μη μηδενικός παράγοντας μπορεί να διαγραφεί, γιατί αν ab=acab = ac με a≠0a \neq 0, τότε a(b−c)=0a(b - c) = 0, και επομένως b−c=0b - c = 0.

Ορισμός (κλάσμα). Κλάσμα είναι ένα διατεταγμένο ζεύγος (p,q)(p, q) ακεραίων με q≠0q \neq 0, που γράφεται pq\frac{p}{q}· ο ακέραιος pp είναι ο αριθμητής του και ο qq ο παρονομαστής του. Λέμε ότι τα pq\frac{p}{q} και rs\frac{r}{s} είναι ισοδύναμα κλάσματα όταν τα χιαστί γινόμενά τους συμπίπτουν, δηλαδή όταν ps=qrps = qr.

Έτσι, τα 23\frac{2}{3} και 46\frac{4}{6} είναι ισοδύναμα, γιατί 2⋅6=3⋅42 \cdot 6 = 3 \cdot 4, ενώ τα 23\frac{2}{3} και 34\frac{3}{4} δεν είναι, γιατί 2⋅4≠3⋅32 \cdot 4 \neq 3 \cdot 3. Ο ορισμός δεν είναι αυθαίρετος. Αν τα κλάσματα πρόκειται να είναι πηλίκα, η ισότητα pq=rs\frac{p}{q} = \frac{r}{s} πρέπει να είναι ισοδύναμη, αν πολλαπλασιάσουμε και τα δύο μέλη με qsqs, με την ισότητα ps=qrps = qr· ο ορισμός παίρνει ως αφετηρία αυτή τη συνέπεια, που περιέχει μόνο γινόμενα ακεραίων και, επομένως, έχει νόημα πριν υπάρξει η διαίρεση. Ωστόσο, για να μπορεί η ισοδυναμία να επέχει θέση ισότητας, πρέπει να συμπεριφέρεται όπως αυτή: πρέπει να είναι σχέση ισοδυναμίας, με την έννοια του μαθήματος για τα σύνολα, τις σχέσεις και τις συναρτήσεις.

ΘεώρημαΗ ισοδυναμία των κλασμάτων

Η ισοδυναμία των κλασμάτων είναι ανακλαστική, συμμετρική και μεταβατική: κάθε κλάσμα είναι ισοδύναμο με τον εαυτό του· αν το pq\frac{p}{q} είναι ισοδύναμο με το rs\frac{r}{s}, τότε και το rs\frac{r}{s} είναι ισοδύναμο με το pq\frac{p}{q}· και αν το pq\frac{p}{q} είναι ισοδύναμο με το rs\frac{r}{s} και το rs\frac{r}{s} με το tu\frac{t}{u}, τότε το pq\frac{p}{q} είναι ισοδύναμο με το tu\frac{t}{u}. Οι δύο πρώτες ιδιότητες έπονται από την αντιμεταθετική ιδιότητα του πολλαπλασιασμού· η τρίτη απαιτεί τη διαγραφή ενός παράγοντα και είναι η μόνη στην οποία υπεισέρχεται η συνθήκη ότι οι παρονομαστές δεν είναι μηδέν. Το σχήμα σχεδιάζει το pq\frac{p}{q} ως το σημείο με συντεταγμένες (q,p)(q, p): τα ισοδύναμα κλάσματα εμφανίζονται στην ίδια ευθεία με την αρχή των αξόνων.

Απόδειξη

  1. p⋅q=q⋅p\resaltar{p \cdot q} = \resaltar{q \cdot p}

    Ανακλαστική: λόγω της αντιμεταθετικής ιδιότητας του πολλαπλασιασμού, τα χιαστί γινόμενα ενός κλάσματος με τον εαυτό του συμπίπτουν.

  2. ps=qr→rq=sp\resaltar{ps = qr} \rightarrow \resaltar{rq = sp}

    Συμμετρική: αν ps=qrps = qr, η αντιμεταθετική ιδιότητα του πολλαπλασιασμού και η συμμετρία της ισότητας δίνουν την ίδια συνθήκη με εναλλαγμένους τους ρόλους των κλασμάτων.

  3. ps=qr,ru=st\dato{h1}{ps = qr}, \quad \dato{h2}{ru = st}

    Μεταβατική: ξεκινάμε από τις δύο παραδοχές και θέλουμε να φτάσουμε στο pu=qtpu = qt. Στο σχήμα, τα 23\frac{2}{3}, 46\frac{4}{6} και 69\frac{6}{9}.

  4. (ps)u=q(ru)=q(st)(ps)u = q(\resaltar{ru}) = q(\resaltar{st})

    Πολλαπλασιάζουμε την πρώτη ισότητα με uu και θέτουμε στη θέση του ruru το stst, σύμφωνα με τη δεύτερη.

  5. s(pu)=s(qt)→s(pu−qt)=0\resaltar{s(pu) = s(qt)} \rightarrow \resaltar{s(pu - qt) = 0}

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

  6. pu−qt=0→pu=qt\resaltar{pu - qt = 0} \rightarrow \resaltar{pu = qt}

    Αφού s≠0s \neq 0 και το γινόμενο δύο μη μηδενικών ακεραίων δεν είναι μηδέν, ο άλλος παράγοντας είναι μηδέν: τα ακραία κλάσματα είναι ισοδύναμα.

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

Ορισμός (ρητός αριθμός). Ρητός αριθμός είναι η κλάση ισοδυναμίας ενός κλάσματος, δηλαδή το σύνολο όλων των κλασμάτων που είναι ισοδύναμα με αυτό, και οποιοδήποτε από αυτά τον παριστάνει· με τον συμβολισμό του μαθήματος για τα σύνολα, τις σχέσεις και τις συναρτήσεις, ο ρητός που παριστάνεται από το pq\frac{p}{q} είναι η κλάση C(pq)C\left( \frac{p}{q} \right), και εδώ γράφεται απλώς pq\frac{p}{q}. Το σύνολο των ρητών αριθμών, που είναι το σύνολο πηλίκο των κλασμάτων ως προς την ισοδυναμία τους, συμβολίζεται με Q\mathbb{Q}. Γράφουμε pq=rs\frac{p}{q} = \frac{r}{s} όταν και τα δύο κλάσματα παριστάνουν τον ίδιο ρητό, δηλαδή όταν είναι ισοδύναμα, όπως βεβαιώνει το λήμμα για τις κλάσεις ισοδυναμίας που αποδείχθηκε εκεί.
pq=rs↔ps=qr\frac{p}{q} = \frac{r}{s} \leftrightarrow ps = qr

Κάθε ακέραιος pp ταυτίζεται με τον ρητό που παριστάνεται από το p1\frac{p}{1}. Η ταύτιση δεν συγχέει διαφορετικούς ακεραίους, γιατί η p1=r1\frac{p}{1} = \frac{r}{1} είναι ισοδύναμη με την p⋅1=1⋅rp \cdot 1 = 1 \cdot r, δηλαδή με την p=rp = r· με αυτή την έννοια, Z⊆Q\mathbb{Z} \subseteq \mathbb{Q}. Πιο κάτω θα επαληθευτεί ότι οι πράξεις των ρητών, όταν εφαρμόζονται στους ακεραίους, δίνουν τις γνωστές. Ο πρακτικός κανόνας που χρησιμοποιείται περισσότερο για να αλλάξουμε κλάσμα χωρίς να αλλάξουμε αριθμό είναι ο ακόλουθος.

ΛήμμαΕπέκταση και απλοποίηση

Για όλους τους ακεραίους pp, qq και kk, με q≠0q \neq 0 και k≠0k \neq 0, ισχύει kpkq=pq\frac{kp}{kq} = \frac{p}{q}. Ειδικότερα, −p−q=pq\frac{-p}{-q} = \frac{p}{q}, ώστε κάθε ρητός να παριστάνεται από ένα κλάσμα με φυσικό παρονομαστή. Αν διαβαστεί από αριστερά προς τα δεξιά, η ισότητα απλοποιεί έναν κοινό παράγοντα· αν διαβαστεί από δεξιά προς τα αριστερά, επεκτείνει το κλάσμα. Το σχήμα δείχνει το νόημά της: αν κάθε μέρος της μονάδας διαιρεθεί σε kk ίσα μέρη, το ίδιο τμήμα περιγράφεται με kk φορές περισσότερα μέρη.

Απόδειξη

  1. pq=23\frac{p}{q} = \frac{2}{3}

    Στο σχήμα, το 23\frac{2}{3} διαιρεί τη μονάδα σε q=3q = 3 ίσα μέρη και παίρνει p=2p = 2 από αυτά.

  2. kpkq=2⋅22⋅3=46\frac{kp}{kq} = \frac{\resaltar{2 \cdot 2}}{\resaltar{2 \cdot 3}} = \resaltar{\frac{4}{6}}

    Αν κάθε μέρος διαιρεθεί σε k=2k = 2 ίσα μέρη, η μονάδα διαιρείται σε kqkq μέρη, και το τμήμα που πήραμε περιέχει kpkp από αυτά.

  3. 4⋅24⋅3=812\frac{\resaltar{4 \cdot 2}}{\resaltar{4 \cdot 3}} = \resaltar{\frac{8}{12}}

    Με k=4k = 4, το ίδιο τμήμα περιγράφεται με δώδεκα μέρη.

  4. (kp)⋅q=k(pq)=(kq)⋅p(kp) \cdot q = \resaltar{k(pq)} = \resaltar{(kq) \cdot p}

    Η ισοδυναμία δεν εξαρτάται από το σχέδιο: τα χιαστί γινόμενα συμπίπτουν, λόγω της προσεταιριστικής και της αντιμεταθετικής ιδιότητας του πολλαπλασιασμού. Η συνθήκη k≠0k \neq 0 εξασφαλίζει μόνο ότι το kqkq είναι αποδεκτός παρονομαστής.

  5. −p−q=pq,2−3=−23\frac{-p}{-q} = \frac{p}{q}, \quad \frac{2}{-3} = \frac{\resaltar{-2}}{\resaltar{3}}

    Με k=−1k = -1 προκύπτει η αλλαγή προσήμου και των δύο όρων· αν ο παρονομαστής είναι αρνητικός, η αλλαγή αυτή τον κάνει φυσικό.