✨Tiên đề Archimede

Tiên đề Archimede 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

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

Chứng minh

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 $\backslash \; A$ của tập số thực $\backslash \; R$, trong đó $\backslash \; A$ bị chặn trên, đều có cận trên đúng là số thực, tức là $\backslash \; sup(A)\; \backslash in\; R$

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

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

Hệ quả

''Với mọi số thực và mọi số thực $\backslash \; y$ thì tồn tại một số tự nhiên $\backslash \; n$ sao cho .

Cách chứng minh gần như tương tự, chỉ cần thay $\backslash \; x$ bởi $\backslash \; -x$

Ý nghĩa

Tiên đề này cho thấy:

• Tính vô hạn của trường số thực
• Tính bị chặn của một đoạn (hay khoảng) bất kì