Operator theory is the branch of functional analysis that focuses on bounded linear operators, but it includes closed operators and nonlinear operators. Operator theory is also concerned with the study of algebras of operators.

learn more… | top users | synonyms

5
votes
2answers
185 views

Why are compact operators 'small'?

I have been hearing different people saying this in different contexts for quite some time but I still don't quite get it. I know that compact operators map bounded sets to totally bounded ones, that ...
5
votes
2answers
131 views

Bounded operators with prescribed range - part II

This is a continuation of the question bellow, in a more particular case. Bounded operators with prescribed range If $X$ is a separable Banach space and $Y$ is a closed, infinite dimensional ...
5
votes
1answer
271 views

Fourier transform as a Gelfand transform

One question came to my mind while looking at the proof of Gelfand-Naimark theorem. Is Fourier transform a kind of Gelfand transform? Are there any other well-known transforms which are so?
5
votes
1answer
160 views

Is every operator unitary equivalent to a banded operator?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : Let $(e_{n})_{n \in \mathbb{N}}$ be an orthonormal basis. $T \in B(H)$ is ...
5
votes
2answers
237 views

extreme points of the unit ball of the Schatten classes?

Suppose $1<p<\infty$. What are the extreme points of the unit ball of the Schatten classes $S^p$? See below for the definition of $S^p$: http://en.wikipedia.org/wiki/Schatten_norm
5
votes
1answer
277 views

A theorem about operator theory

Define $$\operatorname{Ref}\mathcal{S}=\{T\in B(\mathcal{H}):Th\in[\mathcal{S}h], \forall h \in \mathcal{H}\},$$where $\mathcal{H}$ is a Hilbert space and $\mathcal{S}$ is a linear manifold of ...
5
votes
1answer
145 views

Addition of Unbounded Operators

Let $H$ be a (separable complex) Hilbert space and let $A$ and $B$ be two densely-defined, maximally-defined linear operators on $H$ with domains $D(A)$ and $D(B)$ respectively. (By maximall-defined, ...
5
votes
1answer
1k views

Easy Proof Adjoint(Compact)=Compact

I am looking for an easy proof that the adjoint of a compact operator on a Hilbert space is again compact. This makes the big characterization theorem for compact operators (i.e. compact iff image of ...
5
votes
1answer
63 views

Can we say $TT^{*}=T^{2}$ implies $T=T^{*}$?

Let $A$ be a $C^{*}$-algebra, Can we say $TT^{*}=T^{2}$ implies $T^{*}=T$? for $T\in A$ I am looking for a counterexample! Thanks
5
votes
1answer
146 views

Matrix Representation of Trace Class Operators

Suppose we have a separable Hilbert space (thus with a countable basis) and that represent an operator in matrix form, i.e: $A: H \rightarrow H $$$x \;\rightarrow \sum_{j \in \mathbb{N}}\left(\sum_{k ...
5
votes
1answer
423 views

Symmetric Square Root of Symmetric Invertible Matrix

I am trying to find out if for any symmetric (Not necessarily self-adjoint), invertible matrix $A$ over $\mathbb{C}$, there is a square root of the matrix that is also symmetric. I was able to figure ...
5
votes
1answer
90 views

local convexity of $L_p$ spaces

wiki says The spaces $L_p([0, 1])$ for $0 < p < 1$ are equipped with the F-norm they are not locally convex, since the only convex neighborhood of zero is the whole space Why is this so? ...
5
votes
1answer
332 views

If $A_n$ is a sequence of positive bounded linear operators converging in norm to $A$ on a Hilbert Space, show $\sqrt{A_n}\to\sqrt{A}$ in norm.

If $A_n$ is a sequence of positive bounded linear operators converging in norm to $A$ on a Hilbert Space, show $\sqrt{A_n}\to\sqrt{A}$ in norm. I can show that $A$ would be positive and thus have a ...
5
votes
1answer
331 views

Sum of Closed Operators Closable?

Let $A$ and $B$ be closed operators on a (separable complex) Hilbert space with dense domains $D(A)$ and $D(B)$ respecitvely. Then, we may define the operator $A+B$ on $D(A)\cap D(B)$. In general, ...
5
votes
1answer
51 views

Question about Hahn-Banach theorem

Let $(X,\|\cdot\|_1)$ and $(Y,\|\cdot\|_2)$ be normed spaces, and $X\subset Y$. If each $f\in (X,\|\cdot\|_1)^\ast$ extends to a bounded linear functional in $(Y,\|\cdot\|_2)^\ast$ with same norm, ...
5
votes
1answer
115 views

What is the relationship between spectral resolution and spectral measure?

In Kadison and Ringrose's book "FUNDAMENTALS OF THE THEORY OF OPERATOR ALGEBRAS", the author gives the following theorem. Theorem: If $A$ is a self-adjoint operator acting on a Hilbert space ...
5
votes
2answers
113 views

Question about a particular linear operator

Let A be a linear operator. $A: L^2(0,1) \rightarrow L^2(0,1)$ given by $Ag(a) = \int_0^a(a-x)g(x)dx$ where $a \in (0,1)$. This is the integral operator, and we know ||A|| < 1 which is easy to ...
5
votes
1answer
124 views

Is there a nonnormal operator with spectrum strictly continuous?

Let $H$ be an infinite dimensional separable Hilbert space. Definition : An operator $A \in B(H)$ is normal if $AA^{*} = A^{*}A$. Definition : The spectrum $\sigma(A)$ of $A \in B(H)$, is the set ...
5
votes
1answer
162 views

Generalized eigenspaces of a compact operator are finite dimensional

Let $T : H\rightarrow H$ be a compact operator on a Hilbert space $H$. Say that $\lambda \in \mathbb C$ is a generalized eigenvalue of $T$ if there is some $n \geq 1$ such that $(\lambda - T)^n$ is ...
5
votes
1answer
292 views

Bounded operator and Compactness problem

Let $H$ be a Hilbert space with orthonormal basis $(e_{n})_{n\in\mathbb{N}}$. Furthermore, let $T\colon H\rightarrow C[a,b]$ be a bounded operator. a) Let $x\in [a,b]$. Show that there is a ...
5
votes
1answer
280 views

Every Hilbert-Schmidt is an integral operator?

Let $(X,\mu)$ be a $\sigma$-finite measure space. If $K\in\mathcal{L}^2(X\times X,\mu\times\mu)$ then the map $A_K:\mathcal{L}^2(X,\mu)\to\mathcal{L}^2(X,\mu)$ defined by\begin{equation} ...
5
votes
2answers
150 views

Behaviour of the spectrum of a compact operator w.r.t. perturbations.

Suppose $A$ and $B$ are linear compact operators on a Hilbert space with $\sigma(A)$ and $\sigma(B)$ as their spectrum. Is it possible to obtain some continuity result of $\sigma(A+\epsilon B)$ as ...
5
votes
1answer
402 views

What are the Eigenvectors of the curl operator?

The curl operator $\vec\nabla\times\mathbb{1}$ can be written as a skew-symmetric 3x3 matrix $$\mathrm{curl} = \begin{pmatrix}0 & -\partial_z & \partial_y \\ \partial_z & 0 & ...
5
votes
2answers
381 views

On the isometry between bounded linear operators and the dual of nuclear linear operators

Let $H$ be a separable Hilbert space. Let $(e_i)_i$ be an orthonormal basis. For any bounded linear map $T$ we write, whenever possible $$\operatorname{tr} T := \sum_{i}^{\infty} \langle T e_i, e_i ...
5
votes
1answer
65 views

Adjoint of multiplication by $z$ in the Bergman space

I am learning Hilbert space theory from Halmos' "Introduction to Hilbert space and the theory of spectral multiplicity". While talking about understanding adjoints (p. 39), he calls special ...
5
votes
2answers
105 views

Does a symmetric operator on a Hilbert space have a symmetric adjoint?

Suppose we have a linear operator $T$, densely-defined on some Hilbert space. If $T$ is symmetric (i.e., $T^*$ extends $T$: notationally, $T\subseteq T^*$) does it follow that $T^*$ is also symmetric ...
5
votes
1answer
84 views

About measurability of operators

I'm triyng without success, to find some examples of functions that: $\bullet$Are WOT-measurable, but not SOT-measurable. $\bullet$Are SOT-measurable, but not $||\cdot||$-measurable. I give the ...
5
votes
2answers
225 views

When solving a linear differential equation by factoring the operator, how does one guarantee no solutions are lost?

I think the best way to make this question clear is with an example. Lets say we want to solve the differential equation $(\Delta^2 - \lambda^4)\phi=0,$ calculations are greatly simplified if we ...
5
votes
1answer
93 views

Pitt's theorem and reflexivity

Does it follow from Pitt's theorem that the space of bounded operators from $\ell_2$ to $\ell_p$ ($p<2$) is actually reflexive? We have $$ \mathcal{B}(\ell_2, \ell_p) = \mathcal{K}(\ell_2, \ell_p) ...
5
votes
2answers
186 views

Help for Divergence operator

I'm a newbie and may be this question is bit simple for you but pardon me if it's too simple. Can some one tell me some reference to study about the invertibility of Divergence operator ...
5
votes
1answer
653 views

Hilbert Schmidt integral operator

Hilbert-Schmidt Integral operators are usually defined from $H=L_2[a,b]$ into $H=L_2[a,b]$ as $$(Tf)(x) = \int_a^b K(x,y)f(y) dy,$$ provided that $K(x,y)$ is a Hilbert Schmidt kernel, namely ...
5
votes
1answer
71 views

Spectral theorem in Quantum Mechanics

In Quantum Mechanics one often looks at self-adjoint(unbounded and closed) linear operators $A,B$ that are defined dense on $L^2$. My question is: Is it true that if we have $[A,B]=0$, where $[,]$ is ...
5
votes
1answer
98 views

Operator in the commutant with certain property

If $T$ is a bounded operator with nontrivial kernel (in my case it is actually finite dimensional kernel and the operator is quasinilpotent) acting on an infinite dimensional Banach space, can one ...
5
votes
2answers
348 views

Matrix Representation of Operators in Infinite Dimensional (Separable) Hilbert Spaces

Suppose we have a separable Hilbert space (thus with a countable basis) and that we to represent an operator in matrix form, i.e: $$A: H \rightarrow H \\ \; \; \; \; \; \;x \;\rightarrow \sum_{j \in ...
5
votes
2answers
185 views

Square root is operator monotone

This is a fact I've used a lot, but how would one actually prove this statement? Paraphrased: given two positive operators $X, Y \geq 0$, how can you show that $X^2 \leq Y^2 \Rightarrow X \leq Y$ (or ...
5
votes
1answer
315 views

Normal operator + only real eigenvalues implies self-adjoint operator?

Let say we are in a complex vector space, is there an example of a normal operator with only real eigenvalues(or without eigenvalues) that is not a self-adjoint operator? Cause of the spectral theorem ...
5
votes
1answer
73 views

Extensions of finite-rank operators

Let $V$ be a vector space and let $W$ be its subspace of infinite codimension. Let $\mathcal{F}_W$ be the family of all finite-rank operators on $V$ with range contained in $W$. Consider the ...
5
votes
0answers
52 views

Does this sequence of operators converge in norm or strongly?

Let $H$ be a Hilbert space and $\mathcal{L}(H)$ the set of all bounded linear operators $L:H\to H$, equiped with the usual norm $\|\cdot\|_{\mathcal{L}}$. Let $T:D(T)\subset H\to H$ be a ...
5
votes
0answers
83 views

renorm a Banach space to make an operator have spectral radius equal to norm

Let $X$ be an infinite-dimensional complex Banach space equipped with the norm $\lVert\cdot\rVert$, and let $T\in\mathcal{L}(X)$ a bounded linear operator on $X$. Let $r(T)$ denote the spectral ...
5
votes
1answer
128 views

Integral kernel of the resolvent operator

Suppose we have an explicit formula for the integral kernel $k(x,y)$ of an operator $D$ acting on smooth $\mathbb{C}^n$-valued functions defined on an interval $[0,\beta]$, that is $$ Df(x) = ...
5
votes
0answers
122 views

Dyadic approach to Marcinkiewicz interpolation for Lorentz Spaces

In Exercise 21 , in a note for professor Terrence Tao on his own blog http://terrytao.wordpress.com/2009/03/30/245c-notes-1-interpolation-of-lp-spaces/ Exercise 21 Suppose we are in the ...
5
votes
1answer
118 views

An operator inequality

I would be most thankful if you could help me prove the following operator inequality. Let $A$ be an arbitrary linear operator on a Hilbert space, satisfying $$\left\|AA^{\ast} - A^{\ast}A\right\|\leq ...
5
votes
0answers
202 views

Question about the Spectral Theorem for Self Adjoint Operators and Eigenvalues

I have been working through Teschl's book "Mathematical Methods in Quantum Mechanics with Applications to Schrodinger Operators" and I am stuck on a problem in Chapter 3. I am trying to prove that if ...
5
votes
0answers
116 views

invariant subspace of a Hardy space

Let $T$ be the unit circle and $H^1=\{f\in L^1(T): \int_0^{2\pi} f(e^{it})\chi_n(e^{it})dt=0 \text{ for } n>0\}$ where $\chi_n(e^{it})=e^{int}$. Let $M$ be a closed subspace of $H^1$. Then ...
5
votes
0answers
317 views

Min Max Principle and Rayleigh-Ritz-Method for eigenvalues of unbounded operators?

Finding eigenvalues of matrices using the Rayleigh-Ritz quotient is well-known, c.f. http://en.wikipedia.org/wiki/Min-max_theorem Does the following generalization of that fact also hold? Theorem: ...
5
votes
0answers
286 views

Why is the numerical range of an operator convex?

Let $T$ be a Hilbert space operator. Its numerical range is \begin{equation} W(T)=\{\langle Tx,x\rangle:\|x\|=1\}.\end{equation} It is a well-known fact that $W(T)$ is a convex subset of the complex ...
5
votes
0answers
292 views

Sum of operator and adjoint is self-adjoint

In abstract Hodge theory there is the following lemma: Let $H$ be a Hilbert space and $A \in \mathcal{C}(H)$ a densely defined, closed operator (so possibly unbounded) and $A^*$ its adjoint operator. ...
5
votes
0answers
214 views

Where does the notation $\mathrm{Ad}(U)$ for $a\mapsto UaU^*$ come from?

I have often seen, in the context of operator theory and operator algebras, the notation $\mathrm{Ad}(U)a=UaU^*$, where $U$ is a unitary operator on a Hilbert space $H$ and $a$ is a bounded linear ...
5
votes
1answer
427 views

Distinct eigenvalues for integral operator?

Is there some sufficient condition on the kernel $K$ of a (say, finite rank, to simplify) integral operator $$ \mathcal K:f(x)\in L^2(\mathbb R)\mapsto \int K(x,y)f(y)dy $$ so that it has all its ...
4
votes
6answers
459 views

Bounded operator that does not attain its norm

What is a bounded operator on a Hilbert space that does not attain its norm? An example in $L^2$ or $l^2$ would be preferred. All of the simple examples I have looked at (the identity operator, the ...