I am asked to prove the fact that if $C$ is an $[N,k]$ code, and $C^{\perp} = x \in \mathbb{F}_2^N$ $|$ $(x,c) = 0$ $\forall c \in C$, then $\dim C + \dim C^{\perp} = N$. I am regrettably far behind in my studies and still do not know too much about codes, but isn't this basically a straight application of the rank-nullity theorem?
In particular, can I just think of it like this: $C$ has $k$ free values in its vectors, so $C^{\perp}$ has to have $k$ $0$'s in it's vector, so $C^{\perp}$ can only have $N - k$ free values? Or am I oversimplifying things? This seems like a trivial question, but maybe I am not thinking of it right...