1: \begin{abstract}

2: We prove the asymptotic independence of the empirical process $\al_n = \sqrt{n}( \mathds{F}_n - F)$ and the rescaled empirical distribution function $\ba_n = n (\dsF_n(\tau+\frac{\cdot}{n})-\dsF_n(\tau))$, where $F$ is an arbitrary cdf, differentiable at some point $\tau$, and $\dsF_n$ the corresponding empricial cdf. This seems rather counterintuitive, since, for {\it every} $n \in \N$, there is a deterministic correspondence between $\al_n$ and $\ba_n$.

3: 

4: Precisely, we show that the pair $(\al_n,\ba_n)$ converges in law to a limit having independent components, namely a time-transformed Brownian bridge and a two-sided Poisson process. Since these processes have jumps, in particular if $F$ itself has jumps, the Skorokhod product space $D(\R) \times D(\R)$ is the adequate choice for modeling this convergence in. We develop a short convergence theory for $D(\R) \times D(\R)$ by establishing the classical principle, devised by Yu.\ V.\ Prokhorov, that finite-dimensional convergence and tightness imply weak convergence. Several tightness criteria are given. Finally, the convergence of the pair $(\al_n,\ba_n)$ implies convergence of each of its components, thus, in passing, we provide a thorough proof of these known convergence results in a very general setting. In fact, the condition on $F$ to be differentiable in at least one point is only required for $\ba_n$ to converge and can be further weakened.

5: \end{abstract}