Optimal quantizers for Radon random vectors in a Banach space

November 27, 2006

Abstract
For $n\in \mathbb{N},r\in \left(0,\infty \right)$  and a Radon random vector $X$  with values in a Banach space $E$  let ${e}_{n,r}\left(X,E\right)=inf\left(\mathbb{E}{min}_{a\in \alpha }\parallel X-a{\parallel }^{r}{\right)}^{1/r}$  , where the infimum is taken over all subsets $\alpha$  of $E$  with card $\left(\alpha \right)\le n$  ( $n$  -quantizers). We investigate the existence of optimal $n$  -quantizers for this ${L}^{r}$  -quantization propblem, derive their stationarity properties and establish for ${L}^{p}$  -spaces $E$  the pathwise regularity of stationary quantizers.
Key words: Functional quantization, optimal quantizer, stationary quantizer, stochastic process, intersection properties of balls.
2000 Mathematics Subject Classification: 41A46, 60B11, 94A29

1 Introduction

We investigate optimal quantizers and the quantization error in the functional ${L}^{r}$  -quantization problem for stochastic processes viewed as random variables in a Banach (function) space. So let $\left(E,\parallel \cdot \parallel \right)$  be a real Banach space and consider a Radon random variable $X:\left(\Omega ,\mathcal{A},\mathbb{P}\right)\to E$  which means that $X$  is Borel measurable and its distribution ${\mathbb{P}}_{X}$  is a Radon probability measure on $E$  .
For $n\in \mathbb{N}$  and $r\in \left(0,\infty \right)$  , the ${L}^{r}$  -quantization problem for $X$  of level $n$  consists in minimizing $\left(\mathbb{E}{min}_{a\in \alpha }\parallel X-a{\parallel }^{r}{\right)}^{1/r}=\parallel {min}_{a\in \alpha }\parallel X-a\parallel {\parallel }_{{L}^{r}\left(\mathbb{P}\right)}$  over all subsets $\alpha \subset E$  with $\text{card}\left(\alpha \right)\le n$  . Such a set $\alpha$  is called $n$  -codebook or $n$  -quantizer. The minimal $n$  th quantization error is then defined by
 $\begin{array}{c}{e}_{n,r}\left(X,E\right):=inf\left\{\left(\mathbb{E}{min}_{a\in \alpha }\parallel X-a{\parallel }^{r}{\right)}^{1/r}:\alpha \subset E,\text{card}\left(\alpha \right)\le n\right\}.\end{array}$ (1.1)
Under the integrability condition
 $\begin{array}{c}\mathbb{E}\parallel X{\parallel }^{r}<\infty \end{array}$ (1.2)
the quantity ${e}_{n,r}\left(X,E\right)$  is finite.
For a given $n$  -codebook $\alpha$  one defines an associated closest neighbour projection ${\pi }_{\alpha }:={\sum }_{a\in \alpha }a{1}_{{C}_{a}\left(\alpha \right)}$  and the induced $\alpha -quantizedversion$  (or $\alpha -quantization$  ) of $X$  by
 $\begin{array}{c}{\stackrel{^}{X}}^{\alpha }:={\pi }_{\alpha }\left(X\right),\end{array}$ (1.3)
where $\left\{{C}_{a}\left(\alpha \right):a\in \alpha \right\}$  is a Voronoi partition induced by $\alpha$  , that is a Borel partition of $E$  satisfying ${C}_{a}\left(\alpha \right)\subset \left\{x\in E:\parallel x-a\parallel ={min}_{b\in \alpha }\parallel x-b\parallel \right\}$  for every $a\in \alpha$  . Then one easily checks that, for any measurable random variable ${X}^{{}^{\prime }}:\Omega \to \alpha \subset E$  , $\mathbb{E}\parallel X-{X}^{{}^{\prime }}{\parallel }^{r}\ge \mathbb{E}\parallel X-{\stackrel{^}{X}}^{\alpha }{\parallel }^{r}=\mathbb{E}{min}_{a\in \alpha }\parallel X-a{\parallel }^{r}$  so that finally
 $\begin{array}{ccc}{e}_{n,r}\left(X,E\right)& =& inf\left\{\left(\mathbb{E}\parallel X-\stackrel{^}{X}{\parallel }^{r}{\right)}^{1/r}:\stackrel{^}{X}=f\left(X\right),f:E\to E\text{Borel measurable},\text{card}\left(f\left(E\right)\right)\le n\right\}\end{array}$
 $\begin{array}{ccc}& =& inf\left\{\left(\mathbb{E}\parallel X-\stackrel{^}{X}{\parallel }^{r}{\right)}^{1/r}:\stackrel{^}{X}:\Omega \to E\text{measurable},\text{card}\left(\stackrel{^}{X}\left(\Omega \right)\right)\le n\right\}.\end{array}$ (1.4)
Functional quantization of stochastic processes can thus be seen as a discretization of the path-space $E$  of a process and the approximation (coding) of a stochastic process by finitely many deterministic functions from its path-space. Typical settings are $E={L}^{p}\left(\left[0,1\right],dt\right)$  and $E=C\left(\left[0,1\right]\right)$  . Functional quantization is the natural extension to stochastic processes or Banach space valued random vectors of the so-called optimal vector quantization of random vectors in $E={\mathbb{R}}^{d}$  which has been extensively investigated since the late 1940's in Signal processing and Information Theory (see [9, [15). For the mathematical aspects of vector quantization in ${\mathbb{R}}^{d}$  , one may consult [13and for algorithmic aspects see [25.
Recently, the extension of optimal vector quantization to stochastic processes has given raise to many theoretical developments including the rate of convergence of the quantization errors ${e}_{n,r}\left(X\right)$  to zero as $n\to \infty$  and the construction of good or even rate optimal quantizers (see e.g. [6, [7, [8 [14, [21, [22, [23). For a first promising application to the pricing of financial derivatives through numerical integration on path-spaces see [26. In this paper we aim to develop general results on the existence of optimal quantizers and their properties.
The paper is organized as follows. In Section 2, a theorem about the existence of optimal $n$  -quantizers for $E$  -valued Radon random vectors lying in $E$  or in some suitable superspace $G\supset E$  is established under some very general assumptions. It relates existence to intersection properties of closed balls. This problem is connected with its bidual counterpart and enlightened by counterexamples.
Furthermore, bounds of the quantization errors ${e}_{n,r}\left(X,E\right)$  in terms of ${e}_{n,r}\left(X,G\right)$  for superspaces $G$  and in terms of marginals of $X$  for vector valued processes are derived. In Section 3 the stationarity property of optimal $n$  -quantizers is investigated. This turns out to be an essential key for the functional quantization of 1-dimensional diffusion processes (see [23). For smooth Banach spaces stationary quantizers are defined as the critical points of the distortion function. In the case of ${L}^{p}$  -spaces $E$  which are natural path-spaces of processes some pathwise regularity for these stationary quantizers is established. The result applies e.g. to Gaussian processes, $d$  -dimensional diffusion processes and certain Lévy processes.

2 Optimal quantizers and quantization errors

Let $X$  be a Radon $\left(E,\parallel \cdot \parallel \right)$  -valued random variable with distribution ${\mathbb{P}}_{X}$  . The Radon property of ${\mathbb{P}}_{X}$  means inner regularity w.r.t. compact sets and on Banach spaces it is the same as tightness which in turn is equivalent to the existence of a separable Borel measurable set with ${\mathbb{P}}_{X}$  -probability 1. It is to be noticed that if $\mathbb{P}\left(X\in F\right)=1$  for some Banach subspace $F$  of $E,X$  is Radon when viewed as $F$  -valued random variable. On the other hand, if $E$  is a Banach subspace of some Banach space $G$  then $X$  is also Radon as $G$  -valued random variable.
We will assume throughout this section that $X$  satisfies the integrability condition (1.2) for some $r\in \left(0,\infty \right)$  . Then
 $\begin{array}{c}{lim}_{n\to \infty }{e}_{n,r}\left(X,E\right)=0.\end{array}$ (2.1)
As a matter of fact, the support of ${\mathbb{P}}_{X}$  being separable there exists a countable subset $\left\{{a}_{n},n\ge 1\right\}$  everywhere dense in $\text{supp}\left({\mathbb{P}}_{X}\right)$  . It is clear that $0\le {e}_{n,r}^{r}\left(X,E\right)\le \mathbb{E}{min}_{1\le i\le n}\parallel X-{a}_{i}{\parallel }^{r}\to 0\text{as}n\to \infty$  by the Lebesgue dominated convergence Theorem. On the other hand, the existence of optimal quantizers, i.e. the fact that ${e}_{n,r}\left(X,E\right)$  actually stands as a minimum needs much more care.

2.1 Existence of optimal quantizers

$A$  set $\alpha \subset E\text{with}1\le \text{card}\left(\alpha \right)\le n$  is called an ${L}^{r}$  -optimal $n$  -quantizer for $X$  if
 $\begin{array}{c}\left(\mathbb{E}{min}_{a\in \alpha }\parallel X-a{\parallel }^{r}{\right)}^{1/r}={e}_{n,r}\left(X,E\right).\end{array}$ (2.2)
Let ${\mathcal{C}}_{n,r}\left(X,E\right)$  denote the set of all ${L}^{r}$  -optimal $n$  -quantizers for $X$  in $E$  .
We first provide some interesting properties of $n$  -optimal quantizers (they can be seen as necessary conditions for $n$  -optimality). Their proofs are literally the same as those (established in finite-dimension) of Theorem 4.1 and Theorem 4.2 in [13respectively. They are related with the Voronoi partitions induced by a $n$  -quantizer $\alpha$  : these are the Borel partitions $\left\{{C}_{a}\left(\alpha \right):a\in \alpha \right\}$  of $E$  which satisfy
 $\begin{array}{c}{C}_{a}\left(\alpha \right)\subset {V}_{a}\left(\alpha \right):=\left\{x\in E:\parallel x-a\parallel ={min}_{b\in \alpha }\parallel x-b\parallel \right\}.\end{array}$ (2.3)
Let us note that ${V}_{a}\left(\alpha \right)$  is closed and star-shaped relative for $a$  and for every $a\in \alpha$  , $\left\{x\in E:\parallel x-a\parallel <{min}_{b\in \alpha \\left\{a\right\}}\parallel x-a\parallel \right\}\subset {\stackrel{\circ }{C}}_{a}\left(\alpha \right)\subset \overline{{C}_{a}\left(\alpha \right)}\subset {V}_{a}\left(\alpha \right).$  Furthermore, as soon as $\left(E,\parallel .\parallel \right)$  is strictly convex ( $\text{1}$  ), any Voronoi partition satisfies for every $a\in \alpha$
 $\begin{array}{c}\overline{{C}_{a}\left(\alpha \right)}={V}_{a}\left(\alpha \right)\end{array}$ (2.4)
and ${\stackrel{\circ }{C}}_{a}\left(\alpha \right)={\stackrel{\circ }{V}}_{a}\left(\alpha \right)=\left\{x\in E:\parallel x-a\parallel <{min}_{b\in \alpha \\left\{a\right\}}\parallel x-b\parallel \right\}.$
Proposition 1 Assume that card $\left(\text{supp}\left({\mathbb{P}}_{{}_{X}}\right)\right)\ge n$  .
$\left(a\right)$  Let $\alpha \in {\mathcal{C}}_{n,r}\left(X,E\right)$  . Then card $\left(\alpha \right)=n$  and for every $a\in \alpha$  , ${\mathbb{P}}_{{}_{X}}\left({C}_{a}\left(\alpha \right)\right)>0\text{and}\left\{a\right\}\in {\mathcal{C}}_{1,r}\left({\mathbb{P}}_{{}_{X}}\left(\cdot |{C}_{a}\left(\alpha \right)\right),E\right).$  $\left(b\right)$  Assume that $E$  is smooth ( $\text{2}$  ) and strictly convex. If $\alpha \in {\mathcal{C}}_{n,r}\left(X,E\right)$  and $\left(r>1\right)\text{or}\left(r=1\text{and}\mathbb{P}\left(X\in \alpha \right)=0\right),$  then
 $\begin{array}{c}{\mathbb{P}}_{{}_{X}}\left({V}_{a}\left(\alpha \right)\cap {V}_{b}\left(\alpha \right)\right)=0\text{for every}a,b\in \alpha ,a\ne b.\end{array}$ (2.5)
Note that, under the strict convexity assumption, (2.5) is then equivalent to both $\left(\forall a\in \alpha ,{\mathbb{P}}_{{}_{X}}\left(\partial {C}_{a}\left(\alpha \right)\right)=0\right)\text{and}\left(\forall a\in \alpha ,{\mathbb{P}}_{{}_{X}}\left(\partial {V}_{a}\left(\alpha \right)\right)=0\right).$  The first results of existence for optimal quantizers are due to Cuesta-Albertos and Matràn [5and Pärna [24) for uniformly convex and reflexive Banach spaces, respectively. We provide an extension to Banach spaces having the property that the closed balls form a compact system. A system $\mathcal{K}$  of subsets of $E$  is called compact if each subsystem ${\mathcal{K}}_{0}$  of $\mathcal{K}$  which has the finite intersection property $\left(i.e.$  the intersection of each finite subsystem of ${\mathcal{K}}_{0}$  is not empty) has a nonempty intersection. Let $B\left(s,\rho \right)={B}_{E}\left(x,\rho \right):=\left\{y\in E:\parallel y-x\parallel \le \rho \right\}$  be the closed ball of radius $\rho$  centered at $x$  .
Definition 1 A pair $\left(F,G\right)$  consisting of a Banach space $G$  and a Banach subspace $F$  of $G$  is called admissible if $\left\{{B}_{G}\left(x,\rho \right):x\in F,\rho >0\right\}$  is a compact system in $G$  . $G$  is called admissible if $\left(G,G\right)$  is admissible.
The level $n$  ${L}^{r}$  -distortion function is defined by
 $\begin{array}{c}{D}_{n,r}^{X}:{E}^{n}\to {\mathbb{R}}_{+},{D}_{n,r}^{X}\left(a\right):=\mathbb{E}{min}_{1\le i\le n}\parallel X-{a}_{i}{\parallel }^{r}.\end{array}$ (2.6)
Theorem 1 Assume that ${\mathbb{P}}_{X}\left(F\right)=1$  for some Banach subspace $F$  of $E$  and that $\left(F,E\right)$  is admissible. Then, for every $n\in \mathbb{N}$  , ${\mathcal{C}}_{n,r}\left(X,E\right)\ne \varnothing .$
Proof. Fix $n\in \mathbb{N}$  . Let ${\tau }_{0}$  denote the topology on $E$  generated by the system $\left\{B\left(x,\rho {\right)}^{c}:x\in F,\rho >0\right\}$  and let $\tau$  be the product topology on ${E}^{n}$  (these topologies usually do not satisfy the Hausdorff axiom). The family $\left\{B\left(x,\rho \right):x\in F,\rho >0\right\}$  being a compact system in $E$  , one checks that $E$  is ${\tau }_{0}$  -quasi-compact( $\text{3}$  ). Consequently, ${E}^{n}$  is $\tau$  -quasi-compact. It is obvious that any lower semi-continuous (l.s.c.) function defined on ${E}^{n}$  then reaches a minimum. Hence, the proof amounts to showing that the distortion function ${D}_{n,r}^{X}:{E}^{n}\to {\mathbb{R}}_{+}$  is $\tau$  -lower semi-continuous.
For every $x\in F$  and $a\in {E}^{n}$  , set $d\left(x,a\right):={min}_{1\le i\le n}\parallel x-{a}_{i}\parallel$  . Then $\left\{a\in {E}^{n}:d\left(x,\cdot {\right)}^{r}\le c\right\}={\bigcup }_{i=1}^{n}\left\{a\in {E}^{n}:{a}_{i}\in B\left(x,{c}^{1/r}\right)\right\}$  is $\tau$  -closed for every $c\ge 0$  . Hence, $a↦d\left(x,a{\right)}^{r}$  is $\tau$  -lower semi-continuous. In turn any convex combination of such functions are $\tau$  -l.s.c. as well. This implies that ${D}_{n,r}^{X}$  (and $\left({D}_{n,r}^{X}{\right)}^{1/r}$  ) are $\tau$  -lower semi-continuous provided card $\left(\text{supp}\left({\mathbb{P}}_{{}_{X}}\right)\right)<\infty$  .
For general $X$  we will show that for every $c\ge 0,\left\{{D}_{n,r}^{X}>c\right\}$  is $\tau$  -open. First note that from (1.4) and (2.1), there exists a sequence of quantizations ${\stackrel{^}{X}}_{m}:\Omega \to F$  , card $\left({\stackrel{^}{X}}_{m}\left(\Omega \right)\right)\le m$  , such that ${lim}_{m}\parallel X-{\stackrel{^}{X}}_{m}{\parallel }_{{L}_{E}^{r}\left(\mathbb{P}\right)}=0.$  Consider first the case $r\ge 1$  . It follows from Minkowski's inequality that, for every $a\in {E}^{n}$  , $X↦\left({D}_{n,r}^{X}\left(a\right){\right)}^{1/r}$  is $1$  -Lipschitz on ${L}_{E}^{r}\left(\mathbb{P}\right)$  :
 $\begin{array}{ccc}|{D}_{n,r}^{X}\left(a{\right)}^{1/r}-{D}_{n,r}^{Y}\left(a{\right)}^{1/r}|& =& |\parallel d\left(X,a\right){\parallel }_{{L}^{r}\left(\mathbb{P}\right)}-\parallel d\left(Y,a\right){\parallel }_{{L}^{r}\left(\mathbb{P}\right)}|\end{array}$
 $\begin{array}{ccc}& \le & \parallel d\left(X,a\right)-d\left(Y,a\right){\parallel }_{{L}^{r}\left(\mathbb{P}\right)}\end{array}$
 $\begin{array}{ccc}& \le & \parallel X-Y{\parallel }_{{L}_{E}^{r}\left(\mathbb{P}\right)}.\end{array}$ (2.7)
Let $a\in \left\{\left({D}_{n,r}^{X}{\right)}^{1/r}>c\right\}$  . It follows from ( 2.7 ) that, the $\tau$  -open set $\left\{\left({D}_{n,r}^{{\stackrel{^}{X}}_{m}}{\right)}^{1/r}>c+\parallel X-{\stackrel{^}{X}}_{m}{\parallel }_{{L}_{E}^{r}\left(\mathbb{P}\right)}\right\}$  is always contained in $\left\{\left({D}_{n,r}^{X}{\right)}^{1/r}>c\right\}$  . Furthermore, it contains $a$  for large enough $m$  , still by ( 2.7 ).
Hence $\left\{\left({D}_{n,r}^{X}{\right)}^{1/r}>c\right\}$  is $\tau$  -open and ${D}_{n,r}^{X}$  is $\tau$  -l.s.c.
When $0  , one concludes the same way round, using now that $|{u}^{r}-{v}^{r}|\le |u-v{|}^{r}$  for every $u,v\in {\mathbb{R}}_{+}$  , one derives that for every $a\in {E}^{n}$  , $|{D}_{n,r}^{X}\left(a\right)-{D}_{n,r}^{Y}\left(a\right)|\le \mathbb{E}|d\left(X,a\right)-d\left(Y,a\right){|}^{r}\le \parallel X-Y{\parallel }_{{L}_{E}^{r}\left(\mathbb{P}\right)}^{r}.$  $\square$  In the non-quantization setting $n=1$  , Theorem 1 with $F=E$  is due to Herrndorf (see [16).
One easily checks that if $E$  is a 1-complemented closed subspace of some Banach space $G$  and $\left(E,G\right)$  is admissible, then $E$  is admissible. Here $E$  is said to be $c$  -complemented in $G\left(c\ge 1\right)$  if there is a linear projection $S$  from $G$  onto $E$  with $\parallel S\parallel \le c$  . An interesting case is $G={E}^{**}$  . One simply notes that the closed balls in the bidual ${E}^{**}$  of $E$  are ${\text{weak}}^{*}$  -compact and thus ${E}^{**}$  is admissible.
The following characterization is a slight generalization of Theorem 5.9 in [19.
Proposition 2 $\left(F,E\right)$  is admissible if and only if ${\bigcap }_{x\in F}{B}_{E}\left(x,\parallel z-x\parallel \right)\ne \varnothing \text{for every}z\in {E}^{**}.$  In particular, if $E$  is 1-complemented in its bidual ${E}^{**}$  , then $E$  is admissible.
An investigation of the admissibility feature of Banach spaces $E$  and the ball topology ${\tau }_{0}$  (with $F=E$  ) used in the proof of Theorem 1 can be found in [10, [11.
One derives for three main classes of Banach spaces the following corollary.
Corollary 1 In any of the following cases $E$  is 1-complemented in ${E}^{**}$  and hence, for every $n\in \mathbb{N},{\mathcal{C}}_{n,r}\left(X,E\right)\ne \varnothing$  .
(i) $E$  is a $KB$  (Kantorovich-Banach)-space.
(ii) $E$  is a dual space.
(iii) $E$  is an order complete AM-space with unit.
Proof. $\left(i\right)$  By definition, a Banach lattice that is a band in its bidual is a $KB$  -space. Since ${E}^{**}$  is an order complete Banach lattice, $E$  is a projection band in ${E}^{**}$  and the band projection from ${E}^{**}$  onto $E$  has norm 1. (cf. [28, Chap. II.5). $\left(ii\right)$  Dual spaces are clearly 1-complemented in their bidual.
$\left(iii\right)$  See [28, Chap. II.7. $\square$  The order complete AM-space without unit ${c}_{0}\left(\mathbb{N}\right)$  and the AM-space with unit $C\left(\left[0,1\right]\right)$  which is not order complete admit random variables $X$  without optimal $n$  -quantizers even for $n=1$  (see the subsequent counterexamples) In particular, both spaces are not admissible.
Example. ${L}_{{\mathbb{R}}^{d}}^{p}$  -spaces are equipped with the norm $\parallel f{\parallel }_{p}=\left(\int |f\left(t\right){|}_{p}^{p}d\mu \left(t\right){\right)}^{1/p}$  if $p\in \left[1,\infty \right)$  and $\parallel f{\parallel }_{{}_{\infty }}=\mu$  -ess sup $|f\left(t\right){|}_{\infty }$  if $p=\infty$  , where $|\cdot {|}_{p}$  denotes the ${\ell }^{p}$  -norm on ${\mathbb{R}}^{d}$  . ${L}_{{\mathbb{R}}^{d}}^{1}$  -spaces with respect to arbitrary measure spaces and are $AL$  -spaces and hence $KB$  -spaces. ${L}_{{\mathbb{R}}^{d}}^{p}$  -spaces, $1  , with respect to arbitrary measure spaces are reflective and hence dual spaces. ${L}_{{\mathbb{R}}^{d}}^{\infty }$  -spaces with respect to $\sigma$  -finite measure spaces are dual spaces and also order complete $AM$  -spaces with unit (cf. [28, Chap. IV 7).
Remarks. $\bullet$  Concerning the Banach spaces $E={L}_{{\mathbb{R}}^{d}}^{p}$  , the above theorem provides new existence results for the ${L}^{r}$  -optimal quantizers in the cases $p=1$  and $p=\infty$  .
$\bullet$  Any pathwise continuous process $\left({X}_{t}{\right)}_{t\in \left[0,1\right]}$  is an ${L}^{\infty }\left(\left[0,1\right],dt\right)$  -Radon random variable since $\left(\mathcal{C}\left(\left[0,1\right]\right),\parallel .{\parallel }_{\infty }\right)$  is a Polish subspace of $E={L}^{\infty }\left(\left[0,1\right],dt\right)$  (any probability on a Polish space is tight $i.e.$  Radon). The above existence theorem shows that if $\parallel X{\parallel }_{{}_{\infty }}\in {L}^{r}\left(\mathbb{P}\right)$  for some $r>0$  , then, for every $n\ge 1$  , $X$  has at least one ${L}^{r}$  -optimal $n$  -quantizer for the $\parallel .{\parallel }_{{}_{\infty }}$  -norm. However, nothing is known about the pathwise regularity of these optimal quantizers. Surprisingly, we will see in Section 3 that, for the same process, $\left({L}^{r},\parallel .{\parallel }_{{}_{p}}\right)$  -optimal $n$  -quantizers with $p<\infty$  have much more regular paths ( $i.e.$  considering $E={L}^{p}$  and $r\ge p$  ).
Optimal $1$  -quantizers may not exist in ${c}_{0}\left(\mathbb{N}\right)$  Let $\left(E,\parallel .\parallel \right)=\left({c}_{0}\left(\mathbb{N}\right),\parallel .{\parallel }_{{}_{\infty }}\right)$  where ${c}_{0}\left(\mathbb{N}\right)$  denotes the set of real valued sequences $x=\left({x}_{k}{\right)}_{k\ge 1}$  such that ${lim}_{k}{x}_{k}=0$  and $\parallel x{\parallel }_{{}_{\infty }}={sup}_{k}|{x}_{k}|$  .
Let $\left({u}^{\left(n\right)}{\right)}_{n\ge 1}$  denote the canonical basis of ${c}_{0}\left(\mathbb{N}\right)$  defined by ${u}_{k}^{\left(n\right)}={\delta }_{n,k}$  where ${\delta }_{i,j}$  is for the Kronecker symbol. One considers an $E$  -valued random vector $X$  supported by $\left\{{u}^{\left(n\right)},n\ge 1\right\}$  with a distribution ${p}_{n}=\mathbb{P}\left(X={u}^{\left(n\right)}\right),n\ge 1$  satisfying ${p}_{n}\in \left(0,1/2\right)$  for every $n\ge 1$  . Now ${E}^{*}={l}^{1}\left(\mathbb{N}\right)$  so that ${E}^{**}={\ell }^{\infty }\left(\mathbb{N}\right)$  . One checks that the assumption of Theorem 1 is not fulfilled either since the system $\left\{B\left({u}^{\left(n\right)},1/2\right),n\ge 1\right\}$  has an empty intersection whereas any finite subsystem has a nonempty intersection.
So let $n=1$  and $r=1$  . We will show that ${e}_{1,1}\left(X,{c}_{0}\left(\mathbb{N}\right)\right)=1/2\text{and}{\mathcal{C}}_{1,1}\left(X,{c}_{0}\left(\mathbb{N}\right)\right)=\varnothing .$  More precisely we will show that the corresponding level $1$  quantization problem extended to the Banach space ${\ell }^{\infty }\left(\mathbb{N}\right)$  does have a unique solution $a$  in ${\ell }^{\infty }\left(\mathbb{N}\right)$  given by ${a}_{k}=1/2,k\ge 1$  , that is ${\mathcal{C}}_{1,1}\left(X,{\ell }^{\infty }\left(\mathbb{N}\right)\right)=\left\{a\right\}$  which in turn implies that it admits no solution in ${c}_{0}\left(\mathbb{N}\right)$  . In fact, $\mathbb{E}\parallel X-a{\parallel }_{{}_{\infty }}={\sum }_{n=1}^{\infty }{p}_{n}\parallel {u}^{\left(n\right)}-a{\parallel }_{{}_{\infty }}=1/2.$  For an arbitrary $b\in {\ell }^{\infty }\left(\mathbb{N}\right)$  one gets the following: if $\parallel {u}^{\left({n}_{0}\right)}-b{\parallel }_{{}_{\infty }}<1/2$  for some ${n}_{0}\ge 1$  , then, for every $n\ne {n}_{0}$  , $\parallel {u}^{\left(n\right)}-b{\parallel }_{{}_{\infty }}\ge \parallel {u}^{\left(n\right)}-{u}^{\left({n}_{0}\right)}{\parallel }_{{}_{\infty }}-\parallel {u}^{\left({n}_{0}\right)}-b{\parallel }_{{}_{\infty }}=1-\parallel {u}^{\left({n}_{0}\right)}-b{\parallel }_{{}_{\infty }}.$  Hence
 $\begin{array}{ccc}\mathbb{E}\parallel X-b{\parallel }_{{}_{\infty }}& =& {\sum }_{n\ge 0}{p}_{n}\parallel {u}^{\left(n\right)}-b{\parallel }_{{}_{\infty }}\end{array}$ (2.8)
 $\begin{array}{ccc}& \ge & {\sum }_{n\ne {n}_{0}}{p}_{n}\left(1-\parallel {u}^{\left({n}_{0}\right)}-b{\parallel }_{{}_{\infty }}\right)+{p}_{{n}_{0}}\parallel {u}^{\left({n}_{0}\right)}-b{\parallel }_{{}_{\infty }}\end{array}$
 $\begin{array}{ccc}& =& 1-{p}_{{n}_{0}}-\left(1-2{p}_{{n}_{0}}\right)\parallel {u}^{\left({n}_{0}\right)}-b{\parallel }_{{}_{\infty }}\end{array}$
 $\begin{array}{ccc}& >& 1-{p}_{{n}_{0}}-\frac{1}{2}\left(1-2{p}_{{n}_{0}}\right)\end{array}$
 $\begin{array}{ccc}& =& 1/2.\end{array}$
In case $\parallel {u}^{\left(n\right)}-b{\parallel }_{{}_{\infty }}\ge 1/2$  for every $n\ge 1$  , one clearly obtains $\mathbb{E}\parallel X-b{\parallel }_{{}_{\infty }}={\sum }_{n\ge 1}{p}_{n}\parallel {u}^{\left(n\right)}-b{\parallel }_{{}_{\infty }}\ge 1/2.$  According to the above reasoning, any $b\in {\ell }^{\infty }\left(\mathbb{N}\right)$  that achieves the infimum must satisfy $\parallel {u}^{\left(n\right)}-b{\parallel }_{{}_{\infty }}=1/2$  for every $n\ge 1$  which clearly implies $b=a$  . Finally ${e}_{1,1}\left(X,{\ell }^{\infty }\left(\mathbb{N}\right)\right)=\mathbb{E}\parallel X-a{\parallel }_{{}_{\infty }}=1/2\text{and}\mathbb{E}\parallel X-b{\parallel }_{{}_{\infty }}>1/2,a\ne b,b\in {\ell }^{\infty }\left(\mathbb{N}\right).$  On the other hand, as a minimizing sequence from ${c}_{0}\left(\mathbb{N}\right)$  one may choose ${a}^{\left(m\right)}=\frac{1}{2}{\sum }_{n=1}^{m}{u}^{\left(n\right)},m\ge 1$  . Then $\mathbb{E}\parallel X-{a}^{\left(m\right)}{\parallel }_{{}_{\infty }}={\sum }_{n\ge 1}{p}_{n}\parallel {u}^{\left(n\right)}-{a}^{\left(m\right)}{\parallel }_{{}_{\infty }}=\frac{1}{2}{\sum }_{n=1}^{m}{p}_{n}+{\sum }_{n=m+1}^{\infty }{p}_{n}\stackrel{m\to +\infty }{⟶}1/2.$  Consequently, ${e}_{1,1}\left(X,{c}_{0}\left(\mathbb{N}\right)\right)=1/2$  and since $a/\in {c}_{0}\left(\mathbb{N}\right)$  , it follows that ${\mathcal{C}}_{1,1}\left(X,{c}_{0}\left(\mathbb{N}\right)\right)$  is empty.
This example is enlightened by the general Theorem  2 . This theorem solves the correspondence between the quantization problem in $E$  and in ${E}^{**}$  . It shows that the quantization error does not decrease when $X$  is seen as random vector in the bidual ${E}^{**}$  of $E$  and that the set of its optimal $n$  -quantizers as an $E$  -valued random vector is made up with those of its optimal $n$  -quantizers as an ${E}^{**}$  -valued random vector that lie in $E$  . In particular, ${\mathcal{C}}_{n,r}\left(X,E\right)=\varnothing$  corresponds to the phenomenon that any optimal $n$  -quantizer of ${\mathcal{C}}_{n,r}\left(X,{E}^{**}\right)$  has at least one element in ${E}^{**}\E$  : this is precisely what happens in the above example.
Theorem 2 $\left(a\right)$  We have for every $n\in \mathbb{N}$  , ${e}_{n,r}\left(X,E\right)={e}_{n,r}\left(X,{E}^{**}\right).$  In particular, ${\mathcal{C}}_{n,r}\left(X,E\right)=\left\{\alpha \in {\mathcal{C}}_{n,r}\left(X,{E}^{**}\right):\alpha \subset E\right\}.$  If card $\left(\text{supp}\left({\mathbb{P}}_{{}_{X}}\right)\right)\ge n$  , then ${e}_{1,r}\left(X,E\right)>\cdots >{e}_{n,r}\left(X,E\right)$  .
$\left(b\right)$  Assume that $E$  is admissible. Further assume $\text{supp}\left({\mathbb{P}}_{{}_{X}}\right)=E$  . Then ${\mathcal{C}}_{n,r}\left(X,E\right)={\mathcal{C}}_{n,r}\left(X,{E}^{**}\right).$
We first need the following equivariance properties contained in the lemma below.
Lemma 1 Let ${E}_{1}$  and ${E}_{2}$  be Banach spaces and let $X$  be a Radon ${E}_{1}$  -valued random vector satisfying $\mathbb{E}\parallel X{\parallel }^{r}<\infty$  .
If $S:{E}_{1}\to {E}_{2}$  is a bounded linear operator, then ${e}_{n,r}\left(S\left(X\right),{E}_{2}\right)\le \parallel S\parallel {e}_{n,r}\left(X,{E}_{1}\right).$  If $S:{E}_{1}\to {E}_{2}$  is a bijective linear isometry, $c>0$  and ${u}_{2}\in {E}_{2}$  , then ${e}_{n,r}\left(cS\left(X\right)+{u}_{2},{E}_{2}\right)=c{e}_{n,r}\left(X,{E}_{1}\right)\text{and}{\mathcal{C}}_{n,r}\left(cS\left(X\right)+{u}_{2},{E}_{2}\right)=cS\left({\mathcal{C}}_{n,r}\left(X,{E}_{1}\right)\right)+{u}_{2}.$
Proof. Let us prove $e.g.$  the first assertion. For any $\alpha \subset {E}_{1}$  with $1\le \text{card}\left(\alpha \right)\le n$  ,
 $\begin{array}{ccc}{e}_{n,r}\left(S\left(X\right),{E}_{2}\right)& \le & \left(\mathbb{E}{min}_{a\in \alpha }\parallel S\left(X\right)\right)-S\left(a\right){\parallel }^{r}{\right)}^{1/r}\end{array}$
 $\begin{array}{ccc}& \le & \parallel S\parallel \left(\mathbb{E}{min}_{a\in \alpha }\parallel X-a{\parallel }^{r}{\right)}^{1/r}\end{array}$
and thus the assertion. $\square$  Proof of Theorem  2 . $\left(a\right)$  The inequality ${e}_{n,r}\left(X,E\right)\ge {e}_{n,r}\left(X,{E}^{**}\right)$  is obvious. To prove the converse inequality assume first that $\text{supp}\left({\mathbb{P}}_{{}_{X}}\right)$  is finite. Let $\alpha \in {\mathcal{C}}_{n,r}\left(X,{E}^{**}\right)$  and let $G$  denote the linear subspace of ${E}^{**}$  spanned by $\text{supp}\left({\mathbb{P}}_{{}_{X}}\right)\cup \alpha$  . Since $G$  is finite-dimensional, there exists by local reflexivity of $E$  , for every $\varepsilon >0$  , a bounded linear operator $S:G\to E$  satisfying $\parallel S\parallel \le 1+\varepsilon$  and $S\left(x\right)=x$  for every $x\in G\cap E$  . (cf. [20Lemma 1.e.6). Using Lemma 1, one derives
 $\begin{array}{ccc}{e}_{n,r}\left(X,E{\right)}^{r}& \le & \mathbb{E}{min}_{b\in S\left(\alpha \right)}\parallel X-b{\parallel }^{r}=\mathbb{E}{min}_{a\in \alpha }\parallel S\left(X\right)-S\left(a\right){\parallel }^{r}\end{array}$
 $\begin{array}{ccc}& \le & \left(1+\varepsilon {\right)}^{r}{e}_{n,r}\left(X,{E}^{**}{\right)}^{r}.\end{array}$
Hence ${e}_{n,r}\left(X,E\right)\le {e}_{n,r}\left(X,{E}^{**}\right).$  For general $X$  and $\varepsilon >0$  , choose a quantization ${\stackrel{^}{X}}_{m}:\Omega \to E$  of $X$  , card $\left({\stackrel{^}{X}}_{m}\left(\Omega \right)\right)\le m$  , for sufficiently large $m$  such that
 $\begin{array}{ccc}\parallel X-{\stackrel{^}{X}}_{m}{\parallel }_{{L}_{E}^{r}\left(\mathbb{P}\right)}^{1\wedge r}\le \varepsilon .& & \end{array}$
Then, $|\left({e}_{n,r}\left(X,E\right){\right)}^{r\wedge 1}-\left({e}_{n,r}\left({\stackrel{^}{X}}_{m},E\right){\right)}^{r\wedge 1}|\le \varepsilon$  and $|\left({e}_{n,r}\left(X,{E}^{**}\right){\right)}^{r\wedge 1}-\left({e}_{n,r}\left({\stackrel{^}{X}}_{m},{E}^{**}\right){\right)}^{r\wedge 1}|\le \parallel X-{\stackrel{^}{X}}_{m}{\parallel }_{{L}_{E}^{r}\left(\mathbb{P}\right)}^{1\wedge r}\le \varepsilon .$  Since card $\left(\text{supp}\left({\mathbb{P}}_{{}_{{\stackrel{^}{X}}_{m}}}\right)\right)\le m<\infty$  , we have ${e}_{n,r}\left({\stackrel{^}{X}}_{m},E\right)={e}_{n,r}\left({\stackrel{^}{X}}_{m},{E}^{**}\right)$  . This yields $|\left({e}_{n,r}\left(X,E\right){\right)}^{r\wedge 1}-\left({e}_{n,r}\left(X,{E}^{**}\right){\right)}^{r\wedge 1}|\le 2\varepsilon .$  Hence ${e}_{n,r}\left(X,E\right)={e}_{n,r}\left(X,{E}^{**}\right)$  . Furthermore, since ${\mathcal{C}}_{n,r}\left(X,{E}^{**}\right)\ne \varnothing$  by Corollary 1, it follows from Proposition  1  $\left(a\right)$  that $\left({e}_{j,r}\left(X,{E}^{**}\right){\right)}_{1\le j\le n}$  is strictly decreasing provided card $\left(\text{supp}\left({\mathbb{P}}_{{}_{X}}\right)\right)\ge n$  .
$\left(b\right)$  The inclusion ${\mathcal{C}}_{n,r}\left(X,E\right)\subset {\mathcal{C}}_{n,r}\left(X,{E}^{**}\right)$  follows from $\left(a\right)$  . To prove the converse inclusion, we may assume $\text{dim}E\ge 1$  . Let $\alpha \in {\mathcal{C}}_{n,r}\left(X,{E}^{**}\right)$  . By Proposition 2, for every $a\in \alpha$  there exists ${b}_{a}\in E$  such that for every $x\in E$  , $\parallel {b}_{a}-x\parallel \le \parallel a-x\parallel .$  Setting $\beta =\left\{{b}_{a}:a\in \alpha \right\}$  this implies $\beta \in {\mathcal{C}}_{n,r}\left(X,E\right)$  and that the closed set $A:=\left\{x\in E:{min}_{b\in \beta }\parallel x-b\parallel ={min}_{a\in \alpha }\parallel x-a\parallel \right\}$  satisfies ${\mathbb{P}}_{{}_{X}}\left(A\right)=1$  . Therefore, $A=E$  and in particular, $\beta \subset A$  . One obtains ${min}_{a\in \alpha }\parallel b-a\parallel =0$  for every $b\in \beta$  and hence, $\beta \subset \alpha$  . By Proposition  1  $\left(a\right)$  , we have card $\left(\alpha \right)=\text{card}\left(\beta \right)=n$  which yields $\beta =\alpha$  . Hence $\alpha \in {\mathcal{C}}_{n,r}\left(X,E\right)$  . $\square$  Remark. It is to be noticed that the situation ${\mathcal{C}}_{1,r}\left(X,E\right)=\varnothing$  never occurs for Gaussian (Radon) random vectors $X$  . In view of Lemma 1, we may assume without loss of generality that $X$  is centered. Let $r>0$  . It follows from the Anderson inequality ([18) that, for every $a\in E$  , $\mathbb{E}\parallel X-a{\parallel }^{r}={\int }_{0}^{+\infty }\mathbb{P}\left(\parallel X-a{\parallel }^{r}\ge t\right)dt\ge {\int }_{0}^{+\infty }\mathbb{P}\left(\parallel X{\parallel }^{r}\ge t\right)dt=\mathbb{E}\parallel X{\parallel }^{r}$  so that $\left\{0\right\}\in {\mathcal{C}}_{1,r}\left(X,E\right)\ne \varnothing$  . However, it remains an open question whether ${\mathcal{C}}_{n,r}\left(X,E\right)$  may be empty for $n\ge 2$  or not.
An immediate consequence of Theorem 2(a) is as follows. Let us call a Banach subspace $F$  of $E$  locally $c$  -complemented $\left(c\ge 1\right)$  if there is a linear operator $S:E\to {F}^{**}$  of norm $\parallel S\parallel \le c$  satisfying $S\left(x\right)=x$  for every $x\in F$  . Notice that local 1-complementation coincides with the notion of an ideal introduced in [12.
Corollary 2 Assume that ${\mathbb{P}}_{X}\left(F\right)=1$  for some Banach subspace $F$  of $E$  and that $F$  is locally 1-complemented in $E$  . Then, for every $n\in \mathbb{N}$  , ${e}_{n,r}\left(X,F\right)={e}_{n,r}\left(X,E\right).$  In particular, ${\mathcal{C}}_{n,r}\left(X,F\right)\ne \varnothing$  implies ${\mathcal{C}}_{n,r}\left(X,E\right)\ne \varnothing$  .
Proof. It follows from Theorem 2(a) and Lemma 1 that
 $\begin{array}{ccc}{e}_{n,r}\left(X,F\right)& =& {e}_{n,r}\left(X,{F}^{**}\right)={e}_{n,r}\left(S\left(X\right),{F}^{**}\right)\end{array}$
 $\begin{array}{ccc}& \le & \parallel S\parallel {e}_{n,r}\left(X,E\right)={e}_{n,r}\left(X,E\right)\le {e}_{n,r}\left(X,F\right).\end{array}$
$\square$  One observes that the preceding corollary contains Theorem 2(a) since $E$  is obviously locally 1-complemented in ${E}^{**}$  .
Example $\bullet$  AM-spaces $F$  are locally 1-complemented as Banach subspace in any Banach space $E$  . In fact, since ${F}^{**}$  is an order complete AM-space with unit, this feature follows from Theorem II.7.10 in [28. For instance, if $E=C\left(T\right)$  for some compact metric space $T$  and $F=\left\{f\in C\left(T\right):f\left(t\right)=0\text{for all}t\in {T}_{0}\right\}$  for some closed subset ${T}_{0}$  of $T$  , then $F$  is a closed vector sublattice of the AM-space $C\left(T\right)$  and thus an AM-space. $\bullet$  AL-spaces $F$  are 1-complemented as Banach sublattice in any Banach lattice $E$  (see [28, II.8). Finite dimensional subspaces of dimension $d\ge 2$  are admissible but not necessarily (locally) 1-complemented. In fact, it may happen that ${\mathbb{P}}_{X}\left(F\right)=1$  for some 2-dimensional subspace $F$  of $E$  and ${\mathcal{C}}_{n,r}\left(X,E\right)=\varnothing$  even for $n=1$  . In particular, $\left(F,E\right)$  is not admissible. The following example is taken from Herrndorf [16.
A counterexample when dim $F=2$  Let ${\ell }^{1}\left(\mathbb{N}\right)$  be equipped with the ${\ell }^{1}$  -norm $\parallel x\parallel ={\sum }_{j=1}^{\infty }|{x}_{j}|$  .
Let $\left({u}^{\left(n\right)}{\right)}_{n\ge 1}$  be the canonical basis of ${\ell }^{1}\left(\mathbb{N}\right)$  and set ${v}^{\left(1\right)}:=0,{v}^{\left(2\right)}:={u}^{\left(1\right)}-{u}^{\left(2\right)}$  and ${v}^{\left(3\right)}:={u}^{\left(1\right)}-{u}^{\left(3\right)}$  . Consider the ${\ell }^{1}\left(\mathbb{N}\right)$  -valued random variable $X$  supported by $\left\{{v}^{\left(1\right)},{v}^{\left(2\right)},{v}^{\left(3\right)}\right\}$  with $\mathbb{P}\left(X={v}^{\left(i\right)}\right)=1/3$  . Let $F$  denote the linear span of $\left\{{v}^{\left(2\right)},{v}^{\left(3\right)}\right\}$  in ${\ell }^{1}\left(\mathbb{N}\right)$  . So $\mathbb{P}\left(X\in F\right)=1$  and dim $F=2$  .
Let $n=1$  and $r=1$  . First will show that ${e}_{1,1}\left(X,F\right)=4/3,{e}_{1,1}\left(X,{\ell }^{1}\left(\mathbb{N}\right)\right)=1$  and ${\mathcal{C}}_{1,1}\left(X,{\ell }^{1}\left(\mathbb{N}\right)\right)=\left\{\left\{{u}^{\left(1\right)}\right\}\right\}.$  In fact, $\mathbb{E}\parallel X-{u}^{\left(1\right)}\parallel =\frac{1}{3}{\sum }_{i=1}^{3}\parallel {v}^{\left(i\right)}-{u}^{\left(1\right)}\parallel =1.$  On the other hand, once noticed that $\parallel {v}^{\left(i\right)}-{v}^{\left(j\right)}\parallel =2$  for $i\ne j$  , one shows like in the previous counterexample that for every $a\in {\ell }^{1}\left(\mathbb{N}\right),\mathbb{E}\parallel X-a\parallel =\frac{1}{3}{\sum }_{i=1}^{3}\parallel {v}^{\left(i\right)}-a\parallel \ge 1$  and that any ${L}^{1}$  -optimal 1-quantizer $a\in {\ell }^{1}\left(\mathbb{N}\right)$  must satisfy $\parallel {v}^{\left(i\right)}-a\parallel =1$  for every $i\in \left\{1,2,3\right\}$  which implies $a={u}^{\left(1\right)}$  . As for ${e}_{1,1}\left(X,F\right)$  , observe that $\mathbb{E}\parallel X-{v}^{\left(i\right)}\parallel =4/3,i\in \left\{1,2,3\right\}.$  Any $a\in F$  can be written as $a=\left(s+t\right){u}^{\left(1\right)}-s{u}^{\left(2\right)}-t{u}^{\left(3\right)},s,t\in \mathbb{R}$  , so that
 $\begin{array}{ccc}{\sum }_{i=1}^{3}\parallel {v}^{\left(i\right)}-a\parallel & =& |s+t|+|s|+|t|+|1-s-t|+|1-s|+|t|\end{array}$
 $\begin{array}{ccc}& & +|1-s-t|+|s|+|1-t|\end{array}$
 $\begin{array}{ccc}& \ge & 4\end{array}$
since $|1-t|+|t|\ge 1,t\in \mathbb{R}$  . This yields ${e}_{1,1}\left(X,F\right)=4/3$  .
Now we construct a Banach subspace $E$  of ${\ell }^{1}\left(\mathbb{N}\right)$  such that $F\subset E$  and ${\mathcal{C}}_{1,1}\left(X,E\right)=\varnothing .$  Choose $c=\left({c}_{j}{\right)}_{j\ge 1}\in {\ell }^{\infty }\left(\mathbb{N}\right)$  such that ${c}_{1}={c}_{2}={c}_{3}=1$  and $\left({c}_{j}{\right)}_{j\ge 3}$  is strictly increasing with $\parallel c{\parallel }_{\infty }={sup}_{j\ge 1}|{c}_{j}|>3$  . Define $E$  as the hyperplane $E:=\left\{x\in {\ell }^{1}\left(\mathbb{N}\right):{\sum }_{j=1}^{\infty }{x}_{j}{c}_{j}=0\right\}.$  Then $F\subset E$  . For $k\ge 4$  , set ${a}^{\left(k\right)}:={u}^{\left(1\right)}-\frac{1}{{c}_{k}}{u}^{\left(k\right)}$  . One obtains ${a}^{\left(k\right)}\in E$  and $\mathbb{E}\parallel X-{a}^{\left(k\right)}\parallel =\frac{1}{3}{\sum }_{i=1}^{3}\parallel {v}^{\left(i\right)}-{a}^{\left(k\right)}\parallel =1+1/{c}_{k}.$  Consequently, ${e}_{1,1}\left(X,E\right)\le 1+1/\parallel c{\parallel }_{\infty }<4/3={e}_{1,1}\left(X,F\right).$  For an arbitray $a\in E$  one gets the following: if ${a}_{j}=0$  for $j\ge 4$  , then $a\in F$  and hence $\mathbb{E}\parallel X-a\parallel \ge 4/3>{e}_{1,1}\left(X,E\right)$  . If ${a}_{j}\ne 0$  for some $j\ge 4$  , a can be strictly improved. Set $b:=a-{a}_{j}{u}^{\left(j\right)}+{a}_{j}{c}_{j}{c}_{j+1}^{-1}{u}^{\left(j+1\right)}.$  One checks that $b\in E$  and for every $i\in \left\{1,2,3\right\}$  , $\parallel {v}^{\left(i\right)}-b\parallel ={\sum }_{k=1}^{3}|{v}_{k}^{\left(i\right)}-{a}_{k}|+{\sum }_{\genfrac{}{}{0}{}{k\ge 4}{k\ne j,j+1}}|{a}_{k}|+|{b}_{j}|+|{b}_{j+1}|<\parallel {v}^{\left(i\right)}-a\parallel .$  This implies $\mathbb{E}\parallel X-b\parallel <\mathbb{E}\parallel X-a\parallel .$  Consequently, ${\mathcal{C}}_{1,1}\left(X,E\right)=\varnothing$  .

$\text{1}$  $i.e.$  ${B}_{E}\left(0,1\right)$  is a strictly convex set:

$\forall x,y\in {S}_{E}\left(0,1\right),x\ne y,\forall \lambda \in \left(0,1\right),\parallel \lambda x+\left(1-\lambda \right)y\parallel <1$  .

$\text{3}$  $i.e.$  satisfies the Borel-Lebesgue axiom – from any open covering one may extract a finite open covering – but possibly not the Hausdorff axiom.

2.2 Optimal quantizers for continuous stochastic processes

Now we turn to ${\mathbb{R}}^{d}$  -valued pathwise continuous processes $X=\left({X}_{t}{\right)}_{t\in T}$  indexed by a compact metric space $T$  . The space $E:={C}_{{\mathbb{R}}^{d}}\left(T\right)$  of ${\mathbb{R}}^{d}$  -valued continuous functions on $T$  and the space ${M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)$  of bounded, ${\mathbb{R}}^{d}$  -valued, Borel measurable functions on $T$  are Banach spaces under the norm
 $\begin{array}{c}\parallel f{\parallel }_{sup}:={sup}_{t\in T}|f\left(t\right){|}_{{}_{\infty }}\end{array}$ (2.9)
where $|\cdot {|}_{{}_{\infty }}$  denotes the ${\ell }^{\infty }$  -norm on ${\mathbb{R}}^{d}$  . Since ${C}_{{\mathbb{R}}^{d}}\left(T\right)$  is separable, $X$  is Radon when viewed as ${C}_{{\mathbb{R}}^{d}}\left(T\right)$  -valued random variable. Consequently, $X$  is Radon as ${M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)$  -random variable.
Theorem 3 Let $T$  be compact metric space. Then the pair $\left({C}_{{\mathbb{R}}^{d}}\left(T\right),{M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)\right)$  is admissible under the norm (2.9). In particular, if $X=\left({X}_{t}{\right)}_{t\in T}$  is a ${\mathbb{R}}^{d}$  -valued pathwise continuous process with $\mathbb{E}\parallel X{\parallel }_{sup}^{r}<\infty$  , then for every $n\in \mathbb{N}$  ,
${\mathcal{C}}_{n,r}\left(X,{M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)\right)\ne \varnothing .$  The proof of Theorem 3 is based on the admissibility of ${L}_{{\mathbb{R}}^{d}}^{\infty }$  -spaces and the following “lifting property”.
Lemma 2 Let $\mu$  be a finite Borel measurable on the compact metric space $T$  with $\text{supp}\left(\mu \right)=T$  .
Then for every $h\in {M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)$  there exists $g\in {M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)$  such that $g=h\mu$  -a.e. and $\parallel f-g{\parallel }_{sup}=\parallel f-h{\parallel }_{{}_{\infty }}\text{for every}f\in {C}_{{\mathbb{R}}^{d}}\left(T\right)$  where
 $\begin{array}{c}\parallel h{\parallel }_{{}_{\infty }}:=\mu \text{-esssup}|h{|}_{{}_{\infty }}.\end{array}$ (2.10)
Proof. One notes that for $h=\left({h}_{1},\dots ,{h}_{d}\right)\in {M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)$  , $\parallel h{\parallel }_{sup}={max}_{1\le i\le d}\parallel {h}_{i}{\parallel }_{sup}$  and $\parallel h{\parallel }_{{}_{\infty }}={max}_{1\le i\le d}\parallel {h}_{i}{\parallel }_{{}_{\infty }}.$  Therefore, it is enough to consider the case $d=1$  . Set $C\left(T\right)={C}_{\mathbb{R}}\left(T\right)$  and ${M}^{b}\left(T\right)={M}_{\mathbb{R}}^{b}\left(T\right)$  . Let $D$  be a countable dense subset of $C\left(T\right)$  . Observe that the norms $\parallel \cdot {\parallel }_{{}_{\infty }}$  and $\parallel \cdot {\parallel }_{sup}$  coincide on $C\left(T\right)$  . This is a consequence of the assumption $\text{supp}\left(\mu \right)=T$  . Let $h\in {M}^{b}\left(T\right)$  . For $f\in C\left(T\right)$  , set ${c}_{f}:=\parallel f-h{\parallel }_{{}_{\infty }}.$  Then ${N}_{f}^{+}:=\left\{t\in T:f\left(t\right)-h\left(t\right)>{c}_{f}\right\}$  and ${N}_{f}^{-}:=\left\{t\in T:h\left(t\right)-f\left(t\right)>{c}_{f}\right\}$  are Borel subsets of $T$  with $\mu$  -measure zero. Consequently, $N:={\bigcup }_{f\in D}\left({N}_{f}^{+}\cup {N}_{f}^{-}\right)$  satisfies $\mu \left(N\right)=0$  . Since for every $t\in T\N$  and $f\in D$  , $f\left(t\right)-h\left(t\right)\le {c}_{f}\text{and}h\left(t\right)-f\left(t\right)\le {c}_{f}$  one obtains
 $\begin{array}{c}{sup}_{t\in K\N}|f\left(t\right)-h\left(t\right)|\le {c}_{f},f\in D.\end{array}$ (2.11)
The construction of the function $g$  is given in two steps.
Step 1. For $\varepsilon >0$  and $t\in T$  , let $d\left(t,\varepsilon \right):=\mu \text{-esssup}{h}_{|U\left(t,\varepsilon \right)},$  where $U\left(t,\varepsilon \right)$  denotes the open ball in $T$  of radius $\varepsilon$  centered at $t$  . Define the “upper limit function” $\stackrel{^}{h}:T\to \mathbb{R}$  of $h$  by $\stackrel{^}{h}\left(t\right):={lim}_{\varepsilon ↓0}d\left(t,\varepsilon \right).$  One easily checks that for any Borel subset $A$  of $T$  , the function $T\to \mathbb{R},t↦\mu \left(U\left(t,\varepsilon \right)\cap A\right)$  is Borel. Therefore, for every $a\in \mathbb{R}$  ,
 $\begin{array}{ccc}\left\{t\in T:\stackrel{^}{h}\left(t\right)
 $\begin{array}{ccc}& =& {\bigcup }_{n\in \mathbb{N}}{\bigcup }_{m\in \mathbb{N}}\left\{t\in T:\mu \left(U\left(t,\frac{1}{n}\right)\cap \left\{h>a-\frac{1}{m}\right\}\right)=0\right\}\end{array}$
is a Borel set and thus $\stackrel{^}{h}$  is Borel measurable. The function $\stackrel{^}{h}$  has the following property: for every $t\in N$  there exists a sequence $\left({t}_{n}\right)$  in $T\N$  such that ${lim}_{n\to \infty }{t}_{n}=t$  and ${lim}_{n\to \infty }h\left({t}_{n}\right)=\stackrel{^}{h}\left(t\right)$  .
In fact, let $t\in N$  and let ${\varepsilon }_{n}↓0$  so that $\stackrel{^}{h}\left(t\right)={lim}_{n\to \infty }d\left(t,{\varepsilon }_{n}\right)$  . For every $n\in \mathbb{N}$  , there exists ${t}_{n}\in U\left(t,{\varepsilon }_{n}\right)\N$  such that $d\left(t,{\varepsilon }_{n}\right)-\frac{1}{n}  This implies ${lim}_{n\to \infty }h\left({t}_{n}\right)=\stackrel{^}{h}\left(t\right)\text{and}{lim}_{n\to \infty }{t}_{n}=t.$  Step 2. Define $g:T\to \mathbb{R}$  by $g\left(t\right):=\left\{\begin{array}{cc}\stackrel{^}{h}\left(t\right)& ,t\in N\\ h\left(t\right)& ,t\in T\N.\end{array}$  We show that $g$  has the required properties. Observe that $g$  is Borel measurable, $g=h\mu$  -a.e. and $\parallel g{\parallel }_{sup}\le \parallel h{\parallel }_{sup}<\infty$  . Let $f\in D$  If $t\in T\N$  , then $g\left(t\right)=h\left(t\right)$  and hence by (2.4), $|f\left(t\right)-g\left(t\right)|\le {c}_{f}$  .
By step 1, if $t\in N$  , there exists a sequence $\left({t}_{n}\right)$  in $T\N$  such that $lim{t}_{n}=t$  and $limh\left({t}_{n}\right)=\stackrel{^}{h}\left(t\right)$  .
Therefore,
 $\begin{array}{ccc}|f\left(t\right)-g\left(t\right)|& =& |f\left(t\right)-\stackrel{^}{h}\left(t\right)|=|{lim}_{n\to \infty }f\left({t}_{n}\right)-{lim}_{n\to \infty }h\left({t}_{n}\right)|\end{array}$
 $\begin{array}{ccc}& =& {lim}_{n\to \infty }|f\left({t}_{n}\right)-h\left({t}_{n}\right)|\end{array}$
 $\begin{array}{ccc}& \le & {sup}_{s\in T\N}|f\left(s\right)-h\left(s\right)|\le {c}_{f}.\end{array}$
Consequently,
 $\begin{array}{c}\parallel f-g{\parallel }_{sup}\le {c}_{f},f\in D.\end{array}$ (2.12)
Now let $f\in C\left(T\right)$  . There exists a sequence $\left({f}_{n}\right)$  in $D$  such that ${lim}_{n\to \infty }\parallel f-{f}_{n}{\parallel }_{sup}=0$  . For every $t\in T$  ,
 $\begin{array}{ccc}|f\left(t\right)-g\left(t\right)|& =& |{lim}_{n\to \infty }{f}_{n}\left(t\right)-g\left(t\right)|={lim}_{n\to \infty }|{f}_{n}\left(t\right)-g\left(t\right)|\end{array}$
 $\begin{array}{ccc}& \le & {limsup}_{n\to \infty }{c}_{{f}_{n}}.\end{array}$
Since ${c}_{{f}_{n}}=\parallel {f}_{n}-h{\parallel }_{{}_{\infty }}\le \parallel {f}_{n}-f{\parallel }_{sup}+{c}_{f}$  one obtains
 $\begin{array}{c}\parallel f-g{\parallel }_{sup}\le {limsup}_{n\to \infty }{c}_{{f}_{n}}\le {c}_{f}.\end{array}$ (2.13)
Conversely, we clearly have ${c}_{f}=\parallel f-h{\parallel }_{{}_{\infty }}=\parallel f-g{\parallel }_{{}_{\infty }}\le \parallel f-g{\parallel }_{sup}.$  $\square$  Proof of Theorem 3. Let $\mathcal{K}=\left\{{B}_{{M}^{b}}\left({f}_{i},{\rho }_{i}\right):i\in I\right\}$  be a system of closed balls in ${M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)$  with centers ${f}_{i}\in {C}_{{\mathbb{R}}^{d}}\left(T\right)$  satisfying the finite intersection property. Choose a finite Borel measure $\mu$  on $T$  such that $\text{supp}\left(\mu \right)=T$  and consider the system $\stackrel{~}{\mathcal{K}}=\left\{{B}_{{L}^{\infty }}\left(S{f}_{i},{\rho }_{i}\right):i\in I\right\}$  of corresponding closed balls in ${L}_{{\mathbb{R}}^{d}}^{\infty }\left(\mu \right)$  under the norm $\parallel \cdot {\parallel }_{\infty }$  (see (2.10)) where $S:{M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)\to {L}_{{\mathbb{R}}^{d}}^{\infty }\left(\mu \right)$  denotes the quotient map. It is obvious that $\stackrel{~}{\mathcal{K}}$  also has the finite intersection property. Since ${L}_{{\mathbb{R}}^{d}}^{\infty }\left(\mu \right)$  is admissible by Proposition 2 and Corollary 1, $\stackrel{~}{\mathcal{K}}$  has a nonempty intersection. Let $S\left(h\right)$  be a member of this intersection. Lemma 2 implies that there is a function $g\in {M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)$  such that $g=h\mu$  -a.e.
and $\parallel {f}_{i}-g{\parallel }_{sup}=\parallel {f}_{i}-h{\parallel }_{{}_{\infty }}=\parallel S{f}_{i}-Sh{\parallel }_{\infty }\text{for every}i\in I.$  Consequently, $g$  belongs to the intersection of $\mathcal{K}$  . This yields the required admissibility. $\square$  One derives from Corollary 2 that the quantization error does not decrease when $X$  is seen as ${M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)$  -or even ${L}_{{\mathbb{R}}^{d}}^{\infty }\left(\mu \right)$  -valued random variable.
Theorem 4 Assume that $X=\left({X}_{t}{\right)}_{t\in T}$  is a ${\mathbb{R}}^{d}$  -valued pathwise continuous process indexed by a compact metric space $T$  with $\mathbb{E}\parallel X{\parallel }_{sup}^{r}<\infty$  . . Let $\mu$  be a finite Borel measure on $T$  with $\text{supp}\left(\mu \right)=T$  . Then for every $n\in \mathbb{N}$  , ${e}_{n,r}\left(X,{C}_{{\mathbb{R}}^{d}}\left(T\right)\right)={e}_{n,r}\left(X,{M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)\right)={e}_{n,r}\left(X,{L}_{{\mathbb{R}}^{d}}^{\infty }\left(\mu \right)\right),$  where ${C}_{{\mathbb{R}}^{d}}\left(T\right)$  and ${M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)$  are equipped with the sup-norm (2.9) and ${L}_{{\mathbb{R}}^{d}}^{\infty }\left(\mu \right)$  is equipped with the norm (2.10). In particular,
 $\begin{array}{ccc}{\mathcal{C}}_{n,r}\left(X,{C}_{{\mathbb{R}}^{d}}\left(T\right)\right)& =& \left\{\alpha \in {\mathcal{C}}_{n,r}\left(X,{M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)\right):\alpha \subset {C}_{{\mathbb{R}}^{d}}\left(T\right)\right\}\end{array}$
 $\begin{array}{ccc}& =& \left\{\alpha \in {\mathcal{C}}_{n,r}\left(X,{L}_{{\mathbb{R}}^{d}}^{\infty }\left(\mu \right)\right):\left(\text{a}\mu -\text{version of}\right)\alpha \subset {C}_{{\mathbb{R}}^{d}}\left(T\right)\right\}.\end{array}$
Proof. ${C}_{{\mathbb{R}}^{d}}\left(T\right)$  is an AM-space so that Corollary 2 applies. We obtain ${e}_{n,r}\left(X,{C}_{{\mathbb{R}}^{d}}\left(T\right)\right)={e}_{n,r}\left(X,{M}_{{\mathbb{R}}^{d}}^{b}\left(T\right)\right).$  Since ${C}_{{\mathbb{R}}^{d}}\left(T\right)$  can be considered as a subspace of ${L}_{{\mathbb{R}}^{d}}^{\infty }\left(\mu \right)$  , the same argument yields ${e}_{n,r}\left(X,{C}_{{\mathbb{R}}^{d}}\left(T\right)\right)={e}_{n,r}\left(X,{L}_{{\mathbb{R}}^{d}}^{\infty }\left(\mu \right)\right).$  (The latter equality is also an immediate consequence of Lemma 2.) $\square$  We will exhibit a pathwise continuous process $X=\left({X}_{t}{\right)}_{t\in \left[0,1\right]}$  having no ${L}^{1}$  -optimal 1-quantizer in $C\left(\left[0,1\right]\right)$  . In particular, due to the lack of order completeness, $C\left(\left[0,1\right]\right)$  is not admissible.
Optimal 1-quantizer may not exist in $C\left(\left[0,1\right]\right)$  Let $\left(E,\parallel \cdot \parallel \right)=\left(C\left(\left[0,1\right]\right),\parallel \cdot {\parallel }_{sup}\right)$  . Define, for every $n\in \mathbb{N}$  , a continuous function ${f}_{n}:\left[0,1\right]\to \mathbb{R}$  by ${f}_{n}\left(t\right):=\left\{\begin{array}{ccc}0& \text{if}& t\in \left[0,\frac{1}{2}-{2}^{-n}\right]\cup \left[\frac{1}{2}-{2}^{-\left(n+1\right)},\frac{1}{2}\right]\\ {2}^{n+1}\left(2t-1\right)+4& \text{if}& t\in \left[\frac{1}{2}-{2}^{-n},\frac{1}{2}-3\cdot {2}^{-\left(n+2\right)}\right]\\ {2}^{n+1}\left(1-2t\right)-2& \text{if}& t\in \left[\frac{1}{2}-3\cdot {2}^{-\left(n+2\right)},\frac{1}{2}-{2}^{-\left(n+1\right)}\right]\\ -{f}_{n}\left(1-t\right)& \text{if}& t\in \left[\frac{1}{2},1\right].\end{array}$  One considers an E-valued random variable $X$  supported by $\left\{{f}_{n}:n\ge 1\right\}$  with ${p}_{n}:=\mathbb{P}\left(X={f}_{n}\right)$  satisfying ${p}_{n}\in \left(0,1/2\right)$  for every $n\in \mathbb{N}$  and ${\sum }_{n=1}^{\infty }{p}_{n}=1$  . The assumption of Theorem 1 is not fulfilled since the system $\left\{{B}_{E}\left({f}_{n},\frac{1}{2}\right):n\ge 1\right\}$  has the finite intersection property whereas it has an empty intersection (see below).
Let $n=1$  and $r=1$  . We will show that ${e}_{1,1}\left(X,E\right)=1/2\text{and}{\mathcal{C}}_{1,1}\left(X,E\right)=\varnothing .$  Recall that by Theorem 4, ${e}_{1,1}\left(X,E\right)={e}_{1,1}\left(X,G\right)$  where $G={M}^{b}\left(\left[0,1\right]\right)$  equipped with $\parallel \cdot {\parallel }_{sup}$  .
Set $h:=\frac{1}{2}\left({1}_{\left[0,1/2\right]}-{1}_{\left(1/2,1\right]}\right)$  . One checks that, for every $n\ge 1$  , $\parallel {f}_{n}-h{\parallel }_{sup}=1/2$  so that $\mathbb{E}\parallel X-h{\parallel }_{sup}={\sum }_{n=1}^{\infty }{p}_{n}\parallel {f}_{n}-h{\parallel }_{sup}=1/2.$  On the other hand, one shows like in the ${c}_{0}\left(\mathbb{N}\right)$  -counterexample preceding Theorem 2 that for every $g\in G,\mathbb{E}\parallel X-g{\parallel }_{sup}\ge 1/2$  and that any ${L}^{1}$  -optimal 1-quantizer $\left\{g\right\}$  must satisfy $\parallel {f}_{n}-g{\parallel }_{sup}=1/2$  for every $n\in \mathbb{N}$  : one reproduces the string of inequalities starting at (2.8) once noticed that $\parallel {f}_{n}-{f}_{m}{\parallel }_{sup}=1$  for every $n\ne m$  . This implies ${e}_{1,1}\left(X,G\right)=1/2$  and $\left\{h\right\}\in {\mathcal{C}}_{1,1}\left(X,G\right)$  .
Furthermore, no $g\in E$  can satisfy the condition $\parallel {f}_{n}-g{\parallel }_{sup}=1/2$  for every $n\in \mathbb{N}$  . In fact, if $g\left(1/2\right)<1/2$  , then $g\left({t}_{n}\right)<1/2$  with ${t}_{n}=\frac{1}{2}-3\cdot {2}^{-\left(n+2\right)}$  and $n$  large enough so that $|{f}_{n}\left({t}_{n}\right)-g\left({t}_{n}\right)|=1-g\left({t}_{n}\right)>1/2.$  If $g\left(1/2\right)\ge 1/2$  , then $g\left(1-{t}_{n}\right)\ge 0$  for $n$  large enough so that $|g\left(1-{t}_{n}\right)-{f}_{n}\left(1-{t}_{n}\right)|=g\left(1-{t}_{n}\right)+1\ge 1.$  Consequently, ${\mathcal{C}}_{1,1}\left(X,E\right)=\varnothing$  .

2.3 Bounds for quantization errors

As before let $X$  be a Radon random variable in $\left(E,\parallel \cdot \parallel \right)$  satisfying the integrability condition (1.2). The following observation (a) is already contained in [4.
Proposition 3 Assume that ${\mathbb{P}}_{X}\left(F\right)=1$  for some Banach subspace $F$  of $E$  .
(a) For every $n\in \mathbb{N}$  , ${e}_{n,r}\left(X,E\right)\le {e}_{n,r}\left(X,F\right)\le 2{e}_{n,r}\left(X,E\right).$  (b) If $F$  is locally c-complemented in $E$  , then for every $n\in \mathbb{N}$  , ${e}_{n,r}\left(X,F\right)\le c{e}_{n,r}\left(X,E\right).$
Proof. (a) We have to prove only the second inequality. Let $\alpha =\left\{{a}_{1},\dots ,{a}_{n}\right\}\subset E$  and $\varepsilon >0$  .
Choose ${b}_{i}\in F$  such that $\parallel {a}_{i}-{b}_{i}\parallel \le \left(1+\varepsilon \right)\text{dist}\left({a}_{i},F\right)$  . This implies that $\parallel {a}_{i}-{b}_{i}\parallel \le \left(1+\varepsilon \right)\parallel X-{a}_{i}\parallel \text{a.e.}$  for every $i\in \left\{1,\dots ,n\right\}$  and hence ${min}_{1\le i\le n}\parallel X-{b}_{i}\parallel \le \left(2+\varepsilon \right){min}_{1\le i\le n}\parallel X-{a}_{i}\parallel \text{a.e.}$  Consequently, ${e}_{n,r}\left(X,F\right)\le \left(2+\varepsilon \right)\left(\mathbb{E}{min}_{a\in \alpha }\parallel X-a{\parallel }^{r}{\right)}^{1/r}.$  This yields the assertion.
(b) is an immediate consequence of Theorem 2(a) and Lemma 1. $\square$  It is to be noticed that the factor 2 in part (a) of the preceding proposition is sharp. It cannot be improved as universal constant. This is demonstrated in the subsequent Example. In view of (a), the cases of interest in part (b) are $c<2$  .
The constant 2 is sharp We modify the setting of the counterexample following Corollary 2.
Let $E={\ell }^{1}\left(\mathbb{N}\right),\parallel x\parallel ={\sum }_{j=1}^{\infty }|{x}_{j}|$  and let $\left({u}^{\left(n\right)}{\right)}_{n\ge 1}$  denote the canonical basis of E. Fix $m\in \mathbb{N},m\ge 2$  and set ${v}^{\left(i\right)}:={u}^{\left(1\right)}-{u}^{\left(i\right)},i\in \left\{1,\dots ,m\right\}$  . One considers the $E$  -valued random variable $X$  supported by $\left\{{v}^{\left(1\right)},\dots ,{v}^{\left(m\right)}\right\}$  with $\mathbb{P}\left(X={v}^{\left(i\right)}\right)=1/m$  . Let $F$  denote the linear span of $\left\{{v}^{\left(1\right)},\dots ,{v}^{\left(m\right)}\right\}$  . So $\mathbb{P}\left(X\in F\right)=1$  .
Let $n=1$  and $r=1$  . One checks like in the above mentioned counterexample that ${e}_{1,1}\left(X,E\right)=1.$  We will show that ${e}_{1,1}\left(X,F\right)=2\left(m-1\right)/m.$  In fact, for $j\in \left\{1,\dots ,m\right\}$  , $\mathbb{E}\parallel X-{v}^{\left(j\right)}\parallel =\frac{1}{m}{\sum }_{i=1}^{m}\parallel {v}^{\left(i\right)}-{v}^{\left(j\right)}\parallel =2\left(m-1\right)/m.$  Any $a\in F$  can be written as $a={\sum }_{j=2}^{m}{s}_{j}{u}^{\left(1\right)}-{\sum }_{j=2}^{m}{s}_{j}{u}^{\left(j\right)},{s}_{j}\in \mathbb{R}$  and hence
 $\begin{array}{ccc}\parallel {v}^{\left(1\right)}-a\parallel & =& \parallel a\parallel =|{\sum }_{j=2}^{m}{s}_{j}|+{\sum }_{j=2}^{m}|{s}_{j}|,\end{array}$
 $\begin{array}{ccc}\parallel {v}^{\left(i\right)}-a\parallel & =& |1-{\sum }_{j=2}^{m}{s}_{j}|+|1-{s}_{i}|+{\sum }_{\stackrel{j=2}{j\ne i}}^{m}|{s}_{j}|,i\in \left\{2,\dots ,m\right\}.\end{array}$
Using the elementary inequalities $|1-t|+|t|\ge 1$  and $|1-s-t|+|s|+|t|\ge 1,s,t\in \mathbb{R}$  , one obtains ${\sum }_{i=1}^{m}\parallel {v}^{\left(i\right)}-a\parallel \ge 2\left(m-1\right).$  Consequently, $\mathbb{E}\parallel X-a\parallel \ge 2\left(m-1\right)/m.$  Next we describe marginal bounds for ${\mathbb{R}}^{d}$  -valued stochastic processes. For $p\in \left[1,\infty \right)$  , let $E={L}_{{\mathbb{R}}^{d}}^{p}\left(T,\mathcal{ℬ},\mu \right)$  , $\mu$  finite measure, equipped with the norm
 $\begin{array}{c}\parallel f{\parallel }_{p}:=\left(\int |f\left(t\right){|}_{p}^{p}d\mu \left(t\right){\right)}^{1/p}=\left({\sum }_{i=1}^{d}\int |{f}_{i}\left(t\right){|}^{p}d\mu \left(t\right){\right)}^{1/p}.\end{array}$ (2.14)
Assume that $E$  is separable. Let $X=\left({X}_{t}{\right)}_{t\in T}=\left({X}_{1,t},\dots {X}_{d,t}{\right)}_{t\in T}$  be a bi-measurable ${\mathbb{R}}^{d}$  -valued process such that
 $\begin{array}{c}\mathbb{E}\parallel X{\parallel }_{p}^{p}<\infty .\end{array}$ (2.15)
Then the process $X$  can be seen as a (Radon) random vector taking its values in ${L}_{{\mathbb{R}}^{d}}^{p}$  . For the sake of simplicity, we consider the case $r=p$  . As for bounds when constants are not important there will be no loss of generality since usual inequalities on ${L}^{p}$  -norms imply for $r\in \left[1,\infty \right)$  $\mu \left(T{\right)}^{\frac{1}{p}-\frac{1}{p\wedge r}}{e}_{n,p\wedge r}\left(X,{L}_{{\mathbb{R}}^{d}}^{p\wedge r}\right)\le {e}_{n,r}\left(X,{L}_{{\mathbb{R}}^{d}}^{p}\right)\le \mu \left(T{\right)}^{\frac{1}{p}-\frac{1}{p\wedge r}}{e}_{n,p\vee r}\left(X,{L}_{{\mathbb{R}}^{d}}^{p\vee r}\right).$
Proposition 4 Let $p\in \left[1,\infty \right)$  . For every $n,{n}_{1},\dots ,{n}_{d}\in \mathbb{N}$  such that ${\prod }_{i=1}^{d}{n}_{i}\le n$  , ${\sum }_{i=1}^{d}{e}_{n,p}\left({X}_{i},{L}^{p}{\right)}^{p}\le {e}_{n,p}\left(X,{L}_{{\mathbb{R}}^{d}}^{p}{\right)}^{p}\le {\sum }_{i=1}^{d}{e}_{{n}_{i},p}\left({X}_{i},{L}^{p}{\right)}^{p}.$
Proof. As for the upper estimate, let ${\alpha }_{i}\subset {L}^{p}$  be a ${L}^{p}$  -optimal ${n}_{i}$  -quantizer for ${X}_{i},i\in \left\{1,\dots ,d\right\}$  (see Corollary 1). Set $\alpha :={×}_{i=1}^{d}{\alpha }_{i}$  . Thus $\alpha$  consists of functions $a=\left({a}_{1},\dots ,{a}_{d}\right)\in {L}_{{\mathbb{R}}^{d}}^{p}$  with ${a}_{i}\in {\alpha }_{i}$  and card $\left(\alpha \right)\le n$  . One obtains
 $\begin{array}{ccc}{e}_{n,p}\left(X,{L}_{{\mathbb{R}}^{d}}^{p}{\right)}^{p}& \le & \mathbb{E}{min}_{a\in \alpha }\parallel X-a{\parallel }_{p}^{p}\end{array}$
 $\begin{array}{ccc}& =& \mathbb{E}{min}_{a\in \alpha }{\sum }_{i=1}^{d}\int |{X}_{i,t}-{a}_{i}\left(t\right){|}^{p}d\mu \left(t\right)\end{array}$
 $\begin{array}{ccc}& =& \mathbb{E}{\sum }_{i=1}^{d}{min}_{b\in {\alpha }_{i}}\int |{X}_{i,t}-b\left(t\right){|}^{p}d\mu \left(t\right)\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{i=1}^{d}{e}_{{n}_{i},p}\left({X}_{i},{L}^{p}{\right)}^{p}.\end{array}$
As for the lower estimate, let $\alpha \subset {L}_{{\mathbb{R}}^{d}}^{p}$  with card $\left(\alpha \right)\le n$  . Then
 $\begin{array}{ccc}\mathbb{E}{min}_{a\in \alpha }\parallel X-a{\parallel }_{p}^{p}& \ge & \mathbb{E}{\sum }_{i=1}^{d}{min}_{a\in \alpha }\int |{X}_{i,t}-{a}_{i}\left(t\right){|}^{p}d\mu \left(t\right)\end{array}$
 $\begin{array}{ccc}& \ge & {\sum }_{i=1}^{d}{e}_{n,p}\left({X}_{i},{L}^{p}{\right)}^{p}.\end{array}$
This yields the lower estimate. $\square$  Now let $T$  be a compact metric space and assume that $X=\left({X}_{t}{\right)}_{t\in T}$  is a ${\mathbb{R}}^{d}$  -valued continuous process. Let $E={C}_{{\mathbb{R}}^{d}}\left(T\right)$  equipped with the sup-norm (2.9). Assume
 $\begin{array}{c}\mathbb{E}\parallel X{\parallel }_{sup}^{r}<\infty .\end{array}$ (2.16)
Proposition 5 Let $r\in \left(0,\infty \right)$  . Let $c\in \left(0,\infty \right)$  such that $|\cdot {|}_{{}_{\infty }}\le c|\cdot {|}_{r}$  . Then for every $n,{n}_{1},\dots ,{n}_{d}\in \mathbb{N}$  such that ${\Pi }_{i=1}^{d}{n}_{i}\le n$  , ${max}_{1\le i\le d}{e}_{n,r}\left({X}_{i},C\left(T\right){\right)}^{r}\le {e}_{n,r}\left(X,{C}_{{\mathbb{R}}^{d}}\left(T\right){\right)}^{r}\le {c}^{r}{\sum }_{i=1}^{d}{e}_{{n}_{i},r}\left({X}_{i},C\left(T\right){\right)}^{r}.$
Proof. For $i\in \left\{1,\dots ,d\right\}$  and $\varepsilon >0$  , choose ${\alpha }_{i}\subset C\left(T\right)$  such that card $\left({\alpha }_{i}\right)\le {n}_{i}$  and $\mathbb{E}{min}_{b\in {\alpha }_{i}}\parallel {X}_{i}-b{\parallel }_{sup}^{r}\le {e}_{{n}_{i},r}\left({X}_{i},C\left(T\right){\right)}^{r}+\varepsilon .$  Set $\alpha :={×}_{i=1}^{d}{\alpha }_{i}$  . Then $\alpha \subset {C}_{{\mathbb{R}}^{d}}\left(T\right)$  , card $\left(\alpha \right)\le n$  and
 $\begin{array}{ccc}\mathbb{E}{min}_{a\in \alpha }\parallel X-a{\parallel }_{sup}^{r}& \le & {c}^{r}\mathbb{E}{min}_{a\in \alpha }{sup}_{t\in T}{\sum }_{i=1}^{d}|{X}_{i,t}-{a}_{i}\left(t\right){|}^{r}\end{array}$
 $\begin{array}{ccc}& \le & {c}^{r}\mathbb{E}{min}_{a\in \alpha }{\sum }_{i=1}^{d}\parallel {X}_{i}-{a}_{i}{\parallel }_{sup}^{r}\end{array}$
 $\begin{array}{ccc}& =& {c}^{r}\mathbb{E}{\sum }_{i=1}^{d}{min}_{b\in {\alpha }_{i}}\parallel {X}_{i}-b{\parallel }_{sup}^{r}\end{array}$
 $\begin{array}{ccc}& \le & {c}^{r}{\sum }_{i=1}^{d}{e}_{{n}_{i},r}\left({X}_{i},C\left(T\right){\right)}^{r}+{c}^{r}d\varepsilon .\end{array}$
This yields the upper esxtimate. As for the lower estimate, let $\alpha \subset {C}_{{\mathbb{R}}^{d}}\left(T\right)$  with card $\left(\alpha \right)\le n$  .
Then for every $i$  , $\mathbb{E}{min}_{a\in \alpha }\parallel X-a{\parallel }_{sup}^{r}\ge \mathbb{E}{min}_{a\in \alpha }\parallel {X}_{i}-{a}_{i}{\parallel }_{sup}^{r}\ge {e}_{n,r}\left({X}_{i},C\left(T\right){\right)}^{r}$  which gives the lower estimate. $\square$  In the preceding proposition one may replace ${C}_{{\mathbb{R}}^{d}}\left(T\right)$  and $C\left(T\right)$  by ${L}_{{\mathbb{R}}^{d}}^{\infty }\left(\mu \right)$  and ${L}^{\infty }\left(\mu \right)$  respectively for any finite Borel measure $\mu$  on $T$  with $\text{supp}\left(\mu \right)=T$  . This follows from Theorem 4.

3 Stationary quantizers

Let $X$  be a Radon $\left(E,\parallel \cdot \parallel \right)$  -valued random variable satisfying condition (1.2). We will introduce a notion of ${L}^{r}$  -stationary quantizer as the critical points of level $n$  ${L}^{r}$  -distortion function ${D}_{n,r}^{X}$  formerly defined by Equation (2.6). For a quantizer $\alpha =\left\{{a}_{1},\dots ,{a}_{n}\right\}$  let ${V}_{i}\left(\alpha \right)={V}_{{a}_{i}}\left(\alpha \right)$  and ${C}_{i}\left(\alpha \right)={C}_{{a}_{i}}\left(\alpha \right)$  .
Definition 2 A $n$  -quantizer $\alpha =\left\{{a}_{1},...,{a}_{n}\right\}\subset E$  of size $n$  is called admissible for $X$  if $\left\{\begin{array}{cc}\left(i\right)& {\mathbb{P}}_{{}_{X}}\left({V}_{i}\left(\alpha \right)\right)>0,i=1,\dots ,n,\\ \left(ii\right)& {\mathbb{P}}_{{}_{X}}\left({V}_{i}\left(\alpha \right)\cap {V}_{j}\left(\alpha \right)\right)=0,i,j=1,\dots ,n,i\ne j.\end{array}$  A $n$  -tuple $\left({a}_{1},\dots ,{a}_{n}\right)\in {E}^{n}$  is admissible if its associated $n$  -quantizer is.
Proposition 6 Assume that $E$  is smooth. Let $r>1$  . Then the ${L}^{r}$  -distortion function ${D}_{n,r}^{X}$  is Gateaux-differentiable at every admissible $n$  -tuple $\left({a}_{1},\dots ,{a}_{n}\right)$  with a Gateaux differential given by $\nabla {D}_{n,r}^{X}\left({a}_{1},\dots ,{a}_{n}\right)=r{\left(\mathbb{E}\left({\text{1}}_{{C}_{i}\left(\alpha \right)\\left\{{a}_{i}\right\}}\left(X\right)\parallel X-{a}_{i}{\parallel }^{r-1}\nabla \parallel .\parallel \left({a}_{i}-X\right)\right)\right)}_{1\le i\le n}\in \left({E}^{*}{\right)}^{n}$  where $\left\{{C}_{i}\left(\alpha \right):1\le i\le n\right\}$  denotes any Voronoi partition induced by $\alpha =\left\{{a}_{1},\dots ,{a}_{n}\right\}$  . If the norm is Fréchet-differentiable at every $x\ne 0$  , then $\nabla {D}_{n,r}^{X}\left({a}_{1},\dots ,{a}_{n}\right)$  is the Fréchet derivative.
Furthermore, if $E$  is uniformly smooth, then $\left({a}_{1},\dots ,{a}_{n}\right)↦\nabla {D}_{n,r}^{X}\left({a}_{1},\dots ,{a}_{n}\right)$  is continuous on the set of admissible $n$  -tuples (where ${E}^{*}$  is endowed with its norm).
When $r=1$  , the above results extend to admissible $n$  -tuples with ${\mathbb{P}}_{{}_{X}}\left(\left\{{a}_{1},\dots ,{a}_{n}\right\}\right)=0$  .
Remark. In case $E={L}^{1}$  , the above proposition as well as Proposition 1(b) do not apply since the $\parallel .{\parallel }_{{}_{1}}$  -norm is neither smooth nor strictly convex.
Proof. A straightforward adaptation of Lemma 4.10 in [13yields both differentiability properties.
Then, if $E$  is uniformly smooth, the mapping $x↦\nabla \parallel .\parallel \left(x\right)$  is continuous (see [2]). One derives the continuity of $\nabla {D}_{n,r}^{X}$  by the Lebesgue dominated convergence theorem using that $\nabla \parallel .\parallel$  takes its values in the unit ball of ${E}^{*}$  . $\square$
Definition 3 Let $E$  be a Banach space and let $r\ge 1$  . A $n$  -quantizer $a=\left\{{a}_{1},\dots ,{\alpha }_{n}\right\}\subset E$  of size $n$  is called ${L}^{r}$  -stationary for $X$  if ${\mathbb{P}}_{X}\left({C}_{i}\left(\alpha \right)\right)>0$  and
 $\begin{array}{c}\mathbb{E}\left({\text{1}}_{{C}_{i}\left(\alpha \right)\\left\{{a}_{i}\right\}}\left(X\right)\parallel X-{a}_{i}{\parallel }^{r-1}\nabla \parallel .\parallel \left({a}_{i}-X\right)\right)=0,i=1,\dots ,n,\end{array}$ (3.1)
where $\left\{{C}_{i}\left(\alpha \right):1\le i\le n\right\}$  denotes any Voronoi partition induced by $\alpha$  . (This requires that the Gateaux-differential $\nabla \parallel .\parallel \left({a}_{i}-x\right)$  is defined ${\mathbb{P}}_{{}_{X}}\left(dx\right)$  - $a.e.$  on ${C}_{i}\left(\alpha \right)\\left\{{a}_{i}\right\}$  and, furthermore, that $\mathbb{P}\left(X\in \alpha \right)=0$  when $r=1$  ).
This finally leads to the following proposition which makes the (expected) connection between optimality and stationarity.
Proposition 7 Assume that $E$  is smooth and strictly convex. Let $r>1$  . Assume that card $\left(supp{\mathbb{P}}_{{}_{X}}\right)\ge n$  . Then any ${L}^{r}$  -optimal $n$  -quantizer $\alpha$  is ${L}^{r}$  -stationary (and admissible) for $X$  . This extends to $r=1$  if ${\mathbb{P}}_{{}_{X}}\left(\alpha \right)=0$  .
Proof. Any ${L}^{r}$  -optimal $n$  -quantizer $\alpha =\left\{{a}_{1},\dots ,{a}_{n}\right\}$  is admissible by Proposition  1  $\left(b\right)$  , hence the Gateaux-differential $\nabla {D}_{n,r}^{X}\left({a}_{1},\dots ,{a}_{n}\right)$  does exist and is $0$  which exactly means stationarity. $\square$

3.1 Stationarity for stochastic processes

Let $\left(T,\mathcal{ℬ},\mu \right)$  be a finite measure space, let $X=\left({X}_{t}{\right)}_{t\in T}$  be a bi-measurable ${\mathbb{R}}^{d}$  -valued process defined on a probability space $\left(\Omega ,\mathcal{A},\mathbb{P}\right)$  and let $p,r\in \left[1,+\infty \right)$  . Assume that ${L}_{{\mathbb{R}}^{d}}^{p}\left(\mu \right)$  is separable and that $\parallel X{\parallel }_{{}_{p}}\in {L}^{r}\left(\mathbb{P}\right)$  i.e.
 $\begin{array}{c}\mathbb{E}{\left({\int }_{T}|{X}_{t}{|}_{p}^{p}d\mu \left(t\right)\right)}^{r/p}<+\infty .\end{array}$ (3.2)
Then, the process $X$  can be seen as a (Radon) random vector taking its values in the Banach space $\left(E,\parallel .\parallel \right)=\left({L}_{{\mathbb{R}}^{d}}^{p}\left(\mu \right),\parallel .{\parallel }_{{}_{p}}\right)$  satisfying an ${L}^{r}$  -integrability property, that is $X\in {L}_{{L}_{{\mathbb{R}}^{d}}^{p}}^{r}\left(\mathbb{P}\right)$  . When $p\ne 1$  , the ${L}_{{\mathbb{R}}^{d}}^{p}$  -spaces are uniformly smooth and strictly convex, so the above abstract results apply.
Furthermore, if $q$  denotes the conjugate Hölder exponent of $p$  , for every $f=\left({f}_{1},\dots ,{f}_{d}\right)\in {L}_{{\mathbb{R}}^{d}}^{p}$  , $f\not\equiv 0$  , $\nabla \parallel .{\parallel }_{{}_{p}}\left(f\right)={\left({\left(\frac{|{f}_{j}|}{\parallel f{\parallel }_{{}_{p}}}\right)}^{p-1}sign{f}_{j}\right)}_{1\le j\le d}\in {E}^{*}={L}_{{\mathbb{R}}^{d}}^{q}$  so that the $\left({L}^{r},\parallel .{\parallel }_{{}_{p}}\right)$  -stationarity condition reads for any Voronoi partition $\left\{{C}_{i}\left(\alpha \right):1\le i\le n\right\}$  with ${\mathbb{P}}_{X}\left({C}_{i}\left(\alpha \right)\right)>0$  , for every $i$  ,
 $\begin{array}{c}\mathbb{E}\left({\text{1}}_{{C}_{i}\left(\alpha \right)}\left(X\right)\parallel X-{a}_{i}{\parallel }_{{}_{p}}^{r-p}|{a}_{ij}-{X}_{j}{|}^{p-1}sign\left({a}_{ij}-{X}_{j}\right)\right)\stackrel{{L}^{q}}{=}0,i=1,\dots ,n,j=j,\dots ,d\end{array}$ (3.3)
with the convention $\frac{0}{\parallel 0\parallel }=0$  , where ${a}_{i}=\left({a}_{i1},\dots {a}_{id}\right)$  . When $p=1$  , the condition is formally the same. This may be written in a more synthetic way by introducing the $\alpha$  -quantization $\stackrel{^}{X}:={\stackrel{^}{X}}^{\alpha }$  of $X$  defined by (1.3), namely:
 $\begin{array}{c}\mathbb{E}\left(\parallel X-\stackrel{^}{X}{\parallel }_{{}_{p}}^{r-p}|{X}_{j}-{\stackrel{^}{X}}_{j}{|}^{p-1}sign\left({\stackrel{^}{X}}_{j}-{X}_{j}\right)|\stackrel{^}{X}\right)\stackrel{{L}^{q}}{=}0.\end{array}$ (3.4)
When $p=2$  , $r\ge 2$  (and $\mathbb{P}\left(X\in \alpha \right)=0$  if $r>2$  ), Equation (3.3) looks simpler and reads
 $\begin{array}{c}{a}_{i}\stackrel{{L}_{{\mathbb{R}}^{d}}^{2}}{=}\frac{\mathbb{E}\left(X{\text{1}}_{{C}_{i}\left(\alpha \right)}\left(X\right)\parallel X-{a}_{i}{\parallel }_{{}_{2}}^{r-2}\right)}{\mathbb{E}\left({\text{1}}_{{C}_{i}\left(\alpha \right)}\left(X\right)\parallel X-{a}_{i}{\parallel }_{{}_{2}}^{r-2}\right)},1\le i\le n.\end{array}$ (3.5)
One derives from Proposition 7 and Proposition 1 the following corollary.
Corollary 3 Let $p,r\in \left[1,+\infty \right)$  , let $n\ge 1$  . If
 $\begin{array}{c}\left\{\begin{array}{ccc}p,r>1& \text{and}& \text{card}\left(supp{\mathbb{P}}_{{}_{X}}\right)\ge n,\\ p>1,r=1& \text{and}& {\mathbb{P}}_{{}_{X}}\text{is continuous,}\\ p=1,r\ge 1& \text{and}& {\mathbb{P}}_{{}_{{X}_{j,t}}}\text{is}\mu \left(dt\right)\text{-}a.e.\text{continuous for every}j\in \left\{1,\dots ,d\right\},\end{array}\end{array}$ (3.6)
then, any $\left({L}^{r},\parallel .{\parallel }_{{}_{p}}\right)$  -optimal $n$  -quantizer is $\left({L}^{r},\parallel .{\parallel }_{{}_{p}}\right)$  -stationary in the sense of (3.3).
Proof. It remains to consider the case $p=1$  . The space ${L}_{{\mathbb{R}}^{d}}^{1}$  is not smooth. However, $\parallel .{\parallel }_{1}$  is Gateaux-differentiable at every $f$  such that ${f}_{j}\left(t\right)\ne 0$  $\mu \left(dt\right)$  a.e. for every $j$  . Now, by the Fubini Theorem, one has for every $g\in {L}^{1}\left(\mu \right)$  ${\int }_{\Omega }\mu \left(t:{X}_{j,t}\left(\omega \right)=g\left(t\right)\right)\mathbb{P}\left(d\omega \right)={\int }_{T}\mathbb{P}\left({X}_{j,t}=g\left(t\right)\right)\mu \left(dt\right)=0$  i.e. $\left({X}_{j,t}-g\left(t\right)\ne 0\mu \left(dt\right)$  -a.e.) $\mathbb{P}$  -a.s. Let $\alpha =\left\{{a}_{1},\dots ,{a}_{n}\right\}$  be an $\left({L}^{r},\parallel \cdot {\parallel }_{1}\right)$  -optimal $n$  -quantizer and ${\mathbb{P}}_{i}:=\mathbb{P}\left(\cdot |\left\{X\in {C}_{i}\left(\alpha \right)\right\}\right)$  . This definition is consistent since $\mathbb{P}\left(X\in {C}_{i}\left(\alpha \right)\right)>0$  by Proposition 1 (a). It follows easily that ${\Psi }_{i}:f↦\int \parallel X-f{\parallel }_{1}^{r}d{\mathbb{P}}_{i}$  , $f\in L{1}_{{\mathbb{R}}^{d}}$  , is Gateaux differentiable with a Gateaux-differential given by $▽{\Psi }_{i}\left(f\right)={\left(r\int \parallel X-f{\parallel }_{1}^{r-1}\text{sign}\left({f}_{j}-{X}_{j}\right)d{\mathbb{P}}_{i}\right)}_{1\le j\le d}\in {L}_{{\mathbb{R}}^{d}}^{\infty }.$  Now, still following Proposition $1\left(a\right),{a}_{i}$  is a minimum for ${\Psi }_{i}$  so that its Gateaux differential is zero.
Hence, for every $i\in \left\{1,\dots ,n\right\},j\in \left\{1,\dots ,d\right\}$  , $\int {1}_{{C}_{i}\left(\alpha \right)}\left(X\right)\parallel X-{a}_{i}{\parallel }_{1}^{r-1}\text{sign}\left({a}_{ij}-{X}_{j}\right)d\mathbb{P}=0.$  $\square$  Remark. Continuity of ${\mathbb{P}}_{{X}_{j},t}\mu \left(dt\right)$  a.e. for some $j$  implies continuity of ${\mathbb{P}}_{X}$  .

3.2 Pathwise regularity of stationary quantizers ( $1\le p\le r<+\infty$  )

As before, let $E={L}_{{\mathbb{R}}^{d}}^{p}\left(\mu \right)$  for some finite measure space $\left(T,\mathcal{ℬ},\mu \right)$  such that $E$  is separable. We will derive from Equations (3.3) (and (3.5)) some pathwise continuity result for the $\left({L}^{r},\parallel .{\parallel }_{{}_{p}}\right)$  -stationary quantizers (which extends a result established in [21in the purely quadratic case $p=r=2$  ). For $q\in \left(0,\infty \right)$  , if ${X}_{t}\in {L}_{{\mathbb{R}}^{d}}^{q}\left(\mathbb{P}\right)$  for every $t\in T$  , define the “intrinsic” semimetric ${\rho }_{X}^{q}$  on $T$  by ${\rho }_{X}^{q}\left(s,t\right):=\left(\mathbb{E}|{X}_{s}-{X}_{t}{|}_{q}^{q}{\right)}^{1/\left(q\vee 1\right)}=\parallel {X}_{s}-{X}_{t}{\parallel }_{{L}_{{\mathbb{R}}^{d}}^{q}\left(\mathbb{P}\right)}^{q/\left(q\vee 1\right)},s,t\in T.$  Theorem 5 Let $p,r\in \left[1,+\infty \right)$  , $r\ge p$  . Let $X$  be a bi-measurable ${\mathbb{R}}^{d}$  -valued process satisfying (3.2) and $\forall t\in T,{X}_{t}\in {L}_{{\mathbb{R}}^{d}}^{r-1}\left(\mathbb{P}\right).$  Let $\alpha =\left\{{a}_{1},\dots ,{a}_{n}\right\}$  be an $\left({L}^{r},\parallel .{\parallel }_{{}_{p}}\right)$  -stationary $n$  -quantizer (in the sense of (3.3)). Set ${I}_{r}\left(\alpha \right):=\left\{i\in \left\{1,\dots ,n\right\}:\mathbb{P}\left(X={a}_{i}\right)=0\right\}$  if $r>p$  and ${I}_{r}\left(\alpha \right):=\left\{1,\dots ,n\right\}$  otherwise.
(a) Let $T$  be a compact metric space and let $\mu$  be a continuous finite Borel measure on $T$  . If $p=1$  , if $X$  is pathwise continuous with $\text{supp}\left({\mathbb{P}}_{X}\right)=\left\{f\in {C}_{{\mathbb{R}}^{d}}\left(T\right):f\left(t\right)=x,t\in {T}_{0}\right\}$  (in case $X$  is viewed as a $\left({C}_{{\mathbb{R}}^{d}}\left(T\right),\parallel \cdot {\parallel }_{\text{sup}}\right)$  -random vector) for some $x\in {\mathbb{R}}^{d}$  and some closed subset ${T}_{0}$  of $T$  with $\mu \left({T}_{0}\right)=0$  and if the distribution ${\mathbb{P}}_{{X}_{j,t}}$  is continuous on $\mathbb{R}$  for every $t\in T\{T}_{0},j\in \left\{1,\dots ,d\right\}$  , then the components of $\alpha$  have $\mu$  -versions consisting of continuous functions such that ${a}_{i}\left(t\right)=x,t\in {T}_{0},i=1,\dots ,n$  .
(b) If $p\in \left(1,\infty \right)$  , then the components ${a}_{i},i\in {I}_{r}\left(\alpha \right)$  of $\alpha$  have $\mu$  -versions consisting of ${\rho }_{X}^{r-1}$  -continuous functions. Furthermore, if ${X}_{t}=x\in {\mathbb{R}}^{d},t\in {T}_{0}\subset T$  , then there are such versions with ${a}_{i}\left(t\right)=x,t\in {T}_{0}$  .
(c) If $p=2$  , then the components ${a}_{i},i\in {I}_{r}\left(\alpha \right)$  of $\alpha$  have $\mu$  -versions consisting of ${\rho }_{X}^{r-1}$  -Lipschitz continuous functions.
Remarks. $\bullet$  If ${\mathbb{P}}_{X}$  is continuous then ${I}_{r}\left(\alpha \right)=\left\{1,\dots ,n\right\}$  .
$\bullet$  If $r\ge p=2,\mathbb{E}X=0$  and $\mathbb{E}\parallel X{\parallel }_{2}^{2r-4}<\infty$  , then $\left\{{a}_{i}:i\in {I}_{r}\left(\alpha \right)\right\}$  even lies in the reproducing kernel Hilbert space of $X$  . This is a consequence of (3.5).
$\bullet$  Let $\left(T,\rho \right)$  be a separable metric space and $\mu$  a finite Borel measure on $\left(T,\rho \right)$  . If $p>1$  and $t↦{X}_{t}$  from $\left(T,\rho \right)$  into ${L}_{{\mathbb{R}}^{d}}^{r-1}\left(\mathbb{P}\right)$  is continuous that is ${\rho }_{X}^{r-1}$  is majorized by the initial metric $\rho$  on $T$  , then the ${I}_{r}\left(\alpha \right)$  -components of $\alpha$  have versions consisting of $\rho$  -continuous functions. The ${L}_{{\mathbb{R}}^{d}}^{r-1}\left(\mathbb{P}\right)$  -continuity assumption is fulfilled e.g. if $X$  is pathwise $\rho$  -continuous and $\parallel X{\parallel }_{sup}\in {L}^{r-1}\left(\mathbb{P}\right)$  .
Proof of Theorem 5. For every $i\in {I}_{r}\left(\alpha \right)$  , set ${\mathbb{Q}}_{i,r}={\text{1}}_{{C}_{i}\left(\alpha \right)}\left(X\right)\parallel X-{a}_{i}{\parallel }_{{}_{p}}^{r-p}.\mathbb{P}$  . The measure ${\mathbb{Q}}_{i,r}$  is finite: if $r=p$  , this is obvious, otherwise, ${\mathbb{Q}}_{i,r}\left(\Omega \right)\le \mathbb{E}\parallel X-{a}_{i}{\parallel }_{{}_{p}}^{r-p}\le {\left(\mathbb{E}\parallel X-{a}_{i}{\parallel }_{{}_{p}}^{r}\right)}^{1-\frac{p}{r}}<+\infty .$  On the other hand, ${\mathbb{Q}}_{i,r}$  is a nonzero measure equivalent to ${1}_{{C}_{i}\left(\alpha \right)}\left(X\right).\mathbb{P}$  since $\mathbb{P}\left(X\in {C}_{i}\left(\alpha \right)\right)>0$  and for $r>p$  , $\mathbb{P}\left(X={a}_{i}\right)=0$  . Now, define on $\mathbb{R}×T$  the function ${\Phi }_{ij}$  by ${\Phi }_{ij}\left(y,t\right):={\int }_{\Omega }{\phi }_{p-1}\left(y-{X}_{j,t}\right)d{\mathbb{Q}}_{i,r}\text{where}{\phi }_{q}\left(x\right)=\text{sign}\left(x\right)|x{|}^{q}.$  First note that the function ${\Phi }_{ij}$  is real valued. If $r>p>1$  , the Young inequality with ${p}^{\prime }=\frac{r-1}{p-1}$  and ${q}^{\prime }=\frac{r-1}{r-p}$  implies
 $\begin{array}{ccc}|y-{X}_{j,t}{|}^{p-1}\parallel {a}_{i}-X{\parallel }_{{}_{p}}^{r-p}& \le & C\left(|y-{X}_{j,t}{|}^{r-1}+\parallel X-{a}_{i}{\parallel }_{{}_{p}}^{r-1}\right)\end{array}$
 $\begin{array}{ccc}& \le & C\left(|y{|}^{r-1}+\parallel {a}_{i}{\parallel }_{{}_{p}}^{r-1}+|{X}_{j,t}{|}^{r-1}+\parallel X{\parallel }_{{}_{p}}^{r-1}\right)\end{array}$
so that $|y-{X}_{j,t}{|}^{p-1}\parallel {a}_{i}-X{\parallel }_{{}_{p}}^{r-p}\in L1\left(\mathbb{P}\right)$  . When $r=p$  (or $p=1$  ), the result is obvious.
$\left(b\right)$  For every fixed $t\in T$  and $p>1$  , $y↦{\phi }_{p-1}\left(y-{X}_{j,t}\right)$  is (strictly) increasing, hence $y↦{\Phi }_{ij}\left(y,t\right)$  is strictly increasing too. The continuity of $y↦{\Phi }_{ij}\left(y,t\right)$  on $\mathbb{R}$  for every $t\in T$  follows from the Lebesgue dominated convergence Theorem. Furthermore, for every $t\in T,y\ge 0$  , ${\Phi }_{ij}\left(y,t\right)\ge {\int }_{\left\{{X}_{j,t}\le y\right\}}{\phi }_{p-1}\left(y-{X}_{j,t}\right)d{\mathbb{Q}}_{i,r}-\int |{X}_{j,t}{|}^{p-1}d{\mathbb{Q}}_{i,r}$  so that ${lim}_{y\to +\infty }{\Phi }_{ij}\left(y,t\right)=+\infty$  by Fatou's Lemma. Similarly, ${lim}_{y\to -\infty }{\Phi }_{ij}\left(y,t\right)=-\infty$  .
The proof reduces to providing an argument for the ${\rho }_{X}^{r-1}$  -continuity of $t↦{\Phi }_{ij}\left(y,t\right)$  for every $y\in \mathbb{R}$  .
If $1  , one starts from the inequality $|{\phi }_{p-1}\left(u\right)-{\phi }_{p-1}\left(v\right)|\le {2}^{2-p}|u-v{|}^{p-1}u,v\in \mathbb{R}.$  When $r>p$  , the Hölder inequality applied with the conjugate exponents $\frac{r-1}{p-1}$  and $\frac{r-1}{r-p}$  yields
 $\begin{array}{ccc}|{\Phi }_{ij}\left(y,t\right)-{\Phi }_{ij}\left(y,s\right)|& \le & {2}^{2-p}\parallel {X}_{j,t}-{X}_{j,s}{\parallel }_{{L}^{r-1}\left(\mathbb{P}\right)}^{p-1}\parallel \parallel X-{a}_{i}{\parallel }_{{}_{p}}{\parallel }_{{L}^{r-1}\left(\mathbb{P}\right)}^{r-p}\end{array}$
 $\begin{array}{ccc}& \le & {2}^{2-p}\left({\rho }_{X}^{r-1}\left(s,t\right){\right)}^{\frac{p-1}{\left(r\wedge 2\right)-1}}\parallel \parallel X-{a}_{i}{\parallel }_{p}{\parallel }_{{L}^{r-1}\left(\mathbb{P}\right)}^{r-p}.\end{array}$
This still holds if $r=p$  .
If $p>2$  , one starts from $|{\phi }_{p-1}\left(u\right)-{\phi }_{p-1}\left(v\right)|\le \left(p-1\right)\left(|u|\vee |v|{\right)}^{p-2}|u-v|,u,v\in \mathbb{R}.$  Since $r>2$  the Holder Inequality applied with $r-1$  and $\frac{r-1}{r-2}$  yields
 $\begin{array}{ccc}|{\Phi }_{ij}\left(y,t\right)-{\Phi }_{ij}\left(y,s\right)|& \le & \left(p-1\right)\mathbb{E}\left(|{X}_{j,t}-{X}_{j,s}|{\left(|y-{X}_{j,t}|\vee |y-{X}_{j,s}|\right)}^{p-2}\parallel X-{a}_{i}{\parallel }_{{}_{p}}^{r-p}{\text{1}}_{{C}_{i}\left(\alpha \right)}\left(X\right)\right)\end{array}$
 $\begin{array}{ccc}& \le & \left(p-1\right)\parallel {X}_{j,t}-{X}_{j,s}{\parallel }_{{L}^{r-1}\left(\mathbb{P}\right)}{\left[\mathbb{E}\left({\left(|y-{X}_{j,t}|\vee |y-{X}_{j,s}|\right)}^{\frac{\left(p-2\right)\left(r-1\right)}{r-2}}\parallel X-{a}_{i}{\parallel }_{{}_{p}}^{\frac{\left(r-p\right)\left(r-1\right)}{r-2}}\right)\right]}^{\frac{r-2}{r-1}}.\end{array}$
A new application of the Holder Inequality to the expectation in the right hand side of the above inequality yields
 $\begin{array}{ccc}|{\Phi }_{ij}\left(y,t\right)-{\Phi }_{ij}\left(y,s\right)|& \le & \left(p-1\right)\parallel {X}_{j,t}-{X}_{j,s}{\parallel }_{{L}^{r-1}\left(\mathbb{P}\right)}\parallel |y-{X}_{j,t}|\vee |y-{X}_{j,s}|{\parallel }_{{L}^{r-1}\left(\mathbb{P}\right)}^{p-2}{‖\parallel X-{a}_{i}{\parallel }_{{}_{p}}‖}_{{L}^{r-1}\left(\mathbb{P}\right)}^{r-p}\end{array}$
 $\begin{array}{ccc}& \le & {C}_{p,{a}_{i}}\parallel {X}_{j,t}-{X}_{j,s}{\parallel }_{{L}^{r-1}\left(\mathbb{P}\right)}\left(|y{|}^{p-2}+\parallel {X}_{j,s}{\parallel }_{{L}^{r-1}\left(\mathbb{P}\right)}^{p-2}+\parallel {X}_{j,t}{\parallel }_{{L}^{r-1}\left(\mathbb{P}\right)}^{p-2}\right)\end{array}$
 $\begin{array}{ccc}& \le & {C}_{p,{a}_{i}}{\rho }_{X}^{r-1}\left(s,t\right)\left(|y{|}^{p-2}+\parallel {X}_{s}{\parallel }_{{L}_{{\mathbb{R}}^{d}}^{r-1}\left(\mathbb{P}\right)}^{p-2}+\parallel {X}_{t}{\parallel }_{{L}_{{\mathbb{R}}^{d}}^{r-1}\left(\mathbb{P}\right)}^{p-2}\right).\end{array}$
Owing to these properties, one easily checks that for every $t\in T$  , the equation ${\Phi }_{ij}\left(y,t\right)=0$  admits a unique solution ${y}_{ij}\left(t\right)$  and that the implicitly defined function $t↦{y}_{ij}\left(t\right)$  is ${\rho }_{X}^{r-1}$  -continuous.
On the other hand the function ${a}_{i}$  satisfies $\mu \left(dt\right)$  -a.e. ${\Phi }_{ij}\left({a}_{ij}\left(t\right),t\right)=0$  so that ${y}_{ij}\left(t\right)={a}_{ij}\left(t\right)$  $\mu \left(dt\right)$  -a.e..
If ${X}_{t}=x\in {\mathbb{R}}^{d},t\in {T}_{0}$  then ${\Phi }_{ij}\left(y,t\right)={\phi }_{p-1}\left(y-{x}_{j}\right){\mathbb{Q}}_{i,r}\left(\Omega \right),t\in {T}_{0}$  so that ${y}_{ij}\left(t\right)={x}_{j}$  .
$\left(a\right)$  Now let $T$  be a compact metric space. When $p=1$  , ${\Phi }_{ij}\left(y,t\right)={\int }_{\Omega }sign\left(y-{X}_{j,t}\right)d{\mathbb{Q}}_{i,r}.$  The continuity of $y↦{\Phi }_{ij}\left(y,t\right)$  on $\mathbb{R}$  for every $t\in T\{T}_{0}$  and the continuity of $t↦{\Phi }_{ij}\left(y,t\right)$  at every point $t\in T\{T}_{0}$  for every $y\in \mathbb{R}$  follows from the pathwise continuity of $X$  and from the continuity of ${\mathbb{P}}_{{X}_{j,t}},t\in T\{T}_{0}$  , by the Lebesgue dominated convergence Theorem: the sign function is bounded and ${\mathbb{Q}}_{i,r}\ll \mathbb{P}$  . Similarly one shows that ${lim}_{y\to ±\infty }{\Phi }_{ij}\left(y,t\right)=±{\mathbb{Q}}_{i,r}\left(\Omega \right)\forall t\in T$  . It is also obvious that $y↦{\Phi }_{ij}\left(y,t\right)$  is nondecreasing $\forall t\in T$  . To establish strict monotonicity $\forall t\in T\{T}_{0}$  , one proceeds as follows: let us consider the subset of ${C}_{i}\left(\alpha \right)$  defined by ${U}_{i}\left(\alpha \right):=\left\{f\in {C}_{{\mathbb{R}}^{d}}\left(T,{T}_{0}\right):\parallel f-{a}_{i}{\parallel }_{1}<{min}_{j\ne i}\parallel f-{a}_{j}{\parallel }_{1}\right\}$  where ${C}_{{\mathbb{R}}^{d}}\left(T,{T}_{0}\right):=\left\{f\in {C}_{{\mathbb{R}}^{d}}\left(T\right):f\left(t\right)=x,t\in {T}_{0}\right\}.$  It is a nonempty open subset of $\left({C}_{{\mathbb{R}}^{d}}\left(T,{T}_{0}\right),\parallel \cdot {\parallel }_{1}\right)$  since ${C}_{{\mathbb{R}}^{d}}\left(T,{T}_{0}\right)$  is everywhere $\parallel \cdot {\parallel }_{1}$  -dense in ${L}_{{\mathbb{R}}^{d}}^{1}\left(\mu \right)$  in view of $\mu \left({T}_{0}\right)=0$  . Now, for $t\in T\{T}_{0}$  and every nonempty open interval $I$  the set $\left\{f\in {C}_{{\mathbb{R}}^{d}}\left(T,{T}_{0}\right):{f}_{j}\left(t\right)\in I\right\}$  is clearly everywhere dense in $\left({C}_{{\mathbb{R}}^{d}}\left(T,{T}_{0}\right),\parallel \cdot {\parallel }_{1}\right)$  since $\mu \left(\left\{t\right\}\right)=0$  so that ${U}_{i}\left(\alpha \right)\cap \left\{f\in {C}_{{\mathbb{R}}^{d}}\left(T,{T}_{0}\right):{f}_{j}\left(t\right)\in I\right\}$  is a nonempty set. On the other hand, $f↦\parallel f{\parallel }_{1}$  and $f↦{f}_{j}\left(t\right)$  are both continuous as functionals on $\left({C}_{{\mathbb{R}}^{d}}\left(T,{T}_{0}\right),\parallel \cdot {\parallel }_{{}_{sup}}\right)$  so that ${U}_{i}\left(\alpha \right)\cap \left\{f\in {C}_{{\mathbb{R}}^{d}}\left(T,{T}_{0}\right):{f}_{j}\left(t\right)\in I\right\}$  is a (nonempty) open subset of $\left({C}_{{\mathbb{R}}^{d}}\left(T,{T}_{0}\right),\parallel \cdot {\parallel }_{sup}\right)$  . Now, if ${\Phi }_{ij}\left(y,t\right)={\Phi }_{ij}\left({y}^{\prime },t\right)$  for some $y<{y}^{\prime }$  , then ${\mathbb{Q}}_{i,r}\left({X}_{j,t}\in \left(y,{y}^{\prime }\right)\right)=0$  .
${\mathbb{Q}}_{i,r}$  is equivalent to ${\text{1}}_{{C}_{i}\left(\alpha \right)}\left(X\right).\mathbb{P}$  . Consequently $\mathbb{P}\left(\left\{X\in {U}_{i}\left(\alpha \right)\right\}\cap \left\{{X}_{j,t}\in \left(y,{y}^{\prime }\right)\right\}\right)=0.$  This is impossible owing to the assumption on the support of ${\mathbb{P}}_{{}_{X}}$  . Consequently $y↦{\Phi }_{ij}\left(y,t\right)$  is strictly increasing for every $t\in T\{T}_{0}$  and one concludes like in the case $p>1$  to the existence of a continuous version of $\alpha$  in ${C}_{{\mathbb{R}}^{d}}\left(T,{T}_{0}\right)$  .
To be a bit more precise, the equation ${\Phi }_{ij}\left(y,t\right)=0$  has for $t\in T\{T}_{0}$  a unique solution ${y}_{ij}\left(t\right)\in \mathbb{R}$  and for $t\in {T}_{0}$  , since ${X}_{j,t}={x}_{j}\mathbb{P}$  -a.s., ${y}_{ij}\left(t\right)={x}_{j}$  is the unique solution. The function ${y}_{ij}:T\to \mathbb{R}$  is continuous at every $t\in T\{T}_{0}$  since ${\Phi }_{ij}\left(\cdot ,t\right)$  is strictly increasing on $\mathbb{R}$  and ${\Phi }_{ij}\left(y,\cdot \right)$  is continuous at $t$  for every $y\in \mathbb{R}$  . One must consider the behaviour of ${y}_{ij}$  at $t\in {T}_{0}$  more carefully.
First note that ${\Phi }_{ij}\left(y,\cdot \right)$  is continuous at $t\in {T}_{0}$  for every $y\ne {x}_{j}$  since ${X}_{j}$  is pathwise continous.
Now let $\left({s}_{n}\right)$  be a sequence in $T$  going to $t$  such that ${y}_{ij}\left({s}_{n}\right)\ge {x}_{j}+\eta$  for some $\eta >0$  . Then, ${\Phi }_{ij}\left({x}_{j}+\eta ,{s}_{n}\right)\le {\Phi }_{ij}\left({y}_{ij}\left({s}_{n}\right),{s}_{n}\right)=0$  for every $n\ge 1$  so that $\text{sign}\left(\eta \right){\mathbb{Q}}_{i,r}\left(\Omega \right)={\Phi }_{ij}\left({x}_{j}+\eta ,t\right)={lim}_{n\to \infty }{\Phi }_{ij}\left({x}_{j}+\eta ,{s}_{n}\right)\le 0$  which is impossible. Hence ${limsup}_{s\to t}{y}_{ij}\left(s\right)\le {x}_{j}$  . One shows similarly that ${liminf}_{s\to t}{y}_{ij}\left(s\right)\ge {x}_{j}$  i.e. ${lim}_{s\to t}{y}_{ij}\left(s\right)={x}_{j}={y}_{ij}\left(t\right)$  .
$\left(c\right)$  It is a consequence of Equation (3.5):
$|{a}_{ij}\left(t\right)-{a}_{ij}\left(s\right)|=\frac{\mathbb{E}\left(|{X}_{j,t}-{X}_{j,s}|{L}_{i}\right)}{\mathbb{E}\left({L}_{i}\right)}\text{with}{L}_{i}={\text{1}}_{{C}_{i}\left(\alpha \right)}\left(X\right)\parallel X-{a}_{i}{\parallel }_{{}_{2}}^{r-2}.$  When $r>2$  , The Holder Inequality yields the announced result ${max}_{i\in {I}_{r}\left(\alpha \right)}|{a}_{i}\left(t\right)-{a}_{i}\left(s\right){|}_{{}_{1}}\le {C}_{X,\alpha }{\rho }_{X}^{r-1}\left(s,t\right)$  with ${C}_{X,\alpha }:=d{max}_{i\in {I}_{r}\left(\alpha \right)}\left(\mathbb{E}\left(\parallel X-{a}_{i}{\parallel }_{{}_{2}}^{r-1}\right){\right)}^{\left(r-2\right)/\left(r-1\right)}/\left(\mathbb{E}\left({\text{1}}_{{C}_{i}\left(\alpha \right)}\left(X\right)\parallel X-{a}_{i}{\parallel }_{{}_{2}}^{r-2}\right)\right).$  When $r=2$  , one sets accordingly ${C}_{X,\alpha }:=1/{min}_{1\le i\le n}\mathbb{P}\left(X\in {C}_{i}\left(\alpha \right)\right)$  . $\square$  Examples First consider real or ${\mathbb{R}}^{d}$  -valued processes with $T=\left[0,{t}_{0}\right]$  and $\mu \left(dt\right)=dt$  .
$\bullet$  The $\left({L}^{r},\parallel .{\parallel }_{{}_{p}}\right)$  -stationary $n$  -quantizers, $1\le p\le r<+\infty$  , of the standard Brownian motion and are made up with continuous functions which are null at $0$  , $1/2$  -Hölder if $p=2$  . The same result holds for the Brownian bridge over $\left[0,{t}_{0}\right]$  where any of its stationary quantizers are $0$  at ${t}_{0}$  and for the standard $d$  -dimensional Brownian motion.
$\bullet$  One considers a ${\mathbb{R}}^{d}$  -valued Brownian diffusion process
 $\begin{array}{ccc}d{X}_{t}& =& b\left(t,{X}_{t}\right)dt+\sigma \left(t,{X}_{t}\right)d{W}_{t},t\in \left[0,{t}_{0}\right]\end{array}$
 $\begin{array}{ccc}{X}_{0}& =& x,x\in {\mathbb{R}}^{d},\end{array}$
where $W$  is a $m$  -dimensional standard Brownian motion and $b:\left[0,{t}_{0}\right]×{\mathbb{R}}^{d}\to {\mathbb{R}}^{d}$  , $\sigma :\left[0,{t}_{0}\right]×{\mathbb{R}}^{d}\to {\mathbb{R}}^{d×m}$  are Borel functions with linear growth such that the above SDE admits at least one (weak) solution over $\left[0,{t}_{0}\right]$  . This solution is pathwise continuous and it is classical background (see [17) that $\parallel X{\parallel }_{sup}\in {L}^{r}\left(\mathbb{P}\right)$  for every $r\in \left(0,\infty \right)$  and $\mathbb{E}|{X}_{s}-{X}_{t}{|}_{q}^{q}\le {C}_{q}|s-t{|}^{q/2}$  for every $q\in \left(0,\infty \right)$  . Thus the $\left({L}^{r},\parallel \cdot {\parallel }_{p}\right)$  -stationary $n$  -quantizers, $1  , are made up with continuous functions which are $x$  at $t=0$  , $1/2$  -Holder if $p=2$  . The same holds if $1\le p\le r<\infty$  for the homogeneous SDE with $b$  and $\sigma$  independent of $t$  and $d=m$  provided ${b}_{i}$  and ${\sigma }_{ij}$  are bounded with bounded derivatives up to order 3 and $\sigma {\sigma }^{T}$  is uniformly elliptic. In fact, the assumptions imply that ${\mathbb{P}}_{{X}_{j,t}}$  has a Lebesgue density for every $j\in \left\{1,\dots ,d\right\},t\in \left(0,{t}_{0}\right]$  and by the support theorem, in ${C}_{{\mathbb{R}}^{d}}\left(\left[0,{t}_{0}\right]\right)$  , $\text{supp}\left({\mathbb{P}}_{X}\right)=\left\{f\in {C}_{{\mathbb{R}}^{d}}\left(\left[0,{t}_{0}\right]\right):f\left(0\right)=x\right\}$  (see [3], p. 11 and [1], p. 25).
$\bullet$  The fractional Brownian motion ${W}^{H}$  on $\left[0,{t}_{0}\right]$  with Hurst exponent $H\in \left(0,1\right)$  is a centered continuous Gaussian process having the covariance function $E{W}_{s}^{H}{W}_{t}^{H}=\frac{1}{2}\left(|s{|}^{2H}+|t{|}^{2H}-|s-t{|}^{2H}\right)$  and thus satisfies for every $q\in \left(0,\infty \right)$  $\mathbb{E}|{W}_{s}^{H}-{W}_{t}^{H}{|}^{q}={C}_{H,q}|s-t{|}^{qH}.$  Consequently, $\left({L}^{r},\parallel \cdot {\parallel }_{p}\right)$  -stationary $n$  -quantizers, $1\le p\le r<\infty$  are made up with continuous functions which are null at $t=0$  , H-Hölder if $p=2$  .
$\bullet$  We consider some examples of (cadlag) real Lévy processes $X=\left({X}_{t}{\right)}_{t\in {\mathbb{R}}_{+}}$  restricted to $\left[0,{t}_{0}\right]$  (without Brownian component). Since the increments of $X$  are stationary and ${X}_{0}=0$  , $\mathbb{E}|{X}_{s}-{X}_{t}{|}^{q}=\mathbb{E}|{X}_{|s-t|}{|}^{q}$  so that the behaviour of the semimetric ${\rho }_{X}^{q}$  reduces to the behaviour of $t↦\mathbb{E}|{X}_{t}{|}^{q}$  .
The $\rho$  -stable Lévy motions indexed by $\rho \in \left(0,2\right)$  satisfy a self-similarity property, namely ${X}_{t}\stackrel{d}{=}{t}^{1/\rho }{X}_{1}.$  Furthermore, $sup\left\{q>0:\mathbb{E}|{X}_{1}{|}^{q}<\infty \right\}=\rho \text{and}\mathbb{E}|{X}_{1}{|}^{\rho }=\infty .$  For this background see [27. It follows that for every $q\in \left(0,\rho \right)$  $\mathbb{E}|{X}_{t}{|}^{q}={t}^{q/\rho }\mathbb{E}|{X}_{1}{|}^{q}<\infty .$  Consequently, since the $\rho$  -stable distributions ${\mathbb{P}}_{{X}_{t}},t>0$  have a Lebesgue density, the $\left({L}^{r},\parallel \cdot {\parallel }_{p}\right)$  -stationary $n$  -quantizers, $1  , are made up with continuous functions which are null at 0.
The $\Gamma$  -processes are Lévy processes whose distribution ${\mathbb{P}}_{{X}_{t}}$  at $t>0$  is a $\Gamma \left(a,t\right)$  -distribution ${\mathbb{P}}_{{X}_{t}}\left(dx\right)=\frac{{a}^{t}}{\Gamma \left(t\right)}{1}_{\left(0,\infty \right)}\left(x\right){x}^{t-1}{e}^{-ax}dx,$  $a>0$  . So, for every $q>0$  $\mathbb{E}|{X}_{t}{|}^{q}=\frac{\Gamma \left(t+q\right)}{{a}^{q}\Gamma \left(t+1\right)}t.$  Consequently, $\left({L}^{r},\parallel \cdot {\parallel }_{p}\right)$  -stationary $n$  -quantizers, $1  , are made up with continuous functions, $1/\left(r-1\right)$  -Hölder if $p=2$  .
The compound Poisson process is given by ${X}_{t}={\sum }_{j=1}^{{N}_{t}}{U}_{j}$  , where ${U}_{1},{U}_{2},\dots$  are i.i.d. real random variables with $\mathbb{P}\left({U}_{1}=0\right)=0$  and $N=\left({N}_{t}{\right)}_{t\ge 0}$  is a standard Poisson process (with intensity $\lambda$  ) independent of $\left({U}_{j}{\right)}_{j\ge 1}$  . If $q\in \left(0,\infty \right)$  and $\mathbb{E}|{U}_{1}{|}^{q}<\infty$  , easy computations show that $\mathbb{E}|{X}_{t}{|}^{q}\le \mathbb{E}|{U}_{1}{|}^{q}\mathbb{E}{N}_{t}^{1\vee q}\le {C}_{q,\lambda ,U}t<\infty$  Assume $\mathbb{E}|{U}_{1}{|}^{r}<\infty$  . Then the $\left({L}^{r},\parallel \cdot {\parallel }_{p}\right)$  -stationary $n$  -quantizers, $1  , are made up with continuous functions, $1/\left(r-1\right)$  -Hölder if $p=2$  . Here it has to be noticed that the function $f=0$  is the only atom of ${\mathbb{P}}_{X}$  in ${L}^{p}\left(\left[0,{t}_{0}\right],dt\right)$  .
Theorem 5 $\left(a\right)$  does not apply to the above examples because of the pathwise continuity assumption so that the case $p=1$  remains open.
As for a real multiparameter process on $T=\left[0,{t}_{0}{\right]}^{k}$  with $\mu \left(dt\right)=dt$  :
$\bullet$  The $\left({L}^{r},\parallel \cdot {\parallel }_{p}\right)$  -stationary $n$  -quantizers, $1\le p\le r<\infty$  , of the standard Brownian sheet are made up with continous functions which are null on ${\cup }_{i=1}^{k}\left\{t\in T:{t}_{i}=0\right\}$  and 1/2-Hölder if $p=2$  .
As for an example with noncompact $T$  consider $T={\mathbb{R}}_{+}$  and $\mu \left(dt\right)={e}^{-bt}dt,b>0$  .
$\bullet$  The stationary Ornstein-Uhlenbeck process $X=\left({X}_{t}{\right)}_{t\ge 0}$  on ${\mathbb{R}}_{+}$  is a centered continuous Gaussian process having the covariance function $\mathbb{E}{X}_{s}{X}_{t}={e}^{-c|s-t|},c>0.$  Clearly, $X$  can be seen as ${L}^{p}\left({\mathbb{R}}_{+},\mu \right)$  -valued random vector for every $p\in \left[1,\infty \right)$  . The process satisfies for every $q\in \left(0,\infty \right)$  $\mathbb{E}|{X}_{s}-{X}_{t}{|}^{q}={C}_{q}\left(1-{e}^{-c|s-t|}{\right)}^{q/2}.$  Consequently, $\left({L}^{r},\parallel \cdot {\parallel }_{p}\right)$  -stationary $n$  -quantizers, $1  have components consisting of continuous functions, $1/2$  -Hölder if $p=2$  .
A counterexample when $p=+\infty$  We will exhibit a bounded pathwise continuous process $X$  on $T=\left[0,1\right]$  having a discontinuous $\left({L}^{r},\parallel .{\parallel }_{{}_{\infty }}\right)$  -optimal $1$  -quantizer. Consider functions ${f}_{n}\in C\left(\left[0,1\right]\right),n\in \mathbb{N}$  and ${\mathbb{P}}_{X}$  from the $C\left(\left[0,1\right]\right)$  -counterexample following Theorem 4. Then set $h:=\frac{1}{2}\left({\text{1}}_{\left[0,1/2\right]}-{\text{1}}_{\left(1/2,1\right]}\right)$  . One checks that in ${L}^{\infty }\left(\left[0,1\right],dt\right)$  , for every $n\ge 1$  , $\parallel {f}_{n}-h{\parallel }_{{}_{\infty }}=1/2$  so that $\forall r\in \left[1,+\infty \right],{\parallel \parallel X-h{\parallel }_{{}_{\infty }}\parallel }_{{L}^{r}\left(\mathbb{P}\right)}=1/2.$  On the other hand, ${e}_{1,1}\left(X,{L}^{\infty }\right)={e}_{1,1}\left(X,C\left(\left[0,1\right]\right)=1/2=\parallel \parallel X-h{\parallel }_{{}_{\infty }}{\parallel }_{{L}^{1}\left(\mathbb{P}\right)}$  by the $C\left(\left[0,1\right]\right)$  -counterexample and Theorem 4. Consequently, the $\parallel .{\parallel }_{{L}^{r}\left(\mathbb{P}\right)}$  -norm being nondecreasing as a function of $r$  , $\forall r\in \left[1,+\infty \right],{e}_{1,r}\left(X,{L}^{\infty }\right)=\parallel \parallel X-h{\parallel }_{{}_{\infty }}{\parallel }_{{L}^{r}\left(\mathbb{P}\right)}=1/2$  with obvious definition of ${e}_{1,\infty }$  . The function $h$  is an $\left({L}^{r},\parallel .{\parallel }_{{}_{\infty }}\right)$  -optimal $1$  -quantizer without continuous $dt$  -version of the pathwise continuous process $X$  , $1\le r\le +\infty$  .
Note that $t↦{X}_{t}$  from $\left[0,1\right]$  into ${L}^{p}\left(\mathbb{P}\right)$  is continuous for any $p\in \left[1,+\infty \right)$  since $X$  is pathwise continuous and uniformly bounded by $1$  . Consequently it follows from Theorem 5 that, as soon as $1  , any $\left({L}^{r},\parallel .{\parallel }_{{}_{p}}\right)$  optimal $n$  -quantizer of $X$  (has a $dt$  -version which) consists of continuous functions. However, $t↦{X}_{t}$  from $\left[0,1\right]$  into ${L}^{\infty }\left(\mathbb{P}\right)$  is not continuous (at $t=1/2$  ), so the pathwise regularity of an optimal $\left({L}^{r},\parallel .{\parallel }_{{}_{\infty }}\right)$  -optimal $n$  -quantizer of an ${L}^{\infty }\left(\mathbb{P}\right)$  -continuous process remains open. But the $\parallel .{\parallel }_{{}_{\infty }}$  -norm being nowhere Gateaux-differentiable, the very notion of $\left({L}^{r},\parallel \cdot {\parallel }_{\infty }\right)$  -stationary quantizer no longer exists. So this would require to develop a new approach.
References

1. Bass, R.F., Diffusions and Elliptic Operators, Springer, New York, 1998.
2. Beauzamy, B., Introduction to Banach Spaces and their Geometry (2nd edition 1985), North-Holland Mathematics Studies 68, North-Holland, Amsterdam, 1982.
3. Bichteler, K., Gravereaux, J.-B., Jacod, J., Malliavin Calculus for Processes with Jumps, Gordon and Breach Science Publishers, 1987 (2nd printing, 1994).
4. Creutzig, J., Approximation of Gaussian random vectors in Banach spaces, PhD thesis, Univ. Jena, 2002.
5. Cuesta-Albertos, J.A., Matran, C., The strong law of large numbers for k-means and best possible nets of Banach valued random variables, Probab. Theory Rel. Fields, 78, 1988 523-534.
6. Dereich, S., Fehringer, F., Matoussi, A., Scheutzow, M., On the link between small ball probabilities and the quantization problem for Gaussian measures on Banach spaces, J. Theoretical Probab., 16, 2003, 249-265.
7. Dereich, S., High resolution coding of stochastic processes and small ball probabilities, PhD thesis, TU Berlin, 2003.
8. Dereich, S., The quantization complexity of diffusion processes, Preprint, 2004.
9. Gersho, A., Gray, R.M., Vector Quantization and Signal Compression, Kluwer, Boston, 1992.
10. Godefroy, G., Application à la dualité d'une propriété d'intersection. Math. Z., 182, 1983, 233-236.
11. Godefroy, G., Kalton, N.J., The ball topology and its applications. Contemporary Mathematics, 85, 1989, 195-237.
12. Godefroy, G., Kalton, N.J., Saphar, P.D., Unconditional ideals in Banach spaces. Studia Mathematica, 104, 1993, 13-59.
13. Graf, S., Luschgy, H., Foundations of Quantization for Probability Distributions, Lecture Notes in Mathematics ${n}^{0}$  1730, Springer, 2000.
14. Graf, S., Luschgy, H., Pages G., Functional Quantization and small ball probabilities for Gaussian processes, J. Theoretical Probab., 16, 2003, 1047-1062.
15. Gray, R.M., Neuhoff, D.L., Quantization, IEEE Trans. Inform. Theory, 44, 1998, 2325-2383.
16. Herrndorf, N., Approximation of vector-valued random variables by constants, J. Approx. Theory, 37, 1983, 175-181.
17. Karatzas, I., Shreve, S., Brownian Motion and Stochastic Calculus, Springer, New York, 1988 ( ${2}^{nd}$  edition 1991).
18. Ledoux, M., Talagrand, M., Probability on Banach Spaces: Isoperimetry and Processes, Springer, Berlin, 1991 ( ${2}^{nd}$  printing, 2002).
19. Lindenstrauss, J. Extension of Compact Operators, AMS, 1964
20. Lindenstrauss, J., Tzafriri, L., Classical Banach Spaces I, Springer, Berlin, 1977.
21. Luschgy, H., Pages, G., Functional quantization of Gaussian processes, J. Funct. Anal., 196, 2002, 486-531.
22. Luschgy, H., Pages, G., Sharp asymptotics of the functional quantization problem for Gaussian processes, Ann. Probab., 32, 2004, 1574-1599.
23. Luschgy, H., Pages, G., Functional quantization of 1-dimensional Brownian diffusion processes, Preprint, 2003.
24. Parna, K., On the existence and weak convergence of $k$  -centers in Banach spaces, Tartu Ülikooli Toimetised, 893, 1990, 17-287.
25. Pages, G., Printems, J., Optimal quadratic quantization for numerics: the Gaussian case, Monte Carlo Methods and Applications, 9, 2003, 135-166.
26. Pages, G., Printems, J., Functional quadratic quantization for pricing derivatives, Preprint, LMPA-900, Univ. Paris 6, 2004.
27. Samorodnitsky, G., Taqqu, M.S., Stable Non-Gaussian Random Processes, Chapmann & Hall, 1994.
28. Schaefer, H.H., Banach Lattices and Positive Operators, Springer, Berlin, 1974.