有理数为什么是最小数域