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)

5
votes
1answer
780 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 ...
11
votes
2answers
719 views

$C^*$-algebra which is also a Hilbert space?

Does there exist a nontrivial (i.e. other than $\mathbb{C}$) example of a $C^*$-algebra which is also a Hilbert space (in the same norm, of course)? For $\mathbb{C}^n$ with $n > 1$ the answer is ...
12
votes
2answers
815 views

Is there an algebraic homomorphism between two Banach algebras which is not continuous?

According to wikipedia, you need the Axiom of Choice to find a discontinuous map between two Banach spaces. Does this procedure also apply for Banach algebras yielding a discontinuous multiplicative ...
8
votes
1answer
430 views

reference for operator algebra

I am taking a course on operator algebra this semester. My instructor has suggested a reference "Kadinson and Ringrose." Are there any other good/standard references for this subject that I can look ...
6
votes
2answers
931 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 ...
24
votes
5answers
989 views

Are commutative C*-algebras really dual to locally compact Hausdorff spaces?

Several online sources (e.g. Wikipedia, the nLab) assert that the Gelfand representation defines a contravariant equivalence from the category of (non-unital) commutative $C^{\ast}$-algebras to the ...
9
votes
1answer
367 views

Maximal ideals and maximal subspaces of normed algebras

This is a kind of "prove or give a counter-example" question, and I'm having some difficults with it: By a maximal ideal $I$ of an algebra $A$, we mean an ideal $I\neq A$ which is not properly ...
7
votes
2answers
505 views

A question about pure state

For every unit vector $x$ in a Hilbert space $H$,let $F_x$ be the linear functional on $\mathcal B(H)$ (bounded linear operators) defined by $F_x(T)=(Tx,x)$. Prove that each $F_x$ is pure state and ...
4
votes
3answers
534 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) ...
6
votes
1answer
255 views

Weak* operator topology and finite rank operators

We will say that ${T_i}\subset B(X,Y^*)$ converges to $T$ in W*-operator topology if $T_i(x)\rightarrow T(x)$ in W*-topology of $Y^*$( $\forall y\in Y \langle T_i(x),y\rangle \rightarrow \langle ...
1
vote
2answers
97 views

Properties of a $B^\ast$-algebra

Defining a complex Banach algebra as a $B^\ast$-algebra when it is equipped with an application $\ast:B\to B$ such that for any $x,y\in B$ $$(x+y)^\ast=x^\ast+y^\ast,\quad(xy)^\ast=x^\ast ...
1
vote
2answers
128 views

Examples of hyperstonean space

From the abelian von Neumann algebra, I see the hyperstonean space as its spectrum(analogy with the C*-algebra). Now I want to see some examples of hyperstonean space. 1) Can you give me a ...
6
votes
1answer
206 views

$\mathcal{K}(L^2(\mathbb{R}^m \times \mathbb{R}^n)) = \mathcal{K}(L^2(\mathbb{R}^m)) \otimes \mathcal{K}(L^2(\mathbb{R}^n))$?

QUESTION: Is it true that for the algebra of compact operators: $\mathcal{K}(L^2(\mathbb{R}^m \times \mathbb{R}^n))$ is as a $C^{\ast}$-algebra isomorphic to $\mathcal{K}(L^2(\mathbb{R}^m)) \otimes ...
3
votes
1answer
188 views

Does an irreducible operator generate an exact $C^{*}$-algebra?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : An operator $T \in B(H)$ is irreducible if $W^{*}(T)=B(H)$. Definition : A ...
2
votes
2answers
309 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 ...
1
vote
1answer
219 views

Two questions from Dixmier's book on Von Neumann algebras

It seems something is going wrong with the preview I linked in some of my previous questions, so I will just type out the question. I am having trouble with Dixmier's proof of Corollary 5 on p. 46. ...
1
vote
1answer
2k views

Why call this a spectral projection?

Regarding this question, Why do spectral projections give norm approximations? I have figured out what is meant by spectral projection, and have thus found the answer as well. A spectral projection ...
0
votes
1answer
130 views

strictly positive in unital $C*$ algebra

Let $A$ be a unital $C*$ algebra. $a\in A_+$ is called strictly positive if $\overline{aAa}=A$. Prove that $a\in A_+$ is strictly positive iff $a$ is invertable. I proved one direction : if $a$ is ...
18
votes
8answers
1k views

Reference for spectral sequences

What are good expositions of spectral sequences, which include a thorough introduction to the topic as well as the most important examples of applications - maybe with an emphasis an topological ...
4
votes
2answers
224 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 ...
6
votes
1answer
212 views

equivalent? algebraic definition of a partial isometry in a C*-algebra

An element $a\in\mathfrak{A}$ (unital C*-algebra) is a partial isometry if $a^*\cdot a $ is projection. Can one recover the equivalent caracterizations of a partial isometry in ...
9
votes
1answer
183 views

Do we have Maximal Abelian Algebras (MAAs)?

Let $\mathcal{H}$ be a Hilbert space and $B(\mathcal{H})$ the algebra of bounded linear operators on $\mathcal{H}$. A MASA $\mathcal{M}$ is a subalgebra of $B(\mathcal{H})$ that is abelian and ...
5
votes
2answers
162 views

Duals via a Bilinear map

Let $E$ and $F$ be normed vector spaces. Then if $B$ is a bounded bilinear form on $E \times F$ then every $y \in F$ defines a bounded linear functional $f_y$ where $f_y(x)=B(x, y) \forall x \in E$. ...
4
votes
1answer
202 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 ...
6
votes
1answer
361 views

Matrices with entries in $C^*$-algebra

Let $\mathcal{A}$ be a $C^*$-algebra. Consider vector space of matrices of size $n\times n$ whose entries in $\mathcal{A}$. Denote this vector space $M_{n,n}(\mathcal{A})$. We can define involution on ...
5
votes
1answer
222 views

What is the relationship between spectral resolution and spectral measure?

In Kadison and Ringrose's book "FUNDAMENTALS OF THE THEORY OF OPERATOR ALGEBRAS", the author gives the following theorem. Theorem: If $A$ is a self-adjoint operator acting on a Hilbert space ...
5
votes
2answers
496 views

Regarding Ladder Operators and Quantum Harmonic Oscillators

When dealing with the Quantum Harmonic Oscillator Operator $H=-\frac{d^{2}}{dx^{2}}+x^{2}$, there is the approach of using the Ladder Operator: Suppose that are two operators $L^{+}$ and $L^{-}$ and ...
5
votes
1answer
460 views

Double dual of the space $C[0,1]$

The second dual or double dual of the space of all continuous functions on $[0,1]$, $C[0,1]$ is von Neumann algebra. Can anyone help me identifying this space?
3
votes
1answer
74 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
171 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
158 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
0answers
170 views

C* algebra of bounded Borel functions

Let $T\in B(H)$ is normal, and $B(\sigma(T))$ denote the $C^*$ algebra of all bounded Borel functions on $\sigma(T)$. Then is it true that $B(\sigma(T))$ is a closed $C^*$ algebra under the sup. norm ...
2
votes
1answer
58 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 ...
0
votes
1answer
33 views

continuous functional calculus for nonunital $c^*$-algebras

In lecture we had the continuous functional calculus for unital $c^*$-algebras: Let $A$ be an unital $c^*$-algebra, $a\in A$ normal and let $$alg(a,a^*)=\overline{ \{ ...
7
votes
2answers
237 views

There are 3 points in the spectrum of some self-adjoint element of a non-unital C*-algebra.

Let $A$ be a non-unital C*-algebra. I would like to know a simple way to show that $A$ contains a self-adjoint element whose spectrum has at least $3$ elements. Note that the spectrum of an ...
6
votes
0answers
151 views

How to prove this element is strictly positive? [duplicate]

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 ...
5
votes
2answers
188 views

Spectral measures

Let $E:\Sigma\to\mathcal{L}(\mathcal{H})$ be a spectral measure on the Borel $\sigma$-algebra $\Sigma$ of $\mathbb{C}$. Assume also that $E$ is compactly supported in the sense that ...
4
votes
0answers
45 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 ...
3
votes
1answer
39 views

Projective (or inverse) limit of C*-algebras

(I think that the term "inverse limit" is used when the index set is directed) To begin with, I'd like to know if projective limits of C*-algebras (in the category of C*-algebras) always exist, and ...
3
votes
1answer
33 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
1answer
90 views

The strong operator limit of a sequence of unitary operators

If $\mathcal H$ is a Hilbert space and $U_n \in B(\mathcal H)$ is a strong-operator convergent sequence of unitary operators, say $U_n\rightarrow U$, is it true that $U$ is unitary? More explicitly, ...
3
votes
1answer
156 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
128 views

Complemented ideals in von Neumann algebras

Let $I$ be an ultraweakly closed ideal in a von Neumann algebra $M$. For example, this can be the kernel of an ultraweakly continuous homomorphism. Is it true that there is another ideal $J\subset M$ ...
3
votes
1answer
117 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
189 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 ...
2
votes
0answers
30 views

Primitive ideal space of C*(Z2*Z2)

Find the primitive ideal space, the center, a continuous field of $C^*(Z_2*Z_2)$. Here, $C^*(Z_2*Z_2)$ is the full group $C^*$-algebra. I know the definitions of all of them, but I'm having hard ...
2
votes
1answer
88 views

How do we show that prime C* algebras have trivial center

A prime C* algebra is a C* algebra with the property that the product of any two of its non zero ideals is non zero. The claim is that it has trivial center, i.e., the only central elements are ...
2
votes
1answer
117 views

Quotients of the maximal tensor product

Let $A$ and $B$ be C*-algebras and let $\gamma$ be any C*-norm on the algebraic tensor product $A\odot B$. Why is $A\otimes_\gamma B$ a quotient of $A\otimes_{{\rm max}}B$, where $\otimes_{{\rm max}}$ ...
2
votes
1answer
116 views

Decomposition of representations

Let $A$ be a (possibly nonunital) Banach *-algebra, and $H$ be a Hilbert space. If $\pi: A \to B(H)$ is a *-homomorphism, i.e. a representation, then why must $\pi$ be equivalent to a direct sum of ...
2
votes
1answer
361 views

Ultraweak topology

In Stratila and Zsido, as well as some other sources, the ultraweak topology on $B(H)$ is taken to be the smallest topology for which every element in the closure of the span in $B(H)$ of the elements ...