Функции
[95/91%]Опишите множества функций , обладающих одним из следующих свойств :
;
;
;
;
;
;
;
;
.
Пусть функция определена на . Докажите эквивалентность свойств а)-д) функции :
-
функция непрерывна на ;
-
множество открыто для любого открытого множества ;
-
множество замкнуто для любого замкнутого множества ;
-
для любого множества и открыты;
-
для любого множества и замкнуты.
-
Достаточно ли условие «для любого множество замкнуто» для непрерывности функции ?
Докажите, что любая функция, определённая на множестве , имеет не более чем счётное множество точек разрыва первого рода.
Пусть - счётные множества, содержащиеся в , . Определите на функцию, которая в точках непрерывна только слева, в точках - только справа и непрерывна в остальных точках отрезка .
Пусть - множество точек, в которых определённая на функция разрывна слева (соответственно, справа). Верно ли, что если одно из этих множеств не более чем счётно, то и другое таюже не более чем счётно?
Пусть - функция Дирихле:
Докажите, что при любом
Существует ли такая последовательность непрерывных на функций , что при любом ?
Докажите, что множество точек разрыва произвольной функции, определённой на промежутке , есть множество типа (т. е. объединение последовательности замкнутых множеств). Верно ли это, если функция определена на произвольном метрическом пространстве?
Определите на функцию с заданным множеством точек разрыва , если:
- замкнутое множество;
, где каждое множество замкнуто.
Определите на интервале такую функцию, что любой непустой интервал содержит континуум её точек непрерывности и точек разрыва.
Докажите, что функция , определённая на промежутке , непрерывна тогда и только тогда, когда
-
функция обладает свойством Коши (т. е. образ каждого промежутка , содержащегося в , является промежутком) и
-
множество замкнуто для любого .
Докажите, что определённая на отрезке функция непрерывна тогда и только тогда, когда её график связен и замкнут.
Пусть , функция определена на и имеет в каждой неизолированной точке множества локальный экстремум. Докажите, что тогда множество не более чем счётно. Верно ли это, если - сепарабельное метрическое пространство? произвольное метрическое пространство?
Опишите все непрерывные на отрезке функции, имеющие в каждой точке интервала локальный экстремум.
Пусть функция определена и взаимно однозначна на промежутке () и непрерывна в точке .
Обязательно ли функция непрерывна в точке ? Всегда ли имеет односторонние пределы в точке ?
Будет ли функция непрерывна в точке при условии, что строго монотонна?
Пусть . Докажите, что функция взаимно однозначна тогда и только тогда, когда она строго монотонна.
Пусть положительная функция определена и дифференцируема на промежутке . Докажите, что если , то для любого
при ;
при .
Докажите, что если и для любого существует предел , то существует предел .
Определите на промежутке функцию , удовлетворяющую условиям:
-
для любого ;
-
ограничена на любом конечном промежутке и имеет разрывы только первого рода;
-
множество частичных пределов функции на бесконечности заполняет (сравните с задачей 1.17).
Определите на промежутке функцию , удовлетворяющую условиям:
-
для любого ;
-
множество значений на любом непустом интервале заполняет (сравните с задачей 1.17).
Докажите, что если и при для любого , то при ша любом конечном промежутке и, следовательно, функция равномерно непрерывна на .
Пусть . Будем говорить, что график имеет горизонтальную хорду длины , если найдётся такая точка , что . Докажите, что если , то для любого найдётся горизонтальная хорда длины . Покажите, что для хорд другой длины это, вообще говоря, неверно.
Докажите, что если и для любого
то - линейная функция.
Будем говорить, что функция непрерывна по Чезаро в точке , если
Опишите все функции, непрерывные по Чезаро хотя бы в одной точке.
Пусть при . Докажите, что
существуют такие числа , что для всех ;
функция не монотонна на ;
функция не имеет предела при .
Существует ли непрерывная на промежутке функция, у которой все множества постоянства счётны (равномощны )?
Всякий ли положительный многочлен от двух вещественных переменных достигает своей нижней грани на плоскости?
Пусть функция определена и раздельно непрерывна на квадрате . Докажите, что найдётся такая последовательность функций, непрерывных на , что при любых (т.е. - функция первого класса Бэра на ).
Пусть функция определена и раздельно непрерывна на . Докажите, что если обращается в нуль на всюду плотном множестве (т.е. множестве, замыкание которого совпадает с ), то .
Пусть функция определена на . Докажите, что следующие свойства функции эквивалентны (сравните с задачей 1.2):
-
функция полунепрерывна снизу;
-
множество открыто для любого ;
-
множество замкнуто для любого ;
-
если , то ;
-
для любой точки и любого числа найдётся такая окрестность точки , что при .
Пусть — произвольный промежуток. Функция , определённая на и принимающая, может быть, значение (), называется полунепрерывной снизу (сверху), если для любой точки
Докажите, что
характеристическая функция множества полунепрерывна снизу тогда и только тогда, когда множество открыто;
функция , определяемая равенством
полунепрерывна сверху.
Докажите, что если функция полунепрерывна снизу на отрезке и принимает лишь конечные значения, то она достигает наименьшего значения на (и, следовательно, ограничена снизу). Верно ли, что она ограничена сверху?
Пусть - произвольная функция, определённая на промежутке . Докажите, что функция полунепрерывна снизу.
Пусть - семейство полунепрерывных снизу функций, определённых на промежутке и для любого . Докажите, что функция полунепрерывна снизу. Верно ли это для функции ? Будет ли функция полунепрерывна снизу, если семейство конечно? счётно?
Докажите, что функция полунепрерывна снизу, ссли и только если
Пусть
Докажите, что функция является полиномом степени не выше тогда и только тогда, когда при любых .
Пусть . Докажите, что при тогда и только тогда, когда и равномерно непрерывна на .
Пусть функция дифференцируема на отрезке . Докажите, что если , то существует такая точка , что (теорема Дарбу).
Пусть функция дифференцируема на отрезке . Докажите, что если множество замкнуто при любом , то .
Пусть функция определена на интервале . Докажите, что тогда и только тогда, когда отношение стремится при к конечному пределу равномерно на каждом промежутке из ().
Пусть и для любого существует конечный предел . Докажите, что
если на , то функция возрастает;
если , то функция постоянна;
если , то .
Пусть и для любого существует конечный предел . Докажите, что
если на , то функция выпукла;
если , то функция есть многочлен не выше первой степени (теорема Шварца);
если , то .
Пусть функция дифференцируема на () и удовлетворяет условию: для любой точки существует такое число , что при . Докажите, что функция есть многочлен не выше второй степени.
Пусть - замкнутое множество без внутренних точек. Докажите, что существует такая строго возрастающая функция , что .
Пусть . Эквивалентны ли утверждения:
-
функция постоянна на ;
-
;
-
.
Может ли производная всюду дифференцируемой и не постоянной на интервале функции обратиться в нуль
во всех иррациональных точках этого интервала?
на плотном подмножестве (в каждом непустом подынтервале имеется корень производной)?
Изменится ли ответ, если дополнительно потребовать ограниченности производной?
Пусть . Докажите, что если функция непрерывна в точке , то и функция непрерывна в этой точке.
Пусть функция определена на промежутке . Вариацией функции на называется наименьшая верхняя граница всевозможных сумм
Функция называется функцией ограниченной вариации на , если . Символом будем обозначать множество всех функций, имеющих ограниченную вариацию на .
Пусть . Докажите, что
Рис. 6
Докажите, что
если , где или 1 , то ;
на средней трети каждого промежутка , определённого при построении канторова множества (см. § 1 гл. I), функция постоянна и принимает значение ;
;
при ;
при ;
при ;
при , где .
Пусть при
График функции изображён на рис. 6 к задаче 3.13. Функцию называют канторовой функцией (а её график - «канторовой лестницей»).
Найдите длину графика канторовой функции.
При каких канторова функция входит в класс
Пусть - обобщённое канторово множество (см. определение перед задачей I.1.29), - его сегменты -го ранга. Пусть, далее, - интервалы, удаляемые из сегментов при построении сегментов -го ранга.
Определим на функцию следующим образом:
Функцию будем называть канторовой функцией, соответствующей множеству . Докажите, что
функция возрастает и непрерывна на ;
для любой точки и любого числа справедливо неравенство (функция строго возрастает в любой точке множества ).
Обобщённое канторово множество строится следующим образом. Пусть - произвольный невырожденный сегмент. Множество получается удалением из непустого интервала , концы которого не совпадают с и ; иными словами, есть объединение двух невырожденных сегментов и , называемых сегментами первого ранга. При построении сегментов -го ранга из каждого сегмента -го ранга удаляется непустой интервал , концы которого не совпадают с концами ; разность состоит из двух сегментов -го ранга, левый из которых обозначается , а правый - . Множество есть объединение всех сегментов -го ранга. Если множество не имеет внутренних точек, то оно называется обобщённым канторовым множеством.
Пусть - замкнутое множество без изолированных точек. Докажите, что существует такая функция , что
-
при любом ;
-
при любом и любом .
Пусть при . Докажите, что дифференцируема на , но функция не дифференцируема в нуле. Существует ли при ?
Пусть при . Докажите, что
, если и только если ;
лишь при ;
если , то , где .
Пусть . Постройте функцию из класса , не имеющую ограниченной вариации ни на каком невырожденном промежутке .
Укажите такие функции , что
и при любом ;
и при любом .
Пусть функция непрерывна и -периодична,
Докажите, что , точнее, что
Пусть . Докажите, что , но при .
Пусть , где . Докажите, что , где , но при .
Пусть . Докажите, что при любом . Верно ли, что ?
Пусть . Докажите, что
при ;
функция не дифференцируема ни в одной точке.
Оцените сверху модуль непрерывности функции .
В задачах 3.27-3.29 рассматриваются различные варианты примера Вейерштрасса всюду непрерывной, но нигде не дифференцируемой функции. В своё время этот пример вызвал оживлённое обсуждение. Широко известны слова Ш. Эрмита, что он «с ужасом отворачивается от внушающей сожаление язвы непрерывных функций, не имеющих ни в одной точке производной» (по мнению Н.Бурбаки, это сказано «не без некоторого юмора, который, по-видимому, дошёл не до всех комментаторов»). Большая свобода приводимой ниже конструкции позволяет, основываясь на общей идее, строить недифференцируемые функции, принадлежащие классам при любом . Отметим, что в классе такие примеры заведомо невозможны, так как в силу теоремы Лебега функции ограниченной вариации (и тем более функции из класса ) дифференцируемы на множестве полной меры (см., например, [Ву], [КФ], [Т]). Однако существуют нигде не дифференцируемые функции, модуль непрерывности которых «сколь угодно мало» отличается от липшицевского.
Пусть - произвольная определённая на полуоси непрерывная возрастающая функция, удовлетворяющая условиям: убывает при и .
Докажите, что существует такая непрерывная, нигде не дифференцируемая -периодическая функция вида
модуль непрерывности которой есть .
Пусть - периодическая и не постоянная на функция, принадлежащая классу .
Докажите, что для любого непрерывная функция
не дифференцируема ни в одной точке, если параметр достаточно велик.
Докажите, что если последовательность положительных чисел такова, что , то при любом функция
принадлежит классу , а при это уже, вообще говоря, не так.
Пусть - множество критических точек функции . Докажите, что
если для любой точки , то
если функция дважды дифференцируема на , то
Говорят, что функция , определенная на промежутке , содержащем точку , принадлежит классу (), если существуют такие положительные числа и , что для любой точки из пересечения .
Точка, в которой производная гладкой функции (в случае функций нескольких переменных - градиент гладкой функции) обращается в нуль, называется критической точкой этой функции, а значение функции в критической точке называется её критическим значением.
Докажите, что существует функция , у которой множество критических значений совпадает с классическим канторовым множеством (см. задачу I.1.29 и текст перед ней).
По теореме Сарда (см., например, [МУ]) множество критических значений функции из класса имеет меру нуль и, следовательно, не содержит внутренних точек. Предположение о -гладкости функции не может быть существенно ослаблено.
Точка, в которой производная гладкой функции обращается в нуль, называется критической точкой этой функции, а значение функции в критической точке называется её критическим значением (см. также задачу 3.30).
Обобщённое канторово множество называется однородным, если для каждого длины всех его сегментов -го ранга (см. замечание к задаче 3.17) одинаковы; обозначим эту общую длину (полагая ). Если отношение одно и то же при всех , то такое множество называется множеством с постоянным отношением ; при этом . Классическое канторово множество получается при и .
Взяв функцию , построенную в предыдущей задаче, и положив , покажите, что утверждение теоремы Сарда перестаёт быть верным в классе функций, у которых частные производные первого порядка удовлетворяют условию Липшица с показагелем . Модифицируя это построение, убедитесь, что контрпример к теореме Сарда можно получить и в классе гладких функций, частные производные которых удовлетворяют условию Липшица с любым показателем .
Пусть
Докажите, что образ любого замкнутого множества снова есть замкнутое множество. Верно ли это для произвольного многочлена от двух переменных?
Пусть
Докажите, что взаимно однозначно отображает на . Найдите .
Существует ли разбиение отрезка на два непересекающихся множества и , каждое из которых можно отобразить на другое взаимно однозначно и взаимно непрерывно (гомеоморфно)?
Определим на отрезке функции и следующим образом. Пусть , где . Тогда , где , если - чётное число, , если - нечётное число, , если - чётное число, и , если - нечётное число (). Аналогично, , где , если - чётное число, , если - нечётное число, , если чётное число, и , если - нечётное число.
Докажите, что функции и корректно определены и непрерывны.
Пусть - отображение с координатными функциями и при . Докажите, что отображает отрезок на квадрат . Схематически отображение описано на рис. 7. Каждый из отрезков отображается на квадрат с тем же номером (рис. ). На рис. 7,6 показан обход единичного квадрата при разбиении отрезка на частей.
Рис. 7
Докажите, что система уравнений
имеет не более четырёх решений при любых . Укажите пары , для которых эта система имеет четыре решения.
Докажите, что множества постоянства функций и (т. е. множества и ) не имеют изолированных точек.
Докажите, что , но , если .
Непрерывное отображение отрезка на квадрат называется кривой Пеано. Пусть и и - координатные функции произвольной кривой Пеано, заданной на отрезке . Докажите, что если , то . (Таким образом, гладкость координатных функций кривой Пеано, построенной в предыдущей задаче, - наилучшая из возможных).
Докажите, что любые два обобщённых канторовых множества гомеоморфны, т.е. между ними можно установить взаимно однозначное и взаимно непрерывное соответствие.
Пусть - счётные всюду плотные в множества. Постройте диффеоморфизм отрезка (отображение на себя, непрерывно дифференцируемое вместе с обратным отображением), переводящий на .
Пусть . Точка из называется наилучшим приближением к в , если для всех .
Докажите, что если - выпуклое компактное множество, то
для всякой точки существует единственное наилучшее приближение в ;
метрическая проекция , сопоставляющая точке её наилучшее приближение в , есть сближающее отображение: при любых ;
если и содержится в компактном множестве , то , где и - границы множеств и .
Опишите все функции , удовлетворяющие уравнению при любом , в следующих случая:
;
.
Пусть функция удовлетворяет уравнению . Докажите, что
;
если функция ограничена сверху на некотором непустом интервале, то она линейна, те. , где ;
если функция разрывна хотя бы в одной точке, то её график есть плотное в множество.
Опишите все монотонные функции , удовлетворяющие уравнению для всех .
Опишите все функции , удовлетворяющие уравнению при любых .
Найдите все функции , удовлетворяющие системе уравнений
Пусть . Опишите все такие функции , что при любых .
Пусть функция при некотором удовлетворяет условию для любых . Докажите, что представима в виде суммы линейной функции и функции, не превосходящей по абсолютной величине.
Пусть функция удовлетворяет условию при любых . Докажите, что при любом , где .
Пусть функция удовлетворяет условию , при любых . Докажите, что при любом ( - фиксированное число).
Обобщите этот результат на случай, когда
при и некотором .
Пусть . Опишите все такие функции из , что разность не зависит от .
Опишите все функции , удовлетворяющие условию при .
Опишите все неубывающие функции , удовлетворяющие условию при .
Найдите такую непрерывную строго возрастающую функцию , что при любом .
Пусть . Найдите все непрерывные взаимно однозначные отображения круга на себя, удовлетворяющие условию для всех .
Докажите, что существует единственная монотонная функция , удовлетворяющая условиям
при любом .
Найдите все функции , удовлетворяющие при любых условиям
Для каких непрерывных функций найдётся такая функция , что для всех ?
Опишите все непрерывные функции , удовлетворяющие условиям:
-
для всех ;
-
если , то при любом .
Какие из этих функций симметричны (значение сохраняется при любых перестановках координат )?
Найдите общий вид характеров в группах:
;
;
(группа вычетов по модулю ).
Пусть и - произвольные группы (с мультипликативной записью групповой операции). Отображение называется гомоморфизмом, если оно сохраняет групповую операцию, т.е. если для любых . Гомоморфизм группы в группу комплексных чисел, равных по модулю единице, называется характером группы .
Найдите общий вид непрерывных характеров в группах (аддитивных)
;
;
;
; и группах (мультипликативных)
;
;
.
Непрерывную функцию будем называть характером второй степени, если она удовлетворяет функциональному уравнению ()
Докажите, что
при каждом функция является характером;
формула , где , описывает общий вид характеров второй степени.
Опишите все непрерывные гомоморфизмы группы в группу в следующих случаях (используются обозначения, введённые в задаче 5.19):
;
;
;
;
;
.