0 Up votes0 Down votes

11 views1 pagesproof of sequentially compact

Dec 17, 2013

© Attribution Non-Commercial (BY-NC)

PDF, TXT or read online from Scribd

proof of sequentially compact

Attribution Non-Commercial (BY-NC)

11 views

proof of sequentially compact

Attribution Non-Commercial (BY-NC)

- Financial Statement Generator
- Reals.pdf
- 3
- 5
- Fuzzy Trends of Modules Based on Triangular Norm (2010)
- Identity
- 1-07-baire
- Om Session 09
- Circular Shift
- The Idea Shop_ Walking Through the Bolzano-Weierstrass Theorem
- Xxxxx
- Rivera Kimberly Clinton
- 1-s2.0-S030439750500054X-main
- Sequence Pattern Matching over Time-Series Data with Temporal Uncertainty Edbt14
- Sequences and Series
- Marking Scheme
- Real Analysis Solutions.pdf
- S. V. Astashkin- On the Selection of Subsystems Equivalent in Distribution to the Rademacher System
- Elementary Algebra - Worksheet 1 Addition of Integers
- John M. Sullivan- "The Optiverse" and Other Sphere Eversions

You are on page 1of 1

To prove this result we need a lemma Lebesgue Lemma. Let E be a sequentially compact metric space. If {O : I } is an an open cover of E , then there exists a positive number such that for every x E the open ball B (x, ) is contained in some O . Proof. Let {O : I } be an an open cover of E . Suppose that the number does not exist. Then for every > 0 there is some x E (depending on x) such that the open ball B (x, ) is not contained in any of the O s. For each positive integer n, let n = 1/n. Then there is some xn E such that the open ball B (xn , 1/n) is not contained in any of the O s. Since E is sequentially compact, the sequence {xn } contains a convergent subsequence {xnk }. Suppose that x0 E is the limit of the subsequence {xnk }. Since {O : I } is an an open cover of E , there exists 0 I such that x0 O0 . Since O0 is open, there is a positive number r0 > 0 such that the open ball B (x0 , r0 ) O0 . Since {xnk } converges to x0 , there exists a positive integer N1 such that d(xnk , x0 ) < r0 /2 for all k N1 . There exists another positive integer N2 such that 1/nk < r0 /2 for all k N2 . Let N = max{N1 , N2 }. Then we have B (xnk , 1/nk ) B (x0 , r0 ) O0 for all k N , since if y B (xnk , 1/nk ), then d(y, x0 ) d(y, xnk ) + d(xnk , x0 ) < 1/nk + r0 /2 < r0 /2 + r0 /2 = r0 for all n N . This contradicts the fact that B (xnk , 1/nk ) is not contained in any of the O s. The proof is complete. Theorem. A sequentially compact metric space is compact. Proof. Let E be a sequentially compact metric space First we prove that for any > 0 there exists a nite collection of -balls whose union is E . Once again, we prove this by contradiction. Suppose that there exists > 0 such that E cannot be covered by a nite number of -balls. Construct a sequence {xn } as follows: rst, choose any x1 E . Since E cannot be cover by B (x1 , ), there exits x2 in E but not in B (x1 , ). In general, given x1 , x2 , , xn , since the -balls B (x1 , ), B (x2 , ), , B (xn , ) do not cover E , there exists xn+1 in E but not in the union

n

B ( xi , ) .

i=1

By induction, we have constructed the sequence {xn }. Since d(xn+1 , xi ) for all i = 1, 2, , n, we have d(xm , xn ) for all m > n. This implies that no subsequence of {xn } can be a Cauchy sequence, in particular, no subsequence is a convergent sequence. This contradicts the assumption that E is sequentially compact. We now prove that E is compact. Let {O : I } be any open cover of E . It follows from the lemma above that there exists a positive number such that for every x E the open ball B (x, ) is contained in some O . It follows from the above that E can be covered by a nite number of -balls, say B (x1 , ), B (x2 , ), , B (xn , ). By Lebesgue Lemma, each of these -balls is contained in some O , say B (xi , ) Oi . Then {O1 , O2 , , On } form a nite subcover. So E is compact.

- Financial Statement GeneratorUploaded byPrasad Karuturi
- Reals.pdfUploaded byJay Chilombo
- 3Uploaded byArnav Guddu
- 5Uploaded byArnav Guddu
- Fuzzy Trends of Modules Based on Triangular Norm (2010)Uploaded bypksharma_davc2425
- IdentityUploaded byGanapathy Subramaniam
- 1-07-baireUploaded byKenneth Caasi
- Om Session 09Uploaded bySanyam Jain
- Circular ShiftUploaded byTejhas Kapoor
- The Idea Shop_ Walking Through the Bolzano-Weierstrass TheoremUploaded byUsman Ali
- XxxxxUploaded byHassan Ali
- Rivera Kimberly ClintonUploaded byTushar Gupta
- 1-s2.0-S030439750500054X-mainUploaded bySergio Dalge
- Sequence Pattern Matching over Time-Series Data with Temporal Uncertainty Edbt14Uploaded byQingsong Guo
- Sequences and SeriesUploaded byManuel Antonio Ramirez Sansano
- Marking SchemeUploaded byanirudh
- Real Analysis Solutions.pdfUploaded byShubhankar Bansod
- S. V. Astashkin- On the Selection of Subsystems Equivalent in Distribution to the Rademacher SystemUploaded byJutyyy
- Elementary Algebra - Worksheet 1 Addition of IntegersUploaded byVincent Casem
- John M. Sullivan- "The Optiverse" and Other Sphere EversionsUploaded byGremnDL
- Geometry of K-Lagrange Spaces of 2nd Order-97--Anastasiei-p8Uploaded byBartolome Antonio Pereira

- Emotionally Focused Intervention TherapyUploaded byeddiekimbowa
- Angle ModulationUploaded byShaniya Fathimuthu
- stochastic processes Quiz 1 SolutionUploaded byeddiekimbowa
- mafa11e2sUploaded byeddiekimbowa
- mafa11e1sUploaded byeddiekimbowa
- Continuity and Uniform ContinuityUploaded byJordan Tan
- Exps and LogsUploaded byManny Osimosu
- Practice Problems Set1Uploaded byeddiekimbowa
- Crandell9e_ch01Uploaded byاحمد العايدي
- Expectation via the Stieltjes IntegralsUploaded byeddiekimbowa
- Expectation of Random VariablesUploaded byeddiekimbowa
- mafa11h3Uploaded byeddiekimbowa
- Fundamentals of Mathematics by Harry McLaughlinUploaded byeddiekimbowa

- Sobolev RegularityUploaded byAlexandre Kirilov
- Dual Smarandache Curves of a Timelike Curve lying on Unit dual Lorentzian SphereUploaded byMia Amalia
- Some Fixed Point Theorem for Expansive Type Mapping in Dislocated Metric SpaceUploaded byAlexander Decker
- An Introduction to Riemannian Geometry.pdfUploaded bycxiii
- Analyse FonctionnelleUploaded byomardd
- Geometry Graph TheoryUploaded byancianitico
- (Lecture Notes in Pure and Applied Mathematics) Stefaan Caenepeel, Fred Van Oystaeyen-Hopf Algebras in Noncommutative Geometry and Physics-CRC Press (2004).pdfUploaded bygermanschultze
- Mam Sc Math MaticsUploaded bynidharshan
- Functions that are cont. nowhere but differentiable everywhereUploaded byDevontae Bylar
- Differential GeometryUploaded bywaku74
- Alejandro Adem, Johann Leida, Yongbin Ruan-Orbifolds and Stringy Topology-Cambridge University Press (2007)Uploaded byThiago Drummond
- Graphs of Parametric EquationsUploaded byWesley Co
- Tensor calculusUploaded byLjiljana Radovic
- TQFTNotesUploaded bylunarcausticac
- Index Notation.pdfUploaded byMahdi Bzeih
- Izumiya- Differential Geometry from Singularity Theory Viewpoint.pdfUploaded bytatoes n lases
- (de Gruyter Expositions in Mathematics Volume 32) Boris N. Apanasov-Conformal Geometry of Discrete Groups and Manifolds (Degruyter Expositions in Mathematics)-Walter de Gruyter Inc (2000)Uploaded byJosmir S. Rodríguez K.
- Advanced Differential GeometryUploaded byFarhad Hossain
- 9783319117720-c2Uploaded byLoubnan
- TopologyUploaded byAyak Chol
- 123Uploaded byRamalingam Shanmugarajan
- Chap01 Metric and Normed SpacesUploaded bygod40
- 245B, Notes 11_ The strong and weak topologies _ What's new, Terence Tao..pdfUploaded byJhon Giraldo
- Smarandache Curves According to Sabban Frame of Fixed Pole Curve Belonging to the Bertrand Curves PairUploaded byMia Amalia
- Extracting Insights From the Shape of Complex Data Using TopologyUploaded byRKR
- Topology NotesUploaded bySüleyman Cengizci
- TopologyUploaded byKuppurasu Nagaraj
- Frenet–Serret Formulas - Wikipedia, The Free EncyclopediaUploaded bybmxengineering
- atskriptUploaded byAvijit Nath
- Metric Spaces.pdfUploaded bymatty20113

## Much more than documents.

Discover everything Scribd has to offer, including books and audiobooks from major publishers.

Cancel anytime.