Partition av ett intervall

För andra betydelser, se Partition.

En partition, även kallat indelning, av ett intervall, ${\displaystyle [a,b]}$, är inom matematiken en ändlig talföljd ${\displaystyle \{x_{n}\}$ sådan att:

${\displaystyle a=x_{0}<x_{1}<\dots <x_{n-1}<x_{n}=b}$

som används inom teorin för Riemannintegralen och Riemann-Stieltjes integral.

En förfining av en partition ${\displaystyle P_{1}$ är en annan partition ${\displaystyle P_{2}$ av samma intervall, där ${\displaystyle P_{2}$ innehåller alla element i ${\displaystyle P_{1}$ och möjligtvis fler.

En gemensam förfining av två partitioner ${\displaystyle P_{1},P_{2}$ av samma intervall är en partition som innehåller både elementen i ${\displaystyle P_{1}$ och ${\displaystyle P_{2}$.