有关上确解与下确界的证明题

问题描述:

有关上确解与下确界的证明题
设S={x|x 属于Q并且x^2

显然它上确界为3^(1/2),而3^(1/2)不是有理数.
下确界为负无穷,当然不是有理数.
所以,S在Q内没有上确界与下确界