User:Jshflynn/Length of Concatenation
Theorem
Let $\Sigma$ be an alphabet.
Let $x$ and $y$ be words over $\Sigma$ and let $\circ$ denote concatenation.
Then $\operatorname{len}\left({x \circ y}\right) = \operatorname{len}(x) + \operatorname{len}(y)$.
Proof
If $x=\lambda$ or $y=\lambda$ then the result follows immediately from the definition of concatenation with the empty word and the definition of word length.
Otherwise, from the definition of concatenation $x \circ y$ is a mapping from $[1..\operatorname{len}(x) + \operatorname{len}(y)]$ to $\Sigma$.
Also, from the definition of the length of a word: $\operatorname{len}(x \circ y)$ is the cardinality of the domain of $x \circ y$ when viewed as a sequence.
Hence $\operatorname{len}(x \circ y) = \operatorname{len}(x) + \operatorname{len}(y)$.
$\blacksquare$