Þakning

Úr Wikipediu, frjálsa alfræðiritinu

Stökkva á: flakk, leita

Þakning er hugtak í mengjafræði, sem á við vensl tilteknins mengjasafns, C við eitthvert mengi, X, þ.a. mengið X er hlutmengi í sammengi mengjasafnsins C. Er þá sagt að C sé þakning mengisins X. Opin þakning þýðir að öll mengin í mengjasafninu eru opin mengi.

Þakningu, C tiltekins mengis X má t.d. tákna þannig:

C = \lbrace U_\alpha: \alpha \in A\rbrace

þar sem Uα er mengjafjölskylda og A er vísismengi.

C er þakning X ef :

X \subseteq \bigcup_{\alpha \in A}U_{\alpha}

Hlutþakning er önnur ,,þrengri" þakning sama mengis X, þannig að sammengi hluttþakningarinnar er eiginlegt hlutmengi í sammengi þakningarinnar C.

[breyta] Tengt efni

Sótt frá „http://is.wikipedia.org/wiki/%C3%9Eakning“