В математике разбиением интервала [ a , b ] на действительной прямой называется конечная последовательность x0 , x1 , x2 , … , xn действительных чисел такая , что
Другими словами, разбиение компактного интервала I — это строго возрастающая последовательность чисел (принадлежащих самому интервалу I ), начинающаяся с начальной точки I и приходящая в конечную точку I.
Каждый интервал вида [ x i , x i + 1 ] называется подынтервалом разбиения x .
Другое разбиение Q данного интервала [a, b] определяется как уточнение разбиения P , если Q содержит все точки P и, возможно, некоторые другие точки; разбиение Q называется «более точным», чем P. Если даны два разбиения, P и Q , всегда можно образовать их общее уточнение , обозначаемое P ∨ Q , которое состоит из всех точек P и Q , в порядке возрастания. [1]
Норма (или сетка ) разбиения
длина самого длинного из этих подынтервалов [2] [3]
Разбиения используются в теории интеграла Римана , интеграла Римана–Стилтьеса и регулируемого интеграла . В частности, по мере рассмотрения более мелких разбиений заданного интервала их сетка стремится к нулю, а сумма Римана , основанная на заданном разбиении, приближается к интегралу Римана . [4]
Размеченное разбиение [ 5] или разбиение Перрона — это разбиение заданного интервала вместе с конечной последовательностью чисел t 0 , …, t n − 1 при соблюдении условий, что для каждого i ,
Другими словами, помеченное разделение — это раздел вместе с выделенной точкой каждого подынтервала: его сетка определяется так же, как и для обычного раздела. Можно определить частичный порядок на множестве всех помеченных разделов, сказав, что одно помеченное разделение больше другого, если большее является уточнением меньшего. [ необходима цитата ]
Предположим, что x 0 , …, x n вместе с t 0 , …, t n − 1 являются размеченным разбиением [ a , b ] , а y 0 , …, y m вместе с s 0 , …, s m − 1 являются другим разбиением [ a , b ] . Мы говорим, что y 0 , …, y m вместе с s 0 , …, s m − 1 является уточнением помеченного разбиения x 0 , …, x n вместе с t 0 , …, t n − 1, если для каждого целого числа i с 0 ≤ i ≤ n существует целое число r ( i ) такое, что x i = y r ( i ) и такое, что t i = s j для некоторого j с r ( i ) ≤ j ≤ r ( i + 1) − 1. Говоря проще, уточнение помеченного разбиения берет начальное разбиение и добавляет больше тегов, но не убирает ни одного.