Úzká relace

Úzká relace je matematický pojem z oblasti teorie množin.

Obsah

1 Definice
2 Příklady
3 Mostowského věta o kolapsu
4 Související články

[editovat] Definice

Nechť R je binární třídová (tj. R je libovolná, i vlastní, třída) relace. Označíme-li $R^{-1}[y]=\{x;\,x R y\}$ , můžeme definovat, že relace R je úzká právě tehdy, když $\,R^{-1}[y]$ je množina pro každé y.

[editovat] Příklady

Pro $R = \in$ platí $\,R^{-1}[y]=y$ , tedy $\in$ je úzká relace.
Každá množinová binární relace (tj. taková, která je množinou) je úzká.

[editovat] Mostowského věta o kolapsu

Mostowského věta o kolapsu říká, že úzkost je jednou ze (tří) základních vlastností relace $\in$ , které tuto relaci do jisté míry jednoznačně charakterizují. Zní takto:

Nechť R je relace úzká, extenzionální a fundovaná na třídě A. Pak existuje právě jedna tranzitivní třída T taková, že struktury $\,<A;R>$ a $<T;\in>$ jsou izomorfní (tj. existuje $\phi:A \rightarrow T$ bijekce, že $\,xRy \Leftrightarrow \phi(x)\in\phi(y)$ ).

[editovat] Související články

Související články obsahuje
Portál Matematika

Kategorie: Teorie množin

Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „http://cs.wikipedia.org/wiki/%C3%9Azk%C3%A1_relace“
Stránka byla naposledy upravena v Stránka byla naposledy editována 4. 5. 2007 v 08:44.
Veškerý text je dostupný za podmínek GNU Free Documentation License (Autorské právo pro podrobnosti).