Om Riemannytor och algebraiska kurvor
|
|
- Hanna Gustafsson
- för 5 år sedan
- Visningar:
Transkript
1 Analys 360 En Webbaserad Analyskurs Riemannytor Om Riemannytor och algebraiska kurvor Anders Källén MatematikCentrum LTH
2 Om Riemannytor och algebraiska kurvor 1 (13) 1 Introduktion Att en funktion f : D D mellan två öppna delmängder av C är en bijektiv, holomorf funktion är något helt annat än att bara kräva att den är (oändligt) differentierbar. För det första blir inversen alltid holomorf utan ytterligare antaganden, för det andra gäller att den bevarar vinklar, är alltså konform. Detta betyder att om två kurvor i D skär varandra under en viss vinkel, så gäller att motsvarande kurvor i D skär varandra under samma vinkel, inkluderande orienteringen. Den komplexa strukturen definierar ju en kanonisk orientering i planet, nämligen moturs rotation. Dessutom gäller omvändningen om vinkeln (inklusive orientering) bevaras av f, så är f holomorf. När det finns en sådan funktion f mellan D och D säger vi att D och D är konformt ekvivalenta. Den fråga som studeras inom teorin för Riemannytor är i hur grad vi kan ersätta det komplexa talplanet med en mångfald så att vi alltjämt kan studera holomorfa funktioner på detta. Det innebär enkelt uttryckt att vi lokalt kan identifiera ytan med en delmängd av C, på ett sådant sätt att övergången från en sådan delmängd till en annan beskrivs av en holomorf funktion. Det som triggade intresset för det vi idag kallar Riemannytor var att förstå hur nollställesmängder till polynom i två komplexa variabler kan se. Olika polynom kan uppenbarligen definiera mängder som i varje intressant mening är lika, och Riemannytor blir ett sätt att identifiera och formulera denna gemenskap. I det här kapitlet ska vi bl.a. diskutera just sambandet mellan algebraiska nollställesmängder och Riemannytor, varigenom vi också får en koppling till den algebraiska geometrin (som vi dock inte ska följa upp in någon betydande utsträckning). 2 Riemannytor, projektiva rum och torusar En n-dimensionell topologisk mångfald är ett parakompakt Hausdorffrum X som lokalt ser ut som R n i den meningen att det finns en öppen övertäckning {U i } av X och homeomorfismer 1 kallade kartor eller koordinater h i : U i V i R n. Mångfalden får regularitet efter vilken regularitet som finns på funktionerna h ij = h i h 1 j : V i V j V i V j. Sålunda är t.ex. X en C mångfald om alla h ij C och om R n byts mot C n, så säges X vara en komplex mångfald om alla h ij är holomorfa d.v.s. differentialerna dh ij är komplex-linjära. En komplex mångfald är av nödvändighet orienterbar och av reell dimension 2n. Definition En sammanhängande, endimensionell, komplex mångfald kallas en Riemannyta. Följande exempel innehåller tre enkla, men viktiga, exempel på Riemannytor. Exempel 1 a) C med identitetsfunktionen som karta
3 Om Riemannytor och algebraiska kurvor 2 (13) b) Om vi utökar C med en punkt i oändligheten får vi den projektiva linjen PC 1, också kallad Riemannsfären. För att definiera den som abstrakt mångfald sätter vi U 1 = C och U 2 = (C \ {0}) { } och definierar h 1 (z) = z i U 1 och h 2 (z) = z 1 i U 2. Då är h 2 h 1 1 = z 1 i U 1 U 2 = C \ {0}. En konkret realisering av Riemannsfären är enhetssfären med stereografisk projektion från nordpolen på t.ex. tangentplanet i sydpolen nordpolen blir då den tillagda punkten i oändligheten. c) Torusen C/Γ, där Γ = Zω 1 + Zω 2, Im(ω 2 /ω 1 ) > 0, med kvottopologin, får en komplex struktur genom att man som kartor tar omvändningen till projektionern π : V U, där V C är öppen och inte innehåller två punkter som är ekvivalenta modulo Γ. Om h = h 2 h 1 1 och z h 1 (U 1 U 2 ) så gäller då att π(h(z)) = h 1 1 (z) = π(z), alltså h(z) z Γ, och därför är h(z) = z+ konstant på varje sammanhängande komponent av h 1 (U 1 U 2 ). Det är känt från topologin 2 att en kompakt orienterbar yta (2-dimensionell topologisk mångfald) är homeomorf med en sfär med g handtag. För att konstruera en sådan antar vi att g 1 och startar med en 4g-polygon P i C med hörn i a 1, b 1, a 1, b 1,..., a g, b g, a g, b g så ordnade att om vi identifierar a i med a i och b i med b i, så får vi en sfär S försedd med g handtag. Genom denna identifikation övergår alla hörn i en punkt o S och kanterna a i och b i övergår i slutna kurvor α i respektive β i som alla utgår ifrån o. Kurvan α 1 β 1 α1 1 β α g β g α 1 svarar mot randen till P och är därför homotop med en punkt. Nästa exempel visar att en sådan yta kan förses med en komplex struktur, vilket alltså gör den till en Riemannyta. g βg 1 β 1 2 α 1 α 1 2 β 1 β 2 α 1 1 α 2 β 1 1 Exempel 2 Vi ska nu definiera öppna mängder U 0, U 1,..., U g, U g+1,..., U 2g, U 2g+1
4 Om Riemannytor och algebraiska kurvor 3 (13) i S utifrån urbilder Ũi i P. Här ska o ligga enbart i U 0, U i skär endast α i, U g+i endast β i och U 2g+1 skär ingen av dessa vägar. Det följer att i P är (1) Ũ2g+1 sammanhängande, (2) Ũ i har två sammanhängande komponenter och (3) Ũ0 splittras upp i 4g sammanhängande komponenter. Härnäst ska vi konstruera kartor h i : V i U i. För i = 2g+1 kan vi identifera mängderna och låta h 2g+1 vara restriktionen av den kanoniska avbildningen P S. För i = 1,..., 2g låter vi V i vara cirkelskivor. Vi får h i om vi avbildar två halvor på de två sammanhängande komponenterna av Ũi. För i = 0 delar vi in en cirkelskiva av lämplig radie i 4g lika stora cirkelsektorer. Dessa har basvinkel φ = π/2g och komponenterna av Ũ0 har basvinkel (2g 1)φ, så vi kan sätta ihop h 0 från translationer och (2g 1)-potenser. Anmärkning För g 1 är den komplexa strukturen inte entydigt bestämd. Man kan visa att mängden av komplexa strukturer har en komplex parameter om g = 1 och 3g 3 komplexa parametrar om g 2. Dessa parameterrum kallas Teichmullerrum. Om X och Y är två komplexa mångfalder, så sägs en kontinuerlig funktion f : X Y vara holomorf om h 2 f h 1 1 är holomorf för alla val av holomorfa kartor h 1 och h 2 på X respektive Y ur de givna atlasarna. Vi identifierar X och Y om det finns någon biholomorf homeomorfism mellan dem. Som exempel visade Poincaré och Koebe att en enkelt sammanhängande 1D komplex mångfald måste vara holomorft ekvivalent med antingen C, Riemannsfären eller (den öppna) enhetsdisken D = {z; z < 1}. Av dessa är endast Riemannsfären kompakt utan rand, och det är kompakta Riemannytor utan rand vi ska intressera oss för. Exempel 3 Om X och Y är kompakta Riemannska ytor, så gäller att om det finns en biholomorf homeomorfism från X minus ändligt många punkter till Y minus ändligt många punkter, så är X och Y holomorft ekvivalenta. Detta följer av att då avbildningen är begränsad nära en undantagspunkt, så har den en hävbar singularitet i denna. Vi kan också notera att om f är en holomorf avbildning från en Riemannyta X till en annan Y sådan att q = f(p), så kan vi välja lokala koordinater runt p på X och q på Y sådana att funktionen i dessa kan skrivas f(z) = z k för heltal k 1. Vi har nämligen att f(z) = z k g(z) där g är holomorf och g 0 nära p, så vi kan skriva g = h k och sedan införa ny koordinat w = zh(z) på Y. En biholomorf bijektiv funktion f från X på sig själv kallas en konform automorfism på X. Om det dessutom gäller att f f = id kallas den en involution. De konforma automorfismerna på en Riemannyta X utgör uppenbarligen en grupp. Vi ska nu se hur exemplen ovan på ett naturligt sätt generaliseras till n dimensioner. Exempel 4 Det komplexa projektiva rummet PC n definieras som mängden av alla ekvivalensklasser i C n+1 \ 0 som man får om man identifierar två punkter som skiljer sig åt enbart på en skalär faktor. Dess topologi är kvottopologin och då denna definieras lika bra genom att vi identifierar antipodala punkter på den komplexa enhetssfären i C n+1 är det klart att PC n är kompakt. För ekvivalensklasser av punkter med z i 0 kan vi använda z ( z 1 z i,..., z i 1 z i, z i+1 z i,..., z n+1 z i )
5 Om Riemannytor och algebraiska kurvor 4 (13) som lokala koordinater, vilket ger PC n strukturen av en n-dimensionell komplex mångfald. Man kan uppfatta PC n som Cn plus ett hyperplan i oändligheten, eftersom PC n \ H Cn om H är ett hyperplan b, z = 0. Som exempel, då n = 2, låt U 2 = {[z 0 : z 1 : z 2 ]; z 0 0} och låt L = {[z 0 : z 1 : z 2 ]; z 0 = 0} vara linjen i oändligheten, så att PC 2 = U 2 L. Då gäller att linjen az 0 + bz 1 + cz 2 = 0 skär L i punkten [0 : c : b]; vi kan alltså tänka på PC 2 som unionen av det ändliga planet och en punkt tillagd för varje uppsättning parallella linjer. Anmärkning Betydelsen av de projektiva rummen ligger i att det är dem man försöker inbädda komplexa mångfalder i. Man kan nämligen inte inbädda en komplex mångfald holomorft i något C n det följer direkt ur maximumprincipen för Riemannytor och ur det endimensionella fallet i allmänhet. Den sista observationen i Exempel 4 är då viktig. Eftersom PC 2 har en reell dimension som är > 3, kan vi inte ge en direkt geometrisk representation av objekt i den. Som ersättning brukar man titta i det reella projektiva planet PR 2, vilket vi kan representera med enhetssfären S2 med antipoldala punkter identifierade. Kurvor på i PR 2 kan därför representeras som kurvor på S2 som är symmetriska m.a.p. origo. 3 Exempel 5 (Rationell kanonisk kurva) Betrakta f : P 1 C (t 0, t 1 ) (t n 0, t n 1 0 t 1,..., t n 1) P n C som naturligtvis blir holomorf. För n = 1 blir detta identitetsavbildningen, för n = 2 ser vi att vi får en parametrisering av z 0 z 2 z 2 1 = 0, vilken alltså utgör bilden av P 1 C under denna avbildning. I fallet n = 3 har vi en parametrisering av den algebraiska mängden V = {(z 0, z 1, z 2, z 3 ) : z 0 z 3 z 1 z 2 = 0, z 2 1 z 0 z 2 = 0, z 2 2 z 1 z 3 = 0}. Låt Γ vara ett gitter i ett 2n-dimensionellt vektorrum V över R, d.v.s. en additiv undergrupp som genereras av 2n linjärt oberoende vektorer. Då blir T = V/Γ en reell 2n-dimensionell torus; två olika val av gitter ger isomorfa torusar, eftersom vi kan välja basen för V så att T = R 2n /Z 2n. Om vi emellertid ger V strukturen av ett C-vektorrum, vilket ger T strukturen av en komplex torus, så blir situationen en annan, som nästa exempel visar. Exempel 6 En holomorf avbildning mellan två torusar T och T lyfts till en holomorf avbildning F : V V med F (Γ) Γ, vars differential är invariant under Γ, vilket, enligt maximumprincipen, betyder att den är konstant. T och T är därför isomorfa precis om det finns en icke-singulär linjär avbildning F sådan att F (Γ) = Γ. Genom att fixera en bas för Γ kan vi skriva Γ = ΩZ 2n, där Ω är en n 2n-matris som kallas för T :s periodmatris. Det är nu lätt att se att de komplexa torusarna T och T är ekvivalenta precis om det finns M GL(n, C) och N GL(2n, Z) sådana att Ω = MΩN; M kommer från den komplexlinjära avbildningen och N från basvalet för Γ. Genom att numrera basen för Γ lämpligt blir de n första kolonnerna i Ω linjärt oberoende över C och vi kan ta dessa som en bas för V. Detta ger periodmatrisen formen Ω = (I Ω 2 ), där Im Ω 2 är icke-singulär (notera att Γ är ett gitter precis om (Ω t, Ω t ) är icke-singulär) och två sådana ger isomorfa torusar precis om ( ) A B Ω 2 = (A + Ω 2 C) 1 (B + Ω 2 D), GL(2n, Z). C D
6 Om Riemannytor och algebraiska kurvor 5 (13) Speciellt ges en endimensionell komplex torus av en periodmatris ((1, τ), ) där Im τ 0 och (1, τ) och (1, τ ) ger isomorfa torusar precis om τ = a b + + dτ a b cτ där GL(2, Z). Ekvivalensklasserna av endimensionella torusar är därför i 1-1-korrespondens med övre halv- c d planet, kvotat med operationen av SL(2, Z), vilket är en endimensionell komplex mångfald som är isomorf med C. En isomorfism ges av j(τ) = 256(τ 2 τ + 1) 3 /τ 2 (τ 1) 2 - den elliptiska modularfunktionen. Vi går inte närmare in på denna 4, utan konstaterar bara att situationen i högre dimensioner är betydligt mer komplicerad då GL(2n, Z) inte opererar diskontinuerligt på rummet av komplexa n n-matriser med icke-singulär imaginärdel. 3 Funktioner och differentialformer på kompakta Riemannytor Vi ska nu studera funktioner på kompakta Riemannytor närmare. Sats 1 Låt X och Y vara Riemannytor med X kompakt, och låt f : X Y vara en icke-konstant holomorf avbildning. Då är Y kompakt och f är surjektiv. Bevis. Det är klart att f(x) är en sluten mängd. Men den är också öppen, eftersom vi har lokala koordinater så att f(z) = z k, där k 1, vilket betyder att f avbildar öppna mängder på öppna mängder. Följdsats På en kompakt Riemannyta X är varje holomorf funktion f : X C konstant. Följdsats (Liouvilles sats) Varje begränsad holomorf funktion f : C C är konstant. Bevis. Den kan fortsättas till en holomorf avbildning P 1 C C. Följdsats (Algebrans fundamentalsats) Om f är ett polynom på C, så har f minst ett nollställe Bevis. Vi kan utvidga f till en holomorf avbildning av PC 1 genom att sätta f( ) =. Satsen garanterar då att 0 f(c). Exempel 7 De konforma autmorfismerna på Riemannsfären PC 1 utgörs av Möbiustransformationerna g(z) = az + b cz + d, där koefficienterna är komplexa tal sådana att ad bc 0. Att dessa är konforma automorfismer är klart, och om vi har en annan kandidat f(z) så kan vi genom att multiplicera med en lämplig Möbiustransformation anta att f(0) = 0, f( ) =. Men då blir f(z)/z en begränsad holomorf funktion, och alltså enligt Liouvilles sats en konstant. f måste därför också vara en Möbiustransformation. En Möbiustransformation (som inte är identiteten) har antingen två fix-punkter eller en dubbel-fixpunkt, vilket följer av att dessa definierar en andragradsekvation. Om vi därför har en automorfism på PC 1 med tre olika fixpunkter, så är den identitetsavbildningen. Vi P 1 C
7 Om Riemannytor och algebraiska kurvor 6 (13) ser också att om g och h är två (icke-identiteter) Möbiusavbildningar som kommuterar, så måste g avbilda fixpunkterna för h på varandra och omvänt. Detta betyder att de två funktionerna har samma fixpunkter, alternativt att h byter de två fixpunkterna för g och g byter de två för h. Men då skulle g g och h h båda ha fyra fixpunkter och är alltså identitetsavbildningen. Som exempel tar vi g(z) = z som har fixpunkterna {0, } och h(z) = 1/z som har fixpunkterna {±1}. Den första följdsatsen till Sats 1 visar att det är ointressant att studera de holomorfa funktionerna på en kompakt Riemannyta. Detta leder oss till att istället studera de funktioner på X som ges i nästa definition. Definition Låt X vara en kompakt Riemannyta. f säges då vara en meromorf funktion på X, f M(X), om f är holomorf från X till Riemannsfären P 1 C. Intressanta exempel är de rationella funktionerna, speciellt polynom, vilka är de meromorfa funktionerna på PC 1, och de meromorfa funktionerna på komplexa torusar, vilka svarar mot de dubbelperiodiska, meromorfa funktionerna på C, vilka kallas de elliptiska funktionerna. Men vi ska inte bara studera meromorfa funktioner på en Riemannyta X, utan också olika typer av differentialformer. En 1-form på X kan lokalt skrivas (om z är en lokal koordinat och f, g C ) w = f(z)dz + g(z)d z. Om vi betecknar det linjära rummet av (C ) differentialformer på X med λ 1 (X) och det underrum som består av dem som kan skrivas f(z)dz med λ 1,0 (X), och det underrum som består av dem som kan skrivas g(z)d z med λ 0,1 (X), så har vi en uppdelning λ 1 (X) = λ 1,0 (X) λ 0,1 (X) Vidare har vi underrummet Ω(X) λ 1,0 (X) som består av de (1, 0)-former för vilka f är holomorf (i varje koordinatomgivning), vilka kallas de holomorfa 1-formerna på X. Observera att en holomorf form alltid är sluten. Om funktionen g = 0 och f är meromorf har vi en meromorf 1-form, i klassisk terminologi en abelsk differentialform av 3:e slaget 5, och rummet av sådana betecknar vi med M 1 (X). Exempel 8 1-formen dz på C definierar en 1-form på enhetssfären som saknar nollställen men har en pol av ordning 2 i eftersom d(1/z) = z 2 dz. På en torus C/Γ gäller att dz blir en 1-form som saknar såväl poler som nollställen. Om f är en meromorf funktion så blir fdz en 1-form och använder vi Sats 2 på den får vi att det inte kan finnas någon meromorf funktion på en torus med precis en pol av ordning 1. Vi kan nu översätta Cauchys integralsats till Riemannytor så att om U är en öppen delmängd av X med C 1 -rand och w är en holomorf 1-form i en omgivning av U, så gäller att w = 0. Detta ger omedelbart Sats 2 Summan av residyerna för en meromorf 1-form är noll. U
8 Om Riemannytor och algebraiska kurvor 7 (13) Bevis. Tag bort en ɛ-omgivning kring varje pol och låt U ɛ vara det som blir kvar av X. Eftersom w är holomorf i en omgivning av U ɛ, får vi att 0 = w = ( 2πi) summan av residyerna, U ɛ där sista likheten är den vanliga residyesatsen. Följdsats Varje icke-konstant meromorf funktion f antar varje värde lika många gånger (räknat med multiplicitet). Speciellt har den lika många nollställen som poler. Bevis. Specialfallet följer om vi använder satsen på w = df/f, och det allmänna påståendet sedan om vi ersätter f med f z där z C. Definition En meromorf funktion f på en Riemannyta X, som antar varje värde n gånger, kallas en n-överlagring (av PC 1 ). Om f(p) antas i en punkt p med multipliciteten > 1, säges p vara en förgreningspunkt till f. 4 Relationen mellan kompakta Riemannytor och algebraiska kurvor Teorin för kompakta Riemannytor är i lämplig mening ekvivalent med teorin för plana kurvor i den algebraiska geometrin. Vi ska nu titta närmare på denna ekvivalens. Med en plan kurva menar vi normalt nollställesmängden till ett polynom i två variabler, d.v.s. C : f(x, y) = 0, (x, y) C 2. För att få med oändligheten är det naturligt att istället för f studera det besläktade homogena polynomet F (z 0, z 1, z 2 ) = z n 0 f(z 1 /z 0, z 2 /z 0 ), där n är gradtalet på f. Vi får f från F genom f(x, y) = F (1, x, y). Eftersom F är homogen av grad n är dess nollställesmängd väldefinierad som en delmängd av PC 26 ; denna kallas för en plan algebraisk kurva av grad n och är kompakt. Eftersom koordinatomgivningen z 0 0 i PC 2 har lokala koordinater x = z 1/z 0, y = z 2 /z 0, är F :s nollställesmängd i PC 2 en naturlig utvidgning av kurvan C i C2 ; vi låter C beteckna också hela den algebraiska kurvan. Observera att C skär linjen z 0 = 0 i oändligheten i ett ändligt antal punkter. Dessa är de punkter vars homogena koordinater uppfyller F (0, z 1, z 2 ) = 0, d.v.s., om vi parametriserar linjen i oändligheten med z = z 2 /z 1, punkterna F (0, 1, z) = 0, vilket enligt algebrans fundamentalsats är n stycken, räknat med multiplicitet. Kurvan i PC 2 är därför en kompaktifiering av kurvan i det ändliga planet. Exempel 9 Exempelvis gäller att den algebraiska kurvan z 0 z 2 2 z z 2 0z 1 = 0 i P 2 C, som i området x 0 0har den affina ekvationen y 2 x 3 + x = 0, medan den den i det affina planet z 2 0 har vi ekvationen z = x 3 + z 2 x där z = z 0 /z 2, x = z 1 /z 2. De två kurvorna är ritade i samma plan nedan.
9 Om Riemannytor och algebraiska kurvor 8 (13) I detta läge är C endast en punktmängd. Vi vill nu konstruera en abstrakt Riemannyta X C till C som är sådan att C är en holomorf bild av denna i P 2 C. Exempel 10 Om Γ = Zω 1 + Zω 2 är ett gitter i det komplexa talplanet så definierade Weierstrass följande elliptiska funktion på torusen C/Γ: (z) = (z; Γ) = z 2 + ((z ω) 2 ω 2 ). ω Γ\0 För den gäller att (z) 2 = 4 (z) 3 g 2 (z) g 3, g 2 = 60 ω Γ\0 ω 4, g 3 = 140 ω Γ\0 ω 6, där tredjegradskurvan C : y 2 = 4x 3 g 2 x g 3 är irreducibel. Vi ser att z [1 : (z) : (z)] definierar en biholomorf avbildning C/Λ PC 2, vars bild är den projektiva kurvan Vi ska nu visa följande sats: y 2 z = 4x 3 g 2 xz 2 g 3 z 3. Sats 3 Till en godtycklig irreducibel algebraisk kurva C PC 2 finns en kompakt Riemannyta X och en holomorf avbildning σ : X PC 2 sådan att σ(x) = C och som är injektiv på den inversa bilden av icke-singulära punkter på C. Omvänt kan varje Riemannyta erhållas på detta sätt ur en plan algebraisk kurva vars värsta singulariteter är dubbelpunkter. För att bevisa detta betraktar vi först den del av C som ligger i det ändliga planet och antar att f är irreducibel. Antag att f(x, y) = a n (x)y n + a n 1 (x)y n a 0 (x), a i C[x]. Om vi antar att a n (x) 0 så gäller att vi kan skriva f(x, y) = a n (x) n (y α i (x)), 1 och f:s diskriminant är då (x) = i j(α i (x) α j (x)), som är ett polynom i x, ty högerledet är ett symmetriskt polynom i rötterna α i (x) och är därför ett polynom i a 0 (x),..., a n 1 (x). Låt D = {x C; a n (x) = 0 eller (x) = 0},
10 Om Riemannytor och algebraiska kurvor 9 (13) som uppenbarligen är en ändlig mängd. Om x 0 / D har polynomet f(x 0, y) n stycken olika nollställen y i. Speciellt gäller att y f(x 0, y i ) 0. Enligt implicita funktionssatsen finns därför n entydigt bestämda holomorfa funktioner α i (x) definierade i en omgivning U C \ D av x 0, sådana att α i (x 0 ) = y i och f(x, α i (x)) = 0 då x U. Detta ger kurvan {(x, y) C 2 ; f(x, y) = 0, x / D} en komplex struktur; en parametrisering kring (x 0, y i ) ges av (x, α i (x)). På samma sätt får vi en parametrisering kring en punkt (x, y) där a n (x) = 0, (x) 0. Vi ska så undersöka rötternas uppförande nära en punkt x 0 sådan att (x 0 ) = 0. Om vi startar i en punkt x nära x 0 med en rot α 1 och fortsätter den analytiskt runt x 0, kommer vi efter ett ändligt antal, säg k stycken (k n), steg att komma tillbaka till samma funktionselement i x. Detta delar in rötterna α 1 (x),..., α n (x) i olika klasser [α 1,..., α k ],..., [α m+1,..., α n ]. Skriv nu x = x 0 + t k. Då gäller uppenbarligen att α 1 (x 0 + t k ) blir en analytisk funktion av t i en punkterad omgivning av t = 0. Den har därför en hävbar singularitet i t = 0 och det följer att t (x 0 + t k, α 1 (x 0 + t k )) definierar en komplex struktur på k grenar av f(x, y) = 0 ovanför x 0. Vi kan därför ge också en omgivning av x 0 strukturen av en n-överlagring, fast med förgreningspunkt ovanför x 0. Mer analytiskt har vi en Puiseux-serie α(x) = a j (x x 0 ) j/k 0 som sammanfattar uppförandet invid x 0 av k rötter α 1,..., α k. (En funktion α(x) som uppfyller f(x, α(x)) = 0 för ett polynom f kallas en algebraisk funktion en sådan kan alltså alltid utvecklas i en Puiseuxs-serie.) Vi gör sedan analoga konstruktioner i de andra koordinatomgivningarna i PC 2. De komplexa strukturerna kommer att överensstämma i skärningarna. För att se detta, låt X 1 och X 2 vara två ytor i en sådan skärning. Vi har då en biholomorf avbildning från X 1 minus förgreningspunkter till X 2 minus förgreningspunkter, och liksom i Exempel 3 kan denna utvidgas till en biholomorf avbildning från X 1 till X 2. Anmärkning Om C är en plan algebraisk kurva av grad n så kan vi välja koordinatsystem i PC 2 så att C har en affin ekvation på formen f(x, y) = y n + a 1 (x)y n a n (x) = 0 där a j C[x] (och har grad högst j). Weierstrass preparation theorem säger att om f(x, y) är holomorf och f(0, y) inte identiskt noll, så finns en omgivning av (0, 0) sådan att f(x, y) på precis ett sätt kan skrivas f(x, y) = u(x, y)w(x, y), där w(x, y) är ett polynom av denna form sådant att a j (0) = 0 för alla j, och u(x, y) är holomorf och sådan att u(0, 0) 0. Vi har sett att det till varje plan algebraisk kurva C svarar endimensionell komplex mångfald X C. Vi ska snart se att X C är sammanhängande om C är irreducibel. Men
11 Om Riemannytor och algebraiska kurvor 10 (13) innan dess, låt oss titta närmare på konstruktionen i fallet f(x, y) = y 2 p(x), där p(x) är ett polynom. Ovanför PC 1 har vi då två blad, så att det över en punkt x på sfären ligger två punkter (x, y) där y 2 = p(x) och p:s nollställen identifierar de två bladen. När x går runt en sådan förgreningspunkt i bassfären, går bilden från ett blad till ett annat (så om vi går två varv i bassfären så kommer vi tillbaka till startpunkten). För att få en sådan mångfald skär vi upp C mellan nollställena (och om p är av udda gradtal) och klistrar sedan ihop två upplagor av C längs dessa 7. Vi ska nu visa omvändningen till ovanstående: att varje kompakt Riemannyta kan fås på detta sätt ur en plan kurva. Vi förbereder med ett lemma. Lemma 1 Låt X vara en kompakt Riemannyta, x M(X) en m-överlagring och y M(X) en n-överlagring. Då finns ett irreducibelt polynom f(ξ, η) av grad högst n i ξ och m i η sådant att f(x, y) = 0. Bevis. Vi börjar med att visa att y löser en ekvation av grad m vars koefficienter är rationella funktioner av x. Låt D vara mängden som består av bilderna till förgreningspunkterna till x samt. Om U är en öppen mängd i komplementet till D så gäller att x 1 (U) = V 1... V m. Låt π i : U V i vara inversen till x Vi och sätt y i = y π i. Definierar vi c k = ( 1) k s k (y 1,..., y m ), där s k är den k:te elementarsymmetriska funktionen i n variabler, så får vi en samling holomorfa funktioner på PC 1 \ D. Låt nu a D ha urbilderna b 1,..., b s och låt z vara en lokal koordinat kring a med z(a) = 0. Sätt φ = z x. Då kan vi ta k så stor att φ k y blir holomorf i en omgivning av varje b k och motsvarande elementarsymmetriska funktion är z ki c i (z), som har en hävbar singularitet i z = a. Upprepas detta för alla punkter i D följer att c k :na är meromorfa funktioner på PC 1, alltså rationella sådana som löser ekvationen y m + c 1 (x)y m c m (x) = 0. Minimalekvationen mellan x och y blir därför högst av grad m i y och av symmetriskäl måse den ha högst grad n i x. Om f är minimalpolynomet och vi skriver det som f = f 1 f 2, så ska vi visa att t.ex. f 2 är en konstant. För detta tar vi en punkt a på X och låter U vara en koordinatomgivning till a. Eftersom f(x, y) = 0 i U, följer att f 1 (x, y) = 0 i U. Genom analytisk fortsättning följer att f 1 (x, y) = 0 på hela X, vilket motsäger att f är minimalpolynom om inte f 2 är konstant. Alltså är f irreducibelt, vilket visar lemmat. Följdsats M(X) är en ändlig algebraisk utvidgning av en enkel transcendental utvidgning av C. Bevis. Låt x M(X) vara en icke-konstant n-överlagring. Då är varje meromorf funktion på X av algebraisk grad högst n över C(x) enligt Lemma 1. Det följer ur teorin för kroppar att M(X) är algebraisk av grad högst n över C(x). Följdsatsen innebär att det finns två meromorfa funktioner x och y på X sådana att varje meromorf funktion på X fås som en rationell funktion av dessa, d.v.s. M(X) = C(x, y). Enligt Lemma 1 finns ett irreducibelt polynom f sådant att f(x, y) = 0. Låt C vara motsvarande kurva i PC 2. Vi har då följande hjälpsats.
12 Om Riemannytor och algebraiska kurvor 11 (13) Lemma 2 Det finns en kanonisk holomorf homeomorfism mellan X och X C. Bevis. Låt D vara de punkter på X där x eller y har en pol och betrakta avbildningen X \ D p [1, x(p), y(p)] C P 2 C. Denna lyfts till en holomorf avbildning X \ D X C \ (ändligt många punkter) som kan utvidgas till en holomorf avbildning X X C. De meromorfa funktionerna på X separerar punkter (se Riemann-Rochs sats i nästa kapitel) och då x och y genererar alla meromorfa funktioner, måste också x och y separera punkter, varför avbildningen är injektiv. Sats 1 ger nu resultatet. Följdsats Två Riemannytor är holomorft ekvivalenta precis om deras kroppar av meromorfa funktioner är isomorfa som abstrakta kroppar. Bevis. Om två ytor har isomorfa funktionskroppar kan man finna generatorer till dessa som satisfierar samma irreducibla polynomekvation och resultet följer ur lemmat. Att studera kompakta Riemannytor är alltså ekvivalent med att studera algebraiska funktionskroppar i en variabel över C eller med studiet av algebraiska plana kurvor. Ekvivalensbegreppet för funktionskroppar är just isomorfism som abstrakta kroppar, medan det är lite mer komplicerat för kurvor. Två plana kurvor C och C sägs vara birationellt ekvivalenta om det finns en biholomorf avbildning mellan C minus ändligt många punkter och C minus ändligt många punkter. Vi ger nu en sammanfattning av diskussionen ovan om sambandet mellan plana kurvor och Riemannytor. Sats 4 Varje plan algebraisk kurva är birationellt ekvivalent med en kompakt Riemannyta och omvänt. Birationellt ekvivalenta kurvor svarar mot samma Riemannyta (d.v.s. holomorft ekvivalenta ytor). Vi avslutar så detta kapitel med en beskrivning av de holomorfa 1-formerna på en algebraisk kurva (eller snarare tillhörande Riemannyta). Exempel 11 Låt C : f(x, y) = 0 vara en algebraisk n-tegradskurva. Vi vill då hitta uttryck för de holomorfa 1-formerna på X C. Vi betraktar först den del av kurvan som ligger i det ändliga planet. Utanför singulära punkter på C kan vi då använda antingen x eller y som koordinater, och vi vet att df = 1 dx = 2 dy = 0. I ett område där vi kan använda x som parameter definierar vi ω = g(x, y)dx 2 f(x, y), där g är ett polynom av grad m. För att denna ska kunna definiera en holomorf 1-form ska den kunna skrivas på formen adx + bdy, där a, b är polynom. Vi har att ω = adx + bdy = g(a 2 f b 1 f)ω, så villkoret är att det ska finnas polynom a, b sådana att a 2 f b 1 f = 1, vilket gäller om f är en icke-singulär kurva.
13 Om Riemannytor och algebraiska kurvor 12 (13) Vi måste så se när denna 1-form har en pol i oändligheten. För detta gör vi transformationen transformationen y = 1/v, x = u/v: g(x, y)dy ω = 1 f(x, y) = g(u/v, 1/v) 1 f(u/v, 1/v) dv/v2 m (n 1) 2 g(u, v)dv = v. 1 f(u, v) Vi ser att ω har en pol av ordning m (n 1) 2 i v = 0, så för att ω ska vara holomorf måste m n 3. Med andra ord En holomorf 1-form på Riemannytan X C till kurvan C : f(x, y) = 0 måste har formen g(x, y)dx ω = 2 f(x, y) där g(x, y) är ett polynom av grad högst n 3. Om C är icke-singulär är dessa differentialformer holomorfa. Vi ser att om n = 2 finns inga sådana former, vilket stämmer med våra gjorda observationer att då är Riemannytan lika med Riemannsfären. För kubiska kurvor finns endast en aktuell form, ω = dx/ 2 f(x, y), och denna är holomorf då och endast då kurvan är icke-singulär. Eftersom dimensionen av rummet av polynom i 2 variabler av grad högst d är d + (d + 1) = (d + 1)(d + 2) 2 följer speciellt att (n 1)(n 2) dim Ω(X C ) 2 med likhet precis om C är icke-singulär (observera att dx/ 2 f = dy/ 1 f på C). De polynom p(x, y) som förekommer i exemplet kallas de adjunkta polynomen till f(x, y) och motsvarande nollställesmängd kallas de adjunkta kurvorna till C (i den vanliga utvidgade betydelsen av adjunkt polynom krävs bara att ω i exemple ska vara holomorf på den ändliga delen av C, alltså ingen inskränkning på gradtalet av p). Om f endast har singulariteter som är ordinära multipel i punkter p av ordning r p (d.v.s. det finns r p olika tangenter i punkten p till kurvan C) så inses att de adjunkta polynomen är precis de som har ett nollställe av ordning r p 1 i dessa punkter. Det följer att i detta fall gäller att dim Ω(X C ) = (n 1)(n 2) 2 p r p (r p 1). 2 Noteringar 1. D.v.s. bijektiva och bikontinuerliga funktioner 2. Se kapitlet Om triangulering av ytor och Eulerkarakteristiken 3. Man förenklar ofta denna bild genom att klippa upp sfären efter en storcirkel och platta ut ena halvan. Man representerar då den del av S 2 som finns i en oktant som en triangel i planet:
14 Om Riemannytor och algebraiska kurvor 13 (13) välj tre punkter a 1, a 2, a 3 i planet och rita triangeln. Punkten (t 0, t 1, t 2 ) i PR 2 representeras nu genom sina barycentriska koordinater (t 0 /(t 0 + t 1 + t 2 ), t 1 /(t 0 + t 1 + t 2 ), t 2 /(t 0 + t 1 + t 2 )) (vilket svarar mot att vi klippte upp enhetscirkeln längs storcirkeln t 0 + t 1 + t 2 = 0 och sedan plattar till resultatet). 4. Se t.ex. Elliptiska funktioner enligt Weierstrass. 5. En abelsk differentialform av 1:a slaget är detsamma som en holomorf 1-form, och en abelsk differentialform av 2:a slaget är en meromorf 1-form vars residyer alla är noll. 6. Däremot är det inte meningsfullt att tala om andra värden av F, eftersom F (cx, cy, cz) = c n F (x, y, z) 7. Se t.ex. Vad är Riemannytor och vad är de bra till
Vad är Riemannytor och vad är de bra till?
Vad är Riemannytor och vad är de bra till? Sammanfattning Anders Källén MatematikCentrum LTH anderskallen@gmail.com I den här artikeln ska vi titta på hur man hanterar flervärda funktioner, såsom roten
Läs merLäsanvisningar till kapitel
Läsanvisningar till kapitel 7.1 7.4 7.1 Invarians av Laplaceekvationen Om f O(Ω), Ω C ett område, är bijektiv med holomorf invers så säger vi att f är biholomorf. Detta avsnitt handlar om att harmoniska
Läs merMöbiusavbildningar. 1 Inledning. Låt a, b, c och d vara komplexa tal och antag att ad bc = 0. Då kallas. Definition 1.
Möbiusavbildningar Lars-Åke Lindahl 1 Inledning Definition 11 avbildningen en Möbiusavbildning Låt a, b, c och d vara komplexa tal och antag att ad bc = 0 Då kallas Tz = az + b cz + d (Om ad bc = 0 är
Läs merElliptiska funktioner enligt Weierstrass
Elliptiska funktioner enligt Weierstrass Sammanfattning Anders Källén MatematikCentrum LTH anderskallen@gmail.com Elliptiska funktioner är detsamma som dubbelperiodiska meromorfa funktioner av en komplex
Läs merAnalys på en torus. MatematikCentrum LTH
Analys på en torus Anders Källén MatematikCentrum LTH anderskallen@gmail.com Sammanfattning I den här artikeln ska vi diskutera differentialgeometri på en torus, både inbäddad som en badring i rummet och
Läs merOm ortonormerade baser i oändligtdimensionella rum
Analys 360 En webbaserad analyskurs Funktionsutvecklingar Om ortonormerade baser i oändligtdimensionella rum Anders Källén MatematikCentrum LTH anderskallen@gmail.com Om ortonormerade baser i oändligtdimensionella
Läs merLäsanvisningar till kapitel 4
Kapitel 4 Läsanvisningar till kapitel 4 Taylors sats samt Cauchyuppskattningar och några konsekvenser Taylorserier är något ni är bekannt med sedan era reellanalyskurser. Höjdpunkten i detta avsnitt säger
Läs merPartiella differentialekvationer av första ordningen
Partiella differentialekvationer av första ordningen Kjell Holmåker 23 februari 2005 En kvasilinjär partiell differentialekvation av första ordningen är av formen P (x, y, u)u x + Q(x, y, u)u y = R(x,
Läs merKursstart. Kursen startar tisdagen den 10 oktober kl i sal MA236 i MIT-huset. Schemat kan erhållas från matematiska institutionens hemsida.
Kursinformation för Komplex analys, 3p, ht 2006. Civ.ing. (Teknisk Fysik) Ingår som ett moment i kursen Fysikens matematiska metoder, 10p. Ulf Backlund Kursstart Kursen startar tisdagen den 10 oktober
Läs merÖvningar. MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik. Linjär algebra 2. Senast korrigerad:
MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik Linjär algebra 2 Senast korrigerad: 2006-02-10 Övningar Linjära rum 1. Låt v 1,..., v m vara vektorer i R n. Ge bevis eller motexempel till
Läs merÖvningar. c) Om någon vektor i R n kan skrivas som linjär kombination av v 1,..., v m på precis ett sätt så. m = n.
Övningar Linjära rum 1 Låt v 1,, v m vara vektorer i R n Ge bevis eller motexempel till följande påståenden Satser ur boken får användas a) Om varje vektor i R n kan skrivas som linjär kombination av v
Läs merLäsanvisningar till kapitel 3
Kapitel 3 Läsanvisningar till kapitel 3 Den moderna vägen till holomorficitet dess konsekvenser Vi ska i detta kapitel definiera ett begrepp som kallas holomoficitet, det kommer visa sig att vara precis
Läs merSF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A. 1. En svängningsrörelse beskrivs av
SF166 Flervariabelanalys Lösningsförslag till tentamen 13-3-1 DEL A 1. En svängningsrörelse beskrivs av ( πx ) u(x, t) = A cos λ πft där amplituden A, våglängden λ och frekvensen f är givna konstanter.
Läs merNågot om algebraiska kurvor
85 Något om algebraiska kurvor Björn Gustafsson K T H Inledning. De enklaste matematiska funktionerna är de som kan definieras direkt med hjälp av de fyra räknesätten, dvs polynomen, (bara tre räknesätt
Läs merLäsanvisningar till kapitel
Läsanvisningar till kapitel 2.3 2.5 2.3 Analytiska funktioner Analytiska funktioner, eller holomorfa funktioner som vi kommer kalla dem, är de funktioner som vi komer studera så gott som resten av kursen.
Läs merx ( f u 2y + f v 2x) xy = 24 och C = f
Institutionen för Matematik, KTH Torbjörn Kolsrud SF160, Differential- och integralkalkyl II, del 2, flervariabel, för F1. Tentamen onsdag 0 maj 2012, 8.00-1.00 Förslag till lösningar 1. Bestäm tangentplanet
Läs merEuklides algoritm för polynom
Uppsala Universitet Matematiska institutionen Isac Hedén isac distans@math.uu.se Algebra I, 5 hp Vecka 22. Euklides algoritm för polynom Ibland kan det vara intressant att bestämma den största gemensamma
Läs mer3. Analytiska funktioner.
33 Fysikens matematiska metoder : Studievecka 3. 3. Analytiska funktioner. Varför komplexa tal? Syfte : Att ur vissa funktioners uppträdande utanför reella axeln ( Nollställen poler m.m) kunna sluta sig
Läs merOm immersioner och Whitneys inbäddningssats
Analys 360 En Webbaserad Analyskurs Differentialtopologi Om immersioner och Whitneys inbäddningssats Anders Källén MatematikCentrum LTH anderskallen@gmail.com Om immersioner och Whitneys inbäddningssats
Läs merTentamen i Komplex analys, SF1628, den 21 oktober 2016
Institutionen för matematik KTH Håkan Hedenmalm Tentamen i Komplex analys, SF68, den oktober 06 Skrivtid 4.00-9.00. Inga hjälpmedel är tillåtna. Skriv tydliga lösningar med utförliga motiveringar. För
Läs merProblem inför KS 2. Problem i matematik CDEPR & CDMAT Flervariabelanalys. KTH -matematik
KTH -matematik Problem i matematik EPR & MAT Flervariabelanalys Problem inför KS.. Låt F(, y, z) + y 3z + och G(, y, z) 3 + y 3 4z +. Visa att i en omgivning av punkten (,, ) definieras genom ekvationerna
Läs merMöbiusgruppen och icke euklidisk geometri
94 Möbiusgruppen och icke euklidisk geometri Lars Gårding Lunds Universitet Meningen med detta förslag till enskilt arbete är att alla uppgifter U redovisas skriftligt med fulla motiveringar och att alla
Läs merSF1624 Algebra och geometri Tentamen med lösningsförslag onsdag, 11 januari 2017
SF64 Algebra och geometri Tentamen med lösningsförslag onsdag, januari 7. (a) För vilka värden på k har ekvationssystemet (med avseende på x, y och z) kx + ky + z 3 x + ky + z 4x + 3y + 3z 8 en entydig
Läs merLäsanvisningar till kapitel Komplexa tals algebraiska struktur
Läsanvisningar till kapitel 1.1. Jag tänkte bara kort berätta hur strukturen hos dessa läsanvisningar kommer vara innan vi kör gång på allvar. Jag kommer i dessa läsanvisningar säga vad jag anser är viktigt
Läs merLösningsförslag till problem 1
Lösningsförslag till problem Lisa Nicklasson november 0 Att beskriva trianglar Vi ska börja med att beskriva hur trianglar kan representeras i x, y)-planet Notera att varje triangel har minst två spetsiga
Läs mer1 Linjära ekvationssystem. 2 Vektorer
För. 1 1 Linjära ekvationssystem Gaußelimination - sriv om systemet för att få ett trappformat system genom att: byta ordningen mellan ekvationer eller obekanta; multiplicera en ekvation med en konstant
Läs merMaterial till kursen SF1679, Diskret matematik: Lite om kedjebråk. 0. Inledning
Matematik, KTH Bengt Ek november 207 Material till kursen SF679, Diskret matematik: Lite om kedjebråk 0 Inledning Talet π (kvoten mellan en cirkels omkrets och dess diameter) är inte ett rationellt tal
Läs merAndragradspolynom Några vektorrum P 2
Låt beteckna mängden av polynom av grad högst 2. Det betyder att p tillhör om p(x) = ax 2 + bx + c där a, b och c är reella tal. Några exempel: x 2 + 3x 7, 2x 2 3, 5x + π, 0 Man kan addera två polynom
Läs merInstitutionen för matematik SF1626 Flervariabelanalys. Lösningsförslag till tentamen Måndagen den 5 juni 2017 DEL A
Institutionen för matematik SF66 Flervariabelanalys Lösningsförslag till tentamen Måndagen den 5 juni 7 DEL A. En kulles höjd ges av z 6,x,y där enheten är meter på alla tre koordinataxlar. (a) I vilken
Läs merVektorgeometri för gymnasister
Vektorgeometri för gymnasister Per-Anders Svensson http://w3.msi.vxu.se/users/pa/vektorgeometri/gymnasiet.html Institutionen för datavetenskap, fysik och matematik Linnéuniversitetet Vektorer i planet
Läs merKTH, Matematik. Övningar till Kapitel , 6.6 och Matrisframställningen A γ av en rotation R γ : R 2 R 2 med vinkeln γ är
KTH, Matematik Övningar till Kapitel 5.5-5.6, 6.6 och 8.3-8.6. Matrisframställningen A γ av en rotation R γ : R R med vinkeln γ är ( cos(γ sin(γ. sin(γ cos(γ Då R α+β = R α R β, är matrisen ( cos(α + β
Läs merOm kontinuerliga funktioner
Analys 360 En webbaserad analyskurs Analysens Grunder Om kontinuerliga funktioner Anders Källén MatematikCentrum LTH anderskallen@gmail.com Om kontinuerliga funktioner 1 (12) 1 Introduktion Vi ska nu diskutera
Läs merAnalys o Linjär algebra. Lektion 7.. p.1/65
Analys o Lektion 7 p1/65 Har redan (i matlab bla) stött på tal-listor eller vektorer av typen etc Vad kan sådana tänkas representera/modellera? Hur kan man räkna med sådana? Skall närmast fokusera på ordnade
Läs merLinjär algebra på några minuter
Linjär algebra på några minuter Linjära ekvationssystem Ekvationssystem: { Löses på matrisform: ( ) ( ) I det här fallet finns en entydig lösning, vilket betyder att determinanten av koefficientmatrisen
Läs merParabeln och vad man kan ha den till
Parabeln och vad man kan ha den till Anders Källén MatematikCentrum LTH anderskallen@gmail.com Sammanfattning I den här artikeln diskuterar vi vad parabeln är för geometrisk konstruktion och varför den
Läs mer1. (Dugga 1.1) (a) Bestäm v (3v 2u) om v = . (1p) and u =
Kursen bedöms med betyg,, 5 eller underkänd, där 5 är högsta betyg. För godkänt betyg krävs minst poäng från uppgifterna -7. Var och en av dessa sju uppgifter kan ge maximalt poäng. För var och en av uppgifterna
Läs merModul 1: Komplexa tal och Polynomekvationer
Modul : Komplexa tal och Polynomekvationer. Skriv på formen a + bi, där a och b är reella, a. (2 + i)( 2i) 2. b. + 2i + 3i 3 4i + 2i 2. Lös ekvationerna a. (2 i)z = 3 + i. b. (2 + i) z = + 3i c. ( 2 +
Läs merParabeln och vad man kan ha den till
Parabeln och vad man kan ha den till Anders Källén MatematikCentrum LTH anderskallen@gmail.com Sammanfattning I det här dokumentet diskuterar vi vad parabeln är för geometrisk konstruktion och varför den
Läs merUppsala Universitet Matematiska Institutionen Bo Styf. Sammanfattning av föreläsningarna
Uppsala Universitet Matematiska Institutionen Bo Styf LAoG I, 5 hp ES, KandMa, MatemA -9-6 Sammanfattning av föreläsningarna 3-7 Föreläsningarna 3 7, 8/ 5/ : Det viktigaste är här att du lär dig att reducera
Läs merTATM79: Föreläsning 3 Komplexa tal
TATM79: Föreläsning 3 Komplexa tal Johan Thim 22 augusti 2018 1 Komplexa tal Definition. Det imaginära talet i uppfyller att i 2 = 1. Detta är alltså ett tal vars kvadrat är negativ. Det kan således aldrig
Läs merMängder och kardinalitet
UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 28 september 2007 Mängder och kardinalitet Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen
Läs merLäsanvisningar till kapitel
Läsanvisningar till kapitel 6. 6.7 6. Residuesatsen Hela kapitel 6 handlar om att beräkna olika typer av integraler på så gott som samma vis. Om ni kommmer ihåg från förra avsnittet om Laurentserieutvecklingar,
Läs merSF1624 Algebra och geometri Lösningsförslag till tentamen DEL A
SF1624 Algebra och geometri Lösningsförslag till tentamen 14129 DEL A 1 (a) Bestäm linjen genom punkterna A = (,, 1) och B = (2, 4, 1) (1 p) (b) Med hjälp av projektion kan man bestämma det kortaste avståndet
Läs merLösningar till utvalda uppgifter i kapitel 8
Lösningar till utvalda uppgifter i kapitel 8 8. Alla vektorer som är normaler till planet, d v s vektorer på formen (0 0 z) t, avbildas på nollvektorn. Dessa kommer därför att vara egenvektorer med egenvärdet
Läs merLinjär Algebra, Föreläsning 2
Linjär Algebra, Föreläsning 2 Tomas Sjödin Linköpings Universitet Geometriska vektorer, rummen R n och M n 1 En (geometrisk) vektor är ett objekt som har storlek och riktning, men inte någon naturlig startpunkt.
Läs merOm att rita funktioner av två variabler
Analys 360 En webbaserad analyskurs Differentialkalkyl Om att rita funktioner av två variabler Anders Källén MatematikCentrum LTH anderskallen@gmail.com Om att rita funktioner av två variabler 1 (10) Introduktion
Läs merDEL I. Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604, den 17 april 2010 kl
Matematiska Institutionen KTH Lösning till tentamensskrivning på kursen Linjär algebra II, SF604, den 7 april 200 kl 09.00-4.00. DEL I. En triangel i den tredimensionella rymden har sina hörn i punkterna
Läs merRepetitionsfrågor i Flervariabelanalys, Ht 2009
Repetitionsfrågor i Flervariabelanalys, Ht 2009 Serier 1. Visa att för en positiv serie är summan oberoende av summationsordningen. 2. Visa att för en absolutkonvergent serie är summan oberoende av summationsordningen.
Läs merRiemanns avbildningssats
Riemanns avbildningssats En studie av bijektiva avbildningar mellan öppna och enkelt sammanhängande områden i det komplexa planet Kandidatarbete inom civilingenjörsutbildningen vid Chalmers Johan Karlsson
Läs mer= 0. Båda skärningsvinklarna är således π/2 (ortogonala riktningsvektorer).
Institutionen för Matematik, KTH Torbjörn Kolsrud SF163, ifferential- och integralkalkyl II, del 2, flervariabel, för F1. Tentamen torsdag 19 augusti 21, 14. - 19. Inga hjälpmedel är tillåtna. Svar och
Läs merOändligtdimensionella vektorrum
Oändligtdimensionella vektorrum Vi har i den här kursen huvudsakligen studerat ändligtdimensionella vektorrum. Dessa är mycket användbara objekt och matriskalkyl ger en bra metod att undersöka dom med.
Läs merOm lösningar till glatta ekvationer
Analys 360 En Webbaserad Analyskurs Differentialtopologi Om lösningar till glatta ekvationer Anders Källén MatematikCentrum LTH anderskallen@gmail.com Om lösningar till glatta ekvationer 1 (15) 1 Introduktion
Läs merMer om analytisk geometri
1 Onsdag v 5 Mer om analytisk geometri Determinanter: Då man har en -matris kan man till den associera ett tal determinanten av som också skrivs Determinanter kommer att repeteras och studeras närmare
Läs merSF1649, Vektoranalys och komplexa funktioner Tentamen, måndagen den 19 december Lösningsförslag. F n ds,
Institutionen för matematik, KTH Serguei Shimorin SF1649, Vektoranalys och komplexa funktioner Tentamen, måndagen den 19 december 211. Lösningsförslag 1. Räkna ut flödesintegral F n ds, där F = (x e y,
Läs merFinaltävling i Uppsala den 24 november 2018
SKOLORNAS MATEMATIKTÄVLING Svenska matematikersamfundet Finaltävling i Uppsala den 4 november 018 1. Låt ABCD vara en fyrhörning utan parallella sidor, som är inskriven i en cirkel. Låt P och Q vara skärningspunkterna
Läs merHarmoniska funktioner
Harmoniska funktioner Lars Hörmander vt 98 Definitioner och grundläggande egenskaper Enligt definitionen är en analytisk funktion f i Ω C en C lösning till Cauchy-Riemanns differentialekvation f z =. Enligt
Läs merOm ellipsen och hyperbelns optiska egenskaper
Om ellipsen och hyperbelns optiska egenskaper Anders Källén MatematikCentrum LTH anderskallen@gmail.com Sammanfattning Ellipser och hyperbler är, liksom parabeln, s.k. kägelsnitt, dvs kurvor som uppkommer
Läs merAlgebraiska egenskaper hos R n i)u + v = v + U
Underrum till R n, nollrum, kolonnrum av en matris, rank, bas, koordinater, dimension. Påminnelse om R n s egenskaper: Algebraiska egenskaper hos R n i)u + v = v + U v) c(u + v) = cu + cv ii) ( u + v)
Läs merVektorgeometri för gymnasister
Vektorgeometri för gymnasister Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/vektorgeometri/gymnasiet.html Fakulteten för teknik Linnéuniversitetet Linjära avbildningar II Innehåll Repetition:
Läs merSF1624 Algebra och geometri Lösningsförslag till tentamen DEL A
SF64 Algebra och geometri Lösningsförslag till tentamen 533 DEL A Planet H ges av ekvationen 3x y + 5z + a) Bestäm en linje N som är vinkelrät mot H ( p) b) Bestäm en linje L som inte skär planet H ( p)
Läs merMatematiska strukturer - Satser
Matematiska strukturer - Satser April 2, 2018 I detta dokument har jag samlat och översatt de flesta satser som ingår i kursen Matematiksa Strukturer (FMAN65) från kursboken Set Theory and Metric Spaces
Läs merSF1624 Algebra och geometri Lösningsförslag till tentamen DEL A. t 2
SF64 Algebra och geometri Lösningsförslag till tentamen 4--4 DEL A. I rummet R har vi punkterna P = (,, 4) och Q = (,, ), samt linjen L som ges av vektorerna på formen t t, t där t är en reell parameter.
Läs merSF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A
SF1626 Flervariabelanalys Lösningsförslag till tentamen 215-3-16 DEL A 1. Låt f(x, y) = 1 x 2 y 2. (a) Skissa nivåkurvorna f(x, y) = c till f för c =, c = 1 och c = 2. (1 p) (b) Beräkna gradf(x, y) i de
Läs merÖvningstenta: Lösningsförslag
Övningstenta: Lösningsförslag Onsdag 5 mars 7 8:-: SF674 Flervariabelanalys Inga hjälpmedel är tillåtna. Max: 4 poäng. (4 poäng) Bestäm tangentplanet i punkten (,, ) till ytan z f(x, y) där f(x, y) x 4
Läs merTATA42: Föreläsning 9 Linjära differentialekvationer av ännu högre ordning
TATA42: Föreläsning 9 Linjära differentialekvationer av ännu högre ordning Johan Thim 4 mars 2018 1 Linjära DE av godtycklig ordning med konstanta koefficienter Vi kommer nu att betrakta linjära differentialekvationer
Läs merOm mångfalder, abstrakta och som delmängder i olika rum
Analys 360 En Webbaserad Analyskurs Differentialtopologi Om mångfalder, abstrakta och som delmängder i olika rum Anders Källén MatematikCentrum LTH anderskallen@gmail.com Om mångfalder, abstrakta och som
Läs merhar ekvation (2, 3, 4) (x 1, y 1, z 1) = 0, eller 2x + 3y + 4z = 9. b) Vi söker P 1 = F (1, 1, 1) + F (1, 1, 1) (x 1, y 1, z 1) = 2x + 3y + 4z.
Institutionen för Matematik, KTH Torbjörn Kolsrud SF163, ifferential- och integralkalkyl II, del, flervariabel, för F1. Tentamen onsdag 7 maj 9, 1.-19. 1. Låt F (x, y, z) sin(x + y z) + x + y + 6z. a)
Läs merOm komplexa tal och funktioner
Analys 360 En webbaserad analyskurs Grundbok Om komplexa tal och funktioner Anders Källén MatematikCentrum LTH anderskallen@gmail.com Om komplexa tal och funktioner 1 (11) Introduktion De komplexa talen
Läs merRepetition, Matematik 2 för lärare. Ï x + 2y - 3z = 1 Ô Ì 3x - y + 2z = a Ô Á. . Beräkna ABT. Beräkna (AB) T
Repetition, Matematik 2 för lärare Ï -2x + y + 2z = 3 1. Ange för alla reella a lösningsmängden till ekvationssystemet Ì ax + 2y + z = 1. Ó x + 3y - z = 4 2. Vad är villkoret på talet a för att ekvationssystemet
Läs merPoincarés modell för den hyperboliska geometrin
Poincarés modell för den hyperboliska geometrin Niklas Palmberg, matrikelnr 23604 Uppsats för kandidatexamen i naturvetenskaper Matematiska institutionen Åbo Akademi 12.2.2001 Innehåll 1 Presentation av
Läs merLäsanvisningar till kapitel
Läsanvisningar till kapitel 5. 5.8 5. Följder och serier Detta avsnitt är repetition, och jag hoppas att ni snart kan snappa upp det som står däri. Speciellt viktigt är det att komma ihåg vad en geometrisk
Läs merTentan , lösningar
UPPALA UNIVERITET MATEMATIKA INTITUTIONEN Bo tyf Flervariabelanalys K, X m.fl. Höstterminen 2008 Tentan 2008-12-16, lösningar 1. Avgör om det finns någon punkt på ytan (x 1) 2 + 2(y 1) 2 + 2z 8 som är
Läs mer1 Grundläggande kalkyler med vektorer och matriser
Krister Svanberg, mars 2015 1 Grundläggande kalkyler med vektorer och matriser Trots att läsaren säkert redan behärskar grundläggande vektor- och matriskalkyler, ges här i Kapitel 1 en repetition om just
Läs merLösningar till udda övningsuppgifter
Lösningar till udda övningsuppgifter Övning 1.1. (i) {, } (ii) {0, 1,, 3, 4} (iii) {0,, 4, 6, 8} Övning 1.3. Påståendena är (i), (iii) och (v), varav (iii) och (v) är sanna. Övning 1.5. andra. (i) Nej.
Läs merMaterial till kursen SF1679, Diskret matematik: Om urvalsaxiomet mm. Axiom som är ekvivalenta med urvalsaxiomet
Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om urvalsaxiomet mm Vi har tidigare nämnt Zermelo-Fraenkels axiom för mängdläran, de upprepas på sista sidan av dessa
Läs merMA2047 Algebra och diskret matematik
MA2047 Algebra och diskret matematik Något om komplexa tal Mikael Hindgren 17 oktober 2018 Den imaginära enheten i Det finns inga reella tal som uppfyller ekvationen x 2 + 1 = 0. Vi inför den imaginära
Läs merPrimitiva funktioner i flerdim
Analys 36 En webbaserad analyskurs Differentialkalkyl Primitiva funktioner i flerdim Anders Källén MatematikCentrum LTH anderskallen@gmail.com Primitiva funktioner i flerdim 1 (11) 1 Introduktion Att bestämma
Läs merSF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A
SF626 Flervariabelanalys Lösningsförslag till tentamen 23-5-27 DEL A. Bestäm alla punkter på ytan z = x 2 + 4y 2 i vilka tangentplanet är parallellt med planet x + y + z =. 4 p) Lösning. Tangentplanet
Läs merVectorer, spannet av vektorer, lösningsmängd av ett ekvationssystem.
Vectorer, spannet av vektorer, lösningsmängd av ett ekvationssystem. Begrepp som diskuteras i det kapitlet. Vektorer, addition och multiplikation med skalärer. Geometrisk tolkning. Linjär kombination av
Läs merSF1624 Algebra och geometri Lösningsförslag till tentamen DEL A
SF1624 Algebra och geometri Lösningsförslag till tentamen 2011-06-09 DEL A (1) Betrakta ekvationssystemet x y 4z = 2 2x + 3y + z = 2 3x + 2y 3z = c där c är en konstant och x, y och z är de tre obekanta.
Läs merTillämpningar av komplex analys på spektralteori
Tillämpningar av komple analys på spektralteori Anders Källén, baserat på föreläsningar hösten 1979 av Lars Hörmander MatematikCentrum LTH anderskallen@gmail.com Sammanfattning I det här dokumentet härleds
Läs merLinjär Algebra, Föreläsning 2
Linjär Algebra, Föreläsning 2 Tomas Sjödin Linköpings Universitet Riktade sträckor och Geometriska vektorer En (geometrisk) vektor är ett objekt som har storlek och riktning, men inte någon naturlig startpunkt.
Läs merSF1624 Algebra och geometri Tentamen Torsdag, 9 juni 2016
SF624 Algebra och geometri Tentamen Torsdag, 9 juni 26 Skrivtid: 8: 3: Tillåtna hjälpmedel: inga Examinator: Tilman Bauer Tentamen består av nio uppgifter som vardera ger maximalt fyra poäng. Del A på
Läs merVektorknippen och tensorfält
Analys 360 En Webbaserad Analyskurs Differentialtopologi Vektorknippen och tensorfält Anders Källén MatematikCentrum LTH anderskallen@gmail.com Vektorknippen och tensorfält 1 (10) 1 Introduktion Tensorer
Läs merLUNDS TEKNISKA HÖGSKOLA MATEMATIK. LÖSNINGAR FLERDIMENSIONELL ANALYS, FMA kl 8 13
LUNS TEKNISKA HÖGSKOLA MATEMATIK LÖSNINGAR FLERIMENSIONELL ANALYS, FMA40 04-0- kl 8. Vi börjar med att rita triangelskivan. Linjen genom, och, har ekvationen y x+, linjen genom, och, har ekvationen y 4
Läs mer4x az = 0 2ax + y = 0 ax + y + z = 0
LUNDS TEKNISKA HÖGSKOLA MATEMATIK TENTAMENSSKRIVNING LINJÄR ALGEBRA 206-03-4 kl 8 3 INGA HJÄLPMEDEL Lösningarna skall vara försedda med ordentliga motiveringar Alla koordinatsystem får antas vara ortonormerade
Läs merDifferentialens geometriska betydelse
Analys 360 En webbaserad analyskurs Differentialkalkyl Differentialens geometriska betydelse Anders Källén MatematikCentrum LTH anderskallen@gmail.com Differentialens geometriska betydelse 1 (9) Introduktion
Läs merLösningar till tentamen i Matematik II, 5B1116, 5B1136 för Bio. E,I,K,ME, Media och OPEN, tisdagen den 13 april 2004.
Institutionen för matematik. KTH Lösningar till tentamen i Matematik II, B1116, B1136 för Bio. E,I,K,ME, Media och OPEN, tisdagen den 13 april 2004. 1. Välj en punkt i planet 3x + 3y z = 4, exempelvis
Läs merMINNESANTECKNINGAR FÖR DELTAGARNA I WORKSHOP GRUPPER
MINNESANTECKNINGAR FÖR DELTAGARNA I WORKSHOP GRUPPER SONJA KOVALEVSKYDAGARNA 2008; HANNA USCKA-WEHLOU 0. Praktiska anmärkningar Det finns följande moment i workshop: en föreläsningsdel - jag berättar om
Läs merOrdinära differentialekvationer
Ordinära differentialekvationer Lars Hörmander vt 198 1 Existens av analytiska lösningar Redan i kapitel VI observerade vi att för varje analytisk funktion f i en cirkelskiva kan man finna en analytisk
Läs merRekursionsformler. Komplexa tal (repetition) Uppsala Universitet Matematiska institutionen Isac Hedén isac
Uppsala Universitet Matematiska institutionen Isac Hedén isac distans@math.uu.se Algebra I, 5 hp Vecka 21. Vi nämner något kort om rekursionsformler för att avsluta [Vre06, kap 4], sedan börjar vi med
Läs merLösningar till utvalda uppgifter i kapitel 1
Lösningar till utvalda uppgifter i kapitel. Vi utnyttjar definitionen av skalärprodukt som ger att u v u v, där α är (minsta) vinkeln mellan u v. I vårt fall så får vi 7 =. Alltså är den sökta vinkeln
Läs mer1. För vilka värden på konstanterna a och b är de tre vektorerna (a,b,b), (b,a,b) och (b,b,a) linjärt beroende.
Institutionen för matematik KTH MOELLTENTAMEN Tentamensskrivning, år månad dag, kl. x. (x + 5).. 5B33, Analytiska metoder och linjär algebra. Uppgifterna 5 svarar mot varsitt moment i den kontinuerliga
Läs merAlgebrans fundamentalsats
School of Science and Technology SE-701 8 Örebro, Sweden Algebrans fundamentalsats Ett linjäralgebraiskt bevis Andreas Thore Örebro Universitet Akademin för naturvetenskap och teknik Matematik C, 61 75
Läs merUppgifter, 2015 Tillämpad linjär algebra
Geometri. Uppgifter, 25 Tillämpad linjär algebra. Uppgift. Låt (,, ), B = (, 2, 3), C = (,, ) vara punkter i R 3. () Beskriva på parameter form alla plan som innehåler A, B och C. Ger ett system av linjära
Läs mer16.7. Nollrum, värderum och dimensionssatsen
170 16 LINJÄRA AVBILDNINGAR 16.7. Nollrum, värderum och dimensionssatsen Definition 16.33. Låt F : V W vara en linjär avbildning. 1. Nollrummet till F definierar vi som mängden av alla u V, vilkas bild
Läs merSF1669 Matematisk och numerisk analys II Lösningsförslag till tentamen DEL A. r cos t + (r cos t) 2 + (r sin t) 2) rdrdt.
1. Beräkna integralen medelpunkt i origo. SF1669 Matematisk och numerisk analys II Lösningsförslag till tentamen 218-3-14 D DEL A (x + x 2 + y 2 ) dx dy där D är en cirkelskiva med radie a och Lösningsförslag.
Läs merLösningsmetodik för FMAF01: Funktionsteori
Lösningsmetodik för FMAF0: Funktionsteori Johannes Larsson, I2 0 mars 204 Allmänt Detta är lösningsmetoder för de vanligaste tentauppgifterna, grupperade efter hur ofta de kommer på tentan och därmed också
Läs merx f (x) dx 1/8. Kan likhet gälla i sistnämnda relation. (Torgny Lindvall.) f är en kontinuerlig funktion på 1 x sådan att lim a
Elementa Årgång 50, 967 Årgång 50, 967 Första häftet 2603. Låt ξ, ξ 2,..., ξ n vara stokastiska variabler med väntevärden E[ξ i ], i =, 2,..., n. Visa att E[max(ξ, ξ 2,..., ξ n )] max(e[ξ ], E[ξ 2 ],...,
Läs merLektionsblad 9, tis 16/2 2010
Lektionsblad 9, tis 16/2 2010 Först en gång till optimering med bivillkor. Lös uppgifterna 4.25 (om du har problem med denna väldigt typiska uppgift, så studera även lösningen till 4.24), 4.26 (nästan
Läs mer