ΕΛΑΧΙΣΤΑ ΑΝΩ ΜΕΓΙΣΤΑ ΚΑΤΩ ΦΡΑΓΜΑΤΑ



Σχετικά έγγραφα
1 Οι πραγµατικοί αριθµοί

1 Οι πραγµατικοί αριθµοί

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές»

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή

1 Οι πραγµατικοί αριθµοί

1 Οι πραγµατικοί αριθµοί

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» (ε) Κάθε συγκλίνουσα ακολουθία άρρητων αριθµών συγκλίνει σε άρρητο αριθµό.

1 Ορισµός ακολουθίας πραγµατικών αριθµών

Οι πραγµατικοί αριθµοί

Το σύνολο Z των Ακεραίων : Z = {... 2, 1, 0, 1, 2, 3,... } Να σηµειώσουµε ότι οι φυσικοί αριθµοί είναι και ακέραιοι.

Κεφάλαιο 1. ιατεταγµένοι χώροι. 1.1 Κώνοι και διάταξη

«Έννοια της διάταξης ΟΡΙΣΜΟΣ α > β α β > 0.»

Κεφάλαιο 4. Ευθέα γινόµενα οµάδων. 4.1 Ευθύ εξωτερικό γινόµενο οµάδων. i 1 G 1 G 1 G 2, g 1 (g 1, e 2 ), (4.1.1)

Σημειώσεις Ανάλυσης Ι. Θεωρούμε γνωστούς τους φυσικούς αριθμούς

Γραµµική Αλγεβρα Ι. Ενότητα: ιανυσµατικοί χώροι. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

Εισαγωγή στην Τοπολογία

Infimum. Ορισμός κάτω φράγματος συνόλου A. Ορισμός infimum του συνόλου A. Το σύνολο A R είναι κάτω φραγμένο αν. k R : x A k x.

KΕΦΑΛΑΙΟ 4 AΚΟΛΟΥΘΙΕΣ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ

sup B, τότε υπάρχουν στοιχεία α A και β B µε α < β.

Εισαγωγή στην Τοπολογία

Υπερβατικοί Αριθµοί και Θεώρηµα του Liouville

A. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

ΕΥΚΛΕΙ ΕΙΑ ΙΑΙΡΕΣΗ ΙΑΙΡΕΤΟΤΗΤΑ

4 Συνέχεια συνάρτησης

Εισαγωγή στην Τοπολογία

ΛΟΓΙΣΜΟΣ Ι ΤΜΗΜΑ 1β. 2n + 1 n(n + 1) xn. n=1. 2n + 1 ln(1 x)(1 + x) + x. a n = 2n + 1 n(n + 1) = 1 n + 1. a n+1 x n+1 a n x n.

«Έννοια της διάταξης ΟΡΙΣΜΟΣ α > β α β > 0.»

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4

Αρµονική Ανάλυση. Ενότητα: Μέτρο Lebesgue. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Προτεινοµενες Ασκησεις - Φυλλαδιο 9

n a n = 2. Θεωρούµε τα σύνολα a n = n2 n n 2 + n 1. n a n = a > 0, δείξτε ότι a n > 0 τελικά.

f (x) = l R, τότε f (x 0 ) = l. = lim (0) = lim f(x) = f(x) f(0) = xf (ξ x ). = l. Εστω ε > 0. Αφού lim f (x) = l R, υπάρχει δ > 0

ΑΝΑΛΥΣΗ 1 ΠΕΜΠΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

Ανάλυση Ι και Εφαρµογές

Μέτρο Lebesgue. Κεφάλαιο Εξωτερικό µέτρο Lebesgue

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ: ΠΛΗΡΟΦΟΡΙΚΗ ΘΕ: ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗΝ ΠΛΗΡΟΦΟΡΙΚΉ Ι (ΠΛΗ 12) ΛΥΣΕΙΣ ΕΡΓΑΣΙΑΣ 3

x - 1, x < 1 f(x) = x - x + 3, x

< 1 για κάθε k N, τότε η σειρά a k συγκλίνει. +, τότε η η σειρά a k αποκλίνει.

Προκαταρκτικές Εννοιες: Σύνολα και Αριθµοί

ΣΥΝΑΡΤΗΣΕΙΣ I. ΣΥΝΟΛΑ

Δύο λόγια από τη συγγραφέα

Σχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2

2 Ο ΓΕΛ ΣΤΑΥΡΟΥΠΟΛΗΣ ΣΧΟΛΙΚΟ ΕΤΟΣ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ ΕΠΙΜΕΛΕΙΑ : ΧΑΛΑΤΖΙΑΝ ΠΑΥΛΟΣ

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8

Thanasis Xenos ΕΛΛΗΝΙΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ ΠΑΡΑΡΤΗΜΑ ΗΜΑΘΙΑΣ

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4

ΑΠΑΝΤΗΣΕΙΣ. ΘΕΜΑ 1o. ΘΕΜΑ 2o

Μαθηματικά Γ Γυμνασίου

Κεφάλαιο 1. Εισαγωγικές Εννοιες. 1.1 Σύνολα

Ανοικτά και κλειστά σύνολα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 4

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 2

ΚΕΦΑΛΑΙΟ 8: Εφαρµογή: Το θεώρηµα του Burnside

Α. ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1

Κυρτή Ανάλυση. Ενότητα: Υπερεπίπεδα στήριξης και διαχωριστικά ϑεωρήµατα. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

HY118- ιακριτά Μαθηµατικά. Παράδειγµα άµεσης απόδειξης. Μέθοδοι αποδείξεως για προτάσεις της µορφής εάν-τότε Αποδείξεις

Α. ΣΥΝΟΛΑ-ΥΠΟΣΥΝΟΛΑ-ΙΣΑ ΣΥΝΟΛΑ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 6

Εισαγωγή στην Τοπολογία

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Πραγµατική Ανάλυση ( ) Ασκήσεις - Κεφάλαιο 3

x x = ( x) = 0, = = f x x x = συν x e e = ;

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

KΕΦΑΛΑΙΟ 5 ΣΕΙΡΕΣ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ

ΜΑΘΗΜΑΤΙΚΑ Γ ΤΑΞΗΣ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ 2003

Υπόδειξη. (α) Άµεσο αφού κάθε υποσύνολο µηδενικού συνόλου είναι µετρήσιµο.

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 9

Ευκλείδειοι Χώροι. Ορίζουµε ως R n, όπου n N, το σύνολο όλων διατεταµένων n -άδων πραγµατικών αριθµών ( x

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 9

Εισαγωγή στην Τοπολογία

ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΛΥΣΗΣ Ι ( )

Απλές επεκτάσεις και Αλγεβρικές Θήκες

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 7

Η Ευκλείδεια διαίρεση

= f(x) για κάθε x R.

Κεφάλαιο 0. Μεταθετικοί ακτύλιοι, Ιδεώδη

Εισαγωγή στην Τοπολογία

Σ Υ Ν Α Ρ Τ Η Σ Ε Ι Σ

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 6

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Φυλλαδιο 4. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

Κεφάλαιο 3. Ελεύθερα Πρότυπα. στοιχείων του Μ καλείται βάση του e λ παράγει το Μ, και ii) κάθε m M γράφεται κατά µοναδικό

ΑΡΙΘΜΗΤΙΚΗ ΟΡΙΣΙΜΟΤΗΤΑ

Θεωρια Αριθµων. Θεωρητικα Θεµατα. Ακαδηµαϊκο Ετος ιδασκοντες: Α. Μπεληγιάννης & Σ. Παπαδάκης

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 3

Πρώτα και Μεγιστοτικά Ιδεώδη

Παράρτηµα Α. Στοιχεία θεωρίας µέτρου και ολοκλήρωσης.

ΜΑΘΗΜΑΤΙΚΑ Γ ΤΑΞΗΣ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ 2003

Μαθηματικά. Α' Λυκείου. Μαρίνος Παπαδόπουλος

Σηµειώσεις στις συναρτήσεις

Ερωτήσεις επί των ρητών αριθµών

ΑΝΑΛΥΣΗ 1 ΠΡΩΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

Transcript:

ΕΛΑΧΙΣΤΑ ΑΝΩ ΜΕΓΙΣΤΑ ΚΑΤΩ ΦΡΑΓΜΑΤΑ Κασαπίδης Γεώργιος Μαθηµατικός Στο άρθρο αυτό µελετάµε την πιο χαρακτηριστική ιδιότητα του συνόλου R των πραγµατικών αριθµών. ΟΡΙΣΜΟΣ 1 Ένα σύνολο Α από πραγµατικούς αριθµούς (Α R) λέγεται άνω φραγµένο αν υπάρχει ένας αριθµός χ R ώστε χ α για κάθε α Α Κάθε τέτοιος αριθµός χ λέγεται άνω φράγµα του Α. ΟΡΙΣΜΟΣ 2 Ένα σύνολο Α από πραγµατικούς αριθµούς (Α R) λέγεται κάτω φραγµένο αν υπάρχει χ R ώστε Παραδείγµατα χ α για κάθε α Α Κάθε τέτοιος αριθµός χ λέγεται κάτω φράγµα του Α. 1. Έστω Α={χ: χ 1}. Το Α είναι και άνω και κάτω φραγµένο. Ένα κάτω φράγµα είναι το και ένα άνω φράγµα το 1.

2. Έστω Α={ 1 ν : ν N* }. Το Α είναι άνω και κάτω φραγµένο. Ένα κάτω φράγµα είναι το, ενώ ένα άνω φράγµα είναι το 1 αφού < 1 ν 1 ν N*. 3. Αν Α={χ Q: 2<χ 2 <3}. Ένα κάτω φράγµα του Α είναι το 1 και ένα άνω φράγµα ο αριθµός 5. ΟΡΙΣΜΟΣ 3 Ένας αριθµός χ λέγεται ελάχιστο άνω φράγµα του Α αν (1) είναι άνω φράγµα του Α (2) αν ψ είναι άνω φράγµα του Α τότε χ ψ Αν ένα σύνολο έχει ελάχιστο άνω φράγµα, τότε αυτό είναι µοναδικό, διότι αν χ,ψ είναι ελάχιστα άνω φράγµατα του Α τότε θα έχουµε χ ψ (αφού χ είναι ελάχιστο άνω φράγµα του Α) ψ χ (αφού ψ είναι ελάχιστο άνω φράγµα του Α) άρα χ=ψ. Το ελάχιστο άνω φράγµα του Α συµβολίζεται supa (προφέρεται «σουπα») εχόµαστε το εξής βασικό αξίωµα, το οποίο µάλιστα αποτελεί την ειδοποιό διαφορά των Q και R.

Αξίωµα πληρότητας του R Αν Α είναι ένα µη κενό και άνω φραγµένο υποσύνολο του συνόλου των πραγµατικών αριθµών, τότε το Α έχει ελάχιστο άνω φράγµα στο R. Ορισµός 4 Ένας αριθµός χ λέγεται µέγιστο κάτω φράγµα του συνόλου Α (Α R) αν ικανοποιούνται οι παρακάτω συνθήκες (1) ο χ είναι κάτω φράγµα του Α (2) αν ψ είναι κάτω φράγµα τότε χ ψ Το µέγιστο κάτω φράγµα όταν υπάρχει είναι µοναδικό και το συµβολίζουµε infa. Θεώρηµα 1 Αν Α είναι µη κενό και κάτω φραγµένο υποσύνολο του R, τότε το Α έχει µέγιστο κάτω φράγµα στο R. Απόδειξη Έστω Α={-χ: χ Α}. Αν κ είναι κάτω φράγµα του Α τότε κ α α Α άρα κ -α α Α δηλαδή ο κ είναι άνω φράγµα του Α. Έτσι Α και Α άνω φραγµένο. Άρα υπάρχει το sup(-a). Θα έχουµε λοιπόν sup(-a) α α Α και αν ψ α α Α τότε sup(-a) ψ.

Άρα sup(-a) α και αν ω α α Α θα είναι ω -α sup(-a) -ω -sup(-a) ω. ηλαδή το sup(-a) είναι µέγιστο κάτω φράγµα του Α. Θεώρηµα 2 Ο αριθµός κ είναι το ελάχιστο άνω φράγµα (SupA) του συνόλου Α αν και µόνο αν ισχύει i) ο κ είναι άνω φράγµα του Α, δηλαδή κ α α Α ii) ε>, α Α ώστε α>κ-ε Ο αριθµός λ είναι το µέγιστο κάτω φράγµα του Α (infa) αν και µόνο αν ισχύει i) ο λ είναι κάτω φράγµα του Α, δηλαδή λ α α Α ii) ε α Α ώστε α<λ+ε. απόδειξη Αν κ είναι το sup(a) τότε προφανώς η (i) ισχύει ενώ αν υποθέσουµε ότι δεν ισχύει η (ii) θα έχουµε: ε>, α Α α κ-ε. Όµως τότε ο κ-ε είναι άνω φράγµα του Α και κ-ε<κ άτοπο. Αντίστροφα έστω ότι ισχύουν οι (i),(ii). Από την (i) προκύπτει ότι ο κ είναι άνω φράγµα του Α. Αν το κ δεν ήταν το ελάχιστο άνω φράγµα θα υπήρχε κ <κ ώστε κ α α Α και κ ελάχιστο άνω

φράγµα του Α. Είναι κ-κ > κι έτσι από την (ii) για ε=κ-κ θα έχουµε: α Α : α>κ-(κ-κ ) α>κ άτοπο. Παρόµοια είναι η απόδειξη και για το infa. Άσκηση 1: Έστω Α,Β φραγµένα σύνολα και έστω ότι µε Α+Β συµβολίζουµε το σύνολο χ+ψ µε χ Α και ψ Β. Να δειχθεί ότι sup(a+b)=sup(a)+sup(b) Απόδειξη Αν χ Α+Β τότε χ=χ 1 +χ 2 supa+supb (χ 1 Α,χ 2 Β) δηλαδή χ Α+Β χ supa+supb sup(a+b) supa+supb (1) Λόγω του θεωρήµατος (1) θα είναι ε> χ 1 Α: χ 1 >supa- 2 ε και επίσης χ 2 Β: χ 2 >supb- 2 ε. Άρα ε> z=χ 1 +χ 2 >supa+supb-ε κι έτσι sup(a+b)=supa+supb. Το σύνολο των φυσικών αριθµών δεν είναι άνω φραγµένο. Αυτή είναι µια δήλωση που φαίνεται τετριµµένη αλλά ωστόσο παίζει έναν πολύ σηµαντικό ρόλο σε πολλές αποδείξεις θεωρηµάτων. Πάντως η απόδειξή του είναι αδύνατη δίχως την αποδοχή του αξιώµατος πληρότητας. Θεώρηµα 2: Το σύνολο N δεν είναι άνω φραγµένο. Απόδειξη

Έστω ότι το N είναι άνω φραγµένο. Αφού N, θα υπάρχει το supn και θα ισχύει supn ν ν N Άρα supn ν+1 ν N αφού ν+1 N Τότε όµως supn-1 ν ν N άτοπο διότι supn-1<supn. Θεώρηµα 3: (αξίωµα Αρχιµήδη-Ευδόξου) Για κάθε ε> υπάρχει φυσικός αριθµός ν µε 1 ε ν < απόδειξη Υποθέτουµε το αντίθετο. Τότε υπάρχει ε> ώστε 1 ε ν N άρα ν ν 1 ν N, δηλαδή το N είναι άνω φραγµένο, άτοπο. ε Θεώρηµα 4: Αν α,β R και α>, τότε υπάρχει ν Ν: ν α>β Απόδειξη Αν για κάθε ν N ίσχυε ν α β τότε ν α ν N άτοπο. β Θεώρηµα 5: Αν α,β R και α<β τότε υπάρχει ρητός ρ µε α<ρ<β Απόδειξη 1 Έστω α>. Αφού β>α β-α> θα υπάρχει ν N: <β-α (1) ν 1 Επίσης υπάρχει µ N : µ ν >α

1 Θεωρούµε το σύνολο Α={µ: µ N και µ ν >α} Προφανώς Α και Α N άρα το Α έχει κάποιο ελάχιστο στοιχείο κ κ για το οποίο ισχύει ν >α. κ Θα δείξουµε τώρα ότι ν <β. κ κ 1 1 Αν > β > β > β ( β α) = α άτοπο αφού ν ν ν κ 1 κ <. ν ν Άρα αν α> και α<β τότε υπάρχει ρ Q ώστε α<ρ<β Αν α< τότε υπάρχει κ N ώστε κ+α> (αφού το N δεν είναι άνω φραγµένο). Άρα σύµφωνα µε τα παραπάνω θα υπάρχει ρ Q τέτοιο ώστε κ+α<ρ <κ+β α<ρ -κ<β και ρ -κ Q. πόρισµα: Μεταξύ δυο πραγµατικών αριθµών υπάρχουν άπειροι ρητοί αριθµοί. άσκηση 2 Έστω Α,Β R και τέτοια ώστε χ ψ χ Α, ψ Β. είξτε ότι α) supa ψ ψ Β β) supa infb απόδειξη

α) Κάθε στοιχείο ψ Β είναι άνω φράγµα του του Α, άρα εφόσον το supa είναι το ελάχιστο άνω φράγµα του Α θα έχουµε supa ψ ψ Β. β) το supa είναι κάτω φράγµα του Β αφού supa ψ ψ Β αφού το infb είναι το µέγιστο κάτω φράγµα του Β θα είναι supa infb. άσκηση 3 Αν Α,Β φραγµένα υποσύνολα του R δείξτε ότι sup(a B)=max{supA,supB}. απόδειξη Έστω supa supb. Τότε χ Α Β θα είναι χ Α ή χ Β άρα supa x ή supa supb x. Άρα χ Α Β, supa x. Αυτό σηµαίνει ότι πρέπει sup(a B) supa (1) Όµως ισχύει sup(a B) x x A B άρα sup(a B) x x A εποµένως supa sup(a B) (2). Από τις (1),(2) προκύπτει ότι sup(a B)=supA=max{supA,supB}. Άλλη µια ωραία εφαρµογή του αξιώµατος της πληρότητας είναι το εξής:

θεώρηµα 6 Κάθε µη αρνητικός πραγµατικός αριθµός έχει µια και µόνο µια µη αρνητική τετραγωνική ρίζα. απόδειξη Αν α= τότε ο α έχει ως τετραγωνική ρίζα το µηδέν και µόνο. Έστω α> και S={χ / χ R + και χ 2 α} Είναι S γιατί α 2 α(1+α) 2 2 α 2 (1 +α) α a δηλαδή 1 + a S. το S είναι άνω φραγµένο διότι (α+1) 2 >α κι έτσι ο αριθµός α+1 είναι άνω φράγµα του. Από το αξίωµα της πληρότητας προκύπτει ότι θα υπάρχει το ελάχιστο άνω φράγµα του S. Ας είναι β=sups. Για τον β θα ισχύει µια από τις τρεις περιπτώσεις: β 2 >α ή β 2 =α ή β 2 <α Αν β 2 2 β α 1 α >α θέτουµε γ= β = ( β+ ). Τότε <γ<β και 2β 2 β γ 2 =β 2 -(β 2 2 2 2 2 ( β α) ( β α) -α)+ = α+ > α. Άρα γ 2 >χ 2 χ S 2 2 4β 4β οπότε γ>χ χ S δηλαδή ο γ είναι άνω φράγµα του S και µάλιστα γ<sups=β το οποίο είναι άτοπο. Έστω τώρα ότι β 2 <α. Θεωρούµε έναν θετικό αριθµό γ τέτοιο 2 α β ώστε γ<β και γ<. 3β Τότε (β+γ) 2 =β 2 +2βγ+γ 2 =β 2 +γ(2β+γ)<β 2 +3βγ<β 2 +(α-β 2 )=α. ηλαδή (β+γ) 2 <α άρα β+γ S και β+γ>β=sups άτοπο. Έτσι τελικά η µόνη περίπτωση που αποµένει είναι η β 2 =α.

σηµαντική παρατήρηση: Γνωρίζουµε ότι τόσο το Q όσο και το R ικανοποιούν τα αξιώµατα ενός ολικά διατεταγµένου σώµατος. Άρα όσον αφορά την άλγεβρά τους δεν υπάρχει καµιά διαφορά σε ιδιότητες που απορρέουν από τα αξιώµατα του ολικά διατεταγµένου σώµατος. Σε τι διαφέρουν τελικά τα δυο αριθµητικά σύνολα Q και R; Ας πάµε πάλι πίσω στο προηγούµενο θεώρηµα και ας θεωρήσουµε ότι α=2. Τότε sups=β και β 2 =2. Ο αριθµός β όµως ως γνωστό δεν είναι ρητός. Έτσι ο β είναι άρρητος, πράγµα που σηµαίνει ότι στο Q δεν ισχύει το αξίωµα της πληρότητας δηλαδή στο Q δεν υπάρχει πάντα το sup ενός άνω φραγµένου υποσυνόλου του. Για το λόγο αυτό, όπως επισηµάναµε και στην αρχή, το αξίωµα πληρότητας αποτελεί την ειδοποιό διαφορά µεταξύ Q και R. προτεινόµενες ασκήσεις 1. Αν α R + και σ R + -Q + (θετικός άρρητος) δείξτε ότι το σύνολο Α={α χ / χ Q + και χ<σ} είναι φραγµένο. [ αν α>1 τότε το supa λέγεται δύναµη του α µε εκθέτη σ, δηλαδή α σ =supa. Αν α<1 τότε το infa λέγεται δύναµη του α µε εκθέτη σ, δηλαδή α σ =infa]. 2. Έστω Α,Β R µη κενά και φραγµένα υποσύνολα του R. είξτε ότ ιinf(a+b)=infa+infb. [όπου Α+Β={χ+ψ/χ Α,ψ Β}] 3. Βρείτε το ελάχιστο άνω φράγµα και το µέγιστο κάτω φράγµα

αν υπάρχουν) των ακόλουθων συνόλων. Εξετάστε ποια απ αυτά έχουν µέγιστο ή ελάχιστο στοιχείο (δηλ. εξετάστε πότε το sup και το inf συµβαίνει να ανήκουν στο σύνολο) i) { 1 n / n N}, ii) { 1 a / α Z* }, iii) {x/x= ή x=1/n, n N} iv) {x/ x 2,x Q} v) {x/ x 2 +x-1<} vi) {x / x< και x 2 +x-1<} vii) {x / x 2 +3x+1>}.