A compact operator is an operator from normed space $X$ to a normed space $Y$, such that image of every bounded subset of $X$ is relatively compact in $Y$. It's used with (functional-analysis) and (operator-theory) tags.

learn more… | top users | synonyms

1
vote
1answer
57 views

Adjoint of Integral Operator in $L^p$

Let $E = L^p(0,1)$ with $1 ≤ p < ∞$. Given $u ∈ E$, set $$Tu(x):=\int_0^x u(t)dt$$ Find the adjoint of $T$. I know how to this in the case $p=2$ as shown here. But in general $L^p$ is not an ...
1
vote
1answer
33 views

Bound for Integrator Operator

Let $E = L^p(0,1)$ with $1 ≤ p < ∞$. Given $u ∈ E$, set $$Tu(x):=\int_0^x u(t)dt$$ Prove that $T$ is compact on $E$. I would like to use Ascoli-Arzela', but I need to prove: $$|T u(x) − T u(y)| ...
0
votes
0answers
47 views

Hilbert- Schmidt class is an ideal

Definitions: 1 - An operator $y\in B(H)$ is said to be of trace class if $y$ is compact, and also $\sum|\alpha_n| <\infty$ where $\alpha_n \in \sigma(y)$ and $y$ has a representation $\sum ...
2
votes
2answers
74 views

Compact operator space is the greatest ideal of $B(H)$

Suppose $H$ is a separable infinite dimensional Hilbert space. Show that if $A\in B(H)$ is noncompact, then there exist two operators $B,C$ such that $BAC=1$. Clearly if $A$ is invertible it holds, ...
1
vote
0answers
53 views

Schrödinger Semigroup is compact if potential goes to infinity

Several papers (e.g. this one: arXiv:0810.3275v1 [math.SP] 17 Oct 2008 ) claim that if $H=-\Delta+V$ and $V(x)\to\infty$ if $|x|\to\infty$, then the semigroup $e^{-tH}$ is eventually compact. Does ...
2
votes
0answers
96 views

Trace class operator

Let $A\in B(H)$ and $\sum_{E}|\langle A e,e\rangle|< \infty$ for every orthonormal basis $E$. Show that $A$ is a trace class (means $\sum_E \langle |A|e,e\rangle < \infty$). I can not prove it. ...
1
vote
0answers
32 views

Compact operator and a sot convergent sequence of operators

The following is an exercise of Conway's operator theory: I proved all parts of this exercise except $\|KT_n\| \to 0$. I can easily prove $\|KT_n^*\|\to 0$, but do not have any idea to prove ...
2
votes
1answer
129 views

Show that the operator $(x_n)_n\mapsto (\frac{x_n}{n}) $ is compact

I want to show that the following operator is compact: $$T:\mathbb \ell^p\rightarrow \mathbb \ell^p, \text{ }(x_n)_n\mapsto(\frac{x_n}{n})_n \text{ } 1\leq p<\infty$$ Its the first time that ...
2
votes
1answer
48 views

parameter operator $A_a$ is compact??

I need some help in this exercise. Let define operator on $ L^2[0,1]$: $$ A_af(x)=\int_{0}^{1}{|x-y|}^{a-1} f(y)dy $$ for f $\in L^2[0,1] $. Prove that A_a is compact for all $a>0$. I see that ...
0
votes
0answers
19 views

Compactness of the fractional integral operator.

Is the fractional integral operator $J_a^{\alpha} :L^2[a,b] \rightarrow L^2[a,b]$ ( or $J_a^{\alpha}:C[a,b] \rightarrow C[a,b]$) which is defined by $$J_a^{\alpha} f(x) = {1 \over ...
2
votes
1answer
85 views

Finite rank volterra operator

I am wondering when a Volterra integral operator $V_K:L_2(0,1)\to L_2(0,1)$ is a finite rank operator: $$V_Kf=\int_0^xK(x,y)f(y)dy$$ thanks in advance for your help
0
votes
0answers
25 views

Ask for the name of a condition on commutator of two operators

Let $T, S$ be two bounded linear operators on a Hilbert space. I wonder whether there is a standard way referring the following condition: $$ \text{The commutator $[T, S]$ is in the Hilbert-Schmidt ...
0
votes
0answers
39 views

Finite dimensional operator space is dense in trace class space

To show that $F(H)$ (the space of finite dimensional operators on a Hilbert space $H$) is dense in $L^1(H)$ (the space of trace class operators), suppose that $x\in L^1(H)$. Without loss of generality ...
1
vote
1answer
49 views

Trace class operator is an ideal

To show that trace class operators space is an ideal, we need to show that $\|uv\|_1\leq \|u\|\|v\|_1$ where $u,v \in B(H)$ and $\|u\|_1 = tr(|u|)$. Murphy in his book (C*-algebras and operator ...
0
votes
1answer
38 views

$*-$ isomorphism between two compact spaces $K(H)$ and $K(H')$

The following is a theorem of Murphy's C*-algebras and operator theory: I think we can write the proof more easily than Murphy's. After show that $E'$ is an orthonormal basis for $H'$, define ...
3
votes
0answers
164 views

Proof of the Riesz-Schauder Theorem (for compact operators) using the Analytical Fredholm Theorem

First of all sorry for my bad English, I'm an Italian student, hope to let you understand! I'm having a little troubles with the proof of the Riesz-Schauder theorem for Compact Operators. Some infos ...
1
vote
0answers
36 views

weakly continuous linear map

The following is a Theorem of Murphy's C*-algebra and operator theory: To prove the theorem, the author claims compact linear map $u$ is weakly continuous. I know that every bounded linear map is ...
1
vote
1answer
92 views

If $H$ is a one-dimensional Hilbert space then the zero representation of a C*-algebra on $H$ is irreducible.

It says on page 143 of Murphy's $C^*$-algebras and operator theory that if $H$ is a one-dimensional Hilbert space then the zero representation of any C*-algebra on H is irreducible. What is the zero ...
0
votes
1answer
33 views

Proving that each compact operator is bounded

I'm trying to prove that each compact operator is bounded, from the definition: On the internet I find solutions for this problem, but they always start from a different definition. I would be glad ...
-2
votes
1answer
221 views

$s \in L^{1}(H)$ $\iff$ $s=\sum_{i=0}^\infty x_{i} \otimes y_{i} $

Let $H$ be a separable Hilbert space, and let $L^1(H)$ be the space of trace-class operators on $H$. I'd like to prove that $s\in L^{1}(H)$ if and only if there exists $\{ x_{i} \} , \{ y_{i} \} ...
6
votes
1answer
62 views

The ideal generated by a non-compact operator

I wanted to find a quick proof of the following well-known fact. Since I couldn't easily find a reference, I provide a proof below. Let $H$ be a separable Hilbert space, and $J\subset B(H)$ be a ...
0
votes
0answers
43 views

Spectrum of a bounded operator on a (not necessarily Banach) normed vector space

It's well known that on a Banach space, the spectrum of each bounded operator is compact in $\mathbb C$. What about a general normed vector space? Is there a counterexample if we don't assume ...
3
votes
0answers
26 views

Compactness of solution space of semi-linear parabolic PDE

Under what conditions a closed and bounded subset of solution space of following parabolic PDE is compact? $$x_{t}=x_{zz}+f(x,z)$$ Thank you!
2
votes
1answer
31 views

Toeplitz Operator is compact if and only if it has finite rank

A referee has pointed out to me that it is "well known that a Toeplitz operator is compact if and only if it has finite rank" and pointed me to R. Douglas: Banach algebra techniques in the ...
0
votes
1answer
62 views

sup norm of operator

Let $T$ be a compact linear operator defined as $$ T\circ u = \int_a^b k(x,y)\,u(y)\,dy, $$ where $k(x,y)\in C([a,b]\times[a,b])$ and $k(x,y)\ge0$ for all $x,y$, and $u\in C([a,b])$. Suppose that the ...
1
vote
0answers
51 views

Green-Operator for Sturm-Liouville Differential equation compact on Sobolev space?

Let $g$ be Green's Function for a Sturm-Liouville differential equation. Is the operator $G: H_{0}^{1}(0,1) \rightarrow H_{0}^{1}(0,1)$ defined by $(Gf)(x) := \int_{0}^{1} g(x,y)f(y) dy, \quad f \in ...
-2
votes
3answers
72 views

Product of two positive compact, self adjoint operators

If we have two positive compact , self adjoint operators; $A$, $B$. Is the product $AB$ a positive operator?
0
votes
1answer
64 views

Is $L^\infty$ compactly embedded in $L^1$?

I'm trying to find a contraction example to show that the space $L^\infty$ is not compactly embedded in $L^1$ with the Lebesgue measure. Please help me!
0
votes
1answer
68 views

Prove the operator on hilbert space is compact

My question is actually the same as the first part of this one, Prove that T is compact which has not been answered. I am thinking about two ways, 1) use a bounded sequence $\{g_n\}$, and try to ...
1
vote
1answer
71 views

Understanding connectedness argument in proof of Analytic Fredholm Theorem

Let $X$ be a complex Banach space, and let $D \subset \mathbb{C}$ be a domain. Let $\mathcal{L}(X)$ denote the Banach space of bounded linear transformations $X \to X$. The Analytic Fredholm Theorem ...
1
vote
0answers
68 views

Adjoint Operator of a Compact Operator

In the proof of the fact that the ad-joint operator $T^*$ of a compact operator $T$ defined on a separable, infinite dimensional Hilbert space $\mathcal H$ is also compact, I read that "$\|P_nT - T\| ...
1
vote
0answers
48 views

Equivalent formulation for compact operators

According to Wikipedia, an operator is compact if it can be written in the form $T(u)=\sum_{n=1}^\infty \lambda_n<f_n, u> g_n$, where $\{f_n\}$ and $\{g_n\}$ are orthonormal sets and ...
0
votes
1answer
42 views

spectrum of compact operators

Let $\phi\in\ell^\infty(\mathbb{N})$. For $p\in[1,\infty]$, define $$M_\phi:\ell^p\to\ell^p,\quad f\mapsto\phi f.$$ Use spectral theory to show that, if $M_\phi$ is compact, then $\phi\in c_0$. Here ...
4
votes
5answers
346 views

Possible flaw in “proof” that a sum of two compact operators is compact

If X and Y are Banach spaces, and $A: X \to Y$, $B: X \to Y$ are both compact operators, then $A + B$ is compact. A + B is compact if and only if for every bounded sequence $\lbrace x_n \rbrace$ ...
2
votes
0answers
36 views

Compact operators on a Banach space $X$ are closed in the bounded operators on $X$. - Proof correction help

I am given a proof of the following statement (see below). Compact operators on a Banach space $X$ are closed in the bounded operators on $X$. I was told that there is an error in this proof - I ...
3
votes
1answer
45 views

Prove $Tx=(r_1x_1, r_2x_2, r_3x_3,…)$ is compact, $T:l^2\to l^2$, $r\in l^2$

Here is my question: Fix $r=(r_1,r_2,...)\in l^2$. Define $T:l^2\to l^2$ by $$Tx=(r_1x_1, r_2x_2, r_3x_3,...)$$ Prove that $T$ is compact. Here is what I have, input would be appreciated: Let ...
1
vote
1answer
104 views

Prove an integral operator is compact

The statement is like this, $K\subset\mathbb{R}$ is compact, the operator $A:L^\infty(K)\mapsto L^\infty(K)$ is defined by $f(x)\mapsto\int_K k(x,y)f(y)dy$. For $x\neq y$, $|k(x,y)|\leq ...
3
votes
1answer
100 views

How do endomorphisms of Banach space modulo compact operators look like?

It is well-known that given a Banach space $X$, the set of compact operators (let's denote it by $K(X)$) on $X$ forms a both-sided ideal in $L(X)$, the ring of bounded linear operators on $X$. My ...
1
vote
1answer
44 views

canonical form of finite rank operators

Let $X,Y$ be banach spaces and let $T:X\rightarrow Y$ be an linear continuous operator with finite dimensional image $Im(T)\subset Y$. Now I want to prove that there exists continuous linear ...
4
votes
1answer
111 views

T is not compact operator

I want to show that if $T$ is a bounded operator between two Hilbert spaces and $T$ is not compact then there exists an orthonormal sequence $y_{n}$ and an $R>0$ such that $\forall n\in ...
2
votes
0answers
64 views

Equivalent definitions of the trace of a Hilbert-Schmidt operator

I am currently reading the book Spectral Methods in Automorphic Forms, and Iwaniec defines the trace operator in a different way than I am accustomed to. Throughout, assume that everything converges ...
1
vote
1answer
45 views

Isomorphism between compact operators and compact operators tensor matrices ($\mathbb{K}\otimes M_n(\mathbb{C})\cong \mathbb{K}$)

Let $\mathbb{K}$ be the compact operators and $M_n(\mathbb{C})$ the complex valued matrices. I have read the algebra $\mathbb{K}\otimes M_n(\mathbb{C})$ is isomorphic to $\mathbb{K}$. Could you tell ...
1
vote
2answers
96 views

Compact projection on Banach space has finite rank

Let $E$ be a Banach space. Show that every compact projection has finite rank. I have no idea where to start.
4
votes
1answer
107 views

Does a compact operator always have a kernel?

I am sorry if this question is stupid..... I raise it when I read Lax's book Functional Analysis. We know that some integral operators are compact, for example an integral operator from $L^2[Y]$ to ...
0
votes
1answer
52 views

Does $\|f(T^*T)T^*\|_\infty = \|f(T^*T)(T^*T)^{\frac{1}{2}}\|_\infty$?

If $T:X\to Y$ is a compact operator and $X,Y$ are some Hilbert spaces, can we say that $\|f(T^*T)T^*\|_\infty = \|f(T^*T)(T^*T)^{\frac{1}{2}}\|_\infty$, where $T^*$ is its adjoint and $f$ some ...
1
vote
2answers
58 views

Compact operators, space of sequences

Let $\phi\in\ell^\infty$. For $p\in[1,\infty]$, define $M_\phi:\ell^p\to\ell^p$ by $$M_\phi(f)=\phi f.$$ Show that $\Vert M_\phi\Vert=\Vert\phi\Vert_\infty$, and $M_\phi$ is compact if and only if ...
2
votes
1answer
76 views

Hilbert Spaces - an application of the minimax principle.

Let $A$ be a compact, self-adjoint operator, $A \geq 0$. We need to prove that for any orthonormal system $\{e_i\}_1^{\infty}$ and for any $N$, $$\sum_1^N \langle Ae_i,e_i \rangle \leq \sum_1^N ...
0
votes
1answer
37 views

Show that an operator is weakly compact

If $(X,\Omega,\mu)$ is a finite measure space, $k\in L^\infty(X\times X, \Omega\times \Omega,\mu \times \mu)$ , and $K:L^1(\mu)\to L^1(\mu)$ is defined by $$(Kf)(x)=\int k(x,y) f(y) d\mu(y)$$ show ...
2
votes
0answers
100 views

Weakly compact operator on $c_0$ is compact

Show that if $T\in {\cal B}(c_0)$ and $T$ is weakly compact, then $T$ is compact. My attempt: $T$ is weakly compact, so there is a reflexive space $X$ , and operators $A\in {\cal B}(X,c_0) $ and $B ...
0
votes
1answer
59 views

Compactness of $(x_1,x_2,…)\mapsto(0,x_1,x_2/2…)$

I read that the linear operator in the Hilbert space $\ell_2$ defined by $(x_1,x_2,...,x_n,...)\mapsto(0,x_1,x_2/2,...,x_n/n,...)$ is compact. I wanted to prove it by proving that the image of the ...