Topology Proof: AcBcX, B closed -> A'cB'

Click For Summary
SUMMARY

The proof establishes that if the set A is contained in the union of B and X, and B is closed, then the limit points of A are contained in the limit points of B. The key theorem utilized states that a set B is closed if, for every point b in the complement of B (X\B), there exists a neighborhood U of b that does not intersect with B. The discussion concludes with the confirmation that A' is a subset of B', demonstrating the relationship between the limit points of A and B when B is closed.

PREREQUISITES
  • Understanding of limit points in topology
  • Familiarity with closed sets in topological spaces
  • Knowledge of set operations, particularly set difference
  • Basic principles of neighborhood in topology
NEXT STEPS
  • Study the properties of closed sets in topology
  • Learn about limit point definitions and their implications
  • Explore the concept of neighborhoods in topological spaces
  • Investigate the relationship between open and closed sets in topology
USEFUL FOR

Students and researchers in mathematics, particularly those focusing on topology, as well as educators looking for examples of proofs involving closed sets and limit points.

FrancisD
Messages
4
Reaction score
0
Topology Proof: AcBcX, B closed --> A'cB'

Homework Statement



Prove:
AcBcX, B closed --> A'cB'

and where the prime denotes the set of limit points in that set
X\B is the set difference


Homework Equations



Theorem:
B is closed <--> For all b in X\B, there exists a neighborhood U of b with UcX\B



The Attempt at a Solution



Okay, so I am having no problem showing that the set of limit points of B is contained in B, if B is closed. I feel that there must be a way to extend this fact to show that A'cB', but I am not sure exactly how to do this.

From the theorem:
Since B is closed, there exists a neighborhood U of b with UcX\B, for all b in X\B

then, the intersection of B and U must be empty, AND the intersection of B and (U\{b}) must also be empty.

From the definition of limit point, if b is contained in X\B, then b cannot be contained in B'

or, for all x in B', x also is contained in B.

This is where I have gotten stuck.

Could I possibly show that B closed implies A closed, then use the same logic to show that A'cAcB ?

Thanks
 
Physics news on Phys.org


Okay, so I was able to prove that if AcBcX, then A'cB'.

Then, A'cB'cB
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
3K
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
6K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
12
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 58 ·
2
Replies
58
Views
5K
  • · Replies 16 ·
Replies
16
Views
3K