The linear isometry group of the Gurarij space is universal

Itaï Ben Yaacov (1)

1 ICJ - Institut Camille Jordan

We give a construction of the Gurarij space, analogous to Katetov's construction of the Urysohn space. The adaptation of Katetov's technique uses a generalisation of the Arens-Eells enveloping space to metric space with a distinguished normed subspace. This allows us to give a positive answer to a question of Uspenskij, whether the linear isometry group of the Gurarij space is a universal Polish group.

Mots clés: Gurarij space; Katetov function; Arens-Eells space; universal Polish group

Domaines: Logique [math.LO]

Itaï Ben Yaacov. The linear isometry group of the Gurarij space is universal. 2012. ⟨hal-00681419v4⟩