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
1answer
31 views

Show that a nondegenerate *-Banach algebra is a C*-algebra

Takesaki in his operator theory says A C*-algebra $M$ of operators on Hilbert space $H$ means a nondegenerate ( $\text {cl} (MH) = H$) $*-$ subalgebra of $B(H)$ which is closed under the uniform ...
2
votes
2answers
207 views

Every normal operator on a separable Hilbert space has a square root that commutes with it

Show that every normal operator on a separable Hilbert space has a square root that commutes with it. Uniqueness? My attempt: Let $T$ be a normal operator. By polar decomposition $T=U|T|$ where ...
1
vote
1answer
88 views

On the weak closure of a sequence of projections

Let $H$ be a Hilbert space with $\text{dim}=\infty$ , and $\{e_n\}$ be an orthogonal sequence of projections in $B(H)$. Show that $\{\sqrt{n}e_n ; n\geq 1\}$ does not admit a subsequence converging to ...
1
vote
0answers
26 views

States: Liouvilleans

Given a C*-algebra $\mathcal{A}$ with dynamics $\tau$. Consider an invariant state: $\omega\circ\tau^t\equiv\omega$ Then the dynamics is unitarily implementable: ...
1
vote
0answers
47 views

Closed unit ball of $B(H)$ with wot topology is compact

The following is a Theorem of Conway's operator theory: I can not understand how he proves it. I think $\phi(\text{ ball B(H)})$ is compact if $\phi(\text{ ball B(H)})$ is closed subset of compact ...
3
votes
2answers
105 views

For a hermitian element $a$ in a $C^*$-algebra, show that $\|a^{2n}\| = \|a\|^{2n}$

Let $\mathcal{A}$ be a $C^*$-algebra. Suppose that $a \in \mathcal{A}$ with the property that $a^* = a$ (that is, suppose that $a$ is hermitian). I would like to show that $\|a^{2n}\| = ...
1
vote
0answers
42 views

States: Approximate Unit

Given a C*-algebra $\mathcal{A}$. Consider a state: $\omega\geq0$ Especially one has: $\sup\omega(E^2)=\|\omega\|$ Can it actually fail to be a proper limit? The problem is that the square is not ...
-1
votes
1answer
86 views

Positive Elements: Norm (Decomposition)

Given a C*-algebra $\mathcal{A}$. Then every element decomposes into: $Z=X_+-X_-+iY_+-iY_-=\sum_{\alpha=0\ldots3}i^\alpha Z_\alpha$ Obviously, one has: $\|Z\|\leq\sum_{\alpha=0\ldots3}\|Z_\alpha\|$ ...
1
vote
1answer
54 views

States: Positivity vs. Continuity

Definition Define positivity in terms of: $$\omega\geq0:\iff\omega(X^*X)\geq0$$ (This way it serves best for the GNS-construction.) Problem Given a C*-algebra $1\notin\mathcal{A}$. Consider a ...
1
vote
1answer
40 views

States: Extension

Definition Define positivity in terms of: $$\omega\geq0:\iff\omega(X^*X)\geq0$$ (This way it serves best for the GNS-construction.) Problem Given a C*-algebra $1\notin\mathcal{A}$ and adjoin a unit ...
2
votes
1answer
61 views

An elementary perturbation result in C*-algebra

The following question was raised when I read a papaer "MF actions and K-theoretic dynamics". In one of the proofs in that paper, the author utilized a so called "elementary perturbation result in ...
1
vote
0answers
56 views

Group C*-algebra of an abelian discrete group

Let $A = \mathbb C[G]$ be the group ring of all finitely supported functions $f\colon G \to \mathbb C$ of a discrete abelian group $G$ with the usual convolution product, and involution defined by ...
2
votes
1answer
36 views

Special Elements: Spectrum

Given a C*-algebra with unit $1\in\mathcal{A}$. For normal elements one has: $$A^*=A^{-1}\iff\sigma(A)\subseteq\mathbb{S}$$ $$A^*=A\iff\sigma(A)\subseteq\mathbb{R}$$ ...
0
votes
0answers
37 views

Finite dimensional operator space is dense in trace class space

To show that $F(H)$ (the space of finite dimensional operators on a Hilbert space $H$) is dense in $L^1(H)$ (the space of trace class operators), suppose that $x\in L^1(H)$. Without loss of generality ...
1
vote
1answer
44 views

Trace class operator is an ideal

To show that trace class operators space is an ideal, we need to show that $\|uv\|_1\leq \|u\|\|v\|_1$ where $u,v \in B(H)$ and $\|u\|_1 = tr(|u|)$. Murphy in his book (C*-algebras and operator ...
2
votes
1answer
70 views

Nonzero projection in an irredicible C*-algebra of minimal finite rank must have rank one

The following is a part of a theorem in Murphy's C*-algebras and operator theory: Let $A$ be a C*-algebra acting irreducibly on a Hilbert space $H$ and $q$ be a nonzero projection in $A$ of minimal ...
0
votes
1answer
38 views

$*-$ isomorphism between two compact spaces $K(H)$ and $K(H')$

The following is a theorem of Murphy's C*-algebras and operator theory: I think we can write the proof more easily than Murphy's. After show that $E'$ is an orthonormal basis for $H'$, define ...
-1
votes
1answer
40 views

Approximate Identity: Projections

Problem Given a C*-algebra $\mathcal{A}$. Denote the positive open unit ball by: $\mathcal{B}^+$ Then it has an approximate identity: ...
2
votes
1answer
32 views

Positive Elements: Decomposition?

Problem Given a C*-algebra with unit $1\in\mathcal{A}$. Then every selfadjoint element decomposes into positives ones: $$A=A^*:\quad A=\frac12(|A|-A)-\frac12(|A|-A)\quad\left(\frac12(|A|\pm ...
0
votes
1answer
13 views

Dynamics: EQ-States vs. NESS-States

Given a C*-algebra $\mathcal{A}$ with dynamics $\tau$. Consider a state that relaxes towards equilibrium: $$\omega_T(A):=\omega\circ\tau^T(A)\stackrel{T\to\infty}{\to}\omega_\infty(A)$$ Then it ...
3
votes
1answer
56 views

Set-theoretic questions about the definitions of crossed-product $ C^{*} $-algebras and group $ C^{*} $-algebras.

In his book Crossed Products of $ C^{*} $-Algebras, Dana P. Williams defines the crossed product of a $ C^{*} $-algebra $ A $ by a locally compact group $ G $ as the completion of $ {C_{c}}(G,A) $ ...
0
votes
1answer
42 views

A question about the extension of homomorphism

Here is a quotation of a book "C*-algebras and Finite-Dimensional Approximations" P275 Let $A$ be a C*-algebra. Suppose $I\triangleleft A$ be a closed ideal. If the representation ...
0
votes
1answer
41 views

What's difference between spectrum and eigenvectors of an operator

Let $x$ be an operator in $B(H)$. By definition $\sigma(x)=\{\lambda \in \Bbb C ~; \lambda - x \neq inv \}$. Also to find eigenvalue of an operator we should find $\lambda$ such that $x\xi = \lambda ...
1
vote
1answer
58 views

non-degenerate representation of a C*-algebra A is a direct sum of cyclic representations of A.

I am studying chapter 5 of the book Murphy. In the proof of Theorem 5.1.3 is at the bottom of my many questions. I'm Thanks for help in understanding prove. Thank advance. Theorem 5.1.3 Let ...
1
vote
0answers
36 views

weakly continuous linear map

The following is a Theorem of Murphy's C*-algebra and operator theory: To prove the theorem, the author claims compact linear map $u$ is weakly continuous. I know that every bounded linear map is ...
1
vote
1answer
43 views

A question about the definition of group $C^\ast$-algebra

Let $G$ be a local compact group, then group $C^\ast$-algebra of $G$ is defined as the completion of $C_c(G)$ with respect to some norm. By now, I have seen three norms. $\|f\|=\sup\|\pi(f)\|$, ...
1
vote
1answer
49 views

Image of a commutative C*-algebra

Let $A$ be an unital commutative C*-subalgebra of $B(H)$, and $\Omega$ be its character space. By spectral theorem $$\phi: B_\infty(\Omega)\to B(H);~~~~~f\to \int f \, dP$$ is a $*-$ homomorphism ...
0
votes
2answers
63 views

Nonunital C*-Algebras: Morphism Contractive

Problem Given C*-algebras $\mathcal{A}$ and $\mathcal{B}$. Consider a *-morphism $\pi:\mathcal{A}\to\mathcal{B}$. Then it is contractive: $\|\pi[\mathcal{A}]\|\leq\|A\|$ The proof I know ...
3
votes
1answer
66 views

C*-algebra of polynomials?

Let $A$ be a C*-algebra. Consider its cartesian square $A^2$ and define a multiplication on $A^2$ by the identity $$ (x_0,x_1)\cdot (y_0,y_1)=(x_0y_0,x_0y_1+x_1y_0),\qquad x_0,x_1,y_0,y_1\in A $$ This ...
1
vote
0answers
22 views

Extened of a representation

The following is a part of a theorem of Folland's book: Let $X$ be a compact space, $B(X)$ the space of bounded Borel measurable functions on $X$, and $C(X)$ the space of continuous function on $X$. ...
2
votes
1answer
116 views

Extensions: Spectrum

Problem Given a C*-algebra $\mathcal{A}_0$ and unital extensions $1\in\mathcal{A}$ and $1'\in\mathcal{A}'$. Regard a common element: $$A_0\in\mathcal{A}_0:\quad A^{(\prime)}:=\iota^{(\prime)}(A_0)$$ ...
2
votes
1answer
158 views

Show that an operator is well-defined

Let $v\in B(H)$, Define $u:|v|H\to H$ such that $u(|v|\xi) = v\xi$ . To show the map $u$ is well-defined, the author writes $$\||v|\xi\|^2=\langle v^*v\xi,\xi\rangle = \|v\xi\|^2$$ But I do not know ...
1
vote
1answer
55 views

Partial isometry and projection

The following is a Theorem of Murphy's C*-algebras and operator theory: Let $H_1, H_2$ be Hilbert spaces and $u\in B(H_1,H_2)$. If $u^*u$ is a projection, then $uu^*u=u$. To show it, for $\xi\in ...
3
votes
1answer
47 views

A question about essential ideal

Let $I$ be a nonunital C*-algebra and $I\subset B(H)$ be any nondegenerate representation and define $$M(I)=\{T\in B(H): Tx\in I~and ~xT\in I, ~for ~all~ x\in I\}.$$ Then, how to prove $I$ ...
1
vote
2answers
56 views

Equality of two operators

The following is a fact in Murphy's C*-algebras and operator theory page 49: Suppose $u,v \in B(H)$, where $H$ is a Hilbert space, then $u=v$ if and only if $\langle u\xi,\xi\rangle = \langle ...
2
votes
1answer
20 views

operators on Hilbert spaces have adjoints

The following is a Theorem of Murphy's C*-algebras and operator theory: In the last line of proof, he claims $u^*$ is linear, but I think it's conjugate linear because for $y_2,x_2\in H_2$, $x_1\in ...
1
vote
2answers
99 views

C*-algebras: Literature?

I'd like to better understand states on C*-algebras. What properties should I investigate and in which order? (Positive functionals, extremal states, Schwarz's inequality, Kadison's inequality, what ...
1
vote
1answer
90 views

If $H$ is a one-dimensional Hilbert space then the zero representation of a C*-algebra on $H$ is irreducible.

It says on page 143 of Murphy's $C^*$-algebras and operator theory that if $H$ is a one-dimensional Hilbert space then the zero representation of any C*-algebra on H is irreducible. What is the zero ...
-2
votes
1answer
221 views

$s \in L^{1}(H)$ $\iff$ $s=\sum_{i=0}^\infty x_{i} \otimes y_{i} $

Let $H$ be a separable Hilbert space, and let $L^1(H)$ be the space of trace-class operators on $H$. I'd like to prove that $s\in L^{1}(H)$ if and only if there exists $\{ x_{i} \} , \{ y_{i} \} ...
2
votes
1answer
44 views

If $I$ is a closed ideal in a C*-algebra $A$ and $J$ is a closed ideal in $I$ then $J$ is an ideal of $A$

The following is a remark of Murphy's C*-algebras and operator theory: . I do not know why he uses approximate unit. I think for $a\in A$ and $b\in J^+$, we have $b\in I$ and $b^{1/2}\in I$($I$ is ...
0
votes
1answer
31 views

$\phi(A^+) \subset B^+$ when $\phi: A\to B$ is an isometric linear map

Let $\phi: A\to B$ be an isometric linear map between unital C*-algebras $A$ and $B$ such that $\phi(a^*)=\phi(a)^* (a\in A)$ and $\phi(1)=1$. Show that $\phi(A^+) \subset B^+$. Clearly $A^+ = \{a^*a ...
2
votes
1answer
44 views

Equivalence between the GNS representation of two different positive linear functionals

Let $\varphi $ be a positive linear functional on $C^*$-algebra $A$ and let $(\pi _{\varphi},H_\varphi ,\xi)$ be the associated GNS representation. Let $\psi \in A_+^*$. Show that the two next ...
2
votes
1answer
31 views

Show that hermitian element $h=\sum p_n/3^n$ generates $ C_0(\Omega)$

Let $\Omega$ be a locally compact Hausdorff space, and suppose that the C*-algebra $C_0(\Omega)$ is generated by a sequence of projections $(p_n)_{n=1}^{\infty}$. Show that the hermitian element ...
2
votes
0answers
112 views

$C^*$-algebras, von Neumann algebras, unbounded operators and quantum mechanics in connection

I am studying the theory of $C^*$-algebras, von Neumann algebras and unbounded operators in courses on Functional Analysis and Opertor Algebras. Now I want to apply this knowledge to (algebraic) ...
2
votes
1answer
35 views

A question on the minimal tensor norm

Given two C*-algebras $A$ and $B$ and let $A_1$ and $B_1$ be their C*-subalgebras. Can we conclude that $A_1 \otimes_\min B_1$ is a subalgebra of $A \otimes_\min B$? I think that this is not true, ...
3
votes
0answers
51 views

Creating Bratteli diagrams for Riesz groups

The Effros-Handelman-Shen-theorem tells you that Riesz groups are the same as dimension groups -- i.e. any ordered, unperforated abelian group with the Riesz interpolation property can be realised as ...
3
votes
0answers
75 views

Maximal abelian subalgebras of SAW*-algebras

Pedersen distilled the following class of C*-algebras which he termed SAW*-algebras: A C*-algebra $A$ is an SAW*-algebra if for each pair of orthogonal, positive elements $x,y\in A$, there exists a ...
0
votes
1answer
57 views

The cone over separable C*-algebra is also separable?

For a C*-algebra $A$, the cone over $A$ is $CA=C_{0}(0,1]\otimes A$ , My question: If $A$ is separable, $CA$ is also separable?
0
votes
1answer
50 views

Two questions about orthogonal projections on Hilbert space

Let $l_{k}^{2}$ denote the k-dimensional Hilbert space and $\oplus_{1}^{\infty} l_{k}^{2}$ be the infinite direct sum of $l_{k}^{2}$. Let $P_{M}\in ...
0
votes
1answer
33 views

Joint spectrum of $\{a_1,…,a_n\}$

Let $\{a_1,...,a_n\}$ be commuting normal operators on a Hilbert space. Put $A:= C^*(1,a_1,...,a_n)$. By Gelfand theorem ,abelian C*-algebra $A$ is identified with the algebra $C(\Omega)$ of all ...