关于热带 Kleene 星矩阵与 alcoved 多胞形

在本文中，我们对热带数学中的一个已知结果给出了简短而初等的证明，该结果刻画了零对角实矩阵 $A$ 的列张成的凸性等价于 $A$ 是一个 Kleene 星。我们利用正规幂等矩阵（构成 Kleene 星的一个子类）给出了其在 alcoved 多胞形中的应用。对于正规矩阵，我们定义了一种范数，并证明该范数等于其热带张成的超平面截面的半径。