Komplett metrisk rom

Et komplett metrisk rom, også kalt et Cauchy-rom, er et metrisk rom 
  
    
      
        M
      
    
    {\displaystyle M}
   der alle Cauchy-følger konvergerer, og grensen er også et element i 
  
    
      
        M
      
    
    {\displaystyle M}
  . Eksempler på komplette metriske rom er de reelle, og komplekse tallene, endelige reelle og komplekse vektorrom, Lp-rom og Sobolev-rom.
Intuitivt kan man tenke på det som et rom der ingen punkter «mangler», hverken på innsiden eller på randen. For eksempel er mengden av rasjonale tall 
  
    
      
        
          Q
        
      
    
    {\displaystyle \mathbb {Q} }
   ikke komplett – man kan for eksempel konstruere en følge av rasjonale tall som konvergerer mot 
  
    
      
        
          
            2
          
        
      
    
    {\displaystyle {\sqrt {2}}}
  , men 
  
    
      
        
          
            2
          
        
      
    
    {\displaystyle {\sqrt {2}}}
   er et irrasjonelt tall og dermed ikke inneholdt i 
  
    
      
        
          Q
        
      
    
    {\displaystyle \mathbb {Q} }
  . Det er alltid mulig å «fylle alle hullene», som gir kompletteringen av et gitt rom. Rommet bestående av de reelle tallene 
  
    
      
        
          R
        
      
    
    {\displaystyle \mathbb {R} }
   utgjør nøyaktig kompletteringen av 
  
    
      
        
          Q
        
      
    
    {\displaystyle \mathbb {Q} }
  .
Et komplett normert rom kalles et Banach-rom, og et komplett indreproduktrom kalles et Hilbert-rom.


== Egenskaper ==
Et underrom A av et komplett metrisk rom er i seg selv et komplett metrisk rom hvis og bare hvis A er lukket.
Ethvert kompakt metrisk rom er også komplett. Et underrom A av et metrisk rom er kompakt hvis og bare hvis det er lukket og totalt begrenset.Kompletthet er en essensiell egenskap i Banachs fikspunktteorem og i Baires kategoriteorem.


== Komplettering ==
La 
  
    
      
        M
      
    
    {\displaystyle M}
   være et metrisk rom, tilordnet en metrikk 
  
    
      
        
          d
          
            m
          
        
      
    
    {\displaystyle d_{m}}
  , og la 
  
    
      
        D
      
    
    {\displaystyle D}
   være et underrom av 
  
    
      
        M
      
    
    {\displaystyle M}
  . Vi sier at 
  
    
      
        D
      
    
    {\displaystyle D}
   er tett i 
  
    
      
        M
      
    
    {\displaystyle M}
   dersom for alle 
  
    
      
        x
        ∈
        M
      
    
    {\displaystyle x\in M}
   finnes det en følge av elementer fra 
  
    
      
        D
      
    
    {\displaystyle D}
   som konvergerer mot 
  
    
      
        x
      
    
    {\displaystyle x}
  . Ekvivalent kan man si at 
  
    
      
        D
      
    
    {\displaystyle D}
   er tett i 
  
    
      
        M
      
    
    {\displaystyle M}
   hvis og bare hvis for enhver 
  
    
      
        x
        ∈
        M
      
    
    {\displaystyle x\in M}
   og enhver 
  
    
      
        δ
        >
        0
      
    
    {\displaystyle \delta >0}
   finnes det et element 
  
    
      
        y
      
    
    {\displaystyle y}
   i 
  
    
      
        D
      
    
    {\displaystyle D}
   slik at 
  
    
      
        d
        (
        x
        ,
        y
        )
        <
        δ
      
    
    {\displaystyle d(x,y)<\delta }
  . For eksempel er de rasjonale tallene komplett i de reelle tallene; for ethvert tall 
  
    
      
        x
        ∈
        
          R
        
      
    
    {\displaystyle x\in \mathbb {R} }
   kan vi finne en følge i 
  
    
      
        
          Q
        
      
    
    {\displaystyle \mathbb {Q} }
   som konvergerer mot 
  
    
      
        x
      
    
    {\displaystyle x}
  .
Hvis 
  
    
      
        (
        M
        ,
        
          d
          
            m
          
        
        )
      
    
    {\displaystyle (M,d_{m})}
  , utgjør et rom 
  
    
      
        (
        
          
            M
            ¯
          
        
        ,
        
          d
          
            
              M
              ¯
            
          
        
        )
      
    
    {\displaystyle ({\overline {M}},d_{\overline {M}})}
   kompletteringen av 
  
    
      
        M
      
    
    {\displaystyle M}
   dersom 
  
    
      
        (
        
          
            M
            ¯
          
        
        ,
        
          d
          
            
              M
              ¯
            
          
        
        )
      
    
    {\displaystyle ({\overline {M}},d_{\overline {M}})}
   er slik at

  
    
      
        (
        M
        ,
        
          d
          
            m
          
        
        )
      
    
    {\displaystyle (M,d_{m})}
  , er et underrom av 
  
    
      
        (
        
          
            M
            ¯
          
        
        ,
        
          d
          
            
              M
              ¯
            
          
        
        )
      
    
    {\displaystyle ({\overline {M}},d_{\overline {M}})}
  , altså i.e. 
  
    
      
        M
        ⊆
        
          
            M
            ¯
          
        
      
    
    {\displaystyle M\subseteq {\overline {M}}}
   and 
  
    
      
        
          d
          
            
              M
              ¯
            
          
        
        (
        x
        ,
        y
        )
        )
        =
        
          d
          
            M
          
        
        (
        x
        ,
        y
        )
      
    
    {\displaystyle d_{\overline {M}}(x,y))=d_{M}(x,y)}
   for alle 
  
    
      
        x
        ,
        y
        ∈
        M
      
    
    {\displaystyle x,y\in M}
  
M er tett i 
  
    
      
        
          
            M
            ¯
          
        
      
    
    {\displaystyle {\overline {M}}}
  Ethvert metrisk rom har en kompletteringen. Dette er nyttig i mange tilfeller; istedenfor å lete etter et komplett metrisk rom, kan man heller jobbe med kompletteringen, som man vet eksisterer. Imidlertid er det ikke slik at kompletteringen alltid arver alle ønskelige egenskaper. Ethvert komplett metrisk rom utgjør også sin egen komplettering.
De reelle tallene 
  
    
      
        
          R
        
      
    
    {\displaystyle \mathbb {R} }
   utgjør kompletteringen av 
  
    
      
        
          Q
        
      
    
    {\displaystyle \mathbb {Q} }
  ; alle rasjonale tall er også reelle tall, og for ethvert reelt tall man kan konstruere en følge av rasjonale tall som konvergerer mot dette.


== Se også ==
Komplett målrom
Komplett uniformt rom


== Referanser ==


== Litteratur ==
Tom L. Lindstrøm (2017). Spaces: An Introduction to Real Analysis. Pure and Applied Undergraduate Texts. American Mathematical Society. ISBN 978-1-470-44062-6.