书为陶哲轩的实分析第三版。
有两个疑问:
1，定义中的y^n≤x改为y^n＜x是否有影响？因为看起来他们的上确界是一样的。
2，直接定义x^(1/n)={y∈R，y≥0且y^n=x}是否可行？我没感受到借助确界来定义有什么好处。
是因为证明存在一个实数y使得y^n=x本身需要利用确界来证明吗？如图二