The subject of operator algebras is primarily C*-algebras and von Neumann algebras, and associated topics. It also includes more general algebras of operators on Hilbert space, and may include algebras of operators on other topological vector spaces. It is related to but distinct from the subjects ...

learn more… | top users | synonyms (1)

3
votes
1answer
54 views

Continuity of functional calculus

Let $\mathcal{A}$ be an unital C*-Algebra. $a,b$ be normal elements in $\mathcal{A}$. $X\subset \Bbb C$ is a compact subset. $f:X\rightarrow \Bbb C$ is continuous. I need to show that for all ...
3
votes
1answer
101 views

Is there an example of a non von Neumann algebra with this property?

What is an example of a $C^{*}$ subalgebra $A$ of $B(H)$ such that $A$ contains the identity $I_{H}$ and satisfies the following properties: 1) For every $T\in A$, The orthogonal projection ...
3
votes
1answer
47 views

Holomorphic Functional Calculus for the Square Root

I'm working on a problem set, so I'm not looking for a solution, but just maybe a pointer on where I'm going wrong. I want to use the holomorphic functional calculus to determine the square root of ...
3
votes
1answer
78 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 ...
3
votes
1answer
53 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
74 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 ...
3
votes
1answer
74 views

A question about local convexity of the weak operator topology

By definition, I know a locally convex space is a topological vector space whose topology is defined by a family of seminorms $\cal P$ such that $$\bigcap_{p\in{\cal P}}\{x\colon p(x)=0\}=\{0\}.$$ ...
3
votes
2answers
42 views

Question about a passage in the Bicommutant Theorem's proof.

In the Averson's book, in the proof of the Von Neumann's Bicommutant theorem there is this passage: ($A $ is a self-adjoint algebra of operators in $L(H)$) "Let $\xi_1$ be an element of the Hilbert ...
3
votes
1answer
49 views

Is $vN(M_1,M_2) \cap M_3= vN(M_1,M3) \cap vN(M_2,M3)$?

Let $M_1,M_2,M_3$ be von Neumann algebras (i.e. weakly closed subalgebras of $B(H)$ where $H$ is a Hilbert space). Let $vN(M_1,M_2)$ denote the von Neumann algebra generated by $M_1$ and $M_2$ inside ...
3
votes
1answer
139 views

No trace on $B(H)$ if $H$ is infinite dimensional

Let $H$ be an infinite dimensional Hilbert space and $B(H)$ the bounded linear operators on $H$. Then thre is no ultra weakly continous non-zero positve trace $tr:B(H)\rightarrow \mathbb{C}$. I ...
3
votes
1answer
49 views

A question on a lemma about the product map

Here is a Lemma in the book “C*-algebras and Finite-Dimensional Approximations”: Lemma 3.8.4. Let $A$ be a C*-algebra, $M\subset B(H)$ be a con Neumann algebra and $\phi: A\rightarrow M$ be a ...
3
votes
1answer
91 views

Equivalent definitions for strictly positive elements

We have two usual definitions for strictly positive elements in C*-algebras: Let $A$ be a C*-algebra Definition (a) [MURPHY, C$^*$-algebras and Operator Theory] An element $a\in A_+$ is said to be ...
3
votes
1answer
60 views

A isomorphism between C*-algebras

Let $A$ be a C*-algebra and $J\triangleleft A$ be an ideal, then $A^{**}\cong J^{**}\oplus(A/J)^{**}$ ? Why?
3
votes
1answer
109 views

An exercise of positive element in C*-algebra

Let $A$ be a unital C*-algebra and $\{b_{n}\}$ be a positive invertible sequence in $A$. If $||1_{A}-b_{n}||\rightarrow 0$, can we conclude $||1_{A}-b_{n}^{-\frac{1}{2}}||\rightarrow 0$ ?
3
votes
1answer
87 views

Biprojective $C^*$-algebra

Let $A$ be a Banach algebra. Define $\Delta:A\hat{\otimes}A\to A$ with $\Delta(\sum_{n=1}^\infty a_n\otimes b_n)=\sum_{n=1}^\infty a_nb_n$. Now $A$ is called biprojective if there exists a bounded ...
3
votes
1answer
293 views

Arveson's Extension Theorem in C*-algebra

I am reading a book C*-algebra and finite-Dimensional Approximations. There are two conclusions (in the book) below. Corollary 1.5.16. Let $E\subset A$ be an operator subsystem and $\phi: E ...
3
votes
1answer
96 views

Question about the type decomposition of von Neumann algebras, Blackadar's notes.

this is a little bit of a dumb question, please be nice, I had some doubts about the type decomposition of von Neumann algebras. I was reading Bruce Blackadar's "Operator algebras. Theory of ...
3
votes
1answer
139 views

A question on the spectral projection

I am reading a paper about spectral theory. And I meet with some problems. An operator $K\in L(X)$ is said to be algebraic if there exists a non-trivial complex polynomial $h$ such that $h(K)=0$. By ...
3
votes
1answer
82 views

Double centralizers in the Murphy book

I've been into this for days and days and I still can't see why, given the definition of $L^\ast$ as $L^\ast =(L(a^\ast))^\ast$ we get that $(LM)^\ast =L^\ast M^\ast$. Where is my mistake: ...
3
votes
1answer
350 views

Compute spectral/projection-valued measures explicitly?

Spectral/projection-valued measures have very handy applications theoretically, but I got stuck when asked to compute explicitly certain projection-valued measures. Let's focus on the following: ...
3
votes
1answer
239 views

Strongly-Continuous linear functionals on $\mathcal{B}(H)$

Suppose $H$ is a complex Hilbert space and $$w: \mathcal{B}(H) \longrightarrow \mathbb{C}$$ is a bounded linear functional on $\mathcal{B}(H)$ such that $w$ is continuous even if $\mathcal{B}(H)$ is ...
3
votes
1answer
120 views

Clarification on Dirac notation

I am new to the Dirac notation, so would appreciate some clarification. Suppose $\Psi=\psi_1+\psi_2$ where $\Psi$ is normalized and $H$ is a linear operator such that $H\psi_1=E_1\psi_1$ and ...
3
votes
1answer
52 views

About a relation between isometries

If we have $(T_i)_{i=1}^N$, operators on a Hilbert space, that are also isometries and satisfy the following relation: $$\sum_{i=1}^NT_iT_i^*=Id\quad (1)$$ How can you prove that they must also ...
3
votes
1answer
78 views

Hilbert Space multiplication Operator, shift operator

I have this problem and am not sure how to even approach it.. Hilbert space $l^2(\mathbb{Z})$ with orthonormal basis$ $$(e_n)$ and Hamiltonian operator $He_n=i(e_{n+1}-e_{n-1})$ a)I need to use ...
3
votes
2answers
76 views

Is $B(H)$ sot separable

To prove that the unit ball of $B(H)$ is separable in strong operatior topology using the fact that $K(H)$ is separable and also is sot- dense in $B(H)$. I think we can conclude that $B(H)$ is also ...
3
votes
1answer
53 views

C*-algebraic intrinsic definition for compactness of an operator?

Some properties of operators (normal, self adjoint, hermitian) have intrinsic definitions for any element of a $C^*$-algebra. Is there such definition for compact operators? Equivalently: Let ...
3
votes
1answer
32 views

Weakly compact operator with different domains

Let $A$ be a Banach algebra. Suppose that $e\in A$ such that $e^2=e$ and $eAe$ is division algebra(i.e., $eAe$ is unital and every element of $eAe$ has inverse in $eAe$). Define $T_e:A\to A$ with ...
3
votes
1answer
62 views

Projections on a Hilbert space

Suppose $P$ and $Q$ are self-adjoint projections on a Hilbert space such that $P+Q+\lambda I$ is a self-adjoint projection for some $\lambda \in \mathbb{R}$. Does it follow that $P$ and $Q$ commute?
3
votes
1answer
66 views

Arveson spectrum for a unitary representation of a group on a Hilbert space

Let $G = \mathbb{R}$. By Stone's theorem, $U(t)\in\mathcal{B}(\mathcal{H})$ is generated by a self-adjoint operator $H$ (for which there is a resolution of the identity P(p), by the spectral theorem) ...
3
votes
2answers
76 views

Existence of central cover for a representation of a C*-algebra

I've been trying to learn the basics about the representation theory of C*-algebras and came across the following in Pedersen's C*-algebras and their Automorphism Groups: With each ...
3
votes
1answer
82 views

Order zero maps in matrix algebra

Let $a$ and $b$ are two elements in a $C^*$algebra $A$. We say $a\perp b$ if $ab=ba=a^*b=ab^*=0$. We say a completely positive map $\phi: A \rightarrow B$ is of order zero if for any positive elements ...
3
votes
1answer
71 views

Question about $C_0(X)$-algebras and $C_b(X)$.

Let $X$ be a locally compact Hausdorff space. Denote by $C_0(X)$ its C*-algebra of continuous functions that vanish on infinity and by $C_b(X)$ its C*-algebra of bounded functions. Now, let $A$ be a ...
3
votes
1answer
90 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, ...
3
votes
1answer
42 views

A question on a sequence in a Banach algebra [duplicate]

If $\{u_{k}\}_{k=1}^{\infty}$ is a sequence in an Banach algebra (and more specifically, in the set of all the bounded linear operators of a Banach space $X$). If ...
3
votes
1answer
137 views

Question about projections on Hilbert space

Let $P_i$ be projections from a Hilbert space $\cal{H}$ to its closed subspace $\cal{H}_i$, $i=1,2,\cdots,n$, such that $\sum^n_{i=1} P_i$ is also a projection. And let $P$ be a projection from ...
3
votes
1answer
76 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
68 views

A bounded everywhere defined operator that is affiliated to a von Neumann algebra is in the algebra

A possibly unbounded operator $T$ on a Hilbert space $\mathcal H$ is (in my source) defined as affiliated to a von Neumann algebra $M$ if for each unitary element $u$ of $M^\prime$, $u^*Tu=T$ (or ...
3
votes
1answer
252 views

Extreme points in the set of positive linear functionals of norm $\leq 1$

Let $A$ be a C* algebra, and $S$ the set of positive linear functionals on $A$ in the unit ball of $A^*$ (Which has the weak-* topology.) I am having difficulty seeing that all nonzero extreme points ...
3
votes
1answer
237 views

One particular application of the Cauchy Schwarz Inequality

A document I am reading on Von-Neumann algebras (VNA) asserts that it follows from Cauchy-Schwarz that if $M$ is a VNA, and $w$ is a positive linear functional on M that is merely norm continuous, ...
3
votes
1answer
334 views

Reduced Crossed Products

Given a discrete group $ G $ and a $ G $-$ C^{*} $-algebra $ A $, we can form the reduced crossed product $ A \rtimes_{\operatorname{r}} G $. I want to define it as the closure of the embedded image ...
3
votes
1answer
21 views

subset of pure states with norm condition already dense

I struggle to proof the following statement: Let $Y\subseteq P\left(B\right)$ a subset of pure states on a $C^*$-Algebra $B$ such that for every $b\in B$ there exists a $\varphi \in P \left(B\right)$ ...
3
votes
1answer
48 views

Aproximating positive elements in inductive limit of C* algebras

Let $\{A_i,\Phi_{ij} \}_{i\in \mathcal{I}}$ a directed system of C* algebras and $A:=\varinjlim A_i$ its limit. I know that if $x\in A$ is self-adjoint, it can be approximated with another ...
3
votes
1answer
89 views

Proving an isometric dilation of a non unitary operator on Hilbert space implies infinite dimensional space involving matrices

I have been given this exercise in my Operator theory class dealing with operators on Hilbert spaces, which reads as follows: Let H be a Hilbert space. We are to prove, in two distinct ways, that ...
3
votes
1answer
30 views

Where does Gelfand Theory fail for non-commutative algebras.

I'm trying to get my head around Gelfand theory, and I can't seem to find the subtleties between commutative and non-commutative algebras. Why is there not a one-to-one correspondence between maximal ...
3
votes
1answer
33 views

Can anyone prove this equation? (Eq. with operators)

I am trying to understand the last equation from page 2 of this pdf http://physics.gu.se/~frtbm/joomla/media/mydocs/LennartSjogren/kap7.pdf but I am not being able to develop as here it says. Could ...
3
votes
1answer
31 views

Norm on reduced crossed product - $C^*$ version v.s. $L^p$ version

Let $(G,A,\alpha)$ be a $C^*$-dynamical system where $G$ is a countable discrete group. When defining the reduced crossed product, one can proceed as follows: Let $\pi$ be a faithful representation ...
3
votes
1answer
79 views

When can $*$-algebras be turned into $C^*$-algebas?

Let $A$ be a (not necessarily unital) complex $*$-algebra, i.e. an algebra over $\mathbb{C}$ together with an involution $*: A \to A$. There exists at most one norm on $A$ turning $A$ into a ...
3
votes
1answer
48 views

A question about the weak operator topology of $B(H)$

Let $H$ be a Hilbert space and $V$ a dense subspace. Let $A$ be a $*$-subalgebra of $B(H)$. The weak closure of $A$ is, by definition, the space of all $u\in B(H)$ satisfying: For every ...
3
votes
1answer
44 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 ...
3
votes
1answer
69 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) $ ...