Евклидово пространство: точки, множества, сходимость

Евклидово пространство: точки, множества, сходимость

IТочки, множества

Определение 1. Назовем m-мерной точкой упорядоченный набор из m произвольных вещественных чисел х₁, х₂, … х^m. Обозначения : М(х₁, х₂, … х^m) или Множество всех мыслимых m-мерных точек называют m-мерным эвклидовым пространством, если расстояние между точками М(х_k) и N(у_k) определяется по формуле

Обозначения : R^m или E^m. Числа х_k, k = 1,2…m, называют координатами точки М(х_k), а точку О(0,0,…0) – началом координат.

Частными случаями евклидова пространства являются R²(плоскость) и R³ (обычное пространство). Формула (1) является естественным обобщением известных формул для расстояния между двумя точками на плоскости и в пространстве.

Для классификации точек и множеств в R^mважную роль играет понятие окрестности.

Определение 2. ε-окрестностью точки М₀ называют множество точек вида

. В R¹ – это интервал (x₀– ε, x₀+ ε), в R² – внутренность круга, с центром в М₀ и радиусом ε, а в R³ – внутренность сферы с центром в М₀, и радиусом ε.

Определение 3. Точка М₀ называется внутренней точкой множества G R^m, если существует ε такое, что О(ε,М₀) G. Точка М₀ называется граничной точкой множества G, если всякая ее ε-окрестность содержит как точки, принадлежащие G, так и точки не принадлежащие G.

Определение 4. Множество точек называется открытым, если все его точки внутренние. Множество точек называют замкнутым, если оно содержит все свои граничные точки.

Примером открытого множества может служить ε-окрестность. Замкнутым множеством в R² есть, например, прямоугольник {(х,у) : 0 ≤ х ≤ a, 0 ≤ y ≤ b}. Все пространство R^m и пустое множество ø являются и открытыми и замкнутыми одновременно.

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

множества.

Например, в R² круг – это связное множество, а множество, состоящее из двух непересекающихся кругов, не является связным.

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

Можно доказать, что замкнутая область есть замкнутое множество.

Определение 7. Множество точек G R^m называется ограниченным, если целиком содержится в некотором m-мерном “шаре”:

G {M: d(О, M) ≤ R}.

Ограниченными являются m-мерный “параллелипипед” (замкнутый):

{M(x_k): a_k ≤ x_k ≤b_k , k = 1,2,…m}

и m-мерный “симплекс”(открытый):

{M(x_k): x₁ + x₂ +…+ x_m< a, x_k > 0,k = 1,2…m}.

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

.

II Сходимость

Рассмотрим в R^m последовательность точек

{M_n(x₁ⁿ, x₂ⁿ,…, x_mⁿ)}, n = 1,2 … .

Определение 8. Говорят, что последовательность{M_n} сходится к точке М₀(а₁, а₂,… а_m) и пишут если

Из формулы (1),определяющейрасстояние между точками в R^m, нетрудно получить такое утверждение:

cходимость {M_n} к M₀равносильна сходимости последовательностей {x_kⁿ} к а_k, k = 1,2,…m. Другими словами, сходимость точек в R^m покоординатная.

Например, последовательность двумерных точек М_n сходится к точке М₀(0,1).

Примеры.

1. Так как sinα ~ α, при α → 0, то

.

2. Рассмотрим функцию и последовательность точек

, сходящаяся к началу координат O(0,0). Соответствующая последовательность значений функции

имеет предел, зависящий от последовательности {M_n}. Следовательно, предел функции в начале координат не существует.

Определение 2. Функция z(x,y) называется непрерывной в точке , если

. (1)

Определение 3. Функция z (x,y) называется непрерывной в области G, если она непрерывна в каждой точке .

Свойства ФНП, непрерывной в ограниченной замкнутой области, аналогичны свойствам функции одной переменной, непрерывной на замкнутом промежутке. Приведем некоторые из них.

1) Функция z(х,y), непрерывная в ограниченной замкнутой области , ограничена в , и достигает наибольшего и наименьшего значений.

2) Если z(х,y) , то в некоторой окрестности точки функция сохраняет знак.

Замечание. Соотношению (1), определяющему непрерывность функции в точке, можно придать другую форму.

Будем называть полным приращением функции z(x,y) в точке

разность:

Если обозначить то нетрудно получить утверждение:

непрерывность функции z(x,y) в точке равносильна равенству

.

Лекция 18

Частные производные

Пусть функция z(x,y) определена в некоторой окрестности точки . Придадим переменной x приращение , т.е. перейдем от точки к точке . При этом таково, что лежит в указанной окрестности точки . Тогда соответствующее приращения функции

называется частным приращением функции z(x,y) в точке .

Аналогично определяется частное приращение функции по переменной :

.

Определение. Предел вида называется частной производной функции z(x,y) в точке по переменной и обозначается одним из символов:

.

Аналогично определяется и частная производная по переменной :

.

Из определения следует, что частная производная функции двух переменных по переменной представляет собой обычную производную функции одной переменной f(x) = z(x,y₀). Поэтому частные производные вычисляются по формулам и правилам вычисления производных функций одной переменной.

Примеры.

1.

2.

Замечание. График функции z = z(x,y) есть некоторая поверхность в пространстве. Тогда

–

это некоторая кривая (плоская) в пространстве и есть не что иное, как угловой коэффициент касательной к L в точке ( ).

Производные сложных функций

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

1. Если то

2. Если , а то для сложной функции одной переменной z(u(x),v(x))имеем

или используя другие обозначения,

В частности, если а , то

В этом случае производную называют полной производной, в отличие от – частной производной.

3. Если , а и , то для сложной функции двух переменных имеем:

(3)

Замечание 1. Формулы (1), (2), (3) легко обобщаются на случай функций трех и более переменных.

Замечание 2.Формулы (1), (2), (3) необходимы в теории для получения других важных результатов. На практике в случае конкретных функций нетрудно исключить зависимость функции от промежуточных переменных. Например, если

а и , то как функция имеет вид

III Уравнения касательной

Линию в пространстве обычно задают системой параметрических урав-нений

Однако, удобно такую линию понимать как годограф вектор-функции

.

Напомним, что, кратко говоря, касательная к линии L в ее точке –это пре-дельной положение секущей , когда точка стремиться к вдоль L. Другими словами, касательная в точке – это та прямая, проходящая через , направляющий вектор которой есть предел направляющего вектора секущей. Пусть и Тогда

,

т.е. , а следовательно и служат направляющими векторами секущей. Поэтому

Отсюда получаем два вывода:

1)вектор мгновенной скорости точки направлен по касательной к траек-тории движения;

2)канонические уравнения касательной к линии L в точке , которая соответствует значению параметра , имеют вид:

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

Решение. Для винтовой линии направляющий вектор касательной . Если – угол между касательной и осью , то

.

Напомним, что – орт оси : . Значит,

.

Как видим, , а значит и , не зависят от параметра t, т.е = сonst.

Замечание. Нетрудно заметить, что для плоской линии

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

Пример. Составить уравнение касательной к эллипсу

Решение. Пусть – точка касания, соответствующая значению параметра : . Тогда уравнение касательной:

Разделив обе части последнего равенства на а ^.b, получим известную формулу для касательной к эллипсу в его точке :

.

Производные высших порядков

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

частные производные. Тогда эти производные называются частными производ-ными второго порядка

, , , .

Используются и другие обозначения, например:

, .

Производные и называются смешанными производными второго поряд-ка. При некоторых условиях смешанные производные не зависят от порядка диф-ференцирования.

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

= .

Аналогично производным второго порядка вводятся частные производные третьего, четвертого, …, -го порядка. Для смешанных производных высших по-рядков остается справедливой сформулированная выше теорема.

II Градиент

Определение 2. Вектор, проекциями которого служат частные производные функции , называется градиентом функции

.

Для функции трёх переменных :

.

Связь градиента с производной по направлению даётся следующей теоремой.

Теорема 2. Производная функции по направлению есть проекция её градиента на это направление:

.

Доказательство. Проекция вектора на ось – это проекция вектора на орт оси. Проекцию же вектора на вектор можно найти, используя скалярное произведение:

.

Учитывая, что и , причём , получим:

.

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

Следствие 1. Производная функции в точке по направлению оси достигает максимума, когда это направление совпадает с градиентом функции, причём

.

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

Следствие 2. Производная функции по направлению, перпендикулярному её градиенту, равна нулю.

Метод наименьших квадратов

Евклидово пространство: точки, множества, сходимость

IТочки, множества

Определение 1. Назовем m-мерной точкой упорядоченный набор из m произвольных вещественных чисел х₁, х₂, … х^m. Обозначения : М(х₁, х₂, … х^m) или Множество всех мыслимых m-мерных точек называют m-мерным эвклидовым пространством, если расстояние между точками М(х_k) и N(у_k) определяется по формуле

Обозначения : R^m или E^m. Числа х_k, k = 1,2…m, называют координатами точки М(х_k), а точку О(0,0,…0) – началом координат.

Частными случаями евклидова пространства являются R²(плоскость) и R³ (обычное пространство). Формула (1) является естественным обобщением известных формул для расстояния между двумя точками на плоскости и в пространстве.

Для классификации точек и множеств в R^mважную роль играет понятие окрестности.

Определение 2. ε-окрестностью точки М₀ называют множество точек вида

. В R¹ – это интервал (x₀– ε, x₀+ ε), в R² – внутренность круга, с центром в М₀ и радиусом ε, а в R³ – внутренность сферы с центром в М₀, и радиусом ε.

Определение 3. Точка М₀ называется внутренней точкой множества G R^m, если существует ε такое, что О(ε,М₀) G. Точка М₀ называется граничной точкой множества G, если всякая ее ε-окрестность содержит как точки, принадлежащие G, так и точки не принадлежащие G.

Определение 4. Множество точек называется открытым, если все его точки внутренние. Множество точек называют замкнутым, если оно содержит все свои граничные точки.

Примером открытого множества может служить ε-окрестность. Замкнутым множеством в R² есть, например, прямоугольник {(х,у) : 0 ≤ х ≤ a, 0 ≤ y ≤ b}. Все пространство R^m и пустое множество ø являются и открытыми и замкнутыми одновременно.

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

множества.

Например, в R² круг – это связное множество, а множество, состоящее из двух непересекающихся кругов, не является связным.

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

Можно доказать, что замкнутая область есть замкнутое множество.

Определение 7. Множество точек G R^m называется ограниченным, если целиком содержится в некотором m-мерном “шаре”:

G {M: d(О, M) ≤ R}.

Ограниченными являются m-мерный “параллелипипед” (замкнутый):

{M(x_k): a_k ≤ x_k ≤b_k , k = 1,2,…m}

и m-мерный “симплекс”(открытый):

{M(x_k): x₁ + x₂ +…+ x_m< a, x_k > 0,k = 1,2…m}.

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

.

II Сходимость

Рассмотрим в R^m последовательность точек

{M_n(x₁ⁿ, x₂ⁿ,…, x_mⁿ)}, n = 1,2 … .

Определение 8. Говорят, что последовательность{M_n} сходится к точке М₀(а₁, а₂,… а_m) и пишут если

Из формулы (1),определяющейрасстояние между точками в R^m, нетрудно получить такое утверждение:

cходимость {M_n} к M₀равносильна сходимости последовательностей {x_kⁿ} к а_k, k = 1,2,…m. Другими словами, сходимость точек в R^m покоординатная.

Например, последовательность двумерных точек М_n сходится к точке М₀(0,1).