Zárt halmaz

A Wikipédiából, a szabad enciklopédiából

A geometriában, a topológiában és a matematika kapcsolódó területein az a halmaz zárt, amelynek komplementere nyílt. Ekvivalensen, a halmaz minden határpontját tartalmazza. Továbbá egy halmaz akkor és csak akkor zárt, ha megegyezik lezártjával.

A zárt halmaz nem tévesztendő össze a zárt sokasággal.

Példák[szerkesztés]

  • A valós számok szokásos topológiájában az [a,b] alakú zárt intervallumok zártak.
  • A [0,1] intervallum zárt a valós számok részhalmazaként, és [0,1] ∩ Q, a nulla és egy közötti racionális számok halmaza, a határokat is beleértve zárt részhalmaza a racionális számok halmazának, viszont a valós számok halmazának nem zárt részhalmaza.
  • Vannak olyan halmazok, amelyek se nem nyíltak, se nem zártak. Például a [0,1[ alulról zárt, felülről nyílt intervallum, nem zárt, és nem nyílt.
  • Vannak halmazok, amelyek nyíltak is és zártak is. Ilyen például az üres halmaz, vagy a teljes topologikus tér.
  • Az [1, +∞[ intervallum zárt.
  • A Cantor-halmaz is zárt.
  • A Hausdorff-terekben az egyes pontok zártak.
  • Ha X és Y topologikus terek, és az f függvény folytonos, akkor az Y-beli zárt halmazok ősképei is zártak.

Tulajdonságai[szerkesztés]

A zárt halmaz tartalmazza a határát. Mivel a halmaz komplementere nyílt, ezért a halmazon kívül akármilyen irányba elmozdulva egy kicsit még mindig a halmazon kívül maradunk.

Zárt halmazok akármekkora metszete zárt, akár végtelen soké is, és véges sok zárt halmaz uniója is zárt. Végtelen sok zárt halmaz uniója akár nyílt is lehet. A megszámlálható sok zárt halmaz uniójaként kapott halmazokat Fσ halmazoknak nevezik.

Az üres halmaz zárt, és a teljes topologikus tér is zárt. Ha megadunk egy halmazt, és részhalmazok egy olyan rendszerét, amelynek tulajdonságai a fentiek, és eleme az üres és a teljes halmaz is, akkor ez meghatároz egy topológiát az adott halmazon.

A metszet tulajdonság lehetővé teszi a halmazok lezárását. Egy halmaz lezártja az a legszűkebb zárt halmaz, amely tartalmazza. Ez előállítható az összes, az adott halmazt tartalmazó halmaz metszeteként.

Részletes tulajdonságai[szerkesztés]

A ponthalmazok topológiájában zárt az a halmaz, amely tartalmazza a határát.

A nyílt halmazos definíció topologikus terekben értelmezhető, azaz olyan terekben, amelyeknek topologikus szerkezetük van. Így megjelenhetnek metrikus terekben, differenciálható sokaságokban, uniform terekben és pszeudometrikus terekben.

A zárt halmazok jellemezhetők sorozatokkal és hálókkal is. Az X topologikus tér egy A részhalmaza zárt akkor és csak akkor, ha az A pontjaiból alkotott összes háló összes határpontja továbbra is A-beli. Ha az X tér minden pontjának van megszámlálható környezetbázisa, mint a metrikus terekben, akkor az összes háló helyett elég a konvergens sorozatokat venni. Ez az általánosabb jellemzés lehetővé teszi a zárt halmaz fogalmának kiterjesztését a topologikus tereknél tágabb konvergenciaterekre. Ez a jellemzés az egész X topologikus teret veszi számításba, ezért nem mindegy, hogy X mely pontokat tartalmazza.

Egy halmaz zárt volta függ attól a tértől, aminek része. A kompakt Hausdorff-terek azonban abszolút zártak, tehát akármely Hausdorff-térbe beágyazva zártak maradnak. A Stone-Čech kompaktifikáció leírható úgy is, hogy a Hausdorff-terek nem konvergens hálóihoz határpontokat rendel.

Kompakt terek zárt részhalmazai kompaktak, és a Hausdorff-terek kompakt részhalmazai zártak.

A zárt halmazok hasznos jellemzést adnak a kompaktságra: egy topologikus tér akkor és csak akkor kompakt, ha minden, nem üres zárt részhalmazaiból alkotott halmazrendszer, aminek üres a metszete, tartalmaz véges, üres metszetű részrendszert is.

Egy topologikus tér nem összefüggő, ha előáll két zárt, diszjunkt részhalmazának uniójaként. Totálisan összefüggéstelen, ha van zárt halmazokból álló nyíltbázisa.

Az euklideszi térben[szerkesztés]

Ha F az n dimenziós euklideszi részhalmaza, akkor a fenti zártságdefiníció ekvivalens a következővel:

Minden F-en kívüli -hez van , hogy minden ahol , szintén F-en kívüli.

Ez tulajdonképpen a komplementer nyíltságát jelenti.

Az ε szám választása az adott x ponttól függ, azaz minden pontra más ε a jó. Az x-hez ε-nál közelebb levő pontok halmaza nyílt gömb, mert a felszín nem tartozik hozzá. A zárt gömbök a belsejük mellett a határukat is tartalmazzák, tehát ha , akkor y eleme az x közepű, ε sugarú zárt gömbnek.

minden zárt részhalmaza előáll megszámlálhatóan sok nyílt intervallum metszeteként. Például [0,1] a alakú intervallumok metszete, ahol n befutja a pozitív egész számok halmazát.

Metrikus terekben[szerkesztés]

Legyen metrikus tér, és részhalmaza -nek. Ekkor zárt, ha:

Minden -beli ponthoz van egy valós , hogy minden pontjára: Hogyha , akkor -an fekszik.

Megjegyzés: választása csak x-től függ.

Ez ekvivalens a következővel: ha F-beli pontok sorozata, amely X-ben konvergens, akkor határértéke is F-beli.

Metrikus terekben azok az y pontok, amelyek egy adott x ponttól legfeljebb ε távolságra vannak, zárt gömböt alkotnak. Formálisan:

és ez az X-beli halmaz x középpontú, r > 0 sugarú zártt gömb.

A zárt gömb tartalmazza a határát, hiszen amely pontok középponttól vett távolsága megegyezik a sugárral, azok is a gömbhöz tartoznak. A norma (matematika) cikkben példák láthatók arra, hogy a normált terekben nem mindig kör vagy gömb alakúak a gömbök.

A gömbök felhasználásával átfogalmazható a definíció:

Legyen (X,d) metrikus tér. Ekkor X egy F részhalmaza zárt, ha:

Ez a definíció megfelel az euklideszi terekben szokásos definíciónak.

Lásd még[szerkesztés]

Forrás[szerkesztés]