Grunnleggende funksjonsbevis

Mange finner bevis vanskelig. Her er rom for spørsmål vedrørende bevis, og for å dele dine bevis med andre. Vi tenker først og fremst videregående nivå, men det er ingen begrensninger her.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
wingeer
Descartes
Descartes
Innlegg: 414
Registrert: 24/05-2008 17:22
Sted: Trondheim

Hei,
Sitter og knoter litt med grunnleggende mengde- og funksjonslære og snublet over problemstillingen:
La [tex]f:A \to B[/tex] og [tex]S \subset A[/tex], [tex]T \subset A[/tex], da er:
[tex]f(S \cap T) \subset f(S) \cap f(T)[/tex].
Kladdet ned et bevis, men ble veldig usikker på at det er rett. Det vil si, jeg er ganske sikker på at det er feil, men klarer ikke se helt hvor feilen ligger. Jeg vet at dette lett kan løses ved å bruke at undermengder er bevart under bildet, men lurer på om det kan bevises uten den egenskapen. Here goes:
1. La [tex]x \in f(S \cap T)[/tex], fra definisjonen av bildet gjelder dette hvis og bare hvis [tex]\exists y \in S \cap T : f(y)=x[/tex].
2. Nå [tex]y \in S \cap T \Leftrightarrow y \in S \wedge y \in T[/tex] (definisjon av snitt).
3. [tex]\Leftrightarrow f(y)=x \in f(S) \wedge f(y)=x \in f(T) \Leftrightarrow x \in f(S) \cap f(T)[/tex].
Dette stemmer jo ikke, ettersom det bare er den ene inklusjonen som skal gjelde. Det vil si at det er en feil i pilene her. Mistenker det er i steg 3. Tror jeg har implisitt antatt injektivitet her. Noen tilbakemeldinger?
M.Sc. Matematikk fra NTNU.
wingeer
Descartes
Descartes
Innlegg: 414
Registrert: 24/05-2008 17:22
Sted: Trondheim

Merkelig hvordan ting går opp med en gang en får det presentert foran seg. :)
Problemet ligger jo selvfølgelig i:
[tex]y \in S \Leftrightarrow f(y) \in f(S)[/tex]. Dette gjelder kun hvis f er injektiv:
Den ene retningen er triviell (begge ganske så, egentlig), så anta [tex]f(y) \in f(S)[/tex], siden f er injektiv er det mulig å definere en bijeksjon på bildet til f, så det finnes en inversfunksjon g, slik at:
[tex]g(f(y)) = y \in g(f(S)) = S[/tex], eller [tex]y \in S[/tex] hvilket skulle vises. Dette holder ikke hvis ikke f er injektiv, for la
[tex]f: \mathbb{R} \to \mathbb{R}[/tex] med [tex]f(x)=x^2[/tex] og la [tex]S=\left{ r \in \mathbb{R} : r \geq 0 \right}[/tex].
Vi har da at [tex]f(S) = S[/tex], men [tex]f(-2)=4 \in f(S)=S[/tex], men -2 er jo åpenbart ikke i S!
M.Sc. Matematikk fra NTNU.
james103
Fibonacci
Fibonacci
Innlegg: 1
Registrert: 25/06-2013 10:17

Hei,
Sitter og knoter litt med grunnleggende mengde- og funksjonslære og snublet over problemstillingen
We offer brain dump basic tutorials for web design learners. Join 200-101 dumps course to pass VMWARE
exam and become expert using certified resources. for more detail California Institute of Technology best wishes
Svar