1.4.5. Запишите определения на языке логики предикатов, используя ограниченные кванторы, и постройте их отрицания:

1. Действительная функция f(x) действительного переменного x есть функция ограниченной вариации на интервале [a, b], если существует такое положительное число M, что для всех разбиений a = x₀ < x₁ < … < x_n = b интервала [a, b] выполняется равенство

2. Абсолютным экстремумом числовой функции f называется точка P₀ в области определения D функции, обладающая свойством f(P₀)  f(P) для всех P, принадлежащих D (абсолютный максимум) или свойством f(P₀)  f(P) для всех P, принадлежащих D (абсолютный минимум).

3. Однозначная функция f комплексного переменного z = x + iy называется аналитической функцией в точке z₀, если в некотором круге |z – z₀| < r с центром z₀ и радиусом r > 0 она определена и представима степенным рядом:

f(z) = a₀ + a₁(z - z₀) + … + a_n(z – z₀)ⁿ + …

4. Функция F(x) называется первообразной для функции f(x) на заданном промежутке (a, b) из ее области определения D(f), если для x из (a, b) выполняется равенство F’(x) = f(x).

5. Точка x₀ из области определения D(f) функции f называется точкой максимума этой функции, если найдется  - окрестность (x₀ - ; x₀ +  ) точки x₀, такая, что для всех x  x₀ из этой окрестности выполняется неравенство f(x)  f(x₀).

6. Число b называется пределом функции f(x), если для любого положительного числа  найдется такое положительное число , что если всех x  a, удовлетворяющих неравенству  x - a < , будет выполняться неравенство  f(x) - b < 

7. Точка x₀ из области определения D(f) функции f называется точкой минимума этой функции, если найдется  - окрестность (x₀ - ; x₀ +  ) точки x₀, такая, что для всех x  x₀ из этой окрестности выполняется неравенство f(x)  f(x₀).

8. Вектор-функция v(t) ограничена, если для каждого положительного числа  существует такое число , что из 0 < |t – t₁| <  следует |v(t) – v₁| < 

9. Аппроксимация функции f на отрезке [a, b] функциями X₁, X₂, …X_n, … при условии, что отклонение f от X_n измеряется с помощью (f, X_n) = max |f(X) - X_n(x)| при a  x  b, называется равномерной аппроксимацией.

10. Интервалом числовой прямой называется множество действительных чисел x, удовлетворяющих неравенству a < x < b, где a и b – действительные числа, x₀ = (a + b)/2- центр интервала. Интервал числовой прямой называется  - окрестностью точки x₀, если |x - x₀|< .

1.4.6. Запишите теоремы и свойства на языке логики предикатов, используя ограниченные кванторы, и постройте их отрицания:

0) Основная теорема алгебры.

Всякий отличный от константы многочлен вида:

с действительными коэффициентами имеет, по крайней мере, один корень в поле комплексных чисел.

1. Общие свойства числовых полей:

Для любых элементов а и в поля F определены их сумма а + в и произведение а x в. В поле существует нуль и единица.

2. Основная теорема алгебры по Эйлеру:

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

3. Теорема о достаточном условии монотонности

Если функция f(x) дифференцируема в промежутке X и f'(x)>0 (f'(x)<0) для всех xX , то f(x) возрастает (соответственно убывает) в промежутке X.

4. Следствие из основной теоремы алгебры:

Любой многочлен степени n над полем комплексных чисел имеет в нём ровно n корней, с учётом кратности корней.

5. Лемма Д'Аламбера

Если для какого-нибудь x   f(x)≠0, где f(x) - многочлен степени ≥1 , то найдется точка x₁ такая, что |f(x₁)|<|f(x)|.

6. Общие свойства числовых полей:

Для любого числового поля F справедливы тождества:

а + в = в + а (ав)с = а(вс)

(а + в)+ с = а+(в + с) а x 1= а

а + 0 = а а x 1/а = 1

а + (-а) = 0 а(в + с) = ав + ас

ав = ва

7. Теорема о производной

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

8. Общие свойства числовых полей:

Для любого числа а из поля F в F есть противоположное ему число –а, а если а ≠ 0, то и обратное ему число 1/а.

9. Теорема о достаточном условии выпуклости вверх и вниз

Если функция f(x) дифференцируема дважды в интервале X и в ней f''(x) >0 (f''(x) <0), то f(x) является выпуклой вниз (соответственно выпуклой вверх) в интервале X.