Me dicen que demuestre que estas matrices son anticomutativas (AB = -BA) $$ \beta=\begin{bmatrix}I_2&0\\0&-I_2\end{bmatrix}, \alpha_x=\begin{bmatrix}0&\sigma_1\\\sigma_1&0\end{bmatrix},\alpha_y=\begin{bmatrix}0&\sigma_2\\\sigma_2&0\end{bmatrix}, \alpha_z=\begin{bmatrix}0&\sigma_3\\\sigma_3&0\end{bmatrix}$$ where $\sigma_1=\begin{bmatrix}0&1\\1&0\end{bmatrix}, \sigma_2=\begin{bmatrix}0&-i\\i&0\end{bmatrix}, \sigma_3=\begin{bmatrix}1&0\\0&-1\end{bmatrix}$ (las matrices de espín de Pauli). Podría utilizar la fuerza bruta y conectar todas las matrices para B y A, pero mi profesor es muy duro con nosotros cuando se trata de pruebas y sólo da crédito completo para las pruebas "elegantes". El único problema es que no tengo ni idea de cómo empezar a demostrar esto; ¡cualquier ayuda o pista sería muy apreciada!
Respuestas
¿Demasiados anuncios?
Basta con observar que para cualquier matriz (2D) $\rm A,B$ (y la matriz cero $\rm O$ ):
$$\begin{align}\begin{pmatrix}\rm A & \rm O \\ \rm O & -\rm A\end{pmatrix}\begin{pmatrix}\rm O & \rm B \\ \rm B & \rm O\end{pmatrix}~=~&\begin{pmatrix}\rm O & \rm AB \\ \rm -AB & \rm O\end{pmatrix}\\[1ex] =~&-\begin{pmatrix}\rm O & \rm -AB \\ \rm AB & \rm O\end{pmatrix}\\[1ex] =~& -\begin{pmatrix}\rm O & \rm B \\ \rm B & \rm O\end{pmatrix}\begin{pmatrix}\rm A & \rm O \\ \rm O & \rm -A\end{pmatrix}\end{align}$$
Así que si $\rm A=I_2$ y $\rm B\in\{\sigma_1, \sigma_2, \sigma_3\}$ has demostrado que tres pares son anticomutativos.
El resto se desprende de mostrar $\sigma_1, \sigma_2, \sigma_3$ son a su vez anticomunicativos y que muestran si $\rm B,C$ son entonces $(\begin{smallmatrix}\rm O & \rm B \\ \rm B & \rm O\end{smallmatrix})$ y $(\begin{smallmatrix}\rm O & \rm C \\ \rm C & \rm O\end{smallmatrix})$ también debe serlo.
PS: $\sigma_2, \sigma_3$ no lo son.
$\newcommand{\bbx}[1]{\,\bbox[8px,border:1px groove navy]{{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} \left.\alpha_{i}\alpha_{j}\right\vert_{\ i\ \not=\ j} & = \pars{\begin{array}{cc} \ds{0} & \ds{\sigma_{i}} \\ \ds{\sigma_{i}} & \ds{0} \end{array}} \N - Pars{{{ \begin{array}{cc} \ds{0} & \ds{\sigma_{j}} \\ \ds{\sigma_{j}} & \ds{0} \end{array}} = |pars{ \begin{array}{cc} \ds{\sigma_{i}\sigma_{j}} & \ds{0} \\ \ds{0} & \ds{\sigma_{i}\sigma_{j}} \end{array}} = |pars{ \begin{array}{cc} \ds{-\sigma_{j}\sigma_{i}} & \ds{0} \\ \ds{0} & \ds{-\sigma_{j}\sigma_{i}} \end{array}} = \bbx{\ds{-\alpha_{j}\alpha_{i}}} \fin{align}
