关系 (数学)

✍ dations ◷ 2025-09-18 04:35:10 #集合论基本概念,数学关系

在数学上,关系是对如等于 或序等二元关系的广义化。

参考一个如“认为喜欢”之类的关系,其实际情形如下:


上表的每一行都代表着一个事实,并给出“认为喜欢”此类形式的断言。例如,第一行即表示“韵如认为凯文喜欢佳馨”。上表表示一个在集合上的关系,其中:

包括表中所有的人物。表中的资料则等同于如下的有序对:

若较不严谨些,通常会将(韵如,凯文,佳馨)用来指上表中第一行的同一种关系。关系为“三元”关系,因为每一行都包含了“三个”项目。关系是一个以集合论中的概念定义出的数学物件(即关系为{X,Y,Z}的笛卡儿积的子集),包含了表中所有的讯息。因此,数学上来说,关系纯粹是个集合。

元关系在数学上有两种常见的定义。

定义1在集合1,…,上的关系是指集合的笛卡儿积的子集,写成 ⊆ 1 ×…× 。因此,在此定义下,元关系就是个元组的集合。

第二个定义用到数学上一个常见的习惯-说“某某为一元组”即表示此一某某数学物件是由组数学物件的描述来判定的。在于集合上的关系中,会有+1件事要描述,即个集合加上一个这些集合笛卡儿积的子集。在此习惯下,可以说是一个+1元组。

定义2在集合1,…,上的关系是一个+1元组 = (1,…, , ()),其中()是笛卡儿积1 ×…× 的子集,称之为的“关系图”。

两个正整数和之间“可除性”的关系是指“ 整除”。此一关系通常用一特殊的符号“ | ”来表示它,写成“|”来表示“整除”。

若要以集合来代表这二元关系,即是设正整数的集合 = {1,2,3,…},然后可除性就是一个在上的二元关系,其中为一包含了所有|的有序对 (,)。

例如,2为4的因数及6为72的因数,则可写成2|4和6|72,或(2,4)和(6,72)。

对三维空间内的线,存在一个三条线为共面的三元关系。此一关系“无法”缩减成两条线共面的二元对称关系。

换句话说,若 (,,)表示线 ,,共面,且(,)表示线 ,共面,则(,),(,)和(,)不能合起来代表(,,)也是对的;但相反则是正确的(三条共面的线之中的一对必然也会是共面的)。其中有两个几何上的反例。

第一个是,如轴、轴和轴之类共点(即交于同一点)的三条线。另一个则是在任一三角柱上平行的三边。

若要正确,则必须加上每对线都会相交且相交的点都不同。如此一来,每对线的共面才会意指三条线的共面。

数学上更有研究意义的是具有某种性质的关系。一些常见的性质包括:自反性、反自反性、对称性、反对称性、传递性。确定一个关系是否具有这些性质,可以通过考察它的关系图或者是关系矩阵来做到。

具有自反性、对称性、传递性的关系称作等价关系。一个常见的例子就是整数的模同余。

具有自反性、反对称性、传递性的关系称作偏序关系。例如自然数集上的大于等于就是偏序关系。

n元谓词就是含有n个变量的布尔值函数。

由于上述的n元关系定义了 (1, ..., )属于时唯一的n元谓词(反之亦然),关系和谓词通常使用相同的符号。所以下列两种写法一般认为是等价的:

许多事物有多个元素两两关系。例如:

1,无穷个素数都是两两互素。例如素数2,3,5,7,11,就是所有素数之间没有公共因数,我们知道有无穷的素数两两互素;

2,无穷个区域两两相连。例如,一个汽车轮胎形状的环面可以有7个区域两两相连,有两个洞的曲面可以有8个区域两两相连,有三个洞的曲面可以有9个区域两两相连,...。我们知道可以构造无穷的区域两两相连。

相关

  • 苯丙酮尿症苯丙酮尿症,又称苯酮尿症(英语:Phenylketonuria,缩写为PKU),是一种遗传性代谢缺陷,肇因于苯丙氨酸这种氨基酸的代谢能力下降。如果不接受治疗,苯丙酮尿症可能引起智能障碍、癫痫发作
  • 立部,为汉字索引中的部首之一,康熙字典214个部首中的第一百一十七个(五划的则为第二十三个)。就繁体和简体中文中,立部归于五划部首。立部通常从左、上、下方为部字。且无其他部
  • 安宁温泉安宁温泉。该温泉位于云南省安宁市境内,在昆明市以西约40千米。断裂带上有9个泉眼,泉眼多分布于螳螂川东北岸,水温常年在42—45摄氏度。最大泉眼名碧玉泉,外有杨慎书写的“天下
  • 塞尔托利氏细胞塞尔托利氏细胞(Sertoli cell),又名为塞托利细胞或史脱立细胞或塞透力细胞,是细精管一部分的睾丸的营养细胞。它是由促滤泡成熟激素(简称FSH)所启动,并在其细胞膜上有促滤泡成熟激
  • 江西填湖广江西填湖广,是指大量江西人迁居到湖广(今湖南与湖北两省范围)的一次大规模移民拓垦活动,影响十分深远。共有两次,一次是发生在明初,另一次是明末清初。明朝驱逐蒙古人后,为了巩固新
  • 赞德王朝桑德王朝(波斯语:سلسله زندیه;英语:Zand dynasty)是18世纪统治伊朗南部和中部的一个王朝。桑德王朝由库尔德人桑德部落的酋长卡里姆汗创立,桑德部落是由雷尔斯人及拉克
  • 大学竞争大学彼此间长年的竞争,通常发生于两间大学拥有地缘关系或是相同的专业领域,竞争可以再延伸为学术领域与运动竞赛,通常后者较显为人知,学校通常会特别强调在各种场合与竞争对手时
  • 锡布延海坐标:12°40′00″N 122°30′00″E / 12.66667°N 122.50000°E / 12.66667; 122.50000锡布延海(Sibuyan Sea)是位于菲律宾中央的一个小海域,分隔吕宋岛与米沙鄢群岛(Visayas)。
  • 苏里南总统苏里南政府与政治 系列条目苏里南共和国总统 (荷兰语:President van de Republiek Suriname),是苏里南的国家元首、政府首脑及三军统帅。1975年独立时原为内阁制虚位元首,政府
  • 邦加-勿里洞邦加-勿里洞(印尼语:Kepulauan Bangka Belitung)是印尼的一个省,由邦加岛和勿里洞岛组成,与南苏门答腊省隔海相望。本省原属南苏门答腊省,于2000年单独设省。首府在邦加槟港。采矿