Esistenza radice ennesima

[DR1]

$a"",y in RR " " n in NN$
$a >=0 " " n>=2 " " y>=0$
$r = "sup" {a >= 0 : a^n <= y }$
Cosa vuol dire ?
Vuole dire che la radice ennessima è l'estremo superiore di quell'insieme ?
Come dimostro ${1,y} sube {a>=0 : a^n <= y } $ ?

[gugo82]

"DR1":si è dimostrata l'esistenza e l'unicità, ma interessava dimostrare che
la radice ennesima è individuata da $A = "sup"(a>=0:a^n<=y)$

Che è esattamente ciò che ho dimostrato sopra... Quindi?

[xdom="gugo82"]Per quanto possa sembrare strano, questo post porta una data che non corrisponde a quella reale (era stato inserito da me un anno fa).
In attesa di capire che succede, chiudo.[/xdom]
[xdom="gugo82"]Riapro.[/xdom]