Необходимо построить две непрерывных функции $%F$% и $%G$% определенные на $%[a;b]$% так, что на всяком отрезке $%[a_0;b_0] \subset [a;b]$% существует отрезок $%[a_0';b_0'] \subset [a_0;b_0]$% на котором $%G'(x) = F'(x)$% и при этом $%F(x) - G(x) \ne const$% задан 14 Мар '16 20:25 almacat
показано 5 из 6
показать еще 1
|
Наверное, подойдёт пример канторовой лестницы в качестве F, и G=0?
не подходит. В точках К.М. произодная не 0, а К.М. всюду плотно.
Пусть такая функция есть, возьмем некоторый отрезок $%[a_0,b_0]$%, тогда на некотором отрезка $%[a_0',b_0']$% $%G' = F'$%. Теперь если вместо $%[a_0,b_0]$% взять любой отрезок из $%[a_0',b_0']$% (ведь свойство для любого отрезка должно быть выполнено), то для него будет $%G' = F'$% и $%F - G = constant.$%
@spades: как раз наоборот -- канторово множество нигде не плотно. В любом отрезке есть такой отрезок, где точек к.м. нет, и производная там у функции нулевая.
@Tzara, не должны отличаться на константу на всём отрезке от a до b
@Tzara: тут речь идёт о непрерывных функциях. В Вашем примере, если я правильно его понял, F разрывна.
@almacat: условие $%F-G\neq const$% относится, как я понимаю ко всему отрезку? Тогда пример канторовой лестницы годится.