Envelopes and Sharp Embeddings of Function Spaces