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

3
votes
1answer
35 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 ...
3
votes
1answer
57 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
17 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
39 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
23 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
48 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
29 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
0answers
27 views
+50

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
19 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
votes
1answer
32 views

Describe the GNS construction [closed]

Question: Describe the GNS construction for the C^*-algebra C[0, 1] and for the positive linear functional ϕ given by: ϕ(f) = f (0) What should i do? Should I describe Hilbert space or inner product? ...
0
votes
0answers
23 views

Show that there exists $j \in J$ such that $\|[a]\| = \|a − j \|$. [closed]

Let $A$ be a $C^*$-algebra, $J \subset A$ an ideal, and let $a \in A$ be self adjoint. Show that there exists $j\in J$ such that $\|[a]\| = \|a − j \|$, where $[a] \in A/J$ is the class $a + J$ of ...
1
vote
3answers
55 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 ...
3
votes
1answer
37 views

Projective (or inverse) limit of C*-algebras

(I think that the term "inverse limit" is used when the index set is directed) To begin with, I'd like to know if projective limits of C*-algebras (in the category of C*-algebras) always exist, and ...
0
votes
1answer
19 views

positive elements in a $C^*$-algebra

Let $A$ be a $C^*$-Algebra and $a\in A$. I'm stuck in the proof of: $a\ge 0\iff $ it is $\varphi(a)\ge 0$ for all states (=positive linear functionals with norm 1) $\varphi:A\to\mathbb{C}$. Proof: ...
1
vote
1answer
13 views

What is a support projection in a $C^*$-algebra?

Let $A$ a $C^*$-algebra and consider $a\in A$ self adjoint and $ax=xa$ for all $x\in A$. I want to know: -what is the support projection of $a$? -what is the definition of the support projection of ...
-1
votes
1answer
31 views

Two-sided closed ideals of $C(X,M_2(\mathbb C))$

Let $X$ be compact and Hausdorff space. I know all closed ideals of $C(X)$. I want to substitute $\mathbb C$ by $M_2(\mathbb C)$. What can we say about two-sided closed ideals of $C(X,M_2(\mathbb ...
3
votes
2answers
47 views

Let $A$ be a $C^*$-algebra, $a \in A$ self adjoint

Question:Let $A$ be a $C^*$-algebra, $a \in A$ self adjoint. Suppose that the spectrum $\sigma(a)$ is an infinite set. Show that $A$ is infinite-dimensional. How can i prove it? I guess: Let $A$ be ...
0
votes
0answers
14 views

C*−algebras and operator theory, murphy [duplicate]

Do you know how to solve this exercise? (Murphy, $C*$−algebras and operator theory, $2^{nd}$ chapter, 1st exercise) Let $A$ be a Banach algebra such that for all a\in A the implication $Aa=0$ or ...
1
vote
1answer
13 views

intersection of a multiplier algebra with a commutant of a $C^*$-algebra

I have a question about multiplier algebras and commutants of $C^*$-algebras in general. First of all, the question is related to this structure theorem about completely positive order zero maps (you ...
2
votes
0answers
16 views

example of the arens multiplication; I want to unterstand the construction

I want to understand the double dual as a $C^*$-algebra of a given $C^*-$algebra $A$ but my first problem is to understand the arens multiplication on the double dual $A^{**}$ (considered as Banach ...
0
votes
1answer
33 views

*-algebra representation, explicit calculation

suppose we are given a vector space basis of a unital *-algebra $\mathcal{A} \subset \mathcal{M}_d(\mathbb{C})$. I found a proof showing that one can find a unitary $U$ such that $$U\mathcal{A}U^* = ...
1
vote
1answer
14 views

positive elements in the unitization of a $C^*$-algebra

Let $A$ be a $C^*$-algebra and consider it's unitization $A_1$ whose underlying vector space is the direct sum $A\oplus \mathbb{C}$. I want to know how does positive elements in $A_1$ look like. I ...
3
votes
1answer
31 views

Completely positive, orthogonaly preserving maps

First of all, here is the setting for my problem: Definition: Let $A$ be a $C^*$-Algebra, $a,b\in A$. We say, a and b are orthogonal, if $ab=ba=a^*b=ab^*=0$. Proposition: Let $A$ be a $C^*$-Algebra, ...
4
votes
1answer
46 views

Prove that the map $f: \alpha I + \beta A^*A \mapsto \alpha + \beta ||A||^2 $ is unital

Fix $A \in {\mathcal{A}}$, where $({\mathcal{A}},||\cdot||,*)$ is a $C^*$-algebra with unit $I$. Prove that the linear form $$ f(D_{\alpha,\beta}) = \alpha + \beta ||A||^2,~~D_{\alpha,\beta} \in ...
2
votes
0answers
23 views

equivalence of properties. Is the restriction in (ii) redundant?

I have a question about the claim, which I found in a paper: Let $\phi:A\to B$ a linear map between $C^*$-algebras $A$ and $B$. The following are equivalent: ...
3
votes
1answer
27 views

Questions about Stinespring's theorem for completely positive maps

I have a question about Stinespring's Theorem: Let $A$ be a $C^*$-algebra, $H$ be a complex Hilbert space and $L(H)$ the set of bounded linear operators on H. Let $\Phi: A\to L(H)$ be a completely ...
0
votes
1answer
17 views

C*-algebra generated by a non-invertible element

Let $x$ be a non-invertible element, and put $A:=C^*(x)$. Let $I$ be a closed ideal of $A$, and $\pi: A\to A/I$ be a natural quotient map. Is it possible that there is an invertible element $y\in A$ ...
3
votes
1answer
19 views

Jordan-homomorphism; equivalent properties

Let $\phi:A\to B$ a linear map between $C^*$-algebras $A$ and $B$. I want to know, why the following properties are equivalent: $(i) \phi(ab+ba)=\phi(a)\phi(b)+\phi(b)\phi(a)$ and $(ii) ...
2
votes
1answer
24 views

Commutative multiplier algebra

In my course of spectral theory and operator algebras I came across the following exercise: Let $\mathcal{A}=C_0(X)$ where $X$ is a locally compact Hausdorff space. Describe the multiplier algebra ...
1
vote
1answer
26 views

Show that $\|(pqp)^{-\frac{1}{2}}pq-pq\|<1$ for projections $p,q$ with $\|p-q\|<1$ in a $C^*$-Algebra

Let $p,q$ be projections in a (unital) $C^*$-Algebra with $\|p-q\|<1$. Definition of $(pqp)^{-\frac{1}{2}}$: Let $pAp$ be the $C^*$-Algebra of elements $pap$, $a\in A$ with unit $p$. Then $pqp$ is ...
2
votes
1answer
54 views

von Neumann algebra associated to the full group C*-algebra

Lance's theorem asserts a discrete group $G$ is amenable if and only if the reduced and full groups C*-algebras coincide. The group von Neumann algebra is the weak closure of the reduced group ...
3
votes
1answer
45 views

Every conditional expectation is normal?

Let $M$ be a von Neumann algebra and let $N$ be a von Neumann subalgebra and let $E$ be a conditional expectation $M\to N$. Let $i$ be the canonical inclusion of $M$ into $M^{**}$. Claim: $E$ is ...
3
votes
1answer
19 views

(Question about the proof of $M(C_0(X))=C_b(X)$ )- Urysohn's lemma for locally compact Hausdorff spaces

I'm stuck on understanding the proof of why the multiplier algebra of $C_0(X)$ can be identified with $C_b(X)$, $X$ is a locally compact Hausdorff space. The proof uses that $C_0(X)$ is an essentiell ...
1
vote
1answer
25 views

On existence of square root of positive elements of a unital $C^*$-algebra

Given a unital $\mathcal{C}^*$-algebra $A$ and a positive element $a \in A$, I am trying to prove the existence of a square root $a^{\frac{1}{2}}$ i.e. a positive element $b \in A$ such that $b^2 = ...
1
vote
1answer
22 views

Connection between Stinespring's factorization theorem and the spectral theorem for bounded operators

I know at least 2 versions of a Spectral theorem for operators, one of them is the following Theorem: Let H be a separable complex Hilbert space, $A\in L(H)$ self-adjoint ($L(H)$ are the bounded ...
-1
votes
1answer
84 views

State of a $ C^{*} $-algebra.

Let $ (\pi,\mathcal{H}) $ be a non-degenerate $ * $-representation of a $ C^{*} $-algebra $ A $, and let $ h \in \mathcal{H} $ with $ \| h \| = 1 $. Define $ f_{h}: A \to \Bbb{C} $ by $ {f_{h}}(a) ...
1
vote
1answer
34 views

Completely positive maps

Let $B$ be a commutative C$^*$-algebra and let $M_n$ denote the algebra of $n\times n$ complex matrices. Let $f$ be a state on the tensor product of $B$ and $M_n$, $B\otimes M_n$. How can I show that ...
3
votes
0answers
106 views

Matrix representation of $\mathbb{C}$ as $^*$Algebra.

We know that there are many matrix representations of the field $\mathbb{C}$. For $2 \times 2$ real entries matrices, e.g., all the subrings of $M(2,\mathbb{R})$ generated by $I$ and a matrix $J$ such ...
0
votes
0answers
31 views

What algebraic structure do self-adjoint operators form?

Consider the $\mathbb{C}$-algebra of all matrices of dimension $n$ over the complex numbers, $Mat_n\mathbb{C}$; We have here a notion of adjointness which is an involution; and thus of ...
4
votes
1answer
52 views

A necessary and sufficient criterion for an element of a multiplier $ C^{*} $-algebra to be positive.

I am trying to find a reference for the following assertion: Let $ A $ be a $ C^{*} $-algebra, and let $ M(A) $ denote its multiplier algebra. Then $ m $ is a positive element of $ M(A) $ if and ...
1
vote
1answer
41 views

$||a||\leq \sup_{||b||\leq 1} ||ab||$ in a C*-algebra

I would like to prove that, if $a$ is an element in a C*-algebra then $$\|a\|\leq \sup_{\|b\|\leq 1} \|ab\|$$ It is obvious if the algebra is unital. What if it is not?
2
votes
0answers
34 views

Proof of theorems in the field of banach-and $c^*$-algebras in a categorial language

At the moment I'm studying the basics in the theory of banach- and $c^*$-algebras. There are many results in the theory of $c^*$-algebra which you first prove in the unital case and then in the ...
2
votes
0answers
32 views

positive elements in $L(H)$

At the moment I'm studying positive elements in $C^*$-algebras. Let $H$ be a complex Hilbert space, $L(H)$ the linear bounded operators $H\to H$ and $T^*=T$. Then: $$\sigma(T)\subseteq [0,\|T\| ]\; ...
0
votes
1answer
33 views

continuous functional calculus for nonunital $c^*$-algebras

In lecture we had the continuous functional calculus for unital $c^*$-algebras: Let $A$ be an unital $c^*$-algebra, $a\in A$ normal and let $$alg(a,a^*)=\overline{ \{ ...
0
votes
1answer
17 views

unitalization of the $c^*$-algebra of complex polynoms without constant term / compactness of the spectrum of elements in non-unital $c^*$-algebras

Let A be $C^*$-algebra with unit $e$ and $a\in A$ normal. We define $$alg(a,a^*)=\overline{ \{ \sum\limits_{k,l=0}^n\lambda_{k,l}a^k\overline{a}^l; \lambda_{k,l}\in\mathbb{C}, n\in\mathbb{N}\} \\}$$ ...
3
votes
0answers
59 views

Theorem about irreducible representation of $C^*$-algebra

I have been told, that there is a theorem about irreducible representation of $C^*$-algebras, but I have troubles finding it. It is also possible, that this theorem is consequence of some theorem I've ...
2
votes
1answer
19 views

positive linear maps which are involutive

Let $S$ be an operator system, $B$ a $c^*$-algebra and $\phi:S\to B$ a positive linear map. Then $\phi$ is involutive, i.e. $\phi(x^*)=\phi(x)^*$ for all $x\in S$. I want to prove this claim but I'm ...
0
votes
1answer
28 views

positive linear maps of $c^*$-algebras are bounded

Let $A, B$ be $c^*$-algebras and $\phi:A\to B$ a positive, linear map. Then $\phi$ is bounded. Proof: It is sufficient to proof boundedness of $\phi$ on the unitarization (I missunderstood that, see ...
0
votes
1answer
36 views

Unitary element in a C*-algebra

Suppose $\Bbb T$ is the unit circle and $M$ is the C*-algebra of all $2\times 2$ complex matrices. Consider the C*-algebra $A: = C(\Bbb T, M)$. Let $E$ and $F$ be the projections in $A$ given by ...
1
vote
1answer
49 views

What $\mathbb{C}I$ means?

I've come across this expression $$ \mathbb{C}I $$ while studying operators algebras. $C^*$-algebras and AF-algebras, concretely. In Kenneth R. Davidson's book $\boldsymbol{C^*}$**-algebras by ...