Множества. Действительные числа. Логически символы. Окрестность точки

Под «множеством» мы понимаем соединение в некое целое M определённых хорошо различимых предметов m нашего созерцания или нашего мышления (которые будут называться «элементами» множества M).

Объекты, из которых состоит множество, называют элементами множества или точками множества. Множества чаще всего обозначают заглавными буквами латинского алфавита, его элементы — строчными. Если а — элемент множества А, то записывают а ∈ А (а принадлежит А). Если а не является элементом множества А, то записывают а ∉ А (а не принадлежит А). В отличие от мультимножества каждый элемент множества уникален, и в множестве не может быть двух идентичных элементов. Иначе говоря, добавление к множеству элементов, идентичных уже принадлежащим множеству, не меняет его: {6, 11} = {11, 6} = {11, 11, 6, 11, 6}.

Веще́ственное, или действи́тельное число ^[1] — математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение алгебраических уравнений^[2].

Числовая прямая

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

Наглядно понятие вещественного числа можно представить себе при помощи числовой прямой. Если на прямой выбрать направление, начальную точку и единицу длины для измерения отрезков, то каждому вещественному числу можно поставить в соответствие определённую точку на этой прямой, и обратно, каждая точка будет представлять некоторое, и притом только одно, вещественное число. Вследствие этого соответствия термин числовая прямая обычно употребляется в качестве синонима множества вещественных чисел. Квантор - заменяет выражение "для любого", "для произвольного", "для какого бы ни было".

Квантор - заменяет выражение "существует", "найдется".

Запись (импликация) означает, что из справедливости высказывания A вытекает справедливость высказывания B. Если, кроме того, из справедливости высказывания B вытекает справедливость A, то записываем . Если , то высказывание B является необходимым и достаточным условием для того, чтобы выполнялось высказывание A.

Если предложения A и B справедливы одновременно, то записываем . Если же справедливо хотя бы одно из предложений A или B, то записываем .