Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Banach-Alaoglu for topological vector spaces #15734

Open
mcdoll opened this issue Jul 28, 2022 · 0 comments
Open

Banach-Alaoglu for topological vector spaces #15734

mcdoll opened this issue Jul 28, 2022 · 0 comments
Labels
feature-request This issue is a feature request, either for mathematics, tactics, or CI

Comments

@mcdoll
Copy link
Member

mcdoll commented Jul 28, 2022

We should have almost everything to prove the general Banach-Alaoglu theorem. One reference would be Chapter 8 in the book by Narici-Beckenstein. The main ingredients still missing are the completeness of the algebraic dual (Thm 8.2.9) and the equivalence of weakly bounded and weakly totally bounded (Thm 8.2.8). The proof of the Banach-Alaoglu theorem for Banach spaces might be helpful as well.
@mcdoll mcdoll added the feature-request This issue is a feature request, either for mathematics, tactics, or CI label Jul 28, 2022
@mcdoll mcdoll changed the title Banach Alaoglu for topological vector spaces Banach-Alaoglu for topological vector spaces Jul 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature-request This issue is a feature request, either for mathematics, tactics, or CI
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mcdoll