Heine-Borel theorem
The Heine-Borel Theorem in analysis states:- A subset of the real numbers R is compact if and only if it is closed and bounded.
The central idea arose from trying to find uniform bounds on the behavior of a function over all points in a set. Such bounds could often be found for some small open interval about any point in a set, but the question became, could these bounds somehow be combined to form global uniform bounds over the entire set? This led to open covers and the concept of compactness, which led to the actual theorem. The Theorem of Bolzano-Weierstrass is closely related.
The theorem is true not only for the real numbers, but also for some other metric spaces: the complex numbers, the p-adic numbers, and Euclidean space Rn. However, it fails for the rational numbers and for infinite dimensional normed vector spaces. The proper generalization to arbitrary metric spaces is:
- A subset of a metric space is compact if and only if it is complete and totally bounded.
Here is a sketch of the "=>"-part of the proof according to Jean Dieudonné[?]:
- It is obvious that any compact set E is totally bounded.
- Let (xn) be an arbitrary Cauchy sequence in E; let Fn be the closure of the set {xk : k >= n} in E and Un := E - Fn. If the intersection of all Fn would be empty, (Un) would be an open cover of E, hence there would be a finite subcover (Unk) of E, hence the intersection of the Fnk would be empty; this implies that Fn is empty for all n larger than any of the nk, which is a contradiction. Hence, the intersection of all Fn isn't empty, and any point in this intersection is an acculumation point of the sequence (xn).
- Any accumulation point of a Cauchy sequence is a limit point (xn); hence any Cauchy sequence in E converges in E, in other words: E is complete.
A proof of the "<="-part can be sketched as follows:
- If E would not be compact, there would exist a cover (Ul)l of E having no finite subcover of E. Use the total boundedness of E to define inductively a sequence of balls (Bn) in E with
- the radius of Bn is 2-n;
- there is no finite subcover (Ul∩Bn)l of Bn;
- Bn+1∩Bn isn't empty.
- Let xn be the center point of Bn and let yn be any point in Bn+1∩Bn; hence we have d(xn+1,xn) <= d(xn+1,yn)+d(yn,xn) <= 2-n-1+2-n <= 2-n+1. It follows for n <= p < q: d(xp,xq) <= d(xp,xp+1) + ... + d(xq-1,xq) <= 2-p+1 + ... + 2-q+2 <= 2-n+2. Therefore, (xn) is a Cauchy sequence in E, converging to some limit point a in E, because E is complete.
- Let l0 be an index such that Ul0 contains a; since (xn) converges to a and Ul0 is open, there is a large n such that the ball Bn is a subset of Ul0 - in contradiction to the construction of Bn.
She saw only her husband.
intertwined tightly to draw themselves together, they remained dumb,
commingled, and both quivered as if in a burning fever. They seemed
nothing beyond that long kiss of consecrated love.html">love.
She drew herself away, suddenly agitated. "Nay, Yann! Granny Yvonne
own upon them, like a thirsty man whose cup of fresh water had been
Yann, who, at the first, was going to kneel to her as before a saint,
bunk, irritated at being so close to the old woman, and seeking some
exquisite lips.
He stretched forth his arm behind him, and with the back of his hand
up in his arms. Still holding her close, with his mouth continually
his prey. For her part she gave herself up entirely, to that body and
though it remained soft as a great all-comprising embrace.
Around them, for their wedding hymn, the same invisible orchestra,
deep noise, with a /tremolo/ of rage; and again repeated its threats,
hoot of an owl.
The broad, fathomless grave of all sailors lay nigh to them, restless
battle with it in the midst of the terror of ice as well. Both knew
futile fury. In their poor gloomy cottage, over which tempest rushed,
fortified against the whole by the eternal magic of love.
CHAPTER VIII
the preparations for the Iceland season occupied everybody. The.
On
wordlookup.net
All is still licensed under the GNU FDL.
It uses material from the wikipedia.
|
|