2

If $A=\{-n,-n+1, \dots, n-1,n \}$, how many functions $A \to A$ are there,that are even,so they satisfy the condition $f(-x)=f(x), \forall x \in A$?

Is it maybe $(\frac{|A|}{2})^{|A|}$ ?

evinda
  • 7,823
  • 1
    Note that $|A|=2n+1$ is odd, so your formula cannot be right (its value is non-integer) – Marc van Leeuwen Apr 24 '14 at 21:12
  • So what can I do? – evinda Apr 24 '14 at 21:18
  • 1
    What you do is just "count" them. You look like you are on the right track, by multiplying out all the points that can be "chosen" and excluding the ones that are fixed by symmetry. Now you just need to notice that all of 0 to n can be chosen, and all of -n to -1 are fixed. How many is that? How many different choices are available at each point? – ex0du5 Apr 24 '14 at 21:22
  • @evinda: Switch base and exponent, and round the latter up to an integer. – Marc van Leeuwen Apr 24 '14 at 21:22

3 Answers3

5

The requirement of being even means your function is determined by its values on the non-negative integers, and these values can be arbitrary (within the specified range): one can put $f(-i)=f(i)$ for $i=1,\ldots,n$ to complete to an even function. So the answer is the number of maps from the $n+1$ element set $\{0,1,\ldots,n\}$ to the $2n+1$ element set $A$, which number is $(2n+1)^{n+1}$.

  • Could you explain me further the sentence: $\text{ So the answer is the number of maps from a } n+1 \text{ element set to a } 2n+1 \text{ element set, which number is } (2n+1)^{n+1}.$ – evinda Apr 24 '14 at 21:29
  • I've detailed which precise sets are meant. Once a map as indicated in te final sentence is fixed, apply the procedure at the end of my first sentence to construct an even function from $A$ to itself. – Marc van Leeuwen Apr 25 '14 at 04:35
2

The values on negative integers is determined by the value on the positive integers and nonnegative integers can be sent to every element of $A$ giving $(2n+1)^{n+1}$ possibilities.

drhab
  • 151,093
1

Suppose n=1.Then A={-1,0,1} are elements of your set A. Now define x goes to x^2n where n€N. That is f from A to A is defined as f(x) = x^2n (x power 2n). Now thing how many even functions are there. There are countably infinite even function.

Gopi
  • 21
  • 1
    The codomain of the function is $A$, not $\mathbb{N}$. There are a finite number of such functions, so there are a finite number of even ones. – Henry Swanson Apr 24 '14 at 22:03