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
2answers
99 views

Polar decompostion for the operator algebras

I find that most of books discussing the polar decompostion at the W*-algebras, but not C*-algebras. I guess the rough reason is that the element of W*algebras has the well supported set, but I want ...
2
votes
1answer
94 views

Dense subalgebras of von Neumann algebras and increasing nets

Let $N$ be a von Neumann algebra, and $A$ be a dense $*$-subalgebra of $N$ (in the ultraweak topology) with $A''=N$. Is it true that: For any $x\in N^+$, there exists a increasing net $(x_j)$ in ...
2
votes
1answer
73 views

Conjugates in integrals

Is it always true that $\int f(x)^*M^\dagger Mf(x) dx=\int (Mf(x))^*(Mf(x)) dx$? where $M$ is an operator. If so, is there a simple proof that this is so? THanks.
2
votes
1answer
22 views

How to prove the following map is a c.c.p map

Here is a quotation in a book "C*-algebrass and Finite-Dimensional Approximations" by Nate and Taka (P122). Let $A$ be a C*-algebra, $\Gamma$ be a discrete group and the $\alpha$ is an action of ...
2
votes
1answer
37 views

Do two II$_1$-factors with trivial intersection generate $B(H)$?

Let $H$ be an infinite dim. separable Hilbert space and $B(H)$ the algebra of bounded operators. Let $A$, $B \subset B(H)$ be II$_1$-factors such that $A \cap B = \mathbb{C}I$. Examples: (1) Take ...
2
votes
2answers
34 views

Ultra weakly closed *-subalgebra of B(H)

I'm currently working on a text about von Neumann algebras and the author used without further clarifying that any ultra weakly closed *-subalgebra of $B(H)$ contains a largest projection. Could ...
2
votes
1answer
19 views

An extension of representation

Let $A,~B$ be two C*-algebras, if $A$ is an ideal in $B$, then do we have that any representation of $A$ can extend to a representation of $B$?
2
votes
1answer
34 views

The canonical surjection between the full and the reduced group C^*-algebras

This might be an incredible easy question -- since any reference I've found state it as obvious -- but anyway: Given a group $G$, I can construct the full group-$C^*$-algebra $C^*(G)$ be completing ...
2
votes
1answer
29 views

Questions about multiplier algebra and corona algebra

When I read N.E. Wegge-Olsen's book K-theory and C-star-algebras_ A friendly approach I meet the following two problems about standard isomophisms: For any $C^\ast$-algebra $\mathcal{A}$, is ...
2
votes
1answer
36 views

Question about finite rank operators

Let $X$ be a normed space, $\mathcal{F}(X)$ the algebra of all operators on $X$ with finite fank, then $\mathcal{F}(X)$ is the unique minimal ideal of $\mathcal{K}(X)$ the algebra of all compact ...
2
votes
1answer
34 views

Are contractive completely positive maps trace decreasing?

Are contractive completely positive maps trace decreasing? More precisely, suppose that $f\colon M\to N$ is a normal cpc map between von Neumann algebras with normalised normal traces. (That is ...
2
votes
1answer
25 views

Is the von neumann algebra of locally compact amenable group hyperfinite?

Let $G$ be a discrete group and $\mathcal{L}(G)$ the associated von Neumann algebra. It is well known that $G$ is amenable if and only if $\mathcal{L}(G)$ is hyperfinite. Does there exist a ...
2
votes
1answer
26 views

The comprehension of a paragraph about point-ultraweak convergence

There is a quotation below (in the book "C*-algebras and Finite-Dimensional Approximations") Remark 2.1.3. It follows from Sakai's predual uniqueness theorem that when checking point-ultra weak ...
2
votes
1answer
47 views

A question on double dual of C*-algebra

Let $A, B$ be the C*-algebra. Assume $A$ is nonunital, $B$ is unital and $\phi: A \rightarrow B$ is a contractive completely positive map. Then we consider the double adjoint map $\phi^{**}: ...
2
votes
1answer
44 views

The spectrum of the operators

Let $X, Y$ be the Banach space, and $T_{1}: X\rightarrow X$ and $T_{2}: Y\rightarrow Y$ be the bounded linear operators. Then what is the relationship between $\sigma(T_{1})$, $\sigma(T_{2})$ and ...
2
votes
1answer
99 views

Arveson's Extension Theorem in C*-algebra

I am reading a book C*-algebra and finite-Dimensional Approximations. There are two conclusions (in the book) below. Corollary 1.5.16. Let $E\subset A$ be an operator subsystem and $\phi: E ...
2
votes
1answer
31 views

A confusion on Stinespring dilation

There is a quotation of Stinespring dilation in a book about C*-algebra. (Stinespring dilation) Let $A$ be a unital C*-algebra and $\phi: A \rightarrow B(H)$ be a completely positive map. Then, there ...
2
votes
1answer
49 views

A funny way of expressing the identity operator

I have encountered the following trick that people in C*-algebra use; but frankly I don't understand why really this is true. Let $A$ be a unital C*-algebra acting non-degeneratly on a Hilbert space ...
2
votes
2answers
32 views

An inequality for completely positive maps.

Let $f\colon A\to B$ be a contractive completely positive, ${}^*$-preserving map between C*-algebras and take $a\in A$. How one can prove that $$0\leqslant f(a)f(a^*)\leqslant f(aa^*)?$$ Some authors ...
2
votes
1answer
89 views

Positive elements of a $C^*$ (MURPHY, ex 2-2).

I'm studying "MURPHY, $C^*$-Algebras and Operator Theory" thoroughly and got stuck in the following exercise: Exercise 2, chapter 2. Let $A$ be a unital $C^*$-algebra. (a) If $a,b$ are positive ...
2
votes
1answer
63 views

A confusion in C*-algebra

I am reading a book about C*-algebra. But I meet with some problems. In the book, the author says: If $I$ is an ideal in a C*-algebra $A$, then $B=I\cap I^{\ast}$ is a C*-subalgebra. However, I ...
2
votes
1answer
67 views

Map to multiplier algebra for C*-subalgebra

We have such a claim: If $A$ is an ideal of C*-algebra $B$, then there is a unique morphism $f\colon B\to M(A)$ such that $f$ is identity on $A$, here $M(A)$ is the multiplier algebra of $A$. Now ...
2
votes
1answer
111 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 ...
2
votes
1answer
65 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 ...
2
votes
1answer
112 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}}$ ...
2
votes
1answer
119 views

Determining whether an operator is Hermitian

The operator $F$ is defined by $F\psi(x)=\psi(x+a)+\psi(x-a) $, where $a$ is a nonzero constant. Determine whether or not $F$ is a Hermitian operator. If the condition for $F$ to be Hermitian is ...
2
votes
2answers
83 views

Multiplicative linear functional on algebra of limit of polynomials

Let $A$ be the space of all functions which are limit of polynomials over the unit ball $D$. Then $A$ is a commutative Banach algebra. Then how do I show that $A$ has no non zero multiplicative linear ...
2
votes
1answer
52 views

Set of states not compact

I'm looking for an example of a non-unital $C^*$-algebra $A$ whose set of states $S(A)$ is not compact (in the weak* topology, of course). I think $K(H)$, the compact operators over a Hilbert space ...
2
votes
1answer
78 views

A reference request for sums of $C^*$-algebras

Does anyone know where I can find a reference for the following well-known fact: Let $(X_i)_{i\in I}$ be a family of compact Hausdorff spaces and let $X$ be the disjoint sum of all $X_i$s. Then ...
2
votes
1answer
185 views

How to make a topological subspace Hausdorff

If $X$ is a compact topological space then $C(X)$ is a C* algebra. I'm not going to attempt to discuss the locally compact case with $C_0(X)$ because usually the definition of that space requires the ...
2
votes
1answer
146 views

The commutant of a tensor product

In this whole post beginning with the second paragraph, by "tensor product" I will mean the operation done on Von Neumann algebras where one applies the homomorphism from here Tensor products of maps ...
2
votes
1answer
75 views

An expression for the sup of projections

In $B(H)$ where $H$ is a Hilbert space, we have that if p and q are (orthogonal) projections that Inf{$p$, $q$} is in $B(H)$. This also holds if we replace $B(H)$ by the phrase "the strong closure of ...
2
votes
1answer
72 views

No trace on $B(H)$ if $H$ is infinite dimensional

Let $H$ be an infinite dimensional Hilbert space and $B(H)$ the bounded linear operators on $H$. Then thre is no ultra weakly continous non-zero positve trace $tr:B(H)\rightarrow \mathbb{C}$. I ...
2
votes
1answer
38 views

A linearly independent set about approximate units

Let $B$ be a C*-algebra and $\{b_{i}\}_{i=1}^{n}\subset B$ be linearly independent. If we take $\{f_{k}\}\subset B$ which is approximate units, then can we find a large $k$, such that $\{b_{1}f_{k}, ...
2
votes
1answer
30 views

Zhou operator theory book, Kaplanskys formula

In Zhou's operator theory book, Kaplanskys formula has stated that if $P$ and $Q$ are projection in a von neumann algebra $A$ acting on $H$, then $P\vee Q-Q\sim P-P\wedge Q$. In the proof, it says ...
2
votes
1answer
59 views

Dual of injective tensor norm is not projective tensor norm

Let $A$, $B$ are two Banach space, on the algebraic tensor space $A$ $\odot$ $B$, we can define the projection(maximal) tensor norm $\gamma$ and injective(minimal) tensor norm $\lambda$. For the ...
2
votes
1answer
46 views

An exercise about projections on Hilbert space

Let $H$ be a Hilbert space with an orthonormal basis $\{v_{n}\}_{n=1}^{\infty}$. The C$^{*}$-algebra $K$, the set of all compact operators on $H$, is a non-unital C$^{*}$-algebra. Let $p_{n}$ be the ...
2
votes
1answer
27 views

Unit in the image of a cp map

This is another question which looks non-trivial to me. Suppose that we have a completely positive map $f\colon M_n \to M_m$ such that $f(a) = I_m$, the identity matrix on $M_m$. Is there a positive ...
2
votes
1answer
51 views

An exercise on nuclear maps in C*-algebra

Definition 2.1.1 Let $A, B$ be the C*-algebra, a map $\theta: A\rightarrow B$ is called nuclear if there exist contractive completely positive maps $\phi_{n}: A\rightarrow M_{k(n)}(\mathbb{C})$ and ...
2
votes
1answer
31 views

Does it hold that $\{a\}'' = \{f(a) : f$ bounded, Borel measurable$\}$?

Let $H$ be an Hilbertspace. Let $a\in\mathcal{B}(H)$ be a self-adjoint operator. Does it hold that $\{a\}^{\prime\prime}=\{f(a):f\in L^{\infty}(\sigma(a))~\text{Borel measureable}\}$?
2
votes
1answer
36 views

A question about $C^\ast$-algebra

In Kadinson's book Fundamentals of The Theory of Operator Algebra, when the author proved the Theorem 7.2.1, he let $V$ be an extreme point of the unit ball of $C^\ast$-algebra $\cal{U}$, $h$ be a ...
2
votes
1answer
44 views

Approximate point spectrum and left topological zero divisors

Recall that a left topological zero divisor in a Banach algebra $A$ is an element $a\in A$ such that there exists a sequence of unit vectors $(a_{n})$ in $A$ with $\lim_{n\rightarrow\infty}aa_{n}=0$. ...
2
votes
1answer
54 views

How do we show that prime C* algebras have trivial center

A prime C* algebra is a C* algebra with the property that the product of any two of its non zero ideals is non zero. The claim is that it has trivial center, i.e., the only central elements are ...
2
votes
1answer
39 views

Give a counterexample that $A$, $B$ are similar matrices in $M_{n\times n}(\mathbb{C})$ but $PAP^{-1}\neq B$ for any $P\in GL_{n}(\mathbb{R})$.

Give a counterexample that $A$, $B$ are similar matrices in $M_{n\times n}(\mathbb{C})$ but $PAP^{-1}\neq B$ for any $P\in GL_{n}(\mathbb{R})$. How to construct this example? I have obtained that of ...
2
votes
1answer
77 views

An quasi-nilpotent operator restricted to a subspace is a nilpotent?

I am reading a paper about operator theory, there is a proposition I could not understand. Let $T\in L(X)$ be a quasi-nilpotent operator and $X_{1}$ be a non-zero finite-dimensional subspace of X, ...
2
votes
1answer
72 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 ...
2
votes
1answer
74 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 ...
2
votes
2answers
142 views

Positive elements in $C^*$-algebras

I'm trying to prove the following, and I'm not sure if the proof is correct? If $A,B$ are $C^*$-algerbas, and $f$ is a $*$-homomorphism from $A$ onto $B$ then $f(A_+)=B_+$.Proof: let $a\in A_+$ then ...
2
votes
1answer
98 views

Spectrum in Banach Algebra

Let $A$ be a unital Banach algebra and $a\in A$. Let $U$ be an open subset of $\mathbb C$ containing $\sigma (a)$. Prove that there is $\delta>0$ such that for every $b\in A$, if ...
2
votes
1answer
192 views

Extension of Choi's theorem on extreme completely positive maps

In this paper Man-Duen Choi gave a criteria for a completely positive map to be extreme. For convenience I am writing it below. Let $\phi:\mathcal{M}_n\rightarrow\mathcal{M}_m$. Then $\phi$ is ...