Kvadratisk form

Fra Wikipedia, den frie encyklopedi
Gå til: navigasjon, søk
En enkappet hyperboloide som kan beskrives av ligningen ax^2+by^2-cz^2=1, dvs alle punkter (x,y,z) der den kvadratiske formen er lik 1.

I matematikk er en kvadratisk form hver enkel homogent uttrykk der hvert ledd er av annen grad. Generelt kan det skrives

\sum_{i=1}^n\sum_{j=i+1}^n c_{ij} x_ix_j

der c_{ij} er konstanter og x_i variabler.

Hver enkel kvadratisk form av to variabler x og y kan altså skrives  ax^2 + bxy + cy^2 for tallene a, b og c.

Formen er endelig dersom tegnet er det samme for alle tallpar x og y og der et av tallene ikke er null. F.eks. er uttrykket ax^2+bx^2 positivt definert for a > 0 og b > 0 siden det er positivt for alle verdier av x og y unntatt når begge er null. ax^2 for a > 0 er positivt definert ettersom det er positivt eller null for alle x og y.

Om en kurve er negativt eller positivt definert kan lettes gjennom kvadratkomplettering.

Teorien for de kvadratiske formene, som blant annet tar for seg spørsmål om hvordan den kvadratiske formen forholder seg til innføring av nye variabler, er av grunnleggende betydning for de fleste områdene av matematikken. Toeriens systematiske utvikling er et vesentlig verk av noen av 1800-tallets fremste matematikere, som Carl Friedrich Gauss, Karl Weierstrass og Leopold Kronecker.

geometristubbDenne geometrirelaterte artikkelen er dessverre kort eller mangelfull, og du kan hjelpe Wikipedia ved å utvide den.