Real Banach space
A real normed vector space is a Banach space when it is complete in the metric induced by its own norm.
atlas-real-banach-space · canonical_mko
Real Banach space
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data