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

1
vote
1answer
9 views

Spectrum of weighted shift operator

The Banach space considered is the following: $(l^{\infty}(\mathbb{Z}), \|\cdot\|_{*})$ with $\|x\|_{*}=\|(...,x_{-1},x_{0},x_{1},...)\|_{*}=|x_{0}|+\text{sup}_{k\neq 0}|x_{k}|$. Define $A$, an ...
1
vote
1answer
31 views

Continuous functional on the linear operator

Let $\Pi, \hat \Pi$ be two linear operators from $U$ to $V$. The norm-distance is defined as $$||\hat \Pi- \Pi||=\sup_{x\in U}\frac{||(\hat \Pi- \Pi)x||}{||x||}$$ Let us define a continuous bounded ...
0
votes
1answer
21 views

Reference for solving linear operator equations

I'm interested in solving an equation of the form $$ Ax = b $$ for some bounded linear operator $A: H_1 \mapsto H_2$ where $H_1, H_2$ are some Hilbert spaces. I've seen in this math.SE post in ...
0
votes
1answer
30 views

Direct Sum: Stone

Problem Given Hilbert spaces $\mathcal{H}_\alpha$. Consider Hamiltonians: $$H_\alpha:\mathcal{D}H_\alpha\subseteq\mathcal{H}_\alpha\to\mathcal{H}_\alpha:\quad H_\alpha=H_\alpha^*$$ And their ...
0
votes
1answer
15 views

Is the identity in unital, simple, purely infinite $C^*$-algebra always infinite?

I'm trying to prove that the identity, $I$, of a unital, simple, purely infinite $C^*$-algebra is always an infinite projection. What I'm hoping is that the following is true: If $p$ in ...
5
votes
1answer
449 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: ...
1
vote
1answer
27 views

The inverse limit of C$^*$-algebras and whether it commutes with taking the minimal tensor product

Suppose we are given a C$^*$-algebra $A$ and a family of C$^*$-ideals $\mathfrak{I}$ that is upwards directed when ordered by reverse inclusion (i.e. for any $I_1,I_2\in\mathfrak{I}$ there exists a ...
2
votes
0answers
87 views
+100

Polar Decomposition: Adjoint

Problem Given Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$. Consider a closed operator: $$A:\mathcal{D}(A)\subseteq\mathcal{H}\to\mathcal{K}:\quad A=A^{**}$$ And its decompositions: ...
1
vote
1answer
85 views

Spectral Measures: Square Root

Isometric Equality Given a Hilbert space $\mathcal{H}$. Consider a closed operator: $$A:\mathcal{D}(A)\to\mathcal{H}:\quad A=A^{**}$$ Denote for shorthand: $$H:=A^*A:\quad H=H^*$$ Regard elements: ...
2
votes
1answer
52 views

Polar Decomposition: Unitarity

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).
0
votes
1answer
60 views

Trace: Independence

Problem Given a Hilbert space $\mathcal{H}$. Consider an operator: $$A\in\mathcal{B}(\mathcal{H}):\quad\operatorname{Tr}|A|<\infty$$ Regard ONB's: ...
1
vote
1answer
31 views

Square root of a compact normal operator

Halmos expresses below problem in his book; Problem: If $A$ is a normal operator and if $A^n$ is compact for some positive integer $n$, then $A$ is compact. I have an example in my mind which I ...
4
votes
1answer
169 views

Non strictly singular operators

Let $X$ be a separable Banach space and let $T:X\to X$ be a bounded operator that is not strictly singular. Can we always find an infinite dimensional, closed, and complemented subspace $Y$ of $X$ ...
0
votes
1answer
17 views

How to prove this “local invertibility” theorem for bounded linear operators?

The theorem states that, suppose $X,Y$ are complete normed vector spaces, if $\mathscr A_0\in \mathscr L(X;Y)$ is invertible (i.e., $\exists \mathscr A_0^{-1}\in\mathscr L(Y;X)$ s.t. $(\mathscr ...
1
vote
1answer
34 views

Is it true $\lambda_i(f(A))=f(\lambda_i(A))$ for non-negative and non-decreasing function on $[0,\infty)$

I am wondering is it next true: Suppose that $f(t)$ is non-negative and non-decreasing function on $[0,\infty)$ and let $A$ be a positive operator on some infinite-dimensional separable Hilbert ...
1
vote
1answer
46 views

Trace of the exterior powers of linear operators

Given linear operators $K_1,\ldots,K_m$ on a Hilbert space $\mathcal H$, what can we say about the trace of their exterior product $Tr \,(K_1\wedge \cdots \wedge K_m)$ ? More precisely: 1) If we ...
1
vote
1answer
90 views

Compact Operators: Trace

Given a Hilbert space $\mathcal{H}$. Consider a bounded operator: $$A:\mathcal{H}\to\mathcal{H}:\quad\|A\|<\infty$$ Regard ONB's: ...
1
vote
1answer
18 views

Are they true these generalizations from matrices to operators about functional calculus?

Motivation: If we have some real function $f$ defined on an interval $I$ and $D=\operatorname{diag}(\lambda_1,\ldots,\lambda_n)$ is a diagonal matrix such that $\lambda_i \in I$ for all $1\leqslant i ...
0
votes
0answers
28 views

Prob. 10, Sec. 4.5 in Kreyszig's Functional Analysis: How to relate this result to solution of equations?

Let $T \colon X \to Y$ be a bounded linear operator, where $X$ and $Y$ are normed spaces, both real or both complex; let $B$ be a subset of the dual space $X^\prime$ (i.e. the normed space of all the ...
3
votes
0answers
39 views

Physical meaning of Rudin's equation in Hilbert space

Rudin's Functional Analysis, p. 334, Corollary of Theorem 13.10 says Corollary If $a\in H$ and $b\in H$, the system of equations $$-Tx+y=a$$ $$x+T^*y=b$$ has a unique solution with $x\in ...
0
votes
1answer
101 views

Firm non-expansiveness in the context of proximal operators

$\newcommand{\prox}{\operatorname{prox}}$ Probably the most remarkable property of the proximal operator is the fixed point property: The point $x^*$ minimizes $f$ if and only if $x^* = \prox_f(x^*) ...
0
votes
2answers
30 views

Ordering : Ranges

Given a Hilbert space $\mathcal{H}$. Consider operators: $$A,A'\in\mathcal{B}(\mathcal{H}):\quad A=A^*\quad A'=A'^*$$ Introduce an ordering: $$A\leq A':\iff\sigma(A'-A)\geq0$$ Then one has: $$0\leq ...
3
votes
1answer
46 views

What is the precise difference between functions and operators?

I have heard affirmatively that all operators are functions, but not all functions are operators. But at the same time I have heard that functions map numbers to numbers, whereas operators map ...
1
vote
2answers
29 views

Does for $T \in B(X)$ with $\|T\|>1$ exist $T^{-1}$?

Is it true if $\|T\|>1$, where $T \in B(X)$ for some Banach space $X$, then $T^{-1}$ exists? I suppose that for $\|T\|=1$ this isn't true? Because, if we suppose that inverse exists for such ...
0
votes
2answers
39 views

Can I always write a bounded operator $T$ as $T=R^{*}S$

If $K$ and $H$ are Hilbert spaces and $T\in B(K)$, can I always express $T$ as a linear combination of products $R^{*}S$ for $R,S \in B(K,H)$ ? I think I already showed this is true when $K$ and $H$ ...
1
vote
0answers
24 views

Conditions for an operator on a Hilbert space to have an orthonormal set of eigenfunctions

I'm working on a problem that requires the following operator, $A^TA$, to have an orthonormal set of eigenfunctions. Note $A:H_1 \mapsto H_2$, where $H_1$ and $H_2$ are separable Hilbert spaces. ...
0
votes
0answers
17 views

Showing the space of $\beta$-operators between Banach lattices is a Banach space [on hold]

Let $E,F$ be a Banach lattices. A linear map $T:E \rightarrow F$ is called $\beta$-operator if $\lVert T\rVert_\beta < \infty$, where $$\lVert T\rVert_\beta := \sup \bigl\{ \bigl\Vert ...
2
votes
1answer
71 views

Closure of the Hamilton's operator $(Hf)(x)=\frac{1}{2}f''(x)-V(x)f(x)$ with $C_c^\infty(\mathbb{R}, \mathbb{C})$ domain

Let $V \in C_{b}^{1}(\mathbb{R}, \mathbb{R})$ be a differentiable function bounded with its first derivative and $H$ be a Hamilton's operator such that: $$(Hf)(x)=\frac{1}{2}f''(x)-V(x)f(x)$$ The ...
3
votes
1answer
25 views

What is the $w^{*}$-closure of the finite rank operators in $B(H)$?

I know that the norm closure of the finite rank operators on a Hilbert space is the compact operators $K(H)$. I've been trying to determine what is the $w^{*}$-closure but I am not getting any good ...
-1
votes
1answer
47 views

Strong operator topology convergence [on hold]

Fix an orthonormal basis $\{e_n:n\geq1\}$ for Hilbert space $H$. a) Show that $0$ belongs to weak closure of $\{\sqrt{n}e_n:n\geq1\}$. b) let $\{n_i\}$ be a net of integers such that ...
7
votes
1answer
112 views

Essential Selfadjointness of Quantum Harmonic Oscillator Hamiltonian

The Hamiltonian for the Quantum Harmonic Oscillator is (disregarding constants) the Hermite operator $$ Hf = -f''+x^{2}f, $$ where $\mathcal{D}(H)$ consists of all twice absolutely ...
-1
votes
1answer
51 views

What's the dual of a direct sum? [on hold]

I found here two different answers for this question. Which one is it? (I am referring to the dual space of a direct sum). answer1 and answer2
4
votes
1answer
761 views

What is the difference between an isometric operator and a unitary operator on a Hilbert space?

It seems that both isometric and unitary operators on a Hilbert space have the following property: $U^*U = I$ ($U$ is an operator and $I$ is the identity operator) What is the difference between ...
1
vote
2answers
118 views

Example of a net in $\mathcal{B}(\ell_2)$ that converges in the weak operator topology but not in the strong operator topology?

I need to show that the Strong Operator topology is strictly stronger in $\ell_2$ (space of complex sequences that are square summable). I can show that convergence in the strong operator topology ...
9
votes
1answer
129 views

Stochastic kernel as linear operator

Let $K$ be a stochastic kernel for a set $S$ equipped with a countably generated $\sigma$-Algebra $B(S)$, i.e. $K:S\times B(S)\rightarrow [0,1]$ such that $K(\cdot,A)$ is a measurable function for ...
2
votes
1answer
39 views

Normal Operators: Von-Neumann

Given a Hilbert space $\mathcal{H}$. Consider normal operators: $$N:\mathcal{D}N\subseteq\mathcal{H}\to\mathcal{H}:\quad N^*N=NN^*$$ Regard their algebra: ...
1
vote
1answer
26 views

Continuity of multiplication of operators in the strong operator topology - find an error

I need help in finding the mistake in the following reasoning. I proved that if dimension of Banach space $X$ is infinite, then multiplication of bounded operators is separately continuous but not ...
0
votes
1answer
22 views

Uniform Boundedness: Nets

I thought so far that the uniform boundedness principle applies (according to the proof I know) to any net of bounded operators. Now I read that this works for sequences only. Can you shortly explain ...
0
votes
2answers
22 views

How to represent non-linear operators computationally?

I have a finite dimensional vector space V, and want to compute a non-linear operator $R: V \rightarrow V$. I want to have a "general" form of this operator R. I think of the following series ...
34
votes
0answers
2k views
+50

Limit of sequence of growing matrices

Let $$ H=\left(\begin{array}{cccc} 0 & 1/2 & 0 & 1/2 \\ 1/2 & 0 & 1/2 & 0 \\ 1/2 & 0 & 0 & 1/2\\ 0 & 1/2 & 1/2 & 0 \end{array}\right), $$ ...
0
votes
1answer
59 views

Projections: Beppo Levi

Given a Hilbert space $\mathcal{H}$. Consider projections: $$P_\lambda\in\mathcal{B}(\mathcal{H}):\quad P_\lambda^2=P_\lambda=P_\lambda^*$$ And directed indices: ...
2
votes
0answers
69 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. ...
10
votes
1answer
410 views

Selfadjoint compact operator with finite trace

I have a compact selfadjoint operator $T$ on a separable Hilbert space. For some fixed orthonormal basis, the operator's diagonal is in $\ell^1(\mathbb{N})$. Can we conclude that $T$ is trace ...
1
vote
0answers
49 views

The maximum of a functional

Is the following statement true or false? $$ \max F \left( \theta \right)= \int_{\rho_{min}}^{\rho_{max}} g \left( \rho \right)\pi\left(\rho,\widehat{\theta \left( \rho \right)} \right)d\rho$$ ...
1
vote
0answers
34 views

Sot convergence of a net

The following are exercises of Conway's operator theory: I proved both exercises, but I confused about this point that in exercise 8, $T_i\to 0$ (sot), so based on exercise 6, $T_i^2 = T_i.T_i\to ...
0
votes
0answers
11 views

SOT density of finite rank operators in B(H) [closed]

Show that finite rank operators on a Hilbert space $H$ is SOT dense (strong operator topology) in $B(H)$.
0
votes
2answers
22 views

Existence of unique solution in Banach space

Let $X$ be a Banach space and let $L : X → X$ be a bounded linear operator. Are there situations where $||L||>1$ for which there is a unique solution to $x=Lx+b$? Explain your answer. My attempt: ...
1
vote
0answers
25 views

Norm of a product of projections in a Banach space

Let $X$ be a Banach space and let $P_1,P_2$ be two projections in $B(X)$, i.e., $P_1^2 = P_1, P_2^2=P_2$. My question: under what conditions do we have that $\Vert P_1 P_2 \Vert = \sqrt{\Vert P_2 ...
2
votes
2answers
53 views

Norm of the integral operator in $L^2(\mathbb{R})$.

Suppose we have an integral operator $A$ such that $$Af(x) = \frac{1}{\sqrt{2\pi}}\int\limits_{\mathbb{R}}e^{-\frac{(x-y)^2}{2}}f(y)dy$$ To find $\|A\|$ we can use the unitary Fourier transform $F$, ...
0
votes
1answer
59 views

Operator inequality [closed]

I would be most thankful if you could help me prove the following inequality. Let $A$ be a linear Hermitian positive operator on a Hilbert space. Then show that $$\langle x,A^{2}x\rangle\geq \langle ...