6____2004
.pdfПример 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 n−1 .
Пример 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 n−1 и |
|
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 |
||
|
|
|
|||||
|
|
∆s→0 |
∆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 θ .
∆s→0 ∆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