summaryrefslogtreecommitdiffstats
path: root/pages/functional-analysis-basics/the-fundamental-four/closed-graph-theorem.md
blob: d1d842ae59bbad8cb7e4dae07162b13fbdc9054c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
---
title: Closed Graph Theorem
parent: The Fundamental Four
grand_parent: Functional Analysis Basics
nav_order: 4
# cspell:words
---

# {{ page.title }}

{: .theorem-title }
> {{ page.title }}
> {: #{{ page.title | slugify }} }
>
> An (everywhere-defined) linear operator between Banach spaces is bounded
> iff its graph is closed.

We prove a slightly more general version:

{: .theorem-title }
> {{ page.title }}
> {: #{{ page.title | slugify }}-variant }
>
> Let $X$ and $Y$ be Banach spaces
> and $T : \dom{T} \to Y$ a linear operator
> with domain $\dom{T}$ closed in $X$.
> Then $T$ is bounded if and only if
> its graph $\graph{T}$ is closed.

**Proof:**
{{ site.qed }}