[wiskunde] afbeeldingen

Moderators: ArcherBarry, Fuzzwood

Reageer
Berichten: 63

[wiskunde] afbeeldingen

Beste,

Ik moet een functie verzinnen die injectief is maar niet surjectief, waarbij f: A -> B (A en B oneindige verzamelingen).

Ik dacht dus aan de functie f:[0,1) -> [0,8) gegeven door f(x) = x^3.

Maar hoe bewijs ik dat dit niet surjectief is? Het is sowiezo injectief want neem willekeurige
\( x1,x2 \subset [0,1) \)
dan geldt er
\( (x1)^3 = (x2)^3 \Rightarrow x1 = x2 \)


Maar hoe bewijs ik de surjectiviteit ervan?

Hartelijk bedankt!

Gebruikersavatar
Berichten: 24.578

Re: [wiskunde] afbeeldingen

Niet surjectief wil zeggen dat niet elk element van het codomein het beeld is van een element uit het domein. Kies je codomein dus groter dan het bereik van je functie (onder je domein) en de functie is niet surjectief - toon dit aan door een element uit het codomein te geven dat geen beeld is van een element uit het domein.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 63

Re: [wiskunde] afbeeldingen

aah, dus ik dacht er te moeilijk over.

Dus ik kan bijvoorbeeld het volgende zeggen:
\( 7 \subset [0,8) \)
Maar er is geen
\( x \subset [0,1) \)
met
\( f(x) = 7 \)

Gebruikersavatar
Berichten: 24.578

Re: [wiskunde] afbeeldingen

Inderdaad. Eenvoudiger lijkt me bijvoorbeeld:
\(f:\left[ {0,1} \right] \to \rr:f\left( x \right) = x\)
Duidelijk injectief, maar niet surjectief (beeld/bereik is ook [0,1], maar bijvoorbeeld 2 zit in het codomein).
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 63

Re: [wiskunde] afbeeldingen

hmm, A en B moeten oneindige verzamelingen zijn, dus dan zou het
\(f:\left[ {0,1} \right) \to \rr:f\left( x \right) = x\)
moeten zijn toch?

Gebruikersavatar
Berichten: 24.578

Re: [wiskunde] afbeeldingen

Misschien hebben we een verschillend begrip van "oneindige verzameling", maar zowel [0,1] als [0,1) bevatten oneindig veel elementen hoor. Waarom zou je een (half)open verzameling moeten gebruiken? Maar jouw voorstel voldoet ook hoor, ik zie alleen niet in waarom het nodig is.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 63

Re: [wiskunde] afbeeldingen

maar hoe zou je eindige verzamelingen definiëren dan?

Ik dacht altijd dat [a,b] eindig was en [a,b) oneindig

Gebruikersavatar
Berichten: 24.578

Re: [wiskunde] afbeeldingen

Nee; [a,b] is gesloten, (a,b) open en [a,b) of (a,b] halfopen/halfgesloten.

Ik zou een verzameling eindig noemen, als het aantal elementen ervan eindig is...

Elk reëel interval [a,b] met a<b (of open, of half...) heeft oneindig veel elementen.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 63

Re: [wiskunde] afbeeldingen

aah, oke.

Nu heb ik een aantal termen weer op de juiste plaats gezet.

Hartelijk bedankt TD!

Gebruikersavatar
Berichten: 24.578

Re: [wiskunde] afbeeldingen

Graag gedaan, succes nog!
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Reageer