Vis kilden til Lukning (matematikk)

{{Kildeløs|Helt uten kilder.|dato=10. okt. 2015}}
En [[mengde]] er '''lukket''' under en [[operasjon]] hvis utførelse av operasjonen på elementer i mengden alltid gir som resultat et element i den samme mengden.  I dette tilfellet sier vi også at mengden er lukket under denne operasjonen.  For eksempel, de [[reelle tall]]ene er lukket under [[subtraksjon]], noe de [[naturlige tall]]ene ikke er: 3 &minus; 8 = &minus; 5, som ikke er et naturlig tall.  Et annet eksempel er mengden som bare består av tallet 0, som er lukket under addisjon, multiplikasjon og subtraksjon.  Noen flere eksempler som ikke har lukningsegenskapen:  de naturlige tallene er ikke lukket under divisjon, siden for eksempel ''7/3'' ikke er et naturlig tall.  De reelle tallene er ikke lukket under kvadratrot, siden for eksempel <math> \sqrt{-1}=i </math> er et komplekst tall, ikke et reelt tall.  

På tilsvarende vis sies en mengde å være '''lukket under en ''samling'' av operasjoner'''  dersom mengden er lukket under hver av operasjonene individuelt. 

== Grunnleggende egenskaper ==

En mengde som er lukket under en operasjon eller samling av operasjoner sies å tilfredsstille en ''lukningsegenskap''.  Ofte innføres en lukningsegenskap som et [[aksiom]], som da blir kalt ''lukningsaksiomet''.  Moderne mengdeteoretiske definisjoner definerer vanligvis operasjoner som avbildninger mellom mengder,  så å legge lukning til strukturen som et aksiom er overflødig;  men i praksis er ofte operasjoner gitt i utgangspunktet på en [[overmengde]] av den aktuelle mengden, og derfor kreves det et bevis for lukning.  For eksempel, mengden av [[partall]] er lukket under addisjon, men mengden av [[oddetall]] er ikke . 

Når en mengde ''S'' ikke er lukket under en operasjon, så kan man ofte finne den minste mengden som inneholder ''S'' og som er lukket.  Denne minste mengden kalles lukningen av ''S''  (med hensyn på disse operasjonene).  For eksempel, lukningen av de naturlige tallene (betraktet som delmengde av de reelle tallene) med hensyn på subtraksjon,  er mengden av [[hele tall]].  Et viktig eksempel er topologisk lukning.  Begrepet lukning generaliseres av [[Galois forbindelse]]r, og videre av  [[monad]]er.

Mengden ''S'' må være en delmengde av en lukket mengde for at lukningsoperasjonen skal være definert.  I det foregående eksemplet, er det viktig at de reelle tallene er lukket under subtraksjon; i domenet av de naturlige tallene er ikke subtraksjon alltid definert. 

== Lukkede mengder ==  

== Lukningsoperatoren ==  

== Eksempler ==

* I [[topologi]] og relaterte felt, så består den relevante operasjonen i å ta grenser.  Den topologiske lukningen av en mengde er den tilsvarende lukningsoperatoren.  Kuratowskis lukningsaksiomer karakteriserer denne operatoren. 
* I [[lineær algebra]], så er det lineære spennet av en mengde ''X'' av vektorer lukningen av den mengden;  det er den minste delmengden av det [[vektorrom]]met som inneholder ''X''  og som er lukket under operasjonen å danne [[lineære kombinasjon]]er.  Denne delmengden er et lineært delrom.
* I [[matroide]]teori, så er lukningen av ''X'' den største supermengden til ''X'' som har samme rang som ''X''. 
* I [[mengdelære]], den transitive lukningen av en [[Binær relasjon|binærrelasjon]].
* I [[abstrakt algebra]], den algebraiske lukningen av en [[kropp]].  
* I [[geometri]], den [[konvekse innhyllning]]en av en mengde ''S'' av punkter er den minste [[konvekse mengde]]n som inneholder ''S'' som delmengde.

== Se også ==
*[[Åpen mengde]]
*[[Åpenlukket mengde]]

{{Autoritetsdata}}

[[Kategori:Algebra]]