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)

2
votes
1answer
73 views

Connection in the KK-Theory

I have some questions about the connection in the KK-Theory. 1)The definition is complicated, why? What is the motivation? 2)Does any relation bewteen the connection at here with the differential ...
2
votes
1answer
107 views

Is there an irreducible, noncompact commuting, nonnormal operator, with spectrum strictly continuous?

Let $H$ be an infinite dimensional separable Hilbert space. Definition: The commutant $\mathcal{S}'$ of a subset $\mathcal{S} \subset B(H)$ is $ \{A \in B(H) : AB=BA \ , \ \forall B \in \mathcal{S} ...
3
votes
2answers
181 views

Hahn-Banach Theorem in the C*-algebra

What is the Hahn-Banach Theorem in the C*-algebra(or W*-algebra maybe)? If B is an nondense subalgebra of C*-algebra(or W*-algebra maybe), can we get an state f of A which is always zero at the ...
4
votes
2answers
216 views

How generalize the bicommutant theorem?

Let $H$ be an infinite dimensional separable Hilbert space. Bicommutant theorem : Let $\mathcal{S}$ be $*$-subset of $B(H)$, then $\mathcal{S}''$ is the strong closure $\overline{\langle ...
3
votes
2answers
145 views

Commutant of bounded linear operators on a Hilbert space

Given a Hilbert space $H$, denote by $\mathcal{A}=\mathcal{B}(H)$ the C*-algebra of bounded linear operators on $H$. Denote further by $$\mathcal{B}(H)' := \{A\in \mathcal{B}(H) : [A,B]=0 \;\forall ...
2
votes
0answers
37 views

Factorizing a saddle point operator

I have a coupled pde which, after semi-discretizing in time, results in the solution of a sequence of continuous saddle point problems $Lu^t=b$. Written explicitly, the problem looks like this: ...
5
votes
1answer
290 views

A theorem about operator theory

Define $$\operatorname{Ref}\mathcal{S}=\{T\in B(\mathcal{H}):Th\in[\mathcal{S}h], \forall h \in \mathcal{H}\},$$where $\mathcal{H}$ is a Hilbert space and $\mathcal{S}$ is a linear manifold of ...
8
votes
2answers
196 views

Traces on separable simple $C^{\ast}$- algebras

What is an example of a separable, simple $C^{\ast}$-algebra that admits two different tracial states? EDIT: Julien has pointed to a number of avenues to answer this question. If anyone has an ...
1
vote
2answers
199 views

How to prove $[x,p]=i$ $\implies$ $[x,p^n]=inp^{n-1}$?

How to prove $[x,p]=i$ $\implies$ $[x,p^n]=inp^{n-1}$? I can do this using $p=i\frac{d}{dx}$, but my book hasn't introduced this yet so is there another proof without using this ? These are just ...
3
votes
1answer
102 views

Questions about $B(H)$ and $B(H)/K(H)$ as Banach space

I am trying to investigate the relation between Uniformly Convexity and existence of Schauder Basis for a Banach space. I read in a Handbook article that $B(H)$ (the algebra of all bounded operators ...
4
votes
3answers
454 views

Sufficient condition for a *-homomorphism between C*-algebras being isometric

Let $\mathcal{A},\mathcal{B}$ be two unital C*-algebras and consider a *-homomorphism $\pi: \mathcal{A} \rightarrow \mathcal{B}$. I know that in general $\pi$ is contractive, i.e. $\vert\vert \pi(A) ...
4
votes
1answer
192 views

Cyclic vectors of an irreducible representation of a C*-algebra

Let $\mathcal{A}$ be a C*-algebra and $(H,\pi)$ an irreducible representation of $\mathcal{A}$. I want to prove the statement: all $\xi \in H$ are cyclic or $\pi(\mathcal{A})=\{0\}$ and ...
2
votes
1answer
78 views

Sufficient condition for self-adjoint subset of bounded linear operators on a Hilbert space being irreducible

Let $H$ be a Hilbert space and denote as $B(H)$ the bounded linear operators on $H$. Let $M$ be a subset of $B(H)$, s.t. for $A \in M$, also $A^* \in M$. How can one show that if the commutant has ...
4
votes
2answers
148 views

Commutative unital Banach algebra with nilpotent elements

What would be a concrete example of a commutative unital Banach algebra that contains nilpotent elements?
2
votes
1answer
56 views

Stable group algebras

Let $G$ be a discrete group and let $C^*_r(G)$ be its reduced group C*-algebra. Is there any group $G$ for which we have $C^*_r(G)\cong M_2(C^*_r(G))$? Or more generally, $C^*_r(G) \cong ...
1
vote
2answers
108 views

Property of Banach algebra with involution

Let $\mathcal{B}$ be a Banach algebra with involution *. Is it always true that $\forall A \in \mathcal{B}: \| A \|^2 \geq \| A^* A \| $? (motivation: I read a proof that bounded linear operators on ...
2
votes
1answer
135 views

Prove the approximate identity from the unitization

Suppose $A$ is a $C^*$-algebra without unit, $A^+$ is a unitization of $A$, treat $A$ in the $A^+$, if $\{x_n\}$ in $A$ converge (or monotonous converge) to $1$ in $A^+$, does $\{x_n\}$ must be the ...
1
vote
0answers
54 views

Relationship of two generalizations of the real/complex calculus

On the one hand, one has the various functional calculi from Operator Algebras. The continuous functional calculus for C* algebras, the bounded borel functional calculus for Von Neumann Algebras, the ...
0
votes
1answer
76 views

Proof that operator is an isometry

A linear operator $L$ between complex spaces with inner product $U$ and $V$ is an isometry, only if $\left < Lu_i, Lu_j \right > = \left < u_i, u_j \right >$ for all $u_j, u_i$ from a ...
0
votes
1answer
58 views

Proof that restriction of hermitian operator to its invariant subspace is also hermitian

Proof that restriction of hermitian operator to its invariant subspace is also hermitian What would be the most elegant way to prove this?
10
votes
3answers
672 views

Applications of Banach Algebras and Operator Algebras

I am trying to learn operator algebra theory (I am tempted to start with Douglas' "Banach Algebra Techniques in Operator Theory"). One aspect that I am curious about is whether there are significant ...
3
votes
1answer
159 views

On the use of nets when defining operator topologies

Let's consider the strong operator topology and the weak operator topology on bounded operators of a infinite-dimensional Hilbert space $H$. When they define these operator topologies, some authors ...
3
votes
1answer
177 views

GNS-triplets for states on the matrix space: generalization to the infinite-dimensional setting

In a previous exercise, I have proven that states $\omega$ on the $C^*$-algebra $M_n(\mathbb C)$ correspond to a unique density matrix $\rho$ by the relation $\omega(A) = \mathrm{Tr}(\rho A)$. I was ...
-2
votes
1answer
70 views

$‎‎\sigma(x)‎$ ‎‎‎‎is ‎contained ‎in ‎the ‎imaginary ‎axis ‎of ‎the ‎complex ‎plane

$‎A$ ‎is a‎ ‎C*-algebra ‎and ‎‎$‎x‎\in A‎$ ‎satisfies ‎‎$‎x‎^*=-x‎$.‎I want to show that ‎‎$‎‎\sigma(x)‎$ ‎‎‎‎is ‎contained ‎in ‎the ‎imaginary ‎axis ‎of ‎the ‎complex ‎plane.How i prove it?
4
votes
1answer
277 views

Self-adjoint projections of a C*-algebra as complete lattices?

In Blackadar's Operator Algebras, there is the following remark after the proposition II.3.3.1 : The projections in a C*-algebra do not form a lattice in general In the answer of this question, ...
2
votes
1answer
75 views

Inner product on a von Neumann algebra

Let $M$ be a $\sigma$-finite von Neumann algebra (one which admits a faithful normal state) acting on a Hilbert space $H$. Denote its faithful normal state by $\omega$. We can define an inner product ...
4
votes
2answers
215 views

a trace class operator problem

Could someone help me with this Prove that If $A$ and $B$ are positive trace class operators on a Hilbert space, then so is $A^zB^{(1-z)}$ for a complex number $z$ such that $0 <Re(z)< 1$. An ...
1
vote
0answers
58 views

Arveson index of a completely positive map on matrix algebra

Can someone tell me what is Arveson index of a completely positive map. What I want is given a map \begin{eqnarray} \psi:\mathcal{B}(\mathbb{C}^m)&\longrightarrow&\mathcal{B}(\mathbb{C}^n)\\ ...
3
votes
1answer
115 views

Cap product between K-Theory and K-Homology

In Exercise 9.8.9 of the book "Analytic K-Homology" by Higson and Roe one has to construct a cap product $K_p(A) \otimes K^q(A) \to K^{q-p}(A)$, if A is commutative. Is the commutativity ...
1
vote
0answers
57 views

$\ast$-homomorphism

Let $\phi: C(X,M_{4}(\mathbb{C})) \rightarrow C(Y,M_{8}(\mathbb{C})) $ be a $\ast$-homomorphism where $X$ and $Y$ are compact Hausdorff spaces. Let $M_{2}(\mathbb{C})$ be the C*-subalgebra of ...
2
votes
1answer
62 views

Subalgebras of certain C*-algebras

Let $A$ be a C*-subalgebra of $C(X, M_{n}(\mathbb{C}))$ where $X$ is a compact Hausdorff space, does it follow that $A$ is isomorphic to $C(Y, M_{m}(\mathbb{C}))$ for some $Y\subseteqq X$ and ...
0
votes
1answer
82 views

A $*$-homomorphism from the CAR algebra to $\mathfrak B(\mathcal H)$

Could a $*$-homomorphism $\pi:\text{CAR}\to\mathfrak B(\mathcal H)$ exist (with $\mathcal H$ separable) such that there is a compact and positive element $h\in\mathcal K$ commuting with the image of ...
0
votes
1answer
52 views

Spectrum of T in $B(\ell^2)$

Let $T:\ell^2 \to \ell^2$ be an operator on $\ell^2$ is defined as follows: $$T\{a_1,a_2,\dots\}=\{0,a_1,a_2,\dots\}$$ What is spectrum of T in $B(\ell^2)$?
1
vote
0answers
42 views

question about idempotent operators [duplicate]

Let $H$ be a Hilbert space and $\dim(H)=\infty$. If each $T\in B(H)$ is finite sum of idempotent operators? If each $T\in B(H)$ is infinite sum of idempotent operators?
-2
votes
2answers
94 views

Question about derivation in Jordan algebra

Let $(G,\circ)$ be a Jordan algebra, then $\sigma:G\to G$ given by $$c\mapsto a\circ(b\circ c)-b\circ(a\circ c),\quad\forall c\in G,$$ is a derivation, where $a$ and $b$ are two fixed elements of $G$. ...
7
votes
1answer
688 views

Property of partial traces

Consider the Kronecker product of $A \in M_m, B \in M_n$: $A \otimes B = \left( \begin{matrix} a_{11}B&...&a_{1m}B\\ \vdots&\ddots\\a_{m1}B&...&a_{mm}B \end{matrix} \right)$ $A ...
4
votes
0answers
157 views

Comparison of positive elements and Hilbert C*-modules

I can't find a proof of facts like the following, which apparently are quite standard in the theory of C*-algebras. Let $\mathfrak A$ be any C*-algebra, and $a,b$ two positive elements in $\mathfrak ...
2
votes
1answer
126 views

K-theory, $K_{0}$ of algebra of compact operators

I don't understand how to define the trace of a matrix with values in operators. This occurred in the following situation: Suppose that $H$ is an Hilbert space and $K$ is the algebra of compact ...
5
votes
1answer
99 views

characters of a $C^*$-algebra

I have read that a state $\rho$ on a unital $C^*$-algebra $A$ is a character (i.e. multiplicative) if and only if, for all unitary $u\in A$, $|\rho(u)| = 1$. Is there an easy proof, or can someone ...
4
votes
1answer
68 views

When is the image of a GNS representation WOT-dense?

Given a $C^*$-algebra $A$ and a state $\rho$ on $A$, let $\pi_\rho$ be the corresponding GNS representation on the Hilbert space $H_\rho$. I would like know when the image of $\pi_\rho$ is WOT-dense ...
4
votes
1answer
192 views

Quotients of C*-algebras

It is known that every unital separable C*-algebra is a quotient of the full group C*-algebra $C^*(F_I)$, where $F_I$ is the free group generated by some index set $I$. Can we drop the ...
4
votes
1answer
229 views

Relation between noncommutative geometry and functional analysis

Recently I came across the subject of noncommutative geometry via my interest in functional analysis. My very little exposure to this subject gives me a sense that part of it is built on the theory of ...
2
votes
1answer
117 views

Quotients of the maximal tensor product

Let $A$ and $B$ be C*-algebras and let $\gamma$ be any C*-norm on the algebraic tensor product $A\odot B$. Why is $A\otimes_\gamma B$ a quotient of $A\otimes_{{\rm max}}B$, where $\otimes_{{\rm max}}$ ...
3
votes
0answers
162 views

C* algebra of bounded Borel functions

Let $T\in B(H)$ is normal, and $B(\sigma(T))$ denote the $C^*$ algebra of all bounded Borel functions on $\sigma(T)$. Then is it true that $B(\sigma(T))$ is a closed $C^*$ algebra under the sup. norm ...
1
vote
0answers
125 views

From positive definite function to Følner sequence -— a question on amenability and nuclearity

We know that amenability of countable discrete group $\Gamma$ has many equivalent characterizations. In particular, there are two: a) there is a sequence of finitely supported positive definite ...
3
votes
1answer
64 views

Block Matrices of Operators

I'm trying to prove the following: Consider the vector space of matrices of size $n\times n$ whose entries in $\mathcal B(H)$. Denote this vector space by $M_{n,n}(\mathcal{B(H)})$. We can define ...
5
votes
1answer
98 views

Definite states on C*-algebras

A state $\omega$ on a unital $C^*$ algebra $A$ is called definite at $a\in A$ self-adjoint if $\omega(a^2)=\omega(a)^2$. I proved that if we have such a definite state at $a$, then for all $b\in A$ ...
1
vote
1answer
103 views

On the Spectral Theorem

Let $H$ be a Hilbert space, $T\in B(H)$ be normal and $E$ its spectral measure. a- Let $\delta >0$ , and let $M_{\delta}$ = $\left\{\lambda\in \sigma(T): |\lambda|\geq \delta\right\}$. ...
4
votes
1answer
196 views

States and positive elements in $C^*$-algebras

Let $A$ be a unital $C^*$-algebra and $w$ be a state (i.e a positive linear functional such that $\|w\|=w(1_A)=1$. I'm trying to prove the following:a) if $a$ is selfadjoint and $w(a^2)=w(a)^2$ then ...
2
votes
1answer
79 views

A question concering nuclearity

B. Blackadar in his book Operator algebras: Theory of C${}^\ast$-Algebras and Von Neumann Algebras defines a C*-algebra $A$ to be nuclear if for every C*-algebra $B$ the algebraic tensor product ...