Nuprl Definition : uniform-partition
uniform-partition(I;k) ==
mklist(k - 1;λi.(((r(k) - r(i + 1)) * left-endpoint(I)) + (r(i + 1) * right-endpoint(I))/r(k)))
Definitions occuring in Statement :
right-endpoint: right-endpoint(I),
left-endpoint: left-endpoint(I),
rdiv: (x/y),
rsub: x - y,
rmul: a * b,
radd: a + b,
int-to-real: r(n),
mklist: mklist(n;f),
lambda: λx.A[x],
subtract: n - m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
mklist: mklist(n;f),
subtract: n - m,
lambda: λx.A[x],
rdiv: (x/y),
radd: a + b,
rsub: x - y,
left-endpoint: left-endpoint(I),
rmul: a * b,
add: n + m,
natural_number: $n,
right-endpoint: right-endpoint(I),
int-to-real: r(n)
FDL editor aliases :
uniform-partition
uniform-partition
Latex:
uniform-partition(I;k) ==
mklist(k - 1;\mlambda{}i.(((r(k) - r(i + 1)) * left-endpoint(I)) + (r(i + 1) * right-endpoint(I))/r(k)))
Date html generated:
2016_05_18-AM-09_00_06
Last ObjectModification:
2015_09_23-AM-09_09_30
Theory : reals
Home
Index