Функции ограниченной вариации — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(o_O)
Строка 1: Строка 1:
<wikitex>
+
Рассмотрим <tex>f : [a, b] \to \mathbb{R}</tex> и ее разбиение <tex>\tau: a = x_0 < x_1 \dots < x_n = b</tex>
Рассмотрим $f : [a, b] \to \mathbb{R}$ и ее разбиение $\tau: a = x_0 < x_1 \dots < x_n = b$
 
  
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
'''Вариацией''' функции $f$ по разбиению $\tau$ называется $\bigvee\limits_a^b (f, \tau) = \sum\limits_{k = 0}^{n - 1} | f(x_{k + 1}) - f(x_k)|$.<br>
+
'''Вариацией''' функции <tex>f</tex> по разбиению <tex>\tau</tex> называется <tex>\bigvee\limits_a^b (f, \tau) = \sum\limits_{k = 0}^{n - 1} | f(x_{k + 1}) - f(x_k)|</tex>.<br>
'''Полной вариацией''' называется $\bigvee\limits_a^b(f) = \sup\limits_{\tau} \bigvee\limits_a^b (f, \tau)$.<br>
+
'''Полной вариацией''' называется <tex>\bigvee\limits_a^b(f) = \sup\limits_{\tau} \bigvee\limits_a^b (f, \tau)</tex>.<br>
$f$ называется функцией '''ограниченной вариации''', если $\bigvee\limits_a^b(f) < + \infty$.<br>
+
<tex>f</tex> называется функцией '''ограниченной вариации''', если <tex>\bigvee\limits_a^b(f) < + \infty</tex>.<br>
Класс функций ограниченной вариации обозначается как $\bigvee(a, b)$.
+
Класс функций ограниченной вариации обозначается как <tex>\bigvee(a, b)</tex>.
 
}}
 
}}
  
 
{{Утверждение
 
{{Утверждение
 
|statement=
 
|statement=
Пусть $f$ монотонно не убывает, тогда она ограниченной вариации.
+
Пусть <tex>f</tex> монотонно не убывает, тогда она ограниченной вариации.
 
|proof=
 
|proof=
По определению неубывания, $|f(x_{k+1}) - f(x_k)| = f(x_{k+1}) - f(x_k)$, тогда вариация равна $f(b) - f(a)$, то есть конечна. Аналогично с не возрастающей функцией.
+
По определению неубывания, <tex>|f(x_{k+1}) - f(x_k)| = f(x_{k+1}) - f(x_k)</tex>, тогда вариация равна <tex>f(b) - f(a)</tex>, то есть конечна. Аналогично с не возрастающей функцией.
 
}}
 
}}
 
{{Утверждение
 
{{Утверждение
 
|statement=
 
|statement=
Пусть $f'$ опредлена на $(a, b)$ и ограничена, тогда $f$ — функция ограниченной вариации.
+
Пусть <tex>f'</tex> опредлена на <tex>(a, b)</tex> и ограничена, тогда <tex>f</tex> — функция ограниченной вариации.
 
|proof=
 
|proof=
$f' < M \Rightarrow \bigvee_a^b (f) \le M(b - a) \le + \infty$
+
<tex>f' < M \Rightarrow \bigvee_a^b (f) \le M(b - a) \le + \infty</tex>
 
{{TODO|t=НЕ ОЧЕНЬ ПОНИМАЮ, ЗАЧЕМ ВООБЩЕ ЭТО УТСВЕРЖДЕНИЕ ТУТ}}
 
{{TODO|t=НЕ ОЧЕНЬ ПОНИМАЮ, ЗАЧЕМ ВООБЩЕ ЭТО УТСВЕРЖДЕНИЕ ТУТ}}
 
}}
 
}}
Строка 28: Строка 27:
 
Не все непрерывные функции имеют ограниченную вариацию.
 
Не все непрерывные функции имеют ограниченную вариацию.
 
|proof=
 
|proof=
Возьмем $f(x) = x \sin(\frac 1x), x \int [0; 1], f(0) = 0$
+
Возьмем <tex>f(x) = x \sin(\frac 1x), x \int [0; 1], f(0) = 0</tex>
 
{{TODO|t=ЭМ, ТУТ КАКОЙ-ТО ТРЕШ}}
 
{{TODO|t=ЭМ, ТУТ КАКОЙ-ТО ТРЕШ}}
 
}}
 
}}
Строка 36: Строка 35:
 
аддитивность вариации
 
аддитивность вариации
 
|statement=
 
|statement=
Пусть $f(x) \in \bigvee(a, c)$ и $b \in [a, c]$, тогда $\bigvee\limits_a^c (f) = \bigvee\limits_a^b (f) = \bigvee\limits_b^c (f)$.
+
Пусть <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=
 
|proof=
1) Рассмотрим разбиения $\tau_1: a = x_0 < \dots < x_p = b, \tau_2: b = x_p < \dots < x_{p + m} = c$.
+
1) Рассмотрим разбиения <tex>\tau_1: a = x_0 < \dots < x_p = b, \tau_2: b = x_p < \dots < x_{p + m} = c</tex>.
$ \tau_1 \cup \tau_2 = a = x_0 < \dots < x_{p+m} = c $.
+
<tex> \tau_1 \cup \tau_2 = a = x_0 < \dots < x_{p+m} = c </tex>.
  
По определению полной вариации, $\forall \varepsilon > 0 \exists \tau_1, \tau_2: \bigvee\limits_a^b (f) - \varepsilon < \bigvee\limits_a^b (f, \tau_1), \bigvee\limits_b^c (f) - \varepsilon < \bigvee\limits_b^c (f, \tau_2)$
+
По определению полной вариации, <tex>\forall \varepsilon > 0 \exists \tau_1, \tau_2: \bigvee\limits_a^b (f) - \varepsilon < \bigvee\limits_a^b (f, \tau_1), \bigvee\limits_b^c (f) - \varepsilon < \bigvee\limits_b^c (f, \tau_2)</tex>
  
$ \bigvee\limits_a^b (f) + \bigvee\limits_b^c(f) - 2 \varepsilon  < \bigvee\limits_a^b (f, \tau_1) + \bigvee\limits_b^c (f, \tau_2) = \bigvee\limits_a^c (f, \tau_1 \cup \tau_2) \le \bigvee\limits_a^c(f) $
+
<tex> \bigvee\limits_a^b (f) + \bigvee\limits_b^c(f) - 2 \varepsilon  < \bigvee\limits_a^b (f, \tau_1) + \bigvee\limits_b^c (f, \tau_2) = \bigvee\limits_a^c (f, \tau_1 \cup \tau_2) \le \bigvee\limits_a^c(f) </tex>
  
Устремляя $\varepsilon$ к 0, получаем $ \bigvee\limits_a^b (f) + \bigvee\limits_b^c(f) \le \bigvee\limits_a^c (f)$.
+
Устремляя <tex>\varepsilon</tex> к 0, получаем <tex> \bigvee\limits_a^b (f) + \bigvee\limits_b^c(f) \le \bigvee\limits_a^c (f)</tex>.
2) Для любого $\varepsilon > 0 \exists \tau \bigvee\limits_a^c (f) - \varepsilon < \bigvee\limits_a^c (f, \tau)$. Однако в это разбиение может  не войти точка $b$ в это разбиение, поэтому получим из него разбиение $\tau' : a=x_0 < \dots < x_p = b < x_{p+1} < \dots < x_{p+m} = c$. Пусть $\tau_1$ — разбиение $a=x_0 < \dots x_p=b$, а $\tau_2$ — разбиение $x_p = b \dots x_{p+m} = c$. Тогда:
+
2) Для любого <tex>\varepsilon > 0 \exists \tau \bigvee\limits_a^c (f) - \varepsilon < \bigvee\limits_a^c (f, \tau)</tex>. Однако в это разбиение может  не войти точка <tex>b</tex> в это разбиение, поэтому получим из него разбиение <tex>\tau' : a=x_0 < \dots < x_p = b < x_{p+1} < \dots < x_{p+m} = c</tex>. Пусть <tex>\tau_1</tex> — разбиение <tex>a=x_0 < \dots x_p=b</tex>, а <tex>\tau_2</tex> — разбиение <tex>x_p = b \dots x_{p+m} = c</tex>. Тогда:
  
$\bigvee\limits_a^c (f) - \varepsilon <  \bigvee\limits_a^c (f, \tau) \le \bigvee\limits_a^c (f, \tau') \le \bigvee\limits_a^b (f, \tau_1) + \bigvee\limits_b^c (f, \tau_2) \le \bigvee\limits_a^b (f) + \bigvee\limits_b^c (f) $.  
+
<tex>\bigvee\limits_a^c (f) - \varepsilon <  \bigvee\limits_a^c (f, \tau) \le \bigvee\limits_a^c (f, \tau') \le \bigvee\limits_a^b (f, \tau_1) + \bigvee\limits_b^c (f, \tau_2) \le \bigvee\limits_a^b (f) + \bigvee\limits_b^c (f) </tex>.  
  
Устремляя $\varepsilon$ к 0, получим $ \bigvee\limits_a^c (f) \le \bigvee\limits_a^b (f) + \bigvee\limits_b^c (f) $. Объединяя этот результат с результатом 1 пункта, приходим к требуемому равенству.
+
Устремляя <tex>\varepsilon</tex> к 0, получим <tex> \bigvee\limits_a^c (f) \le \bigvee\limits_a^b (f) + \bigvee\limits_b^c (f) </tex>. Объединяя этот результат с результатом 1 пункта, приходим к требуемому равенству.
 
}}
 
}}
  
 
{{Теорема
 
{{Теорема
 
|statement=
 
|statement=
Если $f$ — функция ограниченной вариации ($f \in \bigvee(a, b)$), то ее можно представить в виде разности монотонно неубывающих функций ($f = f_1 - f_2$).
+
Если <tex>f</tex> — функция ограниченной вариации (<tex>f \in \bigvee(a, b)</tex>), то ее можно представить в виде разности монотонно неубывающих функций (<tex>f = f_1 - f_2</tex>).
 
|proof=
 
|proof=
Возьмем в качестве $f_1$ функцию $f_1(x) = \bigvee\limits_a^x (f)$, тогда по аддитивности она будет не убывать.
+
Возьмем в качестве <tex>f_1</tex> функцию <tex>f_1(x) = \bigvee\limits_a^x (f)</tex>, тогда по аддитивности она будет не убывать.
Определим как $f_2$ функцию $f_2(x) = f_1(x) - f(x)$. Докажем, что она монотонно не убывает.
+
Определим как <tex>f_2</tex> функцию <tex>f_2(x) = f_1(x) - f(x)</tex>. Докажем, что она монотонно не убывает.
$a < x_1 < x_2 < b$. Надо доказать, что $f_1(x_1) - f(x_1) \le f_1(x_2) - f(x_2)$, или что $f(x_2) - f(x_1) \le f_1(x_2) - f_1(x_1) = \bigvee\limits_{x_1}^{x_2} (f)$ (используем утверждение 1).
+
<tex>a < x_1 < x_2 < b</tex>. Надо доказать, что <tex>f_1(x_1) - f(x_1) \le f_1(x_2) - f(x_2)</tex>, или что <tex>f(x_2) - f(x_1) \le f_1(x_2) - f_1(x_1) = \bigvee\limits_{x_1}^{x_2} (f)</tex> (используем утверждение 1).
Но действительно, $f(x_2) - f(x_1) \le | f(x_2) - f(x_2) | \le \bigvee\limits_{x_1}^{x_2} (f)$, ч. т. д.
+
Но действительно <tex>abacaba f(x_2) - f(x_1) \le | f(x_2) - f(x_1) | \le \bigvee\limits_{x_1}^{x_2} (f)</tex>, ч. т. д.
 
}}
 
}}
</wikitex>
 

Версия 16:57, 22 июня 2012

Рассмотрим [math]f : [a, b] \to \mathbb{R}[/math] и ее разбиение [math]\tau: a = x_0 \lt x_1 \dots \lt x_n = b[/math]


Определение:
Вариацией функции [math]f[/math] по разбиению [math]\tau[/math] называется [math]\bigvee\limits_a^b (f, \tau) = \sum\limits_{k = 0}^{n - 1} | f(x_{k + 1}) - f(x_k)|[/math].

Полной вариацией называется [math]\bigvee\limits_a^b(f) = \sup\limits_{\tau} \bigvee\limits_a^b (f, \tau)[/math].
[math]f[/math] называется функцией ограниченной вариации, если [math]\bigvee\limits_a^b(f) \lt + \infty[/math].

Класс функций ограниченной вариации обозначается как [math]\bigvee(a, b)[/math].


Утверждение:
Пусть [math]f[/math] монотонно не убывает, тогда она ограниченной вариации.
[math]\triangleright[/math]
По определению неубывания, [math]|f(x_{k+1}) - f(x_k)| = f(x_{k+1}) - f(x_k)[/math], тогда вариация равна [math]f(b) - f(a)[/math], то есть конечна. Аналогично с не возрастающей функцией.
[math]\triangleleft[/math]
Утверждение:
Пусть [math]f'[/math] опредлена на [math](a, b)[/math] и ограничена, тогда [math]f[/math] — функция ограниченной вариации.
[math]\triangleright[/math]

[math]f' \lt M \Rightarrow \bigvee_a^b (f) \le M(b - a) \le + \infty[/math]

TODO: НЕ ОЧЕНЬ ПОНИМАЮ, ЗАЧЕМ ВООБЩЕ ЭТО УТСВЕРЖДЕНИЕ ТУТ
[math]\triangleleft[/math]
Утверждение:
Не все непрерывные функции имеют ограниченную вариацию.
[math]\triangleright[/math]

Возьмем [math]f(x) = x \sin(\frac 1x), x \int [0; 1], f(0) = 0[/math]

TODO: ЭМ, ТУТ КАКОЙ-ТО ТРЕШ
[math]\triangleleft[/math]
Теорема (аддитивность вариации):
Пусть [math]f(x) \in \bigvee(a, c)[/math] и [math]b \in [a, c][/math], тогда [math]\bigvee\limits_a^c (f) = \bigvee\limits_a^b (f) = \bigvee\limits_b^c (f)[/math].
Доказательство:
[math]\triangleright[/math]

1) Рассмотрим разбиения [math]\tau_1: a = x_0 \lt \dots \lt x_p = b, \tau_2: b = x_p \lt \dots \lt x_{p + m} = c[/math]. [math] \tau_1 \cup \tau_2 = a = x_0 \lt \dots \lt x_{p+m} = c [/math].

По определению полной вариации, [math]\forall \varepsilon \gt 0 \exists \tau_1, \tau_2: \bigvee\limits_a^b (f) - \varepsilon \lt \bigvee\limits_a^b (f, \tau_1), \bigvee\limits_b^c (f) - \varepsilon \lt \bigvee\limits_b^c (f, \tau_2)[/math]

[math] \bigvee\limits_a^b (f) + \bigvee\limits_b^c(f) - 2 \varepsilon \lt \bigvee\limits_a^b (f, \tau_1) + \bigvee\limits_b^c (f, \tau_2) = \bigvee\limits_a^c (f, \tau_1 \cup \tau_2) \le \bigvee\limits_a^c(f) [/math]

Устремляя [math]\varepsilon[/math] к 0, получаем [math] \bigvee\limits_a^b (f) + \bigvee\limits_b^c(f) \le \bigvee\limits_a^c (f)[/math]. 2) Для любого [math]\varepsilon \gt 0 \exists \tau \bigvee\limits_a^c (f) - \varepsilon \lt \bigvee\limits_a^c (f, \tau)[/math]. Однако в это разбиение может не войти точка [math]b[/math] в это разбиение, поэтому получим из него разбиение [math]\tau' : a=x_0 \lt \dots \lt x_p = b \lt x_{p+1} \lt \dots \lt x_{p+m} = c[/math]. Пусть [math]\tau_1[/math] — разбиение [math]a=x_0 \lt \dots x_p=b[/math], а [math]\tau_2[/math] — разбиение [math]x_p = b \dots x_{p+m} = c[/math]. Тогда:

[math]\bigvee\limits_a^c (f) - \varepsilon \lt \bigvee\limits_a^c (f, \tau) \le \bigvee\limits_a^c (f, \tau') \le \bigvee\limits_a^b (f, \tau_1) + \bigvee\limits_b^c (f, \tau_2) \le \bigvee\limits_a^b (f) + \bigvee\limits_b^c (f) [/math].

Устремляя [math]\varepsilon[/math] к 0, получим [math] \bigvee\limits_a^c (f) \le \bigvee\limits_a^b (f) + \bigvee\limits_b^c (f) [/math]. Объединяя этот результат с результатом 1 пункта, приходим к требуемому равенству.
[math]\triangleleft[/math]
Теорема:
Если [math]f[/math] — функция ограниченной вариации ([math]f \in \bigvee(a, b)[/math]), то ее можно представить в виде разности монотонно неубывающих функций ([math]f = f_1 - f_2[/math]).
Доказательство:
[math]\triangleright[/math]

Возьмем в качестве [math]f_1[/math] функцию [math]f_1(x) = \bigvee\limits_a^x (f)[/math], тогда по аддитивности она будет не убывать. Определим как [math]f_2[/math] функцию [math]f_2(x) = f_1(x) - f(x)[/math]. Докажем, что она монотонно не убывает. [math]a \lt x_1 \lt x_2 \lt b[/math]. Надо доказать, что [math]f_1(x_1) - f(x_1) \le f_1(x_2) - f(x_2)[/math], или что [math]f(x_2) - f(x_1) \le f_1(x_2) - f_1(x_1) = \bigvee\limits_{x_1}^{x_2} (f)[/math] (используем утверждение 1).

Но действительно [math]abacaba f(x_2) - f(x_1) \le | f(x_2) - f(x_1) | \le \bigvee\limits_{x_1}^{x_2} (f)[/math], ч. т. д.
[math]\triangleleft[/math]