What can be said about a function with rotational symmetry of order other than 2?

911 Views Asked by At

It is well known that an odd function is a function whose graph has rotational symmetry of order $2$ (about the origin).

Suppose the graph of $f:U \to \Bbb{R}$ has rotational symmetry of some higher order $n$, where $U \subset \Bbb{R}$. What can be said about $f$?

Some things include:

  • The graph of $f$ must be disconnected (by applying the symmetry of the graph to the vertical line test).
  • In particular, if $U$ is an interval, $f$ cannot be continuous.
  • Such $f$ exist for certain disconnected $U$, and can be as nice as you like given their domain (e.g., piecewise linear). For a trivial example, let the graph of $f$ consist of the vertices of some appropriately rotated $n$-gon. This can easily be extended to a function on some union of intervals.
  • When $n=3$, it is possible to define $f$ on an interval with some deleted points (start with $f(x)=1$ for $x \in (-a,a)$ and extend by symmetry, with $a$ being as large as possible without collision), but at least in this case there's no way to consistently fill in the deleted points.

Is there any such function which is defined on an interval? If so, how badly behaved does it have to be (e.g., can it be piecewise continuous? must it be non-measurable?)