Rudin [Principles of Mathematical Analysis] 笔记

前言

CS就是要学数学…所以我也开始学了.
Rudin这本书以简洁著称,所以需要笔记来补上证明过程中的各种跳跃.
我读的是机械工业出版社的英文影印版.

Chapter 1: The real and complex number system

1.1 Example

这个例子广为人知: 用反证法证明$\sqrt{2}$不是有理数(rational number).
首先说明一点: 一个数是偶数,那么它能被2整除. 对正整数来说,就是有2这个因子.

由有理数的定义,设

$$p={m\over n},p^2=2,$$ 其中, $m$和 $n$没有非1的公因子. 我们可以知道, $m$和 $n$不能同时为偶数(否则,他们就有一个公因子2).
我们可以得到
$$m^2=2n^2.$$
显然, $m^2$是偶数.那么