What is the significance of compactness?

In summary, the concept of compactness in a metric space is defined as every open cover containing a finite subcover. This definition is a generalization of the desirable properties of closed and bounded sets in earlier developments of mathematics. Compact sets also have many properties similar to finite sets, such as being closed and bounded, having maximum and minimum values, and having continuous functions with a maximum value. However, this definition does not hold for all metric spaces, as seen in the example of (0,1). The extended real line is an example of a compact set, but it does not follow the definition of compactness in a metric space. In conclusion, compactness is an important concept in the development of calculus, as it allows for easier and
  • #1
pob1212
21
0
Hi

I'm trying to determine the significance of a compact subset of a metric space in relation to calculus in general.

I know the definition: A subset [itex]\small K[/itex] of a metric space [itex]\small X[/itex] is said to be compact if every open cover of [itex]\small K[/itex] contains a finite subcover.
But what is the importance of every open cover containing a finite subcover? For example suppose I have a subset [itex]\small E[/itex] of a metrics space [itex]\small X[/itex], which is open relative to [itex]\small X[/itex]. I assign to each [itex]p \in E[/itex] a positive number [itex]r_{p}[/itex] such that the conditions [itex] d(p,q) < r_{p}[/itex], [itex]q \in X[/itex] imply [itex]q \in E[/itex]. This is an open cover of [itex]\small E[/itex], which does not have a finite subcover which contains [itex]\small E[/itex], correct? If this is true, then I'm thinking this must be why no open set in [itex]\small X[/itex] can be compact, because we can find an open cover with no finite subcover. (the one above)
Additionally, can't we obtain an open cover of this same [itex]\small E[/itex] with a finite subcover if we simply pick neighborhoods of a finite set of points in [itex]\small E[/itex] with radius large enough that [itex]\small E[/itex] is contained in the union of these neighborhoods? Hence the importance of every, as noted before
If this is all true, then my point is I don't see the 'big picture' importance of these observations as they relate to the development of calculus? What are the implications?

Furthermore, I know things such as every sequence in a compact metric space [itex]\small X[/itex] has a subsequence which converges to a point in [itex]\small X[/itex], and the theorems about all Cauchy sequences converging if in a compact metric space.

I'm struggling to tie things together...

As always, thanks
pob
 
Physics news on Phys.org
  • #2
Your definition of compact is rather abstract, and in fact, it is the definition of compact for general topologcial spaces, not just in the topci of metric spaces you are studying here.

In metric spaces, this defnition, if i recall, is equivalent to closed and bounded.

In earlier developments of math, it was found that closed and bounded sets had some desirable properties, for instance continuous functions acting on these preserved closed and boundedness.

When more general topologies were studied later, they realized the notion of closed and bounded was not generalizing desirably, so someone invented the more abstract defintion you mention, where all the amazing (practical) theorems they had for closed and bounded sets, generalized to this more abstract notion of compact.

Maybe this was all sitting in the back of my head somewhere from my schooling, but looking up compact on wikipedia helped me a bit. Just sayin', check it out, you can confimr some of this, and find a few more details.

Another aspect of your question, is your discomfort with the details of the abstract definition. You might play around with the intervals (0,1), [0,∞) and [0,1], and think about why the definition works for these, to see why you want to consider an *arbitrary* open cover, and pick a fintite subcover.
 
  • #3
I've said this before but it was a while ago: "compact" is the "next best thing to finite"!

That is because the condition that "every open cover contains a finite subcover" allows us to reduce to finiteness and so have most, if not all, of the properties of finite sets: Every finite set is closed and compact sets are closed; ever finite set is bounded (in metric spaces where we can define "bounded") and compact sets in metric spaces are bounded; every finite set in a linearly ordered space has both maximum and minimum values and so does a compact set, etc.
 
  • #4
I agree with Halls, compact is a generalization of finiteness, the easiest case to deal with in any problem. the importance of finiteness is the theorems that come from it, like all continuous functions have a maximum, which is true for finite sets of values. all sequences have convergent subsequences, which also holds for finite sets. Halls already said it more clearly, just agreeing. another nice property, any continuous bijection of compact hausdorff spaces is a homeomorphism, i.e. an isomorphism. in fact it seems to me that any continuous injection of a compact n manifold to itself should be a homeomorphism, another property reminiscent of finite sets.
 
Last edited:
  • #5
HallsofIvy said:
I've said this before but it was a while ago: "compact" is the "next best thing to finite"!

That is because the condition that "every open cover contains a finite subcover" allows us to reduce to finiteness and so have most, if not all, of the properties of finite sets: Every finite set is closed and compact sets are closed; ever finite set is bounded (in metric spaces where we can define "bounded") and compact sets in metric spaces are bounded; every finite set in a linearly ordered space has both maximum and minimum values and so does a compact set, etc.

So what if we take the extended real line (which is compact) as the set X. And define the function f(x) = x, for all x in X. Then is the max of f ∞? If so does this not work for the real line? And is f bounded by -∞ and ∞?

algebrat said:
In metric spaces, this defnition, if i recall, is equivalent to closed and bounded.

This is only true of [itex]R^{k}[/itex], not metric spaces in general. (The Heine-Borel Theorem)


algebrat said:
Another aspect of your question, is your discomfort with the details of the abstract definition. You might play around with the intervals (0,1), [0,∞) and [0,1], and think about why the definition works for these, to see why you want to consider an *arbitrary* open cover, and pick a fintite subcover.

I may be misunderstanding you but (0,1) is not compact in [itex]\small R[/itex] since the union of open sets V[itex]_{n}[/itex] := {(1/n, 1): n≥2}, which is an open cover of (0,1), contains no finite subcover.
 
  • #6
So what if we take the extended real line (which is compact) as the set X. And define the function f(x) = x, for all x in X. Then is the max of f ∞? If so does this not work for the real line? And is f bounded by -∞ and ∞?

The extended real line is homeomorphic (isomorphic) to the unit interval [0,1] so there are no surprises there, the maximum is infinity and it achieves this maximum.

This does not work for the real line, because plus and minus infinity do not exist there.
It is equivalent to asking about the open unit interval (0,1) with the identity function, 1 does not exist in the interval, and it is not compact.

f is not really bounded by infinity, as this is not a point in the space, if we consider the real line to be a subspace of the extended reals then we can say that it is bounded, but then consider that the metric on the extended reals is not an extension of the real metric (what is an open ball around plus infinity?).
 

What is the significance of compactness?

Compactness is a fundamental concept in mathematics and science that refers to the degree to which an object or system can be packed into a smaller space. It is a measure of how closely packed the components of an object are and how efficiently they use space.

Why is compactness important?

Compactness is important because it allows us to describe and understand the structure and behavior of objects and systems in a more efficient and precise way. It also has practical applications in various fields, such as engineering, physics, and biology.

How is compactness measured?

Compactness can be measured using various mathematical formulas, depending on the type of object or system being studied. Some common measures of compactness include the surface-to-volume ratio, the packing density, and the fractal dimension.

What are some examples of compact objects or systems?

Some examples of compact objects or systems include crystals, molecules, planets, and galaxies. In each of these cases, the components are tightly packed together, resulting in a high degree of compactness.

What are the advantages of compactness?

The advantages of compactness include increased stability, greater efficiency, and reduced energy consumption. Compact objects and systems also tend to have simpler and more elegant structures, making them easier to study and manipulate.

Similar threads

  • Calculus and Beyond Homework Help
Replies
12
Views
1K
Replies
10
Views
1K
  • Calculus
Replies
3
Views
995
  • Calculus and Beyond Homework Help
Replies
12
Views
1K
Replies
9
Views
3K
Replies
12
Views
2K
  • Topology and Analysis
Replies
32
Views
2K
Back
Top