Svar till vissa uppgifter från första veckan.

Relevanta dokument
Lite Kommentarer om Gränsvärden

Kursens Kortfrågor med Svar SF1602 Di. Int.

ENDIMENSIONELL ANALYS B1 FÖRELÄSNING XII. Föreläsning XII. Mikael P. Sundqvist

Material till kursen SF1679, Diskret matematik: Lite om kedjebråk. 0. Inledning

Institutionen för Matematik. SF1625 Envariabelanalys. Lars Filipsson. Modul 1

Tentamen : Lösningar. 1. (a) Antingen har täljare och nämnare samma tecken, eller så är täljaren lika med noll. Detta ger två fall:

Satser om gränsvärden med bevis som saknas

Moment 1.15, 2.1, 2.4 Viktiga exempel 2.2, 2.3, 2.4 Övningsuppgifter Ö2.2ab, Ö2.3. Polynomekvationer. p 2 (x) = x 7 +1.

Explorativ övning 7 KOMPLEXA TAL

A-del. (Endast svar krävs)

Tentamen i Matematisk analys MVE045, Lösningsförslag

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson

Modul 1 Mål och Sammanfattning

Serier. egentligen är ett gränsvärde, inte en summa: s n, där s n =

FULLSTäNDIGHETSAXIOMET, SATSEN OM MELLANLIGGANDE VäRDE OCH SATSEN OM STöRSTA OCH MINSTA VäRDE

Förberedelser inför lektion 1 (första övningen läsvecka 1) Lektion 1 (första övningen läsvecka 1)

Övningshäfte 2: Komplexa tal (och negativa tal)

En Guide till hur man Pluggar för Tentan. 1 Hur man Läser Matte.

Lösandet av ekvationer utgör ett centralt område inom matematiken, kanske främst den tillämpade.

S n = (b) Med hjälp av deluppgift (a) beräkna S n. 1 x < 2x 1? i i. och

Fall 1 2x = sin 1 (1) + n 2π 2x = π 2 + n 2π. x = π 4 + n π. Fall 2 2x = π sin 1 (1) + n 2π. 2x = π π 2 + n 2π

5B1134 Matematik och modeller

Övningshäfte 2: Komplexa tal

POLYNOM OCH POLYNOMEKVATIONER

Kimmo Eriksson 12 december Att losa uppgifter av karaktaren \Bevisa att..." uppfattas av manga studenter

TATA42: Föreläsning 9 Linjära differentialekvationer av ännu högre ordning

Gränsvärden. Joakim Östlund Patrik Lindegrén Pontus Nyrén 4 december 2003

DERIVATA. = lim. x n 2 h h n. 2

Meningslöst nonsens. November 19, 2014

Linjära ekvationer med tillämpningar

Meningslöst nonsens. December 14, 2014

För teknologer inskrivna H06 eller tidigare. Skriv GAMMAL på omslaget till din anomyna tentamen så att jag kan sortera ut de gamla teknologerna.

TATM79: Föreläsning 1 Notation, ekvationer, polynom och olikheter

2 Matematisk grammatik

Tentamen i Envariabelanalys 2

Tisdag v. 2. Speglingar, translationer och skalningar

Patologiska funktioner. (Funktioner som på något vis inte beter sig väl)

Lösningar och kommentarer till uppgifter i 1.1

Övningshäfte 3: Polynom och polynomekvationer

SF1625 Envariabelanalys

Lösningar till udda övningsuppgifter

Kontinuerliga funktioner. Ytterligare en ekvivalent formulering av supremumaxiomet

Anteckningar för kursen "Analys i en Variabel"

SF1625 Envariabelanalys Tentamen Måndagen den 11 januari 2016

Talmängder. Målet med första föreläsningen:

lim 1 x 2 lim lim x x2 = lim

vilket är intervallet (0, ).

TATM79: Föreläsning 1 Notation, ekvationer, polynom och summor

Metriska rum, R och p-adiska tal

Polynomekvationer (Algebraiska ekvationer)

Polynomekvationer. p 2 (x) = x x 3 +2x 10 = 0

III. Analys av rationella funktioner

konstanterna a och b så att ekvationssystemet x 2y = 1 2x + ay = b

Om konvergens av serier

TDP015: Lektion 5 - Svar

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Ekvationslösning genom substitution, rotekvationer

DOP-matematik Copyright Tord Persson. Gränsvärden. Uppgift nr 10 Förenkla bråket h (5 + h) h. Uppgift nr 11 Förenkla bråket 8h + h² h

TATA42: Föreläsning 2 Tillämpningar av Maclaurinutvecklingar

TAMS79: Föreläsning 10 Markovkedjor

Linjära ekvationssystem. Avsnitt 1. Vi ska lära oss en metod som på ett systematiskt sätt löser alla linjära ekvationssystem. Linjära ekvationssystem

Talmängder N = {0,1,2,3,...} C = {a+bi : a,b R}

y y 1 = k(x x 1 ) f(x) = 3 x

4 Fler deriveringsregler

Modul 1: Funktioner, Gränsvärde, Kontinuitet

Maclaurins och Taylors formler. Standardutvecklingar (fortsättning), entydighet, numerisk beräkning av vissa uttryck, beräkning

Modul 1: Funktioner, Gränsvärde, Kontinuitet

e x x + lnx 5x 3 4e x (0.4) x 0 e 2x 1 a) lim (0.3) b) lim ( 1 ) k. (0.3) c) lim 2. a) Lös ekvationen e x = 0.

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Analys 360 En webbaserad analyskurs Analysens grunder. Om de reella talen. MatematikCentrum LTH

Checklista för funktionsundersökning

7, Diskreta strukturer

Chalmers tekniska högskola Datum: kl Telefonvakt: Jonny Lindström MVE475 Inledande Matematisk Analys

TATA42: Föreläsning 2 Tillämpningar av Maclaurinutvecklingar

29 Det enda heltalet n som satisfierar båda dessa villkor är n = 55. För detta värde på n får vi x = 5, y = 5.

Kontinuitet och gränsvärden

Sidor i boken

Lösningsförslag till övningsuppgifter, del V

NBAM00: Naturvetenskapligt basår Matematik, del 1

MER TOPOLOGI OCH KONVERGENS

Lösningsförslag envariabelanalys

Ett Sammelsurium av Matematiskt Nonsens. Geometri. Professor Ivar

TATM79: Föreläsning 7 Komplexa exponentialfunktionen och binomiska ekvationer

Repetitionsuppgifter inför Matematik 1-973G10. Matematiska institutionen Linköpings universitet 2014

Tentamen SF e Januari 2016

Sidor i boken f(x) = a x 2 +b x+c

Läsanvisningar till kapitel

5B1134 Matematik och modeller Lösningsförslag till tentamen den 11 oktober 2004

Exempel. Komplexkonjugerade rotpar

Tal och polynom. Johan Wild

Lösningar och kommentarer till uppgifter i 3.1

1 Primitiva funktioner

Euklides algoritm för polynom

Komplexa tal: Begrepp och definitioner

Föreläsning 3: Ekvationer och olikheter

Lite additioner till Föreläsningsanteckningarna. 1 Tillägg till kapitel 1.

x +y +z = 2 2x +y = 3 y +2z = 1 x = 1 + t y = 1 2t z = t 3x 2 + 3y 2 y = 0 y = x2 y 2.

SJÄLVSTÄNDIGA ARBETEN I MATEMATIK

Facit till Några extra uppgifter inför tentan Matematik Baskurs. x 2 x

Andragradspolynom Några vektorrum P 2

Transkript:

Svar till vissa uppgifter från första veckan. Svar till kortuppgifter F:. Ja! Förhoppningsvis så ser man direkt att g fx) är ett polynom. Vidare så gäller det att g fα) = gfα)) = gβ) = 0. Använd faktorsatsen! Försök att komma ihåg bokens satser så väl att ni ser när det är applicerbara.. Nej! Högerledet är ett polynom men vänsterledet är inget polynom. ) 3 3. Ja! Talet är bara vilket är antalet sätt man kan välja 6 saker 6 av 3 utan att bry sig om ordningen. 4. Inga! Det nns inga tal som är inom enhet från 3 och inom 3 enheter från 00. 5. Av fjärde ordningen och 0. Svar uppgift.a) i Persson-Böjers: Vi ska beräkna gränsvärdet lim x x. Det första vi måste göra är att titta på denitionen av lim x fx). Denitionen talar om exakt vad symbolen lim x betyder och därigenom exakt vad vi behöver beräkna. Denition. Vi säger att fx) går till a då x går till oändligheten, eller i symboler lim x fx) = a, om det för varje ɛ > 0 existerar ett C ɛ > 0 så att fx) a < ɛ för varje x > C ɛ. Vi måste alltså hitta det tal a så att vi, för varje ɛ > 0, kan hitta ett C ɛ > 0 så att x a < ɛ för varje x > C ɛ, där vi har stoppat in vår funktion fx) = x i uttrycket i denitionen. Intuitivt så verkar det rimligt att x 0 då x. Vi gissar därför att a = 0, dvs. lim x fx) = 0. För att försäkra oss, eller bevisa, att lim x fx) = 0 så måste vi uppfylla de kriterier som denitionen anger. Vi måste därför bevisa att det för varje ɛ > 0 existerar ett C ɛ så att x 0 = x < ɛ för varje x > C ɛ. ) Detta är väldigt abstrakt. Men som tur är så har vi precis diskuterat olikheter. Observera att < ɛ ɛ < x, x

här använder vi att ɛ > 0 och att x > 0 då x 0 om vi hade ett ɛ < 0 så skulle olikhetstecknet vara åt andra hållet). Vidare så gäller det att ɛ < x om ɛ < x eller ɛ < x). Vi har därför visat att för varje ɛ > 0 så är < ɛ för varje x >. ) ɛ x Vi ville visa att det existerar ett C ɛ > 0 så att < ɛ för varje x > C ɛ. x Ekvation ) säger att ett sådant tal C ɛ existerar, nämligen talet ɛ. Vi har därigenom visat att för varje ɛ > 0 så existerar ett tal så att ) håller. denitionen håller för a = 0. Vi har därmed bevisat att lim x x = 0. Så

3 Svar uppgift.e) i Persson-Böjers: Vi ska beräkna lim x sinx). Om vi tittar på grafen av sinx) så ser vi att den oscillerar mellan och. Intuitivt så har därför inte sinx) något gränsvärde då x. Låt oss försöka bevisa att gränsvärdet inte existerar. Vi kommer att bevisa detta genom ett motsägelseargument. Motsägelseargument är en kraftfull teknik inom matematiken. Iden är att antaga motsatsen till det man vill bevisa och sedan använda det antagandet till att härleda en motsägelse. Eftersom vi inte tror att matematiken har några motsägelser så kan vi dra slutsatsen att vårt antagande var falskt. Anledningen till att motsägelse argument är så kraftfulla är att vi får ett extra antagande att arbeta med. Låt oss då, i hopp om att kunna härleda en motsägelse, antaga att det existerar ett tal a R så att lim sinx) = a. 3) x Observera att vi säger inte vad a är. Om vi skulle specicera a = 0 och sen härleda en motsägelse så skulle vi bara kunna dra slutsatsen att gränsvärdet inte var noll. Eftersom vi vill visa att sinx) inte har något gränsvärde så specicerar vi inte a. Enligt denitionen för gränsvärden så betyder 3) att det för varje ɛ > 0 existerar ett C ɛ > 0 så att sinx) a < ɛ för varje x > C ɛ. Vi kan då specikt, genom att välja ɛ = /, säga att det existerar ett C / så att sinx) a < för varje x > C /. 4) Var kom detta ifrån? kan man undra? Hur ska man kunna lista ut att det här är rätt väg att gå? Men tänker vi lite på vad vi gör så är det här steget helt naturligt. Vi antar att sinx) a i hopp om att hitta en motsägelse. Då vi gör det antagandet så måste vi använda det och det enda sättet att använda det är att gå till denitionen och ekvation 4) är ju bara denitionen med ɛ = /. Att vi väljer just det värdet på ɛ är lite godtyckligt. Men då sinx) oscillerar från till så är det ganska rimligt att vi borde kunna få en motsägelse med ɛ = /. Vi kan också välja k N så stort att πk > C / detta anses inte vara uppenbart utan kallas den Archimediska egenskapen för de reella talen efter matematikern Archimedes). Då gäller = ) = πk sin + π = sin πk + π ) ) a sin ) sin πk + 3π ) = πk + 3π ) a), där vi har adderat och subtraherar a i sista uttrycket. Vi kan nu använda triangelolikheten för absolutbeloppet och dra slutsatsen att = sin πk + π ) ) a sin πk + 3π ) a) 5) sin πk + π ) a + πk sin + 3π ) a. 6)

4 Eftersom πk > C / så måste både πk + π > C / och πk + 3π > C / gälla. Vi kan därför använda 4) och dra slutsatsen att sin πk + π ) och sin πk + 3π ) a < a <. Om vi använder de två sista uttrycken i 5)-6) så kan vi dra slutsatsen sin πk + π ) a + πk sin + 3π ) a < + =. Men att < är uppenbarligen absurt och vi kan dra slutsatsen att något av våra antaganden är felaktigt. Vi har bara använt enkla beräkningar, triangelolikheten vilken vi har bevisat) och antagandet att lim x sinx) = a. Det enda som kan vara fel är vårt antagande lim x sinx) = a. Vi kan därför dra slutsatsen att det inte nns något a så att lim x sinx) = a. Gränsvärde saknas. Funktionen har inget gränsvärde då x. Svar uppgift.f) i Persson-Böjers: Från grafen så kan vi gissa att lim x fx) =. Detta eftersom för x > 0 fx) = odenierad för x = 0 för x > 0. Vi hävdar att vi kan välja C ɛ = 0 dvs. C ɛ existerar) för varje ɛ > 0. Detta eftersom för varje x > C ɛ = 0 så gäller fx) = = 0 < ɛ. Vi har därmed, enligt denitionen, visat att ett C ɛ nämligen C ɛ = 0 och nollan existerar) existerar för varje ɛ > 0 så att fx) < ɛ för varje x > C ɛ. Därmed så har vi bevisat att lim x fx) =. Svar: lim x fx) =. Kommentarer: Dessa uppgifter kan tyckas vara ganska onödiga. Speciellt eftersom varje svar börjar med att vi intuitivt gissar svaret. Varför inte nöja sig med intuitionen? Det nns era svar på den frågan. Det enklaste svaret är att det inte alls sinx) är uppenbart att lim x 0 x =, något som vi kommer att se redan nästa vecka. Och ju längre vi studerar matematik ju mer icke intuitiva gränsvärden kommer vi att stöta på. Det viktigaste med ovanstående beräkningar är att vi kan överge intuitionen i matematiken och istället förlita oss på matematisk formalism. Vi kan binda vår

5 intuitiva förståelse av matematiken med matematiska formler. Och med hjälp av formalismen så kan vi gå oändligt mycket längre. Tex. så kan vi beräkna gränsvärden för oändligdimensionella vektorrum men inte i den är kursen). Vad som är intressant är hur väl denitionen överensstämmer med intuitionen för enkla beräkningar. Om du inte förstår ovanstående beräkningar så gör ett till försök. Men var inte orolig, vi kommer att diskutera det här igen under kursens gång. Svar på Bevisuppgiften vecka 36: Vi ska bevisa följande sats: Sats. Låt fx) = x n + a n x n +... + a x + a 0 vara ett polynom av grad n. Då har fx) = 0 som mest n olika lösningar. Bevis: Iden som direkt dyker upp är att använda ett motsägelseargument precis som i uppgift.e). Vi antar därför motsatsen till det vi ska bevisa: Antagande i hopp om att få en motsägelse: Vi antar att fx) är ett polynom av grad n som har minst n+ olika lösningar. Det vill säga att det nns n + olika tal α, α, α 3,..., α n+ så att fα k ) = 0 för alla k =,, 3,..., n +. Om vi kan visa att ovanstående antagande leder till en motsägelse så kan vi dra slutsatsen att det inte nns något polynom av grad n som har er än n olika rötter. Vi har antagit att f är ett polynom och att fα ) = 0. Därmed så är de antaganden som görs i faktorsatsen uppfyllda och vi kan dra slutsatsen att det nns ett polynom q så att fx) = x α )q x). 7) Enligt antagande så gäller det att fα ) = 0 så vi kan substituera x = α i ekvation 7) dra slutsatsen att 0 = fα ) = α α )q α ). 8) Eftersom rötterna är olika så gäller α α vilket är samma sak som α α 0. Vi kan därför dela alla led i 8) med α α och dra slutsatsen att 0 = q α ). 9) Så q x) är ett polynom och q α ) = 0. Vi kan därför använda faktorsatsen igen och dra slutsatsen att det nns ett polynom q så att Sätter vi in det i 7) så får vi q x) = x α )q x). fx) = x α )x α )q x). Börjar vi förstå principen? Vi fortsätter med ett induktionsliknande argument antar att vi har bevisat att för k < n + så det nns ett polynom q k x) så att fx) = x α )x α ) x α k )q k x). 0)

6 Av att fα k+ ) = 0 så följer det att 0 = fα k+ ) = α k+ α )α k+ α ) α k+ α k )q k α k+ ). ) Eftersom α k+ α, α k+ α,..., α k+ α k så kan vi dela ) med α k+ α )α k+ α ) α k+ α k ) 0 och dra slutsatsen att 0 = q k α k+ ). ) Vi kan därför använda faktorsatsen och dra slutsatsen att det existerar ett polynom q k+ så att q k x) = x α k+ )q k+ x). Sätter vi in det i 0) så kan vi dra slutsatsen att fx) = x α )x α ) x α k+ )q k+ x). Då detta är sant för alla k < n + så kan vi via induktion dra slutsatsen att det nns ett polynom q n+ så att fx) = x α )x α ) x α n+ )q n+ x). 3) Det enda antagandet som vi inte har använt är att f är av grad n. Det är därför rimligt att försöka använda det antagandet för att härleda en motsägelse observera att själva formuleringen av Satsen här ger en liten ledtråd om hur det ska bevisas). Vänsterledet i ekvation 3) är alltså ett polynom av grad n. Men om vi multiplicerar ihop parenteserna x α )x α ) x α n+ ) så får vi ett polynom av grad n+. Vi vet också att q n+ är ett polynom så gradq n+ ) 0. Så om vi multiplicerar ihop alla termer i högerledet så får vi ett polynom av en grad som är minst n +. Men ett polynom av grad n vänsterledet) kan inte vara lika med ett polynom av grad större än n högerledet). Så ekvation 3) är en motsägelse. Satsen är därigenom bevisad.