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

2
votes
1answer
47 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
82 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
35 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
42 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
153 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
90 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
61 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
41 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
25 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
59 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
46 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
68 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
64 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
64 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
67 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
41 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
331 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
35 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
101 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
97 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
42 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
110 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
55 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
43 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
95 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
101 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
74 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
35 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 ...
1
vote
0answers
93 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 ...
0
votes
1answer
56 views

Prove that T is compact

If $H$ is a Hilbert space with basis $\{\varphi_{k}\}^{\infty}_{k=1}$, how do I show that the operator $T$ defined by $T(\varphi_{k})=\frac{1}{k}\varphi_{k+1}$ is compact and has no eigenvectors? ...
2
votes
1answer
64 views

$A^{\ast}$ compact $\Rightarrow A$ compact

I read that if $A:E\to E$ is a bounded linear operator where $E$ is a Banach space and $A^{\ast}$ is a compact operator, then $A$ is a compact operator. I know that the converse is true (th. 4 here), ...
1
vote
1answer
34 views

Compactness of the image of $S^{\ast}$ throw compact operator

I read, on an Italian language version of Kolmogorov-Fomin's Introductory Real Analysis, that, for any Banach space $E$, the unit closed sphere $S^{\ast}$ of $E^{\ast}$ is compact in the $\ast$-weak ...
1
vote
1answer
61 views

Show an operator is compact if $\sum \|Te_n\| < \infty$

Let $H$ be a separable Hilbert space, define a bounded linear operator $T:H \rightarrow H$, show it is compact if $\sum \|Te_n\|_H < \infty$. My attempt: We show that $T(B)$ is totally ...
4
votes
2answers
128 views

Bounded linear operator commuting with every compact operators

Let $A$ be a bounded linear operator on the Banach space $X$. Assuming that $AK = KA$ for every compact operator $K$, how do I show that $A$ must be a scalar multiple of the identity, i.e., we have $A ...
2
votes
1answer
111 views

show that every compact operator on Banach space is a norm-limit of finite rank operators (in a particular way, under the given hypotheses)

Let $X$ be a Banach space and suppose there is a net $\{F_i\}$ of finite-rank operators on $X$ such that $(a)$ $\sup_i||F_i||<\infty$ ; $(b)$ $||F_ix-x||\to 0$ for all $x$ in $X$. Show that if $A$ ...
1
vote
0answers
84 views

An example of a non-compact operator which is equal to (norm) limit of compact operators

For a normed linear space $X$ and a Banach space $Y$, the set of all compact operator from $X$ to $Y$, which is denoted by $K(X,Y)$, is normed closed in $B(X,Y)$. Is there a counterexample which ...
0
votes
1answer
28 views

Perturbation of operators and eigenvalues

Suppose $P\in\mathcal{B}(\mathcal{H})$ is a self-adjoint compact operator. Lets perturb $P$ by multiplying it by a bounded operator $S$ and set $T=PS.$ Then what can be said for the spectrum of $T?$ ...