English: Wikipedia is making the site more secure. You are using an old web browser that will not be able to connect to Wikipedia in the future. Please update your device or contact your IT administrator.
中文: 维基百科正在使网站更加安全。您正在使用旧的浏览器，这在将来无法连接维基百科。请更新您的设备或联络您的IT管理员。以下提供更长，更具技术性的更新（仅英语）。
Español: Wikipedia está haciendo el sitio más seguro. Usted está utilizando un navegador web viejo que no será capaz de conectarse a Wikipedia en el futuro. Actualice su dispositivo o contacte a su administrador informático. Más abajo hay una actualización más larga y más técnica en inglés.
ﺎﻠﻋﺮﺒﻳﺓ: ويكيبيديا تسعى لتأمين الموقع أكثر من ذي قبل. أنت تستخدم متصفح وب قديم لن يتمكن من الاتصال بموقع ويكيبيديا في المستقبل. يرجى تحديث جهازك أو الاتصال بغداري تقنية المعلومات الخاص بك. يوجد تحديث فني أطول ومغرق في التقنية باللغة الإنجليزية تاليا.
Français: Wikipédia va bientôt augmenter la sécurité de son site. Vous utilisez actuellement un navigateur web ancien, qui ne pourra plus se connecter à Wikipédia lorsque ce sera fait. Merci de mettre à jour votre appareil ou de contacter votre administrateur informatique à cette fin. Des informations supplémentaires plus techniques et en anglais sont disponibles ci-dessous.
日本語: ウィキペディアではサイトのセキュリティを高めています。ご利用のブラウザはバージョンが古く、今後、ウィキペディアに接続できなくなる可能性があります。デバイスを更新するか、IT管理者にご相談ください。技術面の詳しい更新情報は以下に英語で提供しています。
Deutsch: Wikipedia erhöht die Sicherheit der Webseite. Du benutzt einen alten Webbrowser, der in Zukunft nicht mehr auf Wikipedia zugreifen können wird. Bitte aktualisiere dein Gerät oder sprich deinen IT-Administrator an. Ausführlichere (und technisch detailliertere) Hinweise findest Du unten in englischer Sprache.
Italiano: Wikipedia sta rendendo il sito più sicuro. Stai usando un browser web che non sarà in grado di connettersi a Wikipedia in futuro. Per favore, aggiorna il tuo dispositivo o contatta il tuo amministratore informatico. Più in basso è disponibile un aggiornamento più dettagliato e tecnico in inglese.
Magyar: Biztonságosabb lesz a Wikipédia. A böngésző, amit használsz, nem lesz képes kapcsolódni a jövőben. Használj modernebb szoftvert vagy jelezd a problémát a rendszergazdádnak. Alább olvashatod a részletesebb magyarázatot (angolul).
Svenska: Wikipedia gör sidan mer säker. Du använder en äldre webbläsare som inte kommer att kunna läsa Wikipedia i framtiden. Uppdatera din enhet eller kontakta din IT-administratör. Det finns en längre och mer teknisk förklaring på engelska längre ned.
हिन्दी: विकिपीडिया साइट को और अधिक सुरक्षित बना रहा है। आप एक पुराने वेब ब्राउज़र का उपयोग कर रहे हैं जो भविष्य में विकिपीडिया से कनेक्ट नहीं हो पाएगा। कृपया अपना डिवाइस अपडेट करें या अपने आईटी व्यवस्थापक से संपर्क करें। नीचे अंग्रेजी में एक लंबा और अधिक तकनीकी अद्यतन है।
We are removing support for insecure TLS protocol versions, specifically TLSv1.0 and TLSv1.1, which your browser software relies on to connect to our sites. This is usually caused by outdated browsers, or older Android smartphones. Or it could be interference from corporate or personal "Web Security" software, which actually downgrades connection security.
You must upgrade your web browser or otherwise fix this issue to access our sites. This message will remain until Jan 1, 2020. After that date, your browser will not be able to establish a connection to our servers.
Определение 19. МножествоЕ называетсяоткрытым , если все его точки являются внутренними, то есть если оно не содержит своих граничных точек.
Определение 20.
МножествоЕ
называетсязамкнутым
,
если оно содержит все свои предельные
точки, то есть.
(Иначе,
).
Пример 1. Любоеn -мерный интеграл – открытое множество. Любой отрезок – замкнутое множество.
Следует обратить особое внимание на то что, классы замкнутых и открытых множеств не охватывают вместе всех множеств, кроме того, эти классы пересекаются. Существуют множества, которые не являются ни замкнутыми, ни открытыми, а так же множества, которые одновременно являются и замкнутыми, и открытыми.
Пример 2. Пустое множество следует считать замкнутым, хотя оно в то же время является и открытым. МножествоR действительных чисел одновременно является и замкнутым, и открытым.
Множество Q рациональных чисел ни замкнуто, ни открыто. Линейный полуинтервал - ни замкнутое, ни открытое множество.
Теорема 3. Любой шарS (a , r ) - открытое множество.
Доказательство:
Пусть
.
Возьмём
.
Докажем, что шар
(это будет означать, что любая точка
шара
- внутренняя, то есть
- открытое множество). Возьмём.
Докажем, что
,
для этого оценим расстояние
:
Следовательно,
,
то есть
,
то естьS
(a
,
r
)
- открытое множество.
Теорема
4.
Производное множество
любого множестваE
замкнуто.
Доказательство:
Пусть
.
Тогда
в
любой окрестности
точки
существует хотя бы одна точка
множества
,
отличная от
.
Так как
- предельная точка множестваE
,
то в любой её окрестности (в том числе
сколь угодно малой, содержащейся в
)
существует хотя бы одна точка
множестваE
, отличная
от точки
.
Таким образом, по определению точка
является предельной точкой для множестваE
.
Итак,
,
что по определению означает замкнутость
множестваE
.
Следует
заметить, что в частном случае производное
множество
может оказаться пустым.
Свойства открытых и замкнутых множеств
Теорема 5. Объединение любого конечного числа замкнутых множеств является замкнутым множеством.
Доказательство:
Пусть
-
замкнутые множества. Докажем, что
- замкнутое множество.
Пусть
- предельная точка множества
.
Тогда
- предельная точка хотя бы одного из
множеств
(доказывается от противного). Так как
- замкнутое множество, то
.
Но тогда
.
Итак, любая предельная точка множества
ему принадлежит, то есть
замкнуто.
Теорема 6. Пересечение любого числа замкнутых множеств является замкнутым множеством.
Доказательство:
Пусть
- любая совокупность замкнутых множеств.
Докажем, что
- замкнутое множество.
Пусть
- предельная точка множества
.
Тогда по теореме 1 в любой окрестности
.
Но все точки множества
являются и точками множеств
.
Следовательно, в
содержится бесконечно много точек из
.
Но все множества
замкнуты, поэтому
и
,
то есть
замкнуто.
Теорема 7. Если множествоF замкнуто, то его дополнениеCF открыто.
Доказательство:
Пусть
.
Так как
замкнуто, то
не является его предельной точкой (
).
Но это означает, что существует окрестность
точки
,
не содержащая точек множестваF
,
то есть
.
Тогда
и поэтому
- внутренняя точка множества
. Так как
- произвольная точка множестваCF
,
то все точки этого множества являются
внутренними, то естьCF
открыто.
Теорема 8. Если множествоG открыто, то его дополнениеCG замкнуто.
Доказательство:
Пусть
вместе с некоторой окрестностью.
Следовательно,
не является предельной точкой множестваCG
. Итак,
не является предельной точкой для
,
то есть
содержит все свои предельные точки. По
определению,
замкнуто.
Теорема 9. Объединение любого числа открытых множеств является открытым множеством.
Доказательство:
Пусть
- произвольная совокупность открытых
множеств
и
.
Докажем, что
- открытое множество. Имеем:
.
Так как
множества
открыты
,
то по теореме 8 множества
замкнуты
.
Тогда по теореме 6 их пересечение
открыто.
Теорема 10. Пересечение любого конечного числа открытых множеств является открытым множеством.
Доказательство:
Пусть
- пересечение любого конечного числа
открытых множеств
.
Докажем, что
- открытое множество. Имеем:
.
Так как
множества
открыты
,
то по теореме 8 множества
замкнуты
.
Тогда по теореме 5 их объединение
замкнуто. По теореме 7 множество
открыто.
Открытые и замкнутые множества
Приложение 1 . Открытые и замкнутые множества
Множество M на прямой называется открытым , если каждая его точка сожержится в этом множестве вместе с некоторым интервалом. Замкнутым называется множество, содержащее все свои предельные точки (т. е. такие, что любой интервал, содержащий эту точку, пересекается со множеством еще хотя бы по одной точке). Например, отрезок является замкнутым множеством, но не является открытым, а интервал, наоборот, является открытым множеством, но не является замкнутым. Бывают множества, которые не являются ни открытыми, ни замкнутыми (например, полуинтервал). Существуют два множества, которые одновременно и замкнутые, и открытые – это пустое и все Z (докажите, что других нет). Легко видеть, что если M открыто, то [` M ] (или Z \ M – дополнение к множеству M до Z ) замкнуто. Действительно, если [` M ] не замкнуто, то оно не содержит какую-то свою предельную точку m . Но тогда m О M , причем каждый интервал, содержащий m , пересекается с множеством [` M ], т. е. имеет точку, не лежащую в M , а это противоречит тому, что M – открытое. Аналогично, тоже прямо из определения, доказывается, что если M замкнуто, то [` M ] открыто (проверьте!).
Теперь докажем следующую важную теорему.
Теорема. Любое открытое множество M можно представить в виде объединения интервалов с рациональными концами (т. е. с концами в рациональных точках).
Доказательство . Рассмотрим объединение U всех интервалов с рациональными концами, являющихся подмножествами нашего множества. Докажем, что это объединение совпадает со всем множеством. Действительно, если m – какая-то точка из M , то существует интервал (m 1 , m 2) М M , содержащий m (это следует из того, что M – открытое). На любом интервале можно найти рациональную точку. Пусть на (m 1 , m ) – это m 3 , на (m , m 2) – это m 4 . Тогда точка m покрыта объединением U , а именно, интервалом (m 3 , m 4). Таким образом, мы доказали, что каждая точка m из M покрыта объединением U . Кроме того, как очевидно следует из построения U , никакая точка, не содержащаяся в M , не покрыта U . Значит, U и M совпадают.
Важным следствием из этой теоремы является тот факт, что любое открытое множество есть счетное объединение интервалов.
Нигде не~плотные множества и~множества меры~ноль. Канторово множество>
Приложение 2 . Нигде не плотные множества и множества меры ноль. Канторово множество
Множество A называется нигде не плотным , если для любых различных точек a и b найдется отрезок [c , d ] М [a , b ], не пересекающийся с A . Например, множество точек последовательности a n = [ 1/(n )] является нигде не плотным, а множество рациональных чисел – нет.
Теорема Бэра. Отрезок нельзя представить в виде счетного объединения нигде не плотных множеств.
Доказательство . Предположим, что существует последовательность A k нигде не плотных множеств, таких что И i A i = [a , b ]. Построим следующую последовательность отрезков. Пусть I 1 – какой-нибудь отрезок, вложенный в [a , b ] и не пересекающийся с A 1 . По определению нигде не плотного множества на отрезке I 1 найдется отрезок, не пересекающийся с множеством A 2 . Назовем его I 2 . Далее, на отрезке I 2 возьмем аналогичным образом отрезок I 3 , не пересекающийся с A 3 , и т. д. У последовательности I k вложенных отрезков есть общая точка (это одно из основных свойств действительных чисел). Эта точка по построению не лежит ни в одном из множеств A k , значит, эти множества не покрывают весь отрезок [a , b ].
Назовем множество M имеющим меру ноль , если для любого положительного e найдется последовательность I k интервалов с суммарной длиной меньше e , покрывающая M . Очевидно, что любое счетное множество имеет меру ноль. Однако бывают и несчетные множества, имеющие меру ноль. Построим одно такое, очень известное, называемое канторовым.
|
|
| Рис. 11 |
Возьмем отрезок . Поделим его на три равные части. Средний отрезок выкинем (рис. 11, а ). Останется два отрезка суммарной длины [ 2/3]. С каждым из них проделаем точно такую же операцию (рис. 11, б ). Останется четыре отрезка суммарной длины [ 4/9] = ([ 2/3]) \ B 2 . Продолжая так далее (рис. 11, в –е ) до бесконечности, получаем множество, которое имеет меру меньше любой наперед заданной положительной, т. е. меру ноль. Можно установить взаимно однозначное соответствие между точками этого множества и бесконечными последовательностями нулей и единиц. Если при первом "выкидывании" наша точка попала в правый отрезок, поставим в начале последовательности 1, если в левый – 0 (рис. 11, а ). Далее, после первого "выкидывания", получаем маленькую копию большого отрезка, с которой поступаем точно так же: если наша точка после выкидывания попала в правый отрезок, поставим 1, если в левый – 0, и т. д. (проверьте взаимную однозначность), рис. 11, б , в . Поскольку множество последовательностей нулей и единиц имеет мощность континуум, канторово множество также имеет мощность континуум. Кроме того, несложно доказать, что оно нигде не плотно. Однако неверно, что оно имеет строгую меру ноль (см. определение строгой меры). Идея доказательства этого факта в следующем: возьмем последовательность a n , очень быстро стремящуюся к нулю. Для этого подойдет, например, последовательность a n = [ 1/(2 2 n )]. После чего докажем, что этой последовательностью нельзя покрыть канторово множество (проделайте это!).
Приложение 3 . Задачи
Операции над множествами
Множества A и B называются равными , если каждый элемент множества A принадлежит множеству B , и наоборот. Обозначение: A = B .
Множество A называется подмножеством множества B , если каждый элемент множества A принадлежит множеству B . Обозначение: A М B .
1.
Для каждых двух из следующих множеств указать, является ли
одно из них подмножеством другого:
|
2. Докажите, что множество A тогда и только тогда является подмножеством множества B , когда каждый элемент, не принадлежащий B , не принадлежит A .
3. Докажите, что для произвольных множеств A , B и C
а) A М A ; б) если A М B и B М C , то A М C ;
в) A = B , если и только если A М B и B М A .
Множество называется пустым , если оно не содержит ни одного элемента. Обозначение: Ж .
4.
Сколько элементов у каждого из следующих множеств:
|
5. Сколько подмножеств у множества из трех элементов?
6. Может ли у множества быть ровно а) 0; б*) 7; в) 16 подмножеств?
Объединением множеств A и B x , что x О A или x О B . Обозначение: A И B .
Пересечением множеств A и B называется множество, состоящее из таких x , что x О A и x О B . Обозначение: A З B .
Разностью множеств A и B называется множество, состоящее из таких x , что x О A и x П B . Обозначение: A \ B .
7. Даны множества A = {1,3,7,137}, B = {3,7,23}, C = {0,1,3, 23}, D = {0,7,23,1998}. Найдите множества:
| а) A И B ; | б) A З B ; | в) (A З B )И D ; |
| г) C З (D З B ); | д) (A И B )З (C И D ); | е) (A И (B З C ))З D ; |
| ж) (C З A )И ((A И (C З D ))З B ); | з) (A И B ) \ (C З D ); | и) A \ (B \ (C \ D )); |
| к) ((A \ (B И D )) \ C )И B . |
8. Пусть A – множество четных чисел, а B – множество чисел, делящихся на 3. Найдите A З B .
9. Докажите, что для любых множеств A , B , C
а) A И B = B И A , A З B = B З A ;
б) A И (B И C ) = (A И B )И C , A З (B З C ) = (A З B )З C ;
в) A З (B И C ) = (A З B )И (A З C ), A И (B З C ) = (A И B )З (A И C );
г) A \ (B И C ) = (A \ B )З (A \ C ), A \ (B З C ) = (A \ B )И (A \ C ).
10. Верно ли, что для любых множеств A , B , C
| а) A З Ж = Ж , A И Ж = A ; | б) A И A = A , A З A = A ; | в) A З B = A Ы A М B ; |
| г) (A \ B )И B = A ; 7 д) A \ (A \ B ) = A З B ; | е) A \ (B \ C ) = (A \ B )И (A З C ); | |
| ж) (A \ B )И (B \ A ) = A И B ? |
Отображения множеств
Если каждому элементу x множества X поставлен в соотвествие ровно один элемент f (x ) множества Y , то говорят, что задано отображение f из множества X в множество Y . При этом, если f (x ) = y , то элемент y называется образом элемента x при отображении f , а элемент x называется прообразом элемента y при отображении f . Обозначение: f : X ® Y .
11. Нарисуйте всевозможные отображения из множества {7,8,9} в множество {0,1}.
Пусть f : X ® Y , y О Y , A М X , B М Y . Полным прообразом элемента y при отображении f называется множество {x О X | f (x ) = y }. Обозначение: f - 1 (y ). Образом множества A М X при отображении f называется множество {f (x ) | x О A }. Обозначение: f (A ). Прообразом множества B М Y называется множество {x О X | f (x ) О B }. Обозначение: f - 1 (B ).
12. Для отображения f : {0,1,3,4} ® {2,5,7,18}, заданного картинкой, найдите f ({0,3}), f ({1,3,4}), f - 1 (2), f - 1 ({2,5}), f - 1 ({5,18}).
| а) б) в) |
13. Пусть f : X ® Y , A 1 , A 2 М X , B 1 , B 2 М Y . Всегда ли верно, что
а) f (X ) = Y ;
б) f - 1 (Y ) = X ;
в) f (A 1 И A 2) = f (A 1)И f (A 2);
г) f (A 1 З A 2) = f (A 1)З f (A 2);
д) f - 1 (B 1 И B 2) = f - 1 (B 1)И f - 1 (B 2);
е) f - 1 (B 1 З B 2) = f - 1 (B 1)З f - 1 (B 2);
ж) если f (A 1) М f (A 2), то A 1 М A 2 ;
з) если f - 1 (B 1) М f - 1 (B 2), то B 1 М B 2 ?
Композицией отображений f : X ® Y и g : Y ® Z называется отображение, сопоставляющее элементу x множества X элемент g (f (x )) множества Z . Обозначение: g ° f .
14. Докажите, что для произвольных отображений f : X ® Y , g : Y ® Z и h : Z ® W выполняется следующее: h ° (g ° f ) = (h ° g )° f .
15. Пусть f : {1,2,3,5} ® {0,1,2}, g : {0,1,2} ® {3,7,37,137}, h : {3,7,37,137} ® {1,2,3,5}– отображения, показанные на рисунке:
| f : g : h : |
Нарисуйте картинки для следующих отображений:
а) g ° f ; б) h ° g ; в) f ° h ° g ; г) g ° h ° f .
Отображение f : X ® Y называется биективным , если для каждого y О Y найдется ровно один x О X такой, что f (x ) = y .
16. Пусть f : X ® Y , g : Y ® Z . Верно ли, что если f и g биективны, то и g ° f биективно?
17. Пусть f : {1,2,3} ® {1,2,3}, g : {1,2,3} ® {1,2,3}, – отображения, изображенные на рисунке:
18. Про каждые два из следующих множеств выясните, существует ли биекция из первого во второе (надлежит считать, что ноль – натуральное число):
а) множество натуральных чисел;
б) множество четных натуральных чисел;
в) множество натуральных чисел без числа 3.
Метрическим пространством называется множетсво X с заданной метрикой r : X ×X ® Z
1) " x ,y О X r (x ,y ) і 0, причем r (x ,y ) = 0, если и только если x = y (неотрицательность ); 2) " x ,y О X r (x ,y ) = r (y ,x ) (симметричность ); 3) " x ,y ,z О X r (x ,y ) + r (y ,z ) і r (x ,z ) (неравенство треугольника ). 19 19. X
а) X = Z , r (x ,y ) = | x - y | ;
б) X = Z 2 , r 2 ((x 1 ,y 1),(x 2 ,y 2)) = Ц {(x 1 - x 2) 2 + (y 1 - y 2) 2 };
в) X
= C
[a
,b
a
,b
] функций,
Открытым (соответственно, замкнутым ) шаром радиуса r в пространстве X с центром в точке x называется множество U r (x ) = {y О x : r (x ,y ) < r } (соответственно, B r (x ) = {y О X : r (x ,y ) Ј r }).
Внутренней точкой множества U М X U
открытым окрестностью этой точки.
Предельной точкой множества F М X F .
замкнутым
20. Докажите, что
21. Докажите, что
б) объединение множества A замыкание A
Отображение f : X ® Y называется непрерывным
22.
23. Докажите, что
F (x ) = inf y О F r (x ,y
F .
24. Пусть f : X ® Y – . Верно ли, что обратное к нему непрерывно?
Непрерывное взаимно однозначное отображение f : X ® Y гомеоморфизмом . Пространства X , Y гомеоморфными .
25.
26. Для каких пар X , Y f : X ® Y , которое не склеивает точки (т. е. f (x ) № f (y ) при x № y вложениями )?
27*. локальным гомеоморфизмом (т. е. у каждой точки x плоскости и f (x ) тора существуют такие окрестности U и V , что f гомеоморфно отображает U на V ).
Метрические пространства и непрерывные отображения
Метрическим пространством называется множетсво X с заданной метрикой r : X ×X ® Z , удовлетворяющее следующим аксиомам:
1) " x ,y О X r (x ,y ) і 0, причем r (x ,y ) = 0, если и только если x = y (неотрицательность ); 2) " x ,y О X r (x ,y ) = r (y ,x ) (симметричность ); 3) " x ,y ,z О X r (x ,y ) + r (y ,z ) і r (x ,z ) (неравенство треугольника ). 28. Докажите, что следующие пары (X ,r ) являются метрическими пространствами:
а) X = Z , r (x ,y ) = | x - y | ;
б) X = Z 2 , r 2 ((x 1 ,y 1),(x 2 ,y 2)) = Ц {(x 1 - x 2) 2 + (y 1 - y 2) 2 };
в) X
= C
[a
,b
] – множество непрерывных на [a
,b
] функций,
Открытым (соответственно, замкнутым ) шаром радиуса r в пространстве X с центром в точке x называется множество U r (x ) = {y О x : r (x ,y ) < r } (соответственно, B r (x ) = {y О X : r (x ,y ) Ј r }).
Внутренней точкой множества U М X называется такая точка, которая содержится в U вместе с некоторым шаром ненулевого радиуса.
Множество, все точки которого внутренние, называется открытым . Открытое множество, содержащее данную точку, называется окрестностью этой точки.
Предельной точкой множества F М X называется такая точка, в любой окрестности которой содержится бесконечно много точек множества F .
Множество, которое содержит все свои предельные точки, называется замкнутым (сравните это определение с тем, которое было дано в приложении 1).
29. Докажите, что
а) множество открыто тогда и только тогда, когда его дополнение замкнуто;
б) конечное объединение и счетное пересечение замкнутых множеств замкнуто;
в) счетное объединение и конечное пересечение открытых множеств открыто.
30. Докажите, что
а) множество предельных точек любого множества является замкнутым множеством;
б) объединение множества A и множества его предельных точек ( замыкание A ) является замкнутым множеством.
Отображение f : X ® Y называется непрерывным , если прообраз каждого открытого множества открыт.
31. Докажите, что это определение согласуется с определением непрерывности функций на прямой.
32. Докажите, что
а) расстояние до множества r F (x ) = inf y О F r (x ,y ) является непрерывной функцией;
б) множество нулей функции пункта а) совпадает с замыканием F .
33. Пусть f : X ® Y
Непрерывное взаимно однозначное отображение f : X ® Y , обратное к которому также непрерывно, называется гомеоморфизмом . Пространства X , Y , для которых такое отображение существует, называются гомеоморфными .
34. Для каждой пары из следующих множеств установите, гомеоморфны ли они:
35. Для каких пар X , Y пространств из предыдущей задачи существует непрерывное отображение f : X ® Y , которое не склеивает точки (т. е. f (x ) № f (y ) при x № y – такие отображения называют вложениями )?
36*. Придумайте непрерывное отображение плоскости на тор, которое было бы локальным гомеоморфизмом (т. е. у каждой точки x плоскости и f (x ) тора существуют такие окрестности U и V , что f гомеоморфно отображает U на V ).
Полнота. Теорема Бэра
Пусть X
– метрическое пространство. Последовательность
x
n
его элементов называется фундаментальной
, если
|
37. Докажите, что сходящаяся последовательность фундаментальна. Верно ли обратное утверждение?
Метрическое пространство называется полным , если всякая фундаментальная последовательность в нем сходится.
38. Верно ли, что пространство, гомеоморфное полному, полно?
39. Докажите, что замкнутое подпространство полного пространства само полно; полное подпространство произвольного пространства замкнуто в нем.
40. Докажите, что в полном метрическом пространстве последовательность вложенных замкнутых шаров с радиусами, стремящимися к нулю, имеет общий элемент.
41. Можно ли в предыдущей задаче убрать условие полноты пространства или стремления к нулю радиусов шаров?
Отображение f
метрического пространства X
в себя
называется сжимающим
, если
|
42. Докажите, что сжимающее отображение непрерывно.
43. а) Докажите, что сжимающее отображение полного метрического пространства в себя имеет ровно одну неподвижную точку.
б) На карту России масштаба 1:5 000 000 положили карту России масштаба 1:20 000 000. Докажите, что найдется точка, изображения которой на обеих картах совпадут.
44*. Существует ли неполное метрическое пространство, в котором верно утверждение задачи , а?
Подмножество метрического пространства называется всюду плотным , если его замыкание совпадает со всем пространством; нигде не плотным – если его замыкание не имеет непустых открытых подмножеств (сравните это определение с тем, которое было дано в приложениие 2).
45. а) Пусть a , b , a , b О Z и a < a < b < b . Докажите, что множество непрерывных функций на [a ,b ], монотонных на , нигде не плотно в пространстве всех непрерывных функций на [a ,b ] c равномерной метрикой.
б) Пусть a
, b
, c
, e
О
Z
и a
< b
, c
> 0, e
> 0.
Тогда множество непрерывных функций на [a
,b
], таких что
|
46. (Обобщенная теорема Бэра .) Докажите, что полное метрическое пространство нельзя представить в виде объединения счетного числа нигде не плотных множеств.
47. Докажите, что множество непрерывных, не монотонных ни на каком непустом интервале и нигде не дифференцируемых функций, определенных на отрезке , всюду плотно в пространстве всех непрерывных функций на с равномерной метрикой.
48*. Пусть f – дифференцируемая функция на отрезке . Докажите, что ее производная непрерывна на всюду плотном множестве точек. Это определение лебеговой меры ноль. Если счетное число интервалов заменить на конечное, то получится определение жордановой меры ноль.
Множество натуральных чисел образуют числа 1, 2, 3, 4, ..., используемые для счёта предметов. Множество всех натуральных чисел принято обозначать буквой N :
N = {1, 2, 3, 4, ..., n , ...} .
Законы сложения натуральных чисел
1. Для любых натуральных чисел a и b верно равенство a + b = b + a . Это свойство называют переместительным (коммутативным) законом сложения.
2. Для любых натуральных чисел a , b , c верно равенство (a + b ) + c = a + (b + c ) . Это свойство называют сочетальным (ассоциативным) законом сложения.
Законы умножения натуральных чисел
3. Для любых натуральных чисел a и b верно равенство ab = ba . Это свойство называют переместительным (коммутативным) законом умножения.
4. Для любых натуральных чисел a , b , c верно равенство (a b )c = a (b c ) . Это свойство называют сочетальным (ассоциативным) законом умножения.
5. При любых значениях a , b , c верно равенство (a + b )c = ac + bc . Это свойство называют распределительным (дистрибутивным) законом умножения (относительно сложения).
6. При любых значениях a верно равенство a *1 = a . Это свойство называют законом об умножении на единицу.
Результатом сложения или умножения двух натуральных чисел всегда является натуральное число. Или, говоря иначе, эти операции можно выполнить, оставаясь во множестве натуральных чисел. Относительно вычитания и деления этого сказать нельзя: так, из числа 3 нельзя, оставаясь во множестве натуральных чисел, вычесть число 7; число 15 нельзя разделить на 4 нацело.
Признаки делимости натуральных чисел
Делимость суммы. Если каждое слагаемое делится на некоторое число, то и сумма делится на это число.
Делимость произведения. Если в произведении хотя бы один из сомножителей делится нацело на некоторое число, то и произведение делится на это число.
Эти условия, как для суммы, так и для произведения, являются достаточными, но не необходимыми. Например, произведение 12*18 делится на 36, хотя ни 12, ни 18 на 36 не делятся.
Признак делимости на 2. Для того, чтобы натуральное число делилось на 2, необходимо и достаточно, чтобы его последняя цифра была чётной.
Признак делимости на 5. Для того, чтобы натуральное число делилось на 5, необходимо и достаточно, чтобы его последняя цифра была либо 0, либо 5.
Признак делимости на 10. Для того, чтобы натуральное число делилось на 10, необходимо и достаточно, чтобы цифра единиц была 0.
Признак делимости на 4. Для того, чтобы натуральное число, содержащее не менее трёх цифр, делилось на 4, необходимо и достаточно, чтобы последние цифры были 00, 04, 08 или двузначное число, образованное последними двумя цифрами данного числа, делилось на 4.
Признак делимости на 2 (на 9). Для того, чтобы натуральное число делилось на 3 (на 9), необходимо и достаточно, чтобы сумма его цифр делилась на 3 (на 9).
Множество целых чисел
Рассмотрим числовую прямую с началом отсчёта в точке O . Координатой числа нуль на ней будет точка O . Числа, расположенные на числовой прямой в заданном направлении, называют положительными числами. Пусть на числовой прямой задана точка A с координатой 3. Она соответствует положительному числу 3. Отложим теперь три раза единичный отрезок от точки O , в направлении, противоположном заданному. Тогда получим точку A" , симметричную точке A относительно начала координат O . Координатой точки A" будет число - 3. Это число, противоположное числу 3. Числа, расположенные на числовой прямой в направлении, противоположном заданному, называют отрицательными числами.
Числа, противоположные натуральным, образуют множество чисел N" :
N" = {- 1, - 2, - 3, - 4, ...} .
Если объединить множества N , N" и одноэлементное множество {0} , то получим множество Z всех целых чисел:
Z = {0} ∪ N ∪ N" .
Для целых чисел верны все перечисленные выше законы сложения и умножения, которые верны для натуральных чисел. Кроме того, добавляются следующие законы вычитания:
a - b = a + (- b ) ;
a + (- a ) = 0 .
Множество рациональных чисел
Чтобы сделать выполнимой операцию деления целых чисел на любое число, не равное нулю, вводятся дроби:
Где a и b - целые числа и b не равно нулю.
Если к множеству целых чисел присоединить множество всех положительных и отрицательных дробей, то получается множество рациональных чисел Q :
.
При этом каждое целое число является также рациональным числом, так как, например, число 5 может быть представлено в виде , где числитель и знаменатель - целые числа. Это бывает важно при операциях над рациональными числами, из которых одно может быть целым числом.
Законы арифметических действий над рациональными числами
Основное свойство дроби. Если числитель и знаменатель данной дроби умножить или разделить на одно и то же натуральное число, то получится дробь, равная данной:
Это свойство используется при сокращении дробей.
Сложение дробей. Сложение обыкновенных дробей определяется следующим образом:
.
То есть, для сложения дробей с разными знаменателями дроби приводятся к общему знаменателю. На практике при сложении (вычитании) дробей с разными знаменателями дроби приводятся к наименьшему общему знаменателю. Например, так:
Для сложения дробей с одинаковыми числителями достаточно сложить числители, а знаменатель оставить прежним.
Умножение дробей. Умножение обыкновенных дробей определяется следующим образом:
То есть, для умножения дроби на дробь нужно числитель первой дроби умножить на числитель второй дроби и записать произведение в числитель новой дроби, а знаменатель первой дроби умножить на знаменатель второй дроби и записать произведение в знаменатель новой дроби.
Деление дробей. Деление обыкновенных дробей определяется следующим образом:
То есть, для деления дроби на дробь нужно числитель первой дроби умножить на знаменатель второй дроби и произведение записать в числитель новой дроби, а знаменатель первой дроби умножить на числитель второй дроби и произведение записать в знаменатель новой дроби.
Возведение дроби в степень с натуральным показателем. Эта операция определяется следующим образом:
То есть, для возведения дроби в степень числитель возводится в эту степень и знаменатель возводится в эту степень.
Периодические десятичные дроби
Теорема. Любое рациональное число можно представить в виде конечной или бесконечной периодической дроби.
Например,
.
Последовательно повторяющаяся группа цифр после запятой в десятичной записи числа называется периодом, а конечная или бесконечная десятичная дробь, имеющая такой период в своей записи, называется периодической.
При этом любую конечную десятичную дробь считают бесконечной периодической дробью с нулём в периоде, например:
Результат сложения, вычитания, умножения и деления (кроме деления на нуль) двух рациональных чисел - также рациональное число.
Множество действительных чисел
На числовой прямой, которую мы рассмотрели в связи с множеством целых чисел, могут быть точки, не имеющие координат в виде рационального числа. Так, не существует рационального числа, квадрат которого равен 2. Следовательно, число не является рациональным числом. Так же не существует рациональных чисел, квадраты которых равны 5, 7, 9. Следовательно, иррациональными являются числа , , . Иррациональным является и число .
Никакое иррациональное число не может быть представлено в виде периодической дроби. Их представляют в виде непериодических дробей.
Объединение множеств рациональных и иррациональных чисел представляет собой множество действительных чисел R .
Счетное множество- есть бесконечное множество элементы которого можно пронумеровать натуральными числами, или это множество, равномощное множеству натуральных чисел.
Иногда счётными называются множества равномощные любому подмножеству множества натуральных чисел, то есть все конечные множества тоже считаются счётными.
Счётное множество является «наименьшим» бесконечным множеством, то есть в любом бесконечном множестве найдётся счётное подмножество.
Свойства:
1.Любое подмножество счётного множества не более чем счётно.
2.Объединение конечного или счётного числа счётных множеств счётно.
3.Прямое произведение конечного числа счётных множеств счётно.
4.Множество всех конечных подмножеств счётного множества счётно.
5.Множество всех подмножеств счётного множества континуально и, в частности, не является счётным.
Примеры счетных множеств:
Простые числа Натуральные числа, Целые числа, Рациональные числа, Алгебраические числа, Кольцо периодов, Вычислимые числа, Арифметические числа.
Теория вещественных чисел.
(Вещественные = действительные – памятка для нас, пацаны.)
Множество R содержит рациональные и иррациональные числа.
Действительные числа, не являющиеся рациональными, называются иррациональными
Теорема: Не существует рационального числа, квадрат которого равен числу 2
Рациональные числа: ½, 1/3, 0.5, 0.333.
Иррациональные числа: корень из 2=1,4142356… , π=3.1415926…
Множество R действительных чисел обладает следующими свойствами:
1. Оно упорядоченное: для любых двух различных чисел a и b имеет место одно из двух соотношений a либо a>b
2. Множество R плотное: между двумя различными числами a и b
содержится бесконечное множество действительных чисел х,
т.е чисел, удовлетворяющих неравенству а Там еще 3-е свойство, но оно огромное, сорри Ограниченные множества. Свойства верхних и нижних границ.
Ограниченное множество
- множество, которое в определенном смысле имеет конечный размер. ограниченным сверху
, если существует число , такое что все элементы не превосходят : Множество вещественных чисел называется ограниченным снизу
, если существует число , такое что все элементы не меньше : Множество , ограниченное сверху и снизу, называется ограниченным
. Множество , не являющееся ограниченным, называется неограниченным
. Как следует из определения, множество не ограничено тогда и только тогда, когда оно не ограничено сверху
или не ограничено снизу
. Числовая последовательность. Предел последовательности. Лемма о двух милиционерах.
Числовая последовательность
- это последовательность элементов числового пространства. Пусть - это либо множество вещественных чисел , либо множество комплексных чисел . Тогда последовательность элементов множества называется числовой последовательностью.
Пример.
Функция является бесконечной последовательностью рациональных чисел. Элементы этой последовательности начиная с первого имеют вид . Предел последовательности
- это объект, к которому члены последовательности приближаются с ростом номера. В частности, для числовых последовательностей предел - это число, в любой окрестности которого лежат все члены последовательности начиная с некоторого. Теорема о двух милиционерах… Если функция такая, что для всех в некоторой окрестности точки , причем функции и имеют одинаковый предел при , то существует предел функции при , равный этому же значению, то есть