44 Matching Annotations
  1. Feb 2024
    1. RP​/IP​=

      Hmmm. It seems that

      $$ \frac{\lambda}{g} \equiv \frac{\lambda}{g(3)} \pmod{x-3}, $$

      where \(\lambda\in \mathbb{C}\).

    1. slick

      In general $$ f\in \sqrt{J} \iff J + (1 - t f) = K[x_1, \dots, x_n, t]. $$

      \(\implies\) is proved using the familiar identity $$ \frac{1-a^n}{1-a} = 1 + a + a^2 + \cdots + a^{n-1}. $$

  2. Aug 2023
    1. consectetur

      NEJ! Annoteringer skal ikke laves i Public gruppen. De skal laves i IMO23 gruppen!

  3. Mar 2023
  4. Feb 2023
    1. Induced topology

      Closure of a subset \(Y\subset X\) is denoted \(\overline{Y}\). It is the intersection of the closed subsets containing \(Y\). If

      $$ X = U_1 \cup \cdots \cup U_n $$

      is an open cover, then

      $$ \overline{Y} = \overline{Y\cap U_1} \cup \cdots \cup \overline{Y\cap U_n}, $$

      where \(\overline{Y\cap U_i}\subseteq U_i\) denotes closure in the induced topology.

  5. Jan 2023
    1. quotient topology

      Consider \(X = [0, 1]\) and \(\sim\) with \(0\sim 1\) and \(x\sim x\) for \(x\in X\). Show that $$ \pi([0, \frac{1}{2})) \subset X/\sim $$ is not an open subset.

  6. Mar 2022
  7. Feb 2022
    1. π−1(π(U))=⋃h∈H​Uh

      Er det nu rigtigt? At \(G\rightarrow G/H\) er åben?

  8. Nov 2019
    1. positive definite

      Extra. Show that a positive definite matrix \(A\) is invertible and that \(A^{-1}\) is positive definite.

    1. result.

      Corollary tag missing.

    Annotators

  9. Oct 2019
    1. why

      Here we may also use Corollary 7.14 (in the textbook) for \(f(x) = x^3\) on \((-\infty, 0)\) and \((0, \infty)\) and then handle the separate cases by hand.

    2. how

      Use the trick $$ f = \left(\frac{f}{g}\right) g $$ and then apply the product rule.

    1. by hand

      Also, check this using the Sage window after Example 7.7 by doing the appropriate modifications.

    1. beautiful identities
    2. clever statement

      Exercise 5.31 kan være nyttig her (specielt første del med infimum).

    3. Show

      Definitionen af infimum siger i dette tilfælde at der for alle \(\epsilon >0\) findes \(x_n\) med $$ x_n < \text{inf} + \epsilon \iff x_n - \text{inf} < \epsilon. $$

    4. precise way

      Indrømmet. Denne defintion er pebret og kræver tilvænning. En god første ide er helt præcist at benytte definitionen til i detaljer at vise $$ \lim_{n\to\infty} \frac{1}{n} = 0. $$

    5. series

      sequence not series

    6. finitely

      Faktisk gælder dette også for uendeligt mange lukkede mængder. Det interessant i denne forbindelse er at foreningsmængden

      $$ F_1\cup F_2\cup \cdots \cup F_n $$

      er lukket.

    7. preimage

      Et eksempel: For \(f(x) = x^2\) er

      $$ f^{-1}([0,1]) = [-1, 1]. $$

    8. famous result

      Læg mærke til den helt naturlige algoritme for at finde nulpunktet \(x_0\): Først sættes

      $$ c = \dfrac{a+b}{2} $$

      Hvis \(f(c)=0\) er vi færdige. Hvis \(f(c) < 0\) rykker vi venstre endepunkt og sætter \(a = c\) og fortsætter med gennemsnittet ovenfor.

      Hvis \(f(c) > 0\) rykker vi højre endepunkt og sætter \(b = c\) og fortsætter med gennemsnittet ovenfor.

      Denne algoritme kaldes bisektionsmetoden, da den hver gang halverer længden af intervallet \([a, b]\).

    9. that

      I forelæsningerne viste vi også $$ |\lambda v| = |\lambda| |v|. $$

    10. convergent sequence

      I forelæsningen så vi hvordan identiteten

      $$ \sqrt{2} = 1 + \sqrt{2} - 1 $$

      ledte frem til identiteten

      $$ \sqrt{2} = 1 + \dfrac{1}{1 + \sqrt{2}} $$

      som så førte til en konvergent følge af brøker med grænseværdi \(\sqrt{2}\):

      $$ 1, \frac{3}{2}, \frac{7}{5}, \frac{17}{12},\dots $$

    11. completely precise

      I forelæsningen talte vi om uendelige decimaltal (decimalbrøker) som model for de reelle tal. Her skal man passe lidt på, da f.eks.

      $$ 0.99999\dots = 1 $$

  10. Sep 2019
    1. invertible

      Lille ekstra opgave: Lad \(A\) og \(B\) være to \(n\times n\) matricer, hvor \(A\) antages at være invertibel. Vis at \(B\) er invertibel hvis og kun hvis \(A B\) er invertibel.

      Til forelæsningerne berørte vi hvornår en diagonalmatrix var invertibel. Kan du huske hvad betingelsen var her?

    2. matrix

      Lader ikke til at matricer vises korrekt i LaTeX i annotationerne (tak til Andreas for denne observation). Eksempel:\begin{pmatrix} 1 & 0\\ 0 & 1 \end{pmatrix} vises som $$ \begin{pmatrix} 1 & 0\ 0 & 1 \end{pmatrix}. $$

    3. numpy

      Under forelæsningerne så vi at numpy gik i skoven i eksemplet med 3x3 matricen [[1, 2, 3], [4, 5, 6], [7, 8, 9]]. Denne matrix er ikke invertibel, men numpy returnerer en invers matrix pga afrundingsfejl.

    4. following

      Læg mærke til at dette også kan bruges til at afgøre om en matrix ikke er invertibel: Hvis \(A\) er invertibel og \(A v = 0\) så medfører det at \(v=0\). En invertibel matrix kan ikke sende en vektor forskellig fra \(0\) til \(0\).

  11. Aug 2019
    1. answer

      Overvej at benytte logaritmen med grundtal \(2\) og uligheden

      $$ 2^n n < n! $$

      for \(n>5\).

    2. precise proof

      Der er her tale om et bevis med ord og forklaringer uden brug af implikationspile som \(\implies\) og \(\iff\). Du er velkommen til i din opgaveløsning at bruge pilene, som er defineret længere nede i teksten.

    3. New York Times
    4. modern mathematics

      Vel ikke alt for moderne? Her en formel: $$ \int_{-\infty}^\infty e^{-x^2} d x = \sqrt{\pi} $$

  12. Dec 2018
  13. Nov 2018
  14. Oct 2018
  15. Feb 2018
    1. equations

      What du you mean? Is it not cleat that \(x^2+y^2 = z^2\). Or in display $$ x^3 + y^3 = z^3 $$

  16. Oct 2017
  17. Aug 2017
    1. Kommentarer/spørgsmål?

      Skulle denne video have været længere og indeholdt feks Lagrangeinterpolation?

    Annotators

    1. Kommentarer/spørgsmål?

      Er det ikke for kompliceret?

    Annotators

    1. Kommentarer/spørgsmål?

      Her betaler det sig måske at tegne den retvinklede trekant med hypotenuselængde 1.

    2. 50.000 år.

      Er det ikke lidt af en overdrivelse. Her mangler en kildeangivelse!

    Annotators