This is a question for self-learning. I am too confused by the text to formulate a well-defined question now.
I am reading analysis of functions, and confused by the motivations of some theorems and definitions.
For example, we want to prove the following result:
where $\phi$ is any function $\in C^0(\Omega)$, and
Why do we care whether the support of a function is compact or not? (My thought: since the support is a closure, so it must be closed; then as long as the support is bounded, i.e. the function vanishes as $x\to\infty$, the support is compact.)
Why do we define a function $\tau_x\phi$ with $y$ as the independent variable? (My thought: both $x, y \in \Omega$, so here we define a function with arbitrarily chosen $x$ as a parameter, and maps a point in $\phi$'s domain $\Omega$, to the image of $\phi$ at the difference (distance) of the point from the parameter (reference point) $x$. $\quad$ The corollary basically says that a translated $C^k_c(\Omega)$ function is still $C^k_c(\Omega)$, at least if the translation $x$ is near $0$. In other words, a small perturbation does not change the property of the function. $\quad$ Nevertheless, it seems to me that any finite translation $x < \infty$ should not change the compactness of support and $k$-th differentiability, right?)