拓扑半群

拓扑半群(topological semigroup)既有代数结构又有拓扑结构的一种数学结构.一个豪斯道夫空间，连同定义在其上的一个连续且可结合的二元运算所形成的数学系统称为拓扑半群。任何半群，连同其上的离散拓扑，都是拓扑半群.因此，半群是拓扑半群的特例，而有限半群则可看成是紧致半群.拓扑半群的研究始于20世纪50年代，至今仍然活跃.华莱士(Wallace ， A. D.)被公认为拓扑半群的奠基者.