区間の分割
分割
x0 < x1 < x2 < ... < xn
の大きさ (norm) あるいは目 (mesh) とは、それに属する最長の小区間の長さ
max{xi − xi−1 | i = 1, ..., n}
を言う。