|
A matematikában, azon belül elsősorban a [[halmazelmélet]]ben, a [[Topológia|topológiában]] és a [[valós analízis]]ben '''halmazcsaládnak''' vagy '''halmazrendszernek''' nevezzük az olyan [[halmaz]]t, amelynek elemei egy adott alaphalmaz bizonyos [[részhalmaz]]ai. A halmazcsaládok elemei tehát maguk is halmazok.
Legyen ''E'' egy nemüres halmaz; és jelölje ''P𝒫(E)'' az ''E'' halmaz [[hatványhalmaz]]át, azaz azt a halmazt, amely ''E'' részhalmazaiból áll. Akkor az ''E'' alaphalmazon értelmezett halmazcsaládok ''P𝒫(E)'' részhalmazai; ''P𝒫(P𝒫(E))'' elemei.
==Példák halmazcsaládokra==
*Ha a síkot pontok ''E'' halmazának fogjuk föl, akkor a különböző síkbeli alakzatok – ponthalmazok – a sík részhalmazai, ''P𝒫(E)'' elemei. Így, a síkon, mint alaphalmazon halmazcsaládot alkot az egyenesek halmaza, a körök halmaza, a háromszögek halmaza vagy például az egységnyi területű síkidomok halmaza.
*A valós számok alaphalmazán halmazrendszert alkot a zárt intervallumok halmaza vagy a mértani sorozatok halmaza.
*Legyen ''E'' a természetes számok halmaza, és minden ''n'' természetes számra legyen ''E<sub>n</sub>'' az ''n'' többszöröseinek halmaza. Akkor az ''E<sub>n</sub>''-ek összessége halmazcsaládot alkot.
==Halmazcsaládok összehasonlítása és ekvivalenciája==
Legyen ''A𝒜'' és ''Bℬ'' két ''E''-n értelmezett halmazcsalád. Azt mondjuk, hogy ''A𝒜'' ''durvább'' ''Bℬ''-nél (vagy, ezzel ekvivalensen, ''Bℬ'' ''finomabb'' ''A𝒜''-nál), ha minden ''U''∈''A𝒜'' halmazhoz található olyan ''V''∈''Bℬ'' halmaz, hogy ''V''⊂''U''. Ezt a relációt jelben úgy fejezzük ki, hogy ''A𝒜''>''Bℬ'' (vagy ezzel ekvivalensen ''Bℬ''<''A𝒜'').
Ha például ''E'' a sík pontjainak halmaza, ''A𝒜'' a sík egységnyi sugarú körlemezeiből áll, ''Bℬ'' pedig a sík tetszőleges négyzetlapjaiból, akkor ''A𝒜''>''Bℬ'', hiszen minden egységnyi sugarú kör tartalmaz négyzetet. Ugyanakkor ''Bℬ'' nem durvább ''A𝒜''-nál, hiszen van olyan négyzetlap, amely nem tartalmaz egységnyi sugarú kört (ilyen például egy egységnyi oldalú négyzetlap).
Előfordulhat az is, hogy egy adott alaphalmazon értelmezett két halmazrendszer közül egyik sem finomabb vagy durvább a másiknál. Például a sík szakaszainak ''S'' halmaza és körvonalainak ''K'' halmaza közül egyik sem finomabb vagy durvább a másiknál.
Végül előfordulhat az is, hogy az ''A𝒜''<''Bℬ'' és ''Bℬ''<''A𝒜'' egyszerre fennáll. Ha például ''A𝒜'' a számegyenes zárt intervallumaiból áll, ''Bℬ'' pedig a nyílt intervallumokból, akkor ''A𝒜'' finomabb is és durvább is ''Bℬ''-nél. Ilyenkor azt mondjuk, hogy a két halmazrendszer ''ekvivalens''. Ha ''A𝒜'' és ''Bℬ'' ekvivalens halmazrendszerek, akkor ezt az összefüggést az ''A𝒜''~''Bℬ'' szimbólummal jelöljük.
A halmazcsaládok ekvivalenciája nyilvánvalóan [[reflexív reláció]]: minden ''A𝒜'' halmazrendszerre ''A𝒜''<''A𝒜'', és így ''A𝒜''~''A𝒜''. Ha ''A𝒜''~''Bℬ'', akkor ''A𝒜''<''Bℬ'' és ''Bℬ''<''A𝒜'', tehát ''Bℬ''~''A𝒜'', vagyis a halmazcsaládok ekvivalenciája [[szimmetrikus reláció]] is. Végül, ha ''A𝒜''~''Bℬ'' és ''Bℬ''~''C'', akkor ''A𝒜''<''Bℬ''<''C'', ezért minden ''C''-beli halmaznak rész egy ''Bℬ''-beli halmaz, annak pedig része egy ''A𝒜''-beli, ezért minden ''C''-beli halmaznak része egy ''A𝒜''-beli halmaz, vagyis ''A𝒜''<''C''. Hasonló gondolatmenettel ''A𝒜''>''C'', tehát ''A𝒜''~''C'': a halmazrendszerek ekvivalenciája tehát [[tranzitív reláció]]. Ezzel beláttuk, hogy a halmazrendszerek ekvivalenciája [[ekvivalenciareláció]] ''P(P(E))''-n, amely így [[ekvivalenciaosztály]]okra bomlik.
==Felszálló halmazrendszerek==
Legyen ''A𝒜''∈''P(P(E))'' halmazcsalád. Azt mondjuk, hogy ''A𝒜'' ''felszálló halmazcsalád'', ''felszálló halmazrendszer'', vagy röviden ''felszálló rendszer'', ha ''U''∈''A𝒜'' esetén minden olyan ''V''⊆''E'' is ''A𝒜''-hoz tartozik, amelyre ''U''⊆''V''. A felszálló rendszerek tehát minden elemükkel együtt az azt (részhalmazként) tartalmazó összes halmazt is tartalmazzák. Felszálló halmazrendszert alkotnak például a valós számok részhalmazai közül azok, amelyek tartalmazzák a 0-t. Felszálló halmazrendszert alkotnak a természetes számok végtelen részhalmazai is.
==Források==
| 