数学的代数拓扑学中，同调球面是"n"维流形"X"，具有"n"-球面的同调群。在此"n" ≥ 1是整数。换言之，因此"X"是一个连通空间，仅有一个非零的高阶贝蒂数"b"（除了 "b"=1 外）。由于"H"("X",Z)非零，故"X"是紧致及可定向的。当"n" > 1时，虽然"H"("X",Z) = {0}，不过并不表示"X"是单连通的，即"X"的基本群未必是平凡的，只表示其基本群是完满群。（参看Hurewicz定理）有理同调球面的定义与上述类似，不过用有理系数的同调群代替。Section: