Nejaké staršie komentáre k tejto istej d.ú. sa dajú nájsť tu:
viewtopic.php?t=535
viewtopic.php?t=322
viewtopic.php?t=110
Pozrime sa na túto skupinu:
Uvedomme si, že vlastne máme dokázať dve veci.Nech $\newcommand{\Zobr}[3]{#1\colon #2\to #3}\newcommand{\Obr}[2]{#1[#2]}\newcommand{\Invobr}[2]{{#1}^{-1}[#2]}\Zobr fXY$ je zobrazenie. Dokážte:
$f$ je injekcia práve vtedy, keď pre ľubovoľné $A,B\subseteq X$ platí $$A\subseteq B \Leftrightarrow \Obr fA \subseteq \Obr fB\tag{*}.$$
A. Ak $f$ je injekcia, tak spĺňa podmienku $(*)$.
B. Ak $f$ spĺňa podmienku $(*)$, tak je to injekcia.
(V riešeniach, ktoré ste odovzdali, zvyčajne chýbala časť B.)
A. Nech $f$ je injekcia. Chceme ukázať ekvivalenciu uvedenú v $(*)$.
$\boxed{\Rightarrow}$ Predpokladajme, že $A\subseteq B$.
Ak $y\in \Obr fA$, tak existuje $x\in A$ také, že $f(x)=y$.
Pretože $A\subseteq B$, platí potom aj $y=f(x)\in\Obr fB$.
Ukázali sme, že každý prvok $y\in\Obr fA$ patrí aj od $\Obr fB$. Tým je dokázané $\Obr fA\subseteq\Obr fB$.
$\boxed{\Leftarrow}$ Teraz predpokladajme, že $\Obr fA \subseteq \Obr fB$.
Nech $a\in A$. Potom platí $f(a)\in \Obr fA$.
To znamená, že aj $f(a)\in\Obr fB$.
Podľa definície obrazu množiny potom máme, že existuje $b\in B$ také, že $f(b)=f(a)$.
Lenže z injektívnosti dostaneme $b=a$. Tým sme vlastne zistili, že $a\in B$.
Ukázali sme, že ľubovoľný prvok $a\in A$ patrí aj do $B$, čím je dokázaná inklúzia $A\subseteq B$.
B. Postupujme nepriamo. Nech $f$ nie je injekcia.
Potom existujú $x_1\ne x_2$ také, že $f(x_1)=f(x_2)$.
Položme $A=\{x_1\}$ a $B=\{x_2\}$.
Všimnime si, že $\Obr fA=\Obr fB=\{f(x_1)\}$.
Ukázali sme, že existujú množiny $A$, $B$ také, že $\Obr fA\subseteq \Obr fB$, ale $A\not\subseteq B$.
Teda pre zobrazenie $f$ neplatí podmienka $(*)$.
EDIT: Dôkaz tohoto tvrdenia sa dá nájsť aj tu: viewtopic.php?t=110