查看“︁笛卡尔积”︁的源代码

[[分类:集合]]
[[分类:以 Descartes 命名]]{{DEFAULTSORT:cartesian ji1}}
{{#seo:
|keywords=笛卡尔积, 集合直积
|description=本文介绍笛卡尔积的定义、性质、多元笛卡尔积、笛卡尔幂和指标集上的笛卡尔积，涵盖集合论中有序对和元组的构造及基本运算规则。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-4-15
}}
{{InfoBox
|name=笛卡尔积
|eng_name=Cartesian product
|aliases=直积
}}
'''<ins>笛卡尔</ins>积'''('''Cartesian product''')是对两个或多个[[集合]]，由所有元素依次[[成员关系|属于]]这些集合的[[元组]]构成的新的集合。

== 定义 ==

{{Operation
|name=笛卡尔积
|symbol=<math>\times</math>
|latex=\times
|operand=集合
|operand_num=≥0
|result=集合
}}
对集合 <math>A</math> 、 <math>B</math> ，由所有第一元素属于集合 <math>A</math> 且第二元素属于集合 <math>B</math> 的[[有序对]]所构成的集合，叫做集合 <math>A</math> 与集合 <math>B</math> 的'''笛卡尔积'''('''Cartesian product''')，也称为直积(direct product)，记作 <math>A \times B</math> 。
即： <math>A \times B = \left\{ (x,y) \mid x \in A \land y \in B \right\}</math>。
{{CharMetaInfo
|char=&#x00D7;
|unicodeCodePoint={{UnicodeCodePoint|U+00D7|Multiplication sign, Z Notation Cartesian Product}}
|latex=\times
}}

== 性质 ==

* 不满足[[结合律]]：对于任意集合 <math>A</math> 、 <math>B</math> 和 <math>C</math>，通常有 <math>(A \times B) \times C</math> 与 <math>A \times (B \times C)</math> 通常不是同一个集合。这是由于两侧的元素分别为 <math>((a, b), c)</math> 和 <math>(a, (b, c))</math> 。
** 仅在有一个是空集时，等号两侧都是空集，此时才能相等。
* 不满足[[交换律]]：对于任意集合 <math>A</math> 和 <math>B</math>，通常有 <math>A \times B \neq B \times A</math> 。
** 仅当 <math> A = B </math> ，即两侧是同一集合时相等。
* [[分配律]]：
** 笛卡尔积对[[并集]]运算满足分配律：对于任意集合 <math>A</math> 、 <math>B</math>、 <math>C</math> ， <math>A \times (B \cup C) = (A \times B) \cup (A \times C)</math> 。
** 与交集的关系：对于任意集合 <math>A</math> 、 <math>B</math>、 <math>C</math>、 <math>D</math>，有 <math>(A \cap B) \times (C \cap D) = (A \times B) \cap (C \times D)</math>。
*** 笛卡尔积对[[交集]]也满足分配律： <math>A \times (B \cap C) = (A \times B) \cap (A \times C)</math>
** 对[[差集]]满足分配律： <math>A \times (B \setminus C) = (A \times B) \setminus (A \times C)</math> 。
* 在假设了全集时，对补集：<math>(A\times B)^\complement =\left(A^\complement \times B^\complement \right) \cup \left(A^\complement \times B \right) \cup \left( A \times B^\complement \right)</math>。
* 特殊值：
** <math>A \times \varnothing = \varnothing</math>
* 包含关系：
** <math>A \times B \subseteq C \times D \Leftrightarrow (A \subseteq C \land B \subseteq D) \lor A = \varnothing \lor B = \varnothing</math>

== 多元笛卡尔积 ==

对集合 <math>A_1, A_2, \dots , A_n</math> ，由所有元素依次属于这些集合的元组所构成的集合，叫做这些集合的'''笛卡尔积'''('''Cartesian product''')，记作 <math>A_1 \times A_2 \times \dots \times A_n</math>。即 <math>A_1 \times A_2 \times \dots \times A_n = \left\{ (x_1,x_2,\dots,x_n) \mid x_1 \in A_1 \land x_2 \in A_2 \land\dots\land x_n\in A_n\right\}</math>。

按相同方式可以定义， 1 个集合的笛卡尔积定义为集合自身每个元素对应成 1-元组的 <math>\{(x)|x \in A\}</math>， 0 个集合的并集定义为只有一个 [[0-元组]]的[[单元素集]] <math>\{()\}</math>。

通常认为多元笛卡尔积是一个多元运算，不是多次二元笛卡尔积的连续运算。
但是在不区分元组嵌套结构，即不区分 <math>(1,(2,3))</math> 、 <math>((1,2),3)</math> 、 <math>(1,2,3)</math> 的情况下，多元笛卡尔积可以被任意结合为多次笛卡尔积，只要运算对象顺序不变就不影响结果。

== 笛卡尔幂 ==

{{Operation
|name=笛卡尔幂
|symbol=<math>\bullet^\bullet</math>
|latex=^
|operand=集合,自然数
|result=集合
}}
对集合 <math>A</math> ，自身的 <math>n</math> 元笛卡尔积 <math>A \times A \times \dots \times A</math> 可以简写为 <math>A^n</math> ，称为集合 <math>A</math> 的 <math>n</math> 元(<math>n</math>-ary)'''笛卡尔幂'''('''Catesian power''')。

== 指标集上的笛卡尔积 ==

对[[指标集]]形式的[[集族]] <math>A = \{A_i\}_{i\in I}</math> ，定义集合 <math>\{f : I\to \bigcup_{i\in I} A_i \mid \forall i \in I, f(i) \in A_i \}</math>  ，叫做集族中全体集合的'''笛卡尔积'''('''Cartesian product''')，记作 <math>\prod_{i\in I} A_i = \prod \{A_i\}_{i \in I}</math> 。

注：一般来说，有限元笛卡尔积依据一阶逻辑上定义有序对和元组直接定义，映射用二元笛卡尔积定义，指标集用映射定义。所以虽然指标集上的笛卡尔积和有限的是类似概念但不会使用统一的定义。


{{集合}}