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

0
votes
1answer
28 views

Proving an identity of the Lebesgue integral of a sublinear operator

Let $T$ be a sublinear operator. Suppose that $f\in L^{1}(\mathbb{R}^{n})$ and $A$ is a set of finite Lebesgue measure. Then I want to prove that for all $0<p<1$, we have $$\int_{A}|T(f)(x)|^{p}...
2
votes
1answer
67 views

The strong topology on $U(\mathcal H)$ is metrisable

The strong operator topology on a Banach space $X$ is usually defined via semi-norms: For any $x \in X$, $|\cdot|_x: B(X) \to \mathbb R, A \mapsto \|A(x)\|$ is a semi-norm, the strong topology is the ...
1
vote
0answers
65 views

The reduction of nilpotency order of nilpotent elements of $C^{*}$ algebras

Assume that $A$ is a unital $C^{*}$-algebra. Let $a\in A$ be a nilpotent element with $$a^{k}=0,\;\;k>1.$$ Are there two elements $x,y\in A$ with $a=xy,\;\;(yx)^{k-1}=0$? Motivation for ...
3
votes
2answers
30 views

Is the range of a self-adjoint operator stable by its exponential?

Let $H$ be an Hilbert space, and $A \in L(H)$ be a bounded linear self-adjoint operator on $A$. We assume that $R(A)$, the range of $A$, is not closed. Is it true or not that $R(A)$ is stable by $e^{-...
3
votes
1answer
59 views

If $Q$ is an operator on a Hilbert space with $Qe_n=λ_ne_n$ for all $n$, then $Q^{-\frac 12}e_n=\frac 1{\sqrt{λ_n}}e_n$ for all $n$ with $λ_n>0$

Let $(U,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a separable Hilbert space $\mathfrak L(U)$ be the set of bounded and linear operators on $U$ $Q\in\mathfrak L(U)$ be nonnegative and symmetric $(e_n)_{...
0
votes
1answer
51 views

If $Q$ is an operator on a Hilbert space $U$, $(e_n)$ is an ONB of $U$ consisting of eigenvectors of $Q$, then $(Q^{1/2}e_n)$ is an ONB of $Q^{1/2}U$

Let $(U,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a separable Hilbert space $Q$ be a bounded, linear, nonnegative and symmetric operator on $U$ $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $U$ ...
1
vote
0answers
24 views

Solvable Schrödinger operator

I am currently looking for an example of a 1-dimensional Schrödinger Operator $-\frac{d^2}{dx^2} + V(x)$ with the following properties: 1) V(x) must be integrable 2) $-\frac{d^2}{dx^2} +V(x)$ must ...
1
vote
2answers
25 views

On connection of distance to finite rank operators and singular values.

Im trying to understand why the following; $s_n(T) = \inf\big\{\, \|T-L\| : L\text{ is an operator of finite rank }<n \,\big\}$ where $s_{n}$ are nth singular values, is a plausible claim to ...
1
vote
0answers
38 views

What are eigenvalues/eigenfunctions of a “pointwise product” operator

Let us consider the Hilbert space $l^2([0,1])$ with inner product $<u,v>=\int_0^1 u(x)v(x)\mathrm dx$. We define a pointwise product operator $A$ as $(A\circ u)(x)=a(x)\cdot u(x)$, where "$\cdot$...
1
vote
0answers
28 views

Is there a sample-path continuous stochastic process whose sample paths do not almost surely lie in an RKHS?

Let $f$ be a mean zero second-order stochastic process with continuous covariance function $k$, that is indexed on a separable metric space $\mathcal{X}$ and that is sample-path continuous. Can we ...
6
votes
1answer
119 views

Can $xy$ and $yx$ lie in different connected components of the group of invertible elements of an algebra?

What is an example of a Banach or $C^{*}$ algebra $A$ which has two invertible elements $x, y$ such that $xy$ can not be connected to $yx$ in $G(A)$, the space of invertible elements of $A$. A ...
2
votes
0answers
21 views

Image density in spectral theory

The operator $T$ is $\dfrac{d}{dt}$ and $$\left\{\begin{array}{lc}x'(t)-\lambda x(t)=-y(t)\\ x(0)=0\end{array}\right.$$ and the domain of $T$ is $D(T)=\{x\in L^2(0,\infty):\; x\; \text{absolutely ...
3
votes
0answers
40 views

Given a linear Hilbert-Schmidt embedding $ι$ between Hilbert spaces, prove that $ιι^*$ is a bounded, linear operator with finite trace

Let $(U,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a separable Hilbert space $Q$ be a bounded, linear, nonnegative and symmetric operator on $U$ $U_0:=Q^{\frac 12}(U)$, $$\langle u,v\rangle_0:=\langle Q^...
3
votes
1answer
39 views

Showing that a linear operator is closed

Consider the linear operator $A:D(A)\subset X\to X$. I want to show that $(\lambda I-A)$ is closed given that $(\lambda I-A)$ is invertible. We know that $(\lambda I-A)^{-1}$ is closed. Now if we let ...
1
vote
1answer
64 views

$T\colon L^2[0,1] \to L^2[0,1]$ be a bounded linear map of Hilbert spaces such that if $f\in L^2[0,1]$ is continuous then so is $Tf$. [closed]

Let $T\colon L^2[0,1] \to L^2[0,1]$ be a bounded linear map of Hilbert spaces such that if $f\in L^2[0,1]$ is continuous then so is $Tf$. Show that there is a constant $C$ such that $$\sup_{x\in[0,1]}|...
0
votes
0answers
38 views

If $Q$ is an operator on a Hilbert space $U$, $U_0:=Q^{1/2}(U)$ and $(e_n)_n$ is a basis of $U_0$, then $u↦\sum_na_n(u,e_n)_0e_n$ is an embedding

Let $(U,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a separable Hilbert space and $\left\|\;\cdot\;\right\|$ be the norm induced by $\langle\;\cdot\;,\;\cdot\;\rangle$ $Q$ be a bounded, linear, ...
2
votes
0answers
36 views

How to show the lifting property of an operator described in its ellipticity

Consider Soblev spaces as special cases of Besov spaces characterized by wavelets, $H^s = B^s_{2,2}$. I want to prove the following statement. For a positive definite self-adjoint operator $A$, if ...
5
votes
1answer
57 views

Are all operators to or from $\ell_1$ completely continuous?

Let $E$ and $F$ be two Banach spaces, and let $T \in \mathcal{L}(E, F)$. Consider the following property (P). For every weakly convergent sequence $(u_n)$ in $E$, $u_n \rightharpoonup u$, then $...
2
votes
1answer
72 views

Can all compact subsets of $\mathbb{C}$ be spectra of a bounded operator on $C[0,1]$?

Let $K$ be a non-empty compact subset of $\mathbb{C}$, the complex field. Does there exist an operator $A\in \mathscr{B}(C[0,1])$ such that $\sigma(A)=K$? $A$ is a multiplication operator iff $K$ is ...
0
votes
0answers
15 views

Existence of nuclear dominating positive definite kernel

Let $\mathcal{X}$ be a metric space and $k: \mathcal{X} \times \mathcal{X} \to \mathbb{R}$ a continuous positive definite kernel. Can we always find a positive definite kernel $r$ such that $r \gg k$ (...
2
votes
2answers
40 views

Is a self-adjoint operator continuous on its domain?

Let $H$ be a Hilbert space, and $A : D(A) \subset H \rightarrow H$ be an unbounded linear operator, with a domain $D(A)$ being dense in H. We assume that $A$ is self-adjoint, that is $A^*=A$. Since $...
3
votes
0answers
23 views

Binormal operator - equivalent definitions?

I have seen two different definitions of a binormal operator A. A is unitarily equivalent to a block 2x2 matrix of commuting normal matrices. AA* commutes with A*A. I am hoping these definitions ...
2
votes
2answers
118 views

How does the general spectral theorem generalize the simpler versions?

I read the following version of the spectral theorem in Banach Algebra Techniques in Operator Theory by Douglas: I'm trying to understand why this is a generalization of the following version, ...
0
votes
1answer
33 views

Reference request: Every vector subspace of codimension $1$ of a vector space $A$, is the kernel of some nonzero functional $f$.

I know the following statement is true, but I am looking to find a good reference that proves this quite nicely Every vector subspace of codimension $1$ of a vector space $A$, is the kernel of ...
4
votes
3answers
150 views

How do I get $\|x\|\le C\|y\|$ in this case?

I feel that the title is a bit uninformative, please feel free to edit it. This is a problem related to the Open Mapping Theorem. Let $T:X\to Y$ be a bounded linear operator from a Banach space X to ...
1
vote
0answers
12 views

$V(A)$ semi group of equivalent projections in $M_∞(A)$ cancelative?

I found in the book of Murphy, C*- Algebras and Operator Theory, the Theorem 7.1.2 : the semi group $V(A)$ of equivalent projections (under Murray Von Neumann equivalence) in $M_∞(A)$ is ...
1
vote
0answers
75 views

Difference between Schmidt decomposition and singular value decomposition

Schmidt decomposition of an operator is a useful tool of quantum information theory nowadays. Let $O$ be an operator acting on the Hilbert space $\mathcal{H}_{d_1} \otimes \mathcal{H}_{d_1}$. $\...
0
votes
1answer
78 views

$e^{(A+B)} = e^Ae^Be^{[A,B]}$ for non commuting A and B?

For non commuting A and B, and the derivative of $[A,B] = 0$. Is it true that/how to prove that $e^{(A+B)} = e^Ae^Be^{[A,B]}$ If not, what is the expression according to Wikipedia's article on the ...
1
vote
1answer
64 views

support of an operator on a Hilbert space

Let $x\colon\mathcal{H}\to\mathcal{H}$ be a self-adjoint operator, the support $s(x)$ of $x$ is defined as the smallest projection $e\in B(\mathcal{H})$ such that $ex=xe=x$. Let $x=\int\lambda \, ...
2
votes
1answer
67 views

Does $AB=(AB)^{\ast}$ and $A=A^{\ast}$ implies $B=B^{\ast}$?

Suppose that we have $AB=(AB)^{\ast}$ and $A=A^{\ast}$, does this implies that $B=B^{\ast}$? ($A^{\ast}$ is the Hermitian adjoint of $A$.) I have a feeling that they might not be equal in general. ...
0
votes
0answers
24 views

Norm convergence of a net of operators

Let $T$ be a positive operator in B(H). For every $\epsilon >0$, define $T_{\epsilon}:=(T+\epsilon I)^{-\frac{1}{2}}$. This makes sense since the spectrum of $T$ lies in $[\epsilon,\infty)$. Let $S$...
3
votes
2answers
88 views

Intuition behind: Integral operator as generalization of matrix multiplication

So I am teaching myself more in-depth about integral operators and every once and awhile I see this little 'factoid', that integral operators are generalizations of matrix multiplications. In ...
2
votes
1answer
41 views

A relation between two properties of sequences of operators

We have $(T_l)_l$ a sequence of bounded linear operators from $\ell^2$ to $\ell^2$. $\bullet$ We say $(T_l)_l$ satisfies the property "A" if $\sup_{||x||_{\ell^2}=1}\sum_{l=1}^\infty||T_l(x)||^2<\...
4
votes
1answer
65 views

Idempotents which are not Murray-von Neumann equivalent to its adjoint

What is an example of a $C^{*}$ algebra with an idempotent $e$ such that $e$ is not Murray-von Neumann equivalent to $e^{*}$?
3
votes
1answer
44 views

Algebra of Linear differential operators, question on Commutativity and Association

The following is a discussion on the following second differential equation $$ \frac{dy^2}{dx} - y = 0 $$ So, let us introduce the following, convention and definition, represent the derivative ...
0
votes
0answers
28 views

Distance from image of bounded operator

Let $A:H\rightarrow H$ be a bounded linear operator on Hilbert space $H$. Suppose we have $x\in H$ and $r>\mathrm{dist}(x,A(H))=\inf\{\|x-Ah\|,\ h\in H\}$. How to prove that then there exist ...
3
votes
2answers
63 views

Composition involving bounded linear operators

I recently come across the following statement mentioned in a proof: Let $X,Y$ be normed linear spaces and $T:X \rightarrow Y$ be a linear operator. if for every bounded linear functional $U: Y \...
0
votes
1answer
51 views

infimum of operator norms of iterations of linear operators

I am currently reading a proof in which a fact is used without proof: For a Banach space $X$ and a bounded linear operator $T: X \to X$, $$ \lim_{n \to \infty} \| T^n \|^{\frac{1}{n}} = \inf_{n ...
1
vote
2answers
48 views

Matrix of linear operator in different bases [PMA Rudin]

$\mathbf{9.35}\quad$ Theorem $\ \; $ If $[A]$ and $[B]$ are $n$ by $n$ matrices, then $$\det([B][A])=\det[B]\det[A].$$ $\mathbf{9.36}\quad$ Theorem $\ \; $ A linear operator $A$ on $R^n$ is ...
0
votes
0answers
21 views

the c*-algebra generated by a closed ideal and a c*-subalgebra

If $\mathscr{A}$ is an unital c*-algebra, $I$ is a closed ideal of $\mathscr{A}$ ,and $\mathscr{B}$ is a unital c*-subalgebra of $\mathscr{A}$ . Show that the c*-algebra generated by $I\cup\mathscr{B}...
2
votes
1answer
44 views

the c*-algebra generated by the Volterra operator

Let V be the Volterra operator on $\mathscr{L^2(0,1)}$.$V(f)(x)=\int_{0}^{x}{f(y)dy}$. Show that $C^*(V)$, the smallest C* algebra generated with V, is $\mathbb{C}+\mathscr{B_0(L^2(0,1))}$ where $\...
0
votes
2answers
48 views

Spectral radius and dense subspace

Let $X$ be a Banach space, and let $E$ be a dense subspace of $X$. Let $A: X \to X$ be a bounded operator on $X$ that maps $E$ to itself. Assume that the spectral radius of $A$ restricted to $E$ is $...
3
votes
0answers
115 views

Complex Root of Unity Analogue of Forward Difference Operator

In my studies I have come across a couple of operators; in particular; $$\Delta[f(x)]=f(x+1)-f(x)$$ $$\Delta^*[f(x)]=f(x+1)+f(x)$$ $\Delta$ has been called the Forward Difference Operator. I was ...
21
votes
1answer
518 views

Factorial of a matrix: what could be the use of it?

Recently on this site, the question was raised how we might define the factorial operation $\mathsf{A}!$ on a square matrix $\mathsf{A}$. The answer, perhaps unsurprisingly, involves the Gamma ...
1
vote
0answers
36 views

Convolution operator is normal

Consider the convolution operator $$Tf(s)=\frac{1}{2\pi}\int_0^{2\pi}f(t)h(s-t)\,\,dt,\quad f\in L^2[0,2\pi]$$ where $h:\Bbb R\to \Bbb C$ is a $2\pi$-periodic function, square integrable on $[0,2\pi]$....
1
vote
1answer
38 views

Support of a normal pure state is a rank one projection

Let $\phi$ be a normal pure state on a w*-algebra $M$ and $\{\pi, \xi, H\}$ its GNS representation associated to $\phi$. Suppose projection $e$ is the support of $\phi$. Show that $\pi(e)$ is a rank ...
5
votes
1answer
57 views

Continuous but not compact operator on $L^2(0,\infty)$

Define the following operator on $L^2(0,\infty)$: $$Tf(x)=\frac{1}{x} \int_0^xf(y)dy,\quad f\in L^2(0\infty).$$ I would like to see that it is continuous but not compact. So, this is an integral ...
4
votes
0answers
45 views

Finite dimensional Banach algebras whose $K_{0}$ group is a non trivial finite group

Motivated by this question we ask Is there a finite dimensional Banach algebra $A$ such that $K_{0}(A)$ is a nontrivial finite group? I understand from the above link and this post that any ...
1
vote
1answer
34 views

Closed ideals in $\mathbb B(H)$

Let $\mathbb{H}$ be a non-separable Hilbert space. If $\alpha$ is an countably many infinite cardinal number, let $I_{\alpha}=\{A\in \mathbb{B(H)}\:dim~ cl(ran A)\le \alpha\}.$ Show that $I_{\alpha}$...
2
votes
1answer
30 views

Positive self-adjoint operators and norm resolvent convergence

I recently came across a reference to the following Theorem (Simon/Reed, Methods of Modern Mathematical Physics, viii.25) and am now trying to figure out a proof for it: If $A_n$ and $A$ are positive ...