16
$\begingroup$

These two theorems are equivalent but I can not figure out how to deduce the open mapping from the closed graph. Can anyone give a hint or some reference?

$\endgroup$
28
$\begingroup$

The proof linked to by David is the standard one, but the write-up strikes me as somewhat clumsy.

Here's my take on this argument:

Suppose $T: X \to Y$ is continuous and onto.

  1. The map $\pi: X \to \bar{X} = X/ \operatorname{Ker}{T}$ is open, onto and continuous. The map $T$ factors over $\pi$ via a continuous linear bijection $\bar{T}: \bar{X} \to Y$ by definition of the quotient topology.

  2. By continuity of $\bar{T}$ the graph of $\bar{T}$ is closed. Switching coordinates $(\bar{x},y) \mapsto (y,\bar{x})$ is a homeomorphism $\bar{X} \times Y \to Y \times \bar{X}$ and it maps the graph of $\bar{T}$ to the graph of $\bar{T}^{-1}$, so the graph of the linear map $\bar{T}^{-1}$ is closed, too. By the closed graph theorem $\bar{T}^{-1}$ is continuous.

  3. For all open $U \subset X$ the set $T(U) \subset Y$ is open because it is the pre-image of the open set $\pi(U)$ under the continuous map $\bar{T}^{-1}$, hence $T$ is open.

Note: Step 2. is a proof of the inverse mapping theorem from the closed graph theorem.

$\endgroup$
  • 2
    $\begingroup$ how do you know the map $\pi$ is open in step 1? $\endgroup$ – eurocoder Aug 5 '17 at 16:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.