Resumen: Un sistema físico híbrido es aquel consistente en dos subsistemas acoplados, uno clásico y uno cuántico. La modelización matemática de los mismos requiere el tratamiento de los dos subsistemas a través de un mismo formalismo matemático. Una vía para hacerlo es el denominado formalismo de Koopman, mediante el cual se construye un espacio de Hilbert que contiene a los estados del sistema clásico, de manera análoga a la formulación usual de la mecánica cuántica, y definir, así, un espacio de Hilbert de estados híbridos. Esto permite construir una representación del álgebra de observables híbridos como operadores lineales sobre el espacio de Hilbert y de los estados como matrices densidad sobre el mismo, definiendo dinámicas sobre estos espacios. Sin embargo, mientras que el álgebra de observables está bien caracterizado, considerar que el espacio de estados se corresponde con el conjunto completo de matrices densidad no es correcto. En este trabajo se trata de dar una mejor caracterización de este espacio. Así, se demuestra que diferentes matrices densidad representan el mismo estado físico y se construye una relación de equivalencia sobre el espacio de matrices densidad que permite definir un espacio cociente de estados híbridos, verificando que las dinámicas definidas sobre el espacio de matrices densidad completo están bien definidas sobre este nuevo espacio. La complejidad de esta relación de equivalencia, que impone una condición sobre todos los observables físicos, plantea el problema de la búsqueda de una relación más sencilla que facilite el análisis de la estructura del espacio cociente. Este problema se aborda en el trabajo desde dos perspectivas alternativas. La primera de ellas consiste en buscar escribir la relación de equivalencia en términos de transformaciones de matrices densidad. La segunda se basa en el uso de las denominadas funciones de Wigner, que permiten trasladar los estados del espacio de matrices densidad a un espacio de funciones sobre un espacio de fases. Finalmente, se exponen las limitaciones de ambos formalismos, concluyendo con las líneas de trabajo futuro que estas limitaciones proporcionan.