Continuous functions on Munkres's book

Click For Summary
SUMMARY

The discussion focuses on the equivalence of continuity in functions between topological spaces as presented in Munkres's "Topology" (2nd edition, 2000). Specifically, it examines the conditions under which the statement "f is continuous" is equivalent to "f(A') is a subset of f(A')" for every subset A of X. While it is established that the latter implies the former, the reverse does not hold without additional conditions on the function f or the spaces X and Y. The conversation emphasizes the need for further exploration of these conditions to derive meaningful conclusions.

PREREQUISITES
  • Understanding of topological spaces and their properties
  • Familiarity with the concept of limit points in topology
  • Knowledge of continuity in the context of functions between topological spaces
  • Ability to interpret theorems and exercises from Munkres's "Topology"
NEXT STEPS
  • Review Theorem 18-1 and Exercise 2 from Munkres's "Topology" (2nd edition, 2000)
  • Investigate additional conditions that can be imposed on functions to establish continuity equivalences
  • Explore examples of continuous functions between various topological spaces
  • Study the implications of different topologies on the behavior of functions
USEFUL FOR

Mathematicians, students of topology, and educators seeking to deepen their understanding of continuity in topological spaces, particularly in the context of Munkres's foundational text.

bigli
Messages
16
Reaction score
0
This is not a homework but it is a question in my mind.please guide me.

Let X and Y be topological spaces,let f : X -----> Y is a function.

when the following statements are equivalent?:

1) f is continuous

2) f(A') is subset of f(A)' ,for every A subset of X.

Symbols: A' i.e limit points set of A ,and f(A)' i.e limit points set of f(A).

pointing out: look to theorem 18-1 (page 104) from Munkres's book (TOPOLOGY 2edition 2000) and exercise 2 (page 111) from Munkres's book.
 
Physics news on Phys.org
(2) will always imply (1). But (1) doesn't necessarily imply (2), as you probably already know. So we might try looking for extra conditions to impose on f.

Let's suppose X and Y are arbitrary topological spaces, and f:X->Y is an arbitrary continuous function. Let A be some subset of X, and let x be in A'. We want to show that f(A') [itex]\subset[/itex] f(A)', so we want f(x) to be in f(A)'. If x sits in A, then f(x) will sit in f(A). So it would be necessary to have that f(A) [itex]\cap[/itex] f(A)' [itex]\neq \emptyset[/itex]. But this is not always true. So it appears that in order to say anything intelligent, we would have to impose some conditions on the nature of A (or X or Y), or on the topologies involved.
 
Last edited:

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K