Nuprl Definition : rat-complex-diameter
rat-complex-diameter(k;K) == rmaximum(0;||K|| - 1;i.rat-cube-diameter(k;K[i]))
Definitions occuring in Statement :
rat-cube-diameter: rat-cube-diameter(k;c),
rmaximum: rmaximum(n;m;k.x[k]),
select: L[n],
length: ||as||,
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
select: L[n],
rat-cube-diameter: rat-cube-diameter(k;c),
natural_number: $n,
length: ||as||,
subtract: n - m,
rmaximum: rmaximum(n;m;k.x[k])
FDL editor aliases :
rat-complex-diameter
Latex:
rat-complex-diameter(k;K) == rmaximum(0;||K|| - 1;i.rat-cube-diameter(k;K[i]))
Date html generated:
2019_10_31-AM-06_03_21
Last ObjectModification:
2019_10_31-AM-00_24_10
Theory : real!vectors
Home
Index