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
71 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
40 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
111 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
119 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
55 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
210 views

Relation between noncommutative geometry and functional analysis

Recently I came across the subject of noncommutative geometry via my interest in functional analysis. My very little exposure to this subject gives me a sense that part of it is built on the theory of ...
3
votes
1answer
119 views

Necessary and sufficient conditions for $G$ to have $A(G)$ isomorphic to an operator algebra?

Let $G$ be a locally compact group. We denote by $A(G)$ the Fourier algebra of $G$. An operator algebra is a closed subalgebra of $B(H)$ where $H$ is a Hilbert space. What are the necessary and ...
3
votes
1answer
217 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
223 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
122 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
28 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$ ...
3
votes
1answer
40 views

A detail in Rădulescu's Theorem proof

I've been following one Rădulescu's Theorem proof ($G$ is hyperlinear if and only if $\mathcal{L}_{G}$ can be embedded in a ultrapower of the hyperfinite type-$II_{1}$ factor $\mathcal{R}$, where ...
3
votes
1answer
153 views

Why study Bergman Spaces?

I'm interested in Operator Algebras and mathematical physics; recently, a friend showed me Duren and Schuster's "Bergman Spaces". I've read about two chapters now and I see there is a nice play ...
3
votes
2answers
55 views

Why $ \|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ in the definition of $C^*$ algebra?

I read the definition of $C^*$ algebra in Wikipedia where it says $\|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ but I do not know why. Can you show me how to derive $\|xx^*\| = ...
3
votes
1answer
69 views

A easy question on projection operator

Let $H$ be a Hilbert space and $B(H)$ be all the bounded linear operators on $H$, for arbitrary $T\in B(H)$, if $\{P_{i}\}$ is an increasing net of finite-rank projection, can we conclude $P_{i}TP_{i} ...
3
votes
1answer
95 views

Projection operator in Hilbert space

Let $H$ be a Hilbert space, can we find an increasing net of finite rank projections which converge to the identity in the strong operator topology? And I think if $H$ is separable, we can find an ...
3
votes
1answer
68 views

Stone's theorem for 1-parameter groups of unitary multipliers?

Let $A$ be a nonunital C*-algebra and let $M(A)$ denote its multiplier algebra. Let $(u_t)_{t \in \mathbb{R}}$ be a strictly continuous 1-parameter group of unitary multipliers. That is, $u_t x \to x$ ...
3
votes
1answer
168 views

GNS-triplets for states on the matrix space: generalization to the infinite-dimensional setting

In a previous exercise, I have proven that states $\omega$ on the $C^*$-algebra $M_n(\mathbb C)$ correspond to a unique density matrix $\rho$ by the relation $\omega(A) = \mathrm{Tr}(\rho A)$. I was ...
3
votes
1answer
105 views

Cap product between K-Theory and K-Homology

In Exercise 9.8.9 of the book "Analytic K-Homology" by Higson and Roe one has to construct a cap product $K_p(A) \otimes K^q(A) \to K^{q-p}(A)$, if A is commutative. Is the commutativity ...
3
votes
1answer
63 views

Block Matrices of Operators

I'm trying to prove the following: Consider the vector space of matrices of size $n\times n$ whose entries in $\mathcal B(H)$. Denote this vector space by $M_{n,n}(\mathcal{B(H)})$. We can define ...
3
votes
1answer
67 views

What is $\sigma_{\mathfrak{M}_{p}}(p\cdot a\cdot p)$ when $p=\chi_{S}(a)$ for closed $S\subseteq \sigma(a)$?

Let $\mathfrak{M}$ be a von-Neumann algebra and $a\in\mathfrak{M}$ a self-adjoint element. Let $S\subseteq\sigma(a)$ be a non-empty, closed subset. Let $p=\chi_{S}(a)$, which is a non-zero, ...
3
votes
1answer
59 views

Why should we use inverse homemorphism here?

I am a brand-new comer in dynamical system. I find it interesting that when defining ergodicity of classical dynamical system $(X,\sigma)$, they use $\mu(\sigma^{-1}(E))$ there. Since $\sigma$ is a ...
3
votes
1answer
194 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
138 views

Entirely “Bare-hands” proof that completely additive states are ultraweakly continuous

Originally I had asked this question: Positive Linear Functionals on Von Neumann Algebras I got some responses that directed me to a variety of resources, some of which I could not understand because ...
3
votes
1answer
194 views

reduced crossed products

Given a discrete group $G$ and a $G$-$C^*$-algebra $A$ we can form the reduced crossed product $A\rtimes_r G$. I want to define it by the closure of $C_c(G,A)$ in $\mathcal{B}(\ell^2(G,A)$ where this ...
3
votes
1answer
372 views

Spatial tensor product of algebras and normed spaces

Let $A_1$ and $A_2$ be two $C^*$-algebras considered as closed $*$-subspaces of some $\mathcal{B}(H_1)$ and $\mathcal{B}(H_2)$. More preciesly there exist faithfull $*$-representations ...
3
votes
0answers
45 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
62 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 ...
3
votes
0answers
55 views

Commuting nets for commuting projections

Let $A$ be a $C$*-algebra and $p,q\in A^{**}$ be commuting projections. Then there exist self-adjoint nets $(x_i)_i$ and $(y_j)_j$ in $A$ with $x_i\to p$ and $y_j\to q$ in the weak *-topology. Can ...
3
votes
0answers
42 views

Topologizing $\mathcal{L}(\mathcal{H}) / \mathcal{S}^p(\mathcal{H})$

Given a separable Hilbert space $\mathcal{H}$ I would like to know how one could topologize the quotient algebra $\mathcal{L}(\mathcal{H}) / \mathcal{S}^p(\mathcal{H})$? Here ...
3
votes
0answers
38 views

Understanding minimal projections

This might be very easy but it is not quite clear for me. Detailed explanation appreciated! I went through the commutative case but beyond that I lack intuition. Let $A$ be a C*-algebra and let ...
3
votes
1answer
38 views

Lifting a unitary to a partial isometry

What is an example of a unital $C^*$-algebra $A$ and an ideal $I$ such that some unitary element in $A/I$ cannot be lifted to a partial isometry in $A$? Or can it be shown using general properties of ...
3
votes
0answers
75 views

Short exact sequence involving mapping cone, cone, suspension of $C^*$-algebras

This is part of exercise 6.N in Wegge-Olsen's book '$K$-theory and $C^*$-algebras'. In the following, $A$ and $B$ are $C^*$-algebras, $\alpha:A\rightarrow B$ is a surjective $C^*$ morphism with kernel ...
3
votes
0answers
38 views

If there is already enough room to add all projections, does passing to matrices change anything?

Throughout, $A$ denotes a $*$-algebra. We always assume $A$ is representable in the sense that $A$ can be embedded into $B(H)$ for some Hilbert space $H$. The particular embedding is not important, ...
3
votes
0answers
57 views

Motivations for and connections between the topologies of Vietoris, Fell and Chabauty

My main interest is in the Chabauty topology on the space of closed subgroups of a locally compact topological group, merely out of curiosity. Wikipedia states "it is an adaptation of the Fell ...
3
votes
0answers
120 views

Projections in group $C^*$-algebras

Let $G$ be an amenable, discrete and infinite group. Cosinder its group C*-algebra $C^*(G)$ canonically represented on $B(\ell_2(G))$ by the left-regular representation $x\mapsto \delta_x$. Take the ...
3
votes
0answers
153 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 ...
3
votes
2answers
82 views

ideals in $C^*$ algebra

Let $A$ be a $C^*$ algebra and $I$ be a closed ideal in $A$. Prove that for all $a\in A$, $a\in I$ iff $a^*a\in I$. I want to prove that if $a^*a\in I$, then $a\in I$, and I know the following fact ...
3
votes
0answers
139 views

Unitary operators - convergence problem

Let $\mathcal{U}:=\left\{ U(t) \colon t \geq 0\right\}$ be a family of unitary operators on a Hilbert space $\mathcal{H}$ where $U(0)=I$. Assume that $\left| \left<\left( \frac{U(t)-I}{t} - A ...
3
votes
0answers
75 views

maps from a convex set to itself

Suppose $S\subset \mathbb{R}^n$ be a closed convex set under Euclidean topology (but not necessarily bounded, example a closed cone). Let $\mathcal{E}(S)=\{L:\mathbb{R}^n\rightarrow \mathbb{R}^n\text{ ...
3
votes
0answers
60 views

Given $\theta(p)\neq p$ does there exist $q\leq p$, so that $\theta(q)q=0$?

Let $\mathfrak{M}$ be a vN-Alg. Let $\theta\in \text{Aut}(\mathfrak{M})$. Let $p\in\mathfrak{M}$ be a projection, so that $\theta(p)\neq p$. Is there a projection $q\in\mathfrak{M}$ with $0\neq q\leq ...
3
votes
0answers
105 views

Defining entanglement in subspaces of tensor product

Let $\mathcal{H}=\mathbb{C}^n$ be a Hilbert space. A state $\rho\in\mathcal{B(H)}$ is a positive semi-definite operator with unit trace. $\rho\in \mathcal{B(H)}$, where ...
3
votes
0answers
135 views

Two questions about ultraweak and ultrastrong topology from Dixmier

You could reference Dixmier's book on Von Neumann Algebras p.42 Theorem 1 and its proof to know the entirety of the context. Otherwise, the most relevant things are below: Let $M$ be an ultraweakly ...
3
votes
0answers
149 views

Basis for completely bounded maps.

The set of completely bounded (CB) maps forms can be considered as a complex span of the set of completely positive (CP) maps. Can we find a basis for this complex linear space of CB maps such that ...
3
votes
0answers
68 views

Dropping homomorphisms to quotients of C$^*$-algebras

Let $A$ be a C$^*$-algebra, let $\Delta:A\rightarrow A \otimes_{\min} A$ be a $*$-homomorphism, and let $\phi$ be a state on $A$. Let $(H,\pi,\xi_0)$ be the GNS construction for $\phi$; let $B=\pi(A) ...
3
votes
0answers
269 views

When does Stinespring dilation yield a faithful representation?

Let $A$ be a $C^*$-algebra, $H$ a Hilbert space, $\phi: A \to B(H)$ a completely positive map. The Stinespring construction yields a triple $(K, V, \pi)$ where $K$ is a Hilbert space, $V: H \to K$ a ...
2
votes
3answers
449 views

Eigenvalues of operators

I have a linear operator $T$ which acts on the vector space of square $N\times N$ matrices in this way: $T(A)=0.5(A-A^\mathrm{t})$ ($A^\mathrm{t}$: the transpose of a matrix $A$). I need to prove ...
2
votes
2answers
115 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 ...
2
votes
3answers
61 views

Gel'fand representation of a non-unital Banach space: what's wrong with this argument

My argument below is hacked together from pages 5-6 of Davidson's "$C^*$ algebras by example". Theorem: The multiplicative linear functionals on a unital abelian Banach algebra are continuous of ...
2
votes
2answers
108 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 ...