Nuprl Definition : real-ball
B(n;r) == {v:ℝ^n| ||v|| ≤ r}
Definitions occuring in Statement :
real-vec-norm: ||x||,
real-vec: ℝ^n,
rleq: x ≤ y,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
real-vec: ℝ^n,
rleq: x ≤ y,
real-vec-norm: ||x||
FDL editor aliases :
real-ball
Latex:
B(n;r) == \{v:\mBbbR{}\^{}n| ||v|| \mleq{} r\}
Date html generated:
2019_10_30-AM-10_14_45
Last ObjectModification:
2019_06_28-PM-01_52_08
Theory : real!vectors
Home
Index