热带几何(Tropical geometry)是数学的一支,首先由巴西数学家兼计算机科学家 Imre Simon 于 1980 年代发展;“热带”一词源于部分法国数学家对巴西的刻板印想。大略言之,热带几何可谓是分片线性化的代数几何。它在计数
代数几何中有重要的应用。
此
半环中的
单项式不外就是
线性映射;而多项式是对若干个线性映射取极小值,因此是个分片线性
凹函数。称之为热带多项式。一个热带多项式 的非光滑点集合称为热带超曲面。可以证明:
如代数几何中的情形,热带超曲面的定义可以推广到热带簇:取中的
理想,定义相应的热带簇为的变形体。可以证明,而且可取有限
并集。