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
2answers
77 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 ...
2
votes
2answers
85 views

Unitarily equivalent $C^*$-algebra representations

the situation i want to talk about is the following: $(H_1,\varphi_1),(H_2,\varphi_2)$ irreducible representation of a $C^*$-algebra $A$. A bounded operator $T:H_1\rightarrow H_2$ such that ...
1
vote
2answers
25 views

What are non-tagential limits?

I'm reading this article where they use a set of functions, $H^{\infty}$, defined like this "Let $H^{\infty }$ be the closed subalgebra of $L^{\infty }({\mathbb R})$ that consists of all functions ...
5
votes
1answer
178 views

application of c*algebras to PDEs

I am preparing an introductory talk about c* algebras and I'd like to motivate C*algebras or show an application of them and I'd prefer an application in the field of partial differential equations. ...
3
votes
1answer
32 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 ...
2
votes
1answer
30 views

The spectrum of $L:=-\Delta+V(x)$ on complex $L^2(\mathbb{R}^N)$ and real $L^2(\mathbb{R}^N)$

In general, when one talks about the spectrum of an self-adjoint operator, it is naturally considered in a complex Hilbert space (say $L^2(\mathbb{R}^N,\mathbb{C})$). Moreover, the spectral ...
2
votes
1answer
68 views

Connection in the KK-Theory

I have some questions about the connection in the KK-Theory. 1)The definition is complicated, why? What is the motivation? 2)Does any relation bewteen the connection at here with the differential ...
1
vote
1answer
39 views

Isomorphy of $C_0(U)$ and an ideal

Let $X$ be a topological space, $Y\subseteq X$ closed and $U:=X\backslash Y$. Then $I_Y:=\{f \in C_o(X)\mid f_{| Y}=0\} \subseteq C_0(X)$ is a closed Ideal. I want to show that $I_Y \cong C_0(U)$. I'm ...
1
vote
1answer
63 views

Example of a wot convergent net but not $\sigma -$ weak convergent

Let $B(H)$ be the space of bounded linear operators. Define the $\sigma-$ weak topology on it by seminorms $p_{h,k} (x)=|\sum_{n\geq 1}(xh_n,k_n)$ where $h=\{h_n\}\subset H ,~~ k=\{k_n\}\subset H $ ...
1
vote
1answer
25 views

(nx(gradxn))^2 operator question?

by $A\times B \times C = (A \cdot C)B-(A \cdot B)C$, i need to expand $n \times \bigtriangledown \times n$, where all of these are vectors. Here is what i have right now $n \times \bigtriangledown ...
1
vote
1answer
68 views

Question about the essential spectrum of a negative difinite operator

please on an infinite dimensional Hilbert space how to difine the essential spectrum of an operator which is negative definite ??? Please help me Thank you.
1
vote
1answer
23 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 ...
1
vote
1answer
44 views

A criterion for vector states to be in the same irreducible representation

a little wish...: is there a theorem that corresponds or implies the following Let A be a C* algebra with the data of a representation in B(H). Let x,y be two vectors and call S(x,y) the set of ...
1
vote
1answer
49 views

Kernel inclusion implies factorization

I have a question whether a certain fact is true for arbitrary operators on a Hilbert space. Namely, consider Hilbert spaces $H,K$, an operator $A\in B(H)$ and another $B\in B(H,K)$. Moreover, assume ...
0
votes
1answer
52 views

Soft questions: $C^\ast$-dynamical systems

I have read some papers about $C^\ast$-dynamical systems. But there are still some questions in my mind which I can not answer. When is the $C^\ast$-dynamical system introduced? Why is the ...
0
votes
1answer
36 views

positive elements in c*algebras and states

I have problems to prove that an element $a $ is a $C^*$-algebra is positive if and only if $f(a) \geq 0$ for all states $f$. The definitions I use: -$f:A\to\mathbb{C}$ linear functional on a ...
0
votes
1answer
24 views

limit of state is zero

Let A be a C$^*$-algebra, $a\in A$ strictly positive (this means: for every state $\varphi$ of A is $\varphi(a)>0$). Let $u_n=(\frac{1}{n}+a)^{-1}$. Then for all $b\in A$ and all states $\varphi$ ...
0
votes
1answer
25 views

strictly positive element iff A contains a countable approximative unit

I search a proof of: Let A be a c$^*$-algebra and let $(u_n)_{n\in\mathbb{N}}$ an approximative unit in A. Then $a=\sum\limits_{n=1}^{\infty}\frac{u_n}{2^n}$ is strictly positive. Could anybody tell ...
0
votes
1answer
54 views

Positive Elements in a C*algebra

Let A be a C$^*$-Algebra, $a\in A$. Why is $a\ge 0$ (a is called "positive") iff $\forall \varphi\in S(A): \varphi\ge0$? S(A) is the set of linear positive functional $\eta:A\to\mathbb{C}$ with ...
0
votes
1answer
20 views

A question about Invariant subspaces of an algebra.

I feel that this is a very simple problem, but somehow I don't see the solution. I want to show that if $A$ is a subalgebra of $B(H)$ containing $1$ then if $B\in SOTcl(A)$, for every n, ...
0
votes
1answer
54 views

How do you prove $L^{\infty}$ is a C*-algebra?

If we define on $L^{\infty}$ the essential supremum norm ($\| \|_{\infty}$), then how can I prove this norm is submultiplicative ($\| T_1T_2\|_{\infty}\leq \| T_1\|_{\infty}\|T_2 \|_{\infty}\, \forall ...
0
votes
1answer
31 views

How do I compute the specific map between two isomorphic finite C* algebras?

Starting with a finite C* algebra $\mathcal{A} \subset M_{n}\left({\mathbb C}\right)$ (complex $n\times n$ matrices), $\mathcal{A}$ is known to be isomorphic to a canonical algebra of the form ...
0
votes
1answer
26 views

Interchange exponential of operators in quantum mechanics

What is the formula for interchanging products of exponential operators in quantum mechanics., i.e. I want to write $e^Ae^B = e^{B+...}e^A$
0
votes
1answer
50 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 ...
0
votes
1answer
83 views

Is the cone of squares in a Jordan algebra a cone?

Let $A$ be a finite-dimensional Jordan algebra over $\mathbb{R}$, i.e. a finite-dimensional real vector space with a commutative bilinear product $\circ: A \times A \rightarrow A$ satisfying $(a^2 ...
1
vote
0answers
43 views

Does the locality or non-locality of operators imply matrix structure?

I understand that an operator, $\hat{O}$, is said to be non-local if $$b(x)=\hat{O}a(x)=\int dx'O(x,x')a(x')$$ that is, to find $b(x)$ at aparticular value of $x$, we need to know ...
1
vote
0answers
34 views

Find the probability that a measurement results in a certain interval

I was given this problem: Let the state $f(x)=e^{-|x|}$ and an operator $P=-i\frac{d}{dx}$. (a) What is the probability that a measure of P results in the interval $[0,1]$ (b) What is the Fourier ...
1
vote
0answers
152 views

A form of the Baker-Hausdorff equation

I wonder how many different ways are there of writing the Baker-Hausdorff equation! This is a form which I recently encountered and haven't been able to figure out how it comes, $e^ae^Xe^b = ...
0
votes
0answers
46 views

A isomorphism between full group C*-algebras of free group

Fix $n\in \mathbb{N}$ and let $\mathbb{F}_{n}$ be the rank-$n$ free group, can we use the universal property to illustrate the following isomorphism: $$C^{*}(\mathbb{F}_{n}\times \mathbb{F}_{n})\cong ...
0
votes
0answers
23 views

Homeomorphism from $X$ onto $\hat{\mathcal{A}}$.

STATEMENT: For each $f ∈ A$ let $f$ be the function from $\hat{\mathcal{A}}$ to $\mathbb{R}$ defined by $f(\phi) = \phi(f)$. Put on $A$ the initial topology from the collection of all the functions ...
0
votes
0answers
29 views

Prove that there is no invertible function in the kernel of a linear functional.

STATEMENT: Use the compactness of $X$ to show that if there is no point $x_0$ such that $g(x_0) = 0$ for all $g ∈ \mathcal{N}$ , then $\mathcal{N}$ contains an invertible function. Some ...
0
votes
0answers
38 views

Why does infinite tensor product associated with some vectors in the operator algebras?

I notice that in the definition of infinite tensor product in the operator algebras, such as C*-algebras and W*-algebras, every component in the product is associated with a vector(or s state) and ...
0
votes
0answers
31 views

Question about the Averson's proof of the bicommutant theorem.

In the Averson's proof of the bicommutant theorem is proved that, if $A$ is a self-adjoint algebra of operators with trivial null space and $T \in A''$, for every $\epsilon>0$, $n=1,2..$ and every ...
0
votes
0answers
80 views

Compact operators on $L^2(G)$ as a reduced cross product of $C_0(G)$ and $G$.

If any of the terminology is unclear then please don't hesitate to point it out. My question is: is it true that when $G$ is a locally compact second countable group then: \begin{equation*} C_0(G) ...
0
votes
0answers
33 views

Matix column-wise multiplication operator

I'm trying to find the proper operator for a column wise multiplication. Consider $v=[v_1, v_2, ..., v_n]^T$ and $A=\begin{bmatrix} a_{1,1} & a_{1,2} & a_{1,3} \\a_{2,1} & a_{2,2} & ...
0
votes
0answers
28 views

Scalar Products on the Rational Function Field

Let $\mathbb{R}(t)$ be the rational function fields over $\mathbb{R}$. Are there scalar products $\langle -,- \rangle$ on $\mathbb{R}(t)$ such that multiplication with $t$ is selfadjoint, i.e. ...
0
votes
0answers
18 views

About Antilinear (possibly Unbounded) Operators

Let $T$ be an unbounded anti-linear operator on a Hilbert Space. I would like to know if there is a natural or easy way to see existence of adjoint of $T$, closability of $T$(such as when $T^*$ is ...
0
votes
0answers
53 views

Symbol of self-adjoint pseudodifferential operator

It seems that the following result should hold, but I can't find it explicitly anywhere. If $A=A^*$ is a properly supported pseudodifferential operator, does this imply that ...
0
votes
0answers
25 views

Saturated Monotone and Increasing Mappings

Let $A : \mathbb{R}^n \rightarrow \mathbb{R}^n$ be a monotone mapping, i.e., $$ \left( A(x) - A(y) \right)^\top \left( x-y\right) \geq 0 $$ for all $x,y \in \mathbb{R}^n$. Let $B : \mathbb{R}^n ...
0
votes
0answers
24 views

Tensor product decomposition for algebras with non trivial center

I have a question regarding operator algebras with non-trivial center. This is with regard to defining entanglement entropy in gauge theories. Suppose there exists an algebra of operators associated ...
0
votes
0answers
51 views

Hermitian linear functional on a C* algebra is bounded

Show that every Hermitian linear functional $\phi$ on a C* algebra $A$ is bounded. A linear functional $\phi$ is said to be Hermitian if it satisfies: $\phi(x^{*})=\overline{\phi(x)}$. This is an ...
0
votes
0answers
23 views

Question about operator algebra

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)=$$ ...
0
votes
0answers
39 views

A conjugation of an operator, which commutes with all permutations, still commutes with all permutations

Assume $v:H^{\otimes m}\to H^{\otimes m}$ is a linear operator on the $n^{\text{th}}$ tensor power of a vector space $H$. For each permutation $p$ on the $m$-element set define the linear operator ...
0
votes
0answers
50 views

self-adjoint subalgebras of matrix algebra

Is there any classification theorem for the self-adjoint matrix subalgebras of $M_n(\mathbb{C})$ the algebra of $n \times n$ matrices over $\mathbb{C}$ ?
0
votes
0answers
37 views

Intuition behind a braid operator which is also a solution for Yang-Baxter equation

I am going through this paper, 'Quantum entanglement and topological entanglement' by Louis H Kauffman and Samuel J Lomonaco Jr published in New Journal of Physics 4 (2002). It started with ...
0
votes
0answers
100 views

Bounded Operator with Closed Range

I've read Martin Argerami's answer to this question. On the first line he claims that the range of $T$ is closed. Can somebody explain me why that's the case? For me it is not necessarily closed.
0
votes
0answers
106 views

Operator monotone functions

By definition, I know that a function $f$ is operator monotone if $A - B \geq 0 \Rightarrow f(A) - f(B) \geq 0$. For instance, we have $A^2 \leq B^2 \Rightarrow A \leq B$ because the root function is ...