Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

6____2004

.pdf
Скачиваний:
53
Добавлен:
11.05.2015
Размер:
4.52 Mб
Скачать

Пример 1.

Открытый шар Int D n гомеоморфен n . Стандартный гомеоморфизм n Int D n определяется формулой

2x arctg(ρ(0, x))/πρ (0, x),

x 0,

x a

x = 0.

0,

Пример 2.

Куб I n гомеоморфен шару Dn , его внутренняя часть Int I n гомеоморфна Int Dn , а его граница I n гомеоморфна Dn , т.е. S n1 .

Пример 3.

Дискретные пространства X и Y гомеоморфны тогда и только тогда, когда существует взаимно однозначное отображение множества X на множество Y.

Пример 4.

Множество всех вещественных чисел с обычной топологией гомеоморфно интервалу (0,1): гомеоморфизм задается формулой

x a

2x 1

,

x (0,1).

x(x 1)

 

 

 

Однако интервал (0,1) не гомеоморфен пространству (0,1) (1, 2) , т.к. пространство, гомеоморфное связному пространству, связно.

Пример 5.

Проколотая (т.е. лишенная одной точки P) сфера S n гомеоморфна R n . Гомеоморфизм

Rn Sn \ P

может

 

быть построен

как композиция

из гомеоморфизма

{x

,..., x

}{0, x

,..., x

}

пространства R n

на подпространство

пространства R n1 и

1

n

 

1

n

 

 

 

 

стереографической проекции, этого подпространства на S n \ N из точки N.

13.4.Аксиомы отделимости

Вэтом и двух следующих пунктах формулируются дополнительные ограничения, часто накладываемые на топологическую структуру и приближающие свойства топологического пространства к привычным свойствам подмножеств пространств Rn .

Известно более десятка «аксиом отделимости». Нам потребуются следующие четыре:

141

T1 . Для любых двух различных точек а, b существует окрестность точки а, не содержащая b. Равносильные формулировки: точка есть замкнутое множество; конечные множества замкнуты.

T2 . Любые две различные точки обладают непересекающимися

окрестностями.

T3 . У любой точки и любого не содержащего ее замкнутого множества

есть непересекающиеся окрестности. Равносильная формулировка: любая окрестность любой точки содержит замыкание некоторой окрестности этой точки.

T4 . У любых двух непересекающихся замкнутых множеств есть непересекающиеся окрестности. Равносильная формулировка: каждая окрестность замкнутого множества содержит замыкание некоторой окрестности этого множества. Другая равносильная формулировка: для любого конечного набора попарно непересекающихся замкнутых множеств существуют окрестности этих множеств с попарно непересекающимися замыканиями.

Аксиома T1 следует из аксиомы T2 , но не следует, как показывают очевидные примеры, из аксиом T3 и T4 .

Пространства, для которых выполнена аксиома T2 , называются хаусдорфовыми; пространства, для которых выполнены аксиомы T1 и T3 , – регулярными, а пространства, для которых выполнены аксиомы T1 и T4 , – нормальными. Из нормальности следует регулярность, из регулярности – хаусдорфовость.

Ясно, что подпространство хаусдорфова пространства хаусдорфово, что подпространство регулярного пространства регулярно и что замкнутое подпространство нормального пространства нормально.

13.5. Компактность

Топологическое пространство называется компактным, если всякое его открытое покрытие содержит конечное подпокрытие. Например, конечное множество, наделенное произвольной топологией, компактно, а бесконечное множество, наделенное дискретной топологией, не компактно.

Ясно, что подпространство топологического пространства Х компактно в том и только том случае, если всякое его открытое покрытие в Х содержит конечное подпокрытие.

142

Если А — компактное подмножество T1 -пространства X, то всякое

счетное фундаментальное покрытие пространства Х содержит конечное подпокрытие множества А.

Образ компактного пространства при непрерывном отображении компактен.

13.6. Гомотопии

 

Непрерывное отображение

f : X Y

называется гомотопным

непрерывному отображению f : X Y , если существует такое непрерывное

отображение F : X ×I Y , что F(x, 0) = f (x), F(x,1) = f '(x) для x X .

Всякое

такое отображение F называется гомотопией, связывающей f с f .

Говорят

также, что F есть гомотопия отображения f.

Путем в топологическом пространстве X называется непрерывное отображение отрезка I в X. Точки s(0) и s(1) называются началом и концом пути s. Если s(0) = s(1) , то путь s называется замкнутым. Замкнутые пути

называются иначе петлями.

Топологическое пространство называется связным, если любые две его точки могут быть соединены путем.

13.7. Примеры

Пример 6.

Привести пример T1 -пространства, в котором никакое одноточечное подмножество не замкнуто.

Пусть N

– множество всех целых чисел, Nk

={n N : n k} для каждого k N .

Семейство

F ={N} { } {Nk : k N} является топологией на

N . Пространство

(N, F) искомое. Действительно, пусть

m N ,

n N и m n .

Предположим для

определенности,

что

m < n . Тогда, если U F

и U m , то U Nm n и потому

m [n] (значит,

{n}

не замкнуто в

(N, F) ).

Но Nn – окрестность точки n , не

содержащая m . Следовательно, (N, F)

T1 -пространство.

 

Пример 7.

Пусть X – бесконечное множество и Fk ={A X : X \ A конечно или A = } . Условимся называть Fk конечной топологией на X .

Доказать, что

a)Fk – топология на X ;

b)(X , Fk ) – T2-пространство;

143

c)если (X , F) – топологическое пространство, удовлетворяющее T1-аксиоме отделимости, то Fk F ;

d)любые два непустых открытых в ( X , Fk ) множества пересекаются;

e) каждая точка x X является предельной для любого бесконечного множества A X ;

f)для любого бесконечного подмножества A множества X , [A] = X (иными

словами, всякое бесконечное подмножество множества X всюду плотно в X );

g)X компактно и сепарабельно.

Докажем e). Любое открытое в X множество U содержит все точки множества X , за исключением, быть может, конечного числа. Значит, U содержит и все точки множества A , кроме, быть может, конечного числа их. Так как A бесконечно, можно заключить, что U содержит бесконечно много точек из A . Сказанное относится, в частности, к любой окрестности точки x .

Пример 8.

Пусть X – топологическое пространство и A – лежащее в нем множество. Доказать равносильность следующих утверждений:

a)у каждой точки x A существует окрестность Ox в X такая, что A Ox замкнуто в Ox ;

b)[A] \ A – замкнутое множество;

c)A является пересечением замкнутого множества с открытым.

a) c). Зафиксируем для каждой точки x A окрестность Ox

такую, как в a).

Положим G = {Ox : x A},

F =[ A]

и

покажем,

что

A = G F . Очевидно,

A G F . Пусть y G F . Зафиксируем

x* A , для которого

y Ox *. Так как

Ox * – открытое множество,

то из

y F =[A] следует,

что

y [A Ox*]. Но

[A Ox*] Ox* = A Ox * в силу выбора Ox * . Значит,

y A Ox* = A .

c) a). Пусть A = Φ ∩U , где Φ замкнуто в X , а U открыто в X . Тогда A замкнуто в U в силу определения топологии подпространства. Значит, Ox =U удовлетворяет a) для всех x A .

b) c). Положим U = X \ ([A] \ A) . В силу b) множество U открыто. Очевидно,

U[A] = A .

c)b). Пусть A = Φ ∩U , где Φ замкнуто в X , а открыто U в X . Множество A

открыто в Φ. Поэтому [A]Φ \ A = [ A]Φ (Φ \ A) – замкнутое в Φ множество. Но [A]Φ = [A] , ибо Φ замкнуто в X . Итак, [A] \ A замкнуто.

144

Тема 14. Элементы дифференциальной геометрии

Пространственной кривой называется образ отрезка в пространстве при непрерывном отображении.

Плоской кривой называется образ отрезка на плоскости при непрерывном отображении.

Пространственную кривую можно задать параметрическими уравнениями x = x(t) , y = y(t) , z = z(t) или векторным уравнением

r = x (t )i + y (t ) j + z (t ) k .

Если мы рассматриваем плоскую кривую, надо положить z(t) 0 .

Кривая, заданная уравнением r = r (t) , называется годографом векторфункции r .

Производная вектор-функции r (t) определяется формулой

 

r

'(t) =

dr

 

= lim

r

,

 

dt

 

t

 

 

 

 

t 0

 

может быть вычислена по формуле

r ' (t ) = {x' (t ), y ' (t ), z ' (t )} .

Производная ddtr определяет вектор, направленный по касательной к годографу вектора r в сторону возрастания параметра t .

Правила дифференцирования вектор-функции

1.

d

 

(

r

+

 

r

r

) =

 

d

r1

 

+

d

r2

 

d

r3

;

dt

 

dt

 

 

dt

 

 

 

 

 

1

2

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

2.

dc

 

 

= 0 , где c – постоянный вектор;

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.

d

 

(ur

) = u

d

r

 

 

+

r

 

du

, где u = u(t) – скалярная функция от t ;

dt

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d

r

 

 

 

dt

 

 

 

 

 

 

 

 

d

r

 

 

 

 

 

d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.

 

 

(r

 

, r )

=

r

,

 

2

 

 

 

 

+ r ,

 

1

;

 

dt

 

 

dt

 

 

 

 

dt

 

 

1

2

 

 

1

 

 

 

 

 

 

 

 

2

 

 

 

5.

d

[

r

,

r

]

=

 

r

,

dr2

 

+

 

dr1

 

 

,

r

 

 

 

 

 

 

 

 

 

 

 

dt

1

2

 

 

1

 

 

 

dt

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

145

14.1. Вычисление кривизны кривой

 

Пусть γ – произвольная кривая, A и B – точки

на

этой кривой,

ϕ – угол между

касательными

 

кривой в точках A и B ,

s

– расстояние между A

 

и

B (рис. 14.1). Кривизной данной кривой в точке

 

A

называется

предел

отношения

угла ϕ к

 

расстоянию s при неограниченном приближении

 

точки B к точке A :

 

ϕ

 

 

 

 

 

 

 

 

 

k = lim

.

 

рис. 14.1

 

 

 

 

 

s0

s

 

 

Кривизна показывает быстроту поворота касательной, т.е. насколько быстро данная кривая меняет направление.

Если кривая задана уравнением

 

 

r

=

r

(t) ,

то кривизна вычисляется по

следующей формуле:

| [

r

',

 

r

''] |

 

 

k =

 

.

(14.1)

 

 

|

r

'|3

 

 

 

 

 

Формулы для вычисления кривизны плоской кривой

1.Кривая задана уравнением y = f (x) . Тогда кривизна вычисляется по формуле

| y''|

 

k = (1 + y'2 )3 / 2 .

(14.2)

2.Кривая задана параметрическими уравнениями x = x(t), y = y(t) . Тогда кривизна вычисляется по формуле

k =

| x y

y x |

,

(14.3)

 

& &&

& &&

 

 

(x&2 + y&2 )3 / 2

где x& и y& означают производные по t .

3.Кривая задана в полярных координатах уравнением ρ = ρ(θ) . Тогда кривизна вычисляется по формуле

k =

| ρ2 + 2ρ'2 ρρ''|

,

(14.4)

(ρ2 + ρ'2 )3 / 2

где ρ' означает производную по θ .

Радиусом кривизны называется величина, обратная кривизне: R = k1 .

146

Замечание. Кривизна окружности – величина постоянная во всех ее точках и равна обратной величине радиуса: k =1/ r . Отсюда радиус кривизны равен радиусу самой окружности: R = r .

Пример 1.

 

 

 

 

 

 

 

 

 

 

 

1

 

 

Найти кривизну кривой y = −x3 в точке с абсциссой x =

.

 

 

 

 

 

 

 

y = f (x) ,

 

 

 

 

 

 

2

 

 

Кривая задана

уравнением

поэтому

применим формулу (14.2). Найдем

 

 

2

 

 

1

 

3

 

 

1

 

 

производные:

y' = −3x

 

, y'' = −6x , y'

 

= −

 

,

y''

 

= −3

. Тогда кривизна будет

 

2

4

2

 

 

 

 

 

 

 

 

 

 

такой:

| 3 |

 

192

 

k =

=

.

(1 +9 /16)3 / 2

 

64

Пример 2.

Найти кривизну циклоиды x = a(t sin t), y = a(1 cos t) в произвольной точке. Кривая задана параметрическими уравнениями, поэтому нужно применить формулу

(14.3).

 

Найдем

производные

 

x

и

 

y

 

 

по

t :

&

 

 

 

 

&&

 

 

&

 

&&

 

 

 

 

 

 

 

 

 

 

x = a(1 cos t), x

= a sin t, y = a sin t, y = a cos t . Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| a 2 (1 cos t) |

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k = (2a2 (1 cos t))3 / 2 =

23 / 2 a

1 cos t .

 

 

 

 

 

 

Пример 3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Найти кривизну винтовой линии

x = a cos t,

y = a sin t, z = R 2

a 2 t

в произвольной

точке.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Нужно использовать формулу (14.1).

 

 

 

 

 

 

 

 

 

Найдем соответствующую вектор-функцию:

r (t) ={a cos t, a sin t,

 

R 2

a 2 t} ,

ее

производные

и

их

векторное

произведение:

r ' (t) = {a sin t, a cos t,

R 2 a 2 } ,

 

r

' ' (t) ={a cos t, a sin t, 0} ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

j

 

k

 

 

 

 

 

 

 

 

 

[

r

'(t),

r

''(t)]= −a sin t

 

a cos t

R2 a2 = a

R2

a 2 sin t i a

R2 a2 cos t j + a2 k .

 

 

 

 

 

 

 

 

a cos t

a sin t

 

0

 

 

 

 

 

 

 

 

 

Таким образом, кривизна будет равна

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =

| [r ', r ''] |

=

a 2 (R2

a 2 ) sin 2 t + a 2 (R2

a2 ) cos2 t + a 4

=

aR

=

a

.

 

 

 

 

 

 

 

| r '|3

(a2 sin 2 t + a2 cos2

t + R2

a2 )3 / 2

R3

R2

 

 

 

 

 

 

 

 

 

 

 

 

 

147

14.2. Естественный трехгранник пространственной кривой

Пусть кривая задана уравнением r = r (t) . В каждой точке M этой кривой

можно задать три взаимно перпендикулярных единичных вектора:

τ = ddsr = | rr ''((tt)) |

единичный вектор касательной;

ν= | ddττ // dsds |

единичный вектор главной нормали, перпендикулярен вектору касательной;

β=[τ, ν] – единичный вектор

бинормали, перпендикулярен плоскости касательной и главной нормали.

Плоскость, содержащая векторы

τ и ν, называется соприкасающейся

плоскостью, содержащая векторы β

и ν нормальной плоскостью, содержащая векторы τ и β

спрямляющей плоскостью.

Трехгранник с вершиной в точке M , образованный соприкасающейся, нормальной и спрямляющей

плоскостями, называется рис. 14.2

естественным трехгранником Френе

(см. рис. 14.2).

14.3. Вычисление кручения кривой

Пусть γ – произвольная кривая, P и Q

точки на этой кривой, θ – угол между соприкасающимися плоскостями в точках P и Q , s – расстояние между P и Q . Угол

между бинормалями в этих точках также будет равен θ (рис. 14.3). Кручением кривой в точке M называется предел отношения

рис. 14.3

148

угла θ к расстоянию s при неограниченном приближении точки Q к P :

σ = lim θ .

s0 s

Кручение характеризует, насколько данная кривая отличается от плоской кривой на участке PQ .

Формула для вычисления кручения:

= r ' (t) r ' ' (t) r ' ' ' (t) σ [r ' (t), r ' ' (t)] 2 .

Пример 4.

Найти кручение кривой x = 6t , y = 3t 2 , z = t 3 в точке t =1. Вектор-функция r (t) имеет вид {6 t , 3t 2 , t 3 } . Найдем ее производные:

r

' (t) = {6, 6t, 3t 2 } ,

r

' ' (t ) = {0, 6, 6t} ,

r

' ' ' (t) = {0, 0, 6} . Надем смешанное и векторное

произведения этих векторов:

 

 

6

 

6t

3t 2

 

 

 

 

 

r

'(t)

r

''(t)

r

''(t) =

 

0

6

6t

 

= 216 ,

 

 

0

0

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Кручение в произвольной точке будет таким: σ =

216

=

2

.

182 t 4 +362 t 2 +362

3(t 4 + 4t 2 + 4)

При t =1 находим σ =

2

.

 

 

 

 

 

27

 

 

 

 

 

 

 

 

 

 

 

 

149

150

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]