1679
правок
Изменения
Нет описания правки
аддитивность вариации
|statement=
Пусть <tex>f(x) \in \bigvee(a, c)</tex> и <tex>b \in [a, c]</tex>, тогда <tex>\bigvee\limits_a^c (f) = \bigvee\limits_a^b (f) = + \bigvee\limits_b^c (f)</tex>.
|proof=
1) Рассмотрим разбиения <tex>\tau_1: a = x_0 < \dots < x_p = b, \tau_2: b = x_p < \dots < x_{p + m} = c</tex>.
{{Теорема
|statement=
|proof=
Возьмем в качестве <tex>f_1</tex> функцию <tex>f_1(x) = \bigvee\limits_a^x (f)</tex>, тогда по аддитивности она будет не убывать.
