Is This Statement in Munkres' Topology Book False?

  • Context: Undergrad 
  • Thread starter Thread starter facenian
  • Start date Start date
facenian
Messages
433
Reaction score
25
This exersice is from TOPOLOGY by Munkres and I suspect it is false:
"Let ##f:A\rightarrow\prod X_\alpha## be defined by the equation
##f(a)=(f_\alpha(a))_{\alpha\in J}##;
Let ##Z## denote the subspace ##f(A)## of the product space ##\prod X_\alpha##. Show that the image under ##f## of each element of ##\mathcal{F}## is an open set of ##Z##."
The topology ##\mathcal{F}## of ##A## is given by the subbasis
$$\delta=\bigcup_{\alpha\in J}\{f_\alpha^{-1}(U):U\in\mathcal{F}_\alpha\}$$
Does anybody has an opinion?
 
Physics news on Phys.org
I think it's true. We have for ##U \in \mathcal{F}_{\alpha_0} \, : \,f(f_\alpha^{-1}(U)) \subseteq U \times \prod_{\alpha \neq \alpha_0}f(f^{-1}(X_\alpha))## and equality on the induced topology of ##Z=f(A)##, so ##f## should be open.

But I might have overlooked something - I tend to in topology.
 
Yes the asertion on Munkres book is correct, I was wrong. Thanks
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 46 ·
2
Replies
46
Views
9K
  • · Replies 175 ·
6
Replies
175
Views
29K
  • · Replies 0 ·
Replies
0
Views
5K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K