Salle 2
le 22 janvier 2018 à 10:00
Let
be a norm on
. We consider the so-called unit distance graph
associated with
: the vertices of
are the points of
, and the edges connect the pairs
satisfying
. We define
as the supremum of the densities achieved by independent sets of
. The number
was introduced by Larman and Rogers (1972) as a tool to study the measurable chromatic number
of
for the Euclidean norm.