\(\underset {p\rightarrow{}0}{}{ind} H^ p\) is complete (Q1193263)

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.