A question about a simple combinatorial problem I am reading "Introduction to Combinatorial Mathematics" by C. L. Liu.
And I cannot understand the meaning of "because of symmetry" in the following sentences:
p.7 Example 1-9
"A binary sequence is a sequence of $0$'s and $1$'s. What is the number of $n$-digit binary sequences that contain an even number of $0$'s(zero is considered as an even number) ? The problem is immediately solved if we observe that because of symmetry half of the $2^n$ $n$-digit binary sequences contain an even number of $0$'s, and the other half of the sequences contain an odd number of $0$'s."
Liu says that "because of symmetry".
In fact, if $n$ is an odd integer, the problem is immediately solved by symmetry as follows(but if $n$ is an even integer, the following argment doesn't work):
If a sequence contains an even number of $0$'s, then the sequence contains an odd number of $1$'s.
If a sequence contains an odd number of $0$'s, then the sequence contains an even number of $1$'s.
So, "the number of sequeces which contain an even number of $0$'s" is equal to "the number of sequeces which contain an odd number of $1$'s",
and, "the number of sequeces which contain an odd number of $0$'s" is equal to "the number of sequeces which contain an even number of $1$'s".
Obviouly, "the number of sequeces which contain an even number of $0$'s" $+$ "the number of sequeces which contain an odd number of $0$'s" is equal to $2^n$.
And, by symmetry, "the number of sequeces which contain an even number of $0$'s" is equal to "the number of sequeces which contain an even number of $1$'s".
Finally,
$2^n$
$=$
"the number of sequeces which contain an even number of $0$'s" $+$ "the number of sequeces which contain an odd number of $0$'s"
$ = $
"the number of sequeces which contain an even number of $0$'s" $+$ "the number of sequeces which contain an even number of $1$'s"
$ = $
"the number of sequeces which contain an even number of $0$'s" $\times 2$.
So, 
"the number of sequeces which contain an even number of $0$'s" is equal to $2^{n-1}$.

The "symmetry" alluded to here is the symmetry between the sets, 
\begin{align*}
E &\equiv \{\mathbf{x} \in \{0, 1\}^{\times n} \ | \ \mathrm{number \ of \ 0's \ in \ \mathbf{x} \ even} \} \\
O &\equiv \{\mathbf{x} \in \{0, 1\}^{\times n} \ | \ \mathrm{number \ of \ 0's \ in \ \mathbf{x} \ odd} \} \rm{,}
\end{align*}
the sets of binary sequences with even and odd numbers of $0$'s, respectively. Symmetry means that, to every member $\mathbf{x} \in E$, we can associate exactly one member $\mathbf{y} \in O$. This can be done by, say, flipping the last bit $x_n$ of $\mathbf{x}$, which either increases the number of $0$'s by one (if $x_n = 1$) or decreases the number of $0$'s by one (if $x_n = 0$). In either case, the new sequence, $\mathbf{y}$, has an odd number of $0$'s. It is clear that every such $\mathbf{y}$ can be obtained this way (for any $\mathbf{y} \in O$, we can easily give the corresponding $\mathbf{x}$ by flipping $y_n$ back to $x_n$), and no such $\mathbf{y}$ has more than one corresponding $\mathbf{x}$. Therefore, this association defines a bijection, and so $E$ and $O$ must contain the same number of elements. Since every binary sequence of length $n$ has either an even or odd number of $0$'s, $E$ and $O$ must in fact each contain exactly half of the binary sequences of length $n$.
As a simple example, consider the case for which $n = 2$, where we have
\begin{align*}
E &= \{00, 11\} \\
O &= \{01, 10 \} \rm{.}
\end{align*}
By this mapping, the first element listed in $E$ is associated to the first element listed in $O$, and similarly for the second elements. In the same way, we check that the bijection holds for $n = 3$
\begin{align*}
E &= \{001, 010, 100, 111 \} \\
O &= \{000, 011, 101, 110\} \rm{,}
\end{align*}
and so forth.
