Разложения на множители. Примеры. Соблюдение вашей конфиденциальности на уровне компании

Неравенство Коши-Буняковского

В предыдущем пункте у нас остался пробел. Мы определили угол между векторами и формулой

Для того чтобы можно было определить из этого равенства, нужно доказать, что

или, что то же самое, что

Это неравенство называется неравенством Коши-Буняковского.

Итак, для того чтобы иметь право определить угол между двумя векторами формулой (5), мы должны доказать неравенство Коши-Буняковского 2.5.

Чтобы доказать его, рассмотрим вектор, где -- произвольное действительное число. Согласно аксиоме 4 скалярного произведения

т.е. для любого

Мы видим, что стоящий слева квадратный относительно трехчлен принимает лишь неотрицательные значения. Следовательно, дискриминант уравнения

не может быть положительным, т.е.

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

Приведем пример неравенства, являющегося следствием неравенства Коши-Буняковского.

Для любых векторов и в евклидовом пространстве имеет место неравенство

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

так как (в силу неравенства Коши-Буняковского) , то

т.е. , что и требовалось доказать. (См. также 3, стр.)

Использование векторного неравенства Коши-Буняковского при решении задач по алгебре

В рассматриваемых ниже примерах используется векторное неравенство Коши - Буняковского и его следствие

| · | || · || , (I)

· || · || , (II)

Заметим, что знак «=» достигается а) в неравенстве (I), если векторы и коллинеарны; б) в неравенстве (II), если векторы и сонаправлены.

Пусть векторы и и v имеют координаты: (х1, у1, z1), (x2, y2, z2). Тогда неравенства (I) и (II) примут вид:

Из неравенств(I) и (II) в том случае, когда имеет место знак «=», следует, что = , где 0, что эквивалентно системе

Перейдем теперь к решению примеров

Пример 1. Решить систему уравнений.

Решение. На первый взгляд может показаться, что данная система имеет бесконечное множество решений (три переменных и два уравнения). Однако такое мнение ошибочно. Как будет показано далее, система (1)-(2) имеет единственное решение.

Рассмотрим векторы: и. Тогда

Так как и, то

Учитывая (3) и (4), имеем: и*е= и * е

Следовательно, на основании (3) x=y=z , а с учетом (1) получаем, что х=у=z=

Ответ: (1/3, 1/3, 1/3).

Пример 2. Решить систему уравнений

Решение. Эта система, аналогично предыдущей, на первый взгляд кажется неопределенной, но, в отличие от предыдущей, она не имеет решений.

Положим (x2, y2, z2) и (1; 2; 2). Тогда очевидно, что || = 1, || = и || · || = . Из (6) следует, что · =. Получается · > || · ||, что невозможно. Следовательно, система (5) - (6) решений не имеет.

Пример 3. Решить систему уравнений

Решение. Нетрудно убедиться, что данная система не имеет решений, в которых хотя бы одно переменное было, равно нулю. Поэтому, разделив обе части уравнения (1) на х2у2z2 , мы получаем систему, равносильную данной.

Рассмотрим векторы (,), (x, 2y, z).

Тогда · = 12. Из (1,a) и (2) следует, что || = 4 и || = 3. Таким образом,

· = || · ||. (4)

Из (4) на основании (III) следует, что

откуда y2 = и z2 =. Тогда из уравнения (2) имеем:

откуда х = ± . При этом y = ± и z = ± .

Из полученных значений х, у и z составим восемь троек чисел:

Каждая из приведенных троек является решением уравнений (1) и (2) данной системы. Далее нужно установить, какая из них является решением уравнения (3).

Проверкой убеждаемся, что только две тройки и удовлетворяют уравнению (3) и потому являются решениями данной системы.

Покажем теперь применение неравенств (I) и (II) при доказательстве неравенств.

Пример 4. Доказать, что для произвольных чисел а, b и с справедливо неравенство:

a2b2 + b2c2 + a2c2 abc(a + b + c). (1)

Решение. Введем векторы: (ab, bc, ca) и (ас, аb, bс). Для них имеем:

· = а2bс + аb2c + abс2 = abc(a + b + c), (2)

· = а2b2 + b2c + a2с2. (3)

Из (2) и (3) на основании (II) следует (1).

Пример 5. Доказать, что если а, b, с и d - неотрицательные числа, то имеет место неравенство

Решение. Введем векторы (,) и (,). Тогда

Пример 6. Доказать, что если

Решение. Введем векторы: (х, у) и (1, 1). Тогда

Теорема 3.1. Для любых векторов х, у евклидова пространства справедливо неравенство Коши - Буняковского

( 3.1)

При обе части неравенства (3.1) равны нулю согласно свойству 3.3, значит, неравенство выполняется. Отбрасывая этот очевидный случай, будем считать, что. Для любого действительного числа , в силу аксиомы г), выполняется неравенство

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

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

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

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

Пример 3.5. В случае линейного арифметического пространства неравенство Коши - Буняковского трансформируется в неравенство Коши:

В евклидовом пространстве , скалярное произведение в котором выражается определенным интегралом (см. пример 3.4), неравенство Коши - Буняковского превращается в неравенство Буняковского (называемое также неравенством Шварца):

3.3. Нормированные пространства

В линейном пространстве обобщением понятия длины свободного вектора является норма. Длину вектора в линейном пространстве или можно рассматривать как функцию, определенную на множестве (соответственно ), которая каждому вектору ставит в соответствие число - его длину. Норму вектора в линейном простран­стве иногда называют длиной, имея в виду связь с аналогичным термином векторной алгебры.

Определение 3.2. Функцию, заданную на линейном пространстве , которая каждому вектору ставит в соответствие действительное число , называютнормой, если она удовлетворяет следующим аксиомам нормы:

а) , причем равенствовозможно только при;

в) (неравенство треугольника).

Определение 3.3. Линейное пространство, в котором задана норма, называют нормированным пространством.

Евклидовы пространства и нормированные пространства представляют собой примеры линейных пространств с дополнительными структурами: скалярным умножением и нормой соответственно. Эти два понятия совершенно различны, однако, как утверждает следующая теорема, исходя из скалярного умножения в евклидовом пространстве можно задать норму и тем самым превратить евклидово пространство в нормированное.

Теорема 3.2. Всякое скалярное умножение в евклидовом пространстве определяет норму согласно формуле

(3.3)

Отметим, что, согласно аксиоме г) скалярного умножения, и, следовательно, функция, заданная соотношением (3.3), определена для всех векторовх евклидова пространства. Проверим выполнение аксиом нормы. Аксиома а) нормы немед­ленно следует из аксиомы г) скалярного умножения (определение 3.1). Аксиома б) нормы вытекает из аксиомы в) скалярного умножения и свойства 3.1:

Остается проверить аксиому в) нормы, для чего мы воспользуемся неравенством Коши - Бун я ковского (3.1),

,

которое можно записать в виде

или, с учетом (3.3),

.

Используя это неравенство, получаем

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

Введение нормы по формуле (3.3) опирается только на общие свойства скалярного умножения, вытекающие из его аксиом, и не связано со спецификой конкретного линейного пространства. Поэтому такую норму в евклидовом пространстве называют евклидовой или сферической нормой. Когда говорят, не уточняя, о норме в евклидовом пространстве, обычно имеют в виду именно эту норму.

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

Пример 3.6. В линейном арифметическом пространстве нормой является функция вида

(в правой части обозначает модуль действительного числа).

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

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

Так же просто убедиться в верности аксиомы б) нормы. Для проверки неравенства треугольника (аксиома в) нормы) выберем произвольные два вектора и из . Тогда

Приведенную норму называют -нормой или октаэдрической нормой.

1. Введение

2. Множества в Евклидовом пространстве

Основные метрические понятия

а) Угол между векторами

б) Неравенство треугольника

3. Комплексные пространства со скалярным произведением

Скалярное произведение (Основные метрические понятия)

а) Неравенство Коши–Буняковского

б) Неравенство треугольника

Введение

Коши Огюстен Луи (1789-1857) - знаменитый французский математик. Доказал ряд замечательных теорем в области анализа, теории функций комплексного переменного, теории дифференциальных уравнений и т. д. Большая заслуга Коши - разработка курса анализа, в котором, в частности, он предложил ставшие классическими определения предела, непрерывности функции и т. п.

Решительный шаг к созданию прочного фундамента анализа был сделан в 20-е годы прошлого века французским математиком О. Коши (1789-1857), предложившим точные определения пределов функции и последовательности и на их основе доказавшим многие фундаментальные теоремы анализа. Несколько раньше (1821 г.) определения предела и непрерывности, целый ряд других замечательных результатов (в том числе знаменитый пример функции, непрерывной на промежутке, но не имеющей производной ни в одной его точке) получил чешский математик Б. Больцано (1781 -1848), но его работы стали известны много позднее.

Определение предела функции по Коши формулируется так: «Число А называется пределом функции f (х) при х, стремящемся к а (т.е. ), если для любого числа можно подобрать такое число >0, что для всех х, удовлетворяющих неравенству 0< | x-а |< ».

Опираясь на это определение, уже нетрудно дать определение непрерывности в точке: функция f непрерывна в точке x0 если limf(x)=f(x0)

Формулировка определения предела последовательности такова: «Число А является пределом последовательности если для любого существует номер N, такой, что при всех n>N верно неравенство | ».

О. Л. Коши внес также большой вклад в развитие математического анализа. О. Л. Коши хорошо известен каждому человеку, изучавшему математический анализ своими результатами в области математического анализа.

Множества в Евклидовом Пространстве

Основные метрические понятия

п.1 Угол между векторами. Угол между парой векторов x и y мы будем называть тот угол (в пределах от 0 до 1800), косинус которого равен отношению .

Чтобы это определение можно было применить в общем евклидовом пространстве, необходимо доказать, что указанное отношение по абсолютной величине не превосходит единицы, каковы бы ни были векторы x и y.

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

Используя формулу

,

мы можем написать это неравенство в виде

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

,

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

, (1)

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

Неравенство (1) называют неравенством Коши–Буняковского.

а) В пространстве V3 неравенство Коши–Буняковского, очевидно, вытекает из самого определения скалярного произведения как произведение длин векторов и косинуса угла между ними.

б) В пространстве Rn неравенство Коши–Буняковского имеет вид

;

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

в) В пространстве R2(a,b) неравенство Коши–Буняковского имеет вид

.

Рассмотрим более подробно неравенство Коши в пространстве Rn. Для начала дадим определение n–мерного евклидового пространства Rn

Def. n–мерное точечное пространство, в котором расстояние между точками определено по данной формуле , называется n–мерным евклидовым пространством и обозначается Rn .*. Составим вспомогательную функцию от вещественной переменной x, сводящуюся к квадратному трехчлену.