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