# Tagged Questions

17 views

### A theorem about a tracial state in von Neumann algebra

I am reading a book about C*-algebra. There is a quotation below. Let $M$ be a von Neumann algebra with a faithful normal tracial state $\tau$ and let $1_{M}\in N\subset M$ be von Neumann subalgebra. ...
13 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 ...
13 views

28 views

### A simple question about positive element in C*-algebra

I am reading a book about C*-algebra. There is a quotation below. An $operator~system$ $E$ is a closed self-adjoint subspace of a unital C*-algebra $A$ such that $1_{A}\in E$. The $n \times n$ ...
28 views

### An exercise in operator theory

Let $H$ be a Hilbert space and $P$ be a projection to a finite dimensional subspace $K$ of $H$, for a $T\in B(H)$, if $||PTP||=1$, then, for arbitrary $\epsilon>0$, there exists a vector $\alpha$ ...
32 views

### A proposition in C*-algebra

Problem: Let $A$ and $B$ be C*-algebra and $\varphi:A \rightarrow B$ be a contractive completely positive map. $A_{\varphi}=\{a\in A: \varphi(a^{\ast}a)=\varphi(a)^{\ast}\varphi(a)$ and ...
52 views

### The excision theorem in C*-algebra

I am reading a book "C*-algebra and finite-Dimensional Approximations". I can not understand the proof of the excision theorem in the fundamental facts of the book. Theorem 1.4.10(Excision) Let ...
48 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, ...
31 views

### A question about $C^\ast$-algebra

In Kadinson's book Fundamentals of The Theory of Operator Algebra, when the author proved the Theorem 7.2.1, he let $V$ be an extreme point of the unit ball of $C^\ast$-algebra $\cal{U}$, $h$ be a ...
29 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 ...
47 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 ...
39 views

### A theorem about approximate units in C*-algebra

I am reading a book about C*-algebra. I encounter a theorem without proof. Could someone help me to complete its proof or give me some hints. Theorem 2.1. Let $I$ be an ideal of C*-algebra $A$. Then ...
25 views

### The unitary implementation of $*$-isomorphism of $B(H)$

Is it possible to construct $*$-isomorphism of (factor von Neumann) algebra $B(H)$ which is not unitary implementable?
22 views

### Find an example of product of operators not Jointly Continuous in strong topology.

I'm trying to find an example of the fact that the product of operators is not jointly continuous in the strong topology. I know the example of the unilateral shift (that is on wikipedia), but I ...
32 views

### Automorphism of $W^*$ algebra

Let $\mathfrak{A}$ be von Neumann algebra. It is in particular $C^*$ algebra. Is it true that every $*$-isomorphism of $\mathfrak{A}$ is also $W^*-$isomorphism? (Note that every $*$-isomorphism of ...
18 views

### A separating set which is not cyclic

Let $H=L^2[0,1]$ , $T_g$ be the multiplication operator on $H$, i.e. $f\to fg$ . Let $A$ be the set of the $T_g$ as $g$ runs through the set of polynomials with complex coefficients. Let $h$ be te ...
33 views

### How to prove that $A B A^* \leq \|B\| A A^*$ for operators A,B?

Let $A$, $B$ bounded operators on a Hilbert space $H$. Further let $B$ be self-adjoint. Then we have that $A B A^* \leq \|B\| A A^*$. I wanted to ask how to prove this inequality or where I can find ...
32 views

### Closed graph theorem question?

Let $H$ be a Hilbert space. Let $A:\operatorname{dom}A\to H$ has a closed graph, where $\operatorname{dom}A$ is dense in $H$. Let $S\subseteq \operatorname{dom}A$ be dense. Is it true $A_{|S}$ has a ...
19 views

I'm not certain about the rules of operator algebra, and I am wondering if these statements are equivalent $$\left(z^2\frac{d}{dz}-2z\right)\cdot\left(z^2\frac{d}{dz}-2z\right)=$$ ...
46 views

### Positive elements of a $C^*$ (MURPHY, ex 2-2).

I'm studying "MURPHY, $C^*$-Algebras and Operator Theory" thoroughly and got stuck in the following exercise: Exercise 2, chapter 2. Let $A$ be a unital $C^*$-algebra. (a) If $a,b$ are positive ...
33 views

### Rotation semigroup and identity element.

Let $\Gamma =\{z\in\mathbb{C}:|z|=1\}$, and $X=C(\Gamma)$. The rotation semigroup $\{T(t)\}_{t\geq 0}$, is defined as $$T(t)f(z)=f(\mathrm{e}^{it}z),\quad f\in X.$$ $Z\in X$, s.t. for all ...
25 views

### Cross Product Algebras references

Can someone give some references to introductory books or online notes about group algebras and cross-product algebras ? I've already searched on Google (but only for some online notes). The purpose ...
74 views

### Ideals in $B(H)$ are self-adjoint

It is known that every (closed two-sided) ideal in a $C^{*}$-algebra is self-adjoint. The proofs that I've seen involve functional calculus and approximate units. I am wondering whether there is a ...
35 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 ...
70 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 ...
61 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 ...
65 views

42 views

### A question about tensor product

If $A$ is an algebra, $M_{n}(A)$ denotes the algebra of all $n\times n$ matrices with entries in $A$. The operations are defined just as for scalar matrices. If $A$ is a *-algebra, so is $M_{n}(A)$, ...
42 views

### A question about range projection in von Neumann algebra.

I am reading a book about C*-algebra. And I meet with a problem. Recall the range projection of an operator $a\in B(H)$ is the projection on the closure of $\{a(\eta):\eta\in H\}$(Here, $H$ is a ...
80 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 ...
29 views

### A simple question about the dimension of subspace.

I have a simple question: Let $A$, $B$ be closed subspaces of banach space $X$ and $B\subseteq A$, if $\dim A/B<\infty$ and $\dim B<\infty$, then $\dim A<\infty$? Why?
32 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 ...
72 views

### A simple question in functional analysis

A classical result, in functional analysis, says that if $T\in B(X)$, the function: $\lambda \rightarrow (\lambda I-T)^{-1}$ is analytic on $\rho(T)$(which is the resolvent set). If I fix an element ...
60 views

### A question about weighted forward unilateral shift operators

We define $$B(x_{1}, x_{2},...)=(0, \frac{x_{1}}{2}, \frac{x_{2}}{3},...,x_{n})\in l^{2}(N),$$ How could be shown that that $B$ is a quasinilpotent?
40 views

### A question about tensor product of algebras of compact operators. [duplicate]

Let $\cal{H}$ be a separable Hilbert space and $\cal{K(\cal{H})}$ the algebra of compact operators acting on $\cal{H}$. Then $$\cal{K(\cal{H})}\otimes\cal{K}(\cal{H})\cong\cal{K}(\cal{H}\otimes H).$$ ...