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)

4
votes
2answers
697 views

Is a von Neumann algebra just a C*-algebra which is generated by its projections?

von Neumann algebras have the nice property that they are generated by their projections (the elements satisfying $e = e^{\ast} = e^2$) in the sense that they are the norm closure of the subspace ...
4
votes
4answers
291 views

Applications of Operator Algebras to modern physics

I think that recently I've started to lean in my interest more towards operator algebras and away from differential geometry, the latter having many applications to physics. But while taking physics ...
4
votes
1answer
348 views

Gelfand Topology and C*-algebras

Before we start here some notations to have no confusion: Suppose $A$ is a commutative $C^*$-algebra with unit. $\Sigma(A)$ is the Gelfand spectrum, given by all linear maps ...
4
votes
3answers
158 views

Lower bound for $\|A-B\|$ when $\operatorname{rank}(A)\neq \operatorname{rank}(B)$, both $A$ and $B$ are idempotent

Let's first focus on $k$-by-$k$ matrices. We know that rank is a continuous function for idempotent matrices, so when we have, say, $\operatorname{rank}(A)>\operatorname{rank}(B)+1$, the two ...
4
votes
1answer
162 views

The set of all continuous functions on a locally compact Hausdorff space.

I am reading a book about C*-algebra. There is a example that i could not understand. Let $X$ be a locally compact Hausdorff space and $C_{0}(X)$ be the set of all continuous functions vanishing at ...
4
votes
2answers
110 views

Commutative unital Banach algebra with nilpotent elements

What would be a concrete example of a commutative unital Banach algebra that contains nilpotent elements?
4
votes
2answers
299 views

Non-$C^{*}$ Banach algebras?

It suddenly occurred to me almost every Banach algebra I know is actually a $C^{*}$ algebra. Several kinds of function algebras are definitely $C^{*}$ algebras. So is the matrix algebra. Although one ...
4
votes
2answers
185 views

How generalize the bicommutant theorem?

Let $H$ be an infinite dimensional separable Hilbert space. Bicommutant theorem : Let $\mathcal{S}$ be $*$-subset of $B(H)$, then $\mathcal{S}''$ is the strong closure $\overline{\langle ...
4
votes
3answers
192 views

Sufficient condition for a *-homomorphism between C*-algebras being isometric

Let $\mathcal{A},\mathcal{B}$ be two unital C*-algebras and consider a *-homomorphism $\pi: \mathcal{A} \rightarrow \mathcal{B}$. I know that in general $\pi$ is contractive, i.e. $\vert\vert \pi(A) ...
4
votes
2answers
163 views

a trace class operator problem

Could someone help me with this Prove that If $A$ and $B$ are positive trace class operators on a Hilbert space, then so is $A^zB^{(1-z)}$ for a complex number $z$ such that $0 <Re(z)< 1$. An ...
4
votes
1answer
111 views

Strong continuity of the Borel functional calculus

I have sometimes heard that the Borel functional calculus maps bounded pointwise convergent sequences of Borel functions to strongly convergent sequences of operators. I gather "sequence" is ...
4
votes
2answers
437 views

An application of Artin Wedderburn and Schur's Lemma

In an operator algebras class, the professor said the following. Let $G$ be a finite group, and consider the complex group algebra it generates. Using the following 3 facts, we're supposed to see ...
4
votes
1answer
164 views

Self-adjoint projections of a C*-algebra as complete lattices?

In Blackadar's Operator Algebras, there is the following remark after the proposition II.3.3.1 : The projections in a C*-algebra do not form a lattice in general In the answer of this question, ...
4
votes
1answer
155 views

Quotients of C*-algebras

It is known that every unital separable C*-algebra is a quotient of the full group C*-algebra $C^*(F_I)$, where $F_I$ is the free group generated by some index set $I$. Can we drop the ...
4
votes
1answer
137 views

Cyclic vectors of an irreducible representation of a C*-algebra

Let $\mathcal{A}$ be a C*-algebra and $(H,\pi)$ an irreducible representation of $\mathcal{A}$. I want to prove the statement: all $\xi \in H$ are cyclic or $\pi(\mathcal{A})=\{0\}$ and ...
4
votes
2answers
117 views

How to prove compactness of matrix convex sets?

I am reading a paper - "the Krein Milman theorem in Operator Convexity"; and the third section there deals with compact matrix convex sets. The first example there states that the matrix interval ...
4
votes
1answer
52 views

A question about essential representation in C*-algebra

There is a quotation of a book "C*-algebras Finite-Dimensional Approximations" below: Definition 1.7.4. A representation $\pi: A \rightarrow B(H)$ is called essential if $\pi(A)$ contains no nonzero ...
4
votes
1answer
41 views

continuous depence of the spectrum on elements

Suppose $a_n \to a$ in a unital $C^*$-algebra $A$. If $\lambda_n \in \sigma(a_n)$ converges to $\lambda \in \mathbb{C}$, then $\lambda \in \sigma(a)$. Does the converse hold? So if $\lambda \in ...
4
votes
3answers
118 views

Proof: $C(X×Y)=C(X)⊗C(Y)$

Where I can find the proof of the following theorem: Let $X$ and $Y$ be compact Hausdorff spaces, $C(X)$ and $C(Y)$ the space of continuous functions on $X$ and $Y$ respectively, then we have ...
4
votes
1answer
37 views

Show this representation is irreducible and faithful

Let A be a prime $C^{*}$ algebra and $e= \alpha^{-1} c^{*}c$ for some $c \in A$ which satisfies $(c^{*}c)^{2}=\alpha c^{*}c$. Then $e^{2}=e=e^{*}$ and $eAe=\mathbb Ce$ so $eAe$ may be identified with ...
4
votes
1answer
58 views

Two question on a lemma about C*-algebra

I am reading Lin Hua xin's book "An introduction to the classification of amenable C*-algebras" and i am confused with the lemma 1.7.12 in this book. Lemma 1.7.12 Let $A$ be a C*-algebra and $f\in ...
4
votes
1answer
60 views

When is the image of a GNS representation WOT-dense?

Given a $C^*$-algebra $A$ and a state $\rho$ on $A$, let $\pi_\rho$ be the corresponding GNS representation on the Hilbert space $H_\rho$. I would like know when the image of $\pi_\rho$ is WOT-dense ...
4
votes
1answer
66 views

Smallness/ Rigidity of $\kappa(\mathcal{H})$ without using minimal projections?

Let $\mathcal{H}$ be a Hilbert space and $\kappa(\mathcal{H})$ the $C^*$-algebra of compact operators on $\mathcal{H}$. By smallness/ rigidity of $\kappa(\mathcal{H})$ I am referring to the following ...
4
votes
1answer
106 views

Seek results in group theory obtained by applping algebraic topology tools

After studying the first section, especially the section 1.3 (covering spaces) in Hatcher's book, it is obvious that many classical topics in group theory, especially in infinite group theory, have ...
4
votes
0answers
22 views

freely generating elements in an algebra

Let $(\mathfrak{M}, \tau)$ be a W${}^{\ast}$-Algebra with (finite, normal, etc., whichever nice conditions one may find need for) tracial state. Elements $(a_{i})_{i\in I}\subset\mathfrak{M}$ shall be ...
4
votes
0answers
34 views

How can I show that given a norm one linear functional on $c_0$ that there is a unique extension to a norm one functional on $\ell_\infty$?

We are given that our Banach space is $c_0 \subset \ell_\infty(\mathbb{N})$ and there is a functional $y^* \in c_0^*$ such that $||y^*|| = 1$. We are guaranteed that this extends, via Hahn-Banach to a ...
4
votes
0answers
64 views

Generalisation of the trace cyclic theorem to partial traces.

The trace-cyclic theorem says that linear operators commute (or cycle) within the trace, that is $${\rm Tr}(XY) = {\rm Tr}(YX).$$ Now if $X$ and $Y$ operate on a product space $H_A \times H_B ...
4
votes
0answers
48 views

Masas in quotients

Let $A$ be a von Neumann algebra and let $B$ be a norm-closed ideal of $A$ (but not necessarily WOT-closed). What one has to assume about $A$ and $B$ to ensure that if $M\subset A$ is a maximal ...
4
votes
0answers
139 views

Comparison of positive elements and Hilbert C*-modules

I can't find a proof of facts like the following, which apparently are quite standard in the theory of C*-algebras. Let $\mathfrak A$ be any C*-algebra, and $a,b$ two positive elements in $\mathfrak ...
4
votes
0answers
74 views

how to prove this element is strictly positive?

Let $A$ be a $C^*\text{-algebra}$ and $A_+$ denote the positive elements. An element $a\in A_+$ is called strictly positive if $\overline{aAa}=A$. Want to prove: if $(e_n)$ is an approximate identity ...
4
votes
0answers
108 views

Biduals generated by projections

This question is motivated by a similar question recently posed at MO: http://mathoverflow.net/questions/122091/masas-in-second-duals-of-banach-algebras In this setting, let $B$ be a Banach algebra ...
4
votes
0answers
240 views

Abstract Von Neumann Algebras

I have just read this question Is a von Neumann algebra just a C*-algebra which is generated by its projections? and am wondering about Robert Israel's answer when he says that a subalgebra of $C(X)$ ...
4
votes
0answers
71 views

Products in $C^*$-algebra $K$-theory

Let $A_1$ and $A_2$ be unital $C^*$-algebras. If $p_1 \in M_{n_1}(A_1)$ and $p_2 \in M_{n_2}(A_2)$ are projections then $p_1 \otimes p_2 \in M_{n_1 n_2}(A_1 \otimes A_2)$ is also a projection, ...
4
votes
0answers
102 views

Direct limits of completely positive maps on $C^*$-algebras vs. operator systems

I believe I've heard, as part of the "lore," that the category (operator systems, completely positive maps) has direct limits, whereas the category ($C^*$-algebras, completely positive maps) does not. ...
3
votes
1answer
361 views

A problem on $C^\ast$-algebras and $W^\ast$-algebras

Let $I$ is a compact topological space, $m$ is a positive regular Borel measure. Then $L^\infty(m)$ is a standard example of commutative $W^\ast$-algebra (von Neumann algebra), but it is also a ...
3
votes
2answers
266 views

Examples of not completely bounded maps

Let $\phi:\mathcal{A}\longrightarrow\mathcal{B}$ be a bounded map between $C^*$ algebras. $\phi$ is said to be completely bounded if the natural extension map \begin{eqnarray} ...
3
votes
1answer
116 views

Confusion in Gelfand theorem in C*-algebra.

I am reading HX Lin's book, named "An introduction to the classification of amenable C*-algebras", I can not understand a corollary of Gelfand theorem(Corollary 1.3.6): If a is a normal element in a ...
3
votes
2answers
136 views

Hahn-Banach Theorem in the C*-algebra

What is the Hahn-Banach Theorem in the C*-algebra(or W*-algebra maybe)? If B is an nondense subalgebra of C*-algebra(or W*-algebra maybe), can we get an state f of A which is always zero at the ...
3
votes
2answers
146 views

Why the weak * topology on the dual of a Banach space has the stronger meaning of locally compact

Let us say that for a Hausdorff topological space to be locally compact means that every point has a compact neighborhood. Why do locally compact have the property that if $x \in U$ and $U$ is open ...
3
votes
1answer
42 views

A simple question about completely positive linear maps

Let $A$ be the C*-algebra and $M_{n}(A)$ be the C*-algebra of $n\times n$ matrices with entries in $A$. We use $(a_{ij})$ to denote the element of $M_{n}(A)$. My question is: For every $a\in A$, ...
3
votes
1answer
124 views

A simple question about *-homomorphism in C*-algebra

Let $A$ and $B$ be C*-algebra, $h\colon A\rightarrow B$ is *-homomorphism. If $a\in A_{\operatorname{sa}}$, then $\operatorname{sp}(h(a))\backslash \{0\}\subset \operatorname{sp}(a)\backslash\{0\}$. ...
3
votes
1answer
79 views

Questions about $B(H)$ and $B(H)/K(H)$ as Banach space

I am trying to investigate the relation between Uniformly Convexity and existence of Schauder Basis for a Banach space. I read in a Handbook article that $B(H)$ (the algebra of all bounded operators ...
3
votes
1answer
123 views

On the use of nets when defining operator topologies

Let's consider the strong operator topology and the weak operator topology on bounded operators of a infinite-dimensional Hilbert space $H$. When they define these operator topologies, some authors ...
3
votes
2answers
87 views

example of positive but not completely positive operator

I was looking for some example of a positive operator which is not completely positive on a banach algebra. if I consider my banach algebra to be $\text{M}_n(\mathbb{C})$ of matrices over complex ...
3
votes
1answer
169 views

Dense *-subalgebras of C*-algebras and their intersections with sub-C*-algebras

Consider the following question: Let $A$ be a normed space containing a closed subset $B\subseteq A$ and a dense subset $D\subseteq A$. Is $B \cap D$ necessarily a dense subset of $B$? My conclusion ...
3
votes
1answer
48 views

equality of two operators…

Please help me with the following problem( give some hints or references): Let $X$ be a Banach space and $B(X)$ be the algebra of bounded linear operators on $X$. Suppose that $A$ and $B$ are two ...
3
votes
1answer
138 views

States and positive elements in $C^*$-algebras

Let $A$ be a unital $C^*$-algebra and $w$ be a state (i.e a positive linear functional such that $\|w\|=w(1_A)=1$. I'm trying to prove the following:a) if $a$ is selfadjoint and $w(a^2)=w(a)^2$ then ...
3
votes
1answer
84 views

Algebra (Not *)-Isomorphisms of von Neumann algebras

Let $A$ and $B$ be any two infinite-dimensional von Neumann algebras, they are operator algebras with operator composition as the multiplication and as infinite dimensional vector spaces they're ...
3
votes
1answer
139 views

Abelian von Neumann Algebras on non-separable Hilbert spaces

Is there a classification of Abelian von Neumann algebras on non-separable Hilbert spaces? For a classification of Abelian von Neumann algebras on separable Hilbert spaces, see this link.
3
votes
1answer
463 views

Formula for trace of compact operators on $L^2(\mathbb{R})$ given by integral kernels?

Given an appropriate function $K: \mathbb{R}^2 \to \mathbb{C}$, say continuous of compact support, we obtain a compact operator $T$ on the Hilbert space $L^2(\mathbb{R})$ by the formula $$ (T h)(t) = ...