Surprise me: exempel på vektorrum
Ja. Jag blev mycket överraskad när jag fick veta att mängden av alla polynom var ett vektorrum, men jag misstänker att det finns ännu mer exotiska exempel.
(R2 är förbjudet svar. R3 är också förbjudet svar. Rn är förbjudet svar.)
Tack på förhand!
Vektorrummet som spänns upp av basen
är ett vektorrum innehållande alla symmetriska (2x2)-matriser.
Mängden av alla kontinuerliga funktioner från R till R definierade på intervallet [0,1]
Tal kan vara vektorer! Några exempel (i ökande grad av funkighet):
- De reella talen är ett vektorrum över sig självt, under vanlig addition och multiplikation.
- De komplexa talen är ett vektorrum över de reella talen , under vanlig addition och multiplikation. (Dock är detta i princip bara i förklädnad, så det kanske inte räknas? ;) )
- De reella talen är ett vektorrum över de rationella talen , under vanlig addition och multiplikation. (Men jag tror ingen människa skulle kunna beskriva en bas för det här vektorrumet!)
- De positiva reella talen är ett vektorrum över , under additionsoperationen (vanlig multiplikation av reella tal, där talet spelar rollen som vektorrummets nolla) och skalningsoperationen (vanlig expoentiering). [Övning: Vad har det här vektorrummet för dimension? Ge exempel på en bas.]
Kontrollera gärna att exemplen som du får i den här tråden stämmer med den formella definitionen av vektorrum och skalärer.
En naturlig fortsättning på de klassiska exemplen (tal), (talpar), (triplar) och så vidare, är att titta på mängden av alla tuplar av oändlig längd (dvs. talföljder):
som bildar ett vektorrum över under komponentvis addition och skalning:
(Här är ett förkortat skrivsätt för talföljden .)
Det här vektorrummet har även en del intressanta underrum. Till exempel kan man titta på mägden av talföljder som konvergerar till 0:
Lite frågor att fundera på:
- Kan du ge exempel på några talföljder som ligger i , samt några exempel på talföljder som inte ligger i ?
- Är verkligen slutet under addition och skalning?
- Varför är inte ett vektorrum över under komponentvis addition och skalning?
Ett annat mycket intressant underrum får man om man tar mängden av alla talföljder sådana att utvidgningen av den vanliga skalärprodukten och storleksbegreppet (aka 2-normen) i makear sense. Mer precist sätter man
och på dessa vektorer kan man nu definiera en skalärprodukt på följande vis:
Att det här vektorrummet kommer utrustat med en skalärprodukt (och mer precist är ett så kallat Hilbert-rum) gör det mycket trevligare än många av de andra exemplen på oändligt-dimensionella vektorrum som vi håller på att kasta på dig. Anledningen kan, i grund och botten, sägas vara att skalärprodukten gör det möjligt att tala om ortogonalitet, vilket du säkert redan i din linalg kurs har märkt är ett väldigt användbart koncept i bevis och liknande.
Mer om hur ortogonalitet (och andra idéer från ändligt-dimensionell linjär algebra) går att utnyttja i oändligt-dimensionella vektorrum lär man sig i ett ämne som kallas för funktionalanalys, där visar sig vara ett väldigt centralt exempel.
Om du gillar riktigt stora vektorrum, så skulle vi kunna dra till med mängden av alla realvärda funktioner på någon viss definitionsmängd. Låt oss för enkelhetens skull ta intervallet , så som parveln gjorde i sitt exempel (men vi skulle lika gärna kunna ta exv. hela som vår definitionsmängd). Mer precist kommer mängden
att bilda ett vektorrum över under punktvis addition och skalning. Med det menar jag att summan av två funktioner erhålls genom att sätta för alla , och att en funktion kan skalas med en faktor genom att sätta för alla .
Underrummet som parveln nämner är även det ett mycket stort rum.
Tycker man om analys skulle man kunna få fram ytterligare exempel på stora underrum, men med allt "snällare" funktioner på följande vis:
Övertyga dig gärna om att alla de här vektorrummen som jag raddar upp nu verkligen är slutna under additon och skalning.
Egentligen off topic, men om du gillade faktumet att mängden av alla polynom med reella koefficienter är ett vektorrum över (under vanlig additon och skalning), så skulle du kanske uppskatta att fundera på hur deriveringsoperatorn (som är en linjär avbildning!) kan beskrivas med en matris. Se gärna den här videon av 3blue1brown där detta diskuteras mer ingående.
Med en mer abstrakt definition av polynom hade du blivit mindre förvånad! Man kan definiera ett polynom som en funktion c(n) från naturliga talen N till en kropp K (tänk reella eller komplexa tal) som endast antar nollskilda värden ett ändligt antal gånger. Du kan se c(n) som koefficientfunktionen som ger koefficienten framför för att koppla det till den vanliga definitionen. Då blir vektorrummet av polynom bara generaliseringen av till (koprodukt, eller direkt summa, av uppräkneligt många kopior av ).
Det här är ett annat delrum av som oggih nämnde.
Mer generellt kan du ta en godtycklig mängd och betrakta funktioner från till (en kropp, t ex reella eller komplexa tal) och du får ett vektorrum över med punktvis addition och multiplikation med skalär precis som de exempel på funktionsrum som redan nämnts. Då får du ett vektorrum vars bas har samma kardinalitet som . På det sättet kan du skapa vektorrum av godtycklig storlek. I själva verket kan alla vektorrum skrivas på det sättet givet att man väljer en bas i vektorrummet (men att en bas finns är icke-trivialt och är avhängigt av urvalsaxiomet och i allmänhet inte konstruktivt). Så de funktionsrum som nämnts är exempel där basen inte är naturlig att välja (eller inte går att välja konstruktivt), det är kanske det som är det överraskande. I det skenet är vektorrummet av polynom i liknande anda eftersom valet av monom som bas är ganska godtyckligt (t ex centrerat till att en punkt, 0, ska vara speciell).
Om du ser 2x2-matriser som element i genom att räkna upp matrisens element i en vektor så är exemplet från pepparkvarn bara ett underrum med ett linjärt bivillkor (diagonalelementen ska vara lika).
Något som jag brukar ta som exempel på lite mer abstrakt vektorrum är annars vektorrummet av stokastiska variabler, men det är egentligen samma exempel som funktionsrum där definitionsmängden är utfallsrummet och att man har lite mer struktur med ett sannolikhetsmått.
Men apropå det och oggih's exempel med så är det inre av triangeln med hörn i (1,0,0), (0,1,0) och (0,0,1) ett vektorrum med additionen
och multiplikationen ett vektorrum, det är projektiva kvoten av med där man väljer k = 1 som representant och beskriver sannolikhetssimplexet för en variabel med tre möjliga utfall. Det går förstås att generalisera till ett simplex i högre dimension (fler möjliga utfall) och även kontinuerliga variabler men man får lite teknikaliteter med konvergens osv.
Ett motiverande exempel annars för vektorrum är ju mängden av lösningar till en homogen differentialekvation, som generalisering av som vektorrummet av lösningar till en ekvation med n variabler. Eller för den delen differensekvationer, t ex mängden av lösningar till Fibonacci-följden med godtyckliga startvärden (istället för 1, 1).
Underrum till funktionsrum som mängden av udda (eller jämna) funktioner är också vektorrum (och delar upp funktionsrummet i en direkt summa).
Eller kanske bara mer abstrakt tolkning av elementen i vektorrummen som alla deriveringsoperatorer på någon mångfald (yta)? Om man har ett vektorfält på en mångfald (yta/delrum) så kan man se det som riktningsderivator i vektorns riktning och de går att addera eller multiplicera med en skalär, alltså är det ett vektorrum.
Eller så tar man vektorrummet av avbildningar på ett vektorrum, eller vektorrummet av avbildningar på avbildningar på ett vektorrum osv, godtyckligt många nivåer upp.
Pepparkvarn: hehe vad kul, hur kom du på det?
Parveln: nice.
oggih skrev:Tal kan vara vektorer! Några exempel (i ökande grad av funkighet):
- De reella talen är ett vektorrum över sig självt, under vanlig addition och multiplikation.
Så är det ja! Faktum är att jag inte förbjöd R som svar för att jag av nån konstig anledning inte tänkte att det var det.
- De komplexa talen är ett vektorrum över de reella talen , under vanlig addition och multiplikation. (Dock är detta i princip bara i förklädnad, så det kanske inte räknas? ;) )
Vad menar du med att C är ett vektorrum "över" nåt annat vektorrum?
- De reella talen är ett vektorrum över de rationella talen , under vanlig addition och multiplikation. (Men jag tror ingen människa skulle kunna beskriva en bas för det här vektorrumet!)
Ingen människa kan beskriva en bas för Q? Ja... varför är det svårt?
- De positiva reella talen är ett vektorrum över , under additionsoperationen (vanlig multiplikation av reella tal, där talet spelar rollen som vektorrummets nolla) och skalningsoperationen (vanlig expoentiering). [Övning: Vad har det här vektorrummet för dimension? Ge exempel på en bas.]
Vadå??
Du måste ha klart för dig att ett vektorrum kräver två mängder:
- En mängd vektorer
- En mängd skalärer* till skalärmultiplikationen
som man sedan definerar addition och skalärmultiplikation på så sätt att de uppfyller vissa axiom.
När man säger att är ett vektorrum över menar man att de komplexa talen är vektorerna och de reella talen är skalärerna.
oggih ger dig även ett ganska lurigt exempel av vektorrummet över . Detta rum har nämligen oändligt många dimensioner. Tänk dig själv, om du har kan du ju inte få genom att multiplicera med något rationellt tal. Alltså är och linjärt oberoende, och på samma sätt finns det oändligt många andra irrationella tal som är linjärt oberoende av varandra. Det är till och med så att det finns så många linjärt oberoende irrationella tal i detta vektorrum att en bas blir överuppräknelig! En bas innehåller alltså så många vektorer att du inte ens kan skapa ett system för att lista dem.
* man brukar säga att skalärerna skall vara en kropp, vilket är en mängd tillsammans med väldefinerad addition och multiplikation.
För att ytterligare utveckla det som AlvinB säger, så kan ett vektorrum sägas bestå av fyra bitar data:
- En mängd av vektorer.
- En kropp av skalärer*.
- En additionsoperation (som talar om vad summan av två vektorer är).
- En skalningsoperation (som beskriver hur man skalar en vektor med en skalär).
Om de här fyra bitarna data tillsammans uppfyller vissa axiom (se länk i ett av mina inlägg ovan) så säger vi att de bildar ett vektorrum. Detta kan i så fall lite mer ledigt uttryckas som att är ett vektorrum över under additionsoperationen och skalningsoperationen .
* En kropp består i sin tur av tre bitar data: en mängd tillsammans med en additionsoperation och en multiplikationsoperation, som uppfyller vissa axiom (se länk i tidigare inlägg).
Här lyckas du verkligen med "surprise me"biten haha. Jag visste inte att kroppen F inte var tvunget att vara R. Jag hade det lite i (miss)tankarna nån gång faktiskt men ville inte spåna om det.
I många tillämpningar är det självklara valet av kropp, och är dessutom är den kropp som gör det lättast att visualisera den linjära algebran (åtminstone i låga dimensioner). Så det är naturligt att man börjar lära sig linjär algebra över just . Det visar sig dessutom (tack och lov) att mycket av teorin för linjär algebra över även gäller för generella kroppar. Till exempel så går det lika bra att gausseliminera över som för vilken annan kropp som helst!
Men därmed inte sagt att andra kroppar inte är viktiga! Inom talteori och diskret matematik jobbar man ofta med vektorrum över ändliga kroppar, såsom exempelvis (heltalen mod , där är ett primtal). Två av mina favoritexempel på områden där detta dyker upp är felrättande koder och färgbarhetsinvarianter för knutar.
Det finns även tillämpningar (t.ex. kvantmekanik) där man ofta jobbar över de komplexa talen . Detta är även en intressant kropp att jobba över ur ett rent matematiskt perspektiv, eftersom enligt algebrans fundamentalsats är vad man kallar för en algebraiskt sluten kropp (varje polynom av grad med koefficienter i kan skrivas som en produkt av stycken förstagradare). Detta har massor av spännande konsekvenser. Bland annat har alla kvadratiska matriser egenvärden när man jobbar över , och ännu bättre: alla kvadratiska matriser kan (efter ett lämpligt basbyte) skrivas på den så kallade Jordans normalform, vilket är ett väldigt kraftfullt resultat, som i någon mening gör att linjär algebra över (och andra algebraiskt slutna kroppar) faktiskt är mindre komplicerad än den mer visualiserbara linjära algebran över .
Angående egenvärden så gäller det även för linjära transformationer i, R^n om n är udda, att de har minst ett egenvärde. Speciellt gäller detta för R^3 som brukar vara ett intressant rum för fysiker.
Det enklaste vektorrummet har vi faktiskt missat, nämligen det som bara består av nollvektorn, . En övning är att ta fram dimensionen och en bas.
Ett annat enkelt vektorrum är att helt enkelt ta en kropp och låta både skalärer och vektorer utgöras av den. En kropp har ju per definition väldefinierad addition och multiplikation och därmed uppfyller vektorrummet av över sig självt axiomen för ett vektorrum per automatik. oggih tar ett exempel på detta av över sig självt, men faktum är att samma sak fungerar för alla kroppar.
AlvinB skrev:Det enklaste vektorrummet har vi faktiskt missat, nämligen det som bara består av nollvektorn, . En övning är att ta fram dimensionen och en bas.
Ett annat enkelt vektorrum är att helt enkelt ta en kropp och låta både skalärer och vektorer utgöras av den. En kropp har ju per definition väldefinierad addition och multiplikation och därmed uppfyller vektorrummet av över sig självt axiomen för ett vektorrum per automatik. oggih tar ett exempel på detta av över sig självt, men faktum är att samma sak fungerar för alla kroppar.
Hm. Kan det vara så att kan anses vara en bas för {0}? Är dimensionen 0 då?
PATENTERAMERA skrev:AlvinB skrev:Det enklaste vektorrummet har vi faktiskt missat, nämligen det som bara består av nollvektorn, . En övning är att ta fram dimensionen och en bas.
Ett annat enkelt vektorrum är att helt enkelt ta en kropp och låta både skalärer och vektorer utgöras av den. En kropp har ju per definition väldefinierad addition och multiplikation och därmed uppfyller vektorrummet av över sig självt axiomen för ett vektorrum per automatik. oggih tar ett exempel på detta av över sig självt, men faktum är att samma sak fungerar för alla kroppar.
Hm. Kan det vara så att kan anses vara en bas för {0}? Är dimensionen 0 då?
Just precis!
AlvinB skrev:oggih ger dig även ett ganska lurigt exempel av vektorrummet över . Detta rum har nämligen oändligt många dimensioner. Tänk dig själv, om du har kan du ju inte få genom att multiplicera med något rationellt tal. Alltså är och linjärt oberoende, och på samma sätt finns det oändligt många andra irrationella tal som är linjärt oberoende av varandra. Det är till och med så att det finns så många linjärt oberoende irrationella tal i detta vektorrum att en bas blir överuppräknelig! En bas innehåller alltså så många vektorer att du inte ens kan skapa ett system för att lista dem.
Jag håller på att läsa den här tråden igen. Det här förstår jag nu, trevligt
Att R va ett vektorrum "över sig själv" var fascinerande, och det förstår jag nu också
oggih skrev:De positiva reella talen är ett vektorrum över , under additionsoperationen (vanlig multiplikation av reella tal, där talet spelar rollen som vektorrummets nolla) och skalningsoperationen (vanlig expoentiering). [Övning: Vad har det här vektorrummet för dimension? Ge exempel på en bas.]
Den additiva inversen ska vara noll, men noll
Basen är vilket tal som helst som inte är 1? Dimensionen är ett.
Qetsiyah skrev:oggih skrev:De positiva reella talen är ett vektorrum över , under additionsoperationen (vanlig multiplikation av reella tal, där talet spelar rollen som vektorrummets nolla) och skalningsoperationen (vanlig expoentiering). [Övning: Vad har det här vektorrummet för dimension? Ge exempel på en bas.]
Den additiva inversen ska vara noll, men noll
Basen är vilket tal som helst som inte är 1? Dimensionen är ett.
Vad menar du? Oggih definierar ju sin additionsoperation som vanliga multiplikation, . Alltså är exempelvis . Då är ju . Så 1 är den additiva inversen för det här vektorrummet utrustat med denna additionsoperation.
Qetsiyah skrev:oggih skrev:De positiva reella talen är ett vektorrum över , under additionsoperationen (vanlig multiplikation av reella tal, där talet spelar rollen som vektorrummets nolla) och skalningsoperationen (vanlig expoentiering). [Övning: Vad har det här vektorrummet för dimension? Ge exempel på en bas.]
Den additiva inversen ska vara noll, men noll
Identiteten för vår additionsoperation (dvs. analogen till nollvektorn) i vårt vektorrum är talet , eftersom
för alla vektorer .
Den additiva inversen (dvs. analogen till minus) för en vektor ges av , eftersom
.
Så det är inget problem att .
Basen är vilket tal som helst som inte är 1? Dimensionen är ett.
Helt korrekt! :D
Exempelvis är en bas. Varje vektor kan uttryckas på ett ett unikt sätt som en multipel av med avseende på vår skalningsoperation, nämligen som , där
.
oggih skrev:Det här vektorrummet har även en del intressanta underrum. Till exempel kan man titta på mägden av talföljder som konvergerar till 0:
Lite frågor att fundera på:
- Kan du ge exempel på några talföljder som ligger i , samt några exempel på talföljder som inte ligger i ?
- Är verkligen slutet under addition och skalning?
- Varför är inte ett vektorrum över under komponentvis addition och skalning?
- (tråkigt exempel va?)
n ) ∞ n = 1 , a n = 1 n - Addition ja skalning ja. Epsilon deltabevis, men jag kan inte det. 0+0=0 och a0=0.
- För att den nya talföljden igår mot två? Skalning med a kommer ge talföljd som går mot a. Alltså att och att, två egenskaper som noll har?
Noll och oändligheten är de enda talen en talföljd får gå mot för att vara vektorrum?
AlvinB skrev:oggih tar ett exempel på detta av över sig självt, men faktum är att samma sak fungerar för alla kroppar.
Mängden M är vektorrum över sig självM är en kropp
Varför är inte {0} bas för nollrummet?
Qetsiyah skrev:oggih skrev:Det här vektorrummet har även en del intressanta underrum. Till exempel kan man titta på mägden av talföljder som konvergerar till 0:
Lite frågor att fundera på:
- Kan du ge exempel på några talföljder som ligger i , samt några exempel på talföljder som inte ligger i ?
- Är verkligen slutet under addition och skalning?
- Varför är inte ett vektorrum över under komponentvis addition och skalning?
- (tråkigt exempel va?)
n ) ∞ n = 1 , a n = 1 n - Addition ja skalning ja. Epsilon deltabevis, men jag kan inte det. 0+0=0 och a0=0.
- För att den nya talföljden igår mot två? Skalning med a kommer ge talföljd som går mot a. Alltså att och att, två egenskaper som noll har?
Helt rätt!
- Talföljden ligger i , medan inte ligger i .
- Det stämmer att är slutet under både addition och skalning.
Om och så gäller det det att och .
Detta är relativt enkelt att visa med -definitionen av gränsvärde (som jag verkligen tycker att du borde lära dig rätt snart, om du är sugen på mer analys efter flerdim och vektoranalysen! :) ). - Om så gäller att och , så är varken slutet under addition eller skalning. Dessutom finns det inget identitetselement för additionen (och därmed makear det inte ens sense att prata om additiva inverser).
Noll och oändligheten är de enda talen en talföljd får gå mot för att vara vektorrum?
Intressant fråga. Om vi för varje bildar mängden
så stämmer det att failar att varja ett vektorrum (under elementvis addition och skalning över ) för alla , av samma skäl att att det inte fungerade för .
Men hur ligger det till med mängden
då? Nej, det är inte heller ett vektorrum under elementvis addition och skalning över . Varför? Jämför med axiomen för ett vektorrum på Wikipedia, och återkom med en lista på klagomål om du vill ha feedback! ^_ ^
Mängden M är vektorrum över sig själv M är en kropp?
Japp! När man säger att är ett vektorrum över , så menar man att skalärerna i skalningsoperationen är elementen i , och enligt definitionen av ett vektorrum så måste mängden skalärer vara en kropp. Så meningen " är ett vektorrum över sig självt" makear mycket riktigt bara sense om är en kropp.
Varför är inte {0} bas för nollrummet?
Lite lurigt, men mängden är inte linjärt oberoende! Vi kan ju ta vilken skalär som helst (t.ex. ) och bilda en icke-trivial linjärkombination som blir , nämligen .
Introducerade du mig till l2(R) i smyg där? Haha. Men inget om att kvadrera elementen?
Vi har redan nämnt tidigare i den här tråden!