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
46 views

Fixed Point Theorem in finite dimensional Euclidean space

A fixed point theorem says that: "any continuous mapping of $\mathbb{R}^n$ into a bounded subset of $\mathbb{R}^n$ has a fixed point". So consider $f: \mathbb{R}^n \rightarrow X \subset ...
2
votes
1answer
43 views

Multiplication operator on $L^2$ and spectral theorem.

Let's consider the multiplication operator by the independent variable in $L^2(\mu)$, where $\mu$ is a borel regular measure on $\mathbb{C}$: $Mf(z)=zf(z)$. I want to show that if $\phi$ is a borel ...
0
votes
1answer
33 views

Spectrum of multiplication operator by the independent variable in $L^2$

If $\mu$ is a regular Borel measure on $\mathbb{C}$ with compact support $K$, define $N_\mu$ on $L^2(\mu)$ by $N_\mu f=zf$ (the multiplication by the indipendent variable). An exercise in "Conway" ...
5
votes
1answer
89 views

Simple proof that $\|p(A)\|\le \sup_{|z|\le 1}|p(z)|$ for polynomials $p$ and $\|A\| \le 1$.

Let $\mathcal{H}$ be a complex Hilbert space, and let $A$ be a bounded operator linear operator on $\mathcal{H}$ with $\|A\| \le 1$. It is known that $\|p(A)\|\le \sup_{|z|=1}|p(z)|$ for all complex ...
1
vote
1answer
40 views

Nondegenerate representation

By the definition, we say a representation $(\pi,H)$ is nondegenerate if $cl[\pi(A)H ]= H$. Below I have two theorem, the first from Conway's Functional analysis and the second from Takesaki's ...
0
votes
1answer
34 views

Spectral measure and commutativity.

I want to prove that if $A\in B(H)$ and $N\in B(H)$ is a normal operator, and $AE(\Delta)=E(\Delta)A$, where $E$ is the spectral measure given by $N$ and $\Delta$ is a Borel subset of $\sigma(N)$, ...
0
votes
2answers
34 views

Some doubts concerning spectral theory.

Probably I'm saying something wrong (that's why the conclusions are strange) so please correct me! There is the continuous functional calculus for a normal element $N$ of a C*-Algebra. This means ...
1
vote
1answer
26 views

If $N$ is normal, $W^\ast(N)=\{N\}''$

I want to prove that if $N$ is normal, then $W^\ast(N)=\{N\}''$, where $W^\ast(N)$ is the Von Neumann algebra generated by $N$ and $\{N\}''$ is the bicommutant of $N$. for the inclusion $W^\ast(N) ...
1
vote
1answer
45 views

Why is $\int_{\mathbb{R}^3} |p\rangle \langle p| d\lambda(p)=id$?

As I have written in the headline, I am curious how the relation $\int_{\mathbb{R}^3} |p \rangle \langle p| d\lambda(p)=id$ that physicists use, where $|p\rangle$ is the eigenfunction to the ...
1
vote
1answer
39 views

Cyclic representation on $L^2(\mu)$

Show that if $(X,\Omega,\mu)$ is a $\sigma-$ finite measure space and $H=L^2(\mu)$, then $\pi:L^\infty(\mu)\to B(H)$ defined by $\pi(\phi)=M_\phi$ is a cyclic representation and find all the cyclic ...
8
votes
1answer
111 views

The spectrum of a product of operators

Suppose $A,B\in\mathcal{B}(\mathcal{H})$, where $\mathcal{H}$ is an infinite dimensional Hilbert space. In general, we know that there is no relationship between $\sigma(AB)$ and $\sigma(A)$ and ...
1
vote
1answer
39 views

Showing $||L|| = \sup_{x,\, y\, \in H,\, x,\, y\, \neq 0} \frac{|\langle Ax,y\rangle|}{||x||\cdot ||y||}.$

Prove that, for a Hilbert space $H$ and a linear bounded operator $L:H \to H$ such that the domain of $L$ is $H$, $$||L|| = \sup_{x,\, y\, \in H}_{ x,\, y\, \neq 0} \frac{|\langle ...
0
votes
0answers
22 views

spectrum of a convolution operator is connected

Let $k \in L^1(\mathbb{R}; \mathbb{C})$ and define a linear operator $T$ acting on $L^2(\mathbb{R}; \mathbb{C})$ by $$ Tf(x) := [k \ast f] (x) \ldotp$$ Linearity is obvious, while the fact that $T$ is ...
0
votes
1answer
20 views

Norm of $A$ is zer0 when $\Bbb H$ is Complex Hiblert Space

If $\Bbb H$ is a $\Bbb C$-Hilbert space and $A\in \Bbb B(\Bbb H),$i.e. bounded linear operator on $\Bbb H$ such that $\langle Ah,h\rangle=0$ for all h in $\Bbb H$, then $A=0$ For the proof of this ...
0
votes
0answers
23 views

Why this operator is not fredholm?

Define $f:S^{2}\to \mathbb{R}$ by $f(x,y,z)=z$. Let $D:=D_{\nabla f}$. As I learned from the following post this operator is not counted as a fredholm operator.( I did not underestand, ...
0
votes
0answers
36 views

Approximate unit of a separable C*-algebra

The following is a corollary of Takesaki's Operator Theory: My question: I do not know why the author says"there exists an n such that $||x(1-v_n)^\frac{1}{2}||<\epsilon$" . Please help me to ...
1
vote
1answer
37 views

An routine exercise about matrix norm

If $T_{n}\in M_{k(n)}(\mathbb{C})$ and $||T_{n}^{*}T_{n}-1_{k(n)}||\rightarrow0$, then $||T_{n}T_{n}^{*}-1_{k(n)}||\rightarrow 0$ too? (Here, $M_{k(n)}(\mathbb{C})$ denotes the $k(n) \times k(n)$ ...
2
votes
1answer
51 views

Norm of an element in a C*-algebra

The following is a part of a proof in Takasaki's Operator theory: Let $\epsilon>0$ and $A$ is a C*-algebra. For an $x\in A$, put $h=x^*x$ and $u_\epsilon=(h+\epsilon)^{-1}h$. We have then ...
2
votes
1answer
61 views

What is the image of operator exponential?

Given a Banach space $V$ and a bounded linear operator $A:V\to V$, the operator $e^A$ is bounded and invertible. When $V$ is finite dimensional, every invertible operator is of the form $e^B$ (one can ...
0
votes
0answers
34 views

Show that $H=\oplus_{\alpha \in \sigma(T)}\text{ker}(\alpha I -T)$

Suppose $T$ is an operator on a Hilbert space $H$ such that $\sigma(T)=\sigma_{p}(T)$ (point spectrum of $T$), and for each $\alpha \in \sigma(T)$, the corresponding eigenspace ker$(\alpha I-T)$ is a ...
0
votes
0answers
35 views

Tensor products, help with proof

Let $X$, $Y$ and $Z$ be Banach spaces. Let the space $X\otimes_{\epsilon}Y\otimes_{\epsilon}Z^{*}$ be the injective tensor product. The injective norm is defined as follows: ...
0
votes
0answers
17 views

Notation for operator that returns square of a function?

Let $F$ denote the vector space of all real-valued continuous functions on the real line. Suppose I have an operator $T:F\to F$ such that for any input function $f \in F$, $T$ returns the square ...
2
votes
1answer
56 views

The positive element in a C*-algebra

The following is a theorem of Conway's Functional Analysis: for the proof ($c\to a$), I think we can say: for $\lambda\in \sigma(a)\subset \Bbb R$, there is a character $h:C(\sigma(a))\to\Bbb C$ ...
0
votes
1answer
21 views

A question about Invariant subspaces of an algebra.

I feel that this is a very simple problem, but somehow I don't see the solution. I want to show that if $A$ is a subalgebra of $B(H)$ containing $1$ then if $B\in SOTcl(A)$, for every n, ...
0
votes
1answer
37 views

norm of a matrix that its entries are operators in B(H).

Let S is a subset of B(H). Define $M_2(S)=\{T= \left( \begin{array}{ccc} A & B \\ C & D \\ \end{array} \right) : A,B,C,D \in S\}$. what is the relationship between $||T||$ and ...
3
votes
1answer
46 views

Norm of Hardy-Littlewood maximal operator

We define Hardy-Littlewood maximal operator $M$ by \begin{equation} Mf(x)=\sup_{r>0} \frac{1}{|B(x,r)|} \int_{B(x,r)} |f(y)| dy \end{equation} where $B(x,r)$ denotes the ball centered at $x \in ...
1
vote
2answers
60 views

Self-adjoint elements in a C*-algebra

I have a simple question which confused me. Suppose $A$ is a C*-algebra. every $x\in A$ has a representation such as $x=a+ib$ where $a,b$ are self-adjoint elements of $A$. Also we claim that $x^*x$ ...
3
votes
1answer
54 views

*-isomorphism of a C*-algebra into an involutive Banach algebra is norm increasing

The following is a proposition of Takesaki's Operator theory: My question: How does he assume, considering the C*-subalgebra generated by k instead of $*$-Banach algebra B? Are we sure that the ...
1
vote
1answer
68 views

Show that a unitary operator is of the form exp(iA)

This is an exercise from chapter 2 in Conway's "A Course in Operator Theory": Show that every unitary operator on a Hilbert space can be written as $U=\exp(iA)$ for some Hermitian $A$. I tried to ...
0
votes
0answers
10 views

Monotone operator without symmetry?

A function $f : \mathbb{R}^{n} \rightarrow \mathbb{R}^n$ is monotone with respect to $P = P^\top\succcurlyeq 0$ if $$ \left( f(x) - f(y) \right)^\top P (x-y) \geq 0 $$ for all $x,y$. Now suppose that ...
1
vote
1answer
26 views

Compact Operator Inversion

Let I be a positive compact in $\mathscr{B}(\mathscr{H})$ (where $\mathscr{H}$ is some Hilbert space) then $I$ can be written (uniquely) as $A^2=I$ for some $A \in \mathscr{B}(\mathscr{H})$. My ...
0
votes
1answer
48 views

Does the supremum is finite?

Let $B(A)$ be the space of all bounded functions on a given set $A$, define a metric as follows $$d(x,y)=\sup \{|x(t)-y(t)| : t \in A \}.$$ Show that the supremum exists ?
0
votes
0answers
18 views

Adjoint Operator and transposed linear application

I have some problems to well understand the notion of adjoint. 1) First to simplify, let's choose an operator $u:E \to F$ defined on the whole domain from E (banach space) to F (Banach space). It ...
0
votes
0answers
15 views

Limit of an element in a unital C*-algebra

Let $A$ be a unital C*-algebra. Show that an element $x$ of $A$ is self-adjoint if and only if $\lim_{t\to 0}\frac{1}{t}(||1+itx||-1)$=0. My attempt: Suppose $x=x^*$. By functional calculus of x, ...
0
votes
1answer
24 views

Adjoint of differential operator in two variables

I would like to find the adjoint of the operator $$L = x \frac{\partial^{2}}{\partial y^{2}} \frac{\partial }{\partial x}.$$ I know the adjoint is the operator $L^{*}$ such that $$(Lu,v) = (u, ...
0
votes
0answers
34 views

There is no continuous function h on unit circle such that u=exp ih when spectrum u is entire unit circle

Let $\Gamma$ be the unit circle. Let u be the unitary element in $C(\Gamma)$ defined by $u(\lambda)=\lambda$. Show that there is no continuous function h on unite circle such that u=exp ih. ...
1
vote
0answers
24 views

functional calculus on a set of normal elements is continuous

Let $K$ be a compact subset of $\Bbb C$. Let $A_K$ denote the set of all normal elements $x$ with $\sigma_A(x)\subset K$. If $f$ is a continuous function on $K$, then the functional calculus :$x\in ...
0
votes
0answers
34 views

Confusion with Riesz

I was reading this article here and it claims that the covariance operator from a Hilbert space to itself exists by the "Riesz representation theorem". I don't seem to see the link between the Riesz ...
0
votes
0answers
23 views

Find an operator $Z$ in $H^1(0, \infty)$ with $\langle u,Zv\rangle = \int \bar{u}v dx$

I'm working with operators associated to bilinear forms. What I need to find is a continous, linear operator $T$ defined on $H^1((0, \infty))$ [note that $H^1 = W^{1,2}$ is the Sobolev space] such ...
0
votes
1answer
35 views

polar decomposition of multiplicative operator on L^2 induced by identity function.

We know that every operator in B(H) has a polar decomposition. $T=VP$ that $P=|T|$ and V is a partial isometry with initial space closure of ImP and final space ImT. How can i obtain polar ...
0
votes
1answer
13 views

Calculating the form domain of an operator

I am reading the book "Mathematical Methods in Quantum Mechanics" by Gerald Teschl and just came across the concept of a form domain. It is defined for non-negative operators i.e $<\phi,A \phi> ...
0
votes
1answer
32 views

Commutant of a C*-subalgebra of B(H)

In operator theory, we can prove that the commutant of $B(H)$ is $\mathbb{C} I$, where $I$ is the identity map. But a book states that every $C*$-subalgebra of $B(H)$ that contains the compact ...
0
votes
1answer
50 views

Does $\|f(T^*T)T^*\|_\infty = \|f(T^*T)(T^*T)^{\frac{1}{2}}\|_\infty$?

If $T:X\to Y$ is a compact operator and $X,Y$ are some Hilbert spaces, can we say that $\|f(T^*T)T^*\|_\infty = \|f(T^*T)(T^*T)^{\frac{1}{2}}\|_\infty$, where $T^*$ is its adjoint and $f$ some ...
0
votes
1answer
36 views

Find the operator norm

Let $T : \ell^2 \to \ell^2$ (involving complex numbers) be defined by $$ Tx := (x_1, x_1+x_2, x_3, x_3+x_4, x_5, x_5+x_6, \ldots). $$ What is $\|T\|$? Essentially I've tried : To find $M \geq 0$ ...
0
votes
0answers
26 views

Derivative of a function which is treated as a variable

I have got a function $f=f(x)$. The derivative is $\partial_xf$. There are applications in which it is reasonable to treat $f$ as another variable in a larger context. In my application I now need an ...
1
vote
1answer
31 views

an exercise about the projections.

There is an exercise in operator theory that says: If P and Q are projections on H that $||P-Q||<1$ then dimension of ImP and ImQ are the same. i cant understand what is the relation between the ...
1
vote
1answer
59 views

Norm of the Linear (Integral) Operator on $C[0,1]$

There may be some similar questions being asked but I didn't see anything that was quite what I was looking for so I'll ask the question here. Let $X = (C[0,1],||.||_{\max})$ and $T:X \to X = ...
0
votes
1answer
20 views

Homeomorphism between locally compact space $\Omega$ and maximal ideals space of $C_0(\Omega)$

the following is a proposition: If $\Omega$ is locally compact and $\Sigma$ is the maximal ideal space of $C_0(\Omega)$, then the map $x\to \delta_x$ is a homeomorphism. To prove it, the author ...
2
votes
2answers
70 views

Is there any multiplicative linear functional on B(H)?

If A is a Banach algebra, we say that $\Phi: A \longrightarrow \mathbb{C}$ is a multiplicative linear functional if $\Phi$ is nontrivial, linear and $\Phi(xy)=\Phi(x)\Phi(y)$. It is easy to see that ...
0
votes
1answer
36 views

A Representation of $C(X)$ is a positive map.

I quote this excerpt from Conway: "A representation $\rho:C(X) \rightarrow \mathcal{B(\mathcal{H}})$ is a $\ast$-homomorphism with $\rho(1)=1$. Also, $\|\rho\|=1$. If $f\in C(X)_+$, then $f=g^2$ ...