Topology: is this an open cover of an unbounded subspace of a metric space?

Click For Summary
SUMMARY

The discussion confirms that the collection {A^B(b,k)}, where A is an unbounded subspace of a metric space (X,d), constitutes an open cover of A. Each set B(b,k) is identified as a basis element for the metric topology on X, ensuring that A^B(b,k) remains open in A. The proof relies on the fact that for any point a in A, a can be covered by some B(b,k) for sufficiently large k, thus addressing concerns about the unbounded nature of A.

PREREQUISITES
  • Understanding of metric spaces and their properties
  • Familiarity with open sets and basis elements in topology
  • Knowledge of the concept of unbounded subspaces
  • Experience with mathematical proofs in topology
NEXT STEPS
  • Study the properties of metric spaces, focusing on open and closed sets
  • Learn about the concept of basis for a topology and its implications
  • Explore examples of unbounded subspaces in different metric spaces
  • Investigate the relationship between open covers and compactness in topology
USEFUL FOR

Students and educators in mathematics, particularly those studying topology, metric spaces, and related proof techniques. This discussion is beneficial for anyone looking to deepen their understanding of open covers in unbounded contexts.

fraggle
Messages
18
Reaction score
0

Homework Statement



Suppose A is an unbounded subspace of a metric space (X,d) (where d is the metric on X).
Fix a point b in A let B(b,k)={a in X s.t d(b,a)<k where k>0 is a natural number}.

Let A^B(b,k) denote the intersection of the subspace A with the set B(b,k).

Then the collection {A^B(b,k)} over all k in the natural numbers (i.e keeps going on and on) is an open cover of A in X.


Homework Equations


I believe that this is an open cover. If it is then the proof I'm doing will work.
If somebody can prove me wrong could they please suggest an open cover?
Thank you very much


The Attempt at a Solution


since each B(b,k) is a basis element for the metric topology on X B(b,k) is open in X and thus A^B(b,k) is open in A. Since there are infinitely many balls they will cover A. Therefore {A^B(b,k)} is an open cover of A as a subspace of X.

The only possible problem I see is that A is unbounded. Perhaps this collection does not cover all elements of A?

Thank you for the help
 
Physics news on Phys.org
Even if A is unbounded, for any specific point in a, you have that d(a,b)=R for some real number. You can find k>R, and a is contained in B(b,k)

You might be interested in noting that b doesn't even need to be in A, just in X
 
thanks, that makes sense
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
3K
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
7K
Replies
12
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K