Is This Statement in Munkres' Topology Book False?

  • Context: Undergrad 
  • Thread starter Thread starter facenian
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on a statement from "Topology" by James Munkres regarding the openness of the image under a function defined from a set \( A \) to a product space \( \prod X_\alpha \). The statement asserts that the image of each element of the subbasis \( \mathcal{F} \) is an open set in the subspace \( Z = f(A) \). After analysis, the consensus is that the assertion in Munkres' book is indeed correct, confirming that the function \( f \) is open under the given conditions.

PREREQUISITES
  • Understanding of product topology and subspaces
  • Familiarity with the concepts of open sets and images in topology
  • Knowledge of the notation and definitions used in Munkres' "Topology"
  • Basic proficiency in set theory and functions
NEXT STEPS
  • Review the definitions of open sets in product topologies
  • Study the concept of subbases and their role in generating topologies
  • Examine examples of functions between topological spaces to understand openness
  • Explore additional exercises from Munkres' "Topology" for practical application
USEFUL FOR

Students of topology, educators teaching Munkres' "Topology," and researchers interested in the properties of functions in topological spaces will benefit from this discussion.

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
27K
  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K