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

Norm of an operator

Suppose $\{\xi_i\}_{i\in I}$ is an orthonormal system of Hilbert space $H$ and $T\in B(H)$. For each $i\in I$, let $\alpha_i$ be a scalar of modulus one such that $$|(T\xi_i,\xi_i)| = \alpha_i ...
0
votes
1answer
16 views

Nonclosable Operator: Example (Wikipedia)

The example here is taken from the wikipedia article: Discontinuous Linear Map Given the spaces of polynomials $X:=\mathcal{P}([0,1])$ and $Y:=\mathcal{P}([2,3])$. Their completions being ...
0
votes
1answer
39 views

Norm of a sequence

The following is a theorem that I have some difficulty at it. I do not know how the author shows that $\alpha \in \ell^1$. Please help me. Thanks in advance.
1
vote
2answers
26 views

A question about spectral measure

The following is a part of a theorem of Takesaki's Operator theory: Let $T$ be an positive operator. Suppose $T = \int_0^{\|T\|} \lambda \, de(\lambda)$ is the spectral measure of $T$. Also put ...
3
votes
1answer
37 views

Is it true that $\|A+PBP\|\le\|A+B\|$ for every projection $P$ and positive operators $A,B$?

Let A and B be positive operators on and let P be a projection. Is the inequality $$\|A+PBP\|\le\|A+B\|$$ true? Here $\|.\|$ stands for the operator norm.
0
votes
1answer
34 views

A question about finite-rank projection on Hilbert space

Let $H$ be a Hilbert space and $P_{n}\in B(H)$ be an increasing net of finite-rank projection which converge to the identity in the strong operator topology. Then, Can we verify that ...
1
vote
2answers
83 views

Bounded measurable functions

Suppose $X$ is a compact space and $B(X)$ denotes the bounded Borel measurable function space. Let $f\in B(X)$. There is a sequence of step functions $\{\phi_n\}$ such that $\phi_n\to f$ (point wise). ...
1
vote
1answer
72 views

Resolvent also self-adjoint operator

If I have a self-adjoint operator $U : \operatorname{dom}(U) \subset H \rightarrow H$ and $\lambda \in \rho(U)$, then I assume assume that it is correct that the operator $(U - \lambda I)^{-1} \in ...
1
vote
1answer
42 views

A question about spectral theorem

The following is a discussion about spectral theorem of Folland's Harmonic analysis page 18. Suppose $A$ is a unital commutative C*- subalgebra of $B(H)$ and $u,v\in H$. Put $\Sigma = \sigma(A)$ . ...
1
vote
2answers
59 views

Prove that this integral operator is compact

Let $X,Y=L^2(0,1)$, $k\in C^0([0,1]^2)$. Define $$ K:X\to Y,\,\,\,\,\,Kf(x):=\int_0^1k(x,y)f(y)dy\,\,\,\,\forall\, f\in L^2(0,1). $$ I have to show that $K$ is compact. My idea is to prove that $K$ ...
2
votes
1answer
60 views

Limit-circle and limit-point

Imagine that we have a second-order Sturm-Liouville problem on an interval $(a,b)$. If every solution is square integrable, then our operator is called limit-circle and if there is at least one ...
1
vote
1answer
36 views

Show that $\lbrace S_n x \rbrace$ converges for a particular recursively-defined sequence of operators $S_n$

$H$ is a Hilbert space, $M$ is a self-adjoint bounded linear operator on $H$ with $M \leq I$, and $S_0 = 0$; $S_{n+1} = (1/2)(M + S^2_n)$ for $n = 0, 1, 2, ...$. For all $n$, both $S_n$ and $S_n - ...
0
votes
0answers
14 views

Rotation in configuration space.

Let $R_\psi$ be the rotation in configuration space around a vector $\bf{e}_\psi$ for an angle $\psi$. How is that the space rotation in configuration space have: ...
1
vote
1answer
41 views

Restriction of a spectral measure

Let $x$ be a self-adjoint operator on $H$. By spectral theorem, there is a spectral measure $\mu$ correspondence to $*-$ homomorphism $\pi:C(\sigma(x)) \to B(H)$ such that $x=\int_{-||x||}^{||x||} ...
1
vote
1answer
50 views

Spectral Measures: Domain Criterion

Given a topological space $\Omega$ and a Hilbert space $\mathcal{H}$. Let $\mathcal{B}(\Omega)$ be its Borel algebra and $\mathcal{B}(\mathcal{H})$ its bounded operators. Moreover, given a spectral ...
2
votes
1answer
36 views

Correspondence between bounded sesquilinear forms and bounded linear operators

Let $H,K$ are Hilbert spaces, I want to show there is an isometric linear correspondence between bounded sesquilinear forms $S(H,K)$ and bounded linear operators $B(H,K)$. ( $\Phi: B(H,K)\to S(H,K)$ ...
3
votes
1answer
30 views

Positivelinear operator on $L^p$-spaces

Suppose $1<p<\infty$. A linear operator $T \colon L^p(\Omega)\to L^p(\Omega)$ is positive if $f \geq 0$ imply $T(f)\geq 0$ (where $\Omega$ is a measure space). 1) Does there exist a positive ...
1
vote
1answer
41 views

Spectral Measures: Square Root Lemma

Given a Hilbert space $\mathcal{H}$. Consider a densely defined closed operator $A:\mathcal{D}(A)\to\mathcal{H}$. This gives rise to operators: $$A^*A:\mathcal{D}(A^*A)\to\mathcal{H}$$ ...
4
votes
1answer
70 views

A question about sublinear functionals

Could you please give me hints may leads to prove the following: Let $X$ be a real vector space, $\,p_1,p_2:X\to\mathbb R\,$ be two sublinear functionals, and $\,f:X\to\mathbb R\,$ be a linear ...
1
vote
2answers
64 views

About the adjoint operator and weak operator topology.

Let $X,Y$ be Banach spaces. Let $\lbrace{S_n\rbrace}\subset\mathcal{L}(X,Y)$, and $T\in\mathcal{L}(X,Y)$, such that $S_n\xrightarrow[n\to\infty]{WOT}T$, that is: $$\langle ...
0
votes
0answers
15 views

Bounded-below multiplication operator on Hardy space

Let $H^2(\Delta^2)$ denotes the Hardy space on the bi-disc $\Delta^2$ and $M_f :H^2(\Delta^2)\rightarrow H^2(\Delta^2)$ be multiplication operator by $f\in H^\infty(\Delta^2)$ defined by ...
2
votes
3answers
50 views

Show that an isometric linear operator $T:H\to H$ satisfies $T^* T=I$, where $I$ is the identity operator on $H$.

Show that an isometric linear operator $T:H\to H$ satisfies $T^* T=I$, where $I$ is the identity operator on $H$. I've been stuck on this for a while and don't really know where to start.
1
vote
1answer
48 views

Showing an operator is essentially self-adjoint

I have a question about checking if an operator is essentially self-adjoint. Given the operator $$H=-\frac{1}{2}\partial^2_{r}-\frac{1}{r}\partial_r$$ with domain $C^{\infty}_0((0,\infty))$ (i.e. ...
3
votes
1answer
36 views

Boundedness Spectral Triple Axioms for de Rham Complex

In Connes' axioms for a spectral triple $(A,H,D)$, they have a representation of an algebra $A$ in bounded operators on a Hilbert space $H$, and (unbounded) operator $D$, such that $[D,a]$ is bounded. ...
0
votes
0answers
42 views

What's the difference between a costant $k$ and $arity = 0$?

What kind of mathematical entities can have $arity = 0$ without being a constant ? Or there is a concept that generalize the concept of constant and I can't see it ? Background: I am having some ...
1
vote
0answers
29 views

Multiplication operator is bijective?

Let $H^2(\Delta^2)$ denote the Hardy space on the polydics and $M_f:H^2(\Delta^2)\rightarrow H^2(\Delta^2)$ be a multiplication operator by $f\in H^\infty(\Delta^2)$. Is the operator is bijective? ...
2
votes
1answer
72 views

Measurable functional calculus

I am struggeling with this exercise: Let $T \in L(H)$ be a self-adjoint operator and $\Psi$ be a measurable (Borel) functional calculus on the spectrum of $T$. For a Borel set $\Delta \subset \sigma ...
4
votes
0answers
52 views

Is there a cyclic vector for $-\frac{d^{2}}{dx^{2}}$ on $L^{2}[0,2\pi]$ with periodic conditions?

Let $\mathcal{H}=L^{2}[0,2\pi]$, and let $L=-\frac{d^{2}}{dx^{2}}$ on the domain $\mathcal{D}(L)$ consisting of twice absolutely continuous functions $f$ on $[0,2\pi]$ with $f''\in\mathcal{H}$ and ...
5
votes
1answer
52 views

How to show $e^{-x}$ is a cyclic vector for $-\frac{d^{2}}{dx^{2}}$ in $L^{2}[0,\infty)$?

Let $\mathcal{H}=L^{2}[0,\infty)$. How can one easily show that $e^{-x}$ is a cyclic vector under the $C^{\star}$ subalgebra of operators on $\mathcal{L}(H)$ generated by all resolvents $(L-\lambda ...
2
votes
2answers
39 views

Conditions for a given operator being compact.

So I was given this question in class, and I thought it looked easy enough at first glance, but actually trying to do it, I have gotten quite stuck on the "only if" part. Let $T\colon \ell_\infty ...
0
votes
3answers
62 views

extending a bounded linear operator

So I have a homework question which I have no idea how to start. Let $E_0$ be a dense subspace of the normed space $E$. Let $T_0:E_0 \rightarrow F$ be a bounded linear operator into the Banach space ...
0
votes
0answers
24 views

What does the Stein–Weiss Interpolation Theorem say?

I was looking for the statement for the Stein–Weiss Interpolation Theorem, but I cant find it anywhere on internet.
0
votes
1answer
13 views

Showing T intertwines $D_T$ and $D_{T^*}$ using Spectral Theorem

Suppose $T$ is a contraction on a Hilbert space $H$ (separable, if you wish). $D_T=(I-T^*T)^{1/2}$ and $D_{T^*}=(I-TT^*)^{1/2}$. I want to show that $TD_T=D_{T^*}T$. I had done this before using a ...
4
votes
1answer
93 views

T is not compact operator

I want to show that if $T$ is a bounded operator between two Hilbert spaces and $T$ is not compact then there exists an orthonormal sequence $y_{n}$ and an $R>0$ such that $\forall n\in ...
1
vote
1answer
56 views

Self-adjoint operator and eigenbasis

Let us assume that we have a self-adjoint operator $A: D(A) \subset L^2 \rightarrow L^2$ and we know that $A$ has a purely discrete spectrum and the eigenvalues of $A$ are simple. Does that mean that ...
1
vote
0answers
66 views

Derivatives of Differential operators

Let $V=H^1(\Omega)$ and $U = L^{\infty}(\Omega)^2$. Take for example, a differential operator, $L:U\times V \rightarrow V^* $ such that: \begin{equation} L(u,y) = \Delta y + \vec{u}(x)\nabla y ...
2
votes
0answers
30 views

Equivalent definitions of the trace of a Hilbert-Schmidt operator

I am currently reading the book Spectral Methods in Automorphic Forms, and Iwaniec defines the trace operator in a different way than I am accustomed to. Throughout, assume that everything converges ...
2
votes
1answer
83 views

How to show a Borel Operator Measure dilates to a Spectral Measure?

Does anyone know a simple proof of the following theorem stating that a positive Borel operator measure $P$ on $\mathbb{R}$ can be written as $V^{\star}EV$ for a Borel spectral measure $E$? ...
5
votes
1answer
121 views

Composition of projections has a fixed point in a Hilbert space

Let Let H be a Hilbert space with an inner product ⟨⋅,⋅⟩ : H×H→R, and induced norm $∥⋅∥ : H→R_+$ Let $C_1$ and $C_2$ be closed, convex, nonempty, disjoint subsets of $H$ with at least one of ...
1
vote
2answers
91 views

Spectral Measures: Subspace Decomposition

Attention This thread has been split into this one and: Spectral Measures: Subspace Characterization Problem Given a Hilbert space $\mathcal{H}$ and let the Lebesgue measure be $\lambda$. ...
1
vote
0answers
91 views

Closure in a Hilbertspace

Define for a self-adjoint pure contraction $S$ (remember: $\|S\|\leq1$ and $\pm1\notin\sigma_p(S))$ on a Hilbert space $\mathcal{H}$ the following set: $C_c^*(S):=\{g(S):g\in C_c(\hat{\sigma}(S))\}$ ...
2
votes
1answer
35 views

Reducing Subspaces: Nonexample?

Given a Hilbert space $\mathcal{H}$. Consider an operator $T:\mathcal{D}(T)\to\mathcal{H}$. Regard a closed subspace $Z\leq\mathcal{H}$. Suppose the subspace reduces the operator: $$TZ\subseteq ...
0
votes
2answers
91 views

a question about contractions on Hilbert spaces

Let $\cal{H}$ be a Hilbert space, $T_1,T_2\in\cal{B(H)}$, $\|T_1(h_1)+T_2(h_2)\|^2\leq\|h_1\|^2+\|h_2\|^2$ for all $h_1,h_2\in\cal{H}$. $T_1T^\ast_1+T_2T^\ast_2\leq I$. Then can we verify that 1 ...
1
vote
1answer
60 views

Finding the norm of integral operator

I have the following operator: $A: (C^1[0;1];|||\cdot|||)\rightarrow(C^1[0;1];||\cdot||_{\infty})$ $Af(x)=\int_0^x f(t)dt$ where $|||f|||= ||f||_\infty+||Af||_\infty$ What is $||A||?$ I wrote ...
1
vote
1answer
26 views

Isometric Operators: Common Core

Given a Hilbert or Banach space $\mathcal{H}$. Consider two closed operators $S:\mathcal{D}(S)\to\mathcal{H}$ and $T:\mathcal{D}(T)\to\mathcal{H}$. Suppose they're isometric on a common core ...
2
votes
1answer
84 views

$\langle Tx,x\rangle =0$ , then T is zero

I just wanted to be sure about something. The implication $\langle Tx,x\rangle =0$ , then T is zero , holds only if $T$ is self-adjoint right? If $T$ is an arbitrary operator, we need to have $\langle ...
1
vote
1answer
57 views

The set of analytic functions on unit circle is not a C*-algebra

Let $\mathbb{D}$ be the open unit disc on the complex plane and consider the set $$A=\{f\in C({\rm cl}\, {\Bbb D})\colon f \text{ is an analytic function on } {\Bbb D}\}.$$ It is certainly closed ...
0
votes
1answer
29 views

Is $C(\Omega)$ a C*-algebra if $\Omega$ is not locally compact, nor compact?

We always say if $\Omega$ is compact or locally compact, then C(\Omega) is a C*-algebra. Now is $C(\Omega)$ a C*-algebra if $\Omega$ is not compact nor locally compact? If not, I want to know which ...
1
vote
1answer
39 views

spectral projection of an element in a C*-algebra

I'm studying Takesaki's Operator theory and I preferred "spectral projection "in the page 43 of this book while he didn't speak about it before. I searched it, but I could not find it. Please explain ...
2
votes
0answers
25 views

Getting U.C.P map on group operator algebras using Fell's absorbtion principle.

I'm struggling a bit with this theorem: Let $\Gamma$ be a discrete group and $\mathbb{C}\Gamma$ be the group ring of $\Gamma$ i.e. the set of formal sums $\sum_{t \in \Gamma} \alpha_t t$. Furthermore ...