0
$\begingroup$

Suppose $M$ is a connected, smooth, second-countable manifold.

Let $U \subset M^n$ be some neighbourhood of the diagonal. We will call a function $a: U \times \Delta_n \rightarrow M$ an "averaging operator of order n" if $a|_{U \times v_i} = \pi_i$, where $v_i$ denotes the i-th vertex of $\Delta_n$.

Intuitively, $a$ should tell us how to take a weighted average of "close" functions.

Does every $M$ admit a smooth averaging operator of order $n$, for some $U$ and all $n$?

(I am trying to prove that smooth functions are dense in $Hom(M,N)$ without embedding $N$ into any $\mathbb{R}^n$ and the above result would greatly help me.)

  • 0
    $\Delta_n$ is standard $n$-simplex?2011-11-16
  • 0
    Yes, it is the standard n-simplex as a submanifold of R^n.2011-11-16
  • 0
    I would remark that this question has been posted even on MathOverflow. There, until now it has received three interesting answers. Cf. http://mathoverflow.net/questions/81105/can-one-approximate-close-smooth-functions2011-11-18

1 Answers 1