A C*-algebra is a Banach algebra together with an isometric involution satisfying (ab)* = b*a* and the C*-identity |a*a| = |a|^2. This characterizes the closed subalgebras of the bounded operators on Hilbert space, closed under taking the adjoint operator. They are at the heart of (spectral-theory) ...

learn more… | top users | synonyms

1
vote
1answer
64 views

A theorem about a tracial state in von Neumann algebra

I am reading a book about C*-algebra. There is a quotation below. Let $M$ be a von Neumann algebra with a faithful normal tracial state $\tau$ and let $1_{M}\in N\subset M$ be von Neumann subalgebra. ...
2
votes
1answer
87 views

A theorem about conditional expectation in C*-algebra

Definition 1. Let $B\subset A$ be C*-algebra. A projection from A onto B is a linear map $E: A \rightarrow B$ such that $E(b)=b$ for every $b\in B$. A conditional expectation from A onto B is a ...
0
votes
1answer
48 views

The proof of Stinespring dilation

(Stinespring dilation) Let $A$ be a unital C*-algebra and $\phi: A \rightarrow B(H)$ be a completely positive map. Then, there exist a Hilbert space $H_{1}$, and a *-representation $\pi: A \rightarrow ...
0
votes
1answer
22 views

The comprehension of Stinespring dilation in C*-algebra

(Stinespring dilation) Let $A$ be a unital C*-algebra and $\phi: A \rightarrow B(H)$ be a completely positive map. Then, there exist a Hilbert space $H_{1}$, and a *-representation $\pi: A \rightarrow ...
1
vote
1answer
64 views

A simple question about positive element in C*-algebra

I am reading a book about C*-algebra. There is a quotation below. An $operator~system$ $E$ is a closed self-adjoint subspace of a unital C*-algebra $A$ such that $1_{A}\in E$. The $n \times n$ ...
0
votes
1answer
35 views

A proposition in C*-algebra

Problem: Let $A$ and $B$ be C*-algebra and $\varphi:A \rightarrow B$ be a contractive completely positive map. $A_{\varphi}=\{a\in A: \varphi(a^{\ast}a)=\varphi(a)^{\ast}\varphi(a)$ and ...
1
vote
1answer
62 views

The excision theorem in C*-algebra

I am reading a book "C*-algebra and finite-Dimensional Approximations". I can not understand the proof of the excision theorem in the fundamental facts of the book. Theorem 1.4.10(Excision) Let ...
3
votes
1answer
67 views

An exercise in C*-algebra

Let $A$ be a C*-algebra, $\phi$ be a pure state and $L=\{a\in A:\phi(a^{\ast}a)=0\}$, how to prove that $L+L^*\subseteq ker\phi$. ($L^*=\{a^{\ast}: a\in L\}$) I think it is an easy exercise, ...
1
vote
1answer
68 views

Strong Morita equivalence - Question about proof in Beer's “On Morita equivalence of nuclear $C^*$-algebras”

I'm going over the proof of this theorem about strong Morita equivalences on page 253 of "On Morita equivalence of nuclear $C^*$-algebras" by Walter Beer (http://bit.ly/1fOZiOw), I want to make sure I ...
2
votes
1answer
55 views

How to explain a theorem in C*-algebra

I am reading a book "C*-algebra and finite-Dimensional Approximations". In the fundamental facts, it introduce the Noncommunicative Lusin's theorem: Let $A\in B(H)$ be a nondegenerate C*-algebra ...
1
vote
1answer
60 views

A theorem about approximate units in C*-algebra

I am reading a book about C*-algebra. I encounter a theorem without proof. Could someone help me to complete its proof or give me some hints. Theorem 2.1. Let $I$ be an ideal of C*-algebra $A$. Then ...
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 ...
1
vote
0answers
18 views

Why do we call it dual C*-algebra?

In the book: Higson N, Roe J. Analytic K-homology[M]. Oxford University Press, 2000. The Definition 5.1 is about dual of a C*-algebra, In simple term, embedding a C*-algebra a into a operator algebra ...
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
0
votes
1answer
45 views

If $\lambda$ is isolated in $\sigma(u)$, then $E(\left\{\lambda\right\})(H)=\ker(u-\lambda)$.

This is a Question 2.11 from Murphy's book: C$^*$-algebras and Operator Theory: Let $H$ be a Hilbert space. Let $u\in B(H)$ be a normal operator with spectral resolution of the identity $E$. (a) ...
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 ...
0
votes
0answers
50 views

Bratteli diagram decided by AF-algebras

In general, an AF-algebra can has some different Bratteli diagrams, are any good examples? For which AF-algebras, its Bratteli diagram can be unique decided? I think the UHF algebras should be. How ...
2
votes
1answer
88 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 ...
3
votes
2answers
71 views

Detail in the algebraic proof of the polar decomposition

Most of the time one finds the proof for bounded operators on a Hilbert space, but Sakai in his book "C*-algebras and W*-agebras" gives a purely algbraic one, (Thm 1.12.1 p.27-28, partially at his ...
0
votes
1answer
74 views

Some question for begening

I am starting with $C^*$ algebras. There are some notations that I dont understand. Please help me. 1. What does the identity representation of $C^*$ algebras mean? 2. Let $A$ be $C^*$ algebra ...
2
votes
3answers
221 views

C* Algebra textbook recommendation

I have read the first two chapters from Analysis Now and the chapter on C* algebras (chptr 8?). I'm taking a course on C* algebras in the spring and am currently overwhelmed with the choices. I'd ...
4
votes
1answer
64 views

Continuity of double centralizers in Banach algebras

I had some problems with a certain exercise, came up with a solution, but I'm not sure it is correct. Exercise ("MURPHY, C*-Algebras and Operator Theory", Chapter 2, exercise 1) Let $A$ be a ...
5
votes
1answer
93 views

equivalent? algebraic definition of a partial isometry in a C*-algebra

An element $a\in\mathfrak{A}$ (unital C*-algebra) is a partial isometry if $a^*\cdot a $ is projection. Can one recover the equivalent caracterizations of a partial isometry in ...
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
52 views

Explicit description of $C^{\ast}$-algebra generated by a subset

Given a $C^{\ast}$-algebra $\mathcal{A}$ and a subset $S\subseteq\mathcal{A}$, denote by $C^{\ast}(S)\subseteq\mathcal{A}$ the minimal $C^{\ast}$-algebra in $\mathcal{A}$ containing $S$. This is what ...
2
votes
1answer
87 views

An exercise on C*-algebra

A representation $\pi$: $A\rightarrow B(H)$ is said to be irreducible if $\pi(A)$ has no non-trivial invariant subspace. A C*-algebra $A$ is said to be liminal if $\pi(A)=K(H_{\pi})$ for every ...
0
votes
1answer
52 views

A question about tensor product

If $A$ is an algebra, $M_{n}(A)$ denotes the algebra of all $n\times n$ matrices with entries in $A$. The operations are defined just as for scalar matrices. If $A$ is a *-algebra, so is $M_{n}(A)$, ...
1
vote
1answer
59 views

A question about range projection in von Neumann algebra.

I am reading a book about C*-algebra. And I meet with a problem. Recall the range projection of an operator $a\in B(H)$ is the projection on the closure of $\{a(\eta):\eta\in H\}$(Here, $H$ is a ...
0
votes
1answer
41 views

What is the approximate units for an ideal?

In the Blackadar's book Operator algebras: theory of C*-algebras and von Neumann algebras, p103, there is "approximate units for J", here J is an ideal of C*-algebra A, but I do not know why an ideal ...
2
votes
1answer
76 views

Unique trace for C*-algebras

Prove that UHF algebra has a unique trace, how about AF C*-algebras? Does any special meaning for a C*-algebra has a unique trace?
1
vote
1answer
56 views

why for every $ f\in C(\sigma(x))$ we have $ \Phi (f(x))= f(\Phi(x))$?

In a book about $ C^* $-algebra, in the section of continuous functional calculus says that: Suppose $ x $ is a normal element of $ C^*$-algebra $ A $, then the continuous functional calculus ...
4
votes
1answer
73 views

Two question on a lemma about C*-algebra

I am reading Lin Hua xin's book "An introduction to the classification of amenable C*-algebras" and i am confused with the lemma 1.7.12 in this book. Lemma 1.7.12 Let $A$ be a C*-algebra and $f\in ...
1
vote
1answer
130 views

Elementary proof that $*$homomorphisms between C*-Algebras are norm-decreasing

A lecturer once gave a very elementary proof that $*$-homomorphisms between C*-algebras are always norm-decreasing. It is well-known that this holds for a $*$-homomorphism between a Banach algebra and ...
1
vote
1answer
48 views

A question about strongly continuous.

I am reading a book about C*-algebra. In the book, Let $\phi$ be a linear functional on $B(H)$ ($H$ denotes a Hilbert space), if $\phi$ is strongly continuous, therefore, there exist vectors ...
1
vote
2answers
55 views

A question about a linear bounded operator (in hilbert space)

I am reading a book about C*-algebra. When i study von Neumann algebras in this book, i meet with a problem. In the book, If $H$ is a Hilbert space, we write $H^{(n)}$ for the orthogonal sum of n ...
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$ ...
6
votes
1answer
93 views

In how far are CCR and GCR C*-algebras interesting?

I have some basic familiarity with C*-algebras (from the mathematical physics side - Bratteli-Robinson), and while having a look at Arveson's "Invitation to C* algebras", I came across so-called CCR ...
3
votes
1answer
132 views

A simple question about *-homomorphism in C*-algebra

Let $A$ and $B$ be C*-algebra, $h\colon A\rightarrow B$ is *-homomorphism. If $a\in A_{\operatorname{sa}}$, then $\operatorname{sp}(h(a))\backslash \{0\}\subset \operatorname{sp}(a)\backslash\{0\}$. ...
5
votes
2answers
159 views

There are 3 points in the spectrum of some self-adjoint element of a non-unital C*-algebra.

Let $A$ be a non-unital C*-algebra. I would like to know a simple way to show that $A$ contains a self-adjoint element whose spectrum has at least $3$ elements. Note that the spectrum of an ...
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 ...
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. ...
3
votes
1answer
136 views

If $a$ and $b$ commute in a $C^*$-algebra and $a$ is normal, then $f(a)$ and $b$ commute for any continuous $f$

I'm trying to find a way to demonstrate the following: Let $(A,*,\|\cdot\|)$ be a unital $C^*$-algebra. If $a,b\in A$ commute and $a\in A$ is normal (i.e. $a^*a=aa^*$), then for every continuous ...
3
votes
1answer
127 views

A question on multiplicative linear functional on Banach algebra.

I am reading a book about C*-algebra. But i am confused with some of its content. It says Assume $A$ is a non-unital C*-algebra and $\tilde{A}$ is its unitization (the elements of the form ...
0
votes
0answers
31 views

Diagonalizing operator over $L^2(\mathbb{T})$

I've been asked to diagonalise an operator on $L^2(\mathbb{T})$, given by $Tf(z) = f(z^{-1}$). I know that I'm expected to find a $U$ such that $TU = UM_f$, where $M_f$ is the multiplication operator, ...
1
vote
1answer
61 views

Why isn't complex conjugation a *-homomorphism?

By Gelfand-duality with $1$, the set $\{pt\}$ is homeomorphic to $\mathrm{Spec}(C(\{pt\})) \cong \mathrm{Spec}(\mathbb{C})$, the set of nonzero *-homomorphisms $\mathbb{C} \rightarrow \mathbb{C}$ with ...
2
votes
1answer
64 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
48 views

How to prove, that the ordering on positive bounded operators agrees with ordering of their ranges?

Hypothesis: Assume, that $A$ and $B$ are positive bounded operators (on some Hilbert space $H$) and $A\geq B \geq 0$. Then ${\rm range}(A) \supset {\rm range}(B)$. The textbook "$C^*$-algebras by ...