Résumé
In this work we develop a discrete trace theory that covers non-conforming hybrid discretization methods and holds on polytopal meshes. A notion of discrete trace seminorm is defined, and trace and lifting results with respect to a discrete $H^1$-seminorm on the hybrid fully discrete space are proven. Finally, we conduct a numerical test in which we compute the proposed discrete operators and investigate their spectrum to verify the theoretical analysis. The development of this theory is motivated by the design and analysis of preconditioners for hybrid methods, e.g., of substructuring domain decomposition type.