Register to reply

Closed and bounded in relation to compact

by trap101
Tags: bounded, compact, relation
Share this thread:
trap101
#1
Nov13-12, 04:36 PM
P: 339
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?
Phys.Org News Partner Science news on Phys.org
Scientists discover RNA modifications in some unexpected places
Scientists discover tropical tree microbiome in Panama
'Squid skin' metamaterials project yields vivid color display
micromass
#2
Nov13-12, 04:48 PM
Mentor
micromass's Avatar
P: 18,346
[itex]\mathbb{R}[/itex] is closed but not bounded.
[itex][0,1)[/itex] is bounded but not closed.

Do these examples help?
HallsofIvy
#3
Nov13-12, 05:22 PM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,682
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).

micromass
#4
Nov13-12, 05:25 PM
Mentor
micromass's Avatar
P: 18,346
Closed and bounded in relation to compact

Quote Quote by HallsofIvy View Post
(though compact sets are still closed in any topology).
Compact sets are only closed in Hausdorff topologies.
trap101
#5
Nov13-12, 05:34 PM
P: 339
Quote Quote by micromass View Post
[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.
pwsnafu
#6
Nov13-12, 08:02 PM
Sci Advisor
P: 837
Quote Quote by trap101 View Post
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.
lavinia
#7
Nov13-12, 08:48 PM
Sci Advisor
P: 1,717
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.
trap101
#8
Nov13-12, 10:19 PM
P: 339
Quote Quote by lavinia View Post
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?
HallsofIvy
#9
Nov14-12, 07:47 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,682
"Bounded" means there is an upper bound on distances between points.
lavinia
#10
Nov14-12, 08:16 PM
Sci Advisor
P: 1,717
Quote Quote by trap101 View Post
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.


Register to reply

Related Discussions
How to prove something is closed and bounded, ie compact Calculus & Beyond Homework 5
A compact, bounded, closed-range operator on a Hilbert space has finite rank Calculus & Beyond Homework 2
Prove a set is closed and bounded but not compact in metric space Calculus & Beyond Homework 2
Closed, bounded but not compact Calculus & Beyond Homework 6
Closed, bounded, compact Set Theory, Logic, Probability, Statistics 2