Jump to content

Декартово произведение

(Перенаправлено из Цилиндр (алгебра) )

Декартово произведение наборов { x , y , z } и {1,2,3}

В математике , особенно в теории множеств , декартово произведение двух множеств A и B , обозначаемое A × B , представляет собой набор всех упорядоченных пар ( a , b ) где a находится в A , а b находится в B. , [1] С точки зрения обозначения построителя множеств , то есть [2] [3]

Таблицу можно создать, взяв декартово произведение набора строк и набора столбцов. Если взято декартово произведение строк × столбцов , ячейки таблицы содержат упорядоченные пары вида (значение строки, значение столбца) . [4]

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

Декартово произведение названо в честь Рене Декарта . [5] чья формулировка аналитической геометрии породила концепцию, которая далее обобщается в терминах прямого произведения .

Теоретико-множественное определение

[ редактировать ]

Строгое определение декартова произведения требует указания домена в нотации set-builder . В этом случае домен должен будет содержать само декартово произведение. Для определения декартова произведения множеств и , с типичным Куратовского определением пары как , подходящим доменом является множество где обозначает набор мощности . Тогда декартово произведение множеств и будет определяться как [6]

Колода карт

[ редактировать ]
Стандартная колода из 52 карт.

Наглядным примером является стандартная колода из 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]

Например:

А = {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 ) .

Пересечения, союзы и подмножества

[ редактировать ]
Примеры наборов

А = [1,4] , B = [2,5] и
C = [4,7] , демонстрируя
А × ( B C ) знак равно ( А × B ) ∩ ( А × C ) ,
А × ( B C ) знак равно ( А × B ) ∪ ( А × C ) , и

А × ( B \ C ) знак равно ( А × B ) \ ( А × C )
Примеры наборов

А = [2,5] , Б = [3,7] , С = [1,3] ,
D = [2,4] , демонстрируя

( A B ) × ( C D ) = ( A × C ) ∩ ( B × D ) .
( A B ) × ( C D ) ≠ ( A × C ) ∪ ( B × D ) можно увидеть из того же примера.

Декартово произведение удовлетворяет следующему свойству относительно пересечений (см. средний рисунок).

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

Фактически у нас есть следующее:

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

Вот несколько правил, демонстрирующих дистрибутивность с другими операторами (см. крайнюю левую картинку): [8] где обозначает дополнение A . абсолютное

Другие свойства, связанные с подмножествами :

[9]

Мощность

[ редактировать ]

Мощность множества — это количество элементов множества. Например, определение двух наборов: 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 . Декартово произведение графов не является произведением в смысле теории категорий. Вместо этого категориальное произведение известно как тензорное произведение графов .

См. также

[ редактировать ]
  1. ^ Перейти обратно: а б с Вайсштейн, Эрик В. «Декартово произведение» . Математический мир . Проверено 5 сентября 2020 г.
  2. ^ Уорнер, С. (1990). Современная алгебра . Дуврские публикации . п. 6.
  3. ^ Никамп, Дуэйн. «Определение декартова произведения» . Математическое понимание . Проверено 5 сентября 2020 г.
  4. ^ Перейти обратно: а б с «Декартово произведение» . web.mnstate.edu . Архивировано из оригинала 18 июля 2020 года . Проверено 5 сентября 2020 г.
  5. ^ «Картезианский» . Merriam-Webster.com . 2009 . Проверено 1 декабря 2009 г.
  6. ^ Корри, С. «Очерк основ теории множеств» (PDF) . Проверено 5 мая 2023 г.
  7. ^ Гольдберг, Сэмюэл (1986). Вероятность: Введение . Дуврские книги по математике. Курьерская компания. п. 41. ИСБН  9780486652528 .
  8. ^ Перейти обратно: а б Сингх, С. (27 августа 2009 г.). Декартово произведение . Получено с веб-сайта Connexions: http://cnx.org/content/m15207/1.5/.
  9. ^ Декартово произведение подмножеств. (15 февраля 2011 г.). ДоказательствоВики . Получено 05:06, 1 августа 2011 г., с https://proofwiki.org/w/index.php?title=Cartesian_Product_of_Subsets&oldid=45868.
  10. ^ Питер С. (1998). Ускоренный курс математики бесконечных множеств. Обзор Сент-Джона, 44 (2), 35–59. Получено 1 августа 2011 г. с http://www.mathpath.org/concepts/infinity.htm .
  11. ^ Ф. Р. Дрейк, Теория множеств: введение в большие кардиналы , с. 24. Исследования по логике и основам математики, вып. 76 (1978). ISBN 0-7204-2200-0.
  12. ^ Осборн М. и Рубинштейн А., 1994. Курс теории игр . МТИ Пресс.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 48fca665616670cd10c7317043b2965d__1718368080
URL1:https://arc.ask3.ru/arc/aa/48/5d/48fca665616670cd10c7317043b2965d.html
Заголовок, (Title) документа по адресу, URL1:
Cartesian product - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)