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

2
votes
1answer
63 views

Inequality of Class operators H S and P

First few definitions: $A \in I(K)$ iff $A$ is isomorphic to some member of $K$ $A \in S(K)$ iff $A$ is a subalgebra of some member of $K$ $A \in H(K)$ iff $A$ is a homomorphic image of some ...
1
vote
2answers
38 views

About locally convex space

Is a Banach space a locally convex space? Why? Recall A locally convex space is a linear topological space in which the topology has a base consisting of convex sets.
0
votes
1answer
67 views

A question about utilizing Hahn-Banach theorem

There is a quotation below: Let $A$ be a Banach space, $\mathbb{B}(A)$ be the space of all bounded linear maps from $A$ to $A$ and $C\subset \mathbb{B}(A)$ be any convex set. If a net ...
2
votes
0answers
26 views

Space of operators on function

Consider the following space of operators on function of $n$-variables $A= Span \{x_ix_j\ , x_i \frac{\partial}{\partial x_j} , \frac{\partial^2}{\partial x_i \partial x_j} , i,j=1,2,\cdots,n\}$. ...
0
votes
1answer
65 views

Composing Projections on a Hilbert Space

Let $P,Q$ be projections on a Hilbert space such that $PQ$ is a projection. I have been able to prove that $PQ=QP$. I want to show that $ker(PQ)$ is contained in $ker(P)+ker(Q)$. If there's a ...
1
vote
2answers
57 views

An approximation question on projections

Suppose $\{p_i\}_{i=1}^{m}$ are projections in the d by d matrix algebra $A$ over the complex numbers and satisfy the following condition: $||Id-\sum_{i=1}^m{p_i}||_2<c$, $||p_ip_j||_2<c, ...
0
votes
0answers
63 views

Self adjointness for functionals

I have posted this question already in the physics forum, but actually nobody could help. I am sorry, this question is related to quantum field theory. The Schrödinger equation of a free scalar field ...
0
votes
2answers
92 views

Proving this operator is not closed

I was looking for an example of an operator on a Hilbert space which is not closed. This is what I have done so far, but am not sure if the proof is alright. Consider $H=L^{2}[0,1]$ and $T$ defined ...
3
votes
2answers
63 views

Why $ \|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ in the definition of $C^*$ algebra?

I read the definition of $C^*$ algebra in Wikipedia where it says $\|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ but I do not know why. Can you show me how to derive $\|xx^*\| = ...
2
votes
0answers
20 views

Transforms with $O(N \log N)$ Complexity

Beside the Discrete Fourier and Walsh-Hadamard operators, are there any non-trivial, bijective operators that admit an evaluation algorithm of $O(N \log N)$ time complexity or better, whose inverses ...
2
votes
1answer
71 views

Domain of adjoint of operator (example from Reed-Simon).

I am trying to understand this example from Reed-Simon volume 1: "Suppose that $f$ is a bounded measurable function, but that $f\notin L^2(\mathbb R)$. Let $D(T) = \{\psi \in L^2(\mathbb R) : ...
0
votes
3answers
129 views

polar decomposition proof

Let $H$ be a hilbert space and $T$ a bounded linear operator on $H$. I'm trying to prove that there is a partial isometry $V$ on the closure of $Im(|T|)$ such that $T=V|T|$ and $|T|=V^*T$, where ...
1
vote
1answer
60 views

What does the adjoint operator do? Is this Frechet derivative correct?

Problem statement Let $x \in l^2$ and $J(x) = \sum_{n = 1}^{+\infty} x_{2n - 1}^2$ Find first and second Frechet derivatives. Attempted solution Let's note that $J(x) = \sum_{n = ...
2
votes
1answer
73 views

show that the operator $T:l^2\rightarrow V$ is bounded

Let $V$ be the Banach space of all sequences $v=\{\eta_j\}_{j=1}^\infty$ such that $\lim_{j\rightarrow\infty}\eta_j$ exists. The norm on $V$ is given by $\|v\|=\sup_{j\in \mathbb{N}}\eta_j$. Consider ...
1
vote
2answers
77 views

uniqueness of positive operator

Let $A,B$ be commuting positive operators on a hilbert space such that $\langle(A-B)(A+B)x,x\rangle=0$ for all $x$ in the hilbert space. Prove that $A=B$. My attempt: The above implies that $A=B$ on ...
2
votes
1answer
143 views

$\langle Tx,x \rangle=0$ proof

If $T$ is a bounded operator on a hilbert space $H$ and $\langle Tx,x \rangle=0$ for all $x$ in $H$, then $T=0$. I'm considering what we can conclude if $\langle Tx,x \rangle=0$ for all $x$ in some ...
2
votes
1answer
39 views

Regularity estimates for parametrized family of elliptic operators

Let $\Omega\subset\mathbb{R}^3$ be a bounded Lipschitz domain. Suppose we have a parametrized family of linear operators $\{A_\varepsilon\ :\ \varepsilon\in\mathbb{R}_{\geq0}\}$ such that ...
3
votes
1answer
92 views

An exercise of positive element in C*-algebra

Let $A$ be a unital C*-algebra and $\{b_{n}\}$ be a positive invertible sequence in $A$. If $||1_{A}-b_{n}||\rightarrow 0$, can we conclude $||1_{A}-b_{n}^{-\frac{1}{2}}||\rightarrow 0$ ?
1
vote
0answers
45 views

Lack of a polar decomposition

Prove that the left and right shifts on $l_{2}$ have no polar decomposition (i.e. $UP$ where $U$ is unitary and $P$ is positive).
1
vote
1answer
65 views

Operator Norm = 1

Let there be a linear map $T$ such that $T: \mathbb R^n\to\mathbb R^m$. The operator norm $\lVert \cdot\lVert_{op}$ of $T$ is then defined as the largest value of $c$ for which $\lVert T(\vec v)\lVert ...
2
votes
1answer
171 views

square root of positive operators

It $T, S$ are positive operators, do we have that $\sqrt{TS}=\sqrt{T}\sqrt{S}$? Are there any basic rules that hold for square roots of positive numbers that don't hold for positive operators?
2
votes
1answer
58 views

The spectrum of the operators

Let $X, Y$ be the Banach space, and $T_{1}: X\rightarrow X$ and $T_{2}: Y\rightarrow Y$ be the bounded linear operators. Then what is the relationship between $\sigma(T_{1})$, $\sigma(T_{2})$ and ...
0
votes
2answers
118 views

functional calculus and spectral measure

Let $T$ be a normal operator and $f$ be a bounded borel function on ${\sigma}(T)$. If $E_{T}$ and $E_{f(T)}$ are the spectral decompositions of $T$ and $f(T)$ respectively, prove that for any borel ...
9
votes
1answer
318 views

Exponential of a function times derivative

Exponential of a derivative $e^{a\partial}$ is simply a shift operator, i.e. \begin{equation} e^{a\partial}f(x)=f(a+x) \end{equation} This can be easily verified from a Taylor series \begin{equation} ...
0
votes
2answers
152 views

generalized eigenspace direct sum

Similar to the way an infinite dimensional hilbert space can be written as a direct sum of eigenspaces of a normal compact operator, I was wondering whether it can be written as a direct sum of ...
0
votes
1answer
48 views

The norm of operator matrix

Let $H$ be a Hilbert space and $B(H)$ be the bounded linear operator on $H$, for $T\in B(H)$, if $T=\left(\begin{array}{ccc} 0 & B \\ A & 0 \\ \end{array}\right)$ on $H=M\oplus ...
1
vote
1answer
45 views

spectral measure and integral query

I have proved the 'resolution of the identity' for a normal operator, namely that there is a unique spectral measure E such that $\int_{{\sigma}(T)} {\lambda}\,dE=T$ If (${\lambda}_{n}$) is the ...
1
vote
3answers
253 views

Borel functional calculus

For a normal operator T, we have a resolution of the identity $\int_{{\sigma}(T)} {\lambda}\,dE=T$. If $T$ is in addition compact , we have that $\sum_{n=1}^{{\infty}}{\lambda}_{n}\langle ...
1
vote
1answer
71 views

The operator matrix on Hilbert space

Let $H$ be a Hilbert space and $P$ be the projection operator, then $H= P(H)\oplus (1-P)(H)$. Hence, for each $T\in B(H)$, we have $$T=\left(\begin{array}{ccc} PTP & PT(1-P) \\ (1-P)TP ...
0
votes
2answers
183 views

Core for an unbounded operator.

A symmetric operator $T$ is called essentially self-adjoint if its closure $T$ is self-adjoint. If $T$ is closed, a subset $D \subset D(T)$ is called a core for $T$ if $\overline {T\upharpoonleft D} ...
3
votes
1answer
74 views

A easy question on projection operator

Let $H$ be a Hilbert space and $B(H)$ be all the bounded linear operators on $H$, for arbitrary $T\in B(H)$, if $\{P_{i}\}$ is an increasing net of finite-rank projection, can we conclude $P_{i}TP_{i} ...
3
votes
1answer
121 views

Projection operator in Hilbert space

Let $H$ be a Hilbert space, can we find an increasing net of finite rank projections which converge to the identity in the strong operator topology? And I think if $H$ is separable, we can find an ...
1
vote
1answer
130 views

Prove that — the range $R(T)$ of a bounded linear operator $T:X\to Y$ need not be closed in $Y$

Prove that the range $R(T)$ of a bounded linear operator $T:X\to Y$ need not be closed in $Y$.
2
votes
0answers
54 views

Continuity of a positive preserving operator between C(X) and C(Y)

I've been struggling with this question in Reed and Simon while I'm prepping for quals. Suppose that $T:C(X)\rightarrow C(Y)$ is a positive operator. Prove that T is continuous and $\Vert ...
1
vote
1answer
82 views

Rank of sum of projections

Let $(\varphi_j)$ be a linear independent sequence of elements of a Hilbert space, not necessarily orthogonal, but such that $$Kf := \sum_{j=1}^\infty \langle\varphi_j, f\rangle\varphi_j$$ converges ...
4
votes
1answer
122 views

Spectral decomposition of normal operator

Define $T$ from $L_{2}(R)$ into itself by $T(f)(t)=f(t+1)$. Show that $T$ is normal and finds its spectral decomposition. I've shown that $f$ is normal (in fact it's unitary) but how do I find its ...
1
vote
1answer
71 views

formula for the norm of a normal operator

In Rudin's Functional analysis, he does a theorem which shows that for a normal operator $\Vert T\Vert=\sup\left\{|\langle Tx,x\rangle|\colon \Vert x \Vert \leq 1\right\}$. Why can't $\Vert x \Vert ...
1
vote
0answers
32 views

Boundedness of a closed operator

Can I get any help with this problem: Let $X, Y$ be Banach spaces, let $D$ be a subspace of $X$, and let $A \colon D \to Y$ be a closed linear operator. If $D$ is a closed subspace of $X$, ...
3
votes
1answer
182 views

Showing that the space of Hilbert-Schmidt operators form a Banach space.

How do i show that the set of Hilbert-Schmidt operators $HS(H) = \{T \in B(H) \; : \; \sum^{\infty}_{n=1}\|Te_n\|^2 < \infty \}$ for some countable ONB $\{e_n\}$, on a separable Hilbert Space ...
1
vote
1answer
43 views

I want to show that some subset of $C([0,1])$ is equicontinous

First why the problem appeard. I want to show that the linear and continuous operator $T:C([0,1])\rightarrow C([0,1])$ , $ (Tf)(t)=\int_{[0,1]}k(t,s)f(s)ds$ where $k:[0,1]^2\rightarrow\mathbb R$ is ...
2
votes
1answer
61 views

Polar decomposition corollary

Let $T$ be a compact operator on an infinite dimensional Hilbert space. Let $|T|=(T^*T)^{0.5}$. By the polar decomposition theorem there is a partial isometry $S$ of the closure of Im$(|T|)$ such that ...
6
votes
3answers
213 views

Relation between $K$-theories

I apologize in advance if this question is too vague/general. I am curious to know how all of the different $K$-theories are related (algebraic $K$-theory, topological $K$-theory, twisted $K$-theory, ...
4
votes
0answers
114 views

Spectral decomposition of $TT^*$

On $l_{2}$ let $T$ be given by $Te_{n}=\frac{e_{n+1}}{n+1}$ where $(e_{n})_{n\ge1}$ is the canonical orthonormal basis. Find the spectral decomposition of $TT^*$. I find that ...
2
votes
1answer
109 views

Completeness and separability of $B(X)$ (bounded linear operators on $X$)

Assume $X$ is a separable Banach space with norm $|| \cdot||$. Consider $\{f_n\}_{n \in N}$ a countable dense subset of $X$ and equip $B(X)$ (bounded linear operators on $X$) with the following ...
6
votes
1answer
152 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 ...
4
votes
2answers
3k views

Baker-Hausdorff Lemma from Sakurai's book

I'd like to show that, given to hermitian operators $A,G$ on a Hilbert space $\mathscr{H}$, the following identity holds: $$ e^{iG\lambda}A e^{-iG\lambda} = A + i\lambda [G,A] + ...
2
votes
2answers
80 views

Has this theorem (on existence of inverse) an analogous for unbounded operators?

Let $S,T:X\to X$ be bounded linear operators, where $X$ is a Banach space. It's a consequence of the Banach Fixed Point Theorem that if $T$ is invertible and $\|T-S\|\|T^{-1}\|<1$ than $S$ is ...
0
votes
1answer
22 views

Image and Kernel of a certain bounded operator

Consider and Hilbert Space $X$, $T\in B(X)$ and a scalar $\mu$ s.t. $|\mu|=||T||$ By a simple argument I deduced that $\ker(\mu I- T)=\ker(\bar\mu I-T^*$) where $*$ denotes the adjoint. I am then ...
0
votes
0answers
58 views

Largest/smallest cross-norm: A simple question about cross-norms on tensor products of Banach spaces.

This is a very simple dumb question as I’m completely new to the topic. I was reading Wikipedia’s entry on “Topological Tensor Products”, and there’s one thing I’m confused about. Let $ A $ and $ B $ ...
4
votes
0answers
49 views

In which cases the spectrum of an operator contains only eigenvalues?

Let $X\neq \{0\}$ be a complex normed spaces (not necessarily finite-dimensional) and $T:D(T)\subset X\to X$ a linear operator (not necessarily bounded). I would like to know under what conditions can ...