Søket gav 628 treff
- 27/01-2018 14:31
- Forum: Bevisskolen
- Emne: Induksjonsbevis uten grunntilfelle
- Svar: 3
- Visninger: 15681
Re: Induksjonsbevis uten grunntilfelle
Det står ikke helt klart i boka hva man kan konkludere, men slik jeg ser det, så kan man vel bytte ut likhetstegnet med ulikhetstegn i beviset, og heller la det stå som et bevis for at $1+3+5+\cdots + (2n-1) \neq n^2+3 \ \ \forall n\in\mathbb N$, gitt at man viser ulikheten for grunntilfellet $n=1$...
- 23/01-2018 21:45
- Forum: Høyskole og universitet
- Emne: Ortogonal gruppe
- Svar: 4
- Visninger: 2049
Re: Ortogonal gruppe
Aha, enig. I to dimensjoner så må egenverdiene til en refleksjon være $\pm 1$, slik at alle refleksjoner kan diagonaliseres (med en ortogonal matrise) til $\begin{pmatrix} 1&0\\0&-1 \end{pmatrix}$ (ikkesant?) - holder det samme i $n$ dimensjoner? Ja, det stemmer. La oss si at $A\in O(n)$ er...
- 20/01-2018 11:38
- Forum: Høyskole og universitet
- Emne: Ortogonal gruppe
- Svar: 4
- Visninger: 2049
Re: Ortogonal gruppe
Problemet er at mengden du definerer ikke vil være en undergruppe.
Konjugasjonsklassen til refleksjonen i x-aksen består av alle refleksjonene,
og disse genererer hele $O(2)$.
Konjugasjonsklassen til refleksjonen i x-aksen består av alle refleksjonene,
og disse genererer hele $O(2)$.
- 10/11-2017 12:43
- Forum: Høyskole og universitet
- Emne: Komplekse tall
- Svar: 6
- Visninger: 2236
Re: Komplekse tall
Skisse for den motsatte implikasjonen: Vi antar at $z^2+u^2+w^2=zu+uw+wz$ og ønsker å vise at trekanten er likesidet. Da er det naturlig å innføre $a=z-u$, $b=u-w$ og $c=w-z$ slik at det holder å vise at $|a|=|b|=|c|$. Observer at den opprinnelige ligningen er ekvivalent med $a^2+b^2+c^2=0$. Ved def...
- 27/06-2017 21:40
- Forum: Høyskole og universitet
- Emne: Modulfiltrering
- Svar: 2
- Visninger: 1642
Re: Modulfiltrering
Du må se på $R/\mathfrak{p}$ som modul, ikke som ring. Eksempelvis for $R=k[x,y]$ er $R\cong (x)$ som $R$-moduler, ved homomorfien $r\mapsto rx$. For idealene du nevner har vi \[ (x,y)/(x)\cong (y)/(xy)\cong k[x,y]/(x) . \] Merk forøvrig at resultater sier kun at det finnes en filtrasjon med den nev...
- 06/12-2016 00:16
- Forum: Høyskole og universitet
- Emne: A=A^-1
- Svar: 1
- Visninger: 1079
Re: A=A^-1
Nei, det må den ikke. Man finner fort moteksempler allerede for $2\times2$ tilfellet. \[ \left( \begin{array}{cc} 0 & \lambda \\ \lambda^{-1} & 0 \end{array} \right) \mbox{ for } \lambda\in \mathbb{R}-\{0\}, \] Denne er verken ortogonal eller symmetrisk for $\lambda \neq \pm 1$.
- 05/12-2016 15:47
- Forum: Kveldens integral og andre nøtter
- Emne: Julekalender - luke 5
- Svar: 2
- Visninger: 1918
Re: Julekalender - luke 5
Flott initiativ med Julekalenderen! Siden $\triangle{ABC}\sim\triangle{FGC}\sim\triangle{DEC}$ finner vi at \[\frac{AC}{CD}=\sqrt{\frac{\operatorname{Areal}(\triangle{ABC})}{\operatorname{Areal}(\triangle{CDE})}}=\sqrt3 \] og tilsvarende \[\frac{FC}{CD}=\sqrt{\frac{\operatorname{Areal}(\triangle{CFG...
- 03/12-2016 18:55
- Forum: Høyskole og universitet
- Emne: Tensor-identitet
- Svar: 5
- Visninger: 2547
Re: Tensor-identitet
Er det ikke nok å si at den induserte avbildningen tar $(a+I)\otimes(b+J)=(1+I)\otimes (ab+J)\mapsto ab+(I+J)$, så den er åpenbart surjektiv. Hvis $ab+(I+J)=0$ må $ab=i+j$ for $i\in I, j\in J$, og $(1+I)\otimes (i+j+J)=(1+I)\otimes (i+J)=(1+I)\otimes i(1+J)=i(1+I)\otimes (1+J)=(0+I)\otimes (1+J)=0$...
- 03/12-2016 02:48
- Forum: Høyskole og universitet
- Emne: Tensor-identitet
- Svar: 5
- Visninger: 2547
Re: Tensor-identitet
Den første avbildningen er såvidt jeg kan se ikke en homomorfi; den er ikke additiv. Du må heller prøve med avbildningen $a\to (a+I)\otimes (1+J)=(1+I)\otimes (a+J)$. Det er ikke så vanskelig å vise at denne forsvinner på $I+J$ slik at vi får indusert en avbildning $A/(I+J) \rightarrow A/I\otimes_A ...
- 25/11-2016 18:26
- Forum: Høyskole og universitet
- Emne: The d.c.c.
- Svar: 35
- Visninger: 12668
Re: The d.c.c.
Men er det noen fine sammenhenger mellom $\dim_k(k[x]/(x^4))$=4 og Krull-dimensjonen, $\dim(k[x]/(x^4))$? Ja, for en R-modul M så er $dim_{R}(M)=dim(R/Ann_R (M))$ Og $Ann_R(M)=(0)$ i vårt tilfelle, så $dim(R/Ann_R (M))=dim(R)$. Siden R er en kropp, så er dim(R)=0. Så lett var det, gitt:D https://en...
- 07/09-2016 23:24
- Forum: Videregående skole: VG1, VG2 og VG3
- Emne: Sum av tre kvadrater
- Svar: 3
- Visninger: 1019
Re: Sum av tre kvadrater
Vil nok heller tro at oppgaven er ute etter noe sånt som
$3x^4+16=(x^2+2x)^2+(x^2-2x)^2+(x^2-4)^2$.
Det vil si at vi krever at hvert ledd skal være kvadratet av et polynom med
heltallskoeffisienter.
$3x^4+16=(x^2+2x)^2+(x^2-2x)^2+(x^2-4)^2$.
Det vil si at vi krever at hvert ledd skal være kvadratet av et polynom med
heltallskoeffisienter.
- 31/05-2016 18:15
- Forum: Høyskole og universitet
- Emne: eksamen abstrakt algebra
- Svar: 6
- Visninger: 2946
Re: eksamen abstrakt algebra
1) La $G$ være en endelig gruppe som virker på en mengde $X$. Da sier Burnside's formel at antall baner under denne gruppevirkningen er gitt ved \[\frac1{|G|}\sum_{g\in G}|X_g| .\] Her er $X_g=\{x\in X : gx=x\}$ fikspunktmengden til $g\in G$. I oppgaven beskrevet videre har vi et sirkulært bord som ...
- 29/05-2016 00:56
- Forum: Kveldens integral og andre nøtter
- Emne: Tall på tavle
- Svar: 3
- Visninger: 3273
Re: Tall på tavle
Definer $a*b=2ab-a-b+1$, dette er en binæroperasjon på $\mathbb{Q}$. Observer at $*$ er assosiativ; $(a*b)*c=4abc-2ab-2bc-2ca+a+b+c=a*(b*c)$, og i tillegg er den selvfølgelig kommutativ; $a*b=b*a$. Dette medfører at uavhengig av hvilken rekkefølge vi utfører operasjonen på tallene $\{49/k:1\leq k\le...
- 05/05-2016 18:37
- Forum: Høyskole og universitet
- Emne: Evalueringshomomorfi
- Svar: 6
- Visninger: 1925
Re: Evalueringshomomorfi
Hint: Dette er veldig enkelt om du velger en annen representant for elementet du evaluerer i!
- 12/04-2016 21:56
- Forum: Høyskole og universitet
- Emne: Abstrakt algebra spørsmål
- Svar: 2
- Visninger: 1359
Re: Abstrakt algebra spørsmål
For enhver $g\in G$ vil $gNg^{-1}$ ha samme orden som $N$ og vil dermed
være en Sylow p-gruppe. Følgelig, siden det bare er én Sylow p-gruppe i $G$,
må jo $gNg^{-1}=N$, hvilket viser at $N$ er normal.
være en Sylow p-gruppe. Følgelig, siden det bare er én Sylow p-gruppe i $G$,
må jo $gNg^{-1}=N$, hvilket viser at $N$ er normal.