Nuprl Definition : real-unit-sphere
S(n) == {v:ℝ^n + 1| ||v|| = r1}
Definitions occuring in Statement :
real-vec-norm: ||x||
,
real-vec: ℝ^n
,
req: x = y
,
int-to-real: r(n)
,
set: {x:A| B[x]}
,
add: n + m
,
natural_number: $n
Definitions occuring in definition :
set: {x:A| B[x]}
,
real-vec: ℝ^n
,
req: x = y
,
real-vec-norm: ||x||
,
add: n + m
,
int-to-real: r(n)
,
natural_number: $n
FDL editor aliases :
real-unit-sphere
Latex:
S(n) == \{v:\mBbbR{}\^{}n + 1| ||v|| = r1\}
Date html generated:
2019_10_30-AM-10_15_14
Last ObjectModification:
2019_07_30-AM-09_19_55
Theory : real!vectors
Home
Index