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
3answers
151 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
125 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
129 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
97 views

A nilpotent element of an algebra which does not lie in the span of commutator elements.

What is an example of a $C^{*}$ algebra such that the span of nilpotent elements is not a sub vector space of the span of commutator elements. Obviously any such $C^{*}$ algebra would be a ...
4
votes
0answers
45 views

Finite dimensional Banach algebras whose $K_{0}$ group is a non trivial finite group

Motivated by this question we ask Is there a finite dimensional Banach algebra $A$ such that $K_{0}(A)$ is a nontrivial finite group? I understand from the above link and this post that any ...
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 ...
4
votes
0answers
64 views

Equivalence of categories ($c^*$ algebras <-> topological spaces)

I try to use a littlebit category theory to have a better overview of the results in the theory of $c^*$-algebras, but I really have to read an introduction to category theory because I know almost ...
4
votes
2answers
127 views

amenable groups versus amenable graphs

In operator algebras, one is often concerned with amenable groups, defined by one of many equivalent conditions. http://en.wikipedia.org/wiki/Amenable_group#Equivalent_conditions_for_amenability In ...
4
votes
0answers
100 views

Reduced $C^*$-algebra of a direct product of locally compact groups

Is it true that $$C^*_r(G_1\times G_2)=C^*_r(G_1)\otimes_{\min}C^*_r(G_2)$$ for locally compact groups $G_1$ and $G_2$? I have managed to prove that it holds for discrete groups (see below), but as ...
4
votes
0answers
163 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
127 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 ...
3
votes
2answers
871 views

Norm of an inverse operator: $\|T^{-1}\|=\|T\|^{-1}$?

I am a beginner of funcional analysis. I have a simple question when I study this subject. Let $L(X)$ denote the Banach algebra of all bounded linear operators on Banach space X, $T\in X$ is ...
3
votes
2answers
221 views

Commutant of bounded linear operators on a Hilbert space

Given a Hilbert space $H$, denote by $\mathcal{A}=\mathcal{B}(H)$ the C*-algebra of bounded linear operators on $H$. Denote further by $$\mathcal{B}(H)' := \{A\in \mathcal{B}(H) : [A,B]=0 \;\forall ...
3
votes
1answer
415 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
1answer
211 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
1answer
257 views

The free group $II_{\infty}$ factor isomorphism problem

Let $\Gamma$ be an infinite discrete group, and $H = l^{2}(\Gamma)$ the separable infinite dimensional Hilbert space. Let $\rho$ be the left regular representation of $\Gamma$ on $H$. Definition : ...
3
votes
1answer
501 views

Minimal projections in a C* algebra

Let $e$ be a projection in a C* algebra $A$. Is $eAe= \mathbb{C}e$ equivalent to the nonexistence of any projection in between $e$ and $0$? I know it is true if $A$ is a Von Neumann algebra because ...
3
votes
2answers
175 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
65 views

$C(S^1)$ does not have a single generator

Let $S^1$ be the unit circle in the complex plain and $C(S^1)$ be the continuous function space on $S^1$.$f\in C(S^1)$ is a generator means that $\{p(f) |\text{ p is a polynomial in z}\}$ is dense in ...
3
votes
1answer
76 views

Show that a space X is homeomorphic to the space of multiplicative linear functionals

Let $\mathcal{A}=C(X,\mathbb{R})$ where $X$ is a compact Hausdorff space. Let $\hat{\mathcal{A}}$ be equal to the set of multiplicative linear functionals from $\mathcal{A}$ to $\mathbb{R}$. ...
3
votes
1answer
62 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
183 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
122 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
256 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
1answer
29 views

One-sided identities in Banach algebras

What is an example of a Banach algebra with a left identity but with no right identities? Is there an example of an operator algebra with this property?
3
votes
1answer
51 views

Gelfand-Naimark for $C^*$-categories

What is a reference for the following Theorem? If $A$ is a small $C^*$-category, then there is a faithful $C^*$-functor $A \to \mathsf{Hilb}$. $C^*$-categories with exactly one object are just ...
3
votes
2answers
76 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 ...
3
votes
2answers
453 views

Analytic Vectors (Nelson's Theorem)

Is there a (simple) proof for Nelson's theorem that a symmetric operator is essentially selfadjoint if it contains a dense subset of analytic vectors?
3
votes
1answer
75 views

The canonical surjection between the full and the reduced group C^*-algebras

This might be an incredible easy question -- since any reference I've found state it as obvious -- but anyway: Given a group $G$, I can construct the full group-$C^*$-algebra $C^*(G)$ be completing ...
3
votes
2answers
62 views

an invariant of $C^{*}$ algebras

consider the following property (invariant) for complex $C^{*}$ algebras: "$T(x)=x^{*}$ is the only non zero $\mathbb{R}$-linear map on $A$ which satisfies $T(x)T(y)=T(yx)$." Questions: 1)Some ...
3
votes
1answer
403 views

A theorem about conditional expectation in C*-algebra

Definition 1. Let $B\subset A$ be C*-algebra. A projection from A onto B is a linear map $E: A \rightarrow B$ such that $E(b)=b$ for every $b\in B$. A conditional expectation from A onto B is a ...
3
votes
1answer
76 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
340 views

Learning roadmap for Non-commutative Geometry [closed]

I am interested in learning Non-commutative geometry and K-theory of operator algebras. Please suggest a learning roadmap for this subject. My present knowledge of Measure theory & Functional ...
3
votes
1answer
242 views

A question on multiplicative linear functional on Banach algebra.

I am reading a book about C*-algebra. But i am confused with some of its content. It says Assume $A$ is a non-unital C*-algebra and $\tilde{A}$ is its unitization (the elements of the form ...
3
votes
1answer
107 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
230 views

The span of the orthorgonal projections is norm dense in $B(H)$

This is a question in my functional analysis book. How to use the spectral theorem to prove that the span of the orthogonal projections is norm dense in $B(H)$?
3
votes
1answer
490 views

Polar decomposition of invertible elements in a unital C$ ^{*} $-algebra.

If $ A $ is a unital C$ ^{*} $-algebra and $ a $ is invertible, then $ a = u|a| $ for a unique unitary element $ u $ of $ A $. If $ \| a \| = \| a^{-1} \| = 1 $, what can you say about $ |a| $? I ...
3
votes
1answer
276 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
232 views

Strong convergence of projections in $B(H)$

Let $\{e_{kj}\}$ be the canonical matrix units in $B(H)$, with $H$ separable. Define projections $q_k$ by $$ q_k=\sum_{n=1}^ke_{nn}. $$ Let $\{p_1,p_2,\ldots\}\subset B(H)$ be a sequence of ...
3
votes
1answer
2k views

Taylor expansion for matrices

Is it possible to define a Taylor expansion for matrices ? Can I use functional derivative ? More precisely I have to calculate something like : $\ln(A+B)$ using a Taylor expansion, where $A$ and $B$ ...
3
votes
2answers
92 views

Dimension of an operator module

Let $H$ be an infinite dimensional Hilbert space. Consider unital $C^*$-sub-algebra of $\mathcal{A}\subset\mathcal{B}(H)$ such that there exist a family of isometries $\{S_n:n\in N\}$ with pairwise ...
3
votes
1answer
97 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
23 views

States in a $C^*$-algebra bounded?

A functional $\phi$ on a $C^*$-algebra $A$ with unit element, i.e. $\phi: A \rightarrow \mathbb{C}$ is called a state if $\phi(T^*T) \ge 0$ for all $T \in A$ and $\phi( \operatorname{id}) = 1.$ Now, I ...
3
votes
1answer
43 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
52 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
131 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 ...