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

Конспект ТФКЗ

.pdf
Скачиваний:
105
Добавлен:
12.02.2016
Размер:
2.7 Mб
Скачать

z

 

 

 

i

 

2, arctg

 

3

2 2 arctg

 

2

 

 

5

.

 

 

1

 

 

 

3

3

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

3

3

 

 

 

 

 

 

 

 

За формулою (2.13) маємо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 k

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

w

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

k 0,2.

 

 

 

2

 

cos

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отже є три різних значення 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

i :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для k 0:

w0 3

 

 

 

 

 

 

 

 

i sin

3 2 cos1000

i sin1000 ,

2 cos

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

для k 1:

w

 

 

2

cos

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

 

 

 

 

 

 

 

 

11

 

 

 

 

 

cos2200

 

i sin2200 ,

 

 

 

 

 

 

3 2

 

 

 

 

 

i

 

 

 

 

 

 

 

3 2

 

 

 

 

 

 

 

 

cos

 

 

 

 

 

 

 

 

 

 

sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

для k 2:

w

 

 

 

2

cos

 

 

 

 

 

 

 

 

 

 

 

 

i sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

17

 

 

 

 

 

 

 

 

 

 

17

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 2

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

3 2 cos3400

i sin3400 .

 

 

 

 

 

 

 

cos

 

 

 

 

 

 

 

 

 

 

sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

На рис. 1.5 зображені значення wk , k 0,2. •

Im z

w0

 

0

Rez

w

 

w2

 

1

 

Рис. 1.5

11

§ 3. Комплексна площина. Топологія комплексної площини. Криві і області на комплексні й площині

Кожному комплексному числу z x iy, як числу, що задається двома дійсними числами x, y , можна поставити у відповідність точку комплексної площини C. Введемо віддаль між двома точками z1 і z2 комплексної площини

C. Нехай z1 x1 iy1, z2 x2 iy2. Тоді віддаль між цими двома точками, згідно з відомою з аналітичної геометрії формулою, дорівнює

 

 

 

 

 

d

 

z z

2

 

 

x x

2

 

2 y y

2

2 .

(3.1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

1

 

 

 

 

 

 

Кажуть, що формула (3.1) визначає метрику на площині C.

 

Im z

 

 

 

 

 

 

 

 

 

 

 

 

-околом точки z0

 

називають множину таких

 

 

 

 

 

 

 

 

 

точок z, для яких виконується нерівність

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z z0

 

.

 

 

 

 

 

(3.2)

 

 

 

z0

 

 

 

 

 

 

 

 

 

 

 

 

Згідно з (3.1) та відомого з аналітичної

 

 

 

 

 

Rez

геометрії рівняння кола з центром у точці x0, y0 ,

 

 

 

 

 

- окіл точки z0 є внутрішністю круга з центром у

O

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

точці z0

радіуса .

 

 

 

 

 

 

 

 

 

Рис.1.6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Нехай D – деяка множина точок комплексної площини C.

 

Означення 1.

Точка z0 називається внутрішньою точкою множини D, якщо

 

 

вона належить множині D разом зі своїм -околом.

Означення 2.

Множина D, яка складається лише з внутрішніх точок, назива-

 

 

ється відкритою множиною.

 

 

 

 

 

 

 

 

 

Наприклад, внутрішність круга

 

z z0

 

R є відкритою множиною, оскіль-

 

 

ки окіл

 

z z1

 

R

 

z1 z0

 

 

будь-якої її точки z1

також належить цій множині.

 

 

 

 

Означення 3.

Множина

D називається зв’язною, якщо будь-які дві її точки

 

 

можна з’єднати ламаною, всі точки якої належать цій множині.

Означення 4.

Областю в C називається відкрита і зв’язна множина D.

Наприклад, областями

у

комплексній

 

 

площині

є півплощина

Rez a, a R, круг

 

z z0

 

R, R 0;

 

кільце

r

 

z z0

 

R,

0 r R; смуга

 

 

 

 

a Rez b, a b, a,b R.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отже, будь-яка область D C містить тільки внутрішні точки z0 , для яких

існує таке число z0 0,

що круг

z z0

 

D.

 

 

 

Означення 5. Точка z1 називається межовою точкою області D, якщо у будь-

якому її - околі z z1 є як точки z, які належать області D,

так і точки z комплексної площини C, які не належать області D.

12

Сукупність межових точок утворює межу (границю) області D і позначається D або однією літерою L, тощо. Область D D D називають

замкненою областю. Наприклад, замкнений круг z z0 R, замкнене кільце

r z z0 R.

Межу області D на комплексній площині можна задати за допомогою комплекснозначної функції z z t x t iy t деякого дійсного параметра t , , тобто задати дві неперервні функції дійсної змінної x t та y t . У цьому випадку говорять, що задана неперервна крива

z z t x t iy t , t , , (3.3)

а рівняння (3.3) називають параметричним рівнянням кривої. При цьому, якщо

z1 z t1 і

z2 z t2 ,

де t1 t2

, то говорять, що точка z2 кривої (3.3)

слідує за

точкою z1.

Отже, крива

(3.3) є впорядкованою множиною точок

комплексної площини, тобто завжди вважається орієнтованою у напрямку

зростання параметра t. Напрямок руху

точки

 

z

вздовж кривої (3.3), що

відповідає зростанню параметра t, називається додатним напрямком.

Приклад 1.

Крива z cost, t 2

є відрізком 1;1 , орієнтованим у

напрямку від точки z 1 до точки z 1.

 

 

 

 

Приклад 2.

Крива z eit, 0 t є півколом

 

z

 

1, Imz 0, орієнтованим

 

 

проти годинникової

стрілки.

Справді,

z eit cost isint

x t cost, y t sint ,

звідки

маємо,

що

 

z

 

1, Imz 0, оскільки

 

 

0 t .

 

 

 

 

 

 

 

 

 

 

Крива, яка не має точок самоперетину, називається простою кривою.

Крива (3.3)

називається гладкою, якщо функції

x t

і y t є неперервно

диференційованими на відрізку

, .

Крива

(3.3)

 

називається кусково-

гладкою, якщо її можна розбити на скінчену кількість гладких кривих.

Надалі розглядатимемо лише кусково-гладкі криві і області, межа яких складається зі скінченої кількості кусково-гладких кривих.

Приклад 3. На рисунку зображено область z 1, 0 argz 2 . Це круг z 1

0°°1

Рис.1.7

з розрізом вздовж відрізка 0;1 . Межа області складається з відрізка 0;1 , який проходиться від точки z 1 до точки z 0 – нижній берег розрізу; відрізок 0;1 , який проходиться від точки z 0 до точки z 1 – верхній берег розрізу; коло z 1, яке обходиться проти годинникової стрілки (рис.1.7).

13

Розглянемо замкнену область D, зображену на рис.1.8. Межа цієї області утворена двома кривими і D 1 2. Тут z1 – внутрішня точка, z2 – межова точка області.

z2

1

z1

2 D

Рис.1.8

Важливим у теорії функцій комплексної змінної є поняття орієнтації

замкненої області D – напрям обходу її межі. Додатним напрямом обходу вважають той, при якому область залишається зліва (рис.1.8).

Області комплексної площини C поділяють на однозв’язні та

багатозв’язні.

Означення 6. Область D C називають однозв’язною, якщо будь-яку замкнену неперервну криву (замкнений контур), яка повністю міститься в області D, можна деформувати в точку, не виходячи за межі області D.

Наприклад, комплексна площина C; круг z z0 R, R 0; півплощина

Imz 0. У протилежному випадку область D C називають багатозв’язною. Наприклад, кільце r z z0 R, 0 r R.

Якщо межа D області D C складається з n 1 замкнених неперервних кривих без точок самоперетину, то таку область називають n-зв’язною і відносять до типу багатозв’язних областей. Наприклад, двозв’язними є область, зображена на рис.1.8, кільце D r z R, 0 r R .

Область D називається обмеженою, якщо існує такий круг K : z R, що

D K . Обмежена область є однозв’язною, якщо її межа складається лише з однієї замкненої кривої.

14

ЛЕКЦІЯ 2

Числові послідовності у комплексній області

§1. Поняття послідовності комплексних чисел. Границя послідовності. Необхідна та достатня умова існування границі числової послідовності

Для теорії функцій комплексної змінної велике значення має те, що основні ідеї і поняття математичного аналізу можна перенести в комплексну область. Зокрема, це поняття границі і збіжності числових послідовностей. Як і для множин дійсних чисел, якщо для n N вказано комплексне число zn, то

кажуть, що задана послідовність zn n 1 zn zn 1 .

Означення 1. Послідовністю комплексних чисел називається перенумерова-

на нескінченна множина комплексних чисел (відображення множини натуральних чисел N на деяку множину zn C ); zn будемо називати елементами послідовності.

Означення 2. Комплексне число A C називається границею послідовності

zn , якщо 0 N : n N

zn A

.

(1.1)

Якщо послідовність zn має границю

, то

її називають збіжною і

записують

 

 

 

 

 

 

 

 

lim zn A

lim

 

zn A

 

0 .

(1.2)

 

 

n

n

 

 

 

 

 

Оскільки кожний елемент послідовності zn n i n характеризується парою дійсних чисел n і n , то послідовності zn відповідають дві послідовності дійсних чисел n і n , елементами яких є n Rezn і n Imzn.

Теорема 1. Для того, щоб існувала границя lim zn n i n A i , не-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

обхідно і достатньо, щоб існували дві границі

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim n і

lim n .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доведення.

lim zn A , тобто

 

 

 

 

zn A

 

 

 

 

 

 

Необхідність. Нехай існує

lim

 

 

0 . Тоді

 

 

0 N : n N

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

zn A

.

 

З

 

 

нерівностей

 

Rez

 

z

,

 

 

Imz

 

z

 

випливає, що

 

n

 

 

 

zn A

 

і

 

n

 

 

 

zn A

 

. А це означає, що

 

 

 

 

 

 

 

 

0

N : n N

 

n

 

 

lim n 0

lim n ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n

0

N : n N

 

n

 

 

lim n 0

lim n .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n

Достатність. Нехай існують lim n

і lim n . Це означає, що

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

15

0 N

: n N

 

 

n

 

 

 

 

;

 

 

 

 

1

1

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

0 N

2

: n N

2

 

 

 

 

n

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Оскільки за правилом трикутника справедлива нерівність

zn A n i n n n ,

то, вибравши N max N1, N2 , отримаємо

 

 

 

n N :

 

z

n

A

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а це означає, що

lim

 

zn A

0

 

lim zn A. ◄

 

 

 

 

 

 

 

n

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

З доведеної теореми випливає:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Якщо існує lim zn z0, то існує і

 

lim

 

zn

 

 

 

 

z0

 

. (Це твердження можна

 

 

 

 

 

n

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

довести, використовуючи нерівність

 

zn

 

z0

 

 

 

zn z0

).

 

 

 

 

2. Нехай

zn n cos n isin n nei n , де

n

 

zn

 

, n argzn,

 

 

n N . Якщо

існує lim n 0

і

 

 

lim n 0, то існує і

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

lim nei n 0ei 0 .

n

§ 2. Властивості збіжних числових послідовностей. Число ez

Теорема 1 показує, що питання щодо існування границі послідовності

zn 1 фактично переноситься на питання існування границь числових послідов-

 

 

, побудованих з дійсних та уявних частин

zn

. Це дозволяє

ностей n 1

і n 1

стверджувати,

 

 

 

мають ті ж

що збіжні послідовності комплексних чисел zn 1

 

властивості, що і збіжні послідовності дійсних чисел. Зокрема, якщо існують

lim zn A і

lim wn B , то:

 

 

 

 

 

 

n

 

 

n

 

 

 

 

 

 

 

 

 

A B;

 

 

 

 

 

 

а)

існує

lim z

n

w

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

n

 

 

 

 

 

 

 

 

б)

існує

lim z

n

w

A B;

 

 

 

 

 

 

 

 

 

n

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

n

 

 

 

 

A

 

 

 

 

 

 

в)

існує

lim

 

 

 

 

 

 

 

 

, якщо B 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n wn

 

 

B

 

 

 

 

 

 

Доведемо властивість а).

 

 

 

 

 

 

► Нехай існують границі послідовностей

 

lim

 

 

 

B i .

lim z

n

lim

n

i

n

A i і lim w

n

i

n

n

n

 

 

 

 

 

 

 

n

n

n

 

 

16

Тоді,

згідно

з

теоремою

 

1,

існують границі lim n ,

lim n і

 

 

 

 

 

 

 

 

 

 

 

n

n

lim n ,

lim n . Побудуємо послідовність un 1 , яка є сумою послідов-

n

 

 

n

 

 

 

 

 

 

 

 

ностей z

n

 

: u

n

z

n

w , w

n

 

. За правилом додавання комплексних чисел

 

 

1

 

 

n

1

 

 

для n: un n n i n n . За відомою з математичного аналізу теоремою про границю суми збіжних числових послідовностей, маємо, що існують

lim n n ;

lim n n ,

n

 

n

а це, згідно з теоремою 1, означає, що існує

lim un lim zn wn A B.

n

n

 

Пункти б) і в) доводяться аналогічно. ◄

Введемо поняття обмеженої послідовності zn 1 .

 

називається обмеженою, якщо існує таке чис-

Означення. Послідовність zn 1

ло M 0, що для всіх n

 

zn

 

M , тобто всі числа zn знаходяться в

 

 

замкненому крузі z M радіуса M з центром у початку координат.

Зауважимо, що, згідно з теоремою 1, збіжна послідовність zn 1 є

обмеженою. Проте не кожна обмежена послідовність є збіжною. Дійсно,

розглянемо послідовність zn 1 , де

 

zn 1 n. Така

послідовність

є

обмеженою:

 

1 n

 

1,

але

границі

 

цієї послідовності,

як відомо

з

 

 

 

математичного аналізу, не існує.

z n

 

 

Доведемо, що для z

ez

 

 

 

lim 1

 

 

(аналог другої важливої границі).

 

 

 

 

 

 

 

 

 

n

n

 

 

 

Маємо ez ex iy exeiy . Розглянемо послідовність

 

z n

 

 

 

 

zn 1

 

 

 

zn

 

 

n

 

 

Знайдемо

ei argzn , і доведемо, що існують

lim

 

zn

 

ex;

lim argzn y.

 

 

n

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

n

 

 

 

2

 

 

n

 

 

 

 

 

 

 

 

x

 

y

 

 

 

x

y

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

i

 

 

 

 

 

 

 

argz

 

n arctg

n

 

 

1

 

 

 

 

 

1

 

 

 

 

 

;

n

 

 

 

 

 

 

 

n2

 

 

 

 

n

 

n

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zn 1 , де

y

n.

1x n

Тоді

17

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

2x 2

ex; lim argz

 

 

 

 

 

 

n

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

lim 1

 

 

 

lim

 

n arctg

 

 

 

 

 

lim n

 

y.

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

n

 

 

 

 

 

 

x

 

 

 

n

n

 

 

n

n

n

 

n

 

 

1

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z n

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отже, що ez ex iy

zn

 

ei argzn lim 1

 

, що і треба було довести.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

§3. Критерій Коші. Теорема Больцано-Вейєрштрасса. Сфера Рімана. Розширена комплексна площина

Необхідною і достатньою ознакою збіжності послідовностей комплексних чисел є критерій Коші:

Для того, щоб послідовність zn 1 була збіжною, необхідно і достатньо,

щоб вона була фундаментальною, тобто

0

N : n N, m N

zn zm

.

 

 

 

 

 

справедлива

Для обмежених послідовностей комплексних чисел zn 1

теорема:

Теорема 2 (теорема Больцано-Вейєрштрасса). З довільної обмеженої послі-

 

довності

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zn 1 можна виділити збіжну підпослідовність.

 

Доведення.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

► Нехай задано обмежену послідовність zn 1 , де zn n i n, тобто

 

M 0: n

 

zn

 

M .

 

Оскільки

 

 

zn

 

 

 

n i n

 

M, то за властивостями

 

 

 

 

 

 

комплексних чисел

 

n

 

M,

 

 

n

 

M . Це означає, що числові послідовності

 

 

 

 

 

 

 

 

 

 

 

 

 

 

є обмеженими і для них є справедливою теорема

дійсних чисел n 1

 

і n 1

Больцано-Вейєрштрасса, тобто з цих послідовностей можна виділити збіжні

підпослідовності n ,

n :

lim

 

n

і

lim

n

 

. Отже, згідно з

k

k

n

k

 

n

 

k

 

 

 

k

, zn

n

k

 

 

 

теоремою 1, існує послідовність zn

i n

, яка є збіжною. ◄

 

 

k

 

k

k

k

 

 

 

Розглянемо сферу S одиничного радіуса,

яка дотикається до комплексної

площини в точці z 0 (рис.2.1).

Позначимо через P точку сфери S , діаметрально протилежну до точки O. Кожній точці z C поставимо у відповідність на сфері S точку Q, яка є точкою перетину сфери S з відрізком, який з’єднує точки z і P. За допомогою такої побудови між точками z комплексної площини C і точками сфери S (за винятком точки P) встановлюється взаємно однозначна відповідність, яку називають стереографічною проекцією. Точку Q сфери називають стереографічним образом точки z, а сферу S називають сферою Рімана.

18

P

Q

 

O

z

 

y

C

x

 

Рис.2.1

Точці P на комплексній площині не відповідає жодне комплексне число.

З’ясуємо, що можна поставити у відповідність точці P.

Розглянемо на

 

 

 

 

 

 

 

 

. Оскільки по-

комплексній площині довільну необмежену послідовність zn 1

слідовність

 

є необмеженою, то для

M 0 знайдеться такий номер

zn 1

N N M ,

що для всіх n N виконується нерівність

 

zn

 

M .

Очевидно, що

 

 

точки сфери S , які є зображеннями точок zn

 

 

 

 

 

, яка прямує до

послідовності zn 1

безмежності, будуть необмежено наближатися до точки P зі зростанням номера n. Щоб взаємно однозначну відповідність, яка існує між усіма точками сфери

S ,

 

за виключенням точки P, і точками комплексної площини, розповсюдити і

на точку P, до комплексної площини C

приєднують нову умовну точку, яку

називають нескінченно віддаленою точкою і позначають символом .

Означення. Послідовність комплексних чисел

zn 1

називають збіжною до

 

 

 

безмежності: lim zn , якщо

lim

 

zn

 

.

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

Таке визначення формально співпадає з відповідним визначенням для

дійсних чисел,

оскільки співвідношення lim

 

zn

 

 

означає, що для довільно-

 

 

 

 

 

R 0 існує

такий номер N , що

 

n

 

 

 

 

 

n N

 

го

 

для

 

всіх

виконується нерівність

 

zn

 

R:

R 0: N : n N

 

zn

 

 

R

lim

zn .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

З геометричної точки зору нерівність

 

zn

R означає, що точка zn лежить

зовні круга радіуса R з центром у початку координат. Множина таких точок

19

називається околом нескінченно віддаленої точки z . Доповнену нескінченно віддаленою точкою комплексну площину називають розширеною комплексною площиною і позначають C. Розширена комплексна площина C є компактною.

Отже, на комплексній площині числу z ставиться у відповідність лише одна символічна нескінченно віддалена точка, на відміну від дійсної прямої, де розглядають дві нескінченно віддалені точки. Тому евклідова площина не підходить для зображення чисел, які наближаються до нескінченності. Цих труднощів уникають, зображаючи комплексні числа точками сфери.

 

З означення околу нескінченно віддаленої точки випливає, що arg z є

невизначений. Визначимо алгебраїчні властивості числа z .

 

 

 

 

 

 

 

Якщо lim zn , то lim

 

zn

 

і

 

 

lim

 

 

1

 

0. Дійсно,

якщо з елементів

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

n

 

 

 

 

 

 

 

 

n zn

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

побудувати послідовність

 

 

 

z

n

0 ,

то з того, що існує

lim z

n

 

 

 

 

n 1

 

 

 

 

zn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

випливає, що

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

0 N : n N

 

 

 

 

 

 

 

 

 

 

zn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(достатньо взяти

1

). Це означає, що

lim

1

 

0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M

 

 

 

 

 

n zn

 

 

 

 

 

 

 

1

 

 

Очевидне і

обернене твердження:

 

якщо

 

 

 

lim zn 0,

то

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

n

 

n zn

 

zn 0 . У зв’язку з цим покладають

0;

 

; z , z 0 ; z ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 0, z ; , які є природні з позицій граничного переходу в

операціях множення і ділення.

Твердження. З довільної послідовності zn 1 елементів zn C можна виділити збіжну (можливо до ) підпослідовність.

20