Множество - совокупность любых объектов. Множества обозначают большими буквами латинского алфавита - от A до Z .

Основные числовые множества: множество натуральных чисел и множество целых чисел, всегда обозначаются одними и теми же буквами:

N - множество натуральных чисел

Z - множество целых чисел

Элемент множества - это любой объект, входящий в состав множества. Принадлежность объекта к множеству обозначается с помощью знака ∈ . Запись

читается так: 5 принадлежит множеству Z или 5 - элемент множества Z .

Множества делятся на конечные и бесконечные. Конечное множество - множество, содержащее определённое (конечное) количество элементов. Бесконечное множество - множество, содержащее бесконечно много элементов. К бесконечным множествам можно отнести множества натуральных и целых чисел.

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

L = {2, 4, 6, 8}

означает, что множество L состоит из четырёх чётных чисел.

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

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

Подмножество - это множество, все элементы которого, являются частью другого множества.

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

Рассмотрим два множества:

L = {2, 4, 6, 8} и M = {2, 4, 6, 8, 10, 12}

Каждый элемент множества L принадлежит и множеству M , значит множество L M . Такое соотношение множеств обозначают знаком ⊂ :

L ⊂M

Запись L ⊂M читается так: множество L является подмножеством множества M .

Множества состоящие из одних и тех же элементов, независимо от их порядка, называются равными и обозначаются знаком = .

Рассмотрим два множества:

L = {2, 4, 6} и M = {4, 6, 2}

так как оба множества состоят из одних и тех же элементов, то L = M .

Пересечение и объединение множеств

Пересечение двух множеств - это совокупность элементов, принадлежащих каждому из этих множеств, то есть их общая часть. Пересечение обозначается знаком ∩ .

Например, если

L = {1, 3, 7, 11} и M = {3, 11, 17, 19}, то L ∩M = {3, 11}.

Запись L ∩M читается так: пересечение множеств L и M .

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

Объединением двух множеств называется множество, содержащее все элементы исходных множеств в единственном экземпляре, то есть если один и тот же элемент встречается в обоих множествах, то в новое множество этот элемент будет включён только один раз. Объединение обозначается знаком ∪ .

Например, если

L = {1, 3, 7, 11} и M = {3, 11, 17, 19},

то L ∪M = {1, 3, 7, 11, 17, 19}.

Запись L ∪M читается так: объединение множеств L и M .

При объединении равных множеств, объединение будет равно любому из данным множеств:

если L = M , то L ∪M = L и L ∪M = M .

Математическим анализом называется раздел математики, занимающийся исследованием функций на основе идеи бесконечно малой функции.

Основными понятиями математического анализа являются величина, множество, функция, бесконечно малая функция, предел, производная, интеграл.

Величиной называется все что может быть измерено и выражено числом.

Множеством называется совокупность некоторых элементов, объединенных каким-либо общим признаком. Элементами множества могут быть числа, фигуры, предметы, понятия и т.п.

Множества обозначаются прописными буквами, а элементы множество строчными буквами. Элементы множеств заключаются в фигурные скобки.

Если элемент x принадлежит множеству X , то записывают x ∈ Х (∈ — принадлежит).
Если множество А является частью множества В, то записывают А ⊂ В (⊂ — содержится).

Множество может быть задано одним из двух способов: перечислением и с помощью определяющего свойства.

Например, перечислением заданы следующие множества:
  • А={1,2,3,5,7} — множество чисел
  • Х={x 1 ,x 2 ,...,x n } — множество некоторых элементов x 1 ,x 2 ,...,x n
  • N={1,2,...,n} — множество натуральных чисел
  • Z={0,±1,±2,...,±n} — множество целых чисел

Множество (-∞;+∞) называется числовой прямой , а любое число — точкой этой прямой. Пусть a — произвольная точка числовой прямой иδ — положительное число. Интервал (a-δ; a+δ) называется δ-окрестностью точки а .

Множество Х ограничено сверху (снизу), если существует такое число c, что для любого x ∈ X выполняется неравенство x≤с (x≥c). Число с в этом случае называется верхней(нижней) гранью множества Х. Множество, ограниченное и сверху и снизу, называется ограниченным . Наименьшая (наибольшая) из верхних (нижних) граней множества называется точной верхней (нижней) гранью этого множества.

Основные числовые множества

N {1,2,3,...,n} Множество всех
Z {0, ±1, ±2, ±3,...} Множество целых чисел. Множество целых чисел включает в себя множество натуральных.
Q

Множество рациональных чисел .

Кроме целых чисел имеются ещё и дроби. Дробь — это выражение вида , где p — целое число, q — натуральное. Десятичные дроби также можно записать в виде . Например: 0,25 = 25/100 = 1/4. Целые числа также можно записать в виде . Например, в виде дроби со знаменателем "один": 2 = 2/1.

Таким образом любое рациональное число можно записать десятичной дробью — конечно или бесконечной периодической.
R

Множество всех вещественных чисел .

Иррациональные числа — это бесконечные непериодические дроби. К ним относятся:

Вместе два множества (рациональных и иррациональных чисел) — образуют множество действительных (или вещественных) чисел.

Если множество не содержит ни одного элемента, то оно называется пустым множеством и записывается Ø .

Элементы логической символики

Запись ∀x: |x|<2 → x 2 < 4 означает: для каждого x такого, что |x|<2, выполняется неравенство x 2 < 4.

Квантор

При записи математических выражений часто используются кванторы.

Квантором называется логический символ, который характеризует следующие за ним элементы в количественном отношении.

  • ∀- квантор общности , используется вместо слов "для всех", "для любого".
  • ∃- квантор существования , используется вместо слов "существует", "имеется". Используется также сочетание символов ∃!, которое читается как существует единственный.

Операции над множествами

Два множества А и В равны (А=В), если они состоят из одних и тех же элементов.
Например, если А={1,2,3,4}, B={3,1,4,2} то А=В.

Объединением (суммой) множеств А и В называется множество А ∪ В, элементы которого принадлежат хотя бы одному из этих множеств.
Например, если А={1,2,4}, B={3,4,5,6}, то А ∪ B = {1,2,3,4,5,6}

Пересечением (произведением) множеств А и В называется множество А ∩ В, элементы которого принадлежат как множеству А, так и множеству В.
Например, если А={1,2,4}, B={3,4,5,2}, то А ∩ В = {2,4}

Разностью множеств А и В называется множество АВ, элементы которого принадлежат множесву А, но не принадлежат множеству В.
Например, если А={1,2,3,4}, B={3,4,5}, то АВ = {1,2}

Симметричной разностью множеств А и В называется множество А Δ В, являющееся объединением разностей множеств АВ и ВА, то есть А Δ В = (АВ) ∪ (ВА).
Например, если А={1,2,3,4}, B={3,4,5,6}, то А Δ В = {1,2} ∪ {5,6} = {1,2,5,6}

Свойства операций над множествами

Свойства перестановочности

A ∪ B = B ∪ A
A ∩ B = B ∩ A

Сочетательное свойство

(A ∪ B) ∪ C = A ∪ (B ∪ C)
(A ∩ B) ∩ C = A ∩ (B ∩ C)

Счетные и несчетные множества

Для того, чтобы сравнить два каких-либо множества А и В, между их элементами устанавливают соответствие.

Если это соответствие взаимооднозначное, то множества называются эквивалентными или равномощными, А В или В А.

Пример 1

Множество точек катета ВС и гипотенузы АС треугольника АВС являются равномощными.

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

Простейшие случаи

Когда мы говорим о простейших случаях в рассматриваемой теме, то имеем в виду нахождение пересечения и объединения числовых множеств, представляющих из себя набор отдельных чисел. В подобных случаях будет достаточно использования определения пересечения и объединения множеств.

Определение 1

Объединение двух множеств – это множество, в котором каждый элемент является элементом одного из исходных множеств.

Пересечение множеств – это множество, которое состоит из всех общих элементов исходных множеств.

Из указанных определений логически следуют следующие правила:

Чтобы составить объединение двух числовых множеств, имеющих конечное количество элементов, необходимо записать все элементы одного множества и дописать к ним недостающие элементы из второго множества;

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

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

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

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

Пример 1

Исходные данные: числовые множества А = { 3 , 5 , 7 , 12 } и В = { 2 , 5 , 8 , 11 , 12 , 13 } . Необходимо найти объединение и пересечение исходных множеств.

Решение

  1. Определим объединение исходных множеств. Запишем все элементы, к примеру, множества А: 3 , 5 , 7 , 12 . Добавим к ним недостающие элементы множества В: 2 , 8 , 11 и 13 . В конечном итоге имеем числовое множество: { 3 , 5 , 7 , 12 , 2 , 8 , 11 , 13 } . Упорядочим элементы полученного множества и получим искомое объединение: А ∪ B = { 2 , 3 , 5 , 7 , 8 , 11 , 12 , 13 } .
  2. Определим пересечение исходных множеств. Согласно правилу, переберем один за другим все элементы первого множества A и проверим, входят ли они во множество B . Рассмотрим первый элемент - число 3: он не принадлежит множеству B , а значит не будет являться элементом искомого пересечения. Проверим второй элемент множества A , т.е. число 5: оно принадлежит множеству B , а значит станет первым элементом искомого пересечения. Третий элемент множества A – число 7 . Оно не является элементом множества B , а, следовательно, не является элементом пересечения. Рассмотрим последний элемент множества A: число 1 . Оно также принадлежит и множеству B , и соответственно станет одним из элементов пересечения. Таким образом, пересечение исходных множеств – множество, состоящее из двух элементов: 5 и 12 , т.е. А ∩ В = { 5 , 12 } .

Ответ: объединение исходных множеств – А ∪ B = { 2 , 3 , 5 , 7 , 8 , 11 , 12 , 13 } ; пересечение исходных множеств - А ∩ В = { 5 , 12 } .

Все вышесказанное относится к работе с двумя множествами. Что же касается нахождения пересечения и объединения трех и более множеств, то решение этой задачи возможно свести к последовательному нахождению пересечения и объединения двух множеств. Например, чтобы определить пересечение трех множеств A , В и С, возможно сначала определить пересечение A и B , а затем найти пересечение полученного результата с множеством C . На примере это выглядит так: пусть будут заданы числовые множества: А = { 3 , 9 , 4 , 3 , 5 , 21 } , В = { 2 , 7 , 9 , 21 } и С = { 7 , 9 , 1 , 3 } . Пересечение первых двух множеств составит: А ∩ В = { 9 , 21 } , а пересечение полученного множества с множеством А ∩ В = { 9 , 21 } . В итоге: А ∩ В ∩ С = { 9 } .

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

Т.е., чтобы найти объединение трех и более множеств указанного типа, необходимо к элементам первого множества добавить недостающие элементы второго множества, затем – третьего и т.д. Для пояснения возьмем числовые множества: А = { 1 , 2 } , В = { 2 , 3 } , С = { 1 , 3 , 4 , 5 } . К элементам первого множества A добавится число 3 из множества B , а затем – недостающие числа 4 и 5 множества C . Таким образом, объединение исходных множеств: А ∪ В ∪ С = { 1 , 2 , 3 , 4 , 5 } .

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

А = { 3 , 1 , 7 , 12 , 5 , 2 } В = { 1 , 0 , 2 , 12 } С = { 7 , 11 , 2 , 1 , 6 } D = { 1 , 7 , 15 , 8 , 2 , 6 } .

Найдем пересечение исходных множеств. Очевидно, что множество B имеет меньше всего элементов, поэтому именно их мы будем проверять, определяя, входят ли они в остальные множества. Число 1 множества B является элементом и прочих множеств, а значит является первым элементом искомого пересечения. Второе число множества B – число 0 – не является элементом множества A , а, следовательно, не станет элементом пересечения. Продолжаем проверку: число 2 множества B является элементом прочих множеств и становится еще одной частью пересечения. Наконец, последний элемент множества B – число 12 – не является элементом множества D и не является элементом пересечения. Таким образом, получаем: A ∩ B ∩ C ∩ D = { 1 , 2 } .

Координатная прямая и числовые промежутки как объединение их частей

Отметим на координатной прямой произвольную точку, например, с координатой - 5 , 4 . Указанная точка разобьет координатную прямую на два числовых промежутка – два открытых луча (-∞, -5,4) и (-5,4, +∞) и собственно точку. Нетрудно увидеть, что в соответствии с определением объединения множеств любое действительное число будет принадлежать объединению (- ∞ , - 5 , 4) ∪ { - 5 , 4 } ∪ (- 5 , 4 , + ∞) . Т.е. множество всех действительных чисел R = (- ∞ ; + ∞) возможно представить в виде полученного выше объединения. И наоборот, полученное объединение будет являться множеством всех действительных чисел.

Отметим, что заданную точку возможно присоединить к любому из открытых лучей, тогда он станет простым числовым лучом (- ∞ , - 5 , 4 ] или [ - 5 , 4 , + ∞) . При этом множество R будет описываться следующими объединениями: (- ∞ , - 5 , 4 ] ∪ (- 5 , 4 , + ∞) или (- ∞ , - 5 , 4) ∪ [ - 5 , 4 , + ∞) . .

Подобные рассуждения действительны не только относительно точки координатной прямой, но и относительно точки на любом числовом промежутке. Т.е., если мы возьмем любую внутреннюю точку любого произвольного промежутка, его возможно будет представить, как объединение его частей, полученных после деления заданной точкой, и самой точки. К примеру, задан полуинтервал (7 , 32 ] и точка 13 , принадлежащая этому числовому промежутку. Тогда заданный полуинтервал можно представить в виде объединения (7 , 13) ∪ { 13 } ∪ (13 , 32 ] и обратно. Мы можем включить число 13 в любой из промежутков и тогда заданное множество (7 , 32 ] можно представить, как (7 , 13 ] ∪ (13 , 32 ] или (7 , 13 ] ∪ (13 , 32 ] . Также мы можем взять в качестве исходных данных не внутреннюю точку заданного полуинтервала, а его конец (точку с координатой 32), тогда заданный полуинтервал можно представить, как объединение интервала (7 , 32) и множества из одного элемента { 32 } . Таким образом: (7 , 32 ] = (7 , 32) ∪ { 32 } .

Еще один вариант: когда берется не одна, а несколько точек на координатной прямой или числовом промежутке. Эти точки разобьют координатную прямую или числовой промежуток на несколько числовых промежутков, а объединение этих промежутков будут составлять исходные множества. К примеру, на координатной прямой заданы точки с координатами - 6 , 0 , 8 , которые разобьют ее на промежутки: (- ∞ , - 6) , (- 6 , 0) , (0 , 8) , (8 , + ∞) . При этом множество всех действительных чисел, олицетворением чего и является координатная прямая, возможно представить в виде объединения полученных промежутков и указанных чисел:

(- ∞ , - 6) ∪ { - 6 } ∪ (- 6 , 0) ∪ { 0 } ∪ (0 , 8) ∪ { 8 } ∪ (8 , + ∞) .

С темой нахождения пересечения и объединения множеств возможно наглядно разобраться, если использовать изображения заданных множеств на координатной прямой (если только речь – не о простейших случаях, рассмотренных в самом начале статьи).

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

Пример 2

Исходные данные: заданы числовые множества А = (7 , + ∞) и В = [ - 3 , + ∞) . Необходимо найти пересечение и объединение данных множеств.

Решение

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

В нашем примере для записи пересечения и объединения числовых множеств имеем: и

Изобразим еще одну координатную прямую, расположив ее под уже имеющимися. Она понадобится для отображения искомого пересечения или объединения. На этой координатной прямой отмечают все граничные точки исходных числовых множеств: сначала черточками, а позже, после выяснения характера точек с этими координатами, черточки будет заменены выколотыми или невыколотыми точками. В нашем примере это точки с координатами - 3 и 7 .

и

Точки, которые изображены на нижней координатной прямой в предыдущем шаге алгоритма, дают возможность рассматривать координатную прямую как набор числовых промежутков и точек (об этом мы говорили выше). В нашем примере координатную прямую представим в виде набора пяти числовых множеств: (- ∞ , - 3) , { - 3 } , (- 3 , 7) , { 7 } , (7 , + ∞) .

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

Промежуток становится частью пересечения, если он одновременно является частью множества A и множества B (или иными словами – если есть штриховка над этим промежутком на обеих координатных прямых, отображающих множества А и B);

Точка становится частью пересечения, если она является одновременно частью каждого из множеств А и В (иными словами – если точка является невыколотой или внутренней точкой какого-либо интервала обоих числовых множеств A и B);

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

Точка становится частью объединения, если она является частью хотя бы одного из множеств A и B (иными словами – точка является невыколотой или внутренней точкой какого-либо интервала хотя бы одного из множеств A и B).

Кратко резюмируя: пересечением числовых множеств A и B служит пересечение всех числовых промежутков множеств A и B , над которыми одновременно присутствует штриховка, и всех отдельных точек, принадлежащих и множеству А, и множеству В. Объединением числовых множеств A и B служит объединение всех числовых промежутков, над которыми присутствует штриховка хотя бы у одного из множеств A или B , а также всех невыколотых отдельных точек.

  1. Вернемся к примеру, определим пересечение заданных множеств. Для этого поочередно проверим множества: (- ∞ , - 3) , { - 3 } , (- 3 , 7) , { 7 } , (7 , + ∞) . Начнем с множества (- ∞ , - 3) , наглядно выделив его на чертеже:

Этот промежуток не будет включен в пересечение, потому что не является частью ни множества A , ни множества B (нет штриховки). И так наш чертеж сохраняет свой изначальный вид:

Рассмотрим следующее множество { - 3 } . Число - 3 является частью множества B (невыколотой точкой), но не входит в состав множества A , а потому не станет частью искомого пересечения. Соответственно на нижней координатной прямой точку с координатой - 3 делаем выколотой:

Оцениваем следующее множество (- 3 , 7) .

Оно является частью множества B (над интервалом присутствует штриховка), но не входит в множество A (над интервалом штриховка отсутствует): не будет входить в искомое пересечение, а значит на нижней координатной прямой не появляется никаких новых отметок:

Следующее множество на проверку - { 7 } . Оно является составом множества B (точка с координатой 7 является внутренней точкой промежутка [ - 3 , + ∞)), но не является частью множества A (выколотая точка), таким образом, рассматриваемый промежуток не станет частью искомого пересечения.. Отметим точку с координатой 7 как выколотую:

И, наконец, проверяем оставшийся промежуток (7 , + ∞) .

Промежуток входит в оба множества A и B (над промежутком присутствует штриховка), следовательно, становится частью пересечения. Штрихуем место над рассмотренным промежутком:

В конечном счете на нижней координатной прямой образовалось изображение искомого пересечения заданных множеств. Очевидно, что оно является множеством всех действительных чисел больше числа 7 , т.е.: А ∩ В = (7 , + ∞) .

  1. Следующим шагом определим объединение заданных множеств A и B . Последовательно проверим множества (- ∞ , - 3) , { - 3 } , (- 3 , 7) , { 7 } , (7 , + ∞) , устанавливая факт включения или невключения их в искомое объединение.

Первое множество (- ∞ , - 3) не является частью ни одного из исходных множеств A и B (над промежутками нет штриховок), следовательно, множество (- ∞ , - 3) не войдет в искомое объединение:

Множество { - 3 } входит в множество B , а значит будет входить в искомое объединение множеств A и B:

Множество (- 3 , 7) является составной частью множества B (над интервалом присутствует штриховка) и становится элементом объединения множеств A и B:

Множество 7 входит в числовое множество B , поэтому войдет и в искомое объединение:

Множество (7 , + ∞) , являясь элементом обоих множеств А и В одновременно, становится еще одной частью искомого объединения:

По итоговому изображению объединения исходных множеств А и В получаем: А ∩ В = [ - 3 , + ∞) .

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

Пример 3

Исходные данные: множества А = (- ∞ , - 15) ∪ { - 5 } ∪ [ 0 , 7) ∪ { 12 } и В = (- 20 , - 10) ∪ { - 5 } ∪ (2 , 3) ∪ { 17 } . Необходимо определить пересечение и объединение заданных множеств.

Решение

Отметим заданные числовые множества на координатных прямых, чтобы иметь возможность получить иллюстрацию искомых пересечения и объединения:

Ответ: А ∩ В = (- 20 , - 15) ∪ { - 5 } ∪ (2 , 3) ; А ∪ В = (- ∞ , - 10) ∪ { - 5 } ∪ [ 0 , 7 ] ∪ { 12 , 17 } .

Также понятно, что при достаточном понимании процесса указанный алгоритм возможно подвергнуть оптимизации. К примеру, в процессе нахождения пересечения можно не тратить время на проверку всех промежутков и множеств, представляющих собой отдельные числа, ограничившись рассмотрением только тех промежутков и чисел, которые составляют множество А или В. Прочие промежутки в любом случае не войдут в пересечение, т.к. не являются частью исходных множеств. Составим иллюстрацию сказанного на практическом примере.

Пример 4

Исходные данные: множества А = { - 2 } ∪ [ 1 , 5 ] и B = [ - 4 , 3 ] .

Необходимо определить пересечение исходных множеств.

Решение

Геометрически изобразим числовые множества А и В:

Граничные точки исходных множеств разобьют числовую прямую на несколько множеств:

(- ∞ , - 4) , { - 4 } , (- 4 , - 2) , { - 2 } , (- 2 , - 1) , { 1 } , (1 , 3) , { 3 } , (3 , 5) , { 5 } , (5 , + ∞) .

Легко заметить, что числовое множество A можно записать, объединив некоторые из перечисленных множеств, а именно: { - 2 } , (1 , 3) , { 3 } и (3 , 5) . Достаточно будет проверить эти множества на их включенность также в множество В для того, чтобы найти искомое пересечение. Те, что войдут в множество В и станут элементами пересечения. Проведем проверку.

Совершенно понятно, что { - 2 } является частью множества B , ведь точка с координатой - 2 – внутренняя точка отрезка [ - 4 , 3) . Интервал (1 , 3) и множество { 3 } также входят в множество В (над интервалом присутствует штриховка, а точка с координатой 3 является для множества В граничной и невыколотой). Множество (3 , 5) не будет элементом пересечения, т.к. не входит в множество В (над ним не присутствует штриховка). Отметим все вышесказанное на чертеже:

В итоге искомым пересечением двух заданных множеств будет объединение множеств, которое мы запишем так: { - 2 } ∪ (1 , 3 ] .

Ответ: А ∩ В = { - 2 } ∪ (1 , 3 ] .

В заключении статьи обговорим еще, как решить задачу о нахождении пересечения и объединения нескольких множеств (более 2). Сведем ее, как рекомендовалось ранее, к необходимости определения пересечения и объединения первых двух множеств, затем полученного результата с третьим множеством и так далее. А можно использовать описанный выше алгоритм с единственным только отличием, что проверку вхождения промежутков и множеств, представляющих собой отдельные числа, необходимо проводить не по двум, а всем заданным множествам. Рассмотрим на примере.

Пример 5

Исходные данные: множества А = (- ∞ , 12 ] , В = (- 3 , 25 ] , D = (- ∞ , 25) ꓴ { 40 } . Необходимо определить пересечение и объединение заданных множеств.

Решение

Отображаем заданные числовые множества на координатных прямых и ставим с левой от них стороны фигурную скобку, обозначая пересечение, а также квадратную, обозначая объединение. Ниже отобразим координатные прямые с отмеченными штрихами граничными точками числовых множеств:

Таким образом, координатная прямая представлена следующими множествами: (- ∞ , - 3) , { - 3 } , (- 3 , 12) , { 12 } , (12 , 25) , { 25 } , (25 , 40) , { 40 } , (40 , + ∞) .

Начинаем искать пересечения, поочередно проверяя записанные множества на принадлежность каждому из исходных. Во все три заданных множества входит интервал (- 3 , 12) и множество { - 12 } : они и станут элементами искомого пересечения. Таким образом, получим: A ∩ B ∩ D = (- 3 , 12 ] .

Объединение заданных множеств составят множества: (- ∞ , - 3) - элемент множества А; { - 3 } – элемент множества А; (- 3 , 12) – элемент множества А; { 12 } – элемент множества А; (12 , 25) – элемент множества В; { 25 } – элемент множества В и { 40 } – элемент множества D . Таким образом, получим: A ∪ B ∪ D = (- ∞ , 25 ] ∪ { 40 } .

Ответ: A ∩ B ∩ D = (- 3 , 12 ] ; A ∪ B ∪ D = (- ∞ , 25 ] ∪ { 40 } .

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

Пример 6

Исходные данные: А = [ - 7 , 7 ] ; В = { - 15 } ∪ [ - 12 , 0) ∪ { 5 } ; D = [ - 15 , - 10 ] ∪ [ 10 , + ∞) ; Е = (0 , 27) . Определить пересечение заданных множеств.

Решение

Отобразим исходные множества на координатных прямых и штрихами граничные точки этих множеств на дополнительной прямой.

Отмеченные точки разобьют числовую прямую на множества: (- ∞ , - 15) , { - 15 } , (- 15 , - 12) , { - 12 } , (- 12 , - 10) , { - 10 } , (- 10 , - 7) , { - 7 } , (- 7 , 0) , { 0 } , (0 , 5) , { 5 } , (5 , 7) , { 7 } , (7 , 10) , { 10 } , (10 , 27) , { 27 } , (27 , + ∞) .

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

Ответ: A ∩ B ∩ D ∩ Е = Ø .

Множества удобно изображать в виде кругов, которые называют кругами Эйлера.

На рисунке множество пересечения множеств X и Y закрашено в оранжевый цвет.

Если вы заметили ошибку в тексте, пожалуйста, выделите её и нажмите Ctrl+Enter

1 ВОПРОС: Множеством называется совокупность некоторых элементов, объединенных каким-либо общим признаком. Элементами множества могут быть числа, фигуры, предметы, понятия и т.п.

Множества обозначаются прописными буквами, а элементы множество строчными буквами. Элементы множеств заключаются в фигурные скобки.

Если элемент x принадлежит множеству X , то записывают x ∈ Х (∈ - принадлежит). Если множество А является частью множества В, то записывают А ⊂ В (⊂ - содержится).

Определение 1 (определение равенства множеств). Множества А и B равны, если они состоят из одних и тех же элементов, то есть, если из x  A следует x  B и обратно, из x  B следует x  A.

Формально равенство двух множеств записывается следующим образом:

(А=В ):= x ((x A )  (x B )),

это означает, что для любого объекта x соотношения x A и x B равносильны.

Здесь  – квантор всеобщности ( x читается как "для каждого x ").

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

Определение: Множество Х является подмножеством Y, если любой элемент множества Х принадлежит множеству Y. Это еще называется нестрогим включением .Некоторые свойства подмножества:

1. ХХ - рефлективность

2. X  Y & YZ  X  Z - транзитивность

3.   X т.е. пустое множество является подмножеством любого множества.Универсальное множествоОпределение: Универсальное множество - это такое множество, которое состоит из всех элементов, а так же подмножеств множества объектов исследуемой области, т.е.

1. Если М I , то М I

2. Если М I , то Ώ(М) I , где под Ώ(М) - понимаются все возможные подмножества М, или Булеан М.

Универсальное множество обычно обозначается I .

Универсальное множество может выбираться самостоятельно, в зависимости от рассматриваемого множества, и решаемых задач.

Способы задания множеств:

1. путем перечисления его элементов. Обычно перечислением задают конечные множества.

2. путем описания свойств, общих для всех элементов этого множества, и только этого множества. Это свойство называетсяхарактеристическим свойством , а такой способ задания множества описанием . Таким образом, можно задавать как конечные, так и бесконечные множества. Если мы задаем множество каким-либо свойством, потом может оказаться, что этим свойством обладает всего лишь один объект или вообще такого объекта нет. Данный факт может быть совсем не очевиден.

Тема 2.3 Операции над множествами.

Теперь определим операции над множествами.

1. Пересечение множеств.

Определение: Пересечением множеств Х и У называется множество, состоящее из всех тех, и только тех элементов, которые принадлежат и множеству Х и множеству У.

Например: Х={1,2,3,4} У={2,4,6} пересечением {2,4}

Определение: Множества называются непересекающимися, если не имеют общих элементов, т.е. их пересечение равно пустому множеству.

Например : непересекающимися множествами являются множества отличников группы и неуспевающих.

Данную операцию можно распространить и на большее чем два число множеств. В этом случае это будет множество элементов, принадлежащих одновременно всем множествам.

Свойства пересечения:

1. X∩Y = Y∩X - коммутативности

2. (X∩Y) ∩Z =X∩ (Y∩Z)=X∩Y∩Z - ассоциативности

3. X∩ = 

4. X∩I = Х

2. Объединение множеств

Определение: Объединением двух множеств называется множество, состоящее из всех и только тех элементов, которые принадлежат хотя бы одному из множеств Х или У.

Например: Х={1,2,3,4} У={2,4,6} объединением {1,2,3,4,6}

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

Свойства объединения:

1. XUY= YUY- коммутативности

2. (X UY)UZ =XU (YUZ)=XUYUZ - ассоциативности

4. XUI = I

Из свойств операций пересечения и объединения видно, что пустое множество аналогично нулю в алгебре чисел.

3. Разность множеств

Определение: Данная операция, в отличие от операций пересечения и объединения определена только для двух множеств. Разностью множеств Х и У называется множество, состоящее их всех тех и только тех элементов, которые принадлежат Х и не принадлежат У.

Например: Х={1,2,3,4} У={2,4,6} разность {1,3}

Как мы уже видели, роль нуля в алгебре множеств играет пустое множество. Определим множество, которое будет играть роль единицы в алгебре множеств

4. Дополнение множества

Дополнением множества Х называется разность I и Х.

Свойства дополнения:

1. Множество Х и его дополнение не имеют общих элементов

2.Любой элемент I принадлежит или множеству Х или его дополнению.

2 ВОПРОС Множества чисел

Натуральные числа − числа, используемые при счете (перечислении) предметов: N={1,2,3,…}

Натуральные числа с включенным нулем − числа, используемые для обозначения количества предметов: N0={0,1,2,3,…}

Целые числа − включают в себя натуральные числа, числа противоположные натуральным(т.е. с отрицательным знаком) и ноль. Целые положительные числа : Z+=N={1,2,3,…} Целые отрицательные числа : Z−={…,−3,−2,−1} Z=Z−∪{0}∪Z+={…,−3,−2,−1,0,1,2,3,…}

Рациональные числа − числа, представляемые в виде обыкновенной дроби a/b, где a и b − целые числа и b≠0. Q={x∣x=a/b,a∈Z,b∈Z,b≠0} При переводе в десятичную дробь рациональное число представляется конечной или бесконечной периодической дробью.

Иррациональные числа − числа, которые представляются в виде бесконечной непериодической десятичной дроби.

Действительные (вещественные) числа − объединение рациональных и иррациональных чисел: R

Комплексные числа C={x+iy∣x∈Rиy∈R}, где i − мнимая единица.

Модуль действительного числа и свойства

Модуль действительного числа - это абсолютная величина этого числа.

Попросту говоря, при взятии модуля нужно отбросить от числа его знак.

Модуль числа a обозначается |a| . Обратите внимание: модуль числа всегда неотрицателен: |a|≥ 0 .

|6| = 6, |-3| = 3, |-10,45| = 10,45

Лекция 13: Операции над множествами. Упорядоченное множество

1. Объединение множеств

Объединение множеств X и Y — это множество, состоящее из всех тех и только тех элементов, которые принадлежат хотя бы одному из множеств X или Y, т.е. принадлежат X или принадлежат Y.

Объединение X и Y обозначается через X∪Y

Формально x∈X∪Y ⇔ x∈X или x∈Y

Пример 1. Если X={1,2,3,4,5} и Y={2,4,6,8}, то

X∪Y={1,2,3,4,5,6,7,8}

Пример 2. Если X={x:x — отл.гр.}, и Y={x:x — gib.}, то

X∪Y={x:x — или отл., или gib}.

Пример 3. Если X — множество точек левого круга и Y — множество точек правого круга, то

X∪Y — заштрихованная область, ограниченная обоими кругами.

Понятие объединения можно распространить и на большее число множеств, на систему множеств. Обозначим через М={X 1 ,X 2 , ...,X n } совокупность n множеств X 1 ,X 2 , ...,X n , называемую иногда системой множеств. Объединение этих множеств

∪X i =∪(X∈M), Х=X 1 ∪X 2 ∪...∪X n

представляет собой множество, состоящее из всех тех и только тех элементов, которые принадлежат хотя бы одному из множеств данной системы М.

Для объединенных множеств справедливы:

  • X∪Y = Y∪X — коммутативный закон
  • (X∪Y)∪Z = X∪(Y∪Z) = X∪Y∪Z — ассоциативный закон,

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

Очевидно, что X∪∅ = X. Отсюда можно видеть, что ∅ играет роль нуля в алгебре множеств.

2. Пересечение множеств

Пересечение множеств X и Y — это множество, состоящее из всех тех и только тех элементов, которые принадлежат как множеству X, так и множеству Y.

Пересечение множеств обозначается X∩Y.

Формально x∈X∩Y ⇔ x∈X и x∈Y

Пример 4. X={1,2,3,4,5} Y={2,4,6,8} X∩Y = {2,4}

Пример 5. Если Х — множество точек левого круга, а Y — множество точек правого круга, то X∩Y представляет собой заштрихованную область, являющуюся общей частью обоих кругов.

Множества X и Y называются непересекающимися (дизъюнктными), если они не имеют общих элементов, то есть если X∩Y=∅.

Пример 7. {1,2,3} и {4,5,6}

В отличие от алгебры чисел, где могут быть три возможности: a

X=Y; X⊂Y; Y⊂X; X∩Y=∅ и X и Y находятся в общем положении.

Говорят, что множества X и Y находятся в общем положении, если выполняются три условия:

  1. существует элемент множества X, не принадлежащий Y;
  2. существует элемент множества Y, не принадлежащий X;
  3. существует элемент, принадлежащий как X, так и Y.

Аналогично объединению понятие пересечения можно распространить на систему множеств:

∩X=∩X i =X 1 ∩X 2 ∩...∩X n

Пересечение множеств представляет собой множество, элементы которого принадлежат каждому из множеств системы М.

Для пересечения множеств справедливы:

  • X∩Y=Y∩X — коммутативный закон
  • (X∩Y)∩Z = X∩(Y∩Z) = X∩Y∩Z — ассоциативный закон

Заметим также, что имеет место соотношение X∩∅=∅.

Пример 8. A={a,b}, B={b,c}, C={a,c}.

A∩B∩C=∅, хотя A∩B={b}, B∩C={c}

3. Разность множеств

Разность множеств определена только для двух множеств. Разностью множеств X и Y называется множество, состоящее из всех тех и только тех элементов, которые принадлежат X и не принадлежат Y.

Обозначается: X\Y.

Формально: x∈X\Y ⇔ x∈X и x∉Y

Пример 9. (см. Пример 1) X={1,2,3,4,5}, Y={2,4,6,8}, X\Y={1,3,5}, Y\X={6,8}

Разность множеств не обладает свойством коммутативности.

Если A\B=∅, то A⊂B — поставить? обратно

при A∩B≠∅

4. Универсальное множество

Роль нуля в алгебре множеств играет пустое множество. А нет ли такого множества, которое играет роль «1», т.е. удовлетворяет условию: X∪I = X, что означает, что пересечение или «общая часть» множества I и множества X для любого множества X совпадает с самим этим множеством. Это возможно лишь в том случае, если множество I содержит все элементы, из которых может состоять множество X, так что любое множество X полностью содержится в множестве I.

Множество I, удовлетворяющее этому условию, называется полным, или универсальным, или единичным.

Если при некотором рассмотрении участвуют только подмножества некоторого фиксированного множества, то это самое большое множество будем считать универсальным и обозначать I.

Пример 12 (Пример 1). I — множество целых чисел

Пример 13 (Пример 2). I — множество студ. гр.

Пример 14 (Пример 3). I — лист бумаги, доска

Универсальное множество обычно обозначают графически в виде множества точек прямоугольника, а отдельные множества в виде отдельных областей внутри этого прямоугольника. Изображение множеств в виде областей в прямоугольнике, представляющем универсальное множество, называется диаграммой Эйлера-Венна.

Универсальное множество обладает интересным свойством, которое не имеет аналогии в обычной алгебре, а именно, для любого множества X справедливо соотношение X∪I = I.

5. Дополнение множества

Множество, определяемое из соотношения X¯ = I\X, называется дополнением множества X (до универсального множества I).

На диаграмме множество X¯ представляет собой незаштрихованную область.

Формально: X = {x: x∈I и x∉X}.

Из определения следует, что X и X¯ не имеют общих элементов. Х∩X¯=∅.

Кроме того, не имеется элементов I, которые не принадлежали бы ни X, ни X¯ (его дополнению), так как те элементы, которые не принадлежат X, принадлежат X¯ (его дополнению). Следовательно, Х∪X¯=I.

Из симметрии данной формулы относительно Х и X¯ следует не только то, что X¯ является дополнением Х, но и что Х является дополнением X¯. Но дополнение X¯ есть X¯ ¯. Таким образом, X¯ ¯=X¯.

С помощью операции дополнения представим разность множеств:

X\Y = {x: x∈X и x∉Y} ={ x: x∈X и x∈Y¯ }, т.е. X\Y= Х∩Y¯.

Порядок выполнения операций:

  1. дополнение;
  2. пересечение;
  3. объединение, разность.

Для изменения порядка используют скобки.

6. Разбиение множества

Одной из наиболее часто встречающихся операций над множествами является операция разбиения множества на систему подмножеств.

Так, система курсов данного факультета является разбиением множества студентов факультета; система групп данного курса является разбиением множества студентов курса.

Пример. Продукция предприятия: — высший сорт, I, II, брак.

Рассмотрим некоторое множество M и систему множеств

М = {X 1 , X 2 , ..., X n }

Система множеств M называется разбиением множества M, если она удовлетворяет следующим условиям:

    Любое множество X из M является подмножеством множества М

    ∀X∈M: X⊆M;

    Любые два множества X и Y из М являются непересекающимися

    ∀X∈М, ∀Y∈M: X≠Y → X∩Y=∅.

    Объединение всех множеств, входящих в разбиение, дает множество M

    X 1 ∪X 2 ∪...∪ X n =M.

7. Тождества алгебры множеств

С помощью операций объединения, пересечения и дополнения из множеств можно составлять различные алгебраические выражения.

Если алгебраические выражения V(X,Y,Z) и S(X,Y,Z) представляют собой одно и то же множество, то их можно приравнять друг другу, получая алгебраическое тождество вида V(X,Y,Z) = S(X,Y,Z)

  1. (X∪Y)∩Z = (X∩Z)∪(Y∩Z) (аналогичное дистрибутивному закону (a+b)c=(a+c)(b+c) в обычной алгебре).
  2. (X∩Y)∪Z = (X∪Z)∩(Y∪Z)
  3. Если Y⊆X, то X∩Y=Y, X∪Y=X. Действительно, все элементы множества Y являются в то же время и элементами множества X. Значит пересечение этих множеств, то есть общая множеств Х и Y совпадает с Y. В объединение множеств X и Y множество Y не внесет ни одного элемента, который уже не входил бы в него, будучи элементом множества Х. Следовательно, X∪Y совпадает с X.
  4. Пусть в примере 3 Y=X. Тогда, учитывая, что X⊆X, то X∩Х=Х, X∪Х=X. (идемпотентность).
  5. Докажем тождество (X∪Y)¯=X¯∩Y¯. Предположим, что х∈(X∪Y)¯, то есть х∉X∪Y. Это значит, что х∉X и х∉Y, то есть и x&isinX¯ и x&isinY¯;. Следовательно, x∈X¯∩Y¯. Предположим теперь, что y∈X¯∩Y¯, то есть y∈X¯ и y∈Y¯. Это значит, что y∉X и y∉Y, то есть что y∉X∪Y. Следовательно, y∈(X∪Y)¯.
  6. Тождество (X∩Y)¯=X¯∪Y¯. Обычно тождества 5) и 6) называются тождествами де-Моргана.
  7. (A\B)∩C=(A∩C)\B=(A∩C)\(B∩C)
  8. A\B=A\(A∩B)
  9. A=(A∩B)∪(A\B)

Дополнение к занятию «операции над множествами»

Множество элементов, принадлежащих или A, или B, называют симметричной разностью или дизьюнктивной суммой.

S = A⊕B = (A\B)∪(B\A) = (A∩B¯)∪(A¯∪B) = (A∪B)∩(A∩B)¯

Для симметрической разности выполняются следующие законы:

  1. 1) A⊕B = B ⊕A — коммутативность,
  2. 2) A⊕(B⊕С) = (A⊕B)⊕С — ассоциативность,
  3. 3) A⊕∅ = А=∅⊕A — существование нейтрального элемента,
  4. 4) A ⊕А = ∅
  5. 5) A∩(B⊕С) = (A∩B)⊕(А∩С) — дистрибутивность относительно пересечения.

Упорядоченное множество

Упорядоченным множеством (или кортежем) называется последовательность элементов, то есть совокупность элементов, в которой каждый элемент занимает определенное место. Сами элементы — компоненты кортежа.

Пример 1. Множество людей, стоящих в очереди, множество слов в фразе, алфавит. Во всех этих множествах место каждого элемента является вполне определенным и не может быть произвольно изменено.

Число элементов кортежа называется его длиной. Обозначают кортеж скобками «< >», иногда круглыми «()». А=. Кортежи длины 2 называются упорядоченными парами, 3 — тройками, n-ками.

Частный случай: кортеж длины 1 —

кортеж длины 0 — < > или ∧ — пустой кортеж.

Отличие кортежа и обыкновенного множества: в кортеже могут быть одинаковые элементы.

Упорядоченные множества, элементами которых являются вещественные числа, будем называть векторами или точками пространства (n-мерного).

Так, кортеж может рассматриваться как точка на плоскости или вектор, проведенный из начала координат в данную точку. Тогда компоненты a 1 , a 2 — проекции вектора на оси 1 и 2.

Пр 1 = a 1 , Пр 2 = a 2 , Пр i = a i , Пр 1 2 = — двухэлементный кортеж. Проекция кортежа на пустое множество осей — пустой кортеж.

Обобщая эти понятия, будем рассматривать упорядоченное n-элементное множество вещественных чисел (a 1 , ..., a n) как точку в воображаемом n–мерном пространстве (иногда называемом гиперпространством), или как n-мерный вектор. При этом компоненты n-элементного кортежа а будем рассматривать как проекции этого кортежа на соответствующие оси.

Пр i a = a i , i=1,2,...,n

Пр i,j,...,l a = , i=1,2,...,n

Два вектора равны, если они имеют одинаковую длину и соответствующие координаты их равны.

= ⇔ m = n и a 1 = b 1 , b 1 = b 2 , ...

Компонентами кортежа (вектора) могут быть также компоненты кортежи (векторы):

Пример. Слова в предложении,

A = < , , >

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

Прямым (декартовым) произведением множеств X и Y называется множество, состоящее из всех тех и только тех упорядоченных пар, первая компонента которых принадлежит множеству X, а вторая принадлежит множеству Y.

Формально: X*Y = {: x∈X, y∈Y}

Пример 2. Пусть X=<1,2>, Y=<1,3,4>

Тогда X*Y={<1,1>,<1,3>,<1,4>,<2,1>,<2,3>,<2,4> } См. рис. а).

Пример 3. Пусть X и Y — отрезки вещественной оси. Прямое произведение X*Y изображается заштрихованным прямоугольником. См. рис. б).

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

Прямое произведение множеств X 1 , X 2 , ..., X n — это множество, обозначаемое X 1 *X 2 *...*X n и состоящее из всех тех и только тех кортежей длины n, правая компонента которых принадлежит X 1 , вторая — X 2 и т.д.

Очевидно X*Y = ∅ ⇔ X = ∅ или Y = ∅.

Аналогично X 1 *X 2 *...*X n = ∅ тогда и только тогда, когда хотя бы одно из множеств X 1 , X 2 , ..., X n является пустым.

Частным случаем прямого произведения является понятие степеней (декартовых) множества — прямое произведение одинаковых множеств

M s =M*M*...*M, M 1 =M, M 0 =∧.

Обычно R — множество вещественных чисел, тогда R 2 =R*R — вещественная плоскость и R 3 =R*R*R — трехмерное вещественное пространство.

Пример. A={a,b,c,d,e,f,g,h}, B={1,2,3, ...,8}

Тогда A*B ={a 1 , a 2 , a 3 , ..., h7, h8} — множество обозначающее все 64 клеток шахматной доски.

Пример. Пусть A — конечное множество, элементами которого являются символы (буквы, цифры, знаки препинания и т.д.). Такие множества обычно называют алфавитами. Элементы множества a n называются словами длины n в алфавите A. Множество всех символов в алфавите A — это множество A * = ∪A i = A 1 ∪A 2 ∪A 3 ... . При написании слов не принято пользоваться ни запятыми, ни скобками, ни разделителями.

СЛОВО ⇔ <С,Л,О,В,О>

Теорема. Пусть a 1 , a 2 , ..., a n — конечные множества и |a 1 | = m 1 , |a 2 |=m 2 , ..., |a n |=m n . Тогда мощность множества a 1 *a 2 *a 3 *...*a n равна произведению мощностей a 1 , a 2 , ..., a n

|a 1 *a 2 *...*a n |=|a 1 |*|a 2 |*|a 3 |*...*|a n |= m 1 *m 2 *...*m n

Следствие |a n |=|A| n

Проекция множества.

Операция программирования множества тесно связана с операцией проектирования кортежа и может применяться лишь к таким множествам, элементами которых являются кортежи одинаковой длины.

Пусть M — множество, состоящее из кортежей длины S. Тогда пролинией множества M будем называть множество пролиний всех кортежей из М

Пример. Пусть М={<1,2,3,4,5>,<2,1,3,5,5>,<3,3,3,3,3>,<3,2,3,4,3>}

тогда Пр 2 М={2,1,3}, Пр 3 M={3}, Пр 4 M={4,5,3}, Пр 24 M={<2,4>,<1,5>,<3,3>}, Пр 13 M={<1,3>,<2,3>,<3,3>}, Пр 15 M={<1,5>,<2,5>,<1,3>}, Пр 25 M={<2,5>,<1,5>,<3,3>,<2,3>}.

Очевидно что если М=Х*Y то Пр 1 М=Х, Пр 2 М=Y

и если Q⊆Х*Y то Пр 1 Q⊆Х и Пр 2 Q⊆Y

Пример. V={,,}

Пр 1 V={a,c,d}

Пр 1 2V={,,}

Пр 2 3V={,}

Пр 1 3V={,,}

Пусть V — множество векторов одинаковой длины S.

Пр i V ={Пр i v/v∈Y}, Пр i i ...i k v = { Пр i i ...i k v/v∈Y}.

Если V =A 1 *A 2 *...*A n , то Пр i i ...i k V=A i1 *A i2 *...*A ik .

В общем случае Пр i V — вовсе не обязательно прямое произведение: оно может быть подмножеством.