Mange finner bevis vanskelig. Her er rom for spørsmål vedrørende bevis, og for å dele dine bevis med andre. Vi tenker først og fremst videregående nivå, men det er ingen begrensninger her.
Prøver å vise at dersom har en invers , så er også
Det jeg har prøvd hittil er å bare starte med noe som er latterlig åpenbart, og jobbe meg inn i det som skal bevises, men det bare virker som en altfor enkel løsning.
Skriver som produkt av inverser på to forskjellige måter.
Det er her jeg synes det blir litt sirkulært. og per definisjon, men likevel...
Ganger med fra venstre på begge sider og ender opp med at
Som sagt, det virker litt sirkulært, uten at jeg helt klarer å se hvorfor.
Burde jeg også bevise at B i det hele tatt er inverterbar, gitt at den allerede er en invers matrise?
EDIT: Når det gjelder å vise at er inverterbar, så holder det vel å påpeke at A må være injektiv og surjektiv for å være inverterbar, som betyr at dens invers nødvendigvis også må være det?
EDIT2: Løst! Som en idiot så tenkte jeg ikke på det mest åpenbare ^_^
Nå vet jeg ikke hva du gjorde i EDIT2-måten din, men det blir kanskje en litt ullen måte å gjøre det på ja. Man må jo på en eller annen måte få brukt premisset i implikasjonen man skal vise, i ditt tilfelle at . Som regel starter man med premisset og jobber seg frem til konklusjonen (her at ), men det går også an å ta utgangspunkt i noe som er sant og benytte premisset underveis. Her blir vel beviset noe sånt som at . Første implikasjon kommer ved å gange med A på hver side, og andre implikasjon kommer fra definisjonen av invers og ved å gange med .
Ja, jeg tenkte på det med at det var ensidig, men foreslo for meg selv at samme beviset kan føres på akkurat samme måte for venstre-invers. Men ja, det du sier er jo vesentlig mer konsist.
Aleks855 wrote:Ja, jeg tenkte på det med at det var ensidig, men foreslo for meg selv at samme beviset kan føres på akkurat samme måte for venstre-invers. Men ja, det du sier er jo vesentlig mer konsist.
Ved nærmere ettertanke er vel egentlig beviset ditt bedre, dersom du i tillegg legger til beviset for venstre-invers. Årsaken er at det da vil gjelde for mer generelle tilfeller, og ikke bare for matriser.
Aleks855 wrote:Ah, nice. Takker! Mener du at det samme kan vises om å finne inverse for funksjoner generelt?
Nei, men jeg ser nå at det jeg først tenkte på var feil, og beviset (både ditt og mitt) gjelder egentlig kun for matriser/matrisemultiplikasjon og multiplikasjon med skalarer.
I et algebraisk perspektiv kan man, ved å betrakte skalarmultiplikasjon med k som matrisemultiplikasjon med en diagonalmatrise bestående av skalaren k på alle diagonalelementer (, der er identitetsmatrisen), se på problemet i ringen av kvadratiske matriser med elementer fra en kropp . La være underingen bestående av alle matriser på formen for . Da vil alle elementene fra kommutere med alle elementer fra ( For alle og er ). Dermed er for alle inverterbare , og alle (der 0 står for nullmatrisen).
Generaliseringen jeg tenkte på var noe slikt: har man en ring V med identitet, samt en underring U, slik at U kommuterer med alle elementer fra V, da gjelder for inverterbare .
Det er forsåvidt greit for anledningen å ha bevist det bare for matrise- eller skalarmultiplikasjon. Det er tross alt veldig innledende lineær algebra det er snakk om. Må også innrømme at ringer og kropper er litt over mitt nivå foreløpig.
Aleks855 wrote:Det er forsåvidt greit for anledningen å ha bevist det bare for matrise- eller skalarmultiplikasjon. Det er tross alt veldig innledende lineær algebra det er snakk om. Må også innrømme at ringer og kropper er litt over mitt nivå foreløpig.
har du begynt å yppe deg på abstrakt algebra ?
:=)
La verken mennesker eller hendelser ta livsmotet fra deg.
Marie Curie, kjemiker og fysiker.
Problemet mitt er at jeg har veldig, veldig lett for å bli interessert i nye matematiske emner og felter, og begynner gjerne å undersøke litt om alt. Så finner jeg ut at jeg mangler grunnlaget for å forstå det skikkelig. Håper dette endrer seg hvis (når) jeg starter på NTNU til høsten. Da får man jo et pedagogisk opplagt løp fra det ene til det andre. På fritida er det vanskeligere å se hva som er "neste emne" for å komme dit man vil.
Aleks855 wrote:Det spørs, men det er i så fall ufrivillig
Problemet mitt er at jeg har veldig, veldig lett for å bli interessert i nye matematiske emner og felter, og begynner gjerne å undersøke litt om alt. Så finner jeg ut at jeg mangler grunnlaget for å forstå det skikkelig. Håper dette endrer seg hvis (når) jeg starter på NTNU til høsten. Da får man jo et pedagogisk opplagt løp fra det ene til det andre. På fritida er det vanskeligere å se hva som er "neste emne" for å komme dit man vil.
hehe kjenner meg igjen der ja...blir nok mer matematikk på meg også etter hvert...stå på :=)
La verken mennesker eller hendelser ta livsmotet fra deg.
Marie Curie, kjemiker og fysiker.