Tanım. Eğer $X\subseteq \mathbb{R}$ ve $r,s$ $\in$ $\mathbb{R}$ ise, $X+r$, $X-r$, $rX$ kümeleri şöyle tanımlanır:
$X+r$={$x+r$: $x \in X$}
$X-r$={$x-r$: $x \in X$}
$rX$={$rX$: $x \in X$}.
Soru: $X$=$\emptyset$ ve $r$ $\in$ $\mathbb{R}$ ise $r$ $\emptyset$=$\emptyset$+$r$=$\emptyset$ eşitliklerini kanıtlayın.
Benim kanıtım: $X$=$\emptyset$ olduğu için,
$rX=X+r=X$
olarak yazabiliriz, yani,
{$rX$: $x \in X$}={$x+r$: $x \in X$}=$X$
olduuğunu göstermeliyiz. $X$ boşküme olduğu için boşkümenin her elemanını hangi gerçel sayıyla çarparsam çarpayım gene boşküme elde ederim (NEDEN?). Benzer olarak, boşkümenin her elemanını hangi gerçel sayıyla toplarsam toplayım gene boşküme elde ederim (NEDEN?). Bu da istenileni kanıtlar.
Başka nasıl kanıtlayabiliriz?