Fullständighet

Från Wikipedia
Version från den 27 december 2012 kl. 21.29 av Hangsna (Diskussion | Bidrag) (Gjorde redigering 18574609 av Demeter (diskussion) ogjord, redigering av marionettkonto)

Fullständighet är ett begrepp inom flera områden av matematiken.

  • I matematisk logik finns två betydelser hos begreppet fullständighet. Se fullständighet (logik) respektive fullständighet (teori)
  • Ett metriskt rum är fullständigt om varje Cauchyföljd konvergerar i rummet. Rn är fullständigt. Se Fullständigt metriskt rum.
  • En graf är fullständig om varje par av hörn har en kant mellan sig. Det finns därmed en och endast en fullständig graf för varje kardinalitet, varför man talat om den fullständiga grafen av en viss kardinalitet.
  • I kategoriteori sägs en kategori vara fullständig om varje funktor från en liten kategori har ett limes. En kategori sägs vara kofullständig om varje funktor till en liten kategori har ett limes. Kategorierna av mängder, grupper och topologiska rum är alla exempel på kategorier som är såväl fullständiga som kofullständiga.