p0ind H^ p is complete

DOI10.1007/BF01196858MaRDI QIDQ1193263zbMATH OpenOpenAlexFDO

Publication date 27 September 1992

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01196858

balanced absorbing sets bornological topological vector space fundamental sequence nonlocally convex space string

Spaces defined by inductive or projective limits (LB, LF, etc.) (46A13) Not locally convex spaces (metrizable topological linear spaces, locally bounded spaces, quasi-Banach spaces, etc.) (46A16) Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness) (46A30)

Review text

Let \(E\) be a topological vector space which need not be locally convex. A sequence \((U_ n)\) of subsets of \(E\) is called a string if it consists of balanced absorbing sets such that \(U_{n+1}+U_{n+1}\subset U_ n\) for all \(n\). \(E\) is called bornological if each string consisting of bornivorous sets consists of neighbourhoods of zero. The author proves the following result: Let \((E,\tau)\) be a bornological topological vector space with a fundamental sequence \((B_ n)\) of closed balanced bounded subsets. If there exists a vector space topology \(\tau'\) coarser than \(\tau\) such that each \(B_ n\) is \(\tau'\)-compact then \((E,\tau)\) is complete. As a corollary this yields a simple proof that \(\lim\text{ind}_{p\to 0}H^ p\) is complete.

Recommendations

Cites work

Cited in

(1)

Φ: Pic (R0)→HPic (R) is not necessarily surjective

This page was built for publication: \(\underset {p\rightarrow{}0}{}{ind} H^ p\) is complete

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1193263)