# Questions tagged [closed-graph]

For questions about the closed graph theorem in functional analysis.

146 questions
Filter by
Sorted by
Tagged with
63 views

### For each $x\in X$, there exists $\lim_{n \to \infty}T_n x$ and introduce $T:X\to X$ as $Tx=\lim_{n \to \infty}T_n x\quad \text{for each } x\in X$.

Let $X$ be a Banach space and let $T_n \in \mathcal{B}(X)$ for each $n \in \mathbb{N}$. Assume that for each $x \in X$, there exists $\lim_{n \to \infty} T_n x$ and introduce the mapping $T : X \to X$ ...
1 vote
32 views

### Assume that $AT$ is a continuous operator. Show that $A$ is also a continuous operator.

On our lectures we have proven: Let $X$ and $Y$ be Banach spaces and let $A : X \to Y$ be a bounded, surjective operator. Show that there exists some $m > 0$ such that for every $y \in Y$ there ...
1 vote
44 views

19 views

### Spectrum of a closbale

Consider $A: D(A) \rightarrow C_0(\mathbb{R}^3)$ where $C_0(\mathbb{R}^3)$ is the space of continuous functions vanishing at infinity and $C_C^1(\mathbb{R}^3)$ is the sub-space of $C^1$ functions with ...
1 vote
66 views

### Inclusion between two complete vector subspaces continuously embedded in $L_{loc}^{1}\left(\Omega\right)$ is a continuous embedding

I have found this exercise about the closed graph theorem, but I am not yet familiar with the vector spaces of locally integrable functions. So I need your help. The aim of the exercise is to show ...
• 1,172
112 views

### Proving continuity of a linear map from Banach space to its dual space

The problem is Let $V$ be a Banach space over the real field, and let $T: V \to V^\ast, v \to T_v$ be a linear map between these two Banach spaces that satisfies $T_v(v)\ge 0$ for all $v\in V$. Prove ...
• 116
56 views

### When you extend a bounded, injective, and compact operator with dense image, is the extension also injective

Let $X$ and $Y$ be Banach spaces and let $V\subseteq X$ be a dense subspace. Suppose $L:V\rightarrow Y$ is a bounded, injective and compact operator with $L(V)$ dense in $Y$. Can we conclude that the ...
50 views

### Uniform Continuity is correct?

According to Heine's Theorem, "If a function is continuous on a closed and bounded interval, then the function is uniformly continuous on that interval." I understand why Heine says "...
• 51
125 views

### Closed Graph Theorem in the weak topology

Let $T$ be a bounded linear operator mapping from $E$ to itself. Assume further $T$ is closed. My question is as follows: is the graph of $T$ closed in the weak topology of $E\times E$ ? My attempt: ...
• 145
134 views

### Question about the equivalence of three versions of Closed Graph Theorem

I am studying set-valued analysis, and I saw three version of this Closed Graph Theorem. Version 1: (what I was taught in class) Let $\Gamma: X \to Y$ be a correspondence. If $\Gamma$ is closed-...
• 2,483
73 views

• 3,274
122 views

### Converse of closed graph theorem

Suppose $Y$ is a normed linear space. If for every Banach space $X$ and for every linear operator $T:X\to Y$, graph of $T$ is closed implies $T$ is continuous, then can we prove that $Y$ is a Banach ...
• 4,928
1 vote
32 views

### Is the graph of $x \mapsto \arg \min_{u \in U} f(x, u)$ closed?

Consider a continuous function $f: X \times U \to \mathbb{R}$ satisfying $f(x, \cdot)$ is convex for any $x \in X$ where $X \subset \mathbb{R}^{n}$ is compact and $U \subset \mathbb{R}^{m}$ is convex ...
• 610
1 vote
743 views

### Example for closed proper convex function

I have been self-studying Proximal Algorithms by Neal Parikh and Stephen Boyd. It provides a definition of closed proper convex functions without any examples. The definition is given below. Convex ...
• 97
270 views

### How to show a correspondence is lower-hemicontinous?

I have a composite function $f:X \rightarrow Y$, such that $X\subset\mathbb{R}^n,Y\subset\mathbb{R}^{k\times k}$, where $f$ involves a combination of transformations: Form a finite number $p$ of ...
• 131
1 vote
165 views

### Unbounded closed operator

Let $E,F$ be two Banach spaces and $A$ an unbouded operator from $D(A) \subset E$ to $F$. We want to prove the following lemma : Let $A$ be a closed operator. The following are equivalent : $A$ is ...
• 187
250 views

### $\forall f\in Y^X$ with $\text{Gr}(f)$ is closed implies $f\in C(X, Y)$. Does this implies $(Y, \tau_Y)$ is compact?

$(X, \tau_X)$ and $(Y, \tau_Y)$ be two topological spaces. $\forall f\in Y^X$ with $\text{Gr}(f)$ is closed implies $f\in C(X, Y)$. Question : Does this implies $(Y, \tau_Y)$ is compact? ...
• 13k
63 views

### Can we draw a closed path made up of 9 line segments , each of which intersects exactly one of the other segments?

The solution given in Fomin's book is as follows. If such a closed path were possible, then all the line segments could be partitioned into pairs of intersecting segments. But then the number of ...
39 views

• 594
29 views

### For every closed surface, the set of forbidden topological minors is finite.

I want to prove that for every closed surface, the set of forbidden topological minors is finite. An idea how to do it is: by starting with the set of forbidden minors. For each forbidden minor $H$, ...
• 77
80 views

### Bounded inverse for a closed range closed operator

I am dealing with an unbounded operator $T$ on an Hilbert space $H$. I am interested in proving that it has a bounded inverse $T^{-1}$. I managed to prove that the operator is closed and self-adjoint. ...
1 vote
71 views

70 views

### Closed graph theorem and convergence

Let $E,F$ be Banach spaces and let $U\subseteq F$ be a subspace and let $(T_n)$ be a sequence of bounded operators between $E$ and $F$ such that $T_n(E)\subseteq U$ for each $n\in\mathbb N$. If there ...
• 373
138 views

### Example of Continuous function into$T_1$ Space with a Graph that Isn't Closed

It is well known that the graph of a continuous function into a $T_2$ space is closed. Does this result hold if the $T_2$ condition is replaced with $T_1$? I'm guessing the answer is no, but I have ...
• 2,426
213 views

### Prove that an operator is bounded if and only if the operator is closable

Let $T$ be a linear densely defined operator with $T:H\rightarrow \mathbb{C^m}$ where $H$ is a Hilbert space. Prove that the operator T is bounded if and only if it is closeable. What I have tried: I ...
• 608
295 views

• 17.6k
180 views

### Is this operator bounded and closed?

Let's define the subset of $\ell^2(\mathbb C)$ $$\mathcal D(A) = \left\{ {z \in {\ell ^2}\left( C \right),\sum\limits_{k = 1}^\infty {k^2{{\left| {{z_k}} \right|}^2} < \infty } } \right\},$$ and ...
1 vote
148 views

### Accumulation point of a discrete Spectrum

Let $L: \text{Dom} (L)\subset L^2(\mathbb{R}^3)\mapsto L^2(\mathbb{R}^3)$ be a self-adjoint, closed, and negative operator. I am trying to prove that the discrete spectrum $\sigma_{dis}$ of $L$ can ...
• 85
187 views

### How can I prove that this Linear operator is closed?

I know that for every infinite dimensional Banach space $X$ admits a linear and discontinuous operator. To prove it, I took a sequence $\{e_n\}_{n\geq1}$ of linearly independent vectors of $X$, then I ...
1 vote
110 views

• 67
908 views

### A linear operator $T$ is closed if and only if whenever $x_n\rightarrow x$ and $Tx_n\rightarrow y$, $y=Tx$.

Let $X,Y$ be Banach spaces, and $T:X\longrightarrow Y$ be a linear operator. I want to understand the following fact. The graph $\Gamma(T) = \{(x,Tx)\;|\;x\in X\}$ is closed in $X\oplus Y$ if and ...
32 views

### How to determine mathematically that an expression with one independent variable forms a closed area or not

Is there any mathematical method {other than sketching the curve from given expression (or equation)} to determine whether a given expession (or equation) forms a closed area or not? For example- ...
• 167
1 vote
### Proof of that the graph of subdifferential is closed when $f$ is closed proper convex function on $\mathbb{R}^n$.
In the Theorem 24.4 of Convex Analysis written by R. Tyrrell Rockafellar, if $f$ is a closed proper convex function on $\mathbb{R}^n$, then the graph of $\partial f$ is a closed subset of \$\mathbb{R}^...