拟阵的秩函数

最新推荐文章于 2022-07-03 20:39:32 发布

LeoBoML

最新推荐文章于 2022-07-03 20:39:32 发布

阅读量425

点赞数

分类专栏：拟阵子模函数文章标签： c语言 html5 c++ 1024程序员节

本文链接：https://blog.csdn.net/weixin_48266700/article/details/120730007

版权

子模函数同时被 2 个专栏收录

3 篇文章 0 订阅

订阅专栏

拟阵

2 篇文章 0 订阅

订阅专栏

一、定义

设E是有限元素的集合，M是E上的拟阵。拟阵M的秩函数是一个函数， $\rho :2^{E}\rightarrow Z^{+}$ ，使对任意的 $A\subseteq E$ 有 $\rho (A)=\left \{ |x||x\subseteq A,x\epsilon I \right \}$ 。（拟阵的秩函数就是一个映射，把E的所有子集的集合映射到非负整数的集合。）

二、秩公理

一个函数 $\rho :2^{E}\rightarrow Z^{+}$ 是关于有限集E的拟阵的秩函数当且仅当对任意的 $X\subseteq E, y,z\in E$ ,下面的条件成立。

（1） $\rho \left ( \phi \right )=0$

（2） $\rho (X)\leqslant \rho \left ( X\cup \left \{ y \right \} \right )\leqslant \rho \left ( X \right )+1$

（3）若 $\rho \left ( X\cup \left \{ y \right \} \right )=\rho (X\cup \left \{ z \right \})=\rho \left ( x \right ),$ 则 $\rho \left ( X\cup \left \{ y \right \} \cup \left \{ z \right \}\right )=\rho \left ( x \right ).$

如何证明，这里就不证明。

其他知识点：

1、拟阵的秩函数是一个函数 $\rho :2^{E}\rightarrow Z^{+}$ ，使得对任意的 $A\subseteq E$ ，

有 $\rho \left ( A \right )=max\left \{ |X||X\subseteq A,X\in I \right \}.$ $\rho \left ( E \right )$ 称为拟阵M的秩，通常记为 $\rho \left (M \right )=\rho \left ( E \right )$