Weak convergence and weak\(^\ast\) convergence

DOI10.1515/FORMA-2015-0019zbMath1321.46026OpenAlexW2248414690MaRDI QIDQ500026

Noboru Endou, Yasunari Shidama, Keiko Narita

Publication date: 7 October 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0019

zbMATH Keywords

Banach spacesweak topologiesnormed linear spacesduality and reflexivityweak\(^\ast\) topologies

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Banach spaces of continuous, differentiable or analytic functions (46E15) Duality and reflexivity in normed linear and Banach spaces (46B10)

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dual spaces and Hahn-Banach theorem
• Functional analysis, Sobolev spaces and partial differential equations
• Topological properties of real normed space
• Bidual spaces and reflexivity of real normed spaces
• Semantics of MML Query - Ordering

This page was built for publication: Weak convergence and weak\(^\ast\) convergence