Topology question - Compact subset on the relative topology

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 4K views
Pyroadept
Messages
82
Reaction score
0

Homework Statement


Let (X,Ʈ) be a topological space and T [tex]\subseteq[/tex] 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 [tex]\cap[/tex] V: V [tex]\in[/tex] Ʈ}

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