I'm reading this article by Boyd and Chua [1] , in which they prove the approximability of arbitrary time-invariant (TI) operators (or filters) with polynomials of some basis filters with separation and *fading memory* (FM) properties. This shows that those operators, indeed have fintie Volterra expansion approximates.

Consider the following:

- $C(\Bbb R)$ as the space of bounded continuous functions $u: \Bbb R \to \Bbb R$,
- $\|u\| = \sup_{t \in \Bbb R} |u(t)|$ being their norm,
- $\Bbb R_-$ as $\{t | t \le 0 \}$, with analogous definitions for $C(\Bbb R_-)$ and $\|\cdot\|$ as above,
- and time-invariant functionals $F: C(\Bbb R_-) \to \Bbb R$ and time-invariant operators $N: C(\Bbb R) \to C(\Bbb R)$.

- $K=\big\{u\in C(\Bbb R): |u(t)|\le M_1\wedge|u(s)-u(t)|\le M_2(s-t)\;\forall t, s\in\Bbb R, t<s\big\}$: explicitly, $K$ is the space of bounded uniformly Lipschitz continuous functions. Functions belonging to $K$ are called
*signals*.

- $K_-=\{u\in K : u(t)=0\text{ if }t>0\}$: Boyd & Chua prefer to define $K_-$ by using a "projection" operator $P$ such that $$\DeclareMathOperator{\dmu}{d\!} Pu(t) = \begin{cases} u(t) & t\le 0\\ 0 & t>0 \end{cases} $$ and then noting that $K_- =P K$. Be it noted that $K_-$ is compact in $C(\Bbb R)$ but only respect to the weighted $\sup$ norm defined as $$ \| u\|_w=\sup_{t\le 1} |u(t)w(-t)| $$ where $w:\Bbb R_+\to(0,1]$ is a weight function such that $\lim_{t\to\infty} w(t)=0$ (see below).
- For every TI operator $N$, an associated $F$ is defined by $Fu=Nu_e(0)$, in which $u_e$ os some extension of $u$ from $C(\Bbb R_-)$ to $C(\Bbb R)$.
- Furthermore, the fading memory (FM) property is defined for TI operators on $N \in K \subset C(\Bbb R)$ as the existence of some weight function $w: \Bbb R_+ \to (0,1]$ with $\lim_{t \to \infty} w(t) = 0$ that makes $K_-$ closed w.r.t. the weighted norm $w$. i.e. for any $v,u \in K$, one can find a $\delta$ for any $\epsilon$ such that

$$\|u-v\|_w:= \sup_{t\le 0} |u(t)-v(t)|w(-t) < \delta \implies |Nu(0) - Nv(0)| < \epsilon$$

*Lemma 2* states that there are some functionals on $K_-$ that separate points. To prove this, a class of functionals $G \in \mathbf G \subset K_-$ is defined by
$$\mathbf{G}=\left\{G(u)=\int\limits_0^{+\infty}g(\tau)u(-\tau)\dmu\tau :u\in K_-\wedge \int\limits_0^{+\infty}|g(\tau)|w(\tau)^{-1}\dmu\tau\right\}$$
which are (shown to be) continious w.r.t. the weighted norm $w$ (thanks to the condition introduced above). The authors further construct functions $g_0$ defined by:

$$g_0(t):= [u(-t)-v(-t)] w(t)\exp (-t)$$

and their associated $G_0$ **assuming** that they belong to $\mathbf G$. Then, they show that $g_0$ indeed separates points on $K_-$. However, **I don't understand why $G_0 \in \mathbf G$ in the first place.** $g_0$, by construction, dependends on $u$ and $v$. Thus, it does not look to me that $G_0$ is even time-invariant (simply shifting $u$ and $v$ in time will yield a different $g_0$). So my question is why is the proof of this lemma correct?

**Reference**

[1] Stephen Boyd, Leon O. Chua, "Fading memory and the problem of approximating nonlinear operators with Volterra series" (English), IEEE Transactions on Circuits and Systems 32, 1150-1161 (1985), MR0809696, Zbl 0587.93028.