Kinser 不等式及相关拟阵

Kinser 建立了一个不等式层级，用于处理由给定数量的子空间构造的某些空间的维数。这些不等式可应用于拟阵的秩函数，拟阵是一种关注基集子集依赖关系的几何对象。若一个拟阵可由某个有限域上的矩阵表示，则它必须满足每一个 Kinser 不等式。我们提供了关于满足每个不等式的拟阵以及此类拟阵层级结构的结果。