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