Операции над множествами Числовые множества. Свойства предела Критерий Коши Понятие производной

Предел последовательности

Нестандартный анализ – такой вид математического анализа, который занимается исследованием бесконечно малых величин в соответтвии с новой вычислительной системой, основываясь на принципе переноса числовых значений

Мощность множеств.

Как мы можем сравнить два конечных множества? Мы можем, например, сосчитать количество элементов в каждом из них и таким образом сравнить. Но можно поступить иначе, попытаться установить биекцию между элементами. Ясно, что биекцию между двумя конечными множествами можно установить только при условии что количество элементов в них одинаково. Именно второй способ годится для сравнения бесконечных множеств. Среди бесконечных множеств простейшим является множество натуральных чисел.

Определение 10 (эквивалентные множества). Два множества
эквивалентны, если между их элементами можно установить биективное отображение. Это обозначается следующим образом

A ~ B.

Пример 10.

[a,b] ~ [0,1],
что легко проверить, установив биекцию по формуле y = a+(b-a)x, где xО [0,1].

Определение 11 (определение счетного множества). Счетное
множество — это множество, эквивалентное множеству натуральных чисел.

Рассмотрим примеры счетных множеств.

Пример 11.

  1. Множество всех целых чисел
    Z = { 0, -1, 1, -2, 2, -3, 3,...,}.
    Соответствие между целыми и натуральными числами можно осуществить по схеме
    n « 2n+1 при nі 0, n « 2|n| при n<0.
  2. Множество всех четных положительных чисел. Соответствие по формуле n « 2n.
  3. Множество чисел 2n. Соответствие осуществляется по формуле n « 2n.

Приведем некоторые свойства счетных множеств.

Теорема 1 (свойства счетных множеств).

  1. Всякое бесконечное множество содержит счетное подмножество.
  2. Сумма любого конечного или счетного множества счетных множеств есть счетное множества.
  3. Всякое подмножество счетного множества конечно или счетно.

Существуют и несчетные множества. Справедлива

Теорема 2 (теорема Кантора). Множество действительных чисел, заключенных между нулем и единицей, несчетно.

Приведем примеры несчетных множеств.

Пример 12.

  1. Множество точек любого отрезка [a,b] или интервала (a,b).
  2. Множество точек на прямой.
  3. Множество точек плоскости, пространства.
  4. Множество иррациональных чисел.

Определение 12 (определение мощности множества). Класс эквивалентных множеств называется мощностью.

Если множества эквивалентны, то их мощности равны, то есть

A ~ B Ю cardA = cardB,
где card A — мощность множества A. Для конечных множеств понятие мощности совпадает с понятием числа элементов множества. Мощность натуральных чисел (т.е. любого счетного множества) обозначается А0 (читается: "алеф нуль").

Про множества, эквивалентные множеству действительных чисел отрезка [0,1], говорят, что они имеют мощность континуума. Эта мощность обозначается c или А.

 

Бесконечность, непрерывность, предел – с такими понятиями работает математический анализ. Неспроста Зенон был философом: возможно, что математический анализ – это философия математики, более-менее окультуренная под массовое понимание.
Геометрические приложения двойных интегралов Дифференцирование сложной и обратной функций