qsup

© All Rights Reserved

2 views

qsup

© All Rights Reserved

- 05 - Review
- 01 Fuzzy Set Theory and Fuzzy Logic Lecture One
- English
- HCMOP Open Incidence Matrix Solutions
- supremum and inﬁmum
- Laporan Matrix
- Artikel 1
- Lecture1_2pp
- course outline 8math
- 1)Assignment-I.pdf
- 25678006
- Analysis of Fun Ct
- Final ECSE_Class Schedule_Fall 2018-
- Slow Learners in Mathematics
- i 012069078
- Alvaro Salas
- math mmicroteach 1 pdf
- manufacturing
- math 8 outline 2014-15
- Induction Probs

You are on page 1of 2

Recall that a field IF obeys the least upper bound axiom if every subset E ⊂ IF, that

is nonempty and bounded above, has a least upper bound in IF. In these notes we prove

that the set of rational numbers, Q, does not obey the least upper bound axiom.

We do so by studying the subset

E = q ∈ Q q2 < 2 ⊂ Q

Now

◦ E is nonempty, since 0 ∈ E,

◦ and every number in E is smaller than 2 (for example) since if q ≥ 2, then q 2 ≥ 4 > 2

so that q ∈/ E. So E has an upper bound, namely 2.

So if Q were to obey the least upper bound axiom, E would have to have a least upper

bound in Q. We prove that this is in fact not the case.

It is very reasonable to guess that E does not have a least upper bound in Q, because

√

it is reasonable to guess that the supremum of E would have to be 2, which is not a

rational number. (We’ll prove this shortly.) To prove in detail that E has no least upper

bound in Q, we’ll argue by contradiction. We will

◦ assume that E does have a least upper bound in Q, call it α, and then

◦ prove that α2 = 2, and then

◦ prove that there is no rational number α that obeys α2 = 2.

Now we start the proof. Assume that E has a least upper bound in Q and call it α. Note

that 1 ≤ α ≤ 2, because 1 ∈ E and 2 is an upper bound for E. To prove that α2 = 2,

we prove that it is impossible to have α2 < 2 (that will be Step 1) and that it is also

impossible to have α2 > 2 (that will be Step 2).

Step 1 We first prove that if α2 < 2, then α cannot be an upper bound for E at all and,

in particular cannot be the least upper bound. To do so, it suffices to construct a rational

number, q, which is in E, but which is strictly bigger than α. To ensure that q > α we

choose q to be of the form α + ε with ε a strictly positive rational number. For q to be in

E, we need to choose ε small enough that

q 2 = (α + ε)2 = α2 + 2αε + ε2

is smaller than 2. We already know that α ≤ 2 and we may always choose ε to be smaller

than, for example, 1. Then

q 2 ≤ α2 + 4ε + ε = α2 + 5ε

c Joel Feldman. 2014. All rights reserved. September 4, 2014 Q Violates the LUB Axiom 1

This is strictly smaller than 2 if

2 − α2

α2 + 5ε < 2 ⇐⇒ ε <

5

2

So the number q = α + 2−α

6

is a rational number in E that is strictly larger(1) than α. So

α is not an upper bound for E.

Step 2 We next prove that if α2 > 2, then α cannot be the least upper bound for E. To

do so it suffices to construct another rational number, q̃, which is an upper bound for E

and that is strictly smaller than α. To ensure that q̃ < α we choose q̃ to be of the form

α − ε with ε a strictly positive rational number. We choose ε small enough that

q̃ 2 = (α − ε)2 = α2 − 2αε + ε2

q̃ 2 ≥ α2 − 4ε + ε2 > α2 − 4ε

α2 − 2

α2 − 4ε > 2 ⇐⇒ ε <

4

2

So the number q̃ = α − α 6−2 is a rational number that is strictly smaller than α, is strictly

2 2

larger than 0 (since α 6−2 ≤ 2 6−2 = 31 < 1 ≤ α) and obeys q̃ 2 > 2. To see that q̃ is an

upper bound for E, observe that

q ≥ q̃ ≥ 0 =⇒ q 2 ≥ q̃ 2 > 2

This completes step 2. By this stage we know that if α is a least upper bound for E,

then α must obey α2 = 2.

Step 3 We finally show that there is no rational number α that obeys α2 = 2. By

definition, any rational number α has to be of the form m

n with m an integer, n a natural

number and with m and n having no common factors. But, if α2 = 2, this implies that

m 2

=⇒ m2 = 2n2

n =2 =⇒ 2 is a factor of m, i.e. m

2 ∈ ZZ

2 2

= 2n2 = n2 =⇒ 2 is a factor of n

=⇒ 4 m2

=⇒ 2 m

2

We have chosen ε = 6

. Note that ε = 6

< 6

< 1, as desired.

c Joel Feldman. 2014. All rights reserved. September 4, 2014 Q Violates the LUB Axiom 2

- 05 - ReviewUploaded bySarthak Shah
- 01 Fuzzy Set Theory and Fuzzy Logic Lecture OneUploaded byOday Ridha
- EnglishUploaded byMohamed Fawzi
- HCMOP Open Incidence Matrix SolutionsUploaded byKhor Shi-Jie
- supremum and inﬁmumUploaded byJessica Henderson
- Laporan MatrixUploaded byKesi Chandra
- Artikel 1Uploaded byDareece
- Lecture1_2ppUploaded byMrZaggy
- course outline 8mathUploaded byapi-246263476
- 1)Assignment-I.pdfUploaded byKarteek Sirisetti
- 25678006Uploaded byMonal Bhoyar
- Analysis of Fun CtUploaded bydimigrin
- Final ECSE_Class Schedule_Fall 2018-Uploaded byShakil
- Slow Learners in MathematicsUploaded byMIDHUN VIJAYAN
- i 012069078Uploaded byinventionjournals
- Alvaro SalasUploaded byanomican
- math mmicroteach 1 pdfUploaded byapi-300244603
- manufacturingUploaded byShubham
- math 8 outline 2014-15Uploaded byapi-263163617
- Induction ProbsUploaded byEdiOvalle
- ALL EQUIUploaded bySarfras Nawas
- JNU 2017 ProspectusUploaded byDevender Narwal
- Benchmarks PowerpointUploaded byCon_007
- Generalized Interval Neutrosophic Soft Set and its Decision Making ProblemUploaded byAnonymous 0U9j6BLllB
- Presentation 1Uploaded byRandhir Kumar
- Caltech Vector Calculus 4Uploaded bynislam57
- goal4.pptUploaded byNirmit
- 2307tut2Uploaded bynadi
- Opinion Mining for the Tweets in Healthcare Sector using Fuzzy Association RuleUploaded byrachhpalkca singh
- Holiday HomeworkUploaded byJubril Akinwande

- Books in the Mathematical SciencesUploaded byteo2005
- Brewer's CAP TheoremUploaded byteo2005
- Bigtable: A Distributed Storage System for Structured DataUploaded bySerge
- A Critique of the CAP Theorem-Martin KleppmannUploaded byivan.mladenovic8381
- TI-84 Plus GuidebookUploaded byJava Rob
- Introduction to Maxima (Richard H. Rand)Uploaded bydennisgabil
- 1518229Uploaded byteo2005
- SyllabusUploaded byteo2005
- Minimal MaximaUploaded bypkrakesh
- Fetch.ai (Fet)Uploaded byteo2005
- A Loot at Irregularities Discovered on AugurUploaded byteo2005
- AugurUploaded byteo2005
- Voyage200Guidebook Part2 EnUploaded byarfaderta
- Celer Network (CELR)Uploaded byteo2005
- BitTorrent (BTT)Uploaded byteo2005
- Floboss Modbus ListUploaded byteo2005
- 04 g1 Paper IsmmUploaded byjesspdx
- 336e.pdfUploaded byMohamed Harb
- d301221x412.pdfUploaded byteo2005
- Dahua HDCVI DVR Users Manual V1.8.2 20160914Uploaded byAndrei Panta
- List of Sb Bunker TankersUploaded byteo2005
- ADAM-4000 Manual V20Uploaded byteo2005
- 51.27421-0126 sensorUploaded byteo2005
- RUT955_manual_v1_31Uploaded byteo2005
- MAXIMA：Science and Engineering ApplicationsUploaded byteo2005
- Polar CoordinatesUploaded byteo2005

- ch2part2Uploaded byAniculaesi Mircea
- Tech Reservoir Pete310 Wet Gases Sp Gr ZfactUploaded byKopi Brisbane
- LESSON PLAN in MATHEMATICS VI.docxUploaded byNahtanoj Neleb
- Nim Upgrade and Advanced TopicsUploaded byPrabu Krishnan
- A. Brencich, L. Gambarotta _ S. LagomarsinoUploaded byHasan Ayouby
- Grade 8 Olympiad WwUploaded byArlind
- 2017 Exhibiting CompaniesUploaded byUmasankar Chakravorti
- ProfiBus PAUploaded byVarun Kumar
- Autodrill Satellite ManualUploaded bymiguel
- Base-Excitation-Analysis.pdfUploaded byali gholia
- Dragon Rouge - Dracontias 2008 2Uploaded byVictoria Vampyyri Angrbodasdóttir
- Biologia celular de la vasopresina.pdfUploaded byramosmarquez
- 3.6 Broadband in Indonesia RevUploaded bySeung-Min Lee
- Ten Steps to Self Discipline + Visual Stuff!Uploaded byAndrew Lee
- Nomenclature of Polyfunctional Organic CompoundsUploaded byEman Jamil El-Agroudy
- Neurotologic Surgery for GlomusUploaded byapi-19500641
- Discretization Considerations in Moving Load Finite Element Beam ModelsUploaded byEugene Commerell
- Nurani Kaeda- Part 1Uploaded byfarah_nishu
- API Spec 14a-2015Uploaded byHossein Tasha
- Chapter10 Linear Programming.docUploaded bysmkpthoe
- Virtual Baja TipsUploaded byShubham Gupta
- A Journey to Katmandu (the Capital of Napaul), With the Camp of Jung Bahadoor _ Including a Sketch of the Nepaulese Ambassador at HomeUploaded byMahan Sunwa
- Study TimetableUploaded bySafiya James
- Vp44 Electronic Fix - Dodge Cummins Diesel ForumUploaded byesyjam
- CV_SetyoUploaded bySetyo Widodo
- The Early November, 2010 edition of Warren County ReportUploaded byDan McDermott
- c1- additional practice questionsUploaded byapi-261193362
- Buddhist Theory of MeaningUploaded byNagabhushana Swamy
- Powermax 1000 G3Uploaded byFelipe Sanchez Correa
- Ldo Storage Tank Calculation 170Uploaded byNARENDRA PATEL

## Much more than documents.

Discover everything Scribd has to offer, including books and audiobooks from major publishers.

Cancel anytime.