，可以判定一个三维流形是否三维球面。不过，他在1904年发表的一篇论文中，举出了一个反例，现在称为庞加莱同调球面，与三维球面有相同的同调群。他引进了一个新的拓扑不变量，称为基本群，并且证明他的反例与三维球面的基本群不同。三维球面有平凡基本群，也就是说是单连通的。他提出以下猜想：上述简单来说就是：每一个没有破洞的封闭三维物体，都拓扑等价于三维的球面。粗浅的比喻即为：如果我们伸缩围绕一个柳橙表面的橡皮筋，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点；另一方面，如果我们想象同样的橡皮筋以适