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

0
votes
0answers
29 views

A remark on the polar decomposition

Let us focus on $L^1(H)$, the space of trace class operators on a Hilbert space $H$. Assume $\{x_n\}$ converges to $x$ (in the trace class norm). Let $x_n=u_n|x_n|$ and $x=u|x|$ be the polar ...
2
votes
1answer
58 views

Essential ideals

I am trying to get my head around essential ideals. In literature I found 2 definitions: An ideal $I$ in a C*-algebra $A$ is essential in $A$ (i) if $aI = 0$ implies $a=0$, $a\in A$; or (ii) if ...
0
votes
0answers
29 views

postliminal $C^*$-algebra

A ‎$‎‎C^*$-algebra ‎‎$‎‎A$ ‎is ‎said ‎to ‎be ‎postliminal ‎if ‎for ‎every ‎non-zero ‎irreducible ‎representation ‎‎$‎(H,‎\varphi‎)‎$ ‎we ‎have ‎‎$‎‎K(H)‎\subseteq‎ ‎‎\varphi‎(A)‎$‎ ‎ In ‎Murrphy's ‎...
0
votes
1answer
23 views

Non spatial isomorphisms

Let $H$ be a Hilbert space. Any unitary operator $u\in B(H)$ induces an spatial isomorphism $\phi_u(x)=uxu^*$ on $B(H)$. Question: Let $\phi:B(H)\to B(H)$ be a surjective *-ismorphism. Is $\phi$ ...
1
vote
1answer
19 views

Equivalent non-degenerate representations of C*-algebras

For two non-degenerate representations $\pi_j:A\to B(H_{\pi_j})$ ($j=1,2$), we write $\pi_1\sim\pi_2$ if there exists a $w^*$-continuous isometrically isomorphism from $\pi_1(A)''$ onto $\pi_2(A)''$...
0
votes
0answers
22 views

Normal positive functional on Von Neumann algebras

Let $A$ be Von Neumann algebra. A positive linear functional ‎$‎‎‎\varphi‎$ on $A$ ‎is ‎said ‎to ‎be ‎normal ‎if ‎for ‎any ‎self‎adjoint and increasing nets such that ‎$‎‎u_{\alpha‎}\longrightarrow u‎...
1
vote
0answers
39 views

C*-algebras: Proofs on $C_0(X)$

I'm looking to prove the following but am stuck, please can you help me? $C_0(X)$ is isomorphic as a C*-algebra to $C_0(Y)$ if and only if X is homeomorphic to Y, where X and Y are locally compact ...
0
votes
0answers
23 views

liminal and postliminal $C^*$-algebras

A $‎‎C^*$‎‎‎-algebra ‎$‎‎A$ ‎is said to be ‎postliminal (liminal) ‎‎ if for every non-zero irreducible representation‎$‎‎(H,‎\varphi)$ of ‎$‎‎A$ ‎we have‎‎‎ ‎‎$‎‎K(H)‎\subseteq ‎\varphi‎(A)$ ‎(‎‎$‎‎K(...
1
vote
0answers
31 views

Non-degenerate representations and central projections

Let $A$ be a C*-algebra and $\pi:A\to B(H)$ a non-degenerate *-representation. We also denote $M_{\pi}$ by the von Neumann algebra generated by $\pi(A)$ in $B(H)$. The predual of the von Neumann ...
2
votes
0answers
80 views

Show that the “folium” is norm closed

A C*-algebra $\mathfrak{A}$ is a Banach algebra with an involution operation $* : \left\lbrace\begin{aligned} \mathfrak{A} &\longrightarrow \mathfrak{A} \\ a &\longmapsto a^* \end{aligned} \...
0
votes
1answer
28 views

closed convex hull of projection

$1$:I know that if ‎$‎‎F$ is a ‎locally convex ‎compact ‎space ‎then ‎‎$‎‎‎\overline{co}(‎Ext (F))=F$‎ ($Ext$: means extreme point) $2$:I ‎know ‎that ‎if ‎‎$‎‎M$ ‎is a ‎Von ‎Neumann ‎algebra ‎then ‎‎...
0
votes
1answer
30 views

projecton and positive element in $C^*$algebras

Let ‎$‎‎A$ ‎be ‎a‎ ‎$‎‎C^*$-algebra.‎$‎‎p\in A$ ‎is a ‎‎projections. ‎‎‎ Assume ‎that ‎‎$‎‎a$ ‎is a element in‎$‎‎ Ball(A_+)$ ‎such ‎that ‎‎$‎‎a‎\leq p‎$‎ Q:May I‎ ‎say ‎‎$‎‎ap=pa$?why?‎ ‎
0
votes
1answer
34 views

*-isomorphism and spectrum

‎‎‎$A$ is a ‎‎‎‎$‎‎C^∗$-algebra and $P(A)$ is a set of projection of it. Assume that $A$ ‎admits a‎ ‎strictly ‎positive ‎element ‎‎‎‎‎$a$ ‎such ‎that ‎‎‎‎‎$‎‎‎‎σ(a)‎-\{‎0\}$ ‎is ‎discrete‎. I want to ...
0
votes
0answers
27 views

strictly positive elments $a$ when $‎‎‎\sigma(a) ‎\backslash‎ {0}‎$ ‎is ‎discrete

If ‎$‎‎A$ is a ‎‎$‎‎C^*$-algebra ‎and it ‎admits a‎ ‎strictly ‎positive ‎element ‎‎$‎‎a$ ‎such ‎that ‎‎$‎‎‎\sigma(a) ‎\backslash‎ {0}‎$ ‎is ‎discrete‎ then‎ Q1:‎$‎‎A$ admits ‎an ‎approximate ‎unit ‎‎$...
2
votes
2answers
49 views

‎strictly ‎positive elements

Let ‎$‎‎A$ ‎be a ‎‎‎‎$‎‎C^*$-algebra‎. ‎$‎‎a\in A^+$ ‎is ‎strictly ‎positive in ‎$‎‎A$‎ ‎if ‎‎$‎‎‎\overline{aAa}=A‎$‎‎ *I know that if $A$ is unital, $a\in A^+$ is strictly positive iff $a\in Inv(A)$...
1
vote
2answers
46 views

Example of an operator that is not subnormal

In some recent questions the term subnormal operator has appeared. A bounded operator $A$ acting on a Hilbert space $H$ is called subnormal if there exists a Hilbert space $K$ containing $H$ as a ...
0
votes
1answer
34 views

subnormal operator

I know that ‎$‎‎u\in B(H)$ ‎is a‎ ‎normal ‎operator if ‎‎$‎‎uu^*=u^*u$‎. I ‎know ‎that ‎if ‎‎$‎u‎$‎‎ ‎is ‎subnormal ‎‎‎‎then ‎‎‎ ‎‎$‎‎uu^*‎\neq ‎u^*u$ ‎(like unilateral shift operator). ‎‎ My ...
2
votes
1answer
105 views

Classification of representations of compact $C^*$ algebras for single operators.

I am looking at Arveson's book, an invitation to $C^*$ algebras. There, it is explained p. 21 ($C^*$ algebras of compact operators) that any representation of a compact $C^*$ algebra can be decomposed ...
1
vote
1answer
52 views

Maximal ideals of unital commutative $C^*$-algebra?

Define an ideal of a unital commutative $C^*$-algebra $A$ to be a proper subspace $I$ of $A$ such that $xy,yx\in I$ for all $x\in I$ and $y\in A$. Show that if $\lambda\in \widehat{A}$ (the space ...
1
vote
0answers
22 views

an isomorphism from $L^\infty(\mathbb{T})$ to $L^\infty([-1,1],\displaystyle\frac{2}{\pi } \sqrt{1-t^2}\mathrm{d}t)$

$\mathbb{T}$ is the boundary of unit ball.Consier $\phi:[-1,1]\rightarrow\mathbb{T},\phi(t)=exp^{2i(arcsint+t\sqrt{1-t^2})},t\in[-1,1]$. It is easy to check that $L^2(\mathbb{T})\ni f\mapsto f\phi\in ...
2
votes
1answer
38 views

positive elements and norm

If $A$ is a abelian $C^∗$-algebra and $a,b$ are elements in $A$ such that $0‎≤‎a‎≤‎1,0‎≤‎b‎≤‎1‎‎$ ‎‎ then $0‎≤‎\|a-b \|≤‎1‎$. My problem is:"Does the same hold if $A$ is not abelian?"
0
votes
0answers
26 views

The absolute value of a bounded linear functional on a C*-algebra

Let us consider the commutative C*-algebra $C_0(\Omega)$. Let $\mu$ be a complex Radon measure on $\Omega$. By the Riesz representation theorem, $\mu$ may be considered as a bounded linear functional ...
1
vote
1answer
32 views

positive elements of $C^*$-algebra

If $A$ is a abelian $C^*$-algebra and $a,b$ are elements in $A$ such that $0‎\leq ‎a‎\leq ‎1,0‎\leq ‎b‎\leq ‎1‎‎$ then $0‎\leq ‎a‎b\leq ‎1‎$. My problem is:" Is it true if $A$ is not abelian?"
1
vote
1answer
55 views

States on a $C^*$-algebra

I know that if $A$ is a non-zero and unital $C^*$-algebra then $S(A)$ (the set of states on it) is weak${}^*$ compact. My problem is: Does the same hold if $A$ is not unital?
1
vote
0answers
39 views

Does this show boundedness of an operator?

In the second book on Operator Algebras and Quantum Statistical Mechanics by Bratteli and Robinson (on page 11) they are looking at the algebra of fermionic creation and annihilation operators ...
2
votes
1answer
41 views

Stinespring dialation

Let $A\in End(\mathbb{C}^n)$ be Hermitian and with positive eigenvalues. Define the linear map $T:End(\mathbb{C}^n)\longrightarrow End(\mathbb{C}^n)$ with $T(M)=(tr(M))A$. How can I make an isometry $...
2
votes
1answer
78 views

If $0\leq a \leq b$ and $a$ is invertible, then $b$ is invertible

Let $\mathscr A$ be a unital C*-algebra and let $a,b\in \mathscr A$ such that $0\leq a \leq b$ and $a$ is invertible. How to show that $b$ is invertible? ($0\leq a \leq b$ means that $a,b$ is ...
1
vote
0answers
24 views

An operator which moves on the boundary

Let $H$ be a non-separable Hilbert space and $E$ be an orthonormal basis in $H$. Let $E_0$ be a countable subset of $E$ and $p$ be the projection onto the space generated by $E_0$. Let $\{\zeta_n\}...
1
vote
1answer
55 views

Positive logarithm in a $C^*$-algebra

Let $A$ be a $C^*$-algebra and $a \in A_+$ be a positive element. I want to show that $a$ has a positive logarithm if $a$ is invertible. I just see that the usual $\log$ function is continuous on ...
2
votes
1answer
40 views

A system of equations

Let $H$ be a non-separable Hilbert space. Assume $E$ is an orthonormal basis in $H$. Let $E_0=\{e_n\}$ be a countable subset of $E$ and let $\{\zeta_n\}$ be a bounded sequence in $H$. Let $E_1$ be a ...
0
votes
1answer
39 views

An operator satisfying in a sequence of equations

Assume that $H$ is a non-separable Hilbert space. Let $\{\eta_n\}$ be an arbitrary sequence in $H$. Let $\{\zeta_n\}$ be a sequence in $H$ which forms a linearly independent set. Does there exist ...
0
votes
0answers
20 views

A translation invariant sigma algebra in $B(H)$

Assume that $H$ is a non-separable Hilbert space. Let $s_0$ be the family of all basic neighborhoods in the strong operator topology. We denote $M_s$ by the sigma algebra generated by $s_0$. ...
4
votes
0answers
76 views

$\mathcal{H}_B$ is isomorphic to $B$ as Hilbert $B$-modules if and only if $B$ is a stable C*-algebra

Let $B$ be a C*-algebra. I want to prove that $\mathcal{H}_B$ is isomorphic to $B$ as Hilbert $B$-modules if and only if $B$ is stable, that is, $\mathcal{K} \otimes B$ is isomorphic to $B$ as C*-...
1
vote
1answer
29 views

does $\|x\|=\sqrt{\|a\|^2+\|b\|^2}$ hold in an arbritrary $C^*$algebra?

$A$ $C^*$-algebra, $x\in A$ can be written as $x=a+ib$ with $a$ and $b$ self-adjoint. Then $\|x\|=\sqrt{\|a\|^2+\|b\|^2}$ is not true in general, right? If $A=M_2(\mathbb{C})$ maybe you can find a ...
0
votes
1answer
42 views

C*-Algebra generated by self-adjoint Elements of commutative unital C*-Algebra

I want to proof the following theorem: Let A be a commutative unital C*-Algebra and $a_1, ..., a_n\in A_{sa}$. Then $C^*(1_A, a_1, ..., a_n)\subseteq A$ is *-isomorphic to $C(\Omega )$ for a compact ...
0
votes
1answer
53 views

An strange operator in B(H)

Let $H$ be a non-separable Hilbert space and $E$ be an orthonormal basis for $H$. Let $E_0$ be a countable subset of $E$ and $\{\delta_i\}_1^{\infty}$ be a bounded sequence of $(0,\infty)$. For ...
1
vote
1answer
24 views

Is the suspension of the crossed product $C(X)\rtimes_r G$ still a crossed product?

If $X$ is a compact Hausdorff space and $G$ is a countable discrete group acting on $X$ by homeomorphisms, is the suspension of the (reduced) crossed product $C^*$-algebra $C(X)\rtimes_r G$ still a ...
2
votes
1answer
39 views

Is a crossed product of a separable $C^\ast$-algebra by a finite group separable?

If $A$ is a separable $C^\ast$-algebra, $\alpha$ is an action on $A$ by a finite group $G$, then is the crossed product $A\rtimes_\alpha G$ separable?
0
votes
1answer
35 views

Projections genereate $C_0(X)$. Prove that $X$ is totally disconnected.

Let $X$ be a local compact Hausdorff space and let $$(p_n)_{n\in\mathbb{N}}\subset C_0(X)=C^*\left(\sum_{n\in\mathbb{N}}\frac{p_n}{3^n}\right)$$ a sequence of projections such that $C^*(\{p_n:n\in\...
1
vote
1answer
33 views

Construct a projection satisfying a certain property

Let $\cal G$ be a group of finite order $n$. For every prime divisor $p$ of $n$, construct a projection $P\in \cal N(G)$ such that $\operatorname{tr}_{\cal N(G)}(P)=1/p$. Here $\cal N(G)$ denotes ...
0
votes
0answers
21 views

semifinite projections

Let $M$ be von Neumann algebra, $p$ be semiefinite projection and $q$ be projection in $M$ such that $Z(q)=Z(p)$. ( $p$ is semifinite projection if every nonzero subprojection of $p$ contains a ...
0
votes
1answer
36 views

finite and properly infinite projections

Let $M$ be a von Neumann algebras and $p$ be a projection in $M$. $Q1:$I want to prove that there is a central projection $z \in M$ such that $pz$ is finite and $P(1-z)$ is properly infinite. $Q2:$ $...
2
votes
1answer
194 views

idempotents in a subalgebra of $B(H)$.

Let $\mathcal{A}$ be a sub-algebra of $B(H)$ such that $\mathcal{A}$ generated by all its idempotents and $\mathcal{A}$ is closed under weak operator topology. Suppose that there exist idempotents $...
0
votes
0answers
28 views

Functoriality in $K$-theory for $C^*$-algebras or Banach algebras

I'm trying to clear up some confusion I'm having over how one establishes functoriality in $K$-theory for $C^*$-algebras or Banach algebras. Let me stick to $K_0$. Given a *-homomorphism (or bounded ...
2
votes
1answer
34 views

On cyclic representations of a C*-algebras

I feel the following assertion is true but have no evidence to prove: There exists an infinite dimensional C*-algebra such any cyclic representation $\pi$ of $A$ is finite dimensional! Probably $\...
2
votes
1answer
98 views

Positive elements in * Algebras

If one has a * Algebra $W$ one can define the notion of a positive element via the spectrum $\sigma$: $A \in W$ is positive if $A^* = A$ and $\sigma(A) \subset \mathbb{R}_{≥0}$. If $W$ can be given ...
1
vote
1answer
39 views

Relative weak-star topology on pure states

Let $A$ be a (unital) C*-algebra and consider $PS(A)$, the set of all pure states on $A$ with the relative weak-star topology. I would like to check (a weaker form of) Uryshon's lemma on $PS(A)$ in ...
1
vote
1answer
33 views

C*-algebra norm comparable to sup-norm?

I am trying to show what amounts to a special case of the (commutative) Gelfand-Naimark theorem. That is: For a self-adjoint element in a unital C*-algebra A there exists a unique isomorphism $$ C^*(1,...
1
vote
1answer
43 views

invertibility in C*-algebra

I have a question about a passage in the book C*-algebras and Operator Theory by Murphy, in the proof of Theorem 2.1.8. Let $a$ be a hermitian element of a unital C*-algebra and let $\lambda\in\sigma(...
1
vote
1answer
31 views

Minimal projections II

Let $M_1$ and $M_2$ be two W*-algebras. Let $A$ be a C*-algebra and $\pi_j:A\to M_j$ be two faithful representations with $M_j=\overline{\pi_j(A)}^{w^*}$. Assume that $$\textrm{The unit of}~ M_j=\...