当数从有理数扩充到实数以后