数学结构

在数学中，一个集合上的结构，或者更一般的讲类型，是由附加在该集合上的数学对象所组成，它们使得这个集合更易操作或赋予它们特殊的意义。

常见的结构包括测度，代数结构，拓扑结构，度量结构（几何），序，和等价关系等等。

有时候，一个集合同时有几种结构；这使得可研究的属性更丰富。例如，序可以导出一种拓扑。又如，如果一个集合有个拓扑并是一个群，而且这两个结构满足一定关系，则该集合成为一个拓扑群。

例子：实数

实数集有几个标准结构：

• 序：任意两个数都可以比较大小，即全序。
• 代数结构：乘法和加法使其成为一个域。
• 测度：实直线上的区间有长度。
• 几何：它有一个度量，并且是平直的。
• 拓扑：数和另外一个数有远近关系。

这些关系互相关联：

• 序和度量分别导出它的拓扑。
• 序和代数结构使它成为有序域。
• 代数结构和拓扑使它成为李群（一种拓扑群）。

引用

• Structure. PlanetMath. (provides a categorical definition.)