Recall that the open mapping theorem is true for Banach spaces. Furthermore, it is also true for Frechet spaces, which are complete metric spaces(with extra properties). It makes me wonder whether we can say that open mapping theorem applies to all complete metrizable topological vector spaces, since the key ingredient Baire category theorem certainly applies to all complete metric spaces and the norm in the proof of Banach spaces can be adapted to metric hopefully.