Учебник - Математический анализ Часть 2 - Зорич В.А. (1238793), страница 41
Текст из файла (страница 41)
220 ГЛ. ХП. ПОВЕРХНОСТИ И ДИФФЕРЕНЦИАЛЬНЫЕ ФОРМЫ В К" гладкие Й-мерные поверхности Я, (с краем или без края). Пример 4. Граница плоского угла и граница квадрата суть кусочно гладкие кривые. Граница куба или граница прямого кругового конуса в Кз суть двумерные кусочно гладкие поверхности. Вернемся теперь к ориентации кусочно гладкой поверхности. Точку (нульмерную поверхность), как это уже отмечалось, принято ориентировать, приписывая ей знак + или —. В частности, край отрезка [а, 6] С К, состоящий из двух точек а, 6, если отрезок ориентирован направлением от а к 6, принято согласованно (с этой ориентацией отрезка) ориентировать так: (а, — ), (6, +) или в иной записи — а, +6.
Рассмотрим теперь й-мерную (й ) О) кусочно гладкую поверхность Я ~ ЩВ Предположим, что две гладкие поверхности Я;„Я„из определения 4 кусочно гладкой поверхности Я ориентированы и примыкают друг к другу вдоль гладкого куска Г (й — 1)-мерной поверхности (ребра). Тогда на Г, как на краю, возникают ориентации, согласованные с ориентациями Я„и Я„соответственно. Если эти две ориентации на любом таком ребре Г С Я„П К, противоположны, то исходные ориентации Я„и Я„считаются согласованными. В случае, если Я„ПЯ„пусто или имеет размерность, меньшую чем (й — 1), любые ориентации Я„, Я„ считаются согласованными.
Определение 5. Кусочно гладкую й-мерную (й ) О) поверхность будем считать ориентируемой, если с точностью до конечного или счетного числа кусочно гладких поверхностей размерности не выше (Й вЂ” 1) она является объединением гладких ориентируемых поверхностей Я„ допускающих их одновременную взаимно согласованную ориентацию. Пример 5. Поверхность трехмерного куба, как легко проверить, является ориентируемой кусочно гладкой поверхностью.
И вообще, все указанные в примере 4 кусочно гладкие поверхности ориентируемы. Пример 6. Лист Мебиуса легко представить в виде объединения двух ориентируемых гладких поверхностей, примыкающих по части края, однако эти поверхности нельзя ориентировать согласованно. Можно проверить, что лист Мебиуса не является ориентируемой поверхностью даже с точки зрения определения 5.
~ 3. КРАЙ ПОВЕРХНОСТИ И ЕГО ОРИЕНТАЦИЯ 221 Задачи и упражнения 1. а) Верно ли, что край поверхности Я С ~~ есть множество Я~ Я, где Я— замыкание Я в ~"? Ь) Имеют ли поверхности Яд —— ((х, у) Е 1~~ ) 1 < х +у < 2), Я~ — — ((х, у) 6 е ~' ) 0 < х' + у') край? с) Укажите край поверхностей Яд — — ((х,у) 6 ~~ ~ 1 < х + у~ < 2), Я2=((х,у)ЕЙ ~1~(х +у ) 2.
Приведите пример неориентируемой поверхности с ориентируемым краем. 3. а) Каждая грань куба 1~ = (х Е 1~~ ) ~х'~ < 1, г = 1,..., й) параллельна соответствующей (Й вЂ” 1)-мерной координатной гиперплоскости пространства К~, поэтому в грани можно рассмотреть тот же репер и ту же систему координат, что и в этой гиперплоскости. Укажите, в каких гранях получающаяся при этом ориентация согласуется с ориентацией куба 1", индуцированной ориентацией К~, а в каких не согласуется.
Разберите последовательно случаи й = 2, й = 3 и Й = п. Ь) В некоторой области полусферы Я = ((х,у,г) Е Кз ~ х~ + у~ + г~ = = 1Аг ) О) действует локальная карта ф, Р) ~-+ (н1п1' сон Р, н1п1' н1пР, сон1'), а в некоторой области края дЯ этой полусферы действует локальная карта 1 н (сон 1, яп ~, 0).
Выясните, задают ли эти карты согласованные ориентации поверхности Я и ее края дЯ. с) Постройте на полусфере Я и ее крае дЯ поля реперов, индуцированные указанными в Ь) локальными картами. с1) На крае дЯ полусферы Я укажите репер, задающий ориентацию края, согласованную с полученной в с) ориентацией полусферы. е) Задайте полученную в с) ориентацию полусферы Я с помощью вектора, нормального к Я С К3.
4. а) Проверьте, что лист Мебиуса не является ориентируемой поверхностью даже с точки зрения определения 5. Ь) Покажите, что если Я вЂ гладк поверхность в И", то определения ее ориентируемости как гладкой и как кусочно гладкой поверхности равносильны. 5. а) Будем говорить, что множество Я С К" есть й-мерная поверхность с краем, если для каждой точки х Е Я найдутся ее окрестность Г(х) в 2Г и диффеоморфизм ф: с'(х) ~ 1" этой окрестности на стандартный куб 1" С К", при котором ф(Я П с'(х)) совпадает либо с кубом 1~ = (1 Е 1" ~ 1"+' = ...
= = ~Р = 0), либо с его частью 1" П (1 6 К" ~ 1~ < 0), которая является Й-мерным промежутком с одной присоединенной к нему гранью. Исходя из сказанного в ~ 1 при обсуждении понятия поверхности, покажите, что это определение поверхности с краем не эквивалентно определению 1.
Ь) Верно ли, что если 1" б С®(Н",2), где Н" = (х б К~ ~ х' < О), то для любой точки х Е дН" можно найти ее окрестность У(х) в К" и функцию 222 ГЛ. ХП. ПОВЕРХНОСТИ И ДИФФЕРЕНЦИАЛЬНЫЕ ФОРМЫ В К" У Е С~О(77(х), К) так, что У~ньг щ~) = Й~н~гт(~~? с) Если указанное в а) определение использовать для описания гладкой поверхности с краем, т.е. считать ф гладким отображением максимального ранга, то будет ли такое определение гладкой поверхности с краем совпадать с принятым в ~ 3? ~ 4. Площадь поверхности в евклидовом пространстве Перейдем теперь к определению площади й-мерной кусочно гладкой поверхности, лежащей в евклидовом пространстве ~", и > Й.
Напомним сначала, что если ~1,..., ~„й векторов евклидова пространства ~~, то объем Ъ'®,...,~~) параллелепипеда, натянутого на эти векторы как на ребра, может быть вычислен посредством опреде- лителя Ъ'®,..., ~~) = с1е$®) с$еС С = с$еС(,7,7*) = с$еС,7с$еС,7* = (с$еС,7)~, (2) и, значит, неотрицательное значение объема Ъ'®,..., ~~) можно полу- чить в виде Последняя формула удобна тем, что в ней, по существу, уже нет координат, а есть только набор геометрических величин, характеризующих рассматриваемый параллелепипед. В частности, если эти же ЦСм.
сноску на стр. 592. матрицы 7 = (~~), строки которой образованы координатами данных векторов в некотором ортонормированном базисе е1,..., е . пространства ~~. Отметим, однако, что на самом-то деле формула (1) дает не просто объем, а так называемый ориентированный объем параллелепипеда. Если Ъ' ~ О, то определяемое формулой (1) значение Ъ' положительно или отрицательно в соответствии с тем, принадлежат ли реперы е1,..., е~, с1,..., ~~ одному или разным классам ориентации пространства ~К. Заметим теперь, что произведение,7,7* матрицы,7 на ее транспонированную,7* есть не что иное, как матрица С = (д, ) попарных скалярных произведений д, = (~„~ ) данных векторов, т. е. матрица ГрамаЦ системы векторов ~1,..., ~„. Таким образом, ~4.
ПЛОЩАДЬ ПОВЕРХНОСТИ В ЕВКЛИДОВОМ ПРОСТРАНСТВЕ 223 векторы ~1,...,~~ считать лежащими в и-мерном (и > Й) евклидовом пространстве ~ы, то формула (3) й-мерно~ о объема (или й-мерной площади) натянутого на них параллелепипеда останется без изменений. Пусть теперь г: Р— ~ Я с ~" — й-мерная гладкая поверхность Я в евклидовом пространстве ~", заданная в парамет- 1 й 1~ рическом виде г = т(г,...,1 ), т.е.
в Г(го) виде гладкой вектор-функции т Я Я = (х1,...,х")(1), определенной в области Р с К~. Пусть е1,...,е~ ортонормированный базис в ~~, порождающий координатную систему (г~,...,г~). Фиксиро- 1 вав точку цо = (1~о,..., ф) Е Р, возьмем по- 1 й о ложительные числа 61,..., 6 столь малы- Р ми, чтобы параллелепипед 1, натянутыи на векторы 6'е, Е ТРг„г' = 1,..., Й, при- Рис. 82. ложенные к точке 1о, лежал в области Р. На поверхности Я в силу отображения Р— + Я параллелепипеду 1 соответствует фигура 1~, которую условно можно назвать криволинеиным параллелепипедом (см.
рис. 82, отвечающий случаю й = 2, и = 3). Поскольку Р1 ~г — 1 ~г + бг ~г+1 ~Й) дг т(~о ... ~р ~р ~в . ° ° ~о) = (~о)6 + 0(6 ) смещению от 1о на вектор 6'е, отвечает в ~" такое смещение от точки т(1о), которое при 6' — ~ О можно с точностью до о(6') заменить частным дифференциалом — ",(го)6' =: т,6'. Таким образом, при ма- дг' лых значениях 6', г = 1,..., Й, криволинейный параллелепипед 1~ мало отличается от параллелепипеда, натянутого на векторы 6 т1,..., 6~т~, касательные к поверхности Я в точке т(~о).
Считая по этои причине, что объем ЬЪ' криволинейного параллелепипеда 1~ должен тогда быть близок к объему указанного стандартного параллелепипеда, находим приближенную формулу (4) где положено д, (8о) = (т„г,)(8о), Ь|' = 6', г, ~ = 1,..., Й. 224 ГЛ ХП ПОВЕРХНОСТИ И ДИФФЕРЕНЦИАЛЬНЫЕ ФОРМЫ В 2" Если теперь все пространство ~", в котором лежит область параметров Р, стандартным образом замостить Й-мерными параллелепипедами малого диаметра И, взять среди них те, которые лежат в Р, вычислить по формуле (4) приближенное значение Й-мерного объема их образов и взять сумму полученных так значений, то мы придем к величине которую можно считать приближенным значением Й-мерного объема или площади рассматриваемой поверхности Я, причем это приближение должно становиться более точным при И вЂ” + О.
Таким образом, мы принимаем Определение 1. Площадью (или й-мерным объемом) заданной в параметрическом виде Р Э 1 «-~ г(1) Е Я гладкой Й-мерной поверхности Я, лежащей в евклидовом пространстве К", называется величина (5) Посмотрим, как выглядит формула (5) в уже знакомых нам частных случаях.