Tiên đề Archimede

Tiên đề Archimedes là một tính chất trên trường số thực được mang tên nhà toán học, vật lý học, và nhà phát minh người Hy Lạp Archimedes (287 TCN - 212 TCN)

Tiên đề này còn được gọi là tiên đề thứ tự cho số thực.

Phát biểu Tiên đề Archimede Tiên đề Archimede

Với mọi số thực $\ x>0$ và mọi số thực $\ y$ thì tồn tại một số tự nhiên $\ n$ sao cho $\ nx>y$ .

Chứng minh Tiên đề Archimede Tiên đề Archimede

Việc chứng minh chủ yếu dựa vào tiên đề cận trên đúng phát biểu như sau: Mọi tập hợp con $\ A$ của tập số thực $\ R$ , trong đó $\ A$ bị chặn trên, đều có cận trên đúng là số thực, tức là $\ sup(A)\in R$

Ta chứng minh bằng phản chứng: giả sử không tồn tại số tự nhiên $\ n$ sao cho

$\ nx>y$ , nên $\ \forall n\in N,nx\leq y$ .

Xét tập hợp $\ A=\lbrace n\in N|nx\leq y\rbrace$
Rõ ràng A bị chặn trên bởi $\ y$ và do đó theo tiên đề cận trên đúng, $\ y$ là cận trên đúng của $\ A$ .
Do $\ x>0$ nên $\ y-x<y$ không là cận trên đúng của $\ A$ , nên tồn tại một số tự nhiên $\ n$ sao cho $\ y-x<nx\leq y$ (vì nếu không, $\ y-x$ trở thành cận trên đúng của $\ A$ , trái với giả thiết ban đầu $\ sup(A)=y$ )
Tuy nhiên điều này vô lý do