0 Up votes0 Down votes

10 views4 pagesdedikind cut

Feb 04, 2014

© Attribution Non-Commercial (BY-NC)

PDF, TXT or read online from Scribd

dedikind cut

Attribution Non-Commercial (BY-NC)

10 views

dedikind cut

Attribution Non-Commercial (BY-NC)

- The Law of Explosive Growth: Lesson 20 from The 21 Irrefutable Laws of Leadership
- Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race
- Hidden Figures Young Readers' Edition
- The E-Myth Revisited: Why Most Small Businesses Don't Work and
- Micro: A Novel
- The Wright Brothers
- The Other Einstein: A Novel
- State of Fear
- State of Fear
- The Power of Discipline: 7 Ways it Can Change Your Life
- The Kiss Quotient: A Novel
- Being Wrong: Adventures in the Margin of Error
- Algorithms to Live By: The Computer Science of Human Decisions
- The 6th Extinction
- The Black Swan
- The Art of Thinking Clearly
- The Last Battle
- Prince Caspian
- A Mind for Numbers: How to Excel at Math and Science Even If You Flunked Algebra
- The Theory of Death: A Decker/Lazarus Novel

You are on page 1of 4

Constructing R from Q: Dedekind cut approach The treatment below is adapted from the one in Avner Friedmans text Advanced Calculus. Denition 1. A (Dedekind) cut is an ordered pair of subsets of Q, (A, B ), satisfying (i) A and B are both nonempty; (ii) A and B are complements of one another (in Q); and (iii) a < b for all a A, b B . If (A, B ) is a cut, we will refer to a maximal element of A (if one exists) and a minimal element of B (if one exists) as extremal elements. Examples. 1. A = {x Q | x 1}, B = {x Q | x > 1}. In this example, A has an extremal element but B has does not. 2. A = {x Q | x < 1}, B = {x Q | x 1}. In this example B has an extremal element but A does not. 3. A = {x Q | x 0} {x Q | x > 0 and x2 < 2}, B = {x Q | x > 0 and x2 2}. In this example neither A nor B has an extremal element. The rst exercise below shows that, with regard to extremal elements, every cut is of one of the types in the three examples above. Exercises. Be careful in doing the exercises in this handout that you do not use any of the results in Rosenlicht whose proofs were based on the least-upper-bound property of the real numbers. The purpose of this handout is to show that there exists an ordered eld with the LUB property; we cant assume that such an object exists in order to prove that such an object exists. However, you may nd yourself wanting to use the analogs of some of Rosenlichts LUB 1 through LUB 5 statements, with the reals replaced by the rationals. If so, supply a proof (for the rationals) of any such statement, remembering that Q does not have the LUB property. 1. Let (A, B ) is a cut. Prove if one of the sets A, B has an extremal element, the other does not. 2. Let (A, B ) be a cut. Prove that A = {x Q | x < b b B } and that B = {x Q | x > a a A}. 3. Let (A, B ) be a cut. (a) Prove that if x A, then A contains every rational number x. (b) Prove that if x B , then B contains every rational number x. 4. Let (A, B ) be a cut. Prove that for all positive Q, there exist a A, b B such that b a < . 1

Denition 2. A cut (A, B ) is called normalized if B does not contain a minimal element. If (A, B ) is a cut we dene the normalization of (A, B ) to be the cut (A, B ) dened as follows: (i) if (A, B ) is normalized, then A = A, B = B ; and (ii) if (A, B ) is not normalized, then A = A {bmin }, B = B {bmin }, where bmin is the minimal element of B. Denition 3. A real number is a normalized cut. The set of real numbers is denoted R. A real number (A, B ) is called rational if A contains a maximal element, and irrational otherwise. (Note: The term rational number in these notes will always mean element of Q. To refer to a rational element of R, we will use the phrase rational real number or rational cut.) Notation. Let : Q R be the map dened by (q ) = (Aq , Bq ), where Aq = {x Q | x q } and Bq = {x Q | x > q }. Exercise. 5. Prove that is a 1-1 correspondence between Q and the set of rational real numbers. Denition 4. The real number 0 is (0), where is as in Exercise 5. The real number 1 is (1). A real number (A, B ) is called negative if 0 B , nonnegative if 0 A, and positive if A contains a positive rational number. Notation. For A Q, let A = {a | a A}. Exercises. 6. Let (A1 , B1 ), (A2 , B2 ) be cuts. Dene A3 = {x Q | a1 A1 , a2 A2 such that x a1 + a2 }, B3 = Q A3 . Prove that (A3 , B3 ) is a cut. 7. Prove that if (A, B ) is a cut, then (B, A) is a cut, and that (A, B ) is positive if and only if (B, A) is negative. 8. Prove that every real number is either 0, positive, or negative, and that the cases are mutually exclusive. We next need to endow R with the operations of addition and multiplication. Intuitively, we do this by seeing how, for rational numbers q, r, the cuts (q + r) and (qr) are related to the cuts (q ), (r). We then turn these relations into the denitions of addition and multiplication of arbitrary normalized cuts (as opposed to the just the rational normalized cuts). Denition 5. Let x = (A1 , B1 ), y = (A2 , B2 ) be normalized cuts. The real number x + y is dened to be (A3 , B3 ), the normalization of the cut (A3 , B3 ) dened in Exercise 1. (The reason for not simply dening x + y = (A3 , B3 ) is that for some irrational choices of x, y , but not all, the cut (A3 , B3 ) will not be normalized.) Exercise. 2

9. Let x = (A1 , B1 ), y = (A2 , B2 ) be normalized cuts. (a) If x, y are both non-negative, dene A3 = {x Q | a1 A1 , a2 A2 , a1 0, a2 0 such that x a1 a2 }, B3 = Q A3 . (b) If x is nonnegative and y is negative, dene A3 = {x Q | b1 B1 , a2 A2 , such that x b1 a2 }, B3 = Q A3 . (c) If x is negative and y is nonnegative, dene A3 = {x Q | a1 A1 , b2 B2 , such that x a1 b2 }, B3 = Q A3 . (d) If x, y are both negative, dene B3 = {x Q | a1 A1 , a2 A2 , such that x a1 a2 }, A3 = Q B3 . Show that in all four cases, (A3 , B3 ) is a cut. Denition 6. Let x = (A1 , B1 ), y = (A2 , B2 ) be normalized cuts. Dene x y = (A3 , B3 ), the normalization of the cut (A3 , B3 ) dened in Exercise 9. Exercises. 10. Prove that for all a, b Q, (a + b) = (a) + (b) and (ab) = (a) (b). 11. Prove that R, with the operations +, , the additive identity 0, and the multiplicative identity 1, satises eld properties I-IV on p. 16 of Rosenlicht. 12. For all x R and nonzero y R, gure out how dene the elements x and y 1 appropriately, and prove that the eld property V on p. 16 of Rosenlicht is satised. 13. Prove that (a) = (a) for all a Q and that (a1 ) = (a)1 for all nonzero a Q. 14. Combining exercises 11 and 12, we have now shown that R is a eld. What is it that exercises 5,10, and 13, together with Denition 4, say about the relationship of Q to R? Denition 7. Let R+ denote the set of positive real numbers, and let R denote the set of negative real numbers. Exercises. 15. Prove that (Q+ ) R+ and (Q ) R . 16. Prove that R has the order property (as dened on p. 19 of Rosenlicht). 17. Dene <, >, etc. as on p. 19 of Rosenlicht. Prove that if x = (A1 , B1 ) R and y = (A2 , B2 ) R, then x y i A1 A2 . Finally, we have the theorem weve been waiting for: Theorem. R has the Least Upper Bound property.

Proof. Let S R be a nonempty set bounded from above. Thus the set B of upper bounds of S is nonempty. Dene A Q by A = (C,D)B C . Thus a A i for every (C, D) B , a C . Dene B = Q A (= (C,D)B D). We will show that (i) (A, B ) is a cut; (ii) its normalization (A, B ) is an upper bound for S , and (iii) that there is no smaller upper bound of S . First, B is nonempty because it is a union of nonempty sets. To see that A is nonempty, let (C , D ) S (this uses nonemptiness of S ) and let c C (this uses nonemptiness of C ). If (C, D) B , then by exercise 13, C C , so c C . Hence c lies in every C for which (C, D) B , so c A. Thus, both A and B are nonempty. By denition, they are complements of each other. Next, suppose a A, b B . Then a C for every (C, D) B, and b D2 for some (C, D) B. Select such a (C, D) with b D. Then a C , so, since (C, D) is a cut, a < b. Hence (A, B ) is a cut, establishing (i) above. Turning to (ii), the argument above that A is nonempty actually shows that A contains every element c for which there exists (C , D ) S with c C . Hence, A A C for whenever (C , D ) S , which by exercise 13 says x (A, B ) for every x S . Thus (A, B ) is an upper bound for S . Finally, we establish (iii). Suppose y = (C, D) R is an upper bound for S . Then, by denition of B , A C . Suppose that A = A. Then B has a minimal element bmin , which is the maximal element of A. Thus if A is not contained in C , then (A, B ) is not normalized and bmin / C . Hence, by exercise 2, C contains no element bmin , and hence is contained in {a Q | a < bmin }, which is precisely A (since it is the complement of B ). Thus C A and A C , implying C = A (hence D = B also), which is a contradiction since (C, D) is normalized and (A, B ) is not. Therefore A = A, and hence A C , implying (A, B ) y . Thus (A, B ) is every upper bound of S , and we are done.

- CS 261 Solution SetUploaded bymandingomonstercok
- Mathematical Danube Competition Seniors SolutionsUploaded byzutode
- ECE452 HW 1 Soln Chap 2 OgataUploaded byMadhusmita Barik
- backtracking 1Uploaded byapi-450560775
- 2091SyllabusUploaded byMR
- Mathematics Syllabus BooksUploaded byAmit Poonia
- Open ClosedUploaded byAdi Subbu
- Dummett - Is Time a Continuum of Instants (2)Uploaded byNaaman Nov
- Print Lab Programs 1Uploaded bySakthivel
- LU17TX_HMW_1450175189_10 -arithmetic.pdfUploaded byKalyan N
- MTH102-HW2Uploaded byPrashanth Sridhar
- 1 - 3 - The Set of Real Numbers (7-25)Uploaded byDavid EDwin CM
- Mmc 2018 10a SecUploaded byMark-Honey Boquiron Delos Reyes
- Jee Advanced Paper 1 Detailed AnalysisUploaded byAshwani K Sharma
- On the hybrid mean value of the Smarandache kn-digital sequence and Smarandache functionUploaded byDon Hass
- InfinityUploaded byBandile Mbele
- Bossert Et Al (2007)Uploaded byMario Orospe
- C language example (extensive)Uploaded byKevin Choi
- alat peragaUploaded byEnrico M Toruan17
- Optimisation Theory Lecture NotesUploaded byJenisanKulendiran
- Vedic Maths 5Uploaded bySatyakaam Satya
- AdministrativeUploaded byapi-121841658
- ScriUploaded byMarlou Benemerito
- PAK21_SampleEssayUploaded byGURU BESAR SJK(C) CHUEN MIN
- Numeracy WorksheetUploaded byjoe_boy
- Abu LokmanUploaded byAidil Roslan
- Lecture01 Infinite Series (1)Uploaded bymary angelyn
- A Brief Introduction to InfinityUploaded byRamses Iviiv
- Several Simple Real-world Applications of Linear Algebra ToolsUploaded byphyzics
- STPM_Math_T1_S1_Skema_2011Uploaded byAcyl Chloride Hariprem

- Advanced CalculusUploaded byAdi Subbu
- Reading a PaperUploaded byAdi Subbu
- Vector Bundles and Projective modulesUploaded byAdi Subbu
- Primary DecompositionUploaded byAdi Subbu
- Abstract AlgebraUploaded byanlys_abon
- 11.Quotient Spaces - Wikibooks, Open Books for an Open WorldUploaded byAdi Subbu
- Test in Logical WritingUploaded byAdi Subbu
- Schroder Bernstein TheoremUploaded byAdi Subbu
- RemarksUploaded byhahaggerg
- Plane GeometriesUploaded byAdi Subbu
- Dynamical SystemsUploaded byAdi Subbu
- hilbert nullstellansatzUploaded byAdi Subbu
- Linear ODESUploaded byAdi Subbu
- One Dimensional Wave EquationUploaded byAdi Subbu
- Classification of Second Order PDEUploaded byAdi Subbu
- Solutions of Elliptic EqnsUploaded byAdi Subbu
- Results About Heat EquationsUploaded byAdi Subbu
- Roy Den FitzUploaded byabi
- Differential GeometryUploaded byAdi Subbu
- Principal ideal domainsUploaded byAdi Subbu
- Com Alg ExerUploaded bysticker592
- M257_316_2012_Lecture_9Uploaded byAdi Subbu
- nls2Uploaded byAdi Subbu
- Algebraic Geometry MilneUploaded byAdi Subbu
- TopoUploaded byAdi Subbu
- counting number of subspaces-2Uploaded byAdi Subbu
- Minimal SurfaceUploaded byAdi Subbu
- Galois TheoryUploaded byJohn Redbeet

- The Linear Harmonic OscillatorUploaded byjasmon
- Aritmetica modular.pdfUploaded byPayita60
- Multivariable Calculus Quiz 3Uploaded byKevin Chen
- 07SD _2_fjsdf sdfsdfjfUploaded byJason West
- Final Project yesUploaded byRoyce Anne Realo
- J.T.schwartz--Nonlinear Functional Analysis Notes on Mathematics and Its ApplicationsUploaded byStefan Cruceanu
- Rising Water LessonUploaded bycanmandy
- Chapter 7Uploaded byhmdniltfi
- Spline PrimerUploaded byVeronica Navia
- Solution of Linear System Theory and Design 3ed for Chi-Tsong ChenUploaded byadambose1990
- msrUploaded byBogdan Posa
- Matlab Python Cheatsheet Formulae.pdfUploaded byChandra Prakash Khatri
- in_dspUploaded bySergio Andrade
- Homotopy Theory: Elementary Basic Concepts.Uploaded byArelyala
- The construction of real numbers, Dedekind's cutsUploaded byGeorge Mpantes mathematics teacher
- CHAPTER IUploaded byFabio Jeremia
- Matrix Algebra Review- Self Assessment Exam.pdfUploaded byKristine May Reyes
- 50508_toc.pdfUploaded bywearplay
- Digital Image Processing_S. Jayaraman, S. Esakkirajan and T. VeerakumarUploaded byPurushotham Prasad K
- testsforconvergencewithanswers.pdfUploaded byRoberto Antonio Rojas Esteban
- graphing polynomial functions basic shapeUploaded byapi-265200443
- Important Theorems - Real AnalysisUploaded bymmmellyyyy
- Divisibility Rules From 11 to 20Uploaded bylala234
- (14.3) Right Triangle TrigonometryUploaded byJana Aldour
- Mathematical AnalysisUploaded byعلي العماري
- Maths -Revision FracionUploaded byPriya Patel
- 20110715122354-B.Sc.-M.Sc.-_H.S._-Mathematics.pdfUploaded byn
- 07_Periodic Functions and Fourier SeriesUploaded bybinu_10
- m10l19.pdfUploaded byPradip Gupta
- Dehn Twist (UROP Research)Uploaded byTrain_7113

## Much more than documents.

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

Cancel anytime.