If you start with the natural numbers and introduce operations like addition and subtraction, you’ll find that you are missing something: the negative numbers. So you look at the integers, and try again. Now, trying to introduce multiplication and division, you’ll find you are missing something again: multiplicative inverses. So you look at the rational numbers, and you’ll find you are missing something yet again. That brings you to the real numbers. Our goal will be to discuss what’s missing in \(\mathbb {Q}\) , and to show you why \(\mathbb {R}\) has what’s missing. This is known as completeness of \(\mathbb {R}\) . In this and the next chapter, we’ll show you some wonderful applications of completeness. To start, we will explore the relation “less than or equal to” on \(\mathbb {R}\) . We will define bounded set, infimum, supremum, minimum, and maximum of a set. This will allow us to introduce some of our major tools: The completeness axiom of \(\mathbb {R}\) and the well-ordering principle of \(\mathbb {N}\) .

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Order in the Reals

  • Ulrich Daepp,
  • Pamela Gorkin

摘要

If you start with the natural numbers and introduce operations like addition and subtraction, you’ll find that you are missing something: the negative numbers. So you look at the integers, and try again. Now, trying to introduce multiplication and division, you’ll find you are missing something again: multiplicative inverses. So you look at the rational numbers, and you’ll find you are missing something yet again. That brings you to the real numbers. Our goal will be to discuss what’s missing in \(\mathbb {Q}\) , and to show you why \(\mathbb {R}\) has what’s missing. This is known as completeness of \(\mathbb {R}\) . In this and the next chapter, we’ll show you some wonderful applications of completeness. To start, we will explore the relation “less than or equal to” on \(\mathbb {R}\) . We will define bounded set, infimum, supremum, minimum, and maximum of a set. This will allow us to introduce some of our major tools: The completeness axiom of \(\mathbb {R}\) and the well-ordering principle of \(\mathbb {N}\) .