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

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
64 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
64 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
86 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
87 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
66 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
35 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
60 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
132 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 ...
1
vote
1answer
62 views

Erwin Kreyszig's Introductory Functional Analysis With Applications, Section 2.8, Problem 4: How to show boundedness?

Let $f_1$, $f_2$ be the functionals defined on the normed space $C[a,b]$ of all continuous functions defined on the closed interval $[a,b]$ with the maximum norm be defined as follows: $$f_1(x) ...
1
vote
2answers
72 views

Erwin Kreyszig's Introductory Functional Analysis With Applications, Section 2.8, Problem 3: What is the norm of this functional?

What is the norm of the linear functional $f$ defined on the normed space $C[a, b]$ of all functions defined and continuous on the closed interval $[a,b]$ with the norm defined as $$\Vert x \Vert ...
3
votes
1answer
67 views

Erwin Kreyszig Section 2.8, Problem 2: What is the norm of these two functionals?

Let $a$, $b$ be two real numbers such that $a<b$, and let $C[a,b]$ denote the normed space of all (real- or complex-valued) functions defined and continuous on the closed interval $[a,b]$ with the ...
0
votes
1answer
37 views

What's difference between spectrum and eigenvectors of an operator

Let $x$ be an operator in $B(H)$. By definition $\sigma(x)=\{\lambda \in \Bbb C ~; \lambda - x \neq inv \}$. Also to find eigenvalue of an operator we should find $\lambda$ such that $x\xi = \lambda ...
1
vote
0answers
31 views

weakly continuous linear map

The following is a Theorem of Murphy's C*-algebra and operator theory: To prove the theorem, the author claims compact linear map $u$ is weakly continuous. I know that every bounded linear map is ...
5
votes
0answers
60 views

Check proof about range of bounded linear operator.

I have to prove that the range $\mathcal{R}(T)$ of bounded linear operator $T:X\rightarrow Y$; $X,Y$ normed spaces need not be closed in $Y$. As a hint I'm given that I could consider ...
9
votes
1answer
203 views

An inequality concerning restricted isometry property

Let $A\in \mathbb{R}^{m\times n}$ be a matrix and let us denote by $A_S$ the submatrix of $A$ with the columns restricted to a set $S\subset [n]:=\{1,2,\cdots, \ n\}$. Then one says that the matrix ...
1
vote
1answer
34 views

Is this definition of a modulation operator ambiguous?

For $f \in L^2(\mathbb{R})$ and $b \in \mathbb{R}$, define a modulation operator $E_b$ from $L^2(\mathbb{R})$ to itself as: $E_b f(x) = e^{2\pi i b x}f(x)$ . Then the question is: for $a \in ...
1
vote
2answers
78 views

Is there a convention, law or axiom for associate operators when is a lack of brackets?

If a have an operator $\circledast:A\times A\rightarrow A$ and $a,b,c\in A$, then the expression $$a\circledast b\circledast c$$ Can be interpreted only as $(a\circledast b)\circledast c$ or is ...
1
vote
1answer
43 views

Image of a commutative C*-algebra

Let $A$ be an unital commutative C*-subalgebra of $B(H)$, and $\Omega$ be its character space. By spectral theorem $$\phi: B_\infty(\Omega)\to B(H);~~~~~f\to \int f \, dP$$ is a $*-$ homomorphism ...
1
vote
1answer
22 views

The Spectral Radius of a Product of Two Hilbert-Space Operators

I’m given a Hilbert space $ \mathcal{H} $ such that $ \dim(\mathcal{H}) > 1 $, and I’m supposed to construct two operators $ A $ and $ B $ on $ \mathcal{H} $ such that $ r(A B) \neq r(A) r(B) $. Is ...
0
votes
2answers
62 views

Nonunital C*-Algebras: Morphism Contractive

Problem Given C*-algebras $\mathcal{A}$ and $\mathcal{B}$. Consider a *-morphism $\pi:\mathcal{A}\to\mathcal{B}$. Then it is contractive: $\|\pi[\mathcal{A}]\|\leq\|A\|$ The proof I know ...
1
vote
1answer
38 views

Nonunital C*-Algebras: Closed Image

Given C*-algebras $\mathcal{A}$ and $\mathcal{B}$. Consider a morphism: $\pi:\mathcal{A}\to\mathcal{B}$. Then its image is closed: $\mathrm{im}\pi\subsetneq\overline{\mathrm{im}\pi}$ The proof I ...
1
vote
0answers
57 views

Construct a unitary operator U on H with prescribed spectrum

Given an infinite dimensional Hilbert space $H$. Let $|\lambda_k| = 1$ for $k = 1, ..., n$. Construct a unitary operator $U$ on $H$ such that $\sigma(U) = \{\lambda_k\}$ for $k=1,....,n.$ I can ...
1
vote
2answers
35 views

Construct a bounded linear operator S on H such that σ(S) = A

Given an infinite dimensional Hilbert space $H$. Let $A\subseteq \mathbb{C}$ be closed and bounded. Construct a bounded linear operator $S$ on $H$ such that $\sigma(S)=A$, where $\sigma(S)$ is the ...
1
vote
0answers
22 views

Extened of a representation

The following is a part of a theorem of Folland's book: Let $X$ be a compact space, $B(X)$ the space of bounded Borel measurable functions on $X$, and $C(X)$ the space of continuous function on $X$. ...
1
vote
1answer
45 views

Show that a subspace is closed in Hilbert space $H$

Let $u\in B(H)$ , $\lambda < 0$. Also we have $\|(u-\lambda)x\|\geq |\lambda|\|x\|$. So $u-\lambda$ is bounded below. To show $(u-\lambda)(H)$ is closed in $H$, suppose $\{(u-\lambda)x_n\}$ be ...
2
votes
1answer
105 views

Show that an operator is well-defined

Let $v\in B(H)$, Define $u:|v|H\to H$ such that $u(|v|\xi) = v\xi$ . To show the map $u$ is well-defined, the author writes $$\||v|\xi\|^2=\langle v^*v\xi,\xi\rangle = \|v\xi\|^2$$ But I do not know ...
2
votes
1answer
52 views

Error in the calulation of the spectrum of the image of right shift operator in the Calkin algebra

If $S \in \mathcal{B}(\ell^2(\mathbb{N}))$ is the right shift operator $$ S(x_1, x_2, \ldots) = (0, x_1, x_2, \ldots),$$ and $\mathcal{C} := \mathcal{B}(\ell^2(\mathbb{N}))/\mathcal{K}$ is the Calkin ...
1
vote
1answer
34 views

Partial isometry and projection

The following is a Theorem of Murphy's C*-algebras and operator theory: Let $H_1, H_2$ be Hilbert spaces and $u\in B(H_1,H_2)$. If $u^*u$ is a projection, then $uu^*u=u$. To show it, for $\xi\in ...
1
vote
2answers
55 views

Equality of two operators

The following is a fact in Murphy's C*-algebras and operator theory page 49: Suppose $u,v \in B(H)$, where $H$ is a Hilbert space, then $u=v$ if and only if $\langle u\xi,\xi\rangle = \langle ...
2
votes
1answer
19 views

operators on Hilbert spaces have adjoints

The following is a Theorem of Murphy's C*-algebras and operator theory: In the last line of proof, he claims $u^*$ is linear, but I think it's conjugate linear because for $y_2,x_2\in H_2$, $x_1\in ...
0
votes
2answers
40 views

Why does the set of an hermitian operator's eigenfunctions spans the functions space

During a discussion about linear hermitian operators, my professor claimed that if a linear operator $M$ is hermitian under a certian set of conditions, then genrally any function that fulfills these ...
0
votes
0answers
98 views

Commutativity and norms of specific operators (Problem 2.7.10 in Kreyszig's functional analysis book)

This is Problem 2.7.10 from Erwin Kreyszig's Introductory Functional Analysis with Applications. Let $C[0,1]$ denote the normed space of all (real- or complex-valued) functions defined and ...
1
vote
0answers
34 views

Density and Fredholmness

Let $X$ be a Banach Space and $Y$ a dense subset of $X$. An operator $T:X \to X$ is said to be Fredholm if it has closed range, $\dim \ker(T)<\infty$ and $\dim coker(T) < \infty$. Here is my ...
0
votes
2answers
76 views

Erwin Kreyszig's Introductory Functional Analysis With Applications, Problem 8, Section 2.7

Here is Problem 8 in the Problem Set following Section 2.7 in Erwine Kryszeg's Introductory Functional Analysis With Applications: Show that the inverse $T^{-1} \colon R(T) \to X$ of a bounded ...
5
votes
1answer
202 views

Erwin Kreyszig's Introductory Functional Analysis With Applications, Section 2.7, Problem 9

Here is Problem 9 in the Problem Set following Section 2.7 in the book Introductory Functional Analysis With Applications by Erwine Kryszeg: Let $C[0,1]$ denote the set of all (real- or ...
1
vote
1answer
87 views

If $H$ is a one-dimensional Hilbert space then the zero representation of a C*-algebra on $H$ is irreducible.

It says on page 143 of Murphy's $C^*$-algebras and operator theory that if $H$ is a one-dimensional Hilbert space then the zero representation of any C*-algebra on H is irreducible. What is the zero ...