拓扑学和数学的相关领域中，积空间是指一族拓扑空间的笛卡儿积，并配备了一个称为积拓扑的自然的拓扑结构。
定义.令"I"为（可能无穷的）指标集，并设"X"为"I"中由"i"所对应的每一个拓扑空间。置"X" = Π "X"，也即集合"X"的卡积。对于每个"I"中的"i"，我们有一个标准投影 "p" : "X" → "X"。"X"上的积拓扑定义为所有投影"p"在该拓扑下连续的最疏拓扑（也就是开集最少的拓扑）。该乘积拓扑有时也称为吉洪诺夫拓扑。很明显，"X"上的乘积拓扑可以表述为形为"p