Supongamos que hay una enredada estado de dos electrones, el spin parte es $$| \downarrow \uparrow \rangle - | \uparrow \downarrow \rangle \tag{1} $$. Si puedo añadir espaciales parte de la función de onda como dos Gaussianas, debería ser algo como $$ ( e^{- (r_1-R_a)^2- (r_2-R_b)^2} + e^{- (r_1-R_b)^2- (r_2-R_a)^2})( | \downarrow \uparrow \rangle - | \uparrow \downarrow \rangle ) \tag{2} $$.
Ahora puedo medir el spin del electrón en la posición $R_a$, y me pongo el resultado. La función de onda debe ser $$ e^{- (r_1-R_a)^2- (r_2-R_b)^2} | \downarrow \uparrow \rangle - e^{- (r_1-R_b)^2- (r_2-R_a)^2} | \uparrow \downarrow \rangle \tag{3} $$ , que todavía es indistinguible y antisimétrica. ( No puedo obtener $ e^{- (r_1-R_a)^2- (r_2-R_b)^2} | \downarrow \uparrow \rangle $, lo que rompe la antisymmetry)
Desde el enredo se define por algo más que un simple producto, tanto wavefunctions (2) y (3) están enredados. Sin embargo, es función de onda (3) demasiado trivial para ser llamado enredados? Parece antisymmetrization sí va a producir de forma automática el enredo.