1. ## bijective proof

Hi everyone, I am stuck on the following question, can anyone help!

let A be a finite set with m elements (m is a member of N). And suppose x is an object that is not a member of A
Prove that A U {x} has m+1 elemetns.

The answer is soo obvious but just dont know how to prove! Thanks so much!

2. Originally Posted by withoutaclue
Hi everyone, I am stuck on the following question, can anyone help!

let A be a finite set with m elements (m is a member of N). And suppose x is an object that is not a member of A
Prove that A U {x} has m+1 elemetns.

The answer is soo obvious but just dont know how to prove! Thanks so much!
Hint: Define a one-one onto mapping between A U {x} and set {1,2,3,....,m,m+1}

3. Originally Posted by withoutaclue
let A be a finite set with m elements (m is a member of N). And suppose x is an object that is not a member of A
Prove that A U {x} has m+1 elements.
By definition there is a bijection $f:A \leftrightarrow \left\{ {1,2, \cdots ,m} \right\}$.
Define $g:A \cup \{ x\}\mapsto \{1,2,\cdots,m,m+1\} \;,\;g(y) = \left\{ {\begin{array}{rl}
{f(y),} & {y \ne x} \\ {m + 1,} & {y = x} \\ \end{array} } \right.$

Prove that $g$ is a bijection.

4. thanks very much
it gave me some clue now