PlanetPhysics/Equivalent Representations of Groupoids

\newcommand{\sqdiagram}[9]{Failed to parse (unknown function "\diagram"): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}} }

 Two [[../CategoricalGroupRepresentation/|representations]] of [[../GroupoidHomomorphism2/|groupoids]] Failed to parse (unknown function "\grp"): {\displaystyle (\mu_i, U_{\grp} * \mathbb{H}, L_i)}
 , for $i=1,2$

are called equivalent if ${\mu }_1\sim {\mu }_2$, and if there also exists a fiber-preserving [[../IsomorphicObjectsUnderAnIsomorphism/|isomorphism]] of analytical Hilbert space bundles Failed to parse (unknown function "\grp"): {\displaystyle v: (U_{\grp}* \mathbb{H}_1)|_U \longrightarrow (U_{\grp}* \mathbb{H}_2)|_U} , where $U$ is a measurable subset of Failed to parse (unknown function "\grp"): {\displaystyle U_{\grp}} of null complementarity; the isomorphism $v$ also has the following property: $\hat{v}[r(x)]{\hat{L}}_1(x)={\hat{L}}_2\hat{v}[d(x)]$ for Failed to parse (unknown function "\grp"): {\displaystyle x \in \grp |_U } .