Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The Theorem 1.21 at page 10 of Rudin's Book states that

For every real $x>0$ and every integer $n>0$ there is one and only one positive real $y$ such that $y^n=x.$ This number $y$ is written $\sqrt[n]{x}$ or $x^{1/n}$.

I do not understand the first sentence of the proof, which states that

That there is at most one such $y$ is clear, since $0<y_1<y_2$ implies $y_1^n<y_2^n.$

Why is it clear?

I will appreciate any answers.

share|improve this question
add comment

1 Answer

up vote 4 down vote accepted

Suppose that there were two distinct real numbers $y_1,y_2>0$ such that $y_1^n=x$ and $y_2^n=x$.

Because $y_1\neq y_2$, without loss of generality we have that $y_1<y_2$ (in other words, if it were instead the case that $y_2<y_1$, just relabel them). But as is pointed out in Rudin's argument, this implies that $y_1^n<y_2^n$, and therefore $x<x$, which is a contradiction; therefore our assumption that there were two distinct real numbers whose $n$th power was $x$ was false. Therefore there can be at most one positive real number $y$ such that $y^n=x$.

share|improve this answer
    
So, the meaning of "at most" one number $y$ means that there are no two or multiple distinct $y$ that meet the given condition. Thank you for the answer. –  Sangcheol Choi Feb 9 '13 at 2:55
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.