Галкин С.В. Математический анализ. Метод. указания по материалам лекций для подготовки к экзамену в первом семестре.стр.1-63. 2004г (973096), страница 3
Текст из файла (страница 3)
<4 Сформулируем теорему о существовании точной верхней и тачкой нижней грани числового множества. Теорема, Любое непустое ограниченное сверху (снизу) числовое множество имеет конечную точную верхнюю (нижню<о) грань. <! Доказательство проведем для точной верхней грани, для тачкой нижней грани доказательство аналогично, Так как Х не пусто, ма>кис указать отрезок !о,!>), содержащий хотя бы одну точку из Х. Рассмотрим отрезок(а, М), где М-верхняя грань (М существует, так как Х ограничено сверху).
Если Мп Х,то М =зпрХ и точная верхняя грань найдена. Пусть Ми Х, Тогда на построенном отрезке есть точки, принадлежащие Х, и точки, пе принадлежащие Х. Обозначим а = а<, М = Ь! и построим отрезок (а <, Ь ! ), часть точек котсрога принадлежит Х, а другая часть — не принадлежит Х Разделим е<"о пополам и обозначим (о>,Ь> ) ту из его половин (отрезок вдвое л<еньшей длины)„на которой есть тачки, принадлежащие Х„и точки, не принадлежащие Х Продолжая зтат процесс, получаем последовательность вложенных отрезков, удовлетворя<оп<у<а лемме о вложенных проне>кутках, Следовательно, па лемме, существует такая точка с, общая для всех вложенных отрезков,что !цп» +„а» = с = !1ш»,ь Ь», причем влюбойокрестиости с (па построению) лежат как точки множества Х так и точки, не принадлежащие мпожествуХ.
Проверим, что с = впр Х. Условие 1 выполнено, иначе существует двусторонняя окрестность точки с, все точки которой принадлежат Х что невозможно. Условие 2 выполнена, иначе существует двусторонняя окрестность точки с, все точки которой не принадлежа г Х чта невозможно, < Функции и отображения Пусть т(х к Х ставится в соответствие единственный элемепг из У(! у а 'г) по закону у = 7" (х), Тогда говорят, что на мг<ожестве Х задана функции ((х) с областью определения Хи областью значений ((Х) ю(уп У:у= ((х),о'хе Х), Говорят, что х является прообразом, а у — образом прн отображение /(х) мно>кестваХв У, и иазываютХмиожеством прообразов, а У вЂ” множества образов, Кратко определение функции, или отображения можно записать так: (: Х-> У: со(>><хи Х Л!унУ: у = ((х)).
!5 Дадим определения видов отображений. !. Отображение называется эпиморфизмом (сюръекцией, отображением «на»), если любой элемент множества У является абразолг ( >/у и У Лх и Х: /" (х) = у). Заметим, что здесь/" (Х) = У, 2. Отображение называется мономорфнзмом (ннъекцней, взаимно однозначным отображением «в»), если различные элементы х с Х имеют при отображении различные образы (>уу ц /"(Х) 1-у л!хи Х: /(х)=у), т. е. </х1ю х2-с> / (х)) с-,/(х2) 3.
Отобра>гсение называется изоморфнзмом (бнекцней, взаимно однозначным отображением «па»), если оно является и эпиморфизмом, и мономорфизмом (<уу н / (Х) = у 3! х ц Х: /(х) = у), Пример, Отображение отрезка [-п, и ) фушсцисй у = з>ах на отрезок [-! цяаляется эпнморфиэмол> (но пе является моно><орфизмом), а на отрезок [-3 2) пс яалястся ни зпнморфизмоы, ии мономорф измом.
Отображение той же функцией отрезка [-и /2,п/2) на отрезок [-2,0) яалястся моиоморфиэл>ом, но не лаляется эпнморфиэмом. То жс отображение на отрезок[-1,Ц является изоморфюмсм, Обратной функцией (или обратным отображением) к функции у = / (х) (или отображению у (х); Х -> У) является функция х = <р(у) (нпи отобрвкение ср(у): У -> Х). Обратная к / (х) функция ср(у) <свозвращаеээ> любой элемент (образ) из У в его прообраз. Докамсем теорему: ! Теорема, Для того чтобы существовало обратное отображение, необходимо и достаточно, чтобы отображение было изоморфизмом, «) Исобхоонмоспп>.
Пусть обратное отобрюкеиие существует. Ясно, что для того, чтобы успешно «возвратить» элемент в его прообраз, надо, чтобы любой элемент У был образом (отображение должно быть эпиморфизмом). Кроме того, нужно знать, куда его возвращать (отображение у (х) должно быть мономорфнзмом). По.>тому и>обрамсение должно быть изоморфизмом. Дос>пол>о</>/оса>ь продуыайтс самостоятельно, г> Обратная функция имеет тот же график, что и прямая функция, только прямая функции определена и Х, а обратная — л У. Например, график функции у = >бпх тот же, что и график функции х = агсз[пу, 















