Closed Graph Theorem
Closed Graph Theorem
Statement :
Let B be a banach space and if T is a linear transformation of B into B´then T is continuous iff
graph of T is closed
Proof :
Let (x,y)∈ TG
Then (x,y) is adherent point of TG
Xn →x and T(xn)→y
But T is continuous
so T͞G ⊂ TG
(1)Defines a norm on B
(x,y ) ∈ TG so y =T(x)
Hence B1 is complete
Applications :
This theorem has wide-ranging applications in functional analysis. It's used to prove
the continuity of inverse operators, establish the Banach Isomorphism Theorem, and
show continuity in various mathematical settings like Fourier transforms.
The theorem highlights the importance of the closedness property of the graph
in determining the continuity of linear operators, emphasizing the interplay
between algebraic and topological structures
The Closed Graph Theorem provides a powerful tool for establishing the
continuity of linear operators, particularly when direct verification of continuity
may be difficult
Fourier transforms :
A fourier transform is a mathematical operation that takes a function as input and
outputs a function that describes the frequencies present in the original function. The
output is a complex-valued function of frequency.
The closed graph theorem answers the question of whether a given linear operator is
continuous or bounded.
Proposition 1 Let be a Hausdorff topological vector space. Then, up to equivalence
of norms, there is at most one norm one can place on so that is a Banach space
whose topology is at least as strong as . In particular, there is at most one topology stronger
than that comes from a Banach space norm.
Proof:
Suppose one had two norms on such that and were both Banach
spaces with topologies stronger than . Now consider the graph of the identity
function from the Banach space to the Banach space . This graph is
closed;
and similarly converges to in norm and hence in . But limits are unique in the
Hausdorff topology , so . Applying the closed graph theorem ,
we see that the identity map is continuous from to ; similarly for the inverse.
Thus the norms are equivalent as claimed.
By using various generalizations of the closed graph theorem, one can generalize the above
proposition to Fréchet spaces, or even to F-spaces. The proposition can fail if one drops the
requirement that the norms be stronger than a specified Hausdorff topology; indeed, if is
infinite dimensional, one can use a Hamel basis of to construct a linear bijection on that is
unbounded with respect to a given Banach space norm , and which can then be used to give
an inequivalent Banach space structure on .
F.Space :
In functional analysis, an F-space is a vector space X over the real or complex numbers
together with a metric d: X*X→R such that
ℝ or ℂ
Scalar multiplication in X is continuous with respect to d and the standard metric on
Theorem :
Let T be a bounded linear map such that X⊃ D→Y where D is a closed subspace of
X. Then T is closed
Proof :
Tx =y
Hence , T is closed
The closed graph theorem is a corollary of the open mapping theorem, and vice versa.
Theorem :
If T:X→Y is a linear operator between Banach spaces then the following are equivalent:
1. T is continuous.
2. The graph of T is closed in the product topology on X*Y
Proof :
The usual proof of the closed graph theorem employs the open mapping theorem. It simply
uses a general recipe of obtaining the closed graph theorem from the open mapping theorem;
see closed graph theorem Relation to the open mapping theorem (this deduction is formal and
does not use linearity; the linearity is needed to appeal to the open mapping theorem which
relies on the linearity
In fact, the open mapping theorem can in turn be deduced from the closed graph theorem as
follows. As noted in Open mapping theorem (functional analysis)St atement and proof, it is
enough to prove the open mapping theorem for a continuous linear operator that is bijective
Let T be such an operator.
Let f: X→Y ; let Y be a compact hausdarff . then f is continuous iff Gf ={(x),f(x)|x∈X} is closed
Proof :
since V is neighbourhood of f (x) and f is continuous ∃ an O ⊆ X that is open and contain x such
that f (O)⊆V
since O*U is an open neighborhood of (x,y) , there must be some (p,q)∈Gf ∩ O*U
this means P ∈O and that f(p) =q∈U . but f(O) ⊆V so U and V must intersect a contradiction
hence y =f (x) and Gf must be closed