拟阵

✍ dations ◷ 2025-07-26 10:20:11 #闭包算子,维度,几何学,对偶理论

拟阵是组合数学中的一个结构,是对向量空间中线性独立这一概念的概括与归纳。拟阵有许多等价的定义,其中最主要的几个定义分别是基于独立集、基底、环路、闭集、平坦、闭包算子和秩函数。

拟阵理论从线性代数和图论中借用了大量术语,主要是因为它是对这些领域中很多重要的核心概念的概括。拟阵理论在几何、拓扑学、组合优化、网络理论和编码理论中都有应用。

拟阵有很多等价的定义方式。

就独立集来说, 一个有限的拟阵 M {\displaystyle M} 是一个二元组 ( E , I ) {\displaystyle (E,{\mathcal {I}})} , 其中 E {\displaystyle E} 是一个 有限集 (称之为 基础集) , I {\displaystyle {\mathcal {I}}} 是一个由 E {\displaystyle E} 的子集构成的 集族 (称之为 独立集) 它需要满足下面的条件:

头两个特性定义了一个公认的组合结构,叫做独立系统。

对于有限拟阵 M {\displaystyle M} ,其基础集 E {\displaystyle E} 的子集 B {\displaystyle B} 称为一个基底(英文:basis),如果它是一个极大的独立集(即添加任何一个新的元素得到的子集都不是独立集)。拟阵的一种等价定义为二元组 ( E , B ) {\displaystyle (E,{\mathcal {B}})} ,其中 E {\displaystyle E} 是一个有限集, B {\displaystyle {\mathcal {B}}} 是一个由基底构成的 E {\displaystyle E} 的子集族,称为 M {\displaystyle M} 的基,满足以下条件:

可以证明,一个有限拟阵的所有基底的元素个数都相同,这个数被称为拟阵的秩。

对于有限拟阵 M {\displaystyle M} ,其基础集 E {\displaystyle E} 的子集 C {\displaystyle C} 称为一个环路(英文:circuit),如果它是一个极小的非独立集(即去掉其中任一元素得到的子集都是独立集)。拟阵的一种等价定义为二元组 ( E , C ) {\displaystyle (E,{\mathcal {C}})} ,其中 E {\displaystyle E} 是一个有限集, C {\displaystyle {\mathcal {C}}} 是一个由环路构成的 E {\displaystyle E} 的子集族,称为 M {\displaystyle M} 的环路集,满足以下条件:

可以证明,基础集的一个子集是独立集当且仅当它不包含任一环路作为子集。

类似线性代数基底的性质,拟阵的基底具有类似的性质: M {\displaystyle M} 的任意两个基底具有相同的元素个数。这个数字被称为拟阵 M {\displaystyle M} 的秩。

相关

  • 酵母亚门酵母亚门是子囊菌门中最低级的菌种,只有单细胞,通常单生,有明显的细胞壁和细胞核,有时数个细胞连成串,形成拟菌丝,以出芽的方式繁殖,芽脱落后就形成新个体,没有子囊果。酵母亚门只包
  • 钱永健钱永健(英语:Roger Yonchien Tsien,1952年2月1日-2016年8月24日),美国华人生物化学家,美国国家科学院院士、美国国家医学院院士、美国艺术与科学院院士、圣迭戈加利福尼亚大学生物
  • 太平洋板块隐没带 Alps 造山带 30→ 相对于非洲板块的移动速度(mm/Y)太平洋板块是一块海洋地壳板块,大部分位于太平洋海面下。它是法国地质学家勒皮雄1968年首次提出的六大板块之一,自提出
  • 下议院议长政治主题下议院议长(Speaker of the House of Commons)是英国国会下议院的议长。现任下议院议长为林赛·霍伊尔。与美国众议院议长不同,英国下议院议长需要脱离其党派,以中立身
  • 次开表内成对的元音分别为不圆唇/圆唇。次开元音(near-open vowel、near-low vowel)是一个用于口语中的元音。次开元音的特征类似于开元音,但舌头和上颚的距离比开元音小,仅次于开元
  • 公正公正指对于同一事件对于所有的人平等对待。公正包括程序公正和社会公正。程序公正追求规则对于所有人和机构的平等,追求起点的平等。社会公正追求结果的平等,不问人们的起点、
  • 桑多瓦尔县桑多瓦尔县(Sandoval County, New Mexico)是美国新墨西哥州西北部的一个县。面积9,620平方公里。根据美国2000年人口普查,共有人口89,908人。县治伯纳利欧(Bernalillo)。成立于19
  • 单关节炎单关节炎(英语:monoarthritis)是一次只有一个关节发炎的关节炎。常见的病因包括:外伤、感染或结晶性关节炎。关节炎发作时,若同时影响到五个或五个以上关节的则称为多关节炎。造
  • 1900年美国人口普查1900年美国人口普查(英语:1900 United States Census)是美国历史上第12次全国人口普查,确定了美国的常住人口为75,994,575人,相比1890年美国人口普查,同比增长为21.0%。1900年的人
  • 坂本诚志郎坂本诚志郎(さかもと せいしろう、1993年11月10日-)是兵库县养父市出身的的日本职业棒球选手,隶属于阪神虎队,位置捕手。71 久慈照嘉 | 73 金村晓 | 74 藤本敦士 | 79 滨中治 | 8