Tõestus. Olgu T ja T′ lõigu [a, b] kaks suvalist alajaotust, moodustame kolmanda alajaotuse T′′ nii, et selle jaotuspunktideks on parajasti kõik jaotustesse T ja T′ kuuluvad jaotuspunktid. Siis T′′ on peenem mõlemast alajaotustest T ja T′, mistõttu omadusest 11.1 saame võrratused s (T′) ≤ s (T′′) ≤ S (T′′) ≤ S (T) . Lause on tõestatud. Defineerida Darboux ülem- ja alamintegraal ja (Darboux' mõttes) integreeruvad funktsioonid Iga ülemsumma S (T) on kõigi alamsummade hulga {s (T) | T ∈ } ülemine tõke. Pidevuse aksioomi kohaselt eksisteerib sup {s (T) | T ∈ } =: I∗ (f) , arvu I∗ (f) nimetatakse funktsiooni f Darboux' alamintegraaliks. Kuna arv I ∗ (f) on hulga {s (T) | T ∈ } vähim ülemine tõke, siis I∗ (f) ≤ S (T) suvalise alajaotuse T ∈ korral. Niisiis, I∗ (f) on hulga {S (T) | T ∈ } alumine tõke. Seega on see hulk alt tõkestatud, mistõttu tal leidub alumine raja I∗ (f) := inf {S (T) | T ∈ },
s (T ′ ) 6 S (T ). Kui T ′′ = T ∪T ′ , siis T ′′ on peenem alajaotustest T ja T ′ , mistõttu omadusest 5.3 saame võrratused s (T ′ ) 6 s (T ′′ ) 6 S (T ′′ ) 6 S (T ) (selgitada!)z. 5.2.3 Darboux’ ülem- ja alamintegraal. Integreeruvuse kriteerium Omadusest 5.4 järeldub, et tõkestatud funktsiooni f : [a, b] → R suvaline ülemsumma S (T ) on kõigi alamsummade hulga {s (T ) | T ∈ T} ülemine tõke. Pidevuse aksioomi kohaselt eksisteerib sup {s (T ) | T ∈ T} =: I∗ , (5.8) arvu I∗ nimetatakse funktsiooni f Darboux’ alamintegraaliks (lower Darboux integral, нижний интеграл Дарбу). Kuna I∗ 6 S (T ) suvalise alajaotuse T korral (põhjendada!)z, siis
annaabi.ee 
