Обсуждение:Интеграл Римана-Стилтьеса — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
 
(не показано 13 промежуточных версий 4 участников)
Строка 4: Строка 4:
 
::: Неправда, что из того, что из <tex>fg'</tex> и <tex>g'</tex> {{---}} ограничены, то <tex>f</tex> {{---}} ограничено. Например, <tex>g' = 0</tex>. Тогда <tex>f</tex> {{---}} любая. --[[Участник:Komarov|Андрей Комаров]] 20:21, 25 июня 2012 (GST)
 
::: Неправда, что из того, что из <tex>fg'</tex> и <tex>g'</tex> {{---}} ограничены, то <tex>f</tex> {{---}} ограничено. Например, <tex>g' = 0</tex>. Тогда <tex>f</tex> {{---}} любая. --[[Участник:Komarov|Андрей Комаров]] 20:21, 25 июня 2012 (GST)
 
:::: Блин, какой я дурак. Тогда Додонов дал неправильное доказательство. --[[Участник:Dmitriy D.|Dmitriy D.]] 06:14, 26 июня 2012 (GST)
 
:::: Блин, какой я дурак. Тогда Додонов дал неправильное доказательство. --[[Участник:Dmitriy D.|Dmitriy D.]] 06:14, 26 июня 2012 (GST)
 +
:: Додонов на консультации сегодня сказал, что <tex>f</tex> - непрерывная (внезапно). --[[Участник:Dmitriy D.|Dmitriy D.]] 16:53, 26 июня 2012 (GST)
 +
::: Добавил требование неперерывности <tex>f</tex> в условие. --[[Участник:Sementry|Мейнстер Д.]] 19:25, 26 июня 2012 (GST)
 +
 +
Что-то у меня не получается доказать, что если <tex> f, g </tex> - ограниченной вариации, то и <tex> fg </tex> — тоже ограниченной вариации, кто-нибудь умеет это доказывать?
 +
: лох! пидр! --[[Участник:Dgerasimov|Дмитрий Герасимов]] 17:11, 27 июня 2012 (GST)
 +
:: Как сдал-то? --[[Участник:Sementry|Мейнстер Д.]] 20:51, 27 июня 2012 (GST)
 +
::: троечкаааа --[[Участник:Dgerasimov|Дмитрий Герасимов]] 23:55, 27 июня 2012 (GST)
 +
:::: Ну ты понял, кто ты. --[[Участник:Sementry|Мейнстер Д.]] 00:35, 28 июня 2012 (GST)
 +
::::: Чатик! --[[Участник:Komarov|Андрей Комаров]] 00:58, 28 июня 2012 (GST)
 +
: А нельзя провернуть такой трюк? Доказываем, что <tex>f\pm g</tex>, <tex>f^2</tex> {{---}} ограниченной вариации. Тогда по чудо-формуле <tex>fg = \frac14(f + g)^2 - \frac14(f - g)^2</tex> получаем ограниченность вариации <tex>fg</tex>. Докажем <tex>f^2 \in \bigvee</tex>. <tex>f \in \bigvee \Rightarrow |f| < M</tex>. Рассмотрим разбиение. Каждая разность в <tex>f^2</tex> по нему увеличилась не более, чем в <tex>2M</tex> раз. Значит, <tex>2M\bigvee(f) \ge \bigvee(f^2) </tex>.--[[Участник:Komarov|Андрей Комаров]] 01:09, 28 июня 2012 (GST)
 +
:: <tex>f \in \bigvee \Rightarrow |f| < M</tex> - вооот! Этого-то мне и не хватало для полного счастья, что-то мне это утверждение показалось сомнительным. Но, видимо, это действительно так, иначе всегда можно предъявить разбиение, на котором вариация функции сколь угодно велика, да? --[[Участник:Sementry|Мейнстер Д.]] 01:18, 28 июня 2012 (GST)
 +
::: Тип того --[[Участник:Komarov|Андрей Комаров]] 01:27, 28 июня 2012 (GST)
 +
:::: Кстати, а ты как сдал? --[[Участник:Sementry|Мейнстер Д.]] 01:30, 28 июня 2012 (GST)
 +
::::: Да так же, как и Герасимов {{---}} тройка --[[Участник:Komarov|Андрей Комаров]] 01:38, 28 июня 2012 (GST)
 +
:::::: Что же вы все так =( --[[Участник:Sementry|Мейнстер Д.]] 01:43, 28 июня 2012 (GST)

Текущая версия на 00:43, 28 июня 2012

[math] \sum\limits_{k=0}^{n-1} f(\xi_k) (g'(\xi'_k) - g'(\xi_k)) \Delta x_k \le \sum\limits_{k=0}^{n-1} M \varepsilon \Delta x_k [/math]

Почему этот переход верен? Вроде бы, нам не гарантируется, что функция [math] f [/math] ограничена. --Мейнстер Д. 13:29, 24 июня 2012 (GST)
Если функция интегрируема (по Риману), то она конечна. И кроме того [math]g'[/math] — ограниченна как непрерывная функция на компакте и тогда, раз [math]fg'[/math] ограниченна то и [math]f[/math] ограниченна. --Dmitriy D. 01:22, 25 июня 2012 (GST)
Неправда, что из того, что из [math]fg'[/math] и [math]g'[/math] — ограничены, то [math]f[/math] — ограничено. Например, [math]g' = 0[/math]. Тогда [math]f[/math] — любая. --Андрей Комаров 20:21, 25 июня 2012 (GST)
Блин, какой я дурак. Тогда Додонов дал неправильное доказательство. --Dmitriy D. 06:14, 26 июня 2012 (GST)
Додонов на консультации сегодня сказал, что [math]f[/math] - непрерывная (внезапно). --Dmitriy D. 16:53, 26 июня 2012 (GST)
Добавил требование неперерывности [math]f[/math] в условие. --Мейнстер Д. 19:25, 26 июня 2012 (GST)

Что-то у меня не получается доказать, что если [math] f, g [/math] - ограниченной вариации, то и [math] fg [/math] — тоже ограниченной вариации, кто-нибудь умеет это доказывать?

лох! пидр! --Дмитрий Герасимов 17:11, 27 июня 2012 (GST)
Как сдал-то? --Мейнстер Д. 20:51, 27 июня 2012 (GST)
троечкаааа --Дмитрий Герасимов 23:55, 27 июня 2012 (GST)
Ну ты понял, кто ты. --Мейнстер Д. 00:35, 28 июня 2012 (GST)
Чатик! --Андрей Комаров 00:58, 28 июня 2012 (GST)
А нельзя провернуть такой трюк? Доказываем, что [math]f\pm g[/math], [math]f^2[/math] — ограниченной вариации. Тогда по чудо-формуле [math]fg = \frac14(f + g)^2 - \frac14(f - g)^2[/math] получаем ограниченность вариации [math]fg[/math]. Докажем [math]f^2 \in \bigvee[/math]. [math]f \in \bigvee \Rightarrow |f| \lt M[/math]. Рассмотрим разбиение. Каждая разность в [math]f^2[/math] по нему увеличилась не более, чем в [math]2M[/math] раз. Значит, [math]2M\bigvee(f) \ge \bigvee(f^2) [/math].--Андрей Комаров 01:09, 28 июня 2012 (GST)
[math]f \in \bigvee \Rightarrow |f| \lt M[/math] - вооот! Этого-то мне и не хватало для полного счастья, что-то мне это утверждение показалось сомнительным. Но, видимо, это действительно так, иначе всегда можно предъявить разбиение, на котором вариация функции сколь угодно велика, да? --Мейнстер Д. 01:18, 28 июня 2012 (GST)
Тип того --Андрей Комаров 01:27, 28 июня 2012 (GST)
Кстати, а ты как сдал? --Мейнстер Д. 01:30, 28 июня 2012 (GST)
Да так же, как и Герасимов — тройка --Андрей Комаров 01:38, 28 июня 2012 (GST)
Что же вы все так =( --Мейнстер Д. 01:43, 28 июня 2012 (GST)