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

книги из ГПНТБ / Итенберг, С. И. Линейная алгебра и аналитическая геометрия на плоскости. Введение в анализ учеб. пособие

.pdf
Скачиваний:
15
Добавлен:
19.10.2023
Размер:
7.47 Mб
Скачать

Существует бесконечное множество чисел, которые нельзя пред­

ставить в виде ± - ~

, где р и q — натуральные;

эти числа

назы­

ваются и р р а ц и о н а л ь н ы м и . К

ним относятся,

например

У~2, V^ÎO,

я и т. д. Все рациональные

и иррациональные

числа

образуют

множество

д е й с т в и т е л ь н ы х ,

или

в е щ е с т ­

в е н н ы х ,

чисел.

 

 

 

 

 

Действительное число можно представить в виде бесконечной десятичной дроби, периодической или непериодической. Укажем

основные

свойства

действительных

чисел,

широко

используемые

в дальнейшем.

 

 

 

 

 

 

 

 

 

 

 

 

 

1.

Действительные

числа

упорядочены

по

величине.

Это

зна­

чит,

что

любые

два

действительных

числа

а

и

b находятся

в

одном

и только

в одном

из трех отношений:

а

>

b;

а

= b;

а

< Ь.

 

2.

Между двумя

любыми

различными

действительными

числами

находится

бесконечно

много

рациональных

и

иррациональных

 

чисел.

 

 

 

 

 

 

 

 

Из

свойства

2

вытекает

Ç

~*

 

*

'г

важное

следствие: всякое ир-

 

 

"

 

рациональное

число

 

можно

X<Q

 

 

g

x>ff

приближенно,

с

любой

 

сте­

 

 

 

 

 

 

 

пенью

 

точности,

 

заменить

 

 

Рис. 58

 

 

 

рациональным.

 

Практически

 

 

 

 

 

 

 

такую

замену

можно

совер­

шить,

превратив

бесконечную

десятичную дробь,

изображающую

иррациональное число, в конечную, сохранив при этом только конечное число первых десятичных знаков.

Действительное число можно геометрически изобразить точ­ кой на числовой оси. Ч и с л о в о й о с ь ю называется прямая, на которой указаны: положительное направление; точка О, назы­ ваемая началом отсчета; отрезок, длина которого принята за еди­ ницу. Расположим числовую ось горизонтально (рис. 58), а за по­

ложительное

выберем направление вправо. Пусть

 

х — действи­

тельное число; изображающая его точка строится так: если х

> О,

то эта точка

лежит правее точки О на расстоянии

х от нее;

если

X < 0 (а, следовательно, — х > 0), то изображающая

точка

лежит

влево от точки О на расстоянии — х. Наконец, если х

0,

изобра­

жающая точка совпадает с точкой О. Обратно, каждой точке на числовой оси соответствует некоторое действительное число. Опи­ санное взаимно однозначное соответствие между точками числовой оси и действительными числами позволяет не различать в даль­ нейшем понятия «точка х на числовой оси» и «действительное число х».

4.3.ПРОМЕЖУТКИ. ОКРЕСТНОСТИ

Вматематическом анализе особенно часто приходится иметь

дело с числовыми

множествами, называемыми и н т е р в а л а м и .

О т к р ы т ы м

и н т е р в а л о м (а, Ь) называется множество

120

действительных чисел х, удовлетворяющих

неравенствам

 

а <

X < Ь,

 

 

 

 

где а я b — некоторые фиксированные

числа.

 

 

З а м к н у т ы м

и н т е р в а л о м

[а,

Ь)

называется множе­

ство действительных

чисел х, удовлетворяющих

неравенствам

 

а <

X < Ь.

 

 

 

 

Рассматриваются

также

п о л у о т к р ы т ы е

интервалы,

замкнутые на одном конце и открытые на другом; они обозначаются

символами

la, b) и (a,

b] и опре­

 

 

 

деляются

соответственно нера-

а '

.

 

венствами

 

 

 

 

 

а < х < Ь и а < х < Ь .

а

Л

Р

Геометрически на

числовой

 

 

 

оси интервалы изображаются от-

 

 

 

л

b

Р и с .

59

резками, без включения или с включением в них концевых точек (рис. 59).

Открытые, замкнутые и полуоткрытые интервалы носят общее

название к о н е ч н ы х

п р о м е ж у т к о в .

Во многих случаях

приходится

рассматривать

б е с к о н е ч н ы е

промежутки,

для

которых применяются

аналогичные

обозначения.

 

 

 

 

 

Например,

символ

(— оо,

+ °°) обозначает

множество

всех

действительных

чисел

х

или геометрически — всю

числовую

ось.

Символом (— оо, Ь) обозначают множество чисел х,

удовлетворяю­

щее условию X <

Ь;

[а,

+

со) —• множество

чисел

 

х,

удовлетво­

ряющее условию X ^> а,

и т. д.

 

 

 

 

 

 

 

 

Важным

для

дальнейшего

является понятие

 

о к р е с т н о ­

с т и . Окрестностью числах (или, на геометрическом

языке, точки х)

будем называть

всякий

открытый

интервал

(а,

ß),

содержащий

X, т. е. всякий

интервал

(а,

ß),

для

которого а

< х

<

ß.

Геометри­

чески окрестностью точки х является любой отрезок числовой оси, содержащий точку х (рис. 60, а).

Часто бывает необходимо рассматривать такие

окрестности

точки X, для которых эта точка является серединой.

Окрестность

точки X, которая геометрически изображается отрезком длины 2е без включения в него концевых точек, серединой которого служит точка X, будем называть е - о к р е с т н о с т ь ю т о ч к и х. Та-

121

ким образом, е-окрестностью точки х называется открытый интервал — e, X + е), где е — некоторое положительное число (рис. 60, б).

Пусть Е — какое-нибудь числовое множество. Точка х назы­ вается в н у т р е н н е й точкой этого множества, если она при­ надлежит множеству Е вместе с некоторой своей окрестностью.

Точка X называется г р а н и ч н о й

точкой множества Е, если

любая окрестность точки х содержит

как точки, принадлежащие

Е, так и точки, не принадлежащие Е;

при этом сама точка х может

принадлежать или не принадлежать множеству.

Рассмотрим два примера.

 

1. Пусть множество представляет собой открытый интервал (1; 4). Лю­ бая точка X этого интервала является внутренней по отношению к нему;

действительно,

для

любой

точки

х

из интервала (1; 4)

можно указать доста­

точно малую окрестность,

принадлежащую

этому интервалу. Граничными

точками интервала (1; 4) будут

точки хх

=

1, х2—Л,

не

принадлежащие

этому интервалу. Вообще любой

открытый интервал

(а, Ь) состоит только

из внутренних

точек.

 

 

 

 

 

 

 

 

х,

2. Рассмотрим

бесконечный

промежуток

[0; -f- со).

Любая

точка

удовлетворяющая

условию

х >

0,

будет

его внутренней

точкой.

Точка

0

(принадлежащая рассмотренному промежутку) будет его граничной точкой.

Таким

образом,

промежуток [0;

оо) состоит из

внутренних и из гранич­

ной точек.

 

 

 

 

 

 

 

 

 

 

 

 

4.4.

АБСОЛЮТНАЯ

ВЕЛИЧИНА

ЧИСЛА

 

 

 

А б с о л ю т н а я

в е л и ч и н а ,

или

м о д у л ь

действи­

тельного

числа X обозначается символом \ х\

и

определяется усло­

виями

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|х| —1

х '

е с л и

 

 

 

 

 

 

 

 

 

1 — X,

если

X < 0.

 

 

 

 

 

 

 

-х=ЫІ

 

 

х=Іхі

 

 

 

 

 

 

 

/

Л

 

»/

А

">

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

1

 

- I

 

 

 

 

 

х<0

 

0

 

х>0

 

 

 

 

 

 

 

Рис.

61

 

 

 

 

 

 

Таким

образом, имеем,

например,

| 2 | == 2,

| 0 |

= 0,

| — 2|

=

- - ( - 2 ) - 2 ,

| - 4 | = - ( - 4 ) = 4.

 

 

 

 

 

Геометрически

| х |

есть

расстояние

точки

х

от

нулевой точки

(рис. 61).

 

 

 

 

 

 

 

 

 

 

 

В силу данного определения имеем —

\ •< х ^

\х\;

действи­

тельно, если X > 0, то справа будет знак равенства, а слева — знак

неравенства; если х <

0, то слева будет знак равенства, а справа

знак неравенства.

 

 

 

 

 

 

 

 

 

Нетрудно увидеть,

что неравенство

 

 

 

 

 

 

 

 

 

 

| х | < а ,

 

 

 

 

(4.1)

где а > 0, равносильно двойному неравенству

 

 

 

 

 

 

 

— а

X <С а.

 

 

 

(4.2)

122

Действительно, из неравенства (4.1) следует, что точка х на­

ходится

от нулевой

точки на

расстоянии, не превышающем

а

(рис. 62), но это возможно только в том случае, если эта точка

на­

ходится

в замкнутом

интервале

[—ее, + а ] , откуда вытекает нера­

венство (4.2). Очевидно, что из неравенства (4.2) вытекает нера­ венство (4.1).

Равносильные неравенства (4.1) и (4.2) означают, что число х

лежит

в замкнутом

интервале [—а,

а ] .

 

 

j х \ <

 

 

Точно так

же очевидна равносильность неравенств

а

и

— а <

x < а. Эти

неравенства означают, что число х лежит в

от­

крытом интервале

(— а,

а).

 

 

 

 

 

 

 

 

Для дальнейшего являются важными следующие свойства аб­

солютной величины.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ос

 

 

ос

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

-ос

 

 

О

 

Si

 

 

 

 

 

 

 

 

 

Рис.

62

 

 

 

 

 

 

 

1.

Модуль

суммы

не превосходит

суммы

модулей

слагаемых,

т.

е

 

 

 

 

+ у\<\х\

 

+ \у\.

 

 

 

 

(4-3)

Действительно,

имеем

 

 

 

 

 

 

 

 

 

 

 

— | х | < * - < | х | и — | г / | < у < | г / | .

 

 

 

 

Обозначим

x +

у

= г,

\х \ +

\ у\

= а.

Тогда,

сложив

почленно

предыдущие неравенства,

получим

 

 

 

 

 

 

 

 

 

 

 

 

— а <; z <" а,

 

 

 

 

 

 

но отсюда следует,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

\z\

- < а .

 

 

 

 

 

 

Подставив сюда значения 2 и а,

получим неравенство

(4.3).

 

Для случая п слагаемых свойство (4.3)

можно доказать

м е т о ­

д о м

м а т е м а т и ч е с к о й

и н д у к ц и и .

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

что это свойство справедливо для п слагаемых и докажем, что тогда оно справедливо и для случая (п + 1) слагаемых. Итак, имея в виду, что свойство (4.3) нами доказано для двух слагаемых и счи­ тая его справедливым для п слагаемых, имеем

Xn+l I

к

. < | * i l + t * 8 | + . • - + К І + К+1І -

Таким образом, если свойство (4.3) справедливо для п слагае­ мых, то оно справедливо и для (п + 1) слагаемых. Мы доказали

J23

справедливость свойства (4.3) для я = 2 слагаемых. Следовательно, оно справедливо и для п = 2 + 1 = 3 слагаемых; раз оно спра­ ведливо для п = 3 слагаемых, то справедливо и для я = 3 4- 1 = 4 слагаемых и т. д. Таким образом свойство (4.3) справедливо для любого числа слагаемых.

2. Модуль

разности не меньше

разности модулей

уменьшаемого

вычитаемого,

т. е.

 

 

 

\х—у\>\х\

\у\.

(4.4)

Пусть X у =

z,

тогда х = у + z.

На основании предыдущего

свойства будем тогда

иметь -

 

 

 

 

 

\х\ = \у

+ г \ < \ у \

+

\г\

 

I

 

Л

,

I

 

,

 

 

 

а )

 

 

х21=Іх2~х,І

 

 

 

X,

 

 

хг

6)

 

х Г х 2 = - ( х 2 - х 1 ) =

Іх21І

 

 

 

 

 

_L

 

*2

 

 

Х'

Рис . 63

ИЛИ

\х\<\у\ + \х—у\.

Отсюда следует неравенство (4.4).

В формулах (4.3) и (4.4) знаки равенства будут иметь место в том случае, когда х и у — числа одного знака, причем в формуле (1.4)— при дополнительном условии \ х\ > \ у\.

3.

Модуль

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

равен

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

модулей

сомножи­

телей,

т.

е.

\ху

. . .

ш| = И

М

• • • М -

 

 

 

 

 

 

 

4.

Модуль

частного

равен частному

модулей

делимого

и дели­

теля,

т.

е.

 

 

 

 

 

 

 

у\у\

Справедливость двух последних свойств непосредственно вы­ текает из правила знаков при умножении и делении.

Пользуясь определением абсолютной величины, находим

v

V I

=

, *2 — *1 П

Р И

*2

>Хі,

| Х 2

Хі\

{

 

при

 

 

 

 

— (х2—хг)

 

х2 < хх.

124

Отсюда следует, что независимо от взаимного расположения то­

чек хх и х2 на числовой оси, | х2

— хх\

представляет собой расстоя­

ние между точками хх

и х2

(см. рис. 63, а и б, где представлены со­

ответственно случаи х2

>

хх и

х2 <

хх).

4.5.ПРИБЛИЖЕННОЕ ЗНАЧЕНИЕ ЧИСЛА

Число

а называется

п р и б л и ж е н н ы м

з н а ч е н и е м

числа Ас

о ш и б к о й а,

если А = а + а. При этом а называется

приближенным значением

А

с н е д о с т а т к о м ,

если а < А,

и с и з б ы т к о м , если

а >

А.

 

Ошибка а обычно бывает неизвестна и вместо нее вводят в рас­ смотрение так называемую а б с о л ю т н у ю п о г р е ш н о с т ь А, которая представляет собой верхнюю границу для абсолютной величины ошибки а, т. е. число не меньшее | а | : | а | <; Д.

Абсолютную погрешность значительно легче определить, чем ошибку. Так, если измеряется длина с помощью масштабной ли­ нейки, цена деления которой 1 мм, то ошибка измерения не пре­ восходит одного миллиметра; в этом случае за абсолютную по­ грешность измерения можно принять А == 1 мм.

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

процессе

измерения

длин

в одном случае получили приближенное

значение длины а =

1 мм,

а в другом случае а =

1000 мм,

причем

в обоих

случаях абсолютная погрешность А =

1 мм, то

следует

признать первое измерение грубо неточным, второе же довольно точным.

Хорошее представление о точности приближенного значения дает так называемая о т н о с и т е л ь н а я п о г р е ш н о с т ь . Относительной погрешностью приближенного значения называется отношение абсолютной погрешности к абсолютной величине при­ ближенного значения.

Если относительную погрешность обозначить через о, то

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

Теорема

1.

Абсолютная

погрешность

алгебраической

суммы

равна

сумме

абсолютных

погрешностей

слагаемых.

 

 

 

 

Д о к а з а т е л ь с т в о .

Пусть

А

и В — точные

значения

некоторых

величин, а

и b — их приближенные

значения,

А х

и

А2 — соответствующие

абсолютные

погрешности,

так

что

— а|

<; Ах ,

— Ь | < ; А 2 .

Приближенным значением

алгебраи-

125

ческой суммы А + В является сумма а + Ь, при этом

I А + В — ( а +

H (Л— а) + (В Ь) | < | Л — а| +

+ | ß ô | < Ai + A2 .

 

Отсюда ясно, что за

абсолютную

погрешность

приближенного

значения а + & можно

взять число

Д = Д 1 + Д 2

и теорема до­

казана для случая суммы двух слагаемых. В общем случае теорема

доказывается

по

индукции.

 

 

 

Теорема

2.

Относительная

погрешность произведения

равна

сумме относительных погрешностей

сомножителей.

 

Д о к а з а т е л ь с т в о проведем для случая двух сомножи­ телей; общий случай доказывается по индукции.

Сохранив обозначения теоремы 1, положим А —• а = а; В —b =

= ß; Ô! = ^ - ; Ô2 = А . .

I « I

\ь\

Имеем А =

а + а; В = b + ß. Отсюда AB = ab + ab + aß +

+ aß . Последнее равенство показывает, что ошибка приближенного значения ab равна ab + aß + aß . Ошибки a и ß обычно настолько

малы, что и их произведением можно пренебречь;

в таком случае

ошибка приближенного значения ab

равна ab + aß. Так как

|ob + flß|<|a|-|o| + | a | - |

ß | < A i | 6 | +

A a | a | ,

то за абсолютную погрешность приближенного значения ab можно принять число A i I ô| + А 2 |a|. Теперь относительная погрешность равна

 

 

Ai I Ь I + Д2 1 а I

ДІ

.

Д 2

 

 

 

 

 

 

 

 

аЬ\

 

 

 

 

 

 

 

 

 

что и требовалось доказать.

 

 

 

 

 

 

 

 

 

Теорема 3.

Относительная

 

погрешность

частного

равна

сумме

относительных

погрешностей

делимого

и

делителя.

 

 

 

Д о к а з а т е л ь с т в о .

Используя обозначения

теоремы 2,

найдем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

А

а_

 

 

 

I ab —aß

I

 

 

 

 

Т

ь

& + ß

 

 

(b + ß) b

 

 

 

или, если в знаменателе пренебречь

величиной

ß,

обычно

малой

по сравнению с Ь, то

 

 

 

 

 

 

 

 

 

А

а

I «Ь — aß 1 ^

| а Ц Ь 1 +

| а )|Р|

<

^\Ь\

 

+ Ь2\а\

Ь~

Ь2

~

 

б2

 

 

 

 

б3

 

 

Отсюда ясно, что за абсолютную

погрешность

приближенного

значения

-^- можно

принять

величину

 

 

 

 

 

 

126

Разделив это

выражение

на

, найдем значение относитель­

ной погрешности

А

Л

 

 

 

 

Ai I

А2

Si -г б2 )

 

| а |

| й

 

 

что и требовалось

доказать.

 

 

4.6.ПОСТОЯННЫЕ И ПЕРЕМЕННЫЕ ВЕЛИЧИНЫ

Впрактической деятельности приходится встречаться с вели­ чинами разнообразной природы: длиной, объемом, весом, массой, энергией, температурой, временем и т. д. В условиях каждого кон­ кретного явления, каждой конкретной задачи одни из этих вели­ чин могут оставаться неизменными, другие же могут изменяться.

Величины первого рода называются п о с т о я н н ы м и , а вто­ рого — п е р е м е н н ы м и .

Чаще всего с понятием «переменная величина» мы интуитивно связываем величины, характеризующие некоторый физический про­ цесс и изменяющиеся со временем, т. е. переменные величины в фи­ зическом смысле этого слова. Так, например, говоря о переменной температуре, мы, естественно, представляем себе температуру не­ которого тела, изменяющуюся со временем (тело остывает или на­ гревается). Однако, наряду с переменными величинами (коротко — с переменными), изменяющимися во времени, можно рассматривать и переменные, никак не связанные со временем. Так, например, как переменную величину можно рассматривать периметр Р про­ извольного треугольника, радиус г произвольной окружности

ит. п.

Вматематическом анализе нас интересует только числовое вы­ ражение рассматриваемых величин, так как для закономерностей,

изучаемых

в математическом анализе,

совершенно безразлично,

идет ли речь о времени, массе, объеме

или о какой-нибудь другой

конкретной

величине.

 

Пусть имеется какая-нибудь переменная х. Числовые значения, которые принимает эта величина, образуют некоторое числовое множество X. В этом случае говорят, что величина х изменяется на множестве X.

Множество X называется о б л а с т ь ю и з м е н е н и я

пере­

менной X. Каждое конкретное число из множества X

или

каждый

элемент этого множества называется з н а ч е н и е м

переменной х.

В частном случае, когда множество Х- состоит из одного-единст- венного элемента, величина х называется п о с т о я н н о й ве­ личиной; в этом случае пишут х = const. Мы будем рассматривать постоянную величину как частный случай величины переменной, именно как переменную величину, область изменения которой со­ стоит из одного-единственного элемента.

127

Пример. Рассмотрим множество всех треугольников, основанием кото­

рых служит фиксированный отрезок AB,

а вершина С лежит на прямой /,

параллельной AB (рис. 64). Пусть длина

AB = a, а расстояние

между А В

и / равно

h = —

.

 

 

 

 

2

 

 

Д л я

этого множества треугольников

постоянными будут:

1) длина ос­

нования а; 2) высота А; 3) площадь S = —ah; 4) сумма внутренних углов,

равная п.

Переменными будут: 1) длины боковых сторон, изменяющиеся на про-

межутке | —

, + оо , так как наименьшая длина боковой стороны равна,

очевидно,

 

 

; 2) периметр, изменяющийся на промежутке

[За, + о о ) ,

так как наименьшим

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

при Л =

будет

и равносторонним; 3) углы

при основании,

изменяю­

щиеся на промежутке (0, я) ; 4) угол при вершине,

изменяющийся

на проме­

жутке

|о,

' т а к к

а

к наибольшим будет угол при вершине равнобедрен­

ного

треугольника.

 

 

 

 

4.7.ПОНЯТИЕ О ФУНКЦИОНАЛЬНОЙ ЗАВИСИМОСТИ

Одним из основных понятий математического анализа является понятие функции. Пусть имеются две переменные величины — х и у,

причем переменная х изменяется на множестве

X.

 

 

 

Определение. Если в силу

некоторого закона

каждому

значению

переменной

 

х,

изменяющейся

на множестве

X,

отвечает

определен­

ное

значение

переменной

у, то

переменная

у

называется

функцией

от

переменной

х, определенной

на множестве

 

X.

 

 

 

В этом случае говорят, что х и у связаны

ф у н к ц и о н а л ь ­

н о й з а в и с и м о с т ь ю .

Переменную

х

называют

а р г у ­

м е н т о м .

Множество X, на котором изменяется аргумент х,

на­

зывается

о б л а с т ь ю

о п р е д е л е н и я

ф у н к ц и и .

Мно­

жество Y

всех значений функций у называется о б л а с т ь ю

и з -

128

м е н е н и я

ф у н к ц и и . В анализе

множества X и

Y

чаще

всего являются промежутками (конечными и бесконечными).

Может

случиться, что каждому или

только некоторым

значе­

ниям переменной х из множества X отвечает не одно, а

несколько

или даже бесконечное множество значений у. В этом случае у назы­

вается м н о г о з н а ч н о й

функцией от х (в отличие от о д н о -

з н а ч н о й функции, определенной

выше).

 

Пример 1. Тело свободно падает в пустоте и через Т секунд достигает

земли. Путь, проходимый телом

за

время

t, выражается

формулой

S

= ~ g t 2

(g =

const).

 

Эта формула выражает

собой

закон,

в силу которого

каждому значению

времени t из интервала [О, Т] отвечает

определенное значение пути S. Сле­

довательно, путь S, пройденный

телом

при свободном падении, есть функ­

ция времени t. По смыслу примера аргумент t этой функции изменяется на

интервале

[О, Т],

следовательно, этот интервал и является областью опре­

деления

функции.

Путь S изменяется от

0 до — g T 2 , поэтому интервал,

1

1

 

 

^

О, — g T 2

является областью изменения

функции.

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

 

Часто задается

некоторая формула,

выражающая

 

переменную

у через переменную х и ни с каким физическим процессом

непос­

редственно не

связанная. В этом

случае условимся

считать,

что

такая формула определяет функцию у на множестве X

тех

значе­

ний x, которым отвечают действительные значения у.

 

 

 

 

 

Пример 2.

Рассмотрим

формулу

у = ]/~2 х.

 

 

 

 

 

 

Множеству

значений х,

удовлетворяющих

неравенству

2 — х >

0

или

x <_ 2, эта формула ставит в соответствие определенное действительное

зна­

чение у, т. е. определяет у как функцию от х. Здесь множество X

определяется

неравенством х < 2, следовательно, областью

определения

функции

 

будет

бесконечный промежуток (— оо, 2 ] . Функция

у, очевидно,

будет изменяться

на

промежутке

[0, - j -

оо), следовательно, этот

промежуток

и будет множест­

вом

Y, или областью

изменения функции.

 

 

 

 

 

 

Закон соответствия между переменными, связанными функцио­ нальной зависимостью, необязательно должен быть задан форму­ лой, как это имело место в двух разобранных выше примерах. Этот закон может быть задан и каким-нибудь иным способом, например, с помощью словесного описания, как в следующем примере.

Пример 3.

(Функция

Дирихле).

Пусть у = 1 для всех рациональных

x и у = О для всех иррациональных

х. С помощью этого описания каждому

действительному

числу х

ставится

в соответствие определенное значение у

(надо только знать, рационально или иррационально

это значение х), следо­

вательно, это описание определяет у как функцию от

х.

Здесь множество

X,

или область определения функции, есть множество

всех действительных

х,

или бесконечный

промежуток (оо, +

оо). Множество

Y, или область из­

менения функции,

состоит всего из двух

чисел: 0 и

1.

 

 

129

Соседние файлы в папке книги из ГПНТБ