|
==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==
|
