Proof on boundedness of sets in n space

In summary, the conversation discusses the problem of choosing a finite set of points in a bounded set in n-space such that every point in the set is within a given distance d of at least one of the chosen points. The conversation suggests considering the special case of R, or one-dimensional space, and using the concept of compactness to prove the statement. It also mentions that the problem can be solved without using topology if the set is contained in Euclidean n-space.
  • #1
prettymidget
23
0

Homework Statement


Let S be a bounded set in n -space. Fix a d>0. Then it is possible to choose a finite set of points {pi...pm} in S such that every point p in S is within a distance d of at least one of the points p1, p2,...pm.

Homework Equations



None really.

The Attempt at a Solution



I've tried some methods but I have been stuck at some point of every attempt. A nudge (or two) in the right direction would be greatly appreciated.
 
Last edited:
Physics news on Phys.org
  • #2
is that exactly how the question is written & is there any additional info?
 
  • #3
This is exactly how its written and that's all they gave.
 
  • #4
Show us what you've tried. At the very least you should be using the definition of a bounded set in Rn.
 
  • #5
as a start you could consider 2 cases, where the bound on S is less than d and when it is greater...
 
  • #6
How much point-set topology do you know? I've got a proof, but it uses a property of compact spaces that you may not be expected to know.
 
  • #7
What property of compactness did you need? Here is an idea that might nudge you in the right direction. Consider the special case of R, which is one-dimensional. Since S is bounded, it lies entirely between -M and M for some M. Certainly, if d >= 2M, we need just pick any point in S to be done. Every other point is within a distance 2M from that point. What if d = M? A first thought might be to choose the midpoint... but that might not be in S. How can we compensate?
 
  • #8
What property of compactness did you need?
Basically just the definition: Any open cover of a compact set has a finite subcover. To get a compact set, take the closure of S; to get an open cover, consider the union of all balls of radius d around every point in S...
 
  • #9
That is pretty slick. Occasionally I have these bouts where I realize I'm in out of my depth and don't know enough in this case about metric spaces. I know that in Rn compactness isn't needed (at least not directly). But now I'm not so sure about arbitrary metric spaces.
 
  • #10
Tedjn said:
That is pretty slick. Occasionally I have these bouts where I realize I'm in out of my depth and don't know enough in this case about metric spaces. I know that in Rn compactness isn't needed (at least not directly). But now I'm not so sure about arbitrary metric spaces.

It's not true for an arbitrary metric space. Think about the unit sphere in an infinite dimensional Hilbert space, or even simpler any space with an infinite number of elements with a discrete metric.
 
  • #11
I don't know much topology, only the basic concepts and definitions such as limit point, open closed sets, boundary, closure, and such. The class is a multivariable analysis class, so only basic knowledge has been needed so far.

VKint said:
Basically just the definition: Any open cover of a compact set has a finite subcover. To get a compact set, take the closure of S; to get an open cover, consider the union of all balls of radius d around every point in S...

I actually asked my TA the question and the proof he gave was very long and something that didn't even look undergraduate level to me. If you've found a proof using basic concepts I would appreciate it greatly if you would post it. I haven't really been able to dent the problem.

Tedjn said:
What property of compactness did you need? Here is an idea that might nudge you in the right direction. Consider the special case of R, which is one-dimensional. Since S is bounded, it lies entirely between -M and M for some M. Certainly, if d >= 2M, we need just pick any point in S to be done. Every other point is within a distance 2M from that point. What if d = M? A first thought might be to choose the midpoint... but that might not be in S. How can we compensate?

I'm not sure. I thought about the problem a lot and I was completely convinced that the set S need be both bounded and closed for the rest to follow, so its limit points would be contained in the set.
 
  • #12
prettymidget said:
I don't know much topology, only the basic concepts and definitions such as limit point, open closed sets, boundary, closure, and such. The class is a multivariable analysis class, so only basic knowledge has been needed so far.
I actually asked my TA the question and the proof he gave was very long and something that didn't even look undergraduate level to me. If you've found a proof using basic concepts I would appreciate it greatly if you would post it. I haven't really been able to dent the problem.
I'm not sure. I thought about the problem a lot and I was completely convinced that the set S need be both bounded and closed for the rest to follow, so its limit points would be contained in the set.

If the set in contained in Euclidean n-space, then there is a way to prove it that doesn't require any topology at all. Practice by supposing n=2. Hint: for any bounded set you can pick a number S such that the set in contained in a square with side length S centered at the origin. Now pick a d>0 and describe a finite set of points that works.
 

Related to Proof on boundedness of sets in n space

1. What is the definition of boundedness of a set in n space?

The boundedness of a set in n space is the property of the set having a finite or limited extent in all directions. In other words, the set is contained within a finite region in n-dimensional space.

2. How can we prove the boundedness of a set in n space?

To prove the boundedness of a set in n space, we must show that the set is contained within a finite region and does not extend infinitely in any direction. This can be done by showing that the distance between any two points within the set is finite.

3. Can a set in n space be both bounded and unbounded?

No, a set in n space can either be bounded or unbounded, but not both. A set is considered bounded if it is contained within a finite region, while an unbounded set extends infinitely in at least one direction.

4. How does the dimension of n space affect the boundedness of a set?

The dimension of n space does not affect the boundedness of a set. A set can be bounded in any dimension, as long as it is contained within a finite region and does not extend infinitely in any direction.

5. What are some real-world applications of proving the boundedness of a set in n space?

The concept of boundedness of sets in n space is important in various fields such as physics, engineering, and computer science. It is used to analyze the behavior of physical systems, design efficient algorithms, and ensure the stability of numerical methods.

Similar threads

  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
11
Views
2K
  • Calculus and Beyond Homework Help
Replies
11
Views
2K
  • Calculus and Beyond Homework Help
Replies
5
Views
2K
  • Calculus and Beyond Homework Help
Replies
6
Views
2K
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
5K
  • Calculus and Beyond Homework Help
Replies
8
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
613
Back
Top