Topology question - Compact subset on the relative topology

Click For Summary
SUMMARY

The discussion centers on proving that a compact subset T of a topological space (X, Ʈ) remains compact when considered with the relative topology (T, Ʈ_T). The key definition utilized is that T is compact if every open cover of T has a finite subcover. The relative topology is defined as Ʈ_T = {T ∩ V: V ∈ Ʈ}. The participants emphasize the importance of understanding open sets in the subspace topology to apply this concept effectively.

PREREQUISITES
  • Understanding of compactness in topology
  • Familiarity with the definition of relative topology
  • Knowledge of open covers and finite subcovers
  • Basic concepts of topological spaces
NEXT STEPS
  • Study the properties of compact sets in topology
  • Learn about the construction and implications of relative topologies
  • Explore examples of open covers and their finite subcovers
  • Investigate the relationship between compactness and continuity in topological spaces
USEFUL FOR

Students of topology, mathematicians focusing on set theory, and educators teaching advanced mathematics concepts will benefit from this discussion.

Pyroadept
Messages
82
Reaction score
0

Homework Statement


Let (X,Ʈ) be a topological space and T \subseteq X a compact subset.
Show that T is compact as a subset of the space (T,Ʈ_T) where Ʈ_T is the relative topology on T.


Homework Equations





The Attempt at a Solution


Hi everyone,

Here's what I've done so far:

T is compact means that each open cover of T has a finite subcover.

The relative topology Ʈ_T = {T \cap V: V \in Ʈ}

Take an open cover of T over the topological space (T, Ʈ_T)

We need to show that this open cover has a finite subcover.

---
Am I going in the right direction? Have I set up the answer correctly so far?
I think I need to do something involving intersections (as in the definition for the relative topology) but I'm not sure how to go about this.
Would someone be able to please give me a hint as to how to do this? Or is this completely wrong?

Thanks for any help!
 
Physics news on Phys.org
So far you're on the right way.

What are the open sets in the subspace topology? Can you apply this to your open cover?
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 58 ·
2
Replies
58
Views
5K
Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 15 ·
Replies
15
Views
3K
Replies
5
Views
6K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K