A Banach-Dieudonn\'e theorem for the space of bounded continuous functions on a separable metric space with the strict topology

TL;DR

This paper extends the Banach-Dieudonné theorem to the space of bounded continuous functions on a separable metric space with the strict topology, showing it is hypercomplete and a Pták space, and establishing key theorems for linear maps.

Contribution

It proves a Banach-Dieudonné type theorem for this function space, demonstrating its hypercompleteness, Pták space property, and validity of fundamental linear map theorems.

Findings

The space is hypercomplete.

The space is a Pták space.

Closed graph, inverse mapping, and open mapping theorems hold.

Abstract

Let X be a separable metric space and let \beta be the strict topology on the space of bounded continuous functions on X, which has the space of \tau-additive Borel measures as a continuous dual space. We prove a Banach-Dieudonne\'{e} type result for the space of bounded continuous functions equipped with \beta. As a consequence, this space is hypercomplete and a Pt\'{a}k space. Additionally, the closed graph, inverse mapping and open mapping theorems holds for linear maps between space of this type.