# Tagged Questions

25 views

### Kernel of the Extension of a Bounded Linear Operator

Suppose $T\colon E\to F$ is a bounded linear operator between Banach spaces. Moreover let $i\colon E\to E’$ be a dense, compact inclusion of $E$ into some other Banach space $E’$. Finally assume that ...
32 views

### What is the difference between an isometric operator and a unitary operator on a Hilbert space?

It seems that both isometric and unitary operators on a Hilbert space have the following property: $U^*U = I$ ($U$ is an operator and $I$ is the identity operator) What is the difference between ...
33 views

### Uniqueness for solution of an operator equation on a Hilbert space [closed]

Let $X$ and $Y$ be Hilbert spaces and let $A:X \to Y$ be a continuous linear operator. I want to show that $$Au = 0$$ implies that $u=0$. (I already know $A0=0$). I want to know what kind of tricks ...
41 views

### For a Hilbert space $\mathcal{H}$, is every bounded linear operator on $\mathcal{H}$ a linear combination of unitary operators?

Let $(\mathcal{H}, (\cdot, \cdot))$ be a Hilbert space, and let $B \in \mathcal{B}(H)$ be a bounded linear operator on $H$. If $\mathcal{H}$ is a complex Hilbert space, then $B$ can be written as a ...
24 views

### Skew-adjoint differential operator $B$ with spectrum $\sigma(B)=i(-\infty,-1]$

Consider the Hilbert space $X=L^{2}\left(\mathbb{R}^n\right)$ and the Schrödinger operator $A=i\Delta$ defined on the domain $D(A)=H^2(\mathbb{R}^n)$. It is known that the spectrum of $A$ is ...
43 views

### Prove that operator is completely continuous

Let's consider Banach space $\ell^\infty$ of bounded sequences $x = \{ \xi_n\}_{n=1}^\infty$: $$||x|| = \sup_{n \in \mathbb N} |\xi_n|.$$ Suppose matrix $||a_{i j}||_1^\infty$ specifies operator $A$ ...
37 views

### Relation between $\epsilon$-pseudospectrum of operators

If $H$ is a Hilbert space and $\sigma_{\epsilon}(T)$ denotes the space of all $\epsilon$-pseudospectrum of the operator $T$ and $S, T\in B(H)$ be such that $TS=ST=0$, why ...
56 views

### Prove that if $T=T^*$ and $\sigma(T)=\{\lambda\}$, then $T=\lambda I$

Show that if $T$ is a self adjoint linear operator on a Hilbert space such that the spectrum contains a single point $\lambda$, then $T=\lambda I$. Then, show this is false if $T$ is not self ...
51 views

### Maximal subspace on which an operator is bounded

Consider the Banach space $X=C[0,1]$ of real continuous function on $[0,1]$ equipped with the supremum norm. Consider the operator $A:D(A)\to X$, $Af=f'$ for each $f\in D(A)=C^1[0,1]$. We can see that ...
42 views

### Strongly continuous semigroup of operators which cannot be extended to a group

Let $X$ be a Banach space. We call a family of bounded operators $(T(t))_{t\in \mathbb{R}}$ a strongly continuous group if it satisfies the properties of the strongly continuous semigroup but for ...
57 views

47 views

### Complete ONS and pure point spectrum

In all that follows all operators are taken to be densely defined on a Hilbert space $H$. Some textbooks state that an operator $A$ on $H$ has pure point spectrum if $H$ admits a complete ONS (Hilbert ...
31 views

32 views

### Operator Tensor Product

Let $S$ and $T$ be bounded operators over a Hilbert space $\mathcal{H}$. Define their tensor product $S\otimes T$ as acting on $\mathcal{H}\otimes\mathcal{H}$ by $S\otimes T(x\otimes y):=Sx\otimes Ty$ ...
76 views

This might be a possible duplicate - please let me know if there is already a proof in another thread. Consider the momentum operator on $\mathcal{L}^2[0,2\pi]$: ...
77 views

### Positive Operators: Definition?

Let $A$ be a self adjoint element of a C*-algebra $\mathcal{A}$ resp. a self adjoint operator of the operator algebra $\mathcal{B}(\mathcal{H})$ of bounded operators over a Hilbert space ...
30 views

### Approximations of compact operators

Let $(\xi_n)_{n=1}^\infty$ be a sequence in a Hilbert space $K$ convergent to some $\xi$. Suppose we have a compact operator $T$ on $K$ such that $T\xi = 0$. Can we find a sequence of compact ...
35 views

26 views

### Skew adjoint operator with uncountable spectrum

Let $H$ be a Hilbert space. I just want an example of a skew adjoint operator $(A^*=-A)$ with uncountable spectrum. I also want an example for unbounded differential operators. The only example I ...
59 views

### Show that $\|e^{tA}\| \le e^{t\|\Re (A)\|}$

Let $X$ be a complex Hilbert space, and let $A$ be a bounded linear operator on $X$. Define the real part of $A$ to be $\Re(A)=\frac{1}{2}(A^{\star}+A)$, and define ...
41 views

### Sufficient condition for two operators being identical on Hilbert space

Considering two bounded linear operators $S,T$ in $\mathcal{B}(X)$, where $X$ is a complex Hilbert space. If $\def\norm#1#2{\langle {#1},{#2}\rangle} \norm{Sx}{x} = \norm{Tx}{x}$ for all $x\in X$, do ...
82 views

### Strong convergence of an “averaging” operator

Let $X$ be an Hilbert space and $S:X \rightarrow X$ be a bounded linear operator with $||S||=1$ Define $$T_n= \frac{1}{n} \sum_{r=0}^{n-1} S^r$$ I want to show it converges strongly to some ...
25 views

### About what happens to eigenspace under functional calculus for Unbounded Operator

Let $T$ be an unbounded self adjoint positive operator on a Hilbert Space $\mathcal{H}$. Let $x \in \mathcal{H}$ be a vector such that $Tx = x$. Is it true that $T^{\frac{1}{2}} x = x$. For what $f$ ...
54 views

### Operator: not closable!

Is there an operator between Banach spaces with the following properties: $$T:\mathcal{D}(T)\subseteq X\to Y:\text{ injective, dense range, continuously invertible, not closable!}$$ (Note that the ...
91 views

### Square root of a Hermitian operator exists

There are a lot of questions here about square root operators, but none of them addresses the basic question of existence, and I didn't find a very beefy section in Wikipedia talking about this, so ...
72 views

### What is the dual space in the strong operator topology?

Let $X$ be a Banach space, the strong operator topology on the space of bounded linear operators $\mathcal{B}(X)$ is defined by the family of continuous semi-norms $A\to\|Ax\|$, $x\in X$. What is the ...
102 views

### Operators such that $\langle Ax,x \rangle=-\langle x,Ax \rangle$

Let $X$ be a Banach space. We consider the differential equation: $$x'(t)=Ax(t), \ \ \ t\in\mathbb{R}$$ where $A$ is a bounded operator on $X$. If $X$ is a Hilbert space, and $x(t)$ is a solution of ...
16 views

### About Antilinear (possibly Unbounded) Operators

Let $T$ be an unbounded anti-linear operator on a Hilbert Space. I would like to know if there is a natural or easy way to see existence of adjoint of $T$, closability of $T$(such as when $T^*$ is ...
57 views

### Creation and Annihilation Operators: Norm Estimate

Given the Fock space: $$\mathcal{F}(\mathcal{h}):=\bigoplus_0^\infty\mathcal{h}^{n}\text{ with } \mathcal{h}^{n}:=\bigotimes_1^n \mathcal{h},\mathcal{h}^0:=\mathbb{C}$$ Define the creation and ...
47 views

62 views

### Sequence of unit vectors in a Hilbert space

Question: Let $H$ be a Hilbert space and $\{\xi_{i}\}\subset H$ be a sequence of unit vectors. Suppose that $||T_{j}(\xi_{i})-\xi_{i}||\rightarrow0$ as $i\rightarrow\infty$, for $j=1, 2, ...n$ (here ...
30 views

### Compact operator on invariant subspace is compact

Statement: Let $T \in \mathscr{B}(\mathscr{H})$, where $T$ is a compact operator. Let $M$ be a closed invariant subspace of $T$. Show that the restriction of $T$ to $M$ is compact. Attempted Proof: ...
39 views

### Show compactness of an operator with Arzelà–Ascoli

We have $K\colon L^{2}(a,b) \rightarrow L^{2}(a,b)$ such that $Kf(t)=\sum_{j=1}^{n}\phi_{j}(t) \int_{a}^{b} \psi_{j}(S) f(s)ds$ where $\phi_{j} ,\psi_{j} \in L^{2}(a,b)$. We want to show that K is ...
Statement: Given a Hilbert space $\mathscr{H}$ and $\mathscr{K}$ and a bounded operator $A \in \mathscr{B}(\mathscr{H}, \mathscr{K})$. Show that $A$ is invertible if and only if $A$ is bounded below ...
Let $H$ be a real Hilbert space with inner product $\langle\cdot, \cdot \rangle: H \times H \rightarrow \mathbb{R}$, and induced norm $\left\| \cdot \right\|: H \rightarrow \mathbb{R}_{\geq 0}$. Let ...