Třídové zobrazení je matematický pojem z oblasti teorie množin, který zobecňuje pojem množinového zobrazení.

Definice Definice (množinového) zobrazení vyžaduje, aby jak definiční obor tak i obor hodnot byl množinou. V matematice je přesto běžné uvažovat o zobrazeních (například identita, potence, atd.), jejichž formálním definičním oborem je celé matematické univerzum (), tedy vlastní třída (viz Russellův paradox). Ve standardní formalizaci teorie množin (systém ZFC) přísně vzato o třídách (a tedy i o výše zmíněných zobrazeních) nelze hovořit. Vzniklou situaci lze řešit buď přechodem do jiné formalizace (např. Gödel-Bernays nebo Kelley-Morsey), která o třídách umožňuje mluvit, nebo lze vyjadřování o třídách chápat jako jistý typ zkratky. V tomto textu se budeme držet druhého přístupu, který propagoval W. V. Quine, a je dnes mezi matematiky pracujícími v teorii množin zdaleka nejrozšířenější.

Řekneme, že třída je třídové zobrazení, jestliže:Balcar, Štěpánek (2001), s. 145 , kde je univerzální třída tj. obsahuje výhradně uspořádané dvojice množin. Pro její formuli platí podmínka jednoznačnosti, tj. pokud lze dokázat následující implikaci:

Pro třídové zobrazení můžeme zavést běžné značení funkční hodnoty, tj. formuli chápeme jako zkratku formule . Podobně lze chápat i všechny ostatní pojmy běžně používané u množinových zobrazení (obor hodnot, definiční obor…) jako jisté zkratky.

Příklady

Množinová zobrazení Z definice ihned plyne, že každé množniové zobrazení je speciálním případem třídového zobrazení.

Potence Zobrazení, které každé množině přiřadí množinu všech jejích podmnožin je třídové zobrazení z univerzální třídy do univerzální třídy.

Mohutnost jako třídové zobrazení Pomocí axiomu výběru lze dokázat, že každou množinu je možno vzájemně jednoznačně zobrazit na právě jedno kardinální čísloBalcar, Štěpánek (2001), s. 86. Toto kardinální číslo nazýváme mohutností dané množiny. V teorii ZFC je mohutnost příkladem třídového zobrazení z univerzální třídy do třídy všech kardinálních čísel. Mohutnost lze definovat i v teorii bez axiomu výběruBalcar, Štěpánek (2001), s. 198 nicméně její obor hodnot již bude obsahovat i množiny mimo třídu .

Pořadí kardinálních čísel Uvažujme o předpisu, který každému nekonečnému kardinálnímu číslu přiřadí jeho pořadí podle velikosti. Formálně jde o třídové bijektivní rostoucí zobrazení třídy nekonečných kardinálních čísel na třídu všech ordinálních čísel . Toto zobrazení je inverzní k funkci alef. Funkce alef a funkce gimel jsou dalšími příklady třídového zobrazení mezi vlastními třídami.

Fundovaný rank a konstruovatelný rank množiny Pokud přijmeme axiom fundovanosti, tj. univerzální třída je totožná s fundovaným jádrem, lze každé množině přiřadit její tzv. fundovaný rank, tj. nejmenší ordinální číslo , pro které platí, že náleží do -té vrstvy fundovaného jádra ().Získáváme tak třídové zobrazení , běžně označované jako rankovací funkce Balcar, Štěpánek (2001), s. 193. Podobně jako u mohutnosti lze rankovací zobrazení definovat i v teorii množin bez axiomu fundovanosti. V této teorii tak získáme zobrazení jehož definiční obor bude fundované jádro . Podobnými úvahami aplikovanými na třídu (Gödelovo univerzum konstruovatelných množin) lze získat konstruovatelný rank množiny, tj. třídové zobrazení z třídy na třídu .

Podívajte se také na Zobrazení Vlastní třída Ordinální číslo Kardinální číslo Transfinitní rekurze Fundované jádro

Odkazy Reference

Literatura

Kategorie:Teorie množin