Proving Noncompactness of Unit Ball in Infinite-Dimensional Banach Space

Click For Summary
SUMMARY

The closed unit ball in an infinite-dimensional Banach space is a noncompact topological space. This conclusion is established through a proof found in Kreyszig's work, which utilizes Riesz's Lemma to demonstrate that a sequence within the closed unit ball lacks a convergent subsequence. Therefore, the closed unit ball of a Banach space is compact if and only if the Banach space itself is finite-dimensional.

PREREQUISITES
  • Understanding of Banach spaces
  • Familiarity with topological concepts, specifically compactness
  • Knowledge of metric spaces
  • Acquaintance with Riesz's Lemma
NEXT STEPS
  • Study the proof of Riesz's Lemma in detail
  • Explore the properties of infinite-dimensional Banach spaces
  • Learn about compactness in metric spaces
  • Investigate the implications of finite-dimensionality in Banach spaces
USEFUL FOR

Mathematicians, students of functional analysis, and anyone interested in the properties of Banach spaces and topological concepts.

dextercioby
Science Advisor
Insights Author
Messages
13,408
Reaction score
4,201
Is the fact that a unit ball in an infinite-dimensional (Banach) space is a noncompact topological space...?

If it is, how would one go about proving it...?

Daniel.
 
Physics news on Phys.org
dextercioby said:
Is the fact that a unit ball in an infinite-dimensional (Banach) space is a noncompact topological space...?

If it is, how would one go about proving it...?

Daniel.

I found a proof in Kreyszig.

Every Banach space is a metric space, and in a compact subset of a metric space, every sequence has a convergent subsequence.

Kreyszig assumes that the closed unit ball of an infinite-dimensional Banach space is compact. He then uses Riesz's Lemma (which isn't the Riesz Representation Theorem) to construct a sequence that doesn't have convergent subsequence.

Conclusion: the closed unit ball of a Banach space is compact if and only if the Banach space is finite-dimensional.

Regards,
George
 

Similar threads

Graduate Shauder basis for Hilbert spaces
  • · Replies 0 ·
Replies
0
Views
726
Graduate Hahn-Banach From Systems of Linear Equations
  • · Replies 9 ·
Replies
9
Views
2K
Graduate Limits of "Proper" Function Approach to Banach Spaces
  • · Replies 4 ·
Replies
4
Views
2K
MHB How to Calculate Matrix Norm in a Banach Space?
  • · Replies 3 ·
Replies
3
Views
3K
Graduate Integrability along a Hilbert space?
  • · Replies 16 ·
Replies
16
Views
3K
Graduate Question about finite dimensional real l^p space
  • · Replies 2 ·
Replies
2
Views
2K
MHB Proving T is Continuous in a Complex Banach Space
  • · Replies 11 ·
Replies
11
Views
5K
Graduate What does the metric of a 6D space with 3 compactified dimensions look like?
  • · Replies 20 ·
Replies
20
Views
3K
Undergrad Weak Topology on an Infinite-Dimensional Hilbert Space
  • · Replies 1 ·
Replies
1
Views
2K
High School Infinite dimensional Hilbert Space
  • · Replies 8 ·
Replies
8
Views
2K