Tagged Questions

19 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$ ...
19 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$ ...
31 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 ...
50 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 ...
47 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, ...
30 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 ...
28 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 ...
38 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 ...
31 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)=$$ ...
42 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 ...
73 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

In the paper from the link http://arxiv.org/pdf/0906.0139.pdf the author uses a diagonal conditional expectation. We take a seperable Hilbert space $H$ and fix an orthonormal basis $(e_n)_{n \in ... 1answer 39 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$, ... 1answer 103 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 ... 1answer 74 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 ... 1answer 57 views Proving the inclusion map induces isomorphism on$K$-theory Let$M$be a$C^\ast$-algebra,$A, B$be closed, two-sided ideals of$M$such that$A+B=M$. Define$T=\{f\in C([0, 1], M):f(0) \in A, f(1) \in B\}$. Why is that the inclusion map of$C([0, 1], A\cap ...
42 views

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 ...
71 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).$$ ...
50 views

102 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 ...
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. ...