Основные правила дифференцирования

Множество Q рациональных чисел счётно.

Множество рациональных чисел (чисел вида p/q, где p,q - целые числа, q¹0) можно представить как объединение счётного числа следующих счётных множеств:

множества Q1 всех целых чисел n=0,±1,±2,±3,….;

множество Q2 всех дробей вида n/2, множество Q3 всех дробей вида n/3,…………….,

множество Qк всех дробей вида n/к, n=0,±1,±2,±3,…..; следовательно, оно счётно.

 Задание. Самостоятельно доказать следующие утверждения:

 4. Если А={an|nÎZ} и В={bn|nÎZ} - счётные множества, то множество всех пар {(an,bк)|n,кÎZ} - счётно.

 5. Множество всех многочленов  (произвольных степеней) с рациональными коэффициентами (aiÎQ) счётно.

 6. Алгебраическим числом называется число, которое может быть корнем многочлена с рациональными коэффициентами. Доказать, что множество алгебраических чисел счётно.

 7. Множество всех отрезков [a,b] с рациональными концами a, b счётно. Найти решение уравнения

8. Множество взаимно не пересекающихся интервалов (a,b) на оси счётно.

 9. Множество точек разрыва монотонной функции счётно.

1.3.2. Множества мощности континуум.

Множество мощности континуум несчётно.

Применим метод доказательства от противного. Множество мощности континуум - множество, равномощное множеству точек любого отрезка. Возьмём отрезок [0,1]. Каждой точке хÎ[0,1] сопоставим представление числа х в виде бесконечной десятичной дроби вида х=a0, a1a2a3…..; это представление единственно, если договориться, что в случаях возможной неоднозначности (число 0,5, например, можно представить и в виде 0,5000000…., и в виде 0,4999999….) применяется представление с периодом, равным нулю. Предположим, что множество точек, а следовательно, и множество таких дробей счётно, т.е. они могут быть пронумерованы, в качестве номера используем верхний индекс:

х(1)=a0(1), a1(1)a2(1)a3(1)…….;

х(2)=a0(2), a1(2)a2(2)a3(2)…….;

х(3)=a0(3), a1(3)a2(3)a3(3)…….;

……………………………...;

х(n)=a0(n), a1(n)a2(n)a3(n)…….;

……………………………….

Построим точку х=b0, b1b2b3…..Î[0,1], заведомо не принадлежащую этой последовательности. Возьмём b0=0. В качестве b1 возьмём любую цифру, неравную a1(1) и 9; в качестве b2 - любую цифру, неравную a2(2) и 9 и т.д.; вообще в качестве bn возьмём любую цифру, неравную an(n) и 9.

Построенная точка не может входить в последовательность х(1), х(2), х(3),…, х(n),…(х¹ х(n),т.к. b(n)¹an(n))- получено противоречие с предположением о счётности точек отрезка.

Если А - бесконечное множество, В - конечное или счётное множество, то -множество, равномощное А.

Выберем в А счётное подмножество С и пусть D=А\С. Тогда А= DС; АВ= DВ). С и В - счётные множества, следовательно, СВ -также счётное множество, т.е. существует взаимно-однозначное соответствие между элементами С и СВ. Применяя это соответствие и тождественное соответствие между элементами множества D, получим взаимно-однозначное соответствие между элементами DС и DВ), что означает равномощность множеств А и АВ.

Следует отметить, что из этого свойства непосредственно следует равномощность множеств точек отрезка и интервала.

Задание. Самостоятельно доказать следующие утверждения:

Множество иррациональных чисел имеет мощность континуум.

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

Действительная функция 2-х действительных переменных. График функции двух переменных. Линии уровня. Предел и непрерывность функций нескольких переменных. Дифференцируемость, частные производные и полный дифференциал функции нескольких переменных.
Предел функции одной переменной