Topology Proof (Closed/Open Sets)

Click For Summary
SUMMARY

The discussion centers on proving that in a topological space (X,T), if C is a closed subset and U is an open subset, then C - U is closed and U - C is open. The user attempts to solve this by considering four cases based on the relationships between C and U. The key insight provided is that the difference C - U can be expressed using complements as C ∩ U^c, which simplifies the proof process. This approach clarifies the relationship between closed and open sets in topology.

PREREQUISITES
  • Understanding of basic topology concepts, including open and closed sets.
  • Familiarity with set operations, particularly set difference and complements.
  • Knowledge of topological spaces and their properties.
  • Experience with logical reasoning and proof techniques in mathematics.
NEXT STEPS
  • Study the properties of open and closed sets in topology.
  • Learn about set operations in the context of topology, focusing on complements and intersections.
  • Explore examples of topological spaces to solidify understanding of closed and open subsets.
  • Review proof techniques in mathematics, particularly those related to topology.
USEFUL FOR

Students of mathematics, particularly those studying topology, as well as educators looking to enhance their understanding of set operations within topological spaces.

tylerc1991
Messages
158
Reaction score
0

Homework Statement


Let (X,T) be a topological space,
let C be a closed subset of X,
let U be an open subset of X.

Prove that C - U is closed and U - C is open.

The Attempt at a Solution


I was trying to do this by 4 cases:

Case 1: Let U be a proper subset of C.
Then U - C = empty and hence is open.

Case 2: Let C be a proper subset of U.
Then C - U is empty and hence is closed.

Case 3: Let U be a proper subset of C.
Then C - U = ?

Case 4: Let C be a proper subset of U.
Then U - C = ?

Cases 3 and 4 are where I am stuck. Can someone give me some intuition to get me started on them? Thank you!
 
Physics news on Phys.org
I don't thinnk you need cases, I would start by writing the difference term using complements
C - U = C \cap U^c
 

Similar threads

Replies
20
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 9 ·
Replies
9
Views
6K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K