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
Třída (někdy také přesněji množinová třída) je matematický pojem z oboru teorie množin používaný pro označení souboru objektů, u kterých lze případ od případu určit, zda do dané třídy náleží nebo nenáleží – soubor tedy musí být dobře popsán z hlediska náležení.
Postavení tříd v teorii množin
Pohled na pojem třídy se výrazně liší podle toho, v jakém systému teorie množin je používán.
V původní naivní teorii množin tento pojem splývá s pojmem množina, který je zde definován jako „dobře popsaný soubor objektů“. Po objevení zásadních nesrovnalostí v takto pojaté teorii množin (označovaných jako paradoxy – vizte například Russellův paradox, Cantorův paradox) byla teorie množin postavena na axiomatické základy.
To mimo jiné znamenalo, že objekty z výše uvedené definice byly omezeny na množiny – jediné, co může ve světě teorie množin někam náležet (ve smyslu „být prvkem“), je množina. Svět teorie množin se tak rozdělil na dva typy objektů – ty, které někam náležejí (množiny), a ty, do kterých něco náleží (třídy).
Přístup k zavedení tříd se liší podle použité axiomatické soustavy:
- V nejpoužívanější Zermelově-Fraenkelově teorii množin (označované obvykle ZF) jsou třídy zaváděny mimo vlastní jazyk teorie množin – jako metajazykový pojem, který je používán pro rozdělení množin na ty, které splňují, a které nesplňují nějakou formuli, kterou lze o množinách vyslovit. Pomocí každé formule lze tedy všechny množiny rozdělit na ty, které ji splňují (to je třída „spřažená“ s touto formulí, obvykle označovaná ), a ostatní: .
- Ve Von Neumannově-Bernaysově-Gödelově teorii množin (označované obvykle NBG) jsou již v její axiomatice rozlišeny dva typy objektů – množiny a třídy. Množiny jsou pak (podle axiomu definice množiny) ty třídy, které náležejí do jiné třídy: .
Ať již se při definici postupuje „zdola“ (od množin k třídám) jako v případě ZF nebo „shora“ (od tříd k množinám) jako v případě NBG, v obou případech lze o vztahu tříd a množin vyslovovat stejná tvrzení – následující odstavec tedy je platný jak v ZF, tak NBG.
Vztah mezi třídami a množinami
Každá množina je zároveň třída (nebo přesněji – lze ji ztotožnit s právě jednou třídou danou předpisem ). Naopak to ale neplatí. V axiomatických soustavách teorie množin se z původních paradoxů naivní teorie množin staly vlastně důkazy, že nějaká konkrétní třída není množinou – taková třída se nazývá vlastní. Například Cantorův paradox převeden do řeči moderní teorie množin říká, že „univerzální třída není množina, ale vlastní třída“.
Třídy se tedy dělí na „malé“ množiny a na „velké“ vlastní třídy. Přívlastky „malé“ a „velké“ je v tomto kontextu nutné brát s rezervou – mezi takto „malé“ množiny patří například nekonečná množina (viz funkce alef).
Axiom vydělení
Důležitou roli ve vztahu množin a vlastních tříd hraje takzvaný axiom vydělení, který postuluje, že třída, která je obsažena v nějaké množině, je nutně také množinou. Tato vlastnost je pro třídy a množiny velmi podstatná, neboť implikuje, že všechny základní matematické objekty (čísla, relace, funkce, …) existují jako množiny (v nějaké formální teorii množin) a mají (v této teorii) vlastnosti, které od nich očekáváme. Díky tomu je možné považovat teorii množin za „nejvyšší teorii“, v níž je celá matematika již obsažena – za takzvaný „svět matematiky“.
Existují zobecnění teorie množin, ve kterých axiom vydělení neplatí, tj. existují vlastní třídy, které jsou částí nějaké množiny. Takovým zobecněním teorie množin je například teorie polomnožin, kterou zavedl český matematik Petr Vopěnka a spolu se svými kolegy a žáky (z nichž nejvýrazněji přispěl Petr Hájek) ji rozvinul do rozsáhlé teorie.
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