在实数空间中，全体有理数在全体无理数中稠密.