开放、中立，源自维基百科

个人工具

登录或创建账户

笛卡尔积

维库，知识与思想的自由文库

(重定向自直积)

跳转到: 导航, 搜索

2个分类: 集合論基本概念 | 二元運算

在数学中，两个集合 X 和 Y 的笛卡尔积(或直积)，表示为 X × Y，是其第一个构件是 X 的成员而第二个构件是 Y 的一个成员的所有可能的有序对:

$X\times Y = \{(x,y) \ | \ x\in X\;\land\;y\in Y\}$ 。

笛卡尔积得名于笛卡尔，他的解析几何的公式化引发了这个概念。

具体的说，如果集合 X 是 13 个元素的点数集合 { A, K, Q, J, 10, 9, 8, 7, 6, 5, 4, 3, 2 } 而集合 Y 是 4 个元素的花色集合 {♠, ♥, ♦, ♣}，则这两个集合的笛卡尔积是 52 个元素的标准扑克牌的集合 { (A, ♠), (K, ♠), ..., (2, ♠), (A, ♥), ..., (3, ♣), (2, ♣) }。

目录

1 笛卡尔积的性质
2 笛卡尔平方和 n-元乘积
3 无穷乘积
4 函数的笛卡尔积
5 外部链接
6 参见

[编辑] 笛卡尔积的性质

易见笛卡尔积满足下列性质：

对于任意集合 $A$ ，根据定义有 $A \times \emptyset = \emptyset \times A = \emptyset$
一般来说笛卡尔积不满足交换律，即当 $A \neq \emptyset \wedge B \neq \emptyset \wedge A \neq B$ 时， $A \times B \neq B \times A$
笛卡尔不满足结合律，即当 $A \neq \emptyset \wedge B \neq \emptyset \wedge C \neq \emptyset$ 时， $(A \times B) \times C \neq A \times (B \times C)$
笛卡尔积对集合的并和交满足分配律，即

$A \times (B \cup C) = (A \times B) \cup (A \times C)$

$(B \cup C) \times A = (B \times A) \cup (C \times A)$

$A \times (B \cap C) = (A \times B) \cap (A \times C)$

$(B \cap C) \times A = (B \times A) \cap (C \times A)$

[编辑] 笛卡尔平方和 n-元乘积

集合 X 的笛卡尔平方(或二元笛卡尔积)是笛卡尔积 X × X。一个例子是二维平面 R × R，这里 R 是实数的集合 - 所有的点 (x,y)，这里的 x 和 y 是实数(参见笛卡尔坐标系)。

可以推广出在 n 个集合 X₁, ..., X_n 上的 n-元笛卡尔积:

$X_1\times\ldots\times X_n = \{(x_1, \ldots, x_n) \ | \ x_1\in X_1\;\land\;\ldots\;\land\;x_n\in X_n\}$ 。

实际上，它可以被认同为 (X₁ × ... × X_n-1) × X_n。它也是 n-元组的集合。

一个例子是欧几里德三维空间 R × R × R，这里的 R 再次是实数的集合。

为了辅助它的计算，可绘制一个表格。一个集合作为行而另一个集合作为列，从行和列的集合选择元素形成有序对作为表的单元格。

[编辑] 无穷乘积

上述定义对最常用的数学应用而言通常就是所需要的全部。但是有可能在任意(可能无限)的集合的搜集上定义笛卡尔积。如果 I 是任何索引(标定)集合，而

$\{X_i\ | i \in I\}$

是由 I 索引的集合的搜集，则我们定义

$\prod_{i \in I} X_i = \{ f : I \to \bigcup_{i \in I} X_i\ |\ (\forall i)(f(i) \in X_i)\}$ ，

就是定义在索引集合上的所有函数的集合，使得这些函数在特定索引 i 上的值是 X_i 的元素。

对在 I 中每个 j，定义自

$\pi_{j}(f) = f(j) \$

的函数

$\pi_{j} : \prod_{i \in I} X_i \to X_{j} \$

叫做第 j 投影映射。

n-元组可以被看作在 {1, 2, ..., n} 上的函数，它在 i 上的值是这个元组的第 i 个元素。所以，在 I 是 {1, 2, ..., n} 的时候这个定义一致于对有限情况的定义。在无限情况下这个定义是家族。

特别熟悉的一个无限情况是在索引集合是自然数的集合 $\mathbb N,$ 的时候: 这正是其中第 i 项对应于集合 X_i 的所有无限序列的集合。再次， $\mathbb R$ 提供了这样的一个例子:

$\prod_{n = 1}^\infty \mathbb R =\mathbb{R}^\omega= \mathbb R \times \mathbb R \times \ldots$

是实数的无限序列的搜集，并且很容易可视化为带有有限数目构件的向量或元组。另一个特殊情况(上述例子也满足它)是在乘积涉及因子 X_i 都是相同的时候，类似于“笛卡尔指数”。则在定义中的无限并集自身就是这个集合自身，而其他条件被平凡的满足了，所以这正是从 I 到 X 的所有函数的集合。

此外，无限笛卡尔积更少直觉性，尽管有应用于高级数学的价值。

断言非空集合的任意非空搜集的笛卡尔积为非空等价于选择公理。

[编辑] 函数的笛卡尔积

如果 f 是从 A 到 B 的函数而 g 是从 X 到 Y 的函数，则它们的笛卡尔积 f×g 是从 A×X 到 B×Y 的函数，带有

$(f\times g)(a, x) = (f(a), g(x))$

上述可以被扩展到函数的元组和无限搜集。

[编辑] 外部链接

Cartesian Product at ProvenMath

[编辑] 参见

来自“http://www.wikilib.com/wiki/%E7%AC%9B%E5%8D%A1%E5%B0%94%E7%A7%AF”

查看

导航

搜索

工具

其它语言

English

AD Links