Декартово произведение
В математике , особенно в теории множеств , декартово произведение двух множеств A и B , обозначаемое A × B , представляет собой набор всех упорядоченных пар ( a , b ) где a находится в A , а b находится в B. , [1] С точки зрения обозначения построителя множеств , то есть [2] [3]
Таблицу можно создать, взяв декартово произведение набора строк и набора столбцов. Если взято декартово произведение строк × столбцов , ячейки таблицы содержат упорядоченные пары вида (значение строки, значение столбца) . [4]
Аналогичным образом можно определить декартово произведение n множеств, также известное как n -кратное декартово произведение , которое может быть представлено n -мерным массивом, где каждый элемент представляет собой n - кортеж . Упорядоченная пара — это кортеж из двух чисел или пара . В более общем смысле можно определить декартово произведение индексированного семейства множеств.
Декартово произведение названо в честь Рене Декарта . [5] чья формулировка аналитической геометрии породила концепцию, которая далее обобщается в терминах прямого произведения .
Теоретико-множественное определение
[ редактировать ]Строгое определение декартова произведения требует указания домена в нотации set-builder . В этом случае домен должен будет содержать само декартово произведение. Для определения декартова произведения множеств и , с типичным Куратовского определением пары как , подходящим доменом является множество где обозначает набор мощности . Тогда декартово произведение множеств и будет определяться как [6]
Примеры
[ редактировать ]Колода карт
[ редактировать ]Наглядным примером является стандартная колода из 52 карт . Стандартные игральные карты рангов {A, K, Q, J, 10, 9, 8, 7, 6, 5, 4, 3, 2} образуют набор из 13 элементов. Карта подходит {♠, ♥ , ♦ , ♣ } образуют набор из четырех элементов. Декартово произведение этих наборов возвращает набор из 52 элементов, состоящий из 52 упорядоченных пар , которые соответствуют всем 52 возможным игральным картам.
Ранг × Костюмы возвращает набор вида {(A, ♠), (A, ♥ ), (А, ♦ ), (А, ♣), (К, ♠), ..., (3, ♣), (2, ♠), (2, ♥ ), (2, ♦ ), (2, ♣)}.
Костюмы × ранги возвращают набор вида {(♠, A), (♠, K), (♠, Q), (♠, J), (♠, 10), ..., (♣, 6), (♣, 5), (♣, 4), (♣, 3), (♣, 2)}.
Эти два множества различны и даже не пересекаются , но между ними существует естественная биекция , при которой (3, ♣) соответствует (♣, 3) и так далее.
Двумерная система координат
[ редактировать ]Главный исторический пример — декартова плоскость в аналитической геометрии . Чтобы представить геометрические фигуры в числовом виде и извлечь числовую информацию из числовых представлений фигур, Рене Декарт присвоил каждой точке плоскости пару действительных чисел , называемых ее координатами . Обычно первый и второй компоненты такой пары называются ее x и y координатами соответственно (см. рисунок). Множество всех таких пар (т. е. декартово произведение , с обозначающий действительные числа), таким образом, присваивается множеству всех точек плоскости. [7]
Наиболее распространенная реализация (теория множеств)
[ редактировать ]Формальное определение декартова произведения из теоретико-множественных принципов следует из определения упорядоченной пары . Наиболее распространенное определение упорядоченных пар — определение Куратовского — . Согласно этому определению, является элементом , и является подмножеством этого множества, где представляет оператор набора мощности . Следовательно, существование декартова произведения любых двух множеств в ZFC следует из аксиом спаривания , объединения , степенного набора и спецификации . Поскольку функции обычно определяются как частный случай отношений , а отношения обычно определяются как подмножества декартова произведения, определение декартова произведения с двумя множествами обязательно предшествует большинству других определений.
Некоммутативность и неассоциативность
[ редактировать ]Пусть A , B , C и D — множества.
Декартово произведение A × B не является коммутативным . [4] потому что упорядоченные пары меняются местами, если не выполняется хотя бы одно из следующих условий: [8]
- A равно B или
- A или B — пустое множество .
Например:
- А = {1,2} ; Б = {3,4}
- А × В = {1,2} × {3,4} = {(1,3), (1,4), (2,3), (2,4)}
- B × A = {3,4} × {1,2} = {(3,1), (3,2), (4,1), (4,2)}
- А = Б = {1,2}
- А × В = В × А = {1,2} × {1,2} = {(1,1), (1,2), (2,1), (2,2)}
- А = {1,2}; Б = ∅
- А × В = {1,2} × ∅ = ∅
- В × А = ∅ × {1,2} = ∅
Строго говоря, декартово произведение не является ассоциативным (если только одно из задействованных множеств не пусто). Если, например, A = {1} , то ( A × A ) × A = {((1, 1), 1)} ≠ {(1, (1, 1))} = A × ( A × A ) .
Пересечения, союзы и подмножества
[ редактировать ]Декартово произведение удовлетворяет следующему свойству относительно пересечений (см. средний рисунок).
В большинстве случаев приведенное выше утверждение неверно, если мы заменим пересечение объединением (см. крайний правый рисунок).
Фактически у нас есть следующее:
Для разности множеств мы также имеем следующее тождество:
Вот несколько правил, демонстрирующих дистрибутивность с другими операторами (см. крайнюю левую картинку): [8] где обозначает дополнение A . абсолютное
Другие свойства, связанные с подмножествами :
Мощность
[ редактировать ]Мощность множества — это количество элементов множества. Например, определение двух наборов: A = {a, b} и B = {5, 6} . И множество A , и множество B состоят из двух элементов каждое. Их декартово произведение, записанное как A × B , дает новый набор, который имеет следующие элементы:
- А × В = {(а,5), (а,6), (б,5), (б,6)} .
где каждый элемент A соединен с каждым элементом B и где каждая пара составляет один элемент выходного набора.Количество значений в каждом элементе результирующего набора равно количеству наборов, декартово произведение которых берется; 2 в данном случае.Мощность выходного набора равна произведению мощностей всех входных наборов. То есть,
- | А × Б | = | А | · | Б | . [4]
В этом случае | А × Б | = 4
Сходным образом,
- | А × Б × С | = | А | · | Б | · | С |
и так далее.
Множество A × B бесконечно , если либо A , либо B бесконечно, а другое множество не является пустым. [10]
Декартовы произведения нескольких множеств
[ редактировать ]n -арное декартово произведение
[ редактировать ]Декартово произведение можно обобщить до n -арного декартова произведения по n множествам X 1 , ..., X n как набор
из n -кортежей . Если кортежи определяются как вложенные упорядоченные пары , их можно идентифицировать как ( X 1 × ... × X n −1 ) × X n . Если кортеж определен как функция на {1, 2, ..., n }, которая принимает свое значение в i в качестве i -го элемента кортежа, то декартово произведение X 1 × ... × X n это набор функций
n -арная декартова степень
[ редактировать ]Декартов квадрат множества X — это декартово произведение X. 2 знак равно Икс × Икс .Примером может служить двумерная плоскость R 2 = R × R , где R — множество действительных чисел : [1] Р 2 — это набор всех точек ( x , y ), где x и y — действительные числа (см. декартову систему координат ).
-арная n декартова степень множества X , обозначаемая , можно определить как
Примером этого является Р. 3 = R × R × R , где R снова представляет собой набор действительных чисел, [1] и в более общем плане Р н .
n -арная декартова степень множества X изоморфна пространству функций из n -элементного множества в X . В качестве частного случая 0-арную декартову степень X можно рассматривать как одноэлементное множество соответствующее пустой функции с кодоменом X. ,
Бесконечные декартовы произведения
[ редактировать ]Можно определить декартово произведение произвольного (возможно, бесконечного ) индексированного семейства множеств. Если I — любой набор индексов и является семейством множеств, индексированных I , то декартово произведение множеств в определяется как то есть набор всех функций, определенных в наборе индексов I, таких, что значение функции по конкретному индексу i является элементом X i . Даже если каждое из X i непусто, декартово произведение может быть пустым, если не предполагается аксиома выбора , которая эквивалентна утверждению, что каждое такое произведение непусто. также может быть обозначено . [11]
Для каждого j в I функция определяется называется j - й картой проекции .
Декартова степень в котором все факторы X i представляют собой один и тот же набор X. — это декартово произведение , В этом случае, представляет собой набор всех функций от I до X и часто обозначается X я . Этот случай важен при изучении кардинального возведения в степень . Важным частным случаем является случай, когда набор индексов , натуральные числа : это декартово произведение представляет собой множество всех бесконечных последовательностей с i -м членом в соответствующем множестве X i . Например, каждый элемент можно представить в виде вектора со счетными бесконечными компонентами действительного числа. Это множество часто обозначают , или .
Другие формы
[ редактировать ]Сокращенная форма
[ редактировать ]Если перемножаются несколько наборов (например, X 1 , X 2 , X 3 , ... ), то некоторые авторы [12] решите сокращать декартово произведение просто × X i .
Декартово произведение функций
[ редактировать ]Если f — функция от X до A , а g — функция от Y до B , то их декартово произведение f × g — это функция от X × Y до A × B с
Это можно распространить на кортежи и бесконечные коллекции функций.Это отличается от стандартного декартова произведения функций, рассматриваемых как множества.
Цилиндр
[ редактировать ]Позволять быть набором и . Тогда цилиндр относительно это декартово произведение из и .
Обычно, считается вселенной контекста и опускается. Например, если является подмножеством натуральных чисел , то цилиндр является .
Определения вне теории множеств
[ редактировать ]Теория категорий
[ редактировать ]Хотя декартово произведение традиционно применяется к множествам, теория категорий дает более общую интерпретацию произведения математических структур. Это отличается от понятия декартова квадрата в теории категорий, которое является обобщением расслоенного произведения, хотя и связано с ним .
Возведение в степень является правым сопряженным к декартову произведению; таким образом, любая категория с декартовым произведением (и конечным объектом ) является декартовой закрытой категорией .
Теория графов
[ редактировать ]В теории графов декартово произведение двух графов G и H — это граф, обозначаемый G × H , набор вершин которого является (обычным) декартовым произведением V ( G ) × V ( H ) и такой, что две вершины ( u , v ) и ( u ′, v ′) смежны в G × H тогда и только тогда, когда u = u ′ и v смежны с v ′ в H , или v = v ′ и u смежны с u ′ в G . Декартово произведение графов не является произведением в смысле теории категорий. Вместо этого категориальное произведение известно как тензорное произведение графов .
См. также
[ редактировать ]- Аксиома набора степеней (чтобы доказать существование декартова произведения)
- Прямой продукт
- Пустой продукт
- Финитарное соотношение
- Соединение (SQL) § Перекрестное соединение
- Заказы на декартово произведение полностью упорядоченных множеств
- Внешний продукт
- Продукт (теория категорий)
- Топология продукта
- Тип продукта
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с Вайсштейн, Эрик В. «Декартово произведение» . Математический мир . Проверено 5 сентября 2020 г.
- ^ Уорнер, С. (1990). Современная алгебра . Дуврские публикации . п. 6.
- ^ Никамп, Дуэйн. «Определение декартова произведения» . Математическое понимание . Проверено 5 сентября 2020 г.
- ^ Перейти обратно: а б с «Декартово произведение» . web.mnstate.edu . Архивировано из оригинала 18 июля 2020 года . Проверено 5 сентября 2020 г.
- ^ «Картезианский» . Merriam-Webster.com . 2009 . Проверено 1 декабря 2009 г.
- ^ Корри, С. «Очерк основ теории множеств» (PDF) . Проверено 5 мая 2023 г.
- ^ Гольдберг, Сэмюэл (1986). Вероятность: Введение . Дуврские книги по математике. Курьерская компания. п. 41. ИСБН 9780486652528 .
- ^ Перейти обратно: а б Сингх, С. (27 августа 2009 г.). Декартово произведение . Получено с веб-сайта Connexions: http://cnx.org/content/m15207/1.5/.
- ^ Декартово произведение подмножеств. (15 февраля 2011 г.). ДоказательствоВики . Получено 05:06, 1 августа 2011 г., с https://proofwiki.org/w/index.php?title=Cartesian_Product_of_Subsets&oldid=45868.
- ^ Питер С. (1998). Ускоренный курс математики бесконечных множеств. Обзор Сент-Джона, 44 (2), 35–59. Получено 1 августа 2011 г. с http://www.mathpath.org/concepts/infinity.htm .
- ^ Ф. Р. Дрейк, Теория множеств: введение в большие кардиналы , с. 24. Исследования по логике и основам математики, вып. 76 (1978). ISBN 0-7204-2200-0.
- ^ Осборн М. и Рубинштейн А., 1994. Курс теории игр . МТИ Пресс.