Definition 1.4.
For arbitrary
$H,L\subset X$
we define the (general)
${n}^{\text{th}}$
Chebyshev constant of
$L$
with respect to
$H$
as
$${M}_{n}(H,L):={sup}_{{w}_{1},\dots ,{w}_{n}\in H}{inf}_{x\in L}\frac{1}{n}\left({\sum}_{k=1}^{n}k(x,{w}_{k})\right),$$
and the (general)
${n}^{\text{th}}$
dual Chebyshev constant of
$L$
relative to
$H$
as
$${\overline{M}}_{n}(H,L):={inf}_{{w}_{1},\dots ,{w}_{n}\in H}{sup}_{x\in L}\frac{1}{n}\left({\sum}_{j=1}^{n}k(x,{w}_{j})\right).$$
The
${n}^{\text{th}}$
Chebyshev constant of
$H$
is
${M}_{n}\left(H\right):={M}_{n}(H,H)$
and the
${n}^{\text{th}}$
dual Chebyshev constant of
$H$
is
${\overline{M}}_{n}\left(H\right):={\overline{M}}_{n}(H,H)$
.
The following proposition is proved by showing that the respective sequences are quasimonotonous, hence Fekete's lemma (see [
8]
, or also [
5]
, [
6]
) applies.
Proposition 1.5.
For any
$H,L\subset X$
, the Chebyshev constants
${M}_{n}(H,L)$
and
${\overline{M}}_{n}(H,L)$
converge, more precisely
$${sup}_{n\in \mathbb{N}}{M}_{n}(H,L)={lim}_{n\to \infty}{M}_{n}(H,L)\text{and}{inf}_{n\in \mathbb{N}}{\overline{M}}_{n}(H,L)={lim}_{n\to \infty}{\overline{M}}_{n}(H,L).$$
The limits whose existence is assured by the previous proposition are denoted by
$M(H,L)$
and
$\overline{M}(H,L)$
(and for
$H=L$
also by
$M\left(H\right)$
,
$\overline{M}\left(H\right)$
), respectively.
1.3 Rendezvous intervals
We define the (weak) rendezvous number(s) and average distance number(s) of the space
$X$
, or even of subsets of
$X$
. Again, for good reasons (explained in more detail in [
6]
) we define these notions in dependence of two sets as variables.
Definition 1.6.
For arbitrary subsets
$H,L\subset X$
the
${n}^{\text{th}}$
(weak) rendezvous set of
$L$
with respect to
$H$
is
$$\begin{array}{c}{R}_{n}(H,L):={\bigcap}_{{w}_{1},...,{w}_{n}\in H}\overline{conv}\left\{{p}_{n}\left(x\right):=\frac{1}{n}{\sum}_{j=1}^{n}k(x,{w}_{j}):x\in L\right\},{R}_{n}\left(H\right):={R}_{n}(H,H).\end{array}$$ 
(1.5)

Correspondingly, one defines
$$\begin{array}{cccc}R(H,L)& :{=}^{\infty}{\bigcap}_{n=1}{R}_{n}(H,L),& R\left(H\right):=R(H,H).& \end{array}$$ 
(1.6)

$$\begin{array}{cccc}\text{Similarly, one defines the (weak) average set of}L\text{with respect to}H\text{as}& & & \end{array}$$ 
(1.7)

$$\begin{array}{cccc}A(H,L)& :={\bigcap}_{\mu \in {\mathfrak{M}}_{1}\left(H\right)}\overline{conv}\left\{{U}^{\mu}\left(x\right):x\in L\right\},& A\left(H\right):=A(H,H).& \end{array}$$ 
(1.8)

$$\begin{array}{}\end{array}$$  
Remark 1.7.
Denoting the interval
$$\begin{array}{c}A(\mu ,L):=\left[\underline{Q}\right(\mu ,L),Q(\mu ,L\left)\right]=\overline{conv}\left\{{U}^{\mu}\right(x):x\in L\},\end{array}$$ 
(1.9)

we see that
${R}_{n}(H,L)$
,
$R(H,L)$
and
$A(H,L)$
are all of the form
${\cap}_{\mu}A(\mu ,H)$
, with
$\mu $
ranging over all averages of
$n$
Dirac measures at points of
$H$
, over all measures finitely supported in
$H$
and having only rational probabilities, and over all of
${\mathfrak{M}}_{1}\left(H\right)$
, respectively, see [
6]
.
Remark 1.8.
If
$k$
is a continuous kernel – in particular when it is a metric – and
$L$
is compact, then it suffices to take
$conv$
instead of
$\overline{conv}$
, since then together with
$k$
also
${U}^{\mu}\left(x\right)$
is continuous for any
$\mu $
. Thus for compact subsets
$L$
of metric spaces a real number
$r\in {\mathbb{R}}_{+}$
belongs to
$R(H,L)$
if and only if for any
${x}_{1},...,{x}_{n}\in H$
(
$n\in \mathbb{N}$
) we always have points
$y,z\in L$
satisfying
$$\begin{array}{c}\frac{1}{n}{\sum}_{j=1}^{n}k(y,{x}_{j})\le r\text{and}\frac{1}{n}{\sum}_{j=1}^{n}k(z,{x}_{j})\ge r,\end{array}$$ 
(1.10)

which is the usual definition of weak rendezvous numbers in metric spaces.
Moreover, in case the set
$L$
is connected, this is further equivalent to the existence of a “rendezvous point”
$x\in L$
with
$$\begin{array}{c}\frac{1}{n}{\sum}_{j=1}^{n}k(x,{x}_{j})=r.\end{array}$$ 
(1.11)

In particular, for compact and connected
$L$
in a metric space (or in a locally compact space with continuous kernel
$k$
) the rendezvous set
$R(H,L)$
consists of a unique point, say
$R(H,L)=\left\{r\right(H,L\left)\right\}$
, if this latter property 1.11 is satisfied only for
$r=r(H,L)$
.
Remark 1.9.
If
$k$
is only l.s.c., also potentials are l.s.c., which entails that they take on their infimum over compact sets. Thus for compact
$L$
the first half of the above equivalent formulation 1.10 remains valid even for general kernels. However, for the second part we must already write that “
$\forall s<r\exists z\in L$
such that
$\frac{1}{n}{\sum}_{j=1}^{n}k(z,{x}_{j})>s$
”.
Such modification of the formulation is necessary also when we consider sets
$L\subset X$
which are not compact, or when we are discussing the case when
$+\infty \in R(H,L)$
.
Clearly, in our settings
${R}_{n}(H,L)$
,
$R(H,L)$
and
$A(H,L)$
are subsets of
$[0,\infty ]$
, but note that traditionally rendezvous numbers or average numbers are considered only among the reals.
With the above notions at hand, the following description of various rendezvous sets is easy to see, cf. [6] .
Proposition 1.10.
For arbitrary subsets
$H,L\subset X$
we have
$$\begin{array}{cccc}& {R}_{n}(H,L)=\left[{M}_{n}\right(H,L),{\overline{M}}_{n}(H,L\left)\right],& & {R}_{n}\left(H\right)=\left[{M}_{n}\right(H),{\overline{M}}_{n}(H\left)\right],\end{array}$$  
$$\begin{array}{cccc}& R(H,L)=\left[M\right(H,L),\overline{M}(H,L\left)\right],& & R\left(H\right)=\left[M\right(H),\overline{M}(H\left)\right],\end{array}$$ 
(1.12)

$$\begin{array}{cccc}& A(H,L)=\left[\underline{q}\right(H,L),q(H,L\left)\right],& & A\left(H\right)=\left[\underline{q}\right(H),q(H\left)\right].\end{array}$$  
$$\begin{array}{}\end{array}$$  
Remark 1.11.
Note that intervals appearing in proposition 1.10 may indeed be empty, meaning, for example, that
$q(H,L)<\underline{q}(H,L)$
, cf. [
6]
and also Theorem 2.4 below.
2 General results on rendezvous numbers
The following theorem, known as Frostman's theorem in the classical case, shows the relationship between the potential of a capacitary (energyminimizing) measure and the Wiener energy of a set. See [
10,Theorem2.4]
, or [
6]
.
Theorem 2.1 (Fuglede).
Let
$k$
be a positive, symmetric kernel and
$K\u22d0X$
be a compact set with
$w\left(K\right)<+\infty $
. Every
$\mu \in {\mathfrak{M}}_{1}\left(K\right)$
having minimal energy (
$W\left(\mu \right)=w\left(K\right)$
) satisfies
$$\begin{array}{cc}{U}^{\mu}\left(x\right)& \ge w\left(K\right)\text{for nearly every}x\in K,\end{array}$$ 
(2.1)

$$\begin{array}{cc}{U}^{\mu}\left(x\right)& \le w\left(K\right)\text{for every}x\in supp\mu ,\end{array}$$ 
(2.2)

$$\begin{array}{cc}{U}^{\mu}\left(x\right)& =w\left(K\right)\text{for}\mu \text{almost every}x\in X.\end{array}$$ 
(2.3)

$$\begin{array}{}\end{array}$$  
Remark 2.2.
In case
$k$
is continuous, or even if only it is bounded on
$K\times K$
, there can be no sets of finite measure but infinite energy. Therefore, the exceptional set in 2.1 (which refers to probability measures of
${\mathfrak{M}}_{1}\left(K\right)$
) must be void, and 2.1 holds everywhere.
The following results are recalled from [
6]
.
Theorem 2.3.
Let
$H,L\subset X$
, then
$$\begin{array}{cc}M(H,L)\le \underline{q}(H,L)\le & q(L,H)\le \overline{M}(L,H).\end{array}$$ 
(2.4)

$$\begin{array}{cc}\text{If}L\subset X\text{is compact, then}M(H,L)=\underline{q}(H,L)=& q(L,H).\end{array}$$ 
(2.5)

$$\begin{array}{cc}\text{If}K\subset X\text{is compact and}k\text{is continuous, then}& q(L,K)=\overline{M}(L,K).\end{array}$$ 
(2.6)

$$\begin{array}{}\end{array}$$  
Theorem 2.4.
Let
$X$
be a locally compact Hausdorff space,
$\varnothing \ne H\subset L\subset X$
be arbitrary, and let
$k$
be any nonnegative, symmetric kernel on
$X$
. Then the intervals
${R}_{n}(H,L)$
,
$R(H,L)$
and
$A(H,L)$
are nonempty.
Remark 2.5.
In general,
$A\left(H\right)\mathbb{\u2acb}R\left(H\right)$
is possible, see [
6,Remark6.4]
. Also, the rendezvous intervals can be “almost empty”: consider, e.g.,
${R}_{n}(\mathbb{R},\mathbb{R})=\{+\infty \}$
. This and Remarks 1.8 and 1.9 already explain the slightly disturbing situation that some papers state that “there is no rendezvous number” for cases where we find one.
However, not only
$+\infty $
can show up in the closure of intervals for the definition of rendezvous numbers, hence not only
$+\infty $
can be a rendezvous number for us while does not exist for other authors. See [
7]
for the cases of
${\ell}_{p}$
spaces.
Theorem 2.6.
Let
$X$
be any locally compact Hausdorff topological space,
$k$
be any l.s.c., nonnegative, symmetric kernel function, and
$K\u22d0X$
be compact. Then
$A\left(K\right)$
consists of one single point. Furthermore, if
$k$
is continuous and
$K$
is compact, then even
$R\left(K\right)$
consists of only one point.
Theorem 2.7.
If
$k$
is continuous and
$L$
is compact, we have
$R(H,L)=A(H,L)$
for all
$H\subset X$
.
In general, the theory of rendezvous numbers seems to be flourishing in the context of metric spaces instead of locally compact spaces with a Fugledetype kernel. The latter theory is more general regarding the kernel, but is a bit restrictive in requiring local compactness of the underlying space. This gap is filled by indicating that the above potential theoretical approach works even for metric spaces, even if not locally compact. That leads us to the next section.
3 Rendezvous numbers for metric spaces
Note that for a nonnegative, Borel measurable (e.g., a continuous or l.s.c.) function
$f:X\to \mathbb{R}$
and a (positive, finite) Borel measure
$\mu $
the integral
${\int}_{X}fd\mu $
may be defined as a Lebesgue integral. Thus the potential
${U}^{\mu}\left(x\right):={\int}_{X}d(x,y)d\mu \left(y\right)$
– and hence all related notions, considered previously – are defined (cf. Section 1 ). Further, keeping the notations from Section 1 , we have that
$\mu \in {\mathfrak{M}}_{1}\left(H\right)$
implies that
$H$
is
$\mu $
measurable.
These remarks are already sufficient to define the Chebyshev constants, rendezvous intervals and to show the equalities
1.12 as well as Theorem 2.3 and 2.4 in the metric space setting. We will further elaborate on this matter in [
7]
regarding normed spaces. Now we cover the theory of rendezvous numbers of metric spaces.
Gross' result on the existence of a rendezvous number was generalized by G. Elton to general Borel probability measures in place of finite convex combinations of Dirac measures. Note that for continuous kernels on compact sets the closure can be skipped from Definition 1.6 (as in that case potentials are continuous, and a continuous image of a compact set is always closed).
On the other hand, Thomassen [
20]
extended the result to not necessarily connected spaces by considering socalled weak rendezvous numbers, which is equivalent to applying the convex hull in the definition, cf. Remark 1.8 . Hence in our notation merging Gross', Thomassen's and Elton's theorems corresponds to the following result.
Theorem 3.1 (Gross–Thomassen–Elton).
Let
$(X,d)$
be a compact metric space.
Then we have
$A\left(X\right)=R\left(X\right)=\left\{r\right(X\left)\right\}$
. Furthermore, there exist probability measures
$\mu ,\nu \in {\mathfrak{M}}_{1}$
with the property that
$$\begin{array}{c}{U}^{\mu}\left(x\right)\le r\left(X\right)\le {U}^{\nu}\left(y\right)(\forall x,y\in X).\end{array}$$ 
(3.1)

Remark 3.2.
As mentioned a couple of times above, by compactness and continuity here we have exactly the same result even if closure is skipped from Definition 1.6 ; furthermore, if the space
$X$
is connected, then neither is any need for convex hull.
A further extension is due to Stadje [18] , who essentially obtained the assertion of Theorem 2.6 concerning
$R\left(X\right)$
. He in fact assumed connectedness, but this assumption is easily removed when considering weak rendezvous numbers, i.e., convex hulls of values attained by the respective potential functions; also, he considered only
$R\left(X\right)$
, and not
$A\left(X\right)$
. We see that all these results follow from Theorem 2.6 .
Note that Elton did not publish his result, but references to his work [
4,
14]
mention that he proved his statement even for continuous, nonnegative and symmetric functions
$f$
(in place of the metric
$d$
) over compact connected Hausdorff topological spaces. In any case, his results are now included in the following.
Theorem 3.3.
Let
$X$
be a locally compact Hausdorff space,
$k$
a symmetric, l.s.c., nonnegative kernel, and
$\varnothing \ne H\subset X$
be arbitrary, while
$\varnothing \ne K\u22d0X$
be compact subsets of
$X$
. Then there exists
$\mu \in {\mathfrak{M}}_{1}\left(K\right)$
with the property that
$$\begin{array}{c}{U}^{\mu}\left(x\right)\le q(K,H)(\forall x\in X)\end{array}$$ 
(3.2)

and for all
$\epsilon >0$
there exists
$\nu \in {\mathfrak{M}}_{1}\left(K\right)$
with
$$\begin{array}{c}\underline{q}(K,H)\varepsilon \le {U}^{\nu}\left(y\right)(\forall y\in X).\end{array}$$ 
(3.3)

Moreover, if the kernel
$k$
is continuous and bounded on
$K\times H$
, then we have
$$\begin{array}{c}\underline{q}(K,H)\le {U}^{\nu}\left(y\right)(\forall y\in X).\end{array}$$ 
(3.4)


Proof.
By definition, there exist
${\mu}_{n}\in {\mathfrak{M}}_{1}\left(K\right)$
with
$Q({\mu}_{n},H)\le q(K,H)+1/n$
. Since
${\mathfrak{M}}_{1}\left(K\right)$
is weak
${}^{*}$
compact by compactness of
$K$
, there exists a subnet
$\mathcal{N}$
of these measures converging to some
$\mu \in {\mathfrak{M}}_{1}\left(K\right)$
. In view of lower semicontinuity (see Lemma 1.3 b) ),
$q(K,H)\ge {liminf}_{\mathcal{N}}Q({\mu}_{n},H)\ge Q(\mu ,H)$
, hence the assertion 3.2 . Inequality 3.3 is just the definition.
To prove
3.4 consider the “dual” kernel
$\ell :=Ck$
whenever
$k$
is continuous and bounded by some constant
$C$
. Then
$\ell $
is nonnegative, symmetric and l.s.c., and the first part applies. It is easy to check that to any measure
$\nu \in {\mathfrak{M}}_{1}\left(K\right)$
the potentials with respect to
$k$
and
$\ell $
are related^{1 }
by
${U}_{k}^{\nu}=C{U}_{\ell}^{\nu}$
, while
${\underline{q}}_{k}(K,H)=C{q}_{\ell}(K,H)$
. □
Note that we did not assume
$H$
to be compact. However, in case we have a pair of compact sets
$K,L$
, then a continuous kernel is necessarily bounded on
$K\times L$
and thus 3.4 follows. In particular, for
$K=L$
and a continuous kernel Elton's result is obtained using also
$\underline{q}\left(K\right)=q\left(K\right)$
, i.e., the last part of Theorem 2.6 .
4 Invariant measures and rendezvous numbers
Following Morris and Nickolas [
14]
, but extending the notion from
$H=L=X$
to arbitrary subsets
$H,L\subset X$
, and from metrics
$d$
to arbitrary kernels
$k$
, we call a measure
$\mu \in {\mathfrak{M}}_{1}\left(H\right)$
$k$
invariant (on
$L$
), if the respective potential integral is constant:
$$\begin{array}{c}{U}_{k}^{\mu}\left(x\right):={\int}_{X}k(x,y)d\mu \left(y\right)\equiv \text{const.}\text{(for all}x\in L\text{)}.\end{array}$$ 
(4.1)

Saying only that
$\mu $
is
$k$
invariant refers to the central case
$L=X$
. Then an extension of the result of Morris and Nickolas [
14]
to general kernels
$k$
sounds as follows.
Theorem 4.1.
Assume that
$X$
is a locally compact Hausdorff topological space and
$k$
is a nonnegative, l.s.c., symmetric kernel function. Let
$\varnothing \ne H\subset L\subset X$
be arbitrary and assume that there exists a measure
$\mu \in {\mathfrak{M}}_{1}\left(H\right)$
which is
$k$
invariant on
$L$
. Then we have
$$A(H,L)=A(\mu ,L).$$
Furthermore, if
$k$
is continuous and
$L$
is compact, then we even have
$$R(H,L)=A(\mu ,L).$$

Proof.
Note that
$A(\mu ,L)$
being the (convex closure of the) set of values of
${U}^{\mu}\left(x\right)$
when
$x$
runs
$L$
, invariance immediately implies that
$\#A(\mu ,L)=1$
. Hence only (nonempty) existence of 1.7 is needed to conclude
$A(H,L)=A(\mu ,L)$
: this follows from Theorem 2.4 . To obtain the last assertion from this, it suffices to refer to Theorem 2.7 . □
Corollary 4.2 (Morris–Nickolas).
Let
$(X,d)$
be a compact (connected) metric space.
Assume that there exists a
$d$
invariant measure
${\mu}_{0}\in {\mathfrak{M}}_{1}\left(X\right)$
. Then we have
$$A\left(X\right)=R\left(X\right)=\left\{r\right(X\left)\right\}=A({\mu}_{0},X),{U}^{{\mu}_{0}}\left(x\right)\equiv r\left(X\right)(\forall x\in X).$$
5 Maximal energy and rendezvous numbers
Wolf [
23]
presents a theory of rendezvous numbers and maximal (i.e., maximal energy) measures on compact connected metric spaces
$(X,d)$
. Let us revise these results in this section. Following Björck [
3]
, Wolf says that a probability measure
${\mu}_{1}\in {\mathfrak{M}}_{1}\left(X\right)$
is maximal, and that the space has maximal energy
$E\left(X\right)$
, if
$$\begin{array}{c}E\left(X\right):={E}_{d}\left(X\right):={sup}_{\mu \in {\mathfrak{M}}_{1}\left(X\right)}{W}_{d}\left(\mu \right)={W}_{d}\left({\mu}_{1}\right).\end{array}$$ 
(5.1)

By weak
${}^{*}$
compactness of
${\mathfrak{M}}_{1}\left(X\right)$
, existence of
${\mu}_{1}$
is obvious. Wolf proves that
$r\left(X\right)\le E\left(X\right)$
, and also gives examples when
$r\left(X\right)<E\left(X\right)$
.
Theorem 5.1 (Wolf).
Let
$(X,d)$
be a compact metric space. Then

(i)
${r}_{d}\left(X\right)\le {E}_{d}\left(X\right)$
.

(ii)
If
${r}_{d}\left(X\right)={E}_{d}\left(X\right)$
, then there exists some
$d$
invariant measure in
${\mathfrak{M}}_{1}\left(X\right)$
.
In his proof in [
23,pp. 396–397]
Wolf uses properties of metrics rather heavily. Here we extend the result first proving the following.
Theorem 5.2.
Let
$\varnothing \ne K\subset L\subset X$
be arbitary sets and
$k$
be a nonnegative, l.s.c., symmetric kernel. Then we have
$$\begin{array}{c}minR(K,L)\ge w\left(K\right).\end{array}$$ 
(5.2)

In particular, if
$k$
is continuous and
$K$
is compact, then the set
$K$
has a unique rendezvous number
$r\left(K\right)$
, and we have
$$\begin{array}{c}r\left(K\right)\ge w\left(K\right).\end{array}$$ 
(5.3)

Furthermore, if
$r\left(K\right)=w\left(K\right)$
, then there exists some
$k$
invariant measure in
${\mathfrak{M}}_{1}\left(K\right)$
.

Proof.
Existence of rendezvous numbers
$A(K,L)\subset R(K,L)$
are provided by Theorem 2.4 , and we also know
$R(K,L)=\left[M\right(K,L),\overline{M}(K,L\left)\right]$
(see Proposition 1.10 ). At this point 5.2 follows from the fact that
$M\left(K\right)\ge w\left(K\right)$
and that
$M(K,L)\ge M\left(K\right)$
(see [5, 6] ).
According to Theorem
2.6 , continuity of
$k$
on the compact set
$K$
implies uniqueness of the rendezvous numbers
$A\left(K\right)=R\left(K\right)=\left\{r\right(K\left)\right\}$
, giving the second part of the statement.
Furthermore, let now
$r\left(K\right)=w\left(K\right)$
be assumed. Since
$k$
is continuous and
$K$
is compact, in this case
$w\left(K\right)<+\infty $
is obvious.
Take now a probability measure
$\mu \in {\mathfrak{M}}_{1}\left(K\right)$
minimizing
$Q(\mu ,K)$
, i.e., with
$Q(\mu ,K)=q\left(K\right)=r\left(K\right)$
. Such a measure exists, because
$\mu \mapsto Q(\mu ,K)$
is l.s.c. in view of Lemma 1.3 b), and
${\mathfrak{M}}_{1}\left(K\right)$
is weak
${}^{*}$
compact. For any such
$\mu $
we have
$$w\left(K\right)\le W\left(\mu \right)={\int}_{K}{U}^{\mu}\left(x\right)d\mu \left(x\right)\le {sup}_{x\in K}{U}^{\mu}\left(x\right)=Q(\mu ,K)=r\left(K\right)=w\left(K\right),$$
so equality must hold throughout. Hence
$\mu $
minimizes also
$W\left(\mu \right)$
(it is a capacitary measure). For this
$\mu $
the inequality 2.1 of Theorem 2.1 holds, moreover, it holds everywhere on
$K$
by Remark 2.2 .
But then
$w\left(K\right)\le {U}^{\mu}\left(x\right)\le Q(\mu ,K)=r\left(K\right)=w\left(K\right)$
, hence
${U}^{\mu}\left(x\right)=w\left(K\right)$
holds for all
$x\in K$
, and
$\mu $
is seen to be a
$k$
invariant measure. □
Now we are in the position to deduce Wolf 's theorem as an easy corollary.

Proof of Wolf 's Theorem 5.1 .
Let
$k:=diam\left(X\right)d$
, which is then a continuous, symmetric, nonnegative kernel function. By the previous Theorem 5.2 ,
${r}_{k}\left(X\right)\ge {w}_{k}\left(X\right)$
. Also,
${E}_{d}\left(X\right)=diam\left(X\right){w}_{k}\left(X\right)$
is immediate. In view of Theorem 2.6 , uniqueness of the rendezvous numbers hold both with respect to
$d$
and
$k$
, and thus we have
${r}_{k}\left(X\right)={q}_{k}\left(X\right)={\underline{q}}_{k}\left(X\right)$
and also
${r}_{d}\left(X\right)={q}_{d}\left(X\right)={\underline{q}}_{d}\left(X\right)$
. Definition 1.1 immediately yields
${q}_{k}\left(X\right)=diam\left(X\right){\underline{q}}_{d}\left(X\right)$
and
${q}_{d}\left(X\right)=diam\left(X\right){\underline{q}}_{k}\left(X\right)$
, which show (i). Let us now assume
${E}_{d}\left(X\right)={r}_{d}\left(X\right)$
, i.e.,
${r}_{k}\left(X\right)={w}_{k}\left(X\right)$
. As then a
$k$
invariant measure
$\mu \in {\mathfrak{M}}_{1}\left(X\right)$
exists, and obviously
${U}_{k}^{\mu}\left(x\right)=diam\left(X\right){U}_{d}^{\mu}\left(x\right)$
, the very same measure is also
$d$
invariant and even (ii) follows. □
Wolf also treats the converse question: when does the existence of a
$d$
invariant measure imply the equality of the maximal energy and the rendezvous number? He uses the following notion.
Definition 5.3.
A metric space
$(X,d)$
is called hypermetric, if for all finite collections of points
${x}_{i}\in X$
(
$i=1,...,n$
) and real scalars
${c}_{i}$
(
$i=1,...,n$
) with
${\sum}_{i=1}^{n}{c}_{i}=0$
, we have
$$\begin{array}{c}{\sum}_{i=1}^{n}{\sum}_{j=1}^{n}{c}_{i}{c}_{j}d({x}_{i},{x}_{j})\le 0.\end{array}$$ 
(5.4)

Wolf discusses how the notion proves to be useful, a number of wellknown spaces being hypermetric spaces; for the details see [23] . Here we only aim at revealing the potential theoretic background even of this notion and the corresponding converse result of Wolf. Observe that by the densness of convex linear combinations of Dirac measures in
${\mathfrak{M}}_{1}$
for the weak
${}^{*}$
topology (see, e.g., [16,Proposition2.1.2,page52] and the Kreĭn–Milman Theorem) and in view of continuity of
$d$
, 5.4 implies that we also have
$$\begin{array}{c}{W}_{d}(\mu \nu )={\int}_{X}{\int}_{X}d(x,y)d(\mu \nu )\left(x\right)d(\mu \nu )\left(y\right)\le 0\left(\mu ,\nu \in {\mathfrak{M}}_{1}\right).\end{array}$$ 
(5.5)

Translating this property to a property of the “dual kernel”
$k:=md$
, where
$m:={max}_{X\times X}d$
is constant (in fact, the diameter), we get
$$\begin{array}{c}{W}_{k}(\mu \nu )={\int}_{X}{\int}_{X}k(x,y)d(\mu \nu )\left(x\right)d(\mu \nu )\left(y\right)\ge 0\left(\mu ,\nu \in {\mathfrak{M}}_{1}\right).\end{array}$$ 
(5.6)

This property is almost identical with the notion of (positive) definiteness, having great importance in potential theory, see [10,p. 151] . Fuglede calls a kernel
$k$
(positive) definite, if for any signed regular Borel measure
$\sigma \in {\mathfrak{M}}^{\pm}\left(X\right)$
one has
${W}_{k}\left(\sigma \right)\ge 0$
. This is slightly more stringent, than 5.6 , where only
$\parallel {\sigma}^{+}\parallel =\parallel {\sigma}^{}\parallel $
is considered, but 5.6 will suffice in the next argument.
Theorem 5.4.
Let
$\varnothing \ne K\subset L\subset X$
be arbitrary sets. Assume 5.6 and that
$A(K,L)=\left\{a\right(K,L\left)\right\}$
. If there is a probability measure
${\mu}_{0}\in {\mathfrak{M}}_{1}\left(K\right)$
which is
$k$
invariant on
$L$
, then we have
$a(K,L)=w\left(K\right)$
and
${U}^{{\mu}_{0}}$
is constant
$w\left(K\right)$
(on
$L$
).

Proof.
Since
$A(K,L)=\left\{a\right(K,L\left)\right\}$
, we have that
$a(K,L)\in A(\mu ,L)$
for all
$\mu \in {\mathfrak{M}}_{1}\left(K\right)$
, so
${U}^{{\mu}_{0}}\left(x\right)=a(K,L)$
for all
$x\in L$
.
Applying
5.6 for
$\nu :={\mu}_{0}$
and arbitrary
$\mu \in {\mathfrak{M}}_{1}\left(K\right)$
, we obtain
$$\begin{array}{cc}0\le W(\mu {\mu}_{0})& ={\int}_{K}\left({U}^{\mu}\left(y\right)a(K,L)\right)d(\mu {\mu}_{0})\left(y\right)={\int}_{K}{U}^{\mu}\left(y\right)d(\mu {\mu}_{0})\left(y\right)=\end{array}$$ 
(5.7)

$$\begin{array}{cc}& =W\left(\mu \right){\int}_{K}{U}^{{\mu}_{0}}\left(x\right)d\mu \left(x\right)=W\left(\mu \right)a(K,L)\left(\mu \in {\mathfrak{M}}_{1}\right),\end{array}$$  
$$\begin{array}{}\end{array}$$  
hence for all
$\mu \in {\mathfrak{M}}_{1}\left(K\right)$
we have
$W\left(\mu \right)\ge a(K,L)$
. Taking infimum over all
$\mu \in {\mathfrak{M}}_{1}\left(K\right)$
yields
$w\left(K\right)\ge a(K,L)$
. On the other hand, 5.2 of Theorem 5.2 and
$R(K,L)\supseteq A(K,L)$
yield
$a(K,L)\ge w\left(K\right)$
, hence
$a(K,L)=w\left(K\right)$
, and also
${U}^{{\mu}_{0}}\equiv w\left(K\right)$
. □
Using that for continuous kernels one always has the uniqueness of the rendezvous numbers and the equality
$A(K,L)=R(K,L)$
, we arrive to the following corollary.
Corollary 5.5.
Let
$\varnothing \ne K$
be a compact set and
$k$
a continuous kernel. Assume 5.6 (or its equivalent discrete form, analogous to 5.4 ). If there is a probability measure
${\mu}_{0}\in {\mathfrak{M}}_{1}\left(K\right)$
which is
$k$
invariant on
$K$
, then we have
$r\left(K\right)=w\left(K\right)$
and
${U}^{{\mu}_{0}}$
is constant
$w\left(K\right)$
(on
$K$
).
Corollary 5.6 (Wolf).
Let the compact metric space
$(X,d)$
be hypermetric. If there is a
$d$
invariant probability measure
$\mu \in {\mathfrak{M}}_{1}\left(X\right)$
, then we have
$r\left(X\right)=E\left(X\right)$
. Furthermore, the potential of the
$d$
invariant measure is constant
$r\left(X\right)$
and is of maximal energy.

Proof.
Note that for compact
$X$
, the inequalities 5.4 and 5.5 are equivalent. Again we consider the continuous, symmetric, nonnegative kernel function
$k:=diam\left(X\right)d$
. By Theorem 5.4 ,
${r}_{k}\left(X\right)={w}_{k}\left(X\right)$
, and so
${r}_{d}\left(X\right)={E}_{d}\left(X\right)$
follows. Moreover,
${U}_{k}^{\mu}\left(x\right)\equiv {w}_{k}\left(K\right)$
implies the rest of the statement. □
Question 5.7.
Does there exist a true invariant measure for, e.g., the unit sphere
${S}_{{\ell}_{p}}$
?
Question 5.8.
Do we have an Eltontype “separation theorem” even in not locally compact spaces? In normed spaces?
Definition 5.9.
A measure
$\mu \in {\mathfrak{M}}_{1}\left(H\right)$
is termed “
$\varepsilon $
quasiinvariant on
$L$
” if
${sup}_{L}{U}^{\mu}{inf}_{L}{U}^{\mu}\le \varepsilon $
.
Question 5.10.
If the rendezvous number is unique, do we have a (quasi) converse:
Do there exist at least
$\varepsilon $
quasiinvariant measures?
This is interesting as there is way to conclude the argument of Theorem 5.4 from the very existence of such
$\varepsilon $
quasiinvariant measures.
Proposition 5.11.
Let
$X$
be any (not necessarily locally compact) Hausdorff topological space, and
$H,L\subset X$
be arbitrary with
$A(H,L)\ne \varnothing $
. Assume that for all
$\varepsilon >0$
there exists some
$\varepsilon $
quasiinvariant measure on
$L$
from
${\mathfrak{M}}_{1}\left(H\right)$
. Take any sequence
${\varepsilon}_{n}\to 0$
(
$n\to \infty $
) together with the corresponding measures
${\mu}_{n}\in {\mathfrak{M}}_{1}\left(H\right)$
,
${\varepsilon}_{n}$
quasiinvariant on
$L$
, and consider any values
${\rho}_{n}$
attained by the respective potentials
${U}^{{\mu}_{n}}$
on
$L$
. We then have
${\rho}_{n}\to a(H,L)$
as
$n\to \infty $
, where the average number exists uniquely, i.e.,
$A(H,L)=\left\{a\right(H,L\left)\right\}$

Proof.
By
${\varepsilon}_{n}$
quasiinvariance,
$A({\mu}_{n},L)\subset [{\rho}_{n}{\varepsilon}_{n},{\rho}_{n}+{\varepsilon}_{n}]$
. As the intersection of the sets
$A({\mu}_{n},L)$
contains
$A(H,L)$
, the intersection must be nonempty by condition. Therefore, the intersection is a diameter
$0$
nonempty subset – that is, a single point – of
$\mathbb{R}$
. However, as this set
$\left\{\rho \right\}$
contains the nonempty set
$A(H,L)$
, we conclude
$\rho =a(H,L)$
. It is clear that
${\rho}_{n}\to \rho $
as
$n\to \infty $
. □
Remark 5.12.
The analogue of the above proposition for the rendezvous numbers also hold, where
$R(H,L)$
,
$r(H,L)$
replace
$A(H,L)$
and
$a(H,L)$
respectively.
References

V. Anagnostopoulos, Sz. Gy. Revesz, Polarization constants for products of linear functionals over
${\mathbb{R}}^{2}$
and
${\mathbb{C}}^{2}$
and Chebyshev constants of the unit sphere, Publ. Math. Debrecen, to appear.

M. Baronti, E. Casini, P. L. Papini, On average distances and the geometry of Banach spaces, Nonlinear Anal., Theory Methods Appl. 42A (2000), no. 3, 533–541.

G. Bjorck, Distributions of positive mass, which maximize a certain generalized energy integral, Ark. Mat. 3 (1958), 255–269.

J. M. Cleary, S. A. Morris, D. Yost, Numerical geometry – numbers for shapes, Amer. Math. Monthly 93 (1986), 260–275.

B. Farkas, B. Nagy, Transfinite diameter, Chebyshev constant, and capacity on locally compact spaces, Alfréd Rényi Institute preprint series, Hung. Acad. Sci., 7/2004, 10 pages.

B. Farkas, Sz. Gy. Revesz, How magical rendezvous numbers are explained by potential theory?, Alfréd Rényi Institute preprint series, Hung. Acad. Sci., 2/2005, 21 pages; http://arxiv.org/abs/math.CA/0503423.

B. Farkas, Sz. Gy. Revesz, Rendezvous numbers in normed spaces, manuscript, 2005.

M. Fekete, Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzahligen Koeffizienten, Math. Z. 17 (1923), 228–249.

J. B. G. Frenk, G. Kassay, J. Kolumban, On equivalent results in minimax theory, European J. Oper. Res., 157, (2004), no. 1, 46–58.

B. Fuglede, On the theory of potentials in locally compact spaces, Acta Math. 103 (1960), 139–215.

J. C. GarcɪaVazquez, R. Villa, The average distance property of the spaces
${\ell}_{\infty}^{n}(\mathbb{C})$
and
${\ell}_{1}^{n}(\mathbb{C})$
, Arch. Math. 76 (2001), 222–230.

O. Gross, The rendezvous value of a metric space, In: Advances in Game Theory, Ann. of Math. Studies, 52, Princeton, 1964, pp. 49–53.

P. K. Lin, The average distance property of Banach spaces, Arch. Math. 68 (1997), 496–502.

S. A Morris, P. Nickolas, On the average distance property of compact connected metric spaces, Arch. Math. 40 (1983), 459–463.

P. Nickolas, D. Yost, The average distance property for subsets of euclidean spaces, Arch. Math. 50 (1988), 380–384.

P. Meyer–Nierberg, Banach lattices, Springer–Verlag, 1991.

Sz. Gy. Revesz, Y. Sarantopoulos, Plank problems, polarization, and Chebyshev constants, J. Korean Math. Soc., 41 (2004) no. 1, 157–174.

W. Stadje, A property of compact, connected spaces, Arch. Math. 36 (1981), 275–280.

J. Stranzen, An average distance result in Euclidean
$n$
space, Bull. Austral Math. Soc. 26 (1982), no. 3, 321–330.

C. Thomassen, The rendezvous number of a symmetric matrix and a compact connected metric space, Amer. Math. Monthly 107(2000), no. 2, 163–166.

K. Wolf, On the average distance property in finite dimensional real Banach spaces, Bull. Austral. Math. Soc. 51 (1994), 87–101.

K. Wolf, On the average distance property of spheres in Banach spaces, Arch. Math. 62 (1994), 338–344.

K. Wolf, On the average distance property and certain energy integrals, Ark. Mat. 35 (1997), 387–400.
Alfred Renyi Institute Hungarian Academy of Sciences Realtanoda u. 13–15 H1053, Budapest, Hungary Email address : farkasb@renyi.hu Email address : revesz@renyi.hu