A short proof of the existence of the injective envelope of an operator space
arXiv:2507.10931
Abstract
We use Ellis' lemma to give a simple proof of the existence of the injective envelope of an operator space first shown by work of Hamana and Ruan.
accepted to Proceedings of the AMS