1
vote
1answer
57 views

Spectrum of normal elements in C*-algebras

Let $\mathcal{A}$ be a C*-algebra and $x \in \mathcal{A}$ a normal element. Can you show that $\left\{ \phi(x) : \phi \text{ is a state on } \mathcal{A} \right\}$ is the closed convex hull of the ...
1
vote
1answer
46 views

A question on tensor product of $C^{*}$ algebras

Let $A$ and $B$ be two $C^{*}$ algebras. Assume that every element of the minimal tensor product $A\otimes_{min} B$ is a finite linear combination of simple tensors $a\otimes b$. Can we say that ...
1
vote
1answer
37 views

The spectral projection of a positive operator

Let $T_{n}\in B(H)$ be a positive operator on Hilbert space $H$ and $T_{n}\rightarrow 1_{H}$ in the strong operator topology. Now fix $\delta>0$ and let $P_{n}$ be the spectral projection of ...
2
votes
1answer
32 views

Applications Gelfand-Naimark-Segal Theorem.

I'm reading the book An Introduction to Operator Algebras (By Kehe Zhu). but do not know how to do the following exercise: Let $A$ be the commutative C*-algebra $C(\partial D)$. For any $z\in ...
0
votes
1answer
18 views

Normal bounded operator

Let $T$ be a bounded normal operator on a Hilbert space. Now I have to show that $T$ is self-adjoint if and only if $\sigma(T) \subset \mathbb{R}$. I already know that for an Abelian unital ...
3
votes
2answers
52 views

an invariant of $C^{*}$ algebras

consider the following property (invariant) for complex $C^{*}$ algebras: "$T(x)=x^{*}$ is the only non zero $\mathbb{R}$-linear map on $A$ which satisfies $T(x)T(y)=T(yx)$." Questions: 1)Some ...
2
votes
1answer
58 views

Existence of invariant states in a $C^*$-algebra

Let $\mathcal{A}$ be a C*-algebra and $\{\tau_t\}_{t\in\mathbb R}$ a weakly-continuous group of *-automorphisms. I've read the claim (without proof) that for any state $\eta$ (that is $\eta$ is a ...
2
votes
1answer
45 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 ...
0
votes
1answer
50 views

A question about utilizing Hahn-Banach theorem

There is a quotation below: Let $A$ be a Banach space, $\mathbb{B}(A)$ be the space of all bounded linear maps from $A$ to $A$ and $C\subset \mathbb{B}(A)$ be any convex set. If a net ...
3
votes
2answers
49 views

Why $ \|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ in the definition of $C^*$ algebra?

I read the definition of $C^*$ algebra in Wikipedia where it says $\|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ but I do not know why. Can you show me how to derive $\|xx^*\| = ...
3
votes
1answer
61 views

An exercise of positive element in C*-algebra

Let $A$ be a unital C*-algebra and $\{b_{n}\}$ be a positive invertible sequence in $A$. If $||1_{A}-b_{n}||\rightarrow 0$, can we conclude $||1_{A}-b_{n}^{-\frac{1}{2}}||\rightarrow 0$ ?
1
vote
2answers
36 views

The unitary implementation of $*$-isomorphism of $B(H)$

Is it possible to construct $*$-isomorphism of (factor von Neumann) algebra $B(H)$ which is not unitary implementable?
1
vote
1answer
45 views

Automorphism of $W^*$ algebra

Let $\mathfrak{A}$ be von Neumann algebra. It is in particular $C^*$ algebra. Is it true that every $*$-isomorphism of $\mathfrak{A}$ is also $W^*-$isomorphism? (Note that every $*$-isomorphism of ...
5
votes
1answer
69 views

Can we say $TT^{*}=T^{2}$ implies $T=T^{*}$?

Let $A$ be a $C^{*}$-algebra, Can we say $TT^{*}=T^{2}$ implies $T^{*}=T$? for $T\in A$ I am looking for a counterexample! Thanks
5
votes
1answer
78 views

Doubt about Proposition 2.39 in Dana Williams' crossed product book

You can see the proposition in a google books preview here. First and foremost, my question is: Question: Am I correct to interpret Proposition 2.39 as setting up a bijective correspondence ...
3
votes
1answer
60 views

Stone's theorem for 1-parameter groups of unitary multipliers?

Let $A$ be a nonunital C*-algebra and let $M(A)$ denote its multiplier algebra. Let $(u_t)_{t \in \mathbb{R}}$ be a strictly continuous 1-parameter group of unitary multipliers. That is, $u_t x \to x$ ...
3
votes
1answer
130 views

Confusion in Gelfand theorem in C*-algebra.

I am reading HX Lin's book, named "An introduction to the classification of amenable C*-algebras", I can not understand a corollary of Gelfand theorem(Corollary 1.3.6): If a is a normal element in a ...
2
votes
1answer
42 views

A question about compact Hausdorff space

Let $X$ be a compact Hausdorff space and $C(X)$ be the set of continuous functions on $X$. And $F$ is a closed subspace of $X$. If the $f\in C(X)$ such that $f|_{F}=0$ is only zero function( i.e. ...
1
vote
2answers
69 views

$a^*a$ has a non-negative spectrum

I am learning $C^*$-algebra, especially I work on the proof of the Gelfand-Naimark theorem. In many books such as the one of Arveson, it looks that the following lemma is the key stone of the proof: ...
2
votes
2answers
70 views

C*-algebra inequality closed under pertubation?

Let $A$ be a C*-algebra. Let $a \in A_+$, the positive cone of $A$. Let $f,g \geq 0$ be real functions with compact supports contained in $(0,\infty)$. Further, assume that $g(x) = f(x) + 1$ for all ...
0
votes
0answers
57 views

Is an exact operator, unitary equivalent to a banded operator?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : Let $(e_{n})_{n \in \mathbb{N}}$ be an orthonormal basis. $T \in B(H)$ is ...
3
votes
1answer
156 views

Does an irreducible operator generate an exact $C^{*}$-algebra?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : An operator $T \in B(H)$ is irreducible if $W^{*}(T)=B(H)$. Definition : A ...
2
votes
1answer
119 views

Does an irreducible operator generate a nuclear $C^{*}$-algebra?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : An operator $T \in B(H)$ is irreducible (Halmos 1968) if its commutant $\{ T\}'$ ...
3
votes
1answer
265 views

A strictly positive operator is invertible

Suppose that $H$ is an Hilbert space, and $T: H \to H$ is a self-adjoint strictly positive operator (i.e. $\langle Tx,x\rangle > 0$ for all $x \neq 0$). How do I show that this operator is ...
4
votes
1answer
194 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, ...
4
votes
0answers
151 views

How to decompose a representation into direct sum of cyclic representation?

Let $U$ be the bilateral shift operator on $l^2 (\mathbb Z)$, let $T=U+U^*$. How to calculate $\sigma(T)$? And how to show there is no cyclic vector for the action of $C^*(T,I)$. Further how to ...
3
votes
1answer
57 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 ...
0
votes
0answers
35 views

Finding Strictly Positive Elements [duplicate]

I need to find the set of strictly positive elements in the $C^*$-algebra $C_0(\Omega)$ where $\Omega$ is a locally compact Hausdorff space. Clearly, the set will be contained in $ \{ f \in ...
2
votes
1answer
65 views

Help with proving: If $X$ is a Hilbert $A$-$B$-module, then $ \| _A \langle x,x \rangle \| = \| \langle x,x \rangle _B \| $ for all $x\in X $.

Sorry, I posted a related question last week on here, but I'm still having trouble and this is a little different, I hope it's OK. Thank you! ( proof that this is an isometric map (on a $C^*$-module) ...
10
votes
1answer
290 views

In a C*-algebra, put $a^*a \sim aa^*$. Transitivity fails?

Idle curiosity drove me to wonder about the following question. Let $A$ be a C*-algebra. Define a binary relation $\sim$ on the cone $A^{\geq 0}$ of positive elements by putting $x \sim y$ whenever ...
10
votes
2answers
897 views

Gelfand-Naimark Theorem

The Gelfand–Naimark Theorem states that an arbitrary C*-algebra $ A $ is isometrically *-isomorphic to a C*-algebra of bounded operators on a Hilbert space. There is another version, which states that ...
0
votes
1answer
99 views

Inversion in a unital C* algebra

Let's say that in a unital C* algebra, we have $b \geq a \geq 0$ and $a$ is invertible. Then $b$ is also invertible. Can we conclude that $a^{-1} \geq b^{-1}$? If so, why? Can any related ...
2
votes
1answer
102 views

If a unital strictly continuous homomorphism $M(A) \to M(B)$ is injective on $A$, is it injective?

Let $A$ and $B$ be C* algebras and let $\varphi : M(A) \to M(B)$ be a unital $*$-homomorphism of their multiplier algebras. Suppose, in addition, that $\varphi$ is strictly continuous (of course, norm ...
6
votes
2answers
303 views

Unitisation of $C^{*}$-algebras via double centralizers

In most of the books I read about $C^{*}$-algebras, the author usually embeds the algebra, say, $A$, as an ideal of $B(A)$, the algebra of bounded linear operators on $A$, by identifying $a$ and ...
2
votes
1answer
159 views

Proving $aa^*\geq0$ in a $C^*$ algebra

I tried to construct a proof of above statement by using matrices. It goes like this :- Let $a$ be any arbitrary element in a $C^*$ algebra. Consider the matrix $\begin{pmatrix}0 & a\\a^* & 0 ...
3
votes
1answer
279 views

Reflexive Banach algebras?

I have been reading Gelfand theory for a while and it just occurs to me that the whole theory is an analogy to what we did for Banach spaces. For a Banach space $X$, we investigate its dual $X'$ ...
2
votes
1answer
253 views

Existence of faithful state in $C^\ast$-algebras

Why does there always exist a faithful state in a separable $C^\ast$-algebra?
1
vote
1answer
271 views

Complementability of von Neumann algebras

Is every von Neumann algebra complemented in its bidual? It is certainly true for commutative von Neumann algebras as their spectrum is hyperstonian. Is it 1-complemented?