回复：2楼
谢了。
那这个结论反过来成立吗？
     还有个问题：上同调环究竟能够区分空间到什么程度？

如果X,Y都是单连通的CW复形， X->Y 诱导同调群同构。 那么诱导的同伦群同构。
同伦群肯定是最强的
有白头定理 如果CW复形 X->Y 有同伦群同构， 那么他们同伦。
不过现在同伦群不怎么算得动啊。 不知道现在算到S^几的同伦群了。