A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Univerzální třída je matematický pojem z oboru teorie množin označující třídu všech množin.
Označení a formální definice
Univerzální třída se obvykle značí a bývá definována jako . S ohledem na to, že je reflexivní relace, patří do takto definované třídy všechny množiny.
Vlastnosti univerzální třídy
- Univerzální třída obsahuje každou množinu nejen jako svůj prvek, ale zároveň také jako svojí podmnožinu.
Tento závěr vyplývá z faktu, že prvkem množiny může být opět pouze množina, tedy každý prvek každé množiny patří do . Pokud ale každý prvek nějaké množiny patří do , pak je podle definice tato množina podmnožinou .
- Univerzální třída není množina (je to tedy vlastní třída).
Pokud by byla množina, pak je podle axiomu potence množinou také její potenční množina . Podle Cantorovy věty má větší mohutnost než , ale podle předchozího odstavce je zároveň podmnožinou , což je sporné tvrzení (podmnožina nemůže mít větší mohutnost, než celá množina).
- Univerzální třída není jedinou vlastní třídou – existují i „menší“ vlastní třídy, například třída všech ordinálních čísel nebo třída všech kardinálních čísel.
To mimo jiné znamená, že ve vztahu z prvního odstavce nelze obrátit implikaci.
Vztah k různým dodatečným předpokladům ZF
Vlastnosti univerzální třídy se mohou značně lišit v závislosti na tom, jaké dodatečné předpoklady přijmeme k axiomatizaci Zermelo-Fraenkelovy teorie množin bez axiomu fundovanosti (tato teorie se obvykle značí ).
- axiom fundovanosti (AF): Pak je rovna fundovanému jádru (třídě, která vznikne z prázdné množiny iterováním operace potence)
- axiom konstruovatelnosti (V=L): Pak je rovna třídě konstruovatelných množin (třídě, která vznikne z prázdné množiny postupným uzavíráním na Gödelovské operace)
- axiom silného výběru (AS): Pak existuje bijekce mezi a třídou všech ordinálních čísel.
- axiom silného výběru (AS) + axiom superuniverzality (ASU): Pak existuje netriviální elementární vnoření do -saturované tranzitivní třídy.
Související články
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Antény
Chemické zdroje elektriny
Chladenie v elektrotechnike
Elektrická sústava automobilu
Elektrická trakcia
Elektrické prístroje
Elektrické súčiastky
Elektrické spotrebiče
Elektrické stroje
Čítanie (elektrotechnika)
Činný výkon
Štatistická dynamika
Živý vodič
Admitancia
Antiparalelné zapojenie
Asynchrónny motor
Blúdivý prúd
Bočník (elektrotechnika)
Diak (polovodičový prvok)
Displej s kvapalnými kryštálmi
Elektrická inštalácia
Elektrická rezonancia
Elektrická sila
Elektrická vodivosť
Elektrické zariadenie
Elektrický obvod
Elektrický zvonec
Elektroenergetika
Elektromer
Elektrometer
Elektromobil
Elektromotor
Elektromotorické napätie
Elektrotechnický náučný slovník
Elektrotechnika
Elektrotechnológia
Fázor
Faradayova klietka
Frekvencia (fyzika)
Graetzov mostík
Impedancia
Indukčnosť
Induktancia
Istič
Izolácia (elektrotechnika)
Izolant
Jadro vodiča
Jednobran
Jednosmerný prúd
Joulovo teplo
Katóda
Koaxiálny kábel
Kompenzácia účinníka
Konduktometria
Konektor (elektrotechnika)
Korónový výboj
Lanko (elektrotechnika)
Leptanie
Logické hradlo
Magnetická susceptibilita
Magnetizácia (veličina)
Merný elektrický odpor
Mobilné zariadenie
Napájací zdroj
Napäťový chránič
Napäťový násobič
Nortonova veta
Odpínač
Odpojovač
OLED
Olovený akumulátor
Paralelné zapojenie
Peltierov článok
Plošná hustota elektrického prúdu
Poistka (elektrotechnika)
Posuvný prúd
Prúdový chránič
Prenosové médium
Prieletový klystrón
Primárny elektrochemický článok
Reaktancia
Rekuperácia (dopravný prostriedok)
Relé
Reproduktorová výhybka
Rezistancia
Rozhranie (interface)
Sériové zapojenie
Seebeckov jav
Sekundárny elektrochemický článok
Settopbox
Skrat
Sonar
Spínač
Spínaný zdroj
Straty v mikropásikových vedeniach
Striedavý prúd
Stupeň ochrany krytom
Svetelná výbojka
Symetrizačný člen
Technická normalizácia
Tepelné relé
Tepelne vodivostný detektor
Termočlánok
Théveninova veta
Transformátor
Transformátor s fázovou reguláciou
Trojfázová sústava
Tuhá fáza (elektronika)
Tyratrón
Usmerňovač (elektrotechnika)
Uzemnenie
Uzol (vodiče)
Vírivý prúd
Výbojka
Varistor
Ventilátor
Vodič (elektrotechnika)
Voltov stĺp
Vstavaný systém
Zásuvka (elektrotechnika)
Zdroj (elektrotechnika)
Zisk antény
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk