[wiskunde] functies

Moderators: ArcherBarry, Fuzzwood

Reageer
Gebruikersavatar
Berichten: 581

[wiskunde] functies

Ik weet niet goed of dit hier hoort, of in huiswerk?

gegeven:
\( f:A \rightarrow B \)
is een functie, en
\( S_1, S_2 \subseteq A \)
te bewijzen:

a)
\( f(S_1 \cup S_2)= f(S_1) \cup f(S_2) \)
b)
\( f(S_1 \cap S_2) \subset f(S_1) \cap f(S_2) \)
Kan iemand me op weg zetten?
---WAF!---

Gebruikersavatar
Berichten: 10.179

Re: [wiskunde] functies

Je bewijst 2 inclusies bij a, ik geef aanzet vr de inclusie
\(\subset \)
. Kies een
\( b \in f(S_1 \cup S_2) \)
, dan bestaat er een
\( a \in S_1 \cup S_2\)
waarvoor f(a) = b, dan is
\( a \in S_1\)
of
\(a \in S_2\)
...

Probeer nu zelf af te maken, de 2de opgave verloopt analoog (mss ook goed om eens na te denken over tegenvb voor de gelijkheid :D )
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.

Gebruikersavatar
Berichten: 581

Re: [wiskunde] functies

Sorry, ik ben hier nog niet zo goed in thuis, het ontgaat me allemaal nog een beetje.

Voor je aanzet voor de inclusie
\(\subset \)
voor gedeelte a) zie ik het nog niet echt.

Kan je me nog iets meer op weg zetten? Ook wat betreft de voorbeelden voor gedeelte b) ?

Bedankt
---WAF!---

Gebruikersavatar
Berichten: 7.556

Re: [wiskunde] functies

Voor vraag b):

Stel
\(x\in S_1\cap S_2\)
, dan
\(x\in S_1\)
en
\(x\in S_2\)
.

Derhalve
\(f(x)\subset f(S_1)\)
en
\(f(x)\subset f(S_2)\)
, oftewel
\(f(x)\subset f(S_1)\cap f(S_2)\)
Is dit te volgen?

NB:
\(f(S_1):=\{f(x)|x\in S_1\}\)
Never express yourself more clearly than you think.

- Niels Bohr -

Berichten: 4.246

Re: [wiskunde] functies

Phys schreef:Voor vraag b):

Stel
\(x\in S_1\cap S_2\)
, dan
\(x\in S_1\)
en
\(x\in S_2\)
.

Derhalve
\(f(x)\subset f(S_1)\)
en
\(f(x)\subset f(S_2)\)
, oftewel
\(f(x)\subset f(S_1)\cap f(S_2)\)
Is dit te volgen?

NB:
\(f(S_1):=\{f(x)|x\in S_1\}\)
Voor vraag a.

Kies een
\( b \in f(S_1 \cup S_2)\)
dan bestaat er een
\( a \in S_1 \cup S_2 \)
waarvoor f(a) = b, dan is
\( a \in S_1 \)
of
\(a \in S_2\)
. Maar dan geldt dat
\(b \in f(S_1) \)
of
\(b \in f(S_2)\)
, maar dan geldt zeker dat:
\( b \in f(S_1 \cup S_2)\)
Quitters never win and winners never quit.

Gebruikersavatar
Berichten: 581

Re: [wiskunde] functies

Phys,

ivm vraag b)
Derhalve
\(f(x)\subset f(S_1)\)
en
\(f(x)\subset f(S_2)\)
, oftewel
\(f(x)\subset f(S_1)\cap f(S_2)\)
Waarom schrijf je hier steeds
\(f(x)\subset\)
, moet dat niet zijn
\(f(x) \in \)
?

dus als
\( x \in S_1 \cap S_2 \)
dan
\( f(x) \in f(S_1) \cap f(S_2)\)
(zie hierboven)

en dus , omdat
\( f(x) \in f(S_1 \cap S_2) \)
(gegeven) ; dus
\( f(S_1 \cap S_2) \subset f(S_1) \cap f(S_2) \)
heb ik de logica juist?
---WAF!---

Gebruikersavatar
Berichten: 581

Re: [wiskunde] functies

dirkkwb,

voor a):
Kies een
\( b \in f(S_1 \cup S_2)\)
dan bestaat er een
\( a \in S_1 \cup S_2 \)
waarvoor f(a) = b, dan is
\( a \in S_1 \)
of
\(a \in S_2\)
. Maar dan geldt dat
\(b \in f(S_1) \)
of
\(b \in f(S_2)\)
, maar dan geldt zeker dat:
\( b \in f(S_1 \cup S_2)\)
Sorry maar ik volg je niet: je vertrekt van:

Kies een
\( b \in f(S_1 \cup S_2)\)
om uit te komen bij hetzelfde:

dan geldt zeker dat:
\( b \in f(S_1 \cup S_2)\)
?
---WAF!---

Gebruikersavatar
Berichten: 581

Re: [wiskunde] functies

Beste dirkwb en phys,

Ik denk dat ik het wel door heb nu;

ik gebruik voor a)

-om de inclusie in de ene richting te bewijzen dezelfde logica als voor b)

-en voor de inclusie in de andere richting te bewijzen vertrek ik gewoon andersom, zoals dirkwb begonnen was

de 2 inclusies samen geven dan '='
---WAF!---

Gebruikersavatar
Berichten: 24.578

Re: [wiskunde] functies

Ik weet niet goed of dit hier hoort, of in huiswerk?
Dit is eerder iets voor huiswerk - verplaatst.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 581

Re: [wiskunde] functies

Toch nog iets niet helemààl duidelijk:

Ik kan namelijk op dezelfde wijze als voor a) bewijzen dat in b) ook een = teken moet staan:

als volgt:

in de ene richting:

kies
\(x \in (S_1 \cap S_2) \)
dus is
\( f(x) \in f(S_1 \cap S_2) \)
maar dan is ook:
\( x \in S_1 \)
én
\(x \in S_2 \)
; bijgevolg is
\( f(x) \in f(S_1) \)
én
\(f(x) \in f(S_2) \)
oftewel
\( f(x) \in f(S_1) \cap f(S_2) \)
waardoor bewezen is dat
\( f(S_1 \cap S_2) \subseteq f(S_1) \cap f(S_2) \)
maar andersom kan ik ook bewijzen dat:

kies
\( f(x) \in f(S_1) \cap f(S_2) \)
; dit wil zeggen dat
\( f(x) \in f(S_1) \)
én
\(f(x) \in f(S_2) \)
, waardoor
\(x \in S_1 \)
én
\(x \in S_2 \)
, dus
\( x \in S_1 \cap S_2\)
, waardoor dus ook
\( f(x) \in f(S_1 \cap S_2)\)
waardoor bewezen is dat
\( f(S_1 \cap S_2) \supseteq f(S_1) \cap f(S_2) \)
en dus bijgevolg
\( f(S_1 \cap S_2) = f(S_1) \cap f(S_2) \)
Wat doe ik fout?

Kan iemand mij een tegenvoorbeeld geven (Drieske?)
---WAF!---

Berichten: 4.246

Re: [wiskunde] functies

Westy schreef:dirkkwb,

voor a):

Sorry maar ik volg je niet: je vertrekt van:

Kies een
\( b \in f(S_1 \cup S_2)\)
om uit te komen bij hetzelfde:

dan geldt zeker dat:
\( b \in f(S_1 \cup S_2)\)
?
Oeps, er had moeten staan
\( b \in f(S_1) \cup f(S_2)\)
Quitters never win and winners never quit.

Gebruikersavatar
Berichten: 7.556

Re: [wiskunde] functies

Westy schreef:Phys,

ivm vraag b)

Waarom schrijf je hier steeds
\(f(x)\subset\)
, moet dat niet zijn
\(f(x) \in \)
?
Je hebt helemaal gelijk; foutje van mij. Maar leerzaam voor jou :D
dus als
\( x \in S_1 \cap S_2 \)
dan
\( f(x) \in f(S_1) \cap f(S_2)\)
(zie hierboven)

en dus , omdat
\( f(x) \in f(S_1 \cap S_2) \)
(gegeven) ; dus
\( f(S_1 \cap S_2) \subset f(S_1) \cap f(S_2) \)
heb ik de logica juist?
De logica is juist, alleen een kleine opmerking:
omdat
\( f(x) \in f(S_1 \cap S_2) \)
(gegeven)
Dit is niet gegeven, maar dit is zo omdat je x precies zo gekozen hebt: zij
\( x \in S_1 \cap S_2 \)
, dan
\( f(x) \in f(S_1 \cap S_2) \)
. Een aangezien
\( x \in S_1 \cap S_2 \)
willekeurig is, volgt uit
\( f(x) \in f(S_1) \cap f(S_2)\)
dat
\( f(S_1 \cap S_2) \subset f(S_1) \cap f(S_2) \)
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 10.179

Re: [wiskunde] functies

Westy schreef:en dus bijgevolg
\( f(S_1 \cap S_2) = f(S_1) \cap f(S_2) \)
Wat doe ik fout?

Kan iemand mij een tegenvoorbeeld geven (Drieske?)
Kies S1 en S2 onderling disjunct (ze hebben geen gemeenschappelijke elementen; bijgevolg is de doorsnede leeg en dus ook het beeld is leeg. Stuur beide verzamelingen nu op eenzelfde element af (bijv f(S1)=f(S2)=2), dus
\( f(S_1) \cap f(S_2) = \{2\} \)
... ik hoop dat het helpt (bijv de x²-functie voldoet als je S1=R+ en S2=R- kiest)
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.

Gebruikersavatar
Berichten: 581

Re: [wiskunde] functies

ik hoop dat het helpt
Dat helpt zeker.

Bedankt allemaal.
---WAF!---

Reageer