A C*-algebra is a complex Banach algebra together with an isometric antilinear involution satisfying (a b)* = b* a* and the C*-identity ‖a* a‖ = ‖a‖². Related tags: (banach-algebras), (von-neumann-algebras), (operator-algebras), (spectral-theory).

learn more… | top users | synonyms

2
votes
1answer
26 views

Do approximate identities remain approximate identities if one adjoins 1 to a C* Algebra?

If we have a C* Algebra $\mathscr{U}$ without an identity we can adjoin an identity $\mathbb{1}$ in the following way: We take $\mathscr{\tilde U}$ to be the set $\{(\alpha,A); \alpha \in ...
0
votes
1answer
11 views

Let $A$ be a $C^\ast$-algebra, $a\in A$. Equivalent: $a\ge 0 \iff$ for all states $\varphi\in S(A)$ is $\varphi(a)\ge 0$

Let $A$ be a $C^\ast$-algebra, $a\in A$. Equivalent: $a\ge 0 \iff$ for all states $\varphi\in S(A)$ is $\varphi(a)\ge 0$. First of all $S(A)$ is the state space of $A$, i.e. all positive linear ...
0
votes
0answers
19 views

approximate unit of $K(H)$- ordering on $K(H)$ and finite rank operators

Let $H$ be a complex Hilbert space with orthonormal basis $\{e_i:i\in I\}$ . Consider the $C^\ast$-algebra of the compact operators on $H$, $K(H)$. For a finite subset $F\subseteq I$, let $P_F$ be the ...
0
votes
1answer
25 views

Can someone help me to give some hints? Left Hilbert-$C_0(T,K(H))$ module $C_0(T,H)$

I tried to prove example 3.4 from the book Morita Equivalence and Continuous-Trace C$^*$-Algebras by Iain Raeburn and Dana P. Williams, but I get uneasy with notations and ideas. Let me restate my ...
3
votes
1answer
47 views

Why is the image of a C*-Algebra complete?

I am currently working through the book by Bratteli and Robinson on C* and W* algebras, there is one point at the beginning of chapter 2.3 that is frustrating me. If we take *-morphism to be a ...
1
vote
1answer
78 views

Is there a $C^{*}$ algebra with these properties

Is there a unital C* algebra A which is NOT simple but satisfies the following two conditions: 1)A has trivial center 2)A has a faithful trace such that every zero trace element lies in the closure ...
3
votes
1answer
69 views

concept of the classification of $C^\ast$-algebras, introduction/overview

I don't have a specific mathematical problem at the moment but nevertheless I hope, my question is suitable for math.stackexchange. I'm interested in $C^\ast$-algebras and I would like to begin with ...
2
votes
1answer
25 views

Ordering: Normalized

Given a Hilbert space $1\in\mathcal{A}$. Denote selfadjoints: $$\mathcal{S}:=\{A\in\mathcal{A}:A=A^*\}$$ Introduce an order: $$A\leq A':\ \ \sigma(A'-A)\geq0$$ Regard a projection: $$P\neq0:\quad ...
1
vote
0answers
32 views

From Hopf Algebras to quantum groups

I start with self study about quantum groups. Until now I covered Hopf $*$-algebras and there representations (for example by the book of Klymik and Schmüdgen). Now I want to understand the step from ...
1
vote
1answer
25 views

How do you prove that every AF C*-algebra is finite?

A C*-algebra $A$ is finite if $s^*s=1$ implies $ss^*=1$. A C*-algebra $A$ is AF if: for all $a_1,\ldots,a_n\in A$ and $\varepsilon>0$, there exists a finite-dimensional C*-subalgebra $B_n$ of $A$ ...
2
votes
2answers
27 views

How does the product of sets of complex numbers give a character?

I'm working through this "Introduction to Banach Algebras" and just after proposition 8.2 they say: If $A$ is a commutative Banach algebra, $a\in A$ and $\phi\in M(A)$, then $\phi(a)\in sp(a)$. ...
2
votes
0answers
22 views

Distributivity of projective tensor product over direct sum

Let $I$ is a non-empty set and $\{A_i\}_{i\in I}$ is a family of Banach algebras and $B$ is a Banach algebra. Define $$\ell^1-\oplus_{i\in I}A_i=\{a=\{a_i\}_{i\in I}: \|a\|_1=\sum_{i\in ...
1
vote
1answer
20 views

Why is $ab=ba=a^\ast b=ab^\ast=0$ (orthogonal elements in a $C^\ast$-algebra)?

Let $a,b$ be elements in a $C^\ast$-algebra $A$, such that $$a^\ast ab^\ast b=b^\ast ba^\ast a=0$$ $$a^\ast abb^\ast=bb^\ast a^\ast a=0$$ $$aa^\ast b^\ast b=b^\ast b aa^\ast =0$$ $$aa^\ast ...
1
vote
1answer
25 views

composition and strong limits of completely positive maps is completely positive

I have two claims about completely positive maps. Let $X$, $Y$, $Z$ be $C^\ast$-algebras. 1) Let $f:X\to Y$ and $g:Y\to Z$ be completely positive maps. I want to know, why $g\circ f$ is completely ...
1
vote
1answer
31 views

the $C^\ast$-algebra $M_n(A)$, understanding the $C^\ast$-norm on $M_n(A)$

Let $A$ be a $C^\ast$-algebra. I want to understand $M_n(A)$, the vector space of $n\times n$-matrices with entries in $A$, as a $C^\ast$-algebra. On $M_n(A)$ you can define an involution ...
1
vote
1answer
38 views

GNS construction and representations

I am currently reading about C* from the following notes ( http://www.math.uvic.ca/faculty/putnam/ln/C%2A-algebras.pdf ). In the proof of GNS construction theorem 1.12.4 page 50 there is something I ...
0
votes
1answer
30 views

C*-Algebra: Cyclic Elements

Given a locally compact Hausdorff space $\Omega$. Consider the C*-algebra: ...
0
votes
1answer
21 views

Is the identity in unital, simple, purely infinite $C^*$-algebra always infinite?

I'd like to prove that the identity, $I$, of a unital, simple, purely infinite $C^*$-algebra is always an infinite projection. What I'm hoping is that the following is true: If $p$ in $\mathfrak{A}$ ...
1
vote
1answer
37 views

Square root of a compact normal operator

Halmos expresses below problem in his book; Problem: If $A$ is a normal operator and if $A^n$ is compact for some positive integer $n$, then $A$ is compact. I have an example in my mind which I ...
1
vote
1answer
41 views

The inverse limit of C$^*$-algebras and whether it commutes with taking the minimal tensor product

Suppose we are given a C$^*$-algebra $A$ and a family of C$^*$-ideals $\mathfrak{I}$ that is upwards directed when ordered by reverse inclusion (i.e. for any $I_1,I_2\in\mathfrak{I}$ there exists a ...
3
votes
0answers
23 views

Semiprimitivity of second dual of semiprime Banach algebras

Let $A$ be a Banach algebra. Then $A^*$ is right Banach $A$-module with product $\langle b,f.a\rangle=\langle ab,f\rangle$ for every $a,b\in A, f\in A^*$. Define $\langle a,F*f\rangle=\langle ...
2
votes
2answers
48 views

Projections: Orthogonality

Given a unital C*-algebra $1\in\mathcal{A}$. Consider projections: $$P^2=P=P^*\quad P'^2=P'=P'^*$$ Order them by: $$P\perp P':\iff\sigma(\Sigma P)\leq1\quad(\Sigma P:=P+P')$$ Then equivalently: ...
0
votes
0answers
32 views

Uniqueness of c.p.c. order zero extensions

I have a question about a passage in the proof (on page 316) of proposition 3.2 in this paper http://wwwmath.uni-muenster.de/42/fileadmin/Einrichtungen/mjm/vol_2/mjm_vol_2_14.pdf. My question is ...
2
votes
3answers
39 views

In a C*-algebra $A$, $x$ is self-adjoint iff $\lim_{t\to 0}(1/t)(\Vert 1-itx\Vert-1)=0$.

The question I am having trouble with is the following: Let $A$ be a C$^*$-algebra. Show that an element $x$ of $A$ is self-adjoint iff $\lim_{t\to 0}(1/t)(\Vert 1-itx\Vert-1)=0$. (Hint: If $h\in ...
2
votes
2answers
42 views

Question about $C_0(X)$ is unital iff X is compact

I am sorry if this question is trivial I don't know much about $C^*-algebra$ and learning introduction about them from the following link notes about C* algebras. According to the notes given above ...
4
votes
1answer
56 views

Understanding the bidual of a $C^*$-algebra as a $C^*$-algebra

I have a lot of problems trying to understand the double dual of a $C^*$-algebra. Let $A$ be a $C^*$-algebra, I read that if you endow the bidual Banach space $A^{**}$ of $A$ with the weak-*topology, ...
0
votes
1answer
38 views

Closed convex hull of unitaries

If a C*-algebra ${\cal U}$ contains a non-unitary isometry $S$, show that $$\|S-A\|>\frac{1}{2n}$$ for every $A=\sum_{i=1}^n \lambda_iU_i$ which is the convex combination of $n$ unitaries. Thanks ...
2
votes
0answers
32 views

Weakly compact left multipliers

This is Exercise 3(a) on p. 157 in Takesaki's Operator algebras. Let $A$ be a C*-algebra. Then each opeator $T_a\colon A\to A$ given by $T_ax = ax$ ($a\in A$) is weakly compact if and only if $A$ is ...
2
votes
1answer
54 views

Some questions about Cuntz’s proof of the $ K_{1} $-injectivity of purely infinite simple unital $ C^{*} $-algebras

I have some questions about Joachim Cuntz’s proof of the $ K_{1} $-injectivity of purely infinite simple unital $ C^{*} $-algebras, which is found in this paper. For this post, let us adopt the ...
-1
votes
1answer
69 views

Ordering: Identity

Given a unital C*-algebra $1\in\mathcal{A}$. Denote selfadjoints: $$\mathcal{S}(\mathcal{H}):=\{A\in\mathcal{B}(\mathcal{H}):A=A^*\}$$ Introduce an order: $$A\leq A':\iff\sigma(A'-A)\geq0$$ ...
0
votes
0answers
26 views

Stone-Cech compactification of a compact space and the multiplier algebra of $C_0(X)$

What is the Stone-Cech compactification $\beta X$ of a compact space $X$, is is $X$ itself? Or does it depend on the definition of compactification, whether the embedding $i:X\to \beta X$ is assumed ...
1
vote
1answer
23 views

Involution on the set of all multipliers of $A$ ($A$ is a $C^*$-algebra)

Let $A$ be a $C^*$-algebra. $M(A)$ denotes the set of all multipliers of $A$, i.e. $m\in M(A)$ means that there is a map $m^*:A\to A$ such that $m(a)^*b=a^*m^*(b)$ for all $a,b\in A$. I want to know ...
4
votes
2answers
81 views

Projections: Ordering

Given a unital C*-algebra $1\in\mathcal{A}$. Consider projections: $$P^2=P=P^*\quad P'^2=P'=P'^*$$ Order them by: $$P\leq P':\iff\sigma(\Delta P)\geq0\quad(\Delta P:=P'-P)$$ Then equivalently: ...
0
votes
0answers
42 views

Sot convergence of a sequence of operators implies uniform convergence

Let $H$ be a Hilbert Space. Let $\{A_n\}$ be a sequence of bounded operators in $H$, and $A\in B(H)$. If $\|A_nf - Af\|\to 0$ uniformly for $f\in H_{\|.\|=1}\ $, prove that $\|A_n - A\|\to 0$. ...
4
votes
2answers
78 views

If a C*-algebra $A=\overline{\bigcup S}$, where $S$ is a class of prime C*-subalgebras, then $A$ is prime.

This is question 5.6 of Murphy's C$^*$-Algebras and Operator Theory: Let $S$ be a set of C*-subalgebras of a C*-algebra $A$ that is upwards-directed, that is, if $B,C\in S$, then there exists ...
0
votes
0answers
38 views

Are there infinite-dimensional, artinian C*-algebras?

A ring is artinian if it has no infinite descending chains of ideals. Of course finite-dimensional algebras are artinian. I'm wondering if it's possible to have an artinian C*-algebra (or Banach ...
1
vote
1answer
27 views

In what topology is the unitary group of a unital C*-algebra locally compact?

If a unital $C^*$-algebra $\mathcal{A}$ is finite-dimensional then the unitary group $\mathcal{U}(\mathcal{A})$ is compact with respect to the norm topology. My question is: what if ...
5
votes
0answers
43 views

Finite dimensionality of some subspace of convolution Banach algebra $L^1(G)$

Let $G$ be a locally compact group (not only compact group) with the left Haar measure $\lambda$. Consider the convolution Banach algebra $L^1(G,\lambda)$. For which $f\in L^1(G,\lambda)$ the ...
2
votes
1answer
60 views

Conway’s Functional Analysis, VIII §3 Exercise 11

This exercise is a step to proving inequalities involving non-commuting elements of a C*-algebra. (In particular in the subsequent exercise 12). Unfortunately I do not see, how to prove part (a): For ...
3
votes
1answer
46 views

Strict positiveness on a C*-algebra given by generators and relations.

Let $A$ be a C*-algebra with generators $a_1,a_2,\ldots,a_n$ and some (non-important) relations (the relations imply that $\|a_i\|\leq 1$, so that $A$ exists). Among the given relations we have that ...
1
vote
2answers
65 views

If a normal element of a C* algebra has real spectrum, then it is self-adjoint

Let $A$ be a $C^*\!$-algebra. Suppose $x$ is a normal element of $A$ and $\operatorname{spect}(x)$ lies in $\mathbb{R}$. Prove that $x$ is self-adjoint. I tried the following: using ...
3
votes
1answer
66 views

Is the supremum norm the only $ C^{*} $-norm on $ {C_{c}}(X) $, equipped with the usual pointwise operations?

Let $ X $ be a locally compact Hausdorff space. Then $ {C_{c}}(X) $ is a commutative $ * $-algebra with respect to addition, multiplication, scalar multiplication and conjugation (all pointwise ...
0
votes
1answer
24 views

does this theorem imply that every $C^*$-algebra has an approximate unit?

I read that every $C^*$-algebra has a approximate unit. But we proved only the following theorem in lecture: Let $A$ be a $C^*$-algebra, $I\subseteq A$ an ideal which is dense in $A$. Then there is ...
1
vote
2answers
56 views

product $ab$ of postive elements $a,b$ is again positive, if $ab=ba$.

Let $A$ be a $C^*$-algebra, $a,b\in A$ positive elements (this means self-adjoint and the spectrum lies in $[0,\infty)$). In general, $ab$ isn't positive, for example consider the matrices ...
1
vote
0answers
26 views

Questions about stable rank of inductive limit of $C^\ast$-algebras

Let $A$ be an inductive limit of $\{A_n\}$ which are stable rank one. In Huaxin Lin's book An introduction to the classification of amenable $C^\ast$-algebra. The author assume that $\{A_n\}$ and $A$ ...
5
votes
2answers
57 views

unitization of a unital $C^*$-algebra

I have a little question about unitization of a $C^*$-algebra. If $A$ is a non-unital $C^*$-algebra, set $A_1=A\oplus\mathbb{C}$ as vector spaces and define a multiplikation, involution and a norm in ...
1
vote
0answers
33 views

Centralizer of $C^*$ algebra

Let $\phi: A \to B$ be a surjective $∗$-homomorphism of a separable $C^*$algebra. If $L: A \to A$ is a left centralizer then the formula $\phi(L)(\phi(a)) = \phi(L(a))$ defines a left centralizer for ...
3
votes
1answer
77 views

Commutativity criteria for $C^*$-algebras

If for any $x, y\in A$ a $C^*$-algebra, $0\leq x\leq y\implies x^2\leq y^2$, then it is true that A is commutative ? It is easy to show that the implication $0\leq x\leq y\implies x^2\leq y^2$ is not ...
1
vote
1answer
25 views

Orthogonal elements in a unitization of a $C^*$-algebra

Let $A$ ne a $C^*$-algebra and $a,b\in A$ self-adjoint. a and b are orthogonal, iff $ab=0$. Let A be nonunital and denote $A_1$ it's unitization, i.e., $A_1\cong A\oplus\mathbb{C}$ as vector spaces. ...
1
vote
3answers
56 views

Two normal operator that commutes

Suppose $N\in B(H)$ is normal, and $T\in B(H)$ is invertible. Prove that if $TNT^{-1}$ is normal then $N$ commutes with $T^*T$. I can not any idea to prove it, just I know ...