O vzore a zloženom zobrazení

Moderator: Martin Sleziak

Post Reply
Martin Sleziak
Posts: 5553
Joined: Mon Jan 02, 2012 5:25 pm

O vzore a zloženom zobrazení

Post by Martin Sleziak »

$f\colon X\to Y$, $g\colon Y\to Z$, $A\subseteq Z$ a máme ukázať$\newcommand{\Obr}[2]{{#1}[#2]}
\newcommand{\Invobr}[2]{\inv{#1}[#2]}
\newcommand{\inv}[1]{{#1}^{-1}}$
$$\Invobr{(g\circ f)}A = \Invobr f{\Invobr gA}.$$
Opravil som v zadaní "$A\subseteq X$" na "$A\subseteq Z$" a aj "$\Invobr g{\Invobr fA}$" na $\Invobr f{\Invobr gA}$". Tak ako to bolo pôvodne (a ako to je aj v poznámkach na stránka) to nie je správne.
Ak by som mal $A\subseteq X$, tak úloha nedáva zmysel. (Zobrazenie $g\circ f$ ide z $X$ do $Z$. Vzor môžem robiť len pre podmnožiny množiny $Z$.)

Azda po tejto oprave aspoň vidno, že všetky veci, ktoré tam vystupujú sú definované:
* Má zmysel robiť vzor $\Invobr{(g\circ f)}A$, lebo $A\subseteq Z$; je to podmnožina kooboru.
* Má zmysel robiť aj $\Invobr gA$; máme $g\colon Y\to Z$ a $A$ je podmnožina množiny $X$.
* Množina $\Invobr gA$ je podmnožinou množiny $Y$.

Za chybu sa ospravedlňujem - a v texte k prednáške chybu opravím, keď ho budem najbližšie aktualizovať.
Tým, že zadanie bolo napísané tak, že nedávalo zmysel, asi veľmi nemá zmysel písať sem kritiku riešenia ktoré ste mi poslali a pýtali ste sa, či to je správne.
Martin Sleziak
Posts: 5553
Joined: Mon Jan 02, 2012 5:25 pm

Re: O vzore a zloženom zobrazení

Post by Martin Sleziak »

Naznačím tu riešenie - ale dám ho skryté, ak si chcete riešenie vyskúšať spraviť samostatne.$\newcommand{\Obr}[2]{{#1}[#2]}
\newcommand{\Invobr}[2]{\inv{#1}[#2]}
\newcommand{\inv}[1]{{#1}^{-1}}$

Najprv sa asi oplatí pripomenúť si definície vecí, s ktorými tu robíme.
Spoiler:
\begin{align*}
x\in \Invobr{(g\circ f)}A &\Leftrightarrow g(f(x)) \in A\\
y\in \Invobr fA &\Leftrightarrow f(y)\in A\\
x\in\Invobr fB &\Leftrightarrow f(x)\in B
\end{align*}
V prvom riadku sme $g\circ f(x)$ prepísali ako $g(f(x))$; to je iba definícia zloženého zobrazenia.
A teraz sa možno oplatí pomocou definície prepísať, kedy $x$ patrí do ľavej strany a kedy do pravej.
Spoiler:
Pre ľavú stranu máme
$$x\in \Invobr{(g\circ f)}A \Leftrightarrow g(f(x)) \in A.$$
Pre pravú stranu postupne dostaneme
\begin{align*}
x\in \Invobr f{\Invobr gA}
&\Leftrightarrow f(x)\in \Invobr gA\\
&\Leftrightarrow g(f(x))\in A
\end{align*}
Vidíme, že v oboch prípadoch nám vyšla presne tá istá podmienka.
Post Reply