The subject of operator algebras is primarily C*-algebras and von Neumann algebras, and associated topics. It also includes more general algebras of operators on Hilbert space, and may include algebras of operators on other topological vector spaces. It is related to but distinct from the subjects ...

learn more… | top users | synonyms (1)

0
votes
1answer
34 views

If a positive operator $y$ has the same kernel as $cy$, what can we conclude about the kernel of $c$?

Let us consider the equation $x=cy$ in $B(H)$. Assume that: $y$ is a positive operator. $x$ and $y$ have the same null space. Ker($y$) is contained in Ker($c$). Can we conclude that Ker($y$)=...
2
votes
1answer
127 views

Direct limit of certain $C^*$ algebras is simple

Let $X$ be a compact Hausdorff space. Let $(x_n)$ be a sequence in $X$.Assume $X$ has no isolated points. Define $A_n = C(X, M_{2^n}(\mathbb{C}) )$ and define $\phi_{n+1,n} : A_n \to A_{n+1}$ by $$\...
1
vote
0answers
16 views

Topology whose restriction to some sub-von-Neumann-algebra is its WOT?

Let $R \subset S$ be distinct von Neumann algebras having a separating vector in the separable Hilbert space $H$ on which they act. In what cases (if any) does there exist a topology $\tau$ on $S$ ...
2
votes
1answer
69 views

If $\|p-q\|<{1\over2}$ then $p$ is homotopy equivalent to $q$

Let $A$ be a $C^*$ algebra, $p,q \in A$ projections, such that $\|p-q\|< {1 \over 2}$. Show that $p$ homotopy equivalent to $q$. Proof. Let $a_t=(1-t)p+tq$, then $a_t$ is positive (self-adjoint ...
0
votes
1answer
41 views

A factorization for operators

Let $a$ be an arbitrary operator in $B(H)$ and $b$ be a positive operator in $B(H)$. Assume $a$ and $b$ have the same null space and there exists an operator $u\in B(H)$ with $a=ub$. Q) Can we ...
2
votes
0answers
41 views

Why are functional calculi interesting?

In my class on spectral theory we have defined the continuous functional calculus for normal elements of a C*-algebra. We were told that this is one of the most important results in spectral theory on ...
2
votes
1answer
46 views

If $\|p-q\|<1$ then they are Murray–von Neumann equivalent- proof

$\newcommand{\ran}{\operatorname{ran}}$ Let $p$, $q$ be projections in a $C^*$-algebra $A$. If $\|p−q\|<1$ then $p$ and $q$ are MvN equivalent. I'm tryind to understand the following proof: ...
3
votes
1answer
41 views

non abelian von Neumann algebras

I'm not familiar with von Neumann algebras, but I need the following fact (if it's true) for an other proof. Let $H$ be a Hilbert space, $A\subseteq L(H)$ a non abelian von Neumann algebra. Must $A$ ...
2
votes
1answer
51 views

Let $N$ be a normal operator. When $W^*(N)$ is a MASA?

I am trying to find conditions in which $W^*(N)$ is a MASA, where $N$ is a normal operator acting on some Hilbert space. I know that the multplication algebra $\{M_f| f\in L^{\infty}(X, \mu) \}$ is ...
2
votes
1answer
46 views

What does a homomorphism $\phi: M_k \to M_n$ look like?

Let $\phi : M_k(\Bbb{C}) \to M_n(\Bbb{C})$ be a homomorphism of $C^*$-algebras. We know that $\phi$ decomposes as a direct sum of irreducible representations, each of them equivalent to the identity ...
2
votes
1answer
24 views

GNS-Construction: Involution

Given a C*-algebra $\mathcal{A}$. (It may or may not contain identity!) Consider a positive linear functional: $$\omega:\mathcal{A}\to\mathbb{C}:\quad A\geq0\implies \omega(A)\geq0$$ Construct its ...
1
vote
1answer
50 views

Two Fredholm operators A and B have the same index iff there is an invertible operator C s.t. A-BC is compact

First, I've shown that a Fredholm operator $T\in B(E)$, where $E$ is an infinite dimensional Banach space, is a compact perturbation of an invertible operator iff its index vanishes. Then, I need to ...
1
vote
1answer
32 views

Why is $tr((a_{ij})=\sum\limits_{i=1}^n a_{ii}$ k-positive for all $k$?

Let $A$ be a $C^*$-algebra and $$Tr:M_n(A)\to A,$$ $$(a_{ij})\mapsto \sum\limits_{i=1}^n a_{ii}.$$ The claim is that this map is k-positive for all $k\in\mathbb{N}$. Let $k\in\mathbb{N}$ and consider ...
-2
votes
1answer
25 views

Quantum mechanics, operators acting on generic state

For a quantum mechanical harmonic oscillator of constant real mass m and frequency ω, define the following operators on the Hilbert space: $ h = a^{+}a $ $e = [\sqrt{-1 + a^{+}a}]a^{+} $ $ f ...
2
votes
1answer
46 views

projections in von Neuman algebra

Consider a semifinite von Neumann algebra $\mathcal{M}$ with a semifinite faithful normal trace $\tau$. If $Q, P$ are projections in $\mathcal{M}$ with $\tau(Q)< \tau(P)$, then does $\tau(P\wedge Q^...
7
votes
1answer
83 views

A question concerning Mazur's Lemma

I have a problem with application of Mazur's Lemma. Just consider $B(H)$ when $H=\ell_2$. Then, $B(H)$ is a normed vector space. Then, take operators $$X_n:={\rm diag}(0,0,\cdots,0,1,1,1,1,\cdots)$$...
4
votes
1answer
41 views

if $A_n$ weakly converges to $A$, does $|A_n| \rightarrow _{wo} |A|$?

Suppose that $A_n,A$ are self-adjoint operators in $B(H)$. If $A_n$ weakly converges to $A$, does $|A_n| \rightarrow _{wo} |A|$? From Proposition. 2.3.2 of Pederson'book, I know the result holds in ...
0
votes
0answers
28 views

Metrics from Operator Norms

Let $X$ be a Hilbert space and $(\cdot,\cdot)_X$ be the inner product on $X$. It is well known that $|x|_X = \sqrt{(x,x)_X}$ is a norm on $X$ and $|x-y|_X$ is a metric on $X$. The norm on $X$ induces ...
2
votes
1answer
28 views

a basic question in crossed product for compact group action

I am quite new into crosssed product of Fréchet algebras or C$^*$-algebras. So if the question is too basic please excuse me. Suppose we have two Fréchet algebras or C$^*$-algebras $A$ and $B$ and ...
0
votes
0answers
14 views

Find conditions on operator $A$ , {$Af_n$} is in $L^2$ and $\lim\limits_{n\mapsto \infty} \int_a^b (Af_n - f)^2 dx =0$.

Consider a linear operator $A$ . Please could you state sufficient conditions on $A$ other than the one I gave such that for any $f$ in $L^2$ there is a sequence {$f_n$} such that the sequence {$...
2
votes
1answer
41 views

Weak convergence and strong convergence on $B(H)$

Let $\mathcal{A} \subset B(H)$ be a weak closed convex bounded set of self-adjoint operators. If $A_n \rightarrow_{wo} A\in \mathcal{A}$, do we have $A_n \rightarrow A$ strongly?($A_n$ is a sequence ...
2
votes
0answers
14 views

Nonhomogeneous Toeplitz equation

Let $T$ be the Toeplitz operator on $\ell_p$ with symbol $\alpha(\lambda)=a/2\cdot \lambda-(a+1/2)+\lambda^{-1}$, where $a$ is complex. I want to solve the following $$ Tx=y $$ for $x\in \ell_p$ ...
2
votes
1answer
30 views

Tomita Theory: Involution

Given a Hilbert space $\mathcal{H}$. Consider a von Neumann algebra: $$M\subseteq\mathcal{B}(\mathcal{H}):\quad M=M''$$ Suppose a cyclic vector: $$\Omega\in\mathcal{H}:\quad\overline{\mathcal{M}\...
3
votes
1answer
21 views

subset of pure states with norm condition already dense

I struggle to proof the following statement: Let $Y\subseteq P\left(B\right)$ a subset of pure states on a $C^*$-Algebra $B$ such that for every $b\in B$ there exists a $\varphi \in P \left(B\right)$ ...
3
votes
2answers
30 views

why is $f\otimes g:A\otimes_{\min}C\to B \otimes_{\min} D$ injective?

If $f:A\to B$, $g:C\to D$ are injective $\ast$-homomorphisms between $C^*$-algebras $A, B, C, D$, is the induced map on the spatial tensor product $$f\otimes g:A\otimes_{\min}C\to B \otimes_{\min} D$$...
2
votes
0answers
30 views

What is the motivation of studying $P[A]$ in operator K-theory?

I am reading the last chapter of Murphy's $C^*$-algebras and operator theory. He defines $$P[A]=\bigcup_{n=1}^\infty\{p\in M_n(A):\text {$p$ is a projection} \}$$ and construct the Grothendieck group ...
1
vote
1answer
24 views

Strong convergence of Spectral Projection

Let $H$ be a Hilbert space and $B(H)$ be the space of all bounded linear operators on $H$. Assume that $\{A_n\in B(H)\}_n$ strongly converges to $A$. $E^{|A|}(1,\infty)$ is a spectral projection of ...
4
votes
1answer
54 views

Aproximating positive elements in inductive limit of C* algebras

Let $\{A_i,\Phi_{ij} \}_{i\in \mathcal{I}}$ a directed system of C* algebras and $A:=\varinjlim A_i$ its limit. I know that if $x\in A$ is self-adjoint, it can be approximated with another self-...
1
vote
0answers
14 views

Crossed product by locally finite group

If a countable discrete group $G$ is the direct limit of finite subgroups $F_i$, and $G$ acts on a compact Hausdorff space $X$, can the crossed product $C^*$-algebra $C(X)\rtimes_r G$ be described in ...
3
votes
0answers
15 views

Where can I learn properties about spaces of linearly independent projectors?

I am interested in characterizing the space of all collections of $d^2$ linearly independent projectors on the Hilbert space $\mathbb{C}^d$. The linear independence I desire is in the vector space of $...
3
votes
0answers
28 views

Existence of Star Cyclic Vector for $M_\phi$- Necessery and sufficient condition

Let $X$ be a $\sigma$-finite measure space. $M_\phi :L_2(\mu)\rightarrow L_2(\mu)$ for $\phi \in L_\infty (\mu)$ is defined by $f \rightarrow \phi. f$. $f_0$ is called a star cyclic vector for $M_\...
4
votes
1answer
39 views

The second isomorphism theorem for C*-Algebras

in my functional analysis class right now we are studying the basics of C* Algebras and I was recently asked this question about the second isomorphism theorem for C* Algebras, but first let me cite ...
3
votes
1answer
57 views

Continuity of functional calculus

Let $\mathcal{A}$ be an unital C*-Algebra. $a,b$ be normal elements in $\mathcal{A}$. $X\subset \Bbb C$ is a compact subset. $f:X\rightarrow \Bbb C$ is continuous. I need to show that for all $\...
0
votes
1answer
38 views

Two normal operators are similar if and only if they are unitarily similar

I need to prove that in a $C^*$-Algebra two normal operators are similar if and only if they are unitarily similar. Can anybody help, please? One side is obvious, so our concern is the other side. I ...
4
votes
1answer
40 views

Weak convergence of bounded operators

so let $X$ be a Banach space then we say that $A_n \in L(X)$ converges weakly to $A \in L(X)$ if for all $y \in L(X)^*: y(A_n) \rightarrow y(A).$ On the other hand, I just read that weak convergence ...
1
vote
0answers
36 views

Lebesgue measurable integration, density

Let $\mathbb{T}$ be the unit circle and $\lambda$ be the Lebesgue measure on $\mathbb{T}$. Let $A_n := e^{2\pi i[1/2^{2n},1/2^{2n+1}]}$, $n\ge 1$. Define a function $f$ on the set of all the Lebesgue ...
3
votes
1answer
29 views

Let $A$ be a Banach algebra. Suppose that the spectrum of $x\in A$ is not connected. Prove that $A$ contains a nontrivial idempotent $z$.

While trying to solve the exercise below, I came up with a wrong conclusion, but I can't see why it's wrong. Also I'm accepting suggestions to get the right solution. This is the problem 17 from ...
3
votes
2answers
44 views

Why is $\overline{B(l^2)\odot B(l^2)}^{\| \enspace \|_{op}}\neq B(l^2\otimes l^2)?$

Let $B(l^2)$ be the $C^*$algebra of bounded linear operators on the sequence space $l^2$ and denote with $B(l^2)\odot B(l^2)$ the tensor product of $B(l^2)$ with itself, considered as a $*$algebra (...
2
votes
1answer
13 views

Is $p\in B(\mathbb{C}^4)$ a s.o.t-limit of a sequence $(a_n\otimes b_n)_{n\in\mathbb{N}}\subseteq B(\mathbb{C}^2)\otimes B(\mathbb{C}^2)$?

Let $L(H)$ the bounded linear operators on a hilbert space $H$. I proved that the inclusion $$i:B(\mathbb{C}^2)\otimes B(\mathbb{C}^2)\hookrightarrow B(\mathbb{C}^4)$$ is not surjective: take $p=\...
1
vote
1answer
16 views

positive operator, projection on Hilbert,$Q|T|Q \ge |QTQ|?$

Let $T$ be an operator on a Hilbert space $H$. And $Q$ be a projection. Whether $$Q|T|Q \ge |QTQ|?$$ Obviously, if $T$ is positive, then $Q|T|Q = |QTQ|$. Also, there are some $T$ such that $QTQ=0$ ...
1
vote
0answers
22 views

The necessity of defining the stable equivalence in the construction of the Grothendieck group $K_0$

I am confused about the process of the construction of the Grothendieck group $K_0$ in Murphy's $C^*$-algebras and operator theory section 7.1. Let $A$ be a $*$-algebra and $P[A]=\bigcup_{n=1}^\infty\...
1
vote
1answer
29 views

Existence of minimal projection in a sub-algebra of compact operators

I am not sure that I explained to myself the missing details in the proof right, so please check my explanations. (The proof is taken from "$C^*$ -Algebras by Example"-Davidson) First, I don't know ...
1
vote
0answers
22 views

semifinite von Neumann algebra, spectral projection, trace

Let $\mathcal{M}$ be a semifinite von Neumann algebra and $\tau$ be a semifinite faithful normal trace on it. Let $T,P_1,P_2\in \mathcal{M}$, where $P_1,P_2$ are projections with $P_1\perp P_2$. Then, ...
1
vote
2answers
35 views

positive operator, projection, Hilbert space

Let $T$ be a positive operator on a Hilbert space $H$. Let $P$ be a projection on $H$. Then, it is well-known that $PTP$ is also positive. My question is: whether $T\ge PTP$?
0
votes
0answers
17 views

Show that $(Tf)(x)=\int_0^{x} {t \cdot f(t)} dt$ maps from $L^{1}(0,2)$ $\rightarrow$ $L^{1}(0,2)$

Given the mapping $T:L^1(0,2) \rightarrow L^1(0,2), (Tf)(x)=\int_0^{x} {t \cdot f(t)} dt$ Show that T actually maps from $L^{1}(0,2)$ $\rightarrow$ $L^{1}(0,2)$. I have been given the hint that i ...
2
votes
0answers
25 views

Injectivity of index map for $K_1(S^1)$

This example/problem is from Valette's notes on the Baum-Connes conjecture (p. 45). The exercise is to prove that the (trivially equivariant) $K$-homology group $K_1(S^1)$ is $\mathbb{Z}$. For this, ...
0
votes
1answer
23 views

Types of W*- algebras

Searching to find a reference for "homogeneous type $I_{{\aleph}_0}$ W*-algebra", I was not successful. Please guide me. Thanks in advance.
0
votes
0answers
13 views

Tensor product of algebras of operators on $SQ_p$ spaces

I am aware that there is a canonical tensor product for $L_p$ spaces that allows one to talk about tensor products of algebras of bounded linear operators on $L_p$ spaces. Is there an analogous notion ...
3
votes
1answer
53 views

About a relation between isometries

If we have $(T_i)_{i=1}^N$, operators on a Hilbert space, that are also isometries and satisfy the following relation: $$\sum_{i=1}^NT_iT_i^*=Id\quad (1)$$ How can you prove that they must also ...
2
votes
1answer
33 views

Index of an element in C*-algebra

Suppose that $x$ is an element of abstract $C^*$-algebra $A$. For example if $x$ is normal, i.e. $x^*x=xx^*$ then if we use any representation $\pi$ of $A$ on some Hilbert space $H$ then $\pi(x)$ will ...