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
0answers
38 views

What is the idea behind interpolation spaces?

I am working through a text on Numerics for SPDEs and there the concept an interpolation (Hilbert-)space associated to an operator is used. To be specific: Definition. Let $H$ be an ...
2
votes
1answer
57 views

Finite rank volterra operator

I am wondering when a Volterra integral operator $V_K:L_2(0,1)\to L_2(0,1)$ is a finite rank operator: $$V_Kf=\int_0^xK(x,y)f(y)dy$$ thanks in advance for your help
1
vote
1answer
55 views

Continuous operator between Banach spaces, closed range

I have some problems proving the following: $T: X \rightarrow Y$ is a continuous, linear operator between Banach spaces. Prove that $T$ is surjective $\iff$ $T^* : Y^* \rightarrow X^*$ is injective ...
1
vote
0answers
42 views

Nature of the infinite differential sum operator?

Consider the operator $$ Hf = f + f' + f'' +\cdots = \sum_{i=0}^\infty \left[ \frac{d^i f}{dx^i}\right] $$ I am trying to determine what $ Hf $ is entirely in terms of $f$. I note the following ...
0
votes
0answers
42 views

Invariant subspace of bounded self-adjoint operator

Assume that we have a self-adjoint operator $T: H \rightarrow H$ with a representation $T(x) = \sum_{n=0}^{\infty} \lambda_n \langle x , x_n \rangle x_n,$ so we have pure point spectrum. Now, I was ...
1
vote
1answer
39 views

Invariant subspace of self-adjoint operator

Assume that we have a self-adjoint operator $T: H \rightarrow H$ with a representation $T(x) = \sum_{n=0}^{\infty} \lambda_n \langle x , x_n \rangle x_n,$ so we have pure point spectrum. Now, I was ...
0
votes
0answers
23 views

Ask for the name of a condition on commutator of two operators

Let $T, S$ be two bounded linear operators on a Hilbert space. I wonder whether there is a standard way referring the following condition: $$ \text{The commutator $[T, S]$ is in the Hilbert-Schmidt ...
0
votes
0answers
17 views

Group operator f where the notion of $f^{-1}$ is well defined and easily computable

I am reading a small part of text, related to algorithms: We may state the problem of range queries in the following way: a range query $q_f(A,i,j)$ on an array $A=[a_1,a_2,..,a_n]$ of n ...
2
votes
1answer
48 views

Von Neumann algebra generated by a subalgebra

Let A be a C*-algebra of operators on a Hilbert space H. Show that if $A\subset K(H)$, then $\{A'\cap K(H)\}'\cap K(H) = A$ I do not have any idea about it. Please give me a hint. Thanks.
5
votes
0answers
51 views

Pointwise approximation of a closed operator

If $T:\mathcal D(T) \rightarrow \mathcal Y$ is a closed operator from a Banach space $\mathcal X$ to a Banach space $\mathcal Y$, is it possible to find bounded operators $T_n\in \mathscr B(\mathcal ...
0
votes
1answer
28 views

Show that a nondegenerate *-Banach algebra is a C*-algebra

Takesaki in his operator theory says A C*-algebra $M$ of operators on Hilbert space $H$ means a nondegenerate ( $\text {cl} (MH) = H$) $*-$ subalgebra of $B(H)$ which is closed under the uniform ...
0
votes
0answers
47 views

Semigroups: Entire Elements (II)

Problem Given a Banach space $E$. Consider a contraction C0-group: $$T:\mathbb{R}\to\mathcal{B}(E):\quad\|T(t)x\|\leq\|x\|$$ Define its generator by: $$Ax:=\lim_{h\to0}\frac{1}{h}(T(h)x-x)\in E$$ ...
3
votes
1answer
59 views

Question about $C_0(X)$-algebras and $C_b(X)$.

Let $X$ be a locally compact Hausdorff space. Denote by $C_0(X)$ its C*-algebra of continuous functions that vanish on infinity and by $C_b(X)$ its C*-algebra of bounded functions. Now, let $A$ be a ...
2
votes
2answers
147 views

Every normal operator on a separable Hilbert space has a square root that commutes with it

Show that every normal operator on a separable Hilbert space has a square root that commutes with it. Uniqueness? My attempt: Let $T$ be a normal operator. By polar decomposition $T=U|T|$ where ...
0
votes
1answer
34 views

Image of a projection

Show that $\lambda$ is an eigenvalue for normal bounded linear operator $N$ on Hilbert space $H$ with spectral measure $E$ iff $E(\{\lambda\})\neq 0$, in which case the range of $E(\{\lambda\})$ is ...
1
vote
1answer
67 views

On the weak closure of a sequence of projections

Let $H$ be a Hilbert space with $\text{dim}=\infty$ , and $\{e_n\}$ be an orthogonal sequence of projections in $B(H)$. Show that $\{\sqrt{n}e_n ; n\geq 1\}$ does not admit a subsequence converging to ...
0
votes
0answers
34 views

Spectral decomposition of a an Operator on $\mathcal{L}(l^2(\mathbb{N})$

I have an exercise, where I do not really know how to solve it. Let $\{\lambda_n\}_n$ be a counting of the rational numbers in $[0,1]$ and define a bounded self-adjoint operator $T$ on ...
0
votes
1answer
40 views

Unique solution of $(L+\alpha I)z=y$

Let $L:X \rightarrow X$ be a bounded linear operator with bounded-inverse. How we can show that $(L+\alpha I) z= y $ has a unique solution for sufficiently small $\vert \alpha \vert$? If $Lx=y$, ...
0
votes
0answers
44 views

Power of positive operator

Let $H$ be a complex Hilbert space and $B(H)$ be the space of all bounded linear operator on $H$. Let $T\in B(H)$ be a positive operator ($\langle Tx,x\rangle\geq0$ for all $x\in H$) and $\alpha\in ...
0
votes
2answers
52 views

Bounded or unbounded operator?

Consider the operator $A\colon\ell^2\to\ell^2$ defined by $Au=(ku_k)$. Normally, this is not well-defined, since $(1/k)_{k=1}^\infty\in\ell^2$ but $A(1/k)=(1,1,\ldots)\notin\ell^2$; however, if one ...
2
votes
2answers
86 views

K-theory formulation of the index theorem

The Atiyah-Singer index theorem is one of the most important results in twentieth century's mathematics. It states that for an elliptic differential operator $D$ on a smooth, oriented compact manifold ...
0
votes
0answers
31 views

Construction of direct sum of Hilbert spaces

The following is a theorem of Takesaki's operator theory: I do not know why he puts $\bar H$ instead of $H$ for $n=-1,-2,\ldots\,{}$. Please help me. Thanks.
1
vote
0answers
23 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 ...
1
vote
0answers
24 views

States: Liouvilleans

Given a C*-algebra $\mathcal{A}$ with dynamics $\tau$. Consider an invariant state: $\omega\circ\tau^t\equiv\omega$ Then the dynamics is unitarily implementable: ...
1
vote
0answers
42 views

Weak operator topology is the smallest topology on $B(H)$

Show that weak operator topology is the weakest locally convex topology on $B(H)$ such that every $\phi\in F(H)$ is continuous. (F(H) means finite rank operators on $H$). To show it , let $\tau$ ...
1
vote
0answers
36 views

Closed unit ball of $B(H)$ with wot topology is compact

The following is a Theorem of Conway's operator theory: I can not understand how he proves it. I think $\phi(\text{ ball B(H)})$ is compact if $\phi(\text{ ball B(H)})$ is closed subset of compact ...
3
votes
0answers
63 views

An inequality for positive operators

Let $S$ and $T$ be positive operators on a Hilbert space $\mathcal{H}$. Suppose that $S \le T$. Since the square root function is operator monotone, it follows that $S^{1/2} \le T^{1/2}$. Does the ...
0
votes
0answers
38 views

Existance of solution to integral Fredholm equation

I am a bit confused with the existence/non existence of a solution to the following equation: $$\int_{-T}^{T} R(t,\tau) x(\tau) d\tau = y(t), \forall t\in [-T,T]$$ where $y(t)=C$ (a constant ...
2
votes
1answer
97 views

On separable Hilbert space $H$, weak operator topology is metrizable on bounded parts of $B(H)$

The following is a theorem of Takesaki's operator theory: In this proof, weak topology means weak operator topology. I'm wonder why the theorem holds just for bounded parts of $B(H)$ and also ...
3
votes
1answer
129 views

Using lemma in proof

Hi please view the attachment. I am interested in how Lemma 1.11 is used in the proof of Theorem 2.10. Based on the statement of Lemma 1.11 it seems that in order to use Lemma 1.11 in we require ...
0
votes
1answer
24 views

Operator in Denominator

So I chanced upon this statement, and I'm not sure what is happening: $$ \left(c-\frac{1}{b}\frac{\partial}{\partial ...
2
votes
1answer
63 views

What is an adjoint operator?

The following conjeture is stated here: Every adjoint operator has a non-trivial closed invariant subspace. Reference 11 where adjoint is supposedly defined can be found here. But I don't have ...
3
votes
0answers
107 views

Is there a way to exploit local redundancy in a function to speed up Monte Carlo integration?

In every Monte Carlo method I've ever seen, $f$ must be recomputed from scratch for each point that is (somehow randomly) selected to contribute to the overall integral. However, most functions have ...
0
votes
0answers
31 views

Finite dimensional operator space is dense in trace class space

To show that $F(H)$ (the space of finite dimensional operators on a Hilbert space $H$) is dense in $L^1(H)$ (the space of trace class operators), suppose that $x\in L^1(H)$. Without loss of generality ...
1
vote
1answer
30 views

Trace class operator is an ideal

To show that trace class operators space is an ideal, we need to show that $\|uv\|_1\leq \|u\|\|v\|_1$ where $u,v \in B(H)$ and $\|u\|_1 = tr(|u|)$. Murphy in his book (C*-algebras and operator ...
0
votes
0answers
23 views

higher dimensional nature of tetrational forms

What is the exact value of fifth hyper operator of $3$ with height $1.1 $? I have for long time tried to figure out how to solve this but i still confuse,do anyone have a clue how to solve ...
0
votes
1answer
54 views

Differentiation operator is closed?

Got stuck in this problem: Let us denote by $X$ the linear space $C^1([0,1])$ equipped with the norm of $C^0([0,1])$ and consider the following statement: "The differentiation operator $L:X ...
1
vote
1answer
62 views

Blackwell's condition for a contraction: Why is boundedness neccessary?

I'm trying to understand the proof that certain operators $T$ are a contraction if they fulfill Blackwell's sufficient conditions. In particular, I try to understand why the operator $T$ has to map ...
4
votes
0answers
83 views

On the exponential form of a unitary matrix

A unitary matrix $U \in \large C_{n,n}$ can always be written in the exponential form: $U = e ^{iA}$ (1) where $A$ is Hermitian. My goal is to find the Hermitian matrix $A$, given the unitary ...
0
votes
1answer
86 views

A operator is unitary if and only if it is a surjective isometry

I'm trying to prove the following result. Let U be an operator of a Hilbert space H, then $U$ is an unitary operator $\iff$ $U$ is an isometry and $R_u = H$ ($U$ is onto and isometry) I tried to use ...
2
votes
1answer
65 views

Nonzero projection in an irredicible C*-algebra of minimal finite rank must have rank one

The following is a part of a theorem in Murphy's C*-algebras and operator theory: Let $A$ be a C*-algebra acting irreducibly on a Hilbert space $H$ and $q$ be a nonzero projection in $A$ of minimal ...
0
votes
1answer
34 views

$*-$ isomorphism between two compact spaces $K(H)$ and $K(H')$

The following is a theorem of Murphy's C*-algebras and operator theory: I think we can write the proof more easily than Murphy's. After show that $E'$ is an orthonormal basis for $H'$, define ...
2
votes
1answer
56 views

Sublinearity of Hardy-Littlewood Maximal Function on Sobolev Spaces

Define the (centered) Hardy-Littlewood maximal function by $$\mathcal{M}f(x)=\sup_{r>0}\dfrac{1}{m(B(x,r))}\int_{B(x,r)}\left|f(y)\right|dy,\ f\in L_{\mathrm{loc}}^{1}(\mathbb{R}^{d})$$ We say ...
0
votes
1answer
24 views

Finding all operators that preserve a function

I'm not even sure what field of math this would be, and Googling "symmetry" and "functions" doesn't reveal what I'm looking for. Basically I want to find all $\{\hat{A}\}$ other than the identity ...
1
vote
1answer
32 views

strongly continuous mapping implies bounded mapping

Hi does anyone know how to show the result that if we have a relexive Banach space $X$ and a mapping $A: X \rightarrow X^{*}$ (not necessarily linear), which is strongly continuous, which means ...
1
vote
2answers
82 views

Definition of spectrum of an operator

The spectrum of a bounded operator is the eigenvalues for the corresponding matrix. Consider the following wiki link: http://en.wikipedia.org/wiki/Multiplication_operator In the example, it says ...
0
votes
0answers
26 views

weakly $p-$summable sequences in $L_{\infty}(\Omega, \mu)$

Let $1\leq p<\infty$ and $(\Omega, \mu)$ be a measure space and $f_{1},\ldots,f_{m}\in L_{\infty}(\Omega, \mu)$. What is the definition of weakly $p-$summable sequences $(f_{j})_{j=1}^m$ in ...
0
votes
1answer
51 views

Summary: Spectrum vs. Numerical Range

Reference A proof of the statement below is split into: Normal Operators: Spectrum vs. Numerical Range Spectral Measures: Spectrum vs. Numerical Range Problem Given a Hilbert space ...
1
vote
3answers
66 views

Check proof that operator in unbounded please

I have to show that $f:\mathcal{C}'[a,b]\rightarrow \mathbb{R}$ with $f(x)=x'(\frac{a+b}{2})$ is unbounded. Here $\mathcal{C}'[a,b]$ (the space of continuously differentiable functions) is to be ...
4
votes
2answers
129 views

Kreyszig's Functional Analysis Section 2.8: How is the canonical embedding map injective?

Let $X$ be a vector space over the field $K$ of the real or complex numbers. Let $X^*$ denote the vector space of all linear functionals defined on $X$, and let $X^{**}$ denote the vector space of all ...