I am wondering if there is a reference for the following:
Let $G$ be a finite group, and suppose that $f\colon M\rightarrow N$ is a continuous and $G$-equivariant map. Here $M$ and $N$ are finite dimensional $G$-manifolds, where $M$ possibly has boundary (I only care when $M$ is compact if that helps). Suppose also that $A\subset M$ is a closed $G$-invariant subset of $M$ on which $f$ is smooth, in that there exists an open neighborhood $U\subset M$ containing $A$ and a smooth equivariant function $h\colon U\rightarrow N$ such that $h\rvert_A=f\rvert_A$. Is it true that for any $\epsilon>0$, there exists a smooth equivariant map $f_\epsilon\colon M\rightarrow N$ such that
$\lvert f_\epsilon(x)-f(x)\rvert<\epsilon$ for all $x\in M$ and
$f_\epsilon\rvert_A=f\rvert_A$?
\mid
is meant for a binary relation, like $2 \mid 6$2 \mid 6
. If you want an abstract vertical line, then\vert
does the job; and it comes in\lvert
and\rvert
variants, depending on whether it goes on the left ("mathopen") or on the right ("mathclose"). Thus, compare $h\mid_A = f\mid_A$h\mid_A = f\mid_A
to $h\rvert_A = f\rvert_A$h\rvert_A = f\rvert_A
. I have edited accordingly. $\endgroup$