5
$\begingroup$

Let $f(x) = x^{2}$, so $f(x)$ is an upward symmetric parabola. It is a perfectly symmetric function since $f(x) = f(-x)$ for any value of $x$.

Now, suppose $f$ is just some function. How would one measure how symmetric it is?

I would like to arrive at something that I could use to compare two (or more) functions and make statements such as $f$ is more symmetric than $g$.

$\endgroup$
5
  • 2
    $\begingroup$ Symmetric with respect to what? Point? Line? $y$ axis? $\endgroup$
    – Kaster
    Sep 17, 2015 at 18:37
  • $\begingroup$ You could come up with the symmetry group of the curve, the set of all isometries (like $(x, y) \mapsto (-x,y)$ here) of the plane that preserve the curve. For $g(x) = \cos x$, we'd have a bunch of translations, $(x,y) \mapsto (x+ 2\pi k,y)$, and glide reflections $(x,y) \mapsto (x + (2k+1)\pi, -y)$. $\endgroup$
    – pjs36
    Sep 17, 2015 at 18:43
  • $\begingroup$ With respect to the y-axis. $\endgroup$
    – minn
    Sep 17, 2015 at 18:44
  • $\begingroup$ How much (abstract) algebra do you know? $\endgroup$ Sep 17, 2015 at 18:52
  • $\begingroup$ Not that much. (additional characters for longer comment) $\endgroup$
    – minn
    Sep 17, 2015 at 19:26

1 Answer 1

4
$\begingroup$

Given any function $f:\Bbb R\to\Bbb R$, we can define two functions

$$g(x)=\frac 12(f(x)+f(-x))$$ $$h(x)=\frac 12(f(x)-f(-x))$$

Then we have $f=g+h$, $g$ is an even function (symmetric with respect to reflection in the $y$-axis), and $h$ is an odd function (symmetric with respect to a rotation of $180°$ around the origin).

If by "how symmetric" you mean with the $y$-axis, the "size" of function $h$ answers that, for however you define "size," since it is the "left-over" between $f$ and the even function $g$. If you mean with the origin, the "size" of function $g$ answers that.


There are multiple ways to define the "size" of a real function. If we allow a value of $+\infty$ for the size, we could measure $h$ with one of

$$\lim_{x\to+\infty}|h(x)|$$ $$\sup_{x\in\Bbb R}|h(x)|$$ $$\int_{-\infty}^{+\infty}|h(x)|\,dx$$ $$\int_{-\infty}^{+\infty}(h(x))^2\,dx$$

Some of these may be undefined for particular cases.

If the "size" of two functions $h_1$ and $h_2$ are both $+\infty$, we could still decide whether $h_1$ is larger than $h_2$ by comparing them with

$$\lim_{x\to+\infty}\left|\frac{h_1(x)}{h_2(x)}\right|$$

if that limit exists. There are also other possibilities, of course.

$\endgroup$
2
  • $\begingroup$ How could I define the size so that it would be possible to compare two functions $f$ and $g$? $\endgroup$
    – minn
    Sep 17, 2015 at 19:30
  • $\begingroup$ @minn: See the addition to my answer. Does this help? $\endgroup$ Sep 17, 2015 at 22:28

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .