实数的基础知识