- #1

- 13,162

- 725

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

Daniel.

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter dextercioby
- Start date

- #1

- 13,162

- 725

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

Daniel.

- #2

George Jones

Staff Emeritus

Science Advisor

Gold Member

- 7,490

- 1,227

dextercioby said:

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

- #3

- 13,162

- 725

Thank you, George.

Daniel.

Daniel.

Share:

- Last Post

- Replies
- 3

- Views
- 618

- Replies
- 30

- Views
- 4K