Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
8.4. OPGAVER 105<br />
Sætning 305 Lad f : A −→ B være en funktion, og kald dens tilhørende relation<br />
R f . Da er R −1<br />
f<br />
en funktion på f(A), hvis og kun hvis f er injektiv. Hvis<br />
f er injektiv, er funktionen R −1<br />
f<br />
en invers til funktionen f : A −→ f(A).<br />
Bevis. Antag at f : A −→ B er en funktion. At R −1<br />
f<br />
funktion betyder ifølge definition 253 at<br />
: f(A) −→ A er en<br />
1. For alle y ∈ f(A) findes et x ∈ A, så at yR −1<br />
f x.<br />
2. Hvis yR −1<br />
f<br />
x 1 og yR −1<br />
f x 2, da gælder at x 1 = x 2 .<br />
Men yR −1<br />
f<br />
x betyder pr definition af R−1 , at xR f y, eller ifølge definitionen<br />
af R f , at xfy eller y = f(x).<br />
Altså kan de to betingelser omskrives til<br />
1. For alle y ∈ f(A) findes et x ∈ A, så at y = f(x).<br />
2. Hvis f(x 1 ) = f(x 2 ) = y så er x 1 = x 2 .<br />
Det første betingelse er simpelthen definitionen af f(A), og det andet punkt<br />
er ensbetydende med at f er injektiv.<br />
Antag nu, at f er injektiv, så R −1<br />
f<br />
: f(A) −→ A er en funktion. Vi skal<br />
da bevise, at R −1<br />
f<br />
er den inverse funktion til den bijektive afbildning f : A −→<br />
f(A). Ifølge bemærkning 300 skal vi bare vise at<br />
Men det følger af definitionen på R −1<br />
f<br />
x = R −1<br />
f<br />
(y) ⇔ f(x) = y. (8.41)<br />
thi<br />
x = R −1<br />
f<br />
(y) ⇔ yR−1<br />
f x ⇔ xR f y ⇔ xfy ⇔ f(x) = y. (8.42)<br />
Sætning 306 Lad f : A −→ B være en funktion og kald dens tilhørende relation<br />
R f . Da er R −1<br />
f<br />
en funktion på B hvis og kun hvis f er bijektiv. Hvis f er<br />
bijektiv er funktionen R −1<br />
f<br />
den inverse til funktionen f : A −→ B.<br />
Bevis. Følger af den <strong>for</strong>regående sætning.<br />
8.4 Opgaver<br />
1. Betragt mængderne<br />
og<br />
A = {1, 2, 3, 4, 5} (8.43)<br />
B = {a, b, c, d} (8.44)