Visa att en komplex funktion är bijektiv på |z|<1
Hej! Jag fick idag ett arbetsblad av min lärare på komplexa funktioner eftersom jag har visat intresse för det tidigare. En av uppgifterna var detta:
Bevisa att funktionen är bijektiv i domänet
Termen bijektiv var något jag hört en gång förut, men detta är aldrig något jag har jobbat med. Men bijektivitet innebär att funktionen är injektiv och surjektiv.
Att visa att funktionen är injektiv gissar jag går på detta sätt:
Definitionen för en injektiv funktion är att om eller
Anta att och .
Då får vi att
Alltså , vilket går emot kraven på och och därför omöjligt
eller , men detta är uppenbart utanför definitionsmängden för
Eftersom det inte existerar några och (inom ) så att och får vi att funktionen är injektiv på domänet (?)
Men för att bevisa att funktionen är surjektiv är jag osäker på hur man ska göra.
Vad jag uppfattar innebär det att om man tar något element ur värdemängden på så finns det ett i definitionsmängden (alltså ) så att
Då tänker jag att man sätter
Här är jag dock osäker på hur man ska fortsätta eller om detta är rätt spår alls. Jag har ju inte riktigt tänkt särskilt mycket på värdemängden av .
Det man kan få fram att , Alltså .
Dessutom, om vi definierar får vi att , vilket får mig tro att detta är något på spåren.
Hur visar man bijektivitet och vad ska jag göra för att avsluta detta?
Tack
Formuleringen verkar vara lite otydlig.
Bilden av enhetscirkelskivan under funktionen innehåller punkter utanför enhetscirkelskivan. T.ex. alla tal på reella talaxeln som uppfyller har bilden som hamnar utanför enhetscirkelskivan.
Funktionen är alltså inte en bijektion från enhetscirkelskivan till enhetscirkelskivan.
Om man dock menar att är bijektion från enhetscirkelskivan till :s värdemängd, så räcker det att visa injektivitet eftersom surjektivitet fås gratis utifrån definitionen av värdemängden.
LuMa07 skrev:Formuleringen verkar vara lite otydlig.
Bilden av enhetscirkelskivan under funktionen innehåller punkter utanför enhetscirkelskivan. T.ex. alla tal på reella talaxeln som uppfyller har bilden som hamnar utanför enhetscirkelskivan.
Funktionen är alltså inte en bijektion från enhetscirkelskivan till enhetscirkelskivan.
Om man dock menar att är bijektion från enhetscirkelskivan till :s värdemängd, så räcker det att visa injektivitet eftersom surjektivitet fås gratis utifrån definitionen av värdemängden.
Det jag antog är det andra, att funktionen är bijektiv från till värdemängden. Men jag är lite osäker fortfarande på definitionen av surjektivitet. Varför är det gratis att den är surjektiv? Menar du bara typ att alla funktioner är surjektiva på sin värdemängd?
Ja, varje funktion är surjektiv till sin värdemängd.
Värdemängden består av de värden som fåtts genom att sätta in i funktionsuttrycket . Med andra ord så finns det till varje något så att .
LuMa07 skrev:Ja, varje funktion är surjektiv till sin värdemängd.
Värdemängden består av de värden som fåtts genom att sätta in i funktionsuttrycket . Med andra ord så finns det till varje något så att .
Ok, jag förstår. Tack så mycket!