- #1
sparkster
- 153
- 0
I'm trying to prove some stuff that involves the projection map, say p:X x Y ->X. But I need to know if it's continuous. If a map is continuous, then the preimage of a open/closed set is open/closed.
The problem is, what do open sets in X x Y look like? I know what the basis elements are, and the open sets would be arbitrary unions and finite intersections, but is there any way to generalize?
The problem is, what do open sets in X x Y look like? I know what the basis elements are, and the open sets would be arbitrary unions and finite intersections, but is there any way to generalize?