Отношения и отображения как соответствия между элементами множеств. Мощность множества

Пусть А и В – два множества.

Определение1. Говорят, что задано отображение множества А во множество В, если каждому элементу a A поставлен в соответствие некоторым способом элемент b В.

f: А В, где f – закон, правило.

А

В

А В

А

В

Определение 2. Отображение f: А→ В называется суръективным или отображением «на», если для любого b В существует a A, такой что b = f (a). В этом случае каждый элемент b В соответствует какому-либо элементу множества А (все места во множестве В заняты).

Определение 3. Отображение f: А→ В называется инъективным или отображением «в», если разным значениям a₁ и a₂: a₁ ≠ a₂ соответствуют разные значения f (a₁) и f (a₂): f (a₁) ≠ f (a₂) (во множестве В есть свободные места).

А

В

Определение 4. Отображение f: А→ В называется биективным или взаимно однозначным, если оно является одновременно отображением «в» и отображением «на», т.е. каждому a A ставится в соответствие один элемент b В, и каждый b В соответствует одному и только одному элементу a A.

Если А и В – числовые множества, то отображение f: А→ В называется функцией, множество А – областью определения, а множество В – множеством значений.

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

Например, эквивалентными множествами являются множество действительных чисел R и множество точек на прямой.

Два конечных множества эквивалентны тогда и только тогда, когда они имеют одинаковое число элементов.

В бесконечных множествах пересчитать все элементы невозможно. При сравнении бесконечных множеств нам поможет отношение эквивалентности. Оно выделяет среди всех множеств (как конечных, так и бесконечных) те множества, которые обладают общим свойством (это свойство назовем мощностью множества). Понятие мощности ввел в теорию множеств немецкий математик Георг Кантор.

«Мощность множества» является распространением понятия «количество элементов множества» на бесконечные множества.

Будем говорить, что все эквивалентные между собою множества имеют одинаковую мощность.

Для конечного множества мощность – это количество его элементов.

Для счетных множеств – это мощность множества натуральных чисел.

Мощность континуум – мощность??? всех действительных чисел «непрерывный».

Дата добавления: 2014-01-03