[대학교이상] 해석학 솔루션 해설이 이해안되서 질문합니다

[익명(58.237)]

https://math.stackexchange.com/questions/1582969/if-0-lt-y-le-1-prove-that-there-exists-a-unique-positive-real-number-x-suc#comment3221929_1582969

문제는 

If 0<y≤10<y≤1, prove that there exists a unique positive real number xx such that x2=y

이거 인데요..

집합 A에서 z^2 ≤ y 로 잡아놓고 갑자기 왜 z^2 > y 를 말하는건가요??

뜬금없이 A 집합이랑은 정반대의 수식이 나오니까 뭐지 싶네요...

[익명(118.235)]

완비성 이용하려면 upper bounded이어야 하잖아 그래서 공집합이 아님을 보이고 upper bound하나 잡고 sup이 존재함을 보이는 거

[익명(58.237)]

아 이해했어요 감사합니다