Free C *- algebras and the problem of uniqueness of extension in non-commutative Hahn-Banach Theorem

1 Introduction and main resultsARVESON in ref. [1] generalized the classical Hahn-Banach Extension Theorem for linear func-tionals to the self-adjoint linear closed subspace of C~* -algebras. From then on numerous au-thors have given various generalizations of the non-commutative Hahn-Banach-Arveson Theo-rem of ref. [1]. The following extension theorem is due to G. Wittstock.