Антидемидович 4 - ТФКП (1113365), страница 18
Текст из файла (страница 18)
Если у С В С С (у С Я С С), то говорят, что кривая у лежит в множестве Я или содержится в нем. Если одна и та же точка кривой т соответствует двум или более различным значениям параметра, из которых по крайней мере одно отлично от а и от Ь, то такая точка называется кратной. Непрерывная кривая, не имеюшая кратных точек, называется жорданоеой нли простой. Другими словами, кривая т С С называется жорда«ооой, если ее параметрическое представление ур является биектнвным отображением. Если ур(а) = ур(6), то жорданова кривая ниывается замкнутой. Пусть у< и <]< — параметрические представления непрерывной кривой т, Рр = [а, 6], Рр — — [а<, Ь<[.
Они называются эквивалентным, если существует такая непрерывная возрастаюшая функция [а, Ь] [а„Ь,], что ур = <(< р ц, В этом случае записываем (р - <]<. Определение 2. Множество т С С (или т С Н~) называется простой гладкой при еой (траенторией), если сущестоует непрерывно дилл]<еренцируел<ое отображение [а, 6] — < у с отличной от нуяя проиэеодиой Рйи этом отображение у< называется параметрическим предстоелениел< сходной кривой у. Если <6 — лругое параметрическое представление гладкой кривой у, Р„= [ан Ь<], и сушествует такая непрерывно дифференцируемая функция [а, Ь] [а„Ь,], что <у1 Е [а, Ь] П'(1) > О на и <]< о <у = ур, то наралмтрическ<ш представления ур и <6 называются эквиеилгнтными.
Определение 3. Множество -у„р всех эквивалентных параметрических представлений простой жадной криной 3 назыеается ее ориентацией. Упорядоченная пара Г = (т, те<) называется ориентированной гладкой кривой Г. Очевидно, что ориентация простой гладкой кривой однозначно определяется указанием ее начальной точки. Ориентацию простой гладкой кривой у с параметрическим представлением у< апрелю<лют также выбором одного из двух возможных направлений единичного касательного вектора г(М) = ~,<'„'~, где М = у<(1) Е у.
Все параметрические представления ур Е у эквивалентны между собой. Их совокуг<ность называется протиеополохсной ориентацией у,„. Ориентированную кривую Г = (у, у„,) назовем противоположно ориентироеаннои по отношению к Г(у, у,р). Среди всех параметрических представлений ур ориентированной гладкой кривой Г = (у, ур) существует такое, что <рЕ у,р, Р =[0<1] и ч(Е[а,Ь] ](о(1)[=1< ь где! = д' [)р'(1)[д( — длина кривой у. Это представление единственное.
Оно называется нормальным (естественным, натураяьныи). Нормальное параметрическое представление ур получаем в < виде композиции <гору, где <у< Е у, Ре = [а, Ц, [О, 1] " [а, Ь[ и Ф1 Е [а, Ц <1 '(1) = ] ]<6'(т) [дт. 52 Гл. 2. Комплексные числа и фувкцин комплексного перемелиого Известен следующий результат. Теорема 1 (Жордана). Простоя замкнутая кривая у разбивает всю плоскость С на две различные области С, и Сз, общей границей которых она являетсл.
При этом одна из областей, называемая внутренностью т, ограничена, а другая, называемая в не шност ью т и содержащая бесконечно удаленную точку, не ограничена. Например, множества С, = (л Е С [ р(зь, ) < г) и Сз — — [з Е С [ р(гь, з) > г) являются соответственно внутренностью и внешностью окружности у = (з Е С: р(з„з) = г) . Определение 4. Пусть С С С вЂ” произвольная абзасть. Если для любой замкнутой жордановой кривой у, принадлежащей С, внутренность у также принадлежит С, то область С называетсл односвязной (относительно плоскости С). Примером односвязной области является внутренность окружности. Внешность окру:ююсти, а также круговое кольцо — не односвязны относительно плоскости С, так как для каждой из этих областей можно указать такую окружность, принадлежащую области, внугренность которой не вся прнналлежнт области, Для нужд теории конформных отображений понятме односвязной области обобщается.
Определение 5. Область С С С называется односвязной относительно расширенной комплексной плоскости, если для любой замкнутой жордановой кривой у, принадяежащей С, внутренность у или внешность т также принадлежагп С. Области, не являющиеся односвязнымн, цазьпюются мпоеосвязпыми. Например, внешность окружности, которой в расширенной плоскости С приналлежит также н бесконечно удаленная точка, является односвязной относи~ельно плоскости С, хотя она не односвязна относительно плоскости С. Круговое кольцо не односвязно как относительно плоскости С, так и относительно плоскости С Если у — непрерывная кривая, то она является замки)чым ограниченным множеством.
Действительно, поскольку параметрическое представление уз кривой у — непрерывная функция, заданная на компакте (а, Ь[, то по теореме 1, п. 2.8, множество Е» = т является компактным в себе, т. е замкнутым и ограниченным. Опредемиве 6. Упорядоченный набор Г = (Гн Гз, ..., Г„) гладких ориентированных кривых Г„= (у, т~ ) (Ь = 1, и) называется кусочно-гладкой кривой, если УЬ = 1, п — 1 конечная (й ип точка гладкой ориентированной кривой Гь совпадает с начальной точкой аналогичной кривой Гью. Множество у = [ [ т'Ы пазываетсл следоль кусочно-гладкой кривой Г или множеством ее точек.
Следующее утверждение имеет важное значение в приложениях. Теорема (о биективных н непрерывных отображениях). Пусть С С С вЂ” область и С»- .0 — обобщенно-непрерывгюя функция. Тогда множество 22 также являетсл областью и функция ( обобщенно-непрерывна в 2).
Если, сверк того, функция Т определена ча границе дС, прав ! чем является обобщенно-непрерывной на залгыкании С, то / отображает дС но дТ2, т.е. граница образо области С совпадает с образом границы тои же области. Обобщим понятие непрерывной кривой Пусть [а, Ь) С вЂ” обобщенно-непрерывная функция, причем сегмент [а, Ь) мохсет быть бесконечным в одну или в обе стороны. Функция (о называется параметрическим представлением обобщенной непрерывной кривой т в расширенной комплексной плоскости.
Если тг( Е [а, Ь[ (о(1) ф оо, то обобщенная кривая не проходит через бесконечно удаленную точку. Понятия началъной н конечной точек крлвой, замкнутой кривой, кратной точки, жордановой кривой распространяются на случай обобщенной непрерывной кривой. Замкнугое связное множество называется континуумом. Континуум, не имеющий внутренних точек, называется линейньич, или канторовой кривой, например, отрезок, окружность. Это другой подход к понятию кривой на плоскости. Существует и другой полхол к понятию олносвязной области. Пусть М вЂ” несвязное множество, А — его связное подмнолсество.
Назовем А максимально связньич, если не существует никакого другого связного полмножества В С М такого, что А С В Максимально связные полмножества М называются его связными компонентами, В те р множеств доказано, что любое множество есть обьелинение его связных компонегп в конечном йд. Неирерьаиые и гладкие кривые. Одиосвязиые и миопювязиые области 53 Е С С «ь Е С С. Пусть т — топология расширенной комплексной плоскости С, М С С вЂ” связное подмножество, » б М, О, — окрестность точки» в топологическом пространстве (С, т). Определение 7.
Окрестностью точки» в множестве М называется множество О', = О„. г) М. Совокупность всех окрестностей О', и» б М будем называть относительной топологией т' множества М. В дальнейшем окажется полезным следующее утверждение. Теорема. Пусть М С С вЂ” связное множество и А — его иепустое подмножество. Если А одновременно замкнуто и открыто в топологии т', то М = А. < Применим метод доказательства от противного. Пусть А' = М)А Фв. Рассмотрим замыкание А в топологии т. Очевидно, что оно состоит из точек его замыкания Л„в топологии г' и некоторого множества, не принадлежащего М. Поэтому АпА =А ° гзА.
Поскольку множество А замкнуто в юпологии г', то А, = А. Итак, А гз Л' = Л гз Л' =сз . Если Л вЂ” открытое множество в топологии т', то его дополнение А' — залзкнугое в той же топологии (предельные точки множества Л' не могут принадлежать А вследствие его открытости, следовательно, они принадлежат А'). Поэтому к пересечению А' гз А можно применить те же рассуждения, по и к А П А', в силу чего А' Г! А =!д. Соотношения М = А и А', А г) А' =в, Л' гз А =й!, Л Фа, Л' Фа противоречат связности множества М.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
