On the Extension of Surjective Isometries whose Domain is the Unit Sphere of a Space of Compact Operators Peralta Pereira, Antonio Miguel Tingley’s problem Mazur-Ulam property Extension of isometries Compact operators Compact C∗-algebras We prove that every surjective isometry from the unit sphere of the space K(H), of all compact operators on an arbitrary complex Hilbert space H, onto the unit sphere of an arbitrary real Banach space Y can be extended to a surjective real linear isometry from K(H) onto Y. This is probably the first example of an infinite dimensional non-commutative C∗-algebra containing no unitaries and satisfying the Mazur– Ulam property. We also prove that all compact C∗-algebras and all weakly compact JB∗-triples satisfy the Mazur–Ulam property. 2023-03-03T07:37:07Z 2023-03-03T07:37:07Z 2022 journal article Peraltaa, A. M. (2022). On the Extension of Surjective Isometries whose Domain is the Unit Sphere of a Space of Compact Operators. Filomat, 36(9), 3075-3090. [https://doi.org/10.2298/FIL2209075P] https://hdl.handle.net/10481/80357 10.2298/FIL2209075P eng http://creativecommons.org/licenses/by-nc-nd/4.0/ open access Attribution-NonCommercial-NoDerivatives 4.0 Internacional University of Nis