Probability when measuring a local observable

• I
Yan Campo
TL;DR Summary
I need to show that the probability when measuring a local $$O^{a}$$ observable is $$Pr(o_{j}^{(a)})=Tr(\rho_{ab}(\ket{o_{j}^{(a)}}\bra{o_{j}^{(a)}}\otimes \mathbb{I}_{2}))$$
I have information that $$\rho_{ab}=\sum_{j}p_{j}\ket{\Psi_{j}^{ab}}\bra{\Psi_{j}^{ab}}$$ and $$Pr(o_{j}^{(a)}|\Psi_{ab})=Tr_{ab}(\ket{\Psi_{ab}}\bra{\Psi_{ab}}(\ket{o_{j}^{(a)}}\bra{o_{j}^{(a)}}\otimes \mathbb{I}_{2})) \text{.}$$
I started by representing the density operator for pure states, such that $$\rho = \ket{\Psi^{ab}}\bra{\Psi^{ab}}\text{.}$$
Substituting directly into the equation that was given for the probability I arrive at a result $$Pr(o_{j}^{(a)}|\Psi_{ab})=Tr_{ab}(\ket{\Psi_{j}^{ab}}\bra{\Psi_{j}^{ab}}(\ket{o_{j}^{(a)}}\bra{o_{j}^{(a)}}\otimes \mathbb{I}_{2}))\text{.}$$
I believe this is not right, as I have not found a way to make this equal to what was asked.
Any clue what should I do? Any help is welcome.

Last edited: