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
28 views

compactness in $\ell^2$

How can I show T is compact when T is defined as $$ \text{T :}\,\ell^2 \to\ell^2\,\text{by Tx=y where} \,y_j=\alpha_jx_j\text{and}\,\alpha_j\to0\,\text{as}\,n\to\infty$$
0
votes
1answer
39 views

An operator satisfying in a sequence of equations

Assume that $H$ is a non-separable Hilbert space. Let $\{\eta_n\}$ be an arbitrary sequence in $H$. Let $\{\zeta_n\}$ be a sequence in $H$ which forms a linearly independent set. Does there exist ...
2
votes
2answers
36 views

bounded operator whose image is contained in the image of a compact operator

Let $A,K$ be 2 linear operators from $X$ to $Y$ (Banach spaces). $A$ is bounded and $K$ is compact. If $A(X)\subset K(X)$, is it true that $A$ is alse compact? I know that if the rank of $K$ is ...
0
votes
0answers
20 views

A translation invariant sigma algebra in $B(H)$

Assume that $H$ is a non-separable Hilbert space. Let $s_0$ be the family of all basic neighborhoods in the strong operator topology. We denote $M_s$ by the sigma algebra generated by $s_0$. ...
3
votes
1answer
57 views

Eigenvalues of an integral operator

The following operator is defined on $L_2(0,1)$: $$Kf(t)=\int_0^1|s-t|f(s)ds$$ I am wondering how I can calculate the eigenvalues and eigenfunctions of such an operator. I start with ...
1
vote
1answer
27 views

Measure of non-compactness

Can someone give me some simple examples of measure of non-compactness of sets in Banach spaces or metric spaces, which are easy to understand.
1
vote
1answer
50 views

Compactness of a certain Integral Operator on $L^2$

Let $X\subset \Bbb R^n$ be a compact subset and $\alpha \in (0,n)$. Let $m:X\times X\to \Bbb R$ be a bounded measurable function. Consider the integral operator $$Tf(x)=\int_X ...
1
vote
0answers
48 views

Prove the following are equivalent.

Let $E$ and $F$ be Hilbert spaces. For, $T \in B(E,F)$, show that the following are equivalent: $(i)$ $T$ is compact $(ii)$ $T^*$ is compact $(iii)$ There exists a sequence of finite rank operators ...
2
votes
3answers
88 views

T compact if and only if T*T is compact.

I have an operator $T \in B(\mathcal{H})$. I need to prove that T is comapct if and only if $T^*T$ is compact. One way is ok, because if A or B is comapct then AB is compact, so I get at once that if ...
1
vote
1answer
24 views

Strong convergence due to Compact Operator [duplicate]

Given a sequence $u_{n}$ such that: $u_{n} \rightharpoonup 0$ in $L^{2}(\mathbb R^{n})$ & $A$ is a compact operator. The problem is to show that : $Au_{n} \rightarrow 0$ in $L^{2}(\mathbb R^{n})$ ...
0
votes
1answer
58 views

Are Hilbert-Schmidt operators in non-separable Hilbert spaces compact?

The definition of Hilbert-Schmidt operator should still be valid even when the Hilbert space is not separable: If $e_i$ for $i\in I$ is an orthonormal basis for a Hilbert space, and ...
0
votes
0answers
26 views

Compact operator in terms of exact sequences

I know a pretty equivalent definition for Fredholm operators in terms of exact sequences. Here is it: We called operator $S : E \to F$ between Banach spaces $E$ and $F$ as Fredholm iff exist exact ...
4
votes
0answers
170 views

trace norm and tensor product

Let $(M_n (\mathbb{C}), n\|.\|)$ , $(M_n (\mathbb{C}), n\|.\|)$ and $(M_{nm} (\mathbb{C}), nm\|.\|)$ be three Banach algebras. where $$\|A\| = \mathrm{tr}\sqrt{(A^* A)}. $$ What is the norm of $\phi$ ...
2
votes
1answer
23 views

Functional Analysis, infimum of $A+K$ where $K\in K(X)$

This is a problem from Martin Schechter's Book (Principles of Functional Analysis) If $X$ is a Banach Spaces and $A\in B(X)$, let $$|A|_K=\inf_{K\in K(X)}\|A+K\|.$$ Show that $|A|_K<1$ implies ...
0
votes
1answer
54 views

$T$ is a compact operator but not a finite rank operator

Prove that if $X$ is a Banach Space and if $T$ is a compact operator but is not a finite rank operator, then $0 \in \bar {T(S_X)}$(where $S_X$ is the unite sphere). Please provide some solution ...
1
vote
1answer
35 views

Prove compactness of an operator.

Suppose $$ X=\left\{x \in C^2(\Bbb R,\Bbb R):x(t+T)=x(t)\; \text{for all}\;t \in \Bbb R \right\}, $$ $$ Y=\left \{h \in C(\Bbb R,\Bbb R):h(t+T)=h(t)\;\text{for all}\;t \in \Bbb R \right \} ,$$ and ...
3
votes
1answer
53 views

C*-algebraic intrinsic definition for compactness of an operator?

Some properties of operators (normal, self adjoint, hermitian) have intrinsic definitions for any element of a $C^*$-algebra. Is there such definition for compact operators? Equivalently: Let ...
4
votes
1answer
44 views

$\mathcal{A}+K$ is norm-closed where $\mathcal{A}$ is a $C^*$-algebra and $K$ is the compact operators.

Let $\mathcal{A}\subset B(H)$ be a unital $C^*$-algebra and let $K$ be the closed ideal of compact operators. I need to show that $\mathcal{A}+K$ is also a $C^*$-subalgebra of $B(H)$. I am stuck at ...
0
votes
0answers
13 views

Compactness of Single Layer operator

The single layer operator defined by $S: H^{-1/2}(\Gamma) \rightarrow H^{1/2}(\Gamma), \, Sf(x) = \int_{\Gamma} G(x,x') f(x') dx'$ with $G(x,x')$ the Green's function and $H^s$ the Sobolev space of ...
2
votes
0answers
73 views

Compactness of the trace operator

Is it true that for a set $\Omega$ with Lipschitz boundary the trace operator $T : H^1(\Omega) \to L^2(\partial \Omega)$ is compact? Can you please give a reference? I found a theorem in Necas' ...
1
vote
1answer
70 views

Looking for a general approach to proving compactness of linear operators.

Preparing for my exam in functional analysis, I often have to prove that certain explicitly given operators are compact. I now have a decent amount of operators of which I can prove the compactness, ...
0
votes
1answer
46 views

How does the definition of compactness imply that all continuous operators are compact in finite dimensional spaces?

Let $S \subset X, Y$ be normed spaces over $K$. An operator $A:S \to Y$ is called compact if: $A$ is continuous $A$ transforms bounded set into relatively compact sets i.e. if $(c_n)$ ...
0
votes
0answers
36 views

Matrix representatin of a compact operator

Fact : I know for every compact operator $x : H \to H$, there are sequences $\{\xi_n\}$ and $\{\eta_n\}$ of orthonormal vectors of separable Hilbert space $H$, and sequence $\{\alpha_n\}$ in $\Bbb C$ ...
0
votes
0answers
21 views

Question about norm in trace class

I'm having troubles to proof the next inequality $$\|A\|\leq\|A\|_1$$ where A is an operator in the trace class and $\|A\|_1=Tr|A|$. And $\|A\|$ is the norm of operators. I just got this ...
0
votes
2answers
61 views

Proving that an operator $T$ on a Hilbert space is compact

Let $H$ be a Hilbert space, $T:H \to H$ be a bounded linear operator and $T^{*}$ be the Hilbert Adjoint operator of $T$. Show that $T$ is compact if and only if $T^{*}T$ is compact. My attempt: ...
1
vote
1answer
68 views

Existence of a surjective compact linear operator on an infinite dimensional Banach space

Does there exist a surjective compact operator $T:l^{\infty} \to l^{\infty}$ ? Even though this might be tagged as a repeat question, i still have some doubts that i would like to clarify. My ...
2
votes
2answers
36 views

Proving that an operator is Compact

I have to check that the following operator $T$ is compact: Define $T:l^{2} \to {l^2}$ by $Tx=y=(\eta_{j})$, where $x=(\zeta_{j})$ and $(\eta_{j})=\sum_{k=1}^\infty \alpha_{jk} \zeta_{j}$ and ...
2
votes
1answer
36 views

Compactness of a linear operator

The question is as follows: Show that a linear operator $T:X\to Y$ where $X$ and $Y$ are normed spaces is compact if and only if the image $T(M)$ of the unit ball $M\subset X$ is relatively compact ...
1
vote
1answer
47 views

Spectrum of compact operators on an infinite dimensional normed space

The question is as follows: Let $T:X \to X$ be a compact linear operator on a normed space. If the $dim X= \infty$ then show that $0 \in \sigma(T)$. My attempt: Suppose on the contrary that $0 ...
1
vote
1answer
53 views

How do you quickly show whether an operator is compact?

In my text on functional analysis, the author defines an operator on normed space as compact if it: continuous transforms bounded sets into relatively compact sets Okay, number 1 we can work with. ...
0
votes
1answer
57 views

Compact operators

From a textbook: Suppose $X$ and $Y$ are Banach spaces and $T : X \to Y$ is linear. Then $T$ is a compact operator if one of the following holds: (a) $\{Tx_n\}$ contains a convergent ...
3
votes
1answer
145 views

Compact diagonal operator

Suppose $A : H \to H$, where $H$ is a Hilbert space, is bounded. Also, $A$ is a diagonal operator with diagonal $\{a_n\}$. Show: If $A$ is compact, then $a_n \to 0$ as $n \to \infty$. Should I prove ...
0
votes
1answer
46 views

Is there an error in the solution for this exercise?

I have this exercise: H is a complex hilbert space. And T is a compact operator on H. Show that if H is not separable, then 0 is an eigenvalue of T. Hint: Use lemma 1, and theorem 2. The ...
0
votes
0answers
50 views

Can a positive definite kernel expanded as the product form with an arbitrary orthonormal system?

Notations mostly follow https://en.wikipedia.org/wiki/Mercer%27s_theorem. Mercer's theorem uses the eigenfunctions $\{e_j\}$ of the integral operator as the expansion function. I wonder if we could ...
3
votes
1answer
32 views

Weakly compact operator with different domains

Let $A$ be a Banach algebra. Suppose that $e\in A$ such that $e^2=e$ and $eAe$ is division algebra(i.e., $eAe$ is unital and every element of $eAe$ has inverse in $eAe$). Define $T_e:A\to A$ with ...
1
vote
1answer
51 views

Why's Daugavet equation important?

I've been recently studing Daugavet equation in $L^1[0,1]$ and $C[0,1]$. I understand most of the results I've found but I can't figure out why is it important to find operators that hold Daugavets ...
1
vote
1answer
118 views

Is $T$ a compact mapping from $W_{0}^{1,2}\left(\Omega\right)$ into itself? [closed]

Let $\Omega$ be an open bounded subset in $\mathbb{R}^{6}$ and $f$ be in $L^{8}\left(\Omega\right)$. For any $w$ in $W_{0}^{1,2}\left(\Omega\right)$, define $T\left(w\right)$ be in ...
5
votes
3answers
162 views

Show that $f \overset{T}{\rightarrow} \frac{1}{x} \int_0^x f(t) dt$ is Bounded, and is NOT Compact in $L^2(0, \infty)$

Can someone help me with this question? Let $f \in X = L^2(0, \infty)$, and define \begin{equation} (Tf)(x) = \frac{1}{x} \int_0^x f(t) dt \ . \end{equation} Show that $T$ is Bounded, and is NOT ...
4
votes
1answer
98 views

Show that $\{ x_n \} \overset{T}{\mapsto} \{ \sum_{k=1}^{\infty} a_{nk} x_k \}$ is compact

Can someone help me with this question? Let $\ell^2$ be the space of complex sequences $\{ x_1, x_2, \ldots \}$ that $\sum_{n=1}^{\infty} \lvert x_n \rvert ^2 < \infty$. If $\mu$ be Counting ...
2
votes
1answer
41 views

Adjoint of canonical expansion of compact operator

Lets say I have given a rank-$n$ operator $A = \sum^n_{k=1} \lambda_k \langle u_k, \cdot \rangle v_k$. Then it is straightforward to compute its adjoint as $A^\ast = \sum^n_{k=1} \lambda_k \langle ...
1
vote
0answers
59 views

Find eigenfunctions of the integral operator with kernel $\sum\limits_{n=1}^\infty \frac{1}{n^2} \sin((n+1)x)\sin(ny)$

Find the eigenvalue and eigenfunctions of the integral operator $Ku=\int_0^\pi k(x,y)u(y)dy$. $k( x,y) = \sum\limits_{n=1}^\infty \frac{1}{n^2} \sin\big((n+1)x\big)\sin(ny)$. This is how I ...
2
votes
1answer
86 views

functional analysis. Compact operator. Hilbert-Schmidt theorem.

I have the following problem: "Under which $ \alpha \in \mathbb{R}$ is the operator $ T: L_2 [1, + \infty) \to L_2 [1, + \infty) $: \begin{equation*} (Tf) (x) = x^{\alpha} \int_x^{\infty} ...
3
votes
1answer
108 views

Is there an example of a non compact operator whose square is compact?

Is there an example of a non compact linear operator T from a Banach space X to itself such that T^2 is compact? Of course the converse is true, as T ^2 is compact if T is. Here T^2 means T composite ...
2
votes
1answer
86 views

Powers of compact operators

Consider a Hilbert space $H$ and a compact self-adjoint operator $T : H \to H$. I want to prove that all positive powers (especially fractional powers) of $T$ are compact. From the spectral theorem, I ...
2
votes
1answer
61 views

Counter-examples of direct sum of compact operators on Banach spaces is compact

Given a Banach space $X$ which can be written a direct sum of two subspaces $Y\oplus Z$ and the $u\in B(X), w\in B(Y), v\in B(Z)$ and $u=w\oplus v$. where $B(\cdot)$ denotes the space of bounded ...
0
votes
0answers
35 views

Compact operators and functions

Assume we have a look to the space $L^2(S^1)$. An orthonormal basis of $L^2(S^1)$ is given by $p_n(x)=e^{2\pi in x}$ $(n\in\Bbb{Z})$. One can also have a look at the operator $S(p_n)=sgn(n)\cdot p_n$ ...
0
votes
1answer
79 views

Diagonal non-compact operator

Suppose we have an operator $I:l_2 \rightarrow l_2$ which is diagonal but not compact. Does that follow: there exists a constant $C$ such that infinite number of diagonal terms $>C$?
1
vote
3answers
196 views

Definition of a compact operator

Operator compactness is characterized by maps the send the unit ball to relatively compact sets. Does anyone have a good justification for why we call this property compactness? The best ...
1
vote
1answer
89 views

Convergence in strong operator topology and norm topology

Let $(T_n)\subset B(H)$ be a sequence of operators such that $T_n\to 0$ in strong operator topology. Show that $\|T_nK\|\to 0$ and $\|KT_n\|\to 0$ for every compact operator $K$. Let $f,g \neq 0 ...
1
vote
2answers
58 views

What is the intuition/motivation behind compact linear operator.

Compact Linear Operator is defined such that the operator will map any bounded set into a relatively compact set. Why is this property so special that it can be named as "compact"? Does it share some ...