Stranica 1 od 1

Dokazati da je funkcija 1-1

PostPoslato: Utorak, 07. Februar 2017, 16:27
od Aki14
Pozdrav svima, potrebna pomoc oko zadatka:

Neka je [inlmath]f\colon X\to Y[/inlmath] . Dokazati da je [inlmath]f[/inlmath] „1-1“ akko za sve [inlmath]A\subseteq X[/inlmath] i [inlmath]B\subseteq Y[/inlmath] vazi:
[dispmath]f^{-1} \begin{bmatrix} f \begin{bmatrix} A \end{bmatrix} \setminus \begin{pmatrix} f \begin{bmatrix} A \end{bmatrix} \cap B \end{pmatrix} \end{bmatrix} =A\setminus f^{-1} \begin{bmatrix} B \end{bmatrix}[/dispmath]
Mislim jasno mi je sve kada je funkcija [inlmath]f[/inlmath] „1-1“ i ocigledno je zasto vazi ova formula ali mi nije jasno kako preko nje da dokazem da je [inlmath]f[/inlmath] „1-1“. Svaka pomoc je dobrodosla. :)

Re: Dokazati da je funkcija 1-1

PostPoslato: Utorak, 07. Februar 2017, 22:20
od Onomatopeja
Koristeci osobine [inlmath]f^{-1}[A_1\setminus A_2]=f^{-1}[A_1]\setminus f^{-1}[A_2][/inlmath] kao i [inlmath]f^{-1}[A_1\cap A_2]=f^{-1}[A_1]\cap f^{-1}[A_2][/inlmath] (za proizvoljne [inlmath]A_1,A_2\subseteq X[/inlmath]) moze se pokazati da data skupovna jednakost zapravo glasi [inlmath]f^{-1}\bigl[f[A]\bigr]\setminus f^{-1}[B]=A\setminus f^{-1}[B][/inlmath]. Birajuci na zgodan nacin skup [inlmath]B[/inlmath] (sto mozemo, jer nam je receno da data relacija vazi za svako [inlmath]B\subseteq Y[/inlmath]) to odatle sledi i [inlmath]f^{-1}\bigl[f[A]\bigr]=A[/inlmath]. Odatle sledi injektivnost funkcije [inlmath]f[/inlmath], jer vazi: funkcija [inlmath]f[/inlmath] je injektivna akko [inlmath]f^{-1}\bigl[f[A]\bigr]=A[/inlmath] za svako [inlmath]A\subseteq X[/inlmath] (ako nije poznato, onda dokazati).

Inace, ne vidim potrebu za koriscenje komandi za zagrade od matrica radi pisanja srednje i male zagrade (mislim da je to ovde nepotrebno komplikovanje LaTeX koda).