Rozdělit interval
Intervalový oddíl je taková konečná posloupnost reálných čísel , že pro některá reálná čísla a , taková, že platí následující vztahy:
Rozdělení se používá v definicích Riemannova integrálu , Riemann-Stieltjesova integrálu , nastavitelného integrálu a variace a délky křivky .
Související definice
- Upřesnění oddílu je další oddíl daný na daném intervalu, který obsahuje všechny body , a možná i některé další body; oddíl je prý "jemnější" než .
- Norma (také jemnost, mřížka nebo krok ) předělu je délka nejdelšího intervalu mezi prvky předělu, tedy hodnota
- Označený oddíl intervalu je oddíl intervalu spolu s konečnou posloupností čísel tak, že pro každého
Jinými slovy, označené rozdělení intervalu je rozdělení intervalu spolu s označeným bodem každého podintervalu; jeho norma je definována stejně jako pro obvyklé rozdělení intervalu. Na množině všech oddílů lze definovat
částečné pořadí za předpokladu, že jeden označený oddíl intervalu je větší než jiný, pokud větší je upřesněním menšího.