WikiDer > Элемент (математика)

В математика, элемент (или член) из набор является одним из различных объекты принадлежащие этому набору.

Наборы

Письмо ${ Displaystyle А = {1,2,3,4 }}$ означает, что элементы множества А - числа 1, 2, 3 и 4. Наборы элементов А, Например ${ displaystyle {1,2 }}$, находятся подмножества из А.

Наборы сами могут быть элементами. Например, рассмотрим набор ${ Displaystyle В = {1,2, {3,4 } }}$. Элементы B находятся не 1, 2, 3 и 4. Скорее всего, есть только три элемента B, а именно числа 1 и 2, и множество ${ displaystyle {3,4 }}$.

Элементы набора могут быть любыми. Например, ${ displaystyle C = { mathrm { color {red} red}, mathrm { color {green} green}, mathrm { color {blue} blue} }}$ это набор, элементами которого являются цвета красный, зеленый и синий.

Обозначения и терминология

В связь "является элементом", также называется установить членство, обозначается символом «∈». Письмо

${ displaystyle x in A}$

Значит это "Икс является элементомА".^[1][2] Эквивалентные выражения: "Икс является членомА", "Икс принадлежитА", "Икс вА" и "Икс лежит вА". Выражения"А включает в себя Икс" и "А содержит Икс"также используются для обозначения членства в наборе, хотя некоторые авторы используют их вместо этого"Икс это подмножество изА".^[3] Логик Джордж Булос настоятельно рекомендуется, чтобы «содержит» использовалось только для членства, а «включает» - только для отношения подмножества.^[4]

Для отношения ∈ обратное отношение ∈^Т может быть написано

${ displaystyle A ni x,}$ смысл "А содержит или включает Икс".

В отрицание членства в множестве обозначается символом «∉». Письмо

${ Displaystyle х notin A}$ Значит это "Икс не является элементомА".^[1]

Символ ∈ впервые использовал Джузеппе Пеано в своей работе 1889 года. Принципы арифметики, новая методика экспозиции.^[5] Здесь он написал на странице X:

Signum ∈ Signumat est. Ita a ∈ b законный a est quoddam b; …

что значит

Символ ∈ означает является. Таким образом, a ∈ b читается как a это б; …

Сам символ представляет собой стилизованную строчную греческую букву. эпсилон ("ϵ"), первая буква слова ἐστί, что означает «есть».^[5]

Количество множеств

Количество элементов в конкретном наборе - это свойство, известное как мощность; неформально это размер набора.^[6] В приведенных выше примерах мощность множестваА равно 4, а мощность множества B и установить C оба равны 3. Бесконечное множество - это набор с бесконечным числом элементов, в то время как конечный набор представляет собой набор с конечным числом элементов. Приведенные выше примеры являются примерами конечных множеств. Примером бесконечного множества является множество натуральных чисел {1, 2, 3, 4, ...}.

Примеры

Используя определенные выше множества, а именно А = {1, 2, 3, 4 }, B = {1, 2, {3, 4}} и C = {красный, зеленый, синий}, верны следующие утверждения:

• 2 ∈ А
• 5 ∉ А
• {3,4} ∈ B
• 3 ∉ B
• 4 ∉ B
• Желтый ∉ C

Смотрите также

• Элемент идентичности
• Синглтон (математика)

использованная литература

дальнейшее чтение

• Халмос, Пол Р. (1974) [1960], Наивная теория множеств, Тексты для бакалавриата по математике (Ред. В твердом переплете), Нью-Йорк: Springer-Verlag, ISBN 0-387-90092-6 - «Наивный» означает, что это не полностью аксиоматизировано, не то, что это глупо или просто (трактовка Халмоса - тоже).
• Jech, Thomas (2002), «Теория множеств», Стэнфордская энциклопедия философии
• Суппес, Патрик (1972) [1960], Аксиоматическая теория множеств, Нью-Йорк: Dover Publications, Inc., ISBN 0-486-61630-4 - И понятие множества (совокупности членов), членства или элементарной принадлежности, аксиома расширения, аксиома разделения и аксиома объединения (Суппес называет ее аксиомой суммы) необходимы для более глубокого понимания " установить элемент ".