Describir: On Rellich's Lemma, the Poincaré inequality, and Friedrichs extension of an operator on complex spaces