Метрические пространства
[191/21%]Докажите, что множество является метрическим пространством с
Докажите, что множество является метрическим пространством с
Докажите, что множество является метрическим пространством с
Докажите теорему 2.1.6.
Теорема 2.1.6: Евклидова норма обладает следующими свойствами: (a) для любого , ; (b) тогда и только тогда, когда ; (c) если и , ; (d) если , .
Докажите теорему 2.1.7.
Теорема 2.1.7: Множество с функцией расстояния является метрическим пространством.
Докажите, что с расстоянием является метрическим пространством.
Докажите, что с расстоянием является метрическим пространством.
Докажите, что множество является метрическим пространством с
Докажите, что множество дифференцируемых функций на с непрерывными производными является метрическим пространством с .
Докажите, что множество является метрическим пространством с
Определите значения , при которых является метрикой на .
Пусть — произвольное непустое множество, и определим следующим образом: тогда и только тогда, когда , и в противном случае. Докажите, что ( ) — метрическое пространство
Пусть — множество всех ограниченных последовательностей, и для пусть . Докажите, что — метрическое пространство.
Пусть, для , ( ) — метрические пространства. Пусть , и для пусть . Докажите, что ( ) — метрическое пространство.
Опишите открытые и замкнутые шары в метрическом пространстве , где расстояние определено как .
Опишите открытые и замкнутые шары в метрическом пространстве ( ), где .
Пусть и , и пусть обозначает метрическое пространство непрерывных функций на с расстоянием . Приведите пример функции, принадлежащей одновременно и .
В метрическом пространстве , где
опишите открытые шары для:
;
.
(См. упражнение 2.1.8.)
Докажите, что — открытое множество в .
Докажите, что открытый шар в метрическом пространстве является открытым множеством.
Докажите, что следующие условия эквивалентны для множества в метрическом пространстве:
открыто.
Каждая точка является внутренней точкой.
совпадает со своей внутренностью.
Докажите, что в метрическом пространстве:
.
Если , то .
.
.
Приведите пример, показывающий, что включение в (d) может быть строгим.
.
Приведите пример, показывающий, что включение в (f) может быть строгим.
Докажите, что внутренность интервала есть открытый интервал .
Докажите, что множество имеет пустую внутренность.
Пусть ( ) — метрическое пространство. Докажите, что:
Пустое множество и всё пространство являются открытыми множествами.
Если — произвольное семейство открытых множеств, то их объединение — открытое множество.
Если — конечное семейство открытых множеств, то их пересечение — открытое множество.
Пусть — подмножества . Докажите, что .
Пусть ( ) — метрическое пространство. Докажите, что:
Пустое множество и всё пространство являются замкнутыми множествами.
Если — произвольное семейство замкнутых множеств, то их пересечение — замкнутое множество.
Если — произвольное семейство замкнутых множеств, то их объединение — замкнутое множество.
Докажите, что множество всех рациональных чисел между и является замкнутым множеством в метрическом пространстве с расстоянием .
Докажите, что замкнутый шар в метрическом пространстве является замкнутым множеством.
Докажите, что в метрическом пространстве ( ), если и , то множество замкнуто.
Приведите пример двух замкнутых множеств , таких что , но .
Докажите, что множество иррациональных чисел является множеством типа .
Докажите, что замыкание интервала есть замкнутый интервал .
Докажите, что замыкание множества есть .
Докажите, что в метрическом пространстве:
.
Если , то .
.
.
Приведите пример, показывающий, что включение в (d) может быть строгим.
.
Приведите пример, показывающий, что включение в (f) может быть строгим.
Докажите, что следующие условия эквивалентны для множества в метрическом пространстве:
замкнуто.
содержит все свои предельные точки.
совпадает со своим замыканием.
Докажите, что замыкание множества равно пересечению всех замкнутых множеств, содержащих .
Докажите, что в метрическом пространстве:
.
.
Докажите или опровергните: в метрическом пространстве ( ) замыкание открытого шара есть замкнутый шар .
Докажите, что граница интервала есть множество .
Докажите, что граница есть множество .
Докажите, что граница любого множества замкнута.
Докажите, что точка в метрическом пространстве принадлежит тогда и только тогда, когда каждый шар имеет непустое пересечение как с , так и с .
Докажите, что множество замкнуто тогда и только тогда, когда оно содержит свою границу.
Докажите, что внутренность границы замкнутого множества есть пустое множество.
Приведите пример метрического пространства, в котором граница открытого единичного шара является собственным подмножеством единичной сферы с тем же центром.
Докажите, что в метрическом пространстве каждая сходящаяся последовательность является последовательностью Коши.
Докажите, что если последовательность не сходится к , то найдётся открытый шар , не содержащий ни одного члена последовательности.
Пусть — открытое множество в , пусть , и пусть — последовательность в , сходящаяся к . Докажите, что .
Пусть — замкнутое множество в , пусть , и пусть — последовательность в , сходящаяся к . Докажите, что .
Пусть — множество в метрическом пространстве , и пусть — предельная точка . Докажите, что найдётся последовательность , сходящаяся к .
Пусть ( ) — метрическое пространство, и пусть . Докажите, что .
В упражнениях 2.2.7-2.2.9, — последовательность неотрицательных действительных чисел.
Докажите, что .
В упражнениях 2.2.7-2.2.9, — последовательность неотрицательных действительных чисел.
Докажите, что .
В упражнениях 2.2.7-2.2.9, — последовательность неотрицательных действительных чисел.
Докажите, что . Приведите пример, показывающий, что неравенство может быть строгим.
Пусть — замкнутое множество, содержащееся в дизъюнктном объединении интервалов и . Докажите, что — замкнутое множество.
Пусть — замкнутые подмножества . Докажите, что — замкнутое подмножество .
Докажите, что в метрическом пространстве каждое замкнутое множество является множеством типа , а каждое открытое множество — множеством типа .
Докажите, что метрическое пространство , где , полно.
Докажите, что евклидово пространство полно.
Докажите, что метрическое пространство , где , не является полным.
Докажите, что множество всех многочленов на с метрикой не является полным метрическим пространством.
Докажите, что множество с метрикой
не является полным.
Докажите, что если подпространство метрического пространства полно, то оно замкнуто.
Приведите пример метрического пространства ( ) и замкнутого множества , которое не является полным.
Пусть — сходящаяся последовательность в метрическом пространстве. Докажите, что каждая подпоследовательность сходится к тому же пределу.
Пусть — последовательность в метрическом пространстве, и предположим, что каждая из трёх её подпоследовательностей , и сходится. Докажите, что — сходящаяся последовательность.
Пусть — последовательность в метрическом пространстве, и предположим, что каждая из её бесконечно многих подпоследовательностей , где , сходится. Докажите или опровергните: — сходящаяся последовательность.
Пусть — последовательность в метрическом пространстве ( ), пусть , и предположим, что каждая подпоследовательность имеет дальнейшую подпоследовательность , сходящуюся к . Докажите, что сходится к .
Пусть ( ) — метрическое пространство, не являющееся полным, и пусть — последовательность Коши в , не являющаяся сходящейся. Докажите, что множество замкнуто.
В упражнениях 2.2.25-2.2.28 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в ( 0,1 ).
.
В упражнениях 2.2.25-2.2.28 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в ( 0,1 ).
.
В упражнениях 2.2.25-2.2.28 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в ( 0,1 ).
.
В упражнениях 2.2.25-2.2.28 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в ( 0,1 ).
.
В упражнениях 2.2.29-2.2.32 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в метрическом пространстве (см. упражнение 2.1.2).
В упражнениях 2.2.29-2.2.32 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в метрическом пространстве (см. упражнение 2.1.2).
В упражнениях 2.2.29-2.2.32 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в метрическом пространстве (см. упражнение 2.1.2).
В упражнениях 2.2.29-2.2.32 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в метрическом пространстве (см. упражнение 2.1.2).
Докажите теорему 2.2.23.
Теорема 2.2.23: Метрическое пространство полно тогда и только тогда, когда каждая быстро сходящаяся по Коши последовательность сходится. (Последовательность в метрическом пространстве называется быстро сходящейся по Коши, если существует сходящийся ряд положительных чисел , такой что для всех .)
Докажите, что последовательность Коши в метрическом пространстве ограничена.
Докажите, что каждое вполне ограниченное метрическое пространство ограничено.
Докажите, что каждое ограниченное подмножество вполне ограничено.
Докажите, что замыкание вполне ограниченного множества в метрическом пространстве вполне ограничено.
Докажите, что метрическое пространство ( ) вполне ограничено тогда и только тогда, когда каждая последовательность в имеет подпоследовательность Коши.
Докажите, что замыкание ограниченного множества в метрическом пространстве ограничено.
Докажите, что компактное множество в метрическом пространстве замкнуто.
Докажите, что замкнутое подмножество компактного метрического пространства компактно.
Докажите, что метрическое пространство ( ) компактно тогда и только тогда, когда каждое бесконечное подмножество имеет предельную точку в .
Докажите, что подмножество полного метрического пространства компактно тогда и только тогда, когда оно вполне ограничено и замкнуто.
В метрическом пространстве , где , определите все подпространства, которые являются:
полными.
компактными.
Докажите или опровергните: множество является компактным подмножеством ( ), где .
Пусть ( ) — полное метрическое пространство. Докажите, что множество вполне ограничено тогда и только тогда, когда компактно.
Пусть ( ) — метрическое пространство всех ограниченных последовательностей с метрикой , где и . (См. упражнение 2.1.13.) Пусть — замкнутый шар радиуса 1 с центром в нулевой последовательности . Докажите, что ограничен и замкнут, но не является секвенциально компактным.
Пусть ( ) — метрическое пространство, и пусть — множество, такое что компактно для каждого компактного множества . Докажите, что замкнуто в .
Пусть ( ) — метрическое пространство. Докажите, что расстояние между замкнутым множеством и компактным множеством, которые не пересекаются, не может быть равно 0. Приведите пример, показывающий, что это неверно, если оба множества лишь замкнуты.
Пусть — непересекающиеся компактные подмножества метрического пространства ( ). Докажите, что существуют непересекающиеся открытые множества , такие что и .
Докажите, что метрическое пространство компактно тогда и только тогда, когда каждое семейство замкнутых подмножеств с свойством конечных пересечений (то есть каждое конечное подсемейство имеет непустое пересечение) имеет непустое пересечение.
Докажите, что метрическое пространство компактно тогда и только тогда, когда каждая убывающая последовательность непустых замкнутых множеств в имеет непустое пересечение.
Докажите, что объединение конечного числа компактных множеств в метрическом пространстве компактно.
Пусть — компактное метрическое пространство, и пусть — возрастающая последовательность открытых подмножеств , такая что . Докажите, что для некоторого .
Пусть — компактные метрические пространства. Докажите, что является компактным метрическим пространством относительно метрики , как в упражнении 2.1.14.
Определите, является ли секвенциально компактным.
Определите, является ли метрическое пространство ( ) секвенциально компактным, где , если , и , если .
Определите, является ли метрическое пространство ( ) секвенциально компактным, где
Определите, является ли метрическое пространство ( ) секвенциально компактным, где
Определите, является ли метрическое пространство секвенциально компактным, где
Докажите теорему 2.3.18.
Теорема 2.3.18: Пусть — компактное метрическое пространство, и пусть непрерывна. Тогда ограничена и достигает своих экстремальных значений на .
Пусть ( ) — метрическое пространство, и пусть непрерывны. Докажите, что и непрерывны.
Пусть , пусть , и предположим, что для каждого интервала , содержащего , функция неограничена на ( ). Докажите, что не является непрерывной в .
Пусть ( ) — метрическое пространство, пусть непрерывна, и пусть . Докажите, что .
Пусть — строго возрастающая непрерывная функция. Докажите, что непрерывна.
Пусть ( ) — метрическое пространство, пусть непрерывны, и пусть . Докажите, что и непрерывны. Более того, если на , докажите, что непрерывна.
Пусть — вещественнозначная функция на метрическом пространстве . Покажите, что множество точек, в которых непрерывна, является пересечением счётного семейства открытых множеств. Заключите, что не существует вещественнозначной функции на , непрерывной только в рациональных точках.
Пусть ( ) — метрическое пространство и — компактное подмножество . Предположим, что функция непрерывна. Докажите, что — компактное подмножество .
Пусть ( ) — метрическое пространство и . Предположим, что функции непрерывны и при . Докажите, что для всех .
Пусть ( ) — метрическое пространство, пусть , и пусть . Докажите, что — непрерывная функция на .
Пусть ( ) — метрическое пространство и пусть и — непересекающиеся замкнутые подмножества . Докажите, что существует непрерывная вещественнозначная функция на такая, что для всех , на , и на .
Пусть — последовательность непрерывных функций, сходящаяся к равномерно на , и пусть — последовательность в , сходящаяся к . Докажите, что сходится к .
Докажите теорему 2.3.17.
Теорема 2.3.17: Пусть — метрическое пространство. Всякое равномерно непрерывное отображение непрерывно. Если, кроме того, компактно, то всякое непрерывное отображение равномерно непрерывно.
Определите, является ли функция из примера 2.3.12 равномерно непрерывной на .
Пример 2.3.12: Пусть . Функция , определённая как , непрерывна на метрическом пространстве .
Определите, является ли функция из примера 2.3.12 непрерывной на ( ) с , определённой как в упражнении 2.1.3, а именно
Является ли она равномерно непрерывной?
Пусть ( ) — метрическое пространство и — фундаментальная последовательность. Предположим, что функция равномерно непрерывна на . Докажите, что — фундаментальная последовательность в . Что если предположить, что лишь непрерывна?
Пусть ( ) — метрическое пространство и пусть . Докажите, что следующие утверждения равносильны:
Функция полунепрерывна сверху в каждой точке .
Все множества с открыты в .
Все множества с замкнуты в .
Докажите, что функция полунепрерывна сверху в каждой точке, кроме , и полунепрерывна снизу в каждой точке, кроме .
Пусть ( ) — метрическое пространство. Предположим, что для каждого существует , метрическое пространство ( ), и отображение такие, что вполне ограничено, и всякий раз, когда таковы, что , то . Докажите, что вполне ограничено.
Докажите теорему Банаха о неподвижной точке (теорема 2.3.21).
Теорема 2.3.21 (теорема Банаха о неподвижной точке): Сжимающее отображение метрического пространства имеет ровно одну неподвижную точку, то есть точку такую, что .
Пусть ( ) — метрическое пространство, , и пусть — предельная точка . Также пусть — вещественное число. Если и оба существуют, докажите, что
;
;
, с дополнительным предположением, что .
Пусть ( ) — метрическое пространство, , и удовлетворяют для всех . Если — предельная точка и если и оба существуют, докажите, что .
Пусть определена как , и пусть . Найдите .
Пусть — метрика на , определённая как
(см. упражнение 2.1.3). Пусть определена как , и пусть . Найдите .
Пусть — метрика на , определённая как
(см. упражнение 2.1.8), и пусть обозначает обычное расстояние на , . Пусть определена как . Найдите .
Докажите теорему 2.4.5.
Теорема 2.4.5: Пусть — последовательность вещественных чисел. Тогда
Пусть ( ) — метрическое пространство, пусть , и пусть . Докажите, что и всегда существуют либо как конечные числа, либо как .
Пусть — последовательность вещественных чисел. Докажите, что равен , где функция определена как .
Докажите, что существует тогда и только тогда, когда оба верхних предела и оба нижних предела (слева и справа) все равны между собой.
Если определена на и , докажите следующее:
.
.
.
Пусть ( ) — метрическое пространство, пусть , и пусть определена как . Докажите, что полунепрерывна сверху.
Пусть — произвольное семейство подмножеств множества . Докажите, что
Пусть ( ) — метрическое пространство и для каждого пусть . Докажите, что
Пусть и — вещественнозначные функции на интервале . Докажите, что
Пусть и — строго положительные функции на интервале , и предположим, что и существуют и не равны 0. Докажите, что:
.
.
Пусть и — неотрицательные функции на интервале ( , и предположим, что и существуют и не равны 0. Докажите, что
Пусть и — неотрицательные функции на интервале ( ), и предположим, что существует. Докажите, что:
.
.
.
.
Пусть ( ) — метрическое пространство, , и . Если — предельная точка , докажите, что:
Если , то существует такое, что всякий раз, когда .
Если , то для каждого найдётся с , такое, что .
Докажите следствие 2.4.9.
Следствие 2.4.9: Пусть — метрическое пространство, пусть , и пусть . Если — предельная точка , то
где — множество всех частичных пределов вдоль последовательностей в , сходящихся к .
Пусть ( ) — метрическое пространство, пусть , и пусть . Если — предельная точка , докажите, что
Пусть и . Докажите, что предел существует тогда и только тогда, когда , и в этом случае они все равны между собой.
Пусть . Докажите, что
.
.
Пусть и . Докажите, что тогда и только тогда, когда для любой последовательности , сходящейся к , .
Пусть . Докажите, что
Докажите теорему 2.4.20.
Теорема 2.4.20: Пусть — дифференцируемая функция на множестве . Тогда липшицева с константой тогда и только тогда, когда она имеет ограниченную производную.
Предположим, что — вещественнозначная липшицева функция на . Докажите, что равномерно непрерывна на .
Пусть ( ) — метрическое пространство и . Пусть определена как . Докажите, что равномерно непрерывна.
Приведите пример функции, которая непрерывна, но не равномерно непрерывна. Приведите пример функции, которая равномерно непрерывна, но не липшицева.
Приведите пример функции, липшицевой на множестве , но не дифференцируемой в точке .
Пусть — вещественнозначная функция, определённая на множестве , такая, что она является непрерывной функцией от (при фиксированном ), и пусть удовлетворяет условию Липшица по , т.е. предположим, что существует такое, что
для всех . Докажите, что непрерывна на .
Пусть , пусть , и рассмотрим : , определённую как . Определите, при каких значениях функция липшицева.
Пусть — метрическое пространство с , и пусть определена как . Определите, является ли липшицевой.
Пусть ( ) — метрическое пространство с , и пусть определена как . Определите, является ли липшицевой.
Пусть определена как , если , и , если , пусть , и рассмотрим , определённую как . Определите, равномерно ли непрерывна . Является ли она липшицевой?
Пусть ( ) — метрическое пространство и . Докажите, что если плотно в и плотно в , то плотно в .
Пусть ( ) — метрическое пространство и . Докажите, что плотно в тогда и только тогда, когда внутренность пуста.
Пусть ( ) — метрическое пространство, пусть — плотные подмножества , и предположим, что открыто.
Докажите, что: плотно в .
Приведите пример, показывающий, что (a) неверно, если отбросить предположение об открытости .
Пусть ( ) — полное метрическое пространство и — открытые плотные подмножества . Докажите, что пересечение плотно в .
Пусть — открытое плотное множество в метрическом пространстве , и пусть — множество с пустой внутренностью. Докажите, что плотно в
Пусть — семейство всех нигде не плотных подмножеств метрического пространства . Докажите, что:
Если , то .
Если , то .
Если и , то .
Приведите пример, показывающий, что не замкнуто относительно счётных объединений.
Пусть — замкнутое подмножество метрического пространства ( ). Докажите, что граница нигде не плотна. Что если — открытое множество?
Пусть — плотное подмножество метрического пространства. Докажите или опровергните: множество нигде не плотно.
Докажите, что график нигде не плотен в .
Докажите, что множество является границей некоторого открытого множества тогда и только тогда, когда оно замкнуто и нигде не плотно.
Пусть — замкнутое подмножество метрического пространства такое, что каждая точка является предельной точкой как , так и . Докажите, что нигде не плотно.
Докажите, что множество в метрическом пространстве нигде не плотно тогда и только тогда, когда для каждого открытого множества найдётся открытое множество такое, что .
Пусть — подмножество полного метрического пространства , и предположим, что и , и плотны. Докажите, что не более чем одно из них является объединением счётного семейства замкнутых множеств. Заключите, что множество рациональных чисел в не является пересечением счётного семейства открытых множеств.
Пусть — полное метрическое пространство без изолированных точек, и пусть — счётное семейство замкнутых, нигде не плотных множеств. Докажите, что плотно в и несчётно.
Пусть ( ) — полное метрическое пространство без изолированных точек. Докажите, что несчётно. Заключите, что множество всех вещественных чисел несчётно.
Докажите, что множество рациональных чисел не является множеством типа .
Пусть ( ) — метрическое пространство. Докажите, что оно второй категории тогда и только тогда, когда, всякий раз, когда , где каждое замкнуто, хотя бы одно из множеств содержит открытый шар.
Докажите, что если подмножество метрического пространства второй категории, то оно обязательно несчётно. Заключите, что интервал несчётен.
Докажите, что в полном метрическом пространстве множество первой категории тогда и только тогда, когда его дополнение содержит плотное множество типа .
Докажите, что если — множество первой категории, то , где .
Приведите пример метрического пространства, которое второй категории, но не полно.
Пусть ( ) — сепарабельное метрическое пространство и — ограниченное подмножество . Докажите, что сепарабельно.
Докажите, что каждое вполне ограниченное метрическое пространство сепарабельно.
Докажите, что компактное метрическое пространство сепарабельно.
Если — бесконечно дифференцируемая функция такая, что для каждого найдётся с , докажите, что — многочлен. (Заметим, что зависит от .)
Предположим, что — непрерывная функция со следующим свойством: для всех последовательность стремится к 0. Докажите, что .
Пусть — последовательность вещественнозначных функций на , определённая как , а — первообразная . Предположим, что для каждого найдётся , для которого . Докажите, что .
Пусть ( ) — метрическое пространство, пусть — последовательность непрерывных вещественнозначных функций на , и предположим, что существует множество второй категории такое, что конечен для каждого . Докажите, что существуют шар и такие, что для всех и всех .
Пусть ( ) — метрическое пространство и пусть — открытое подмножество . Докажите, что второй категории в себе.
Пусть ( ) — метрическое пространство и пусть — подмножество типа . Докажите, что второй категории в себе.
Пусть сходится к вещественнозначной функции для всех . Докажите, что для каждого найдётся плотное подмножество такое, что если , то найдётся открытый интервал , содержащий , и положительное целое число такие, что для всех , .