Closed and bounded in relation to compact

In summary, closed means a set contains its interior and boundary points, while bounded means all numbers in a sequence are contained within some interval. These two concepts are not the same, as exemplified by the fact that while \mathbb{R} is closed but not bounded, [0,1) is bounded but not closed. In some spaces, such as the metric space, any compact subspace is both closed and bounded, while in other spaces, such as the Rational numbers, this is not true. Boundedness means there is an upper bound on distances between points, with the least upper bound being the smallest number that bounds the distances between pairs of points. Larger numbers can also serve as bounds.
  • #1
trap101
342
0
So this is more so a general question and not a specific problem.

What exactly is the diefference between closed and boundedness?

So the definition of closed is a set that contains its interior and boundary points, and the definition of bounded is if all the numbers say in a sequence are contained within some interval. But isn't that the same thing as being closed?
 
Physics news on Phys.org
  • #2
[itex]\mathbb{R}[/itex] is closed but not bounded.
[itex][0,1)[/itex] is bounded but not closed.

Do these examples help?
 
  • #3
It can be proved that any compact subspace of a metric space (you need the metric to define "bounded") is both closed and bounded. Any subset of the real numbers (or, more generally, Rn) that is both closed and bounded is compact. But in other spaces, such as the Rational numbers with the metric topology, that is not true. And, of course, you can have compact sets in non-metric spaces where "bounded" cannot be defined (though compact sets are still closed in any topology).
 
  • #4
HallsofIvy said:
(though compact sets are still closed in any topology).

Compact sets are only closed in Hausdorff topologies.
 
  • #5
micromass said:
[itex]\mathbb{R}[/itex] is closed but not bounded.
[itex][0,1)[/itex] is bounded but not closed.

Do these examples help?


So what your examples are saying that R has some finite value (though we can never find it) at which R will end, but it is not within an interval?

I see the concept in the second example though.
 
  • #6
trap101 said:
So what your examples are saying that R has some finite value (though we can never find it) at which R will end, but it is not within an interval?

You need to brush up on your definitions, closed doesn't mean that at all.
 
  • #7
bounded means that distances can not exceed a bound. R is not bounded because there are points of arbitrarily large distance away from each other. [0,1) is bounded because no two points can get more than a distance of 1 away from each other.

on the real line closed means that every convergent sequence converges inside the set. So all of R must be closed since it is the whole set. But [0,1) is not closed because the sequence

1/2, 3/4, 7/8, 15/16 ... is inside the set but it converges to 1 which is outside the set.
 
  • #8
lavinia said:
bounded means that distances can not exceed a bound. R is not bounded because there are points of arbitrarily large distance away from each other. [0,1) is bounded because no two points can get more than a distance of 1 away from each other.

on the real line closed means that every convergent sequence converges inside the set. So all of R must be closed since it is the whole set. But [0,1) is not closed because the sequence

1/2, 3/4, 7/8, 15/16 ... is inside the set but it converges to 1 which is outside the set.



Ok. I understand now what it means to be closed, but bounded is still a little fuzzy. When it comes to the bound, is the bound something that we select in order for our aribitrary distance to be satisfied?
 
  • #9
"Bounded" means there is an upper bound on distances between points.
 
  • #10
trap101 said:
Ok. I understand now what it means to be closed, but bounded is still a little fuzzy. When it comes to the bound, is the bound something that we select in order for our aribitrary distance to be satisfied?

there is an idea of a least upper bound which is the smallest number that bounds the distances between pairs of points. But larger numbers are also bounds.
 

FAQ: Closed and bounded in relation to compact

What does it mean for a set to be closed and bounded?

A set is considered closed if it contains all of its limit points, meaning that if a sequence of points within the set converges, the limit point is also within the set. A set is considered bounded if all of its points are contained within a finite distance of each other. Therefore, a set that is closed and bounded is one that contains all of its limit points and has a finite size.

How does being closed and bounded relate to compactness?

Closed and bounded sets are a subset of compact sets. Every compact set is closed and bounded, but not every closed and bounded set is necessarily compact. This means that being closed and bounded is a necessary, but not sufficient, condition for compactness.

Can a set be compact without being closed and bounded?

No, a set must be both closed and bounded to be considered compact. If a set is not bounded, it can contain points that are infinitely far away from each other, meaning it cannot be compact. Similarly, if a set is not closed, it can have limit points that are not contained within the set, also disqualifying it from being compact.

What are some examples of sets that are closed and bounded, but not compact?

An example of a set that is closed and bounded but not compact is the interval [0,1) in the real numbers. It is closed because it contains its limit point 1, but it is not compact because it is not bounded on the upper end. Another example is the set of all positive integers, which is bounded but not closed, as it does not contain the limit point 0.

How do you prove that a set is closed and bounded?

To prove that a set is closed, you can show that it contains all of its limit points. This can be done using the definition of a limit point or by showing that the complement of the set is open. To prove that a set is bounded, you can show that all of its points are contained within a finite distance of each other, either by directly calculating the distances or using a metric space.

Back
Top