Калькулятор определения подмножества из множества

Результат расчёта
Множество B {$ result[0] ? "подмножество" : "не является подмножеством" $} множества A

Подмножество множества A — это такой набор B, все члены которого принадлежат A. Существует знакомое всем с детства множество натуральных чисел N, а наборы четных E и нечетных O элементов являются подмножествами N.

Теория множеств

Проблема отображения бесконечности действительных чисел волновала математиков с самой древности. Натуральные числа люди использовали при счете, рациональные, то есть дроби – при операциях с частями целого, а действительные числа нашли свое применение в измерениях. Первым действительным и иррациональным числом, о котором узнали древние математики, было число, отображающее длину диагонали квадрата. Затем появилось Пи (отношение диаметра круга к его окружности), позднее и другие числа.

При измерении длины стороны фигуры или ее диагонали мы можем постоянно повышать точность измерений и получать все новые и новые числа. Например, диагональ единичного квадрата равна корню из двух. Мы можем выразить ее длину как 1,4 или 1,41 или 1,4142 или 1,41421356237. И это все разные действительные числа. Можно ли создать список всех действительных чисел от 0 до 1? Нет, так как каждый раз будет находиться еще одно число, отличное от всех, представленных в этом списке.

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

Подмножество

Давайте начнем с самого простого – множество натуральных чисел. Это бесконечная последовательность целых положительных чисел, которые мы используем при счете предметов. В отличие от измерений, мы не можем повышать точность счета. Если мы видим 5 яблок, то точнее мы выразить их количество никак не сможем. Кроме того, мы без проблем можем перечислить все натуральные числа в диапазоне от 1 до 10. Все натуральные числа могут быть как четными, так и нечетными, следовательно, натуральное множество содержит в себе четное и нечетное подмножества.

Целые числа – это продолжение натуральной последовательности в отрицательную область. К целым относится ноль, все натуральные числа, а также противоположные натуральным, то есть со знаком минус. Очевидно, что натуральное множество является подмножеством целых чисел.

Рациональное множество – это набор всех дробных чисел, которые возможно представить в виде обыкновенной дроби. В виде дроби мы можем выразить 0,25 – 1/4, 0,5 – 1/2, 1 – 1/1. В качестве дроби легко записать любое целое или натуральное число, например: 5/5 или 50/50. Таким образом, рациональное множество содержит два подмножества – наборы целых и натуральных чисел.

Действительное множество – это все числа на числовой оси. К ним относятся натуральные, целые, рациональные и иррациональные числа, которые формируют соответствующие подмножества во множестве действительных чисел. Множество действительных чисел – это самое мощное множество, которое стремится в бесконечность. Кроме того, пустое множество, которое не содержит ни одного элемента, является подмножеством любого выбранного набора чисел. Но и это еще не все. Каждое множество является подмножеством самого себя.

Мы перечислили глобальные примеры подмножеств, однако на практике нам может потребовать определить является ли один набор чисел подмножеством другого набора? К примеру, если у нас есть пара значений {3, 11}, то является ли она подмножеством набора {1, 3, 5, 7, 11, 13}? Очевидно, что ответ положительный, так как и 3, и 11 встречаются во множестве {1, 3, 5, 7, 11, 13}. Однако это верно только для множеств с неразличимыми элементами, то есть для обычного набора чисел. Если же важен порядковый номер элементов множества, то результат противоположный и {3, 11} не является подмножеством {1, 3, 5, 7, 11, 13}.

Наш калькулятор определения подмножеств позволяет выяснить, является набор чисел B подмножеством набора A. Программа использует алгоритм для надежно различимых элементов множества, для которых важен порядок расположения членов.

Пример определения подмножества

Выше мы выяснили, что четное множество – это подмножество натурального ряда. Для неразличимых элементов объект B = {2, 4, 6} является подмножеством набора A = {1, 2, 3, 4, 5, 6}. Однако представим, что это база данных, и n-ному элементу множества соответствует свое значение. Выходит, что первый член объекта B имеет значение 2, а первый элемент набора A равен 1. Второй элемент множества B равен 4, а второй элемент объекта A = 2. По такой логике это совершенно разные объекты, следовательно, множество B не является подмножеством набора A.

Заключение

Множество – это набор математических объектов, каждый из которых обладает определенным свойством. Каждое множество имеет минимум два подмножества: пустое и свое собственное. Для поиска других подмножеств используйте наш калькулятор, который позволяет определить принадлежность одного набора чисел к другому.