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
0answers
111 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
139 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
157 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
69 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
289 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
500 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
3answers
63 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
210 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 ...
2
votes
3answers
255 views

universal C* algebras

Is there a standard reference which has a discussion on universal $C^*$-algebras ? (definition, properties, examples, etc) Searching on the internet has led me to tidbits of information but I would ...
2
votes
2answers
181 views

Why Strongly Continuous Representations?

When working with not-necessarily-finite-dimensional representations, the topology on $GL(V)$ makes a difference. My experience has been that usually people require that the representation $\pi ...
2
votes
2answers
77 views

Positive elements of a $C^*$-algbera form a poset

My knowledge of $C^*$-algebras is very little. We call an element positive if $a=b^*b$ for some $b$ and make a relation on all positive elements by saying $$ b \geqslant a \iff b-a \text{ is ...
2
votes
1answer
67 views

An exercise (about positive elements) in C*-algebra

Let $A$ be a C*-algebra, $a\in A$ be a positive element and $b\in A$ be an arbitary element in $A$. Can we verify that $$b^{*}ab\leq \|b\|^{2}a~~?$$
2
votes
2answers
48 views

A definition of discrete group

Definition: A discrete group $\Gamma$ is called residually finite if there exist subgroups $\Gamma\supset\Gamma_{1}\supset\Gamma_{2}\supset...$ such that each $\Gamma_{i}$ is a finite-index, normal ...
2
votes
2answers
176 views

Problem with spectral theorem and spectral measure.

There is a passage in a book that is not very clear to me: A is a C*Algebra and $a$ is selfadjoint. Then "Indeed identifying A with an algebra of operators on a Hilbert space $\mathcal{H}$, by the ...
2
votes
1answer
52 views

A question about compact Hausdorff space

Let $X$ be a compact Hausdorff space and $C(X)$ be the set of continuous functions on $X$. And $F$ is a closed subspace of $X$. If the $f\in C(X)$ such that $f|_{F}=0$ is only zero function( i.e. ...
2
votes
1answer
34 views

Normal states are dense in $B(H)$

Can someone explain/sketch the proof of the fact stated in the title : The set of normal states (in some $B(H)$) is weakly dense in $B(H)$ ? Or, if possible, some reference. Thank you very much.
2
votes
1answer
99 views

Irreducible representations and commutative C*Algebras.

If $A$ is a commutative C*-Algebra then also its representation $\pi(A)$ is commutative, and it's an operator C*-algebra. A representation is said to be irreducible if $\pi(A)$ does not commute with ...
2
votes
1answer
23 views

Commutative subspace lattice

I have seen an article in which there is an algebra which was named CSL-algebra (Commutative Subspace Lattice). This algebra is about projection on Banach algebra? I couldn't find any good source to ...
2
votes
1answer
114 views

When an invertible element in a $C^{*}$-algebra is unitary

I am trying to show that if $a$ is an invertible element of a unital $C^{*}$-algebra, and $||a||=||a^{-1}||=1$, then $a$ is unitary. I can do this if I think of $a$ as a Hilbert space operator using ...
2
votes
1answer
64 views

A question about quotient space of $R(T^{n})$

I am reading a paper about spectral theory. The author says it is easy to see the following proposition: For $T\in L(X)$, if dim$(R(T^{d})/R(T^{d+1}))<\infty$, then $R(T^{d})$ is closed if and ...
2
votes
1answer
65 views

Subalgebras of certain C*-algebras

Let $A$ be a C*-subalgebra of $C(X, M_{n}(\mathbb{C}))$ where $X$ is a compact Hausdorff space, does it follow that $A$ is isomorphic to $C(Y, M_{m}(\mathbb{C}))$ for some $Y\subseteqq X$ and ...
2
votes
2answers
225 views

Unitary operator in von Neumann algebra

Let $R\subseteq B(H)$ be a von Neumann algebra, and $U\in R$ be unitary. Prove that there is a self adjoint operator $A\in R$ such that $||A||\leq \pi$, and $U=\exp(iA)$ . Any idea how to start! Thank ...
2
votes
1answer
36 views

A representation of a $ C^{*} $-algebra.

I have a quick question about the representation theory of $ C^{*} $-algebras. A representation of a $ C^{*} $-algebra $ A $ is a $ * $-homomorphism $ \pi: A \to B(\mathcal{H}) $, where $ \mathcal{H} ...
2
votes
1answer
39 views

Norms on unitization of nonunital Banach algebra

Let $A$ be a nonunital Banach algebra and denote by $A^+$ the unitization of $A$. One commonly used Banach algebra norm on $A^+$ is given by $||(a,\lambda)||=||a||+|\lambda|$ (where $a\in ...
2
votes
1answer
61 views

Connections of Finite groups and quantum groups

I'm a master's student waiting to start my phd in quantum groups and their represenation theory in march 2015. I love representation theory $\textit{per se}$, and looking for references on this work I ...
2
votes
2answers
55 views

Why is the Gelfand transform injective?

There is a theorem that proves that if $A$ is a commutative C*-Algebra, the Gelfand map is an isometric *-isomorphism of $A$ onto $\hat{A}$ i.e. the spectrum of $A$. (Theorem 1.1 in Averson's "An ...
2
votes
1answer
36 views

If $A$ is a primitive / irreducible C*-algebra, then $M(A)$ has trivial center.

Recall some definitions: a sub-C*-algebra $A$ of $B(H)$, the algebra of bounded operators on a Hilbert space $H$, is called irreducible if the only closed $A$-invariant subspaces of $H$ are $0$ and ...
2
votes
1answer
31 views

A question on nuclearity

Definition 2.1.1. If $A$, $B$ are C*-algebra, a map $\theta: A\rightarrow B$ is called nuclear if there exist contractive completely positive maps $\phi_{n}: A\rightarrow M_{k(n)}(\mathbb{C})$ and ...
2
votes
1answer
77 views

Minimal and maximal unitization of $C^{*}$ algebras

Is there a non unital $C^{*}$ algebra $A$ for which the multiplier algebra $M(A)$ is isomorphic to the minimal unitization $\tilde{A}$?
2
votes
1answer
51 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 ...
2
votes
1answer
73 views

Existence of invariant states in a $C^*$-algebra

Let $\mathcal{A}$ be a C*-algebra and $\{\tau_t\}_{t\in\mathbb R}$ a weakly-continuous group of *-automorphisms. I've read the claim (without proof) that for any state $\eta$ (that is $\eta$ is a ...
2
votes
2answers
169 views

Why does exponentiating the derivative yield the shift operator?

If we formally exponentiate the derivative operator $\frac{d}{dx}$ on $\mathbb{R}$, we get $$e^\frac{d}{dx} = I+\frac{d}{dx}+\frac{1}{2!}\frac{d^2}{dx^2}+\frac{1}{3!}\frac{d^3}{dx^3}+ \cdots$$ ...
2
votes
1answer
100 views

A question on simple and unital $C^\star$-algebra

There is a quotation of a book "$C^\star$-algebras Finite-Dimensional Approximations" Definition 1.7.4. A representation $\pi: A \rightarrow B(H)$ is called essential if $\pi(A)$ contains no nonzero ...
2
votes
1answer
180 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 ...
2
votes
1answer
63 views

How to explain a theorem in C*-algebra

I am reading a book "C*-algebra and finite-Dimensional Approximations". In the fundamental facts, it introduce the Noncommunicative Lusin's theorem: Let $A\in B(H)$ be a nondegenerate C*-algebra ...
2
votes
1answer
44 views

Exponential map in $C^{*}$-algebra and unitary invariance

Let $A$ be a unital $C^{*}$-algebra. Let $X$ be a closed vector subspace of $A$ which is unitarily invariant in the sense that $uXu^{*}\subseteq X$ for all unitaries $u$ of $A$. I want to show that ...
2
votes
1answer
102 views

An exercise on C*-algebra

A representation $\pi$: $A\rightarrow B(H)$ is said to be irreducible if $\pi(A)$ has no non-trivial invariant subspace. A C*-algebra $A$ is said to be liminal if $\pi(A)=K(H_{\pi})$ for every ...
2
votes
1answer
215 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 ...
2
votes
1answer
126 views

K-theory, $K_{0}$ of algebra of compact operators

I don't understand how to define the trace of a matrix with values in operators. This occurred in the following situation: Suppose that $H$ is an Hilbert space and $K$ is the algebra of compact ...
2
votes
2answers
109 views

Multiplicative linear functional on algebra of limit of polynomials

Let $A$ be the space of all functions which are limit of polynomials over the unit ball $D$. Then $A$ is a commutative Banach algebra. Then how do I show that $A$ has no non zero multiplicative linear ...
2
votes
2answers
114 views

Polar decompostion for the operator algebras

I find that most of books discussing the polar decompostion at the W*-algebras, but not C*-algebras. I guess the rough reason is that the element of W*algebras has the well supported set, but I want ...
2
votes
1answer
96 views

Dense subalgebras of von Neumann algebras and increasing nets

Let $N$ be a von Neumann algebra, and $A$ be a dense $*$-subalgebra of $N$ (in the ultraweak topology) with $A''=N$. Is it true that: For any $x\in N^+$, there exists a increasing net $(x_j)$ in ...
2
votes
1answer
1k 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$ ...
2
votes
1answer
79 views

Conjugates in integrals

Is it always true that $\int f(x)^*M^\dagger Mf(x) dx=\int (Mf(x))^*(Mf(x)) dx$? where $M$ is an operator. If so, is there a simple proof that this is so? THanks.
2
votes
1answer
31 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 ...
2
votes
1answer
54 views

An elementary perturbation result in C*-algebra

The following question was raised when I read a papaer "MF actions and K-theoretic dynamics". In one of the proofs in that paper, the author utilized a so called "elementary perturbation result in ...
2
votes
1answer
23 views

QD C*-algebra's representation theorem

Here is a question from the proof of the "QD C*-algebra's representation theorem" in P245 of book "C*-algebras and Finite-Dimensional Approximations" by Nate and Taka. For a separable unital ...
2
votes
1answer
41 views

Infinite projections in the Cuntz algebra

I am studying the Cuntz algebra $\mathcal{O}_n$, $(n \ge 2)$ with generators $S_1, S_2, \ldots, S_n$ and in my class notes there is a statement about the projections $S_1S_1^*, S_2S_2^*, \ldots, ...
2
votes
1answer
125 views

Finding the norm of this upper triangular matrix

I have a matrix $A=\begin{pmatrix} a & b\\ 0 & a\end{pmatrix}\in M_2(\mathbb{C})$. Given that $|a|<1$ and $|b|\leq 1-|a|^2$, I am supposed to show that $\|A\|\leq 1$ (operator norm). I ...
2
votes
1answer
38 views

How to prove the following map is a c.c.p map

Here is a quotation in a book "C*-algebrass and Finite-Dimensional Approximations" by Nate and Taka (P122). Let $A$ be a C*-algebra, $\Gamma$ be a discrete group and the $\alpha$ is an action of ...