Математический анализ

Р(а) - предикат = высказывание об элементе, бывает ложно или истинно по отношению к кокретному элементу. Множество А состоит из тех а для которых предикат истина.

Применяем диагональную нумерацию (а11 - 1; а21 - 2; а12 - 3; а31 - 4; а22 - 5...) и таким образом взаимнооднозначно сопоставляем каждому элементу из таблицы его номер, значит объединение счетного или конечного числа счетных множеств - счетно.

"=>" aN-бм=>вне любой эпсилон-окрестности точки 0 (в частности 1/Е) находится конечное число членов посл-ти, т.е. ?n0: ?n>n0 |aN|<1/E =>1/|aN|>Е.

Определение: Пусть даны два множества Х и У. Если каждому элементу х?Х сопоставлен по определенному правилу некоторый элемент у?У, то говорят, что на множестве Х определена функция f и пишут f:Х?У или х? (f(х)| х?Х).

Геометрически существование предела последовательности означает, что любой интервал вида (а-?,а+?), называемый эпсилон-окрестностью точки а, содержит все члены последовательности аN начиная с некоторого номера, или что то же самое, вне любой эпсилон-окрестности точки а находится ко нечное число членов последовательности аN.

Пусть последовательность аN имеет предел а и предел с, причем а?с. Выберем такой эпсилон, чтобы пересечение эпсилон-окрестностей точек а и с бы ло пусто. Очевидно достаточно взять эпсилон меньше |а-с|/2. Вне окрестности точки а содержится конечное число членов последовательности => в ок рестности точки с содержится конечное число членов последовательности - противоречие с условием того, что с - предел последовательности.