5.2.4 乘积拓扑与商拓扑