Skip to main content
added 32 characters in body
Source Link
C. Ding
  • 135
  • 9

I am confused with the underlined equation in the following picture. enter image description here I know that a *-isomorphism communicatescommutes with continuous functional calculus since every continuous functions on the compact subset of $\mathbb{R}$ can be approximated uniformly by polynomials.

To prove the underlined equation, we have to prove that $f\to \Phi(f(j_A(a)))$ is the Borel functional calculus on $\Phi(j_A(a))$. Given a net $(f_\lambda)$ of continuous functions converging to $0$ respect to $\sigma(A^{**},A^*)$$\sigma(C(\sigma(j_A(a)))^{**},C(\sigma(j_A(a)))^*)$ topology , we have $f_\lambda(j_A(a))\xrightarrow{\sigma(A^{**},A^*)}0$, but how to obtain $\Phi(f_\lambda(j_A(a)))\xrightarrow{\sigma(B^{**},B^*)}0$?

Notes: 1.The whole article is here;
2. My interest is the unital case, you can simply take $M(A)=A$;
3. $j_A$ in the picture is the canonical injection from $A$ to $A^{**}$.

I am confused with the underlined equation in the following picture. enter image description here I know that a *-isomorphism communicates with continuous functional calculus since every continuous functions on the compact subset of $\mathbb{R}$ can be approximated uniformly by polynomials.

To prove the underlined equation, we have to prove that $f\to \Phi(f(j_A(a)))$ is the Borel functional calculus on $\Phi(j_A(a))$. Given a net $(f_\lambda)$ of continuous functions converging to $0$ respect to $\sigma(A^{**},A^*)$ topology , we have $f_\lambda(j_A(a))\xrightarrow{\sigma(A^{**},A^*)}0$, but how to obtain $\Phi(f_\lambda(j_A(a)))\xrightarrow{\sigma(B^{**},B^*)}0$?

Notes: 1.The whole article is here;
2. My interest is the unital case, you can simply take $M(A)=A$;
3. $j_A$ in the picture is the canonical injection from $A$ to $A^{**}$.

I am confused with the underlined equation in the following picture. enter image description here I know that a *-isomorphism commutes with continuous functional calculus since every continuous functions on the compact subset of $\mathbb{R}$ can be approximated uniformly by polynomials.

To prove the underlined equation, we have to prove that $f\to \Phi(f(j_A(a)))$ is the Borel functional calculus on $\Phi(j_A(a))$. Given a net $(f_\lambda)$ of continuous functions converging to $0$ respect to $\sigma(C(\sigma(j_A(a)))^{**},C(\sigma(j_A(a)))^*)$ topology , we have $f_\lambda(j_A(a))\xrightarrow{\sigma(A^{**},A^*)}0$, but how to obtain $\Phi(f_\lambda(j_A(a)))\xrightarrow{\sigma(B^{**},B^*)}0$?

Notes: 1.The whole article is here;
2. My interest is the unital case, you can simply take $M(A)=A$;
3. $j_A$ in the picture is the canonical injection from $A$ to $A^{**}$.

added 280 characters in body; edited title
Source Link
C. Ding
  • 135
  • 9

I am confused with the underlined equation in the following picture. enter image description here I know that a *-isomorphism communicates with continuous functional calculus since every continuous functions on the compact subset of $\mathbb{R}$ can be approximated uniformly by polynomials.

To prove the underlined equation, we have to prove that $f\to \Phi(f(j_A(a)))$ is the Borel functional calculus on $\Phi(j_A(a))$. Given a net $(f_\lambda)$ of continuous functions converging to $0$ respect to $\sigma(A^{**},A^*)$ topology , we have $f_\lambda(j_A(a))\xrightarrow{\sigma(A^{**},A^*)}0$, but how to obtain $\Phi(f_\lambda(j_A(a)))\xrightarrow{\sigma(B^{**},B^*)}0$?

Notes: 1.The whole article is here;
2. My interest is the unital case, you can simply take $M(A)=A$;
3. $j_A$ in the picture is the canonical injection from $A$ to $A^{**}$.

I am confused with the underlined equation in the following picture. enter image description here I know that a *-isomorphism communicates with continuous functional calculus since every continuous functions on the compact subset can be approximated uniformly by polynomials.

To prove the underlined equation, we have to prove that $f\to \Phi(f(j_A(a)))$ is the Borel functional calculus on $\Phi(j_A(a))$. Given a net $(f_\lambda)$ of continuous functions converging to $0$ respect to $\sigma(A^{**},A^*)$ topology , we have $f_\lambda(j_A(a))\xrightarrow{\sigma(A^{**},A^*)}0$, but how to obtain $\Phi(f_\lambda(j_A(a)))\xrightarrow{\sigma(B^{**},B^*)}0$?

I am confused with the underlined equation in the following picture. enter image description here I know that a *-isomorphism communicates with continuous functional calculus since every continuous functions on the compact subset of $\mathbb{R}$ can be approximated uniformly by polynomials.

To prove the underlined equation, we have to prove that $f\to \Phi(f(j_A(a)))$ is the Borel functional calculus on $\Phi(j_A(a))$. Given a net $(f_\lambda)$ of continuous functions converging to $0$ respect to $\sigma(A^{**},A^*)$ topology , we have $f_\lambda(j_A(a))\xrightarrow{\sigma(A^{**},A^*)}0$, but how to obtain $\Phi(f_\lambda(j_A(a)))\xrightarrow{\sigma(B^{**},B^*)}0$?

Notes: 1.The whole article is here;
2. My interest is the unital case, you can simply take $M(A)=A$;
3. $j_A$ in the picture is the canonical injection from $A$ to $A^{**}$.

Spelling in title
Link
Neil Strickland
  • 56.9k
  • 7
  • 142
  • 262

Dose Does Borel functional calculus commuicatecommute with *-isomorphism?

Source Link
C. Ding
  • 135
  • 9
Loading