Page 1

Displaying 1 – 8 of 8

Showing per page

Baire-like spaces C(X,E)

Jerzy Kakol (2000)

Revista Matemática Complutense

We characterize Baire-like spaces Cc(X,E) of continuous functions defined on a locally compact and Hewitt space X into a locally convex space E endowed with the compact-open topology.

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama (2012)

Formalized Mathematics

In this article we formalize one of the most important theorems of linear operator theory - the Closed Graph Theorem commonly used in a standard text book such as [10] in Chapter 24.3. It states that a surjective closed linear operator between Banach spaces is bounded.

Currently displaying 1 – 8 of 8

Page 1