Diferència entre revisions de la pàgina «Classe (matemàtiques)»

m
cap resum d'edició
m (Afegint plantilla:Viccionari-lateral)
m
EnUna '''classe''', en [[teoria de conjunts]] i les seves aplicacions en [[matemàtiques]], una ''classe'' és una col·lecció de [[conjunt]]s (o de vegades altres objectes matemàtics) que poden ser definits sense ambigüitats per una propietat que comparteixen tots els seus membres. La definició precisa de "classe" depèn del context fundacional. A la [[ZFC|teoria de Zermelo-Fraenkel]], la noció de classe no està formalitzada, mentre que altres teories de conjunts, com la [[NBG|teoria de conjunts de Von Neumann-Bernays-Gödel]], [[axioma]]titza la noció de "classe".
 
Fora de la teoria de conjunts, la paraula "classe" s'utilitza de vegades com a sinònim de "conjunt". Aquest ús ve dels períodes històrics en què les classes i els conjunts no es distingien com ara ho fa la terminologia [[teoria|teòrica]] de conjunts moderna. Així, la definició precisa de "classe" depèn del context fundacional: A la [[ZFC|teoria de Zermelo-Fraenkel]], la noció de classe no està formalitzada, mentre que altres teories de conjunts, com la [[NBG|teoria de conjunts de Von Neumann-Bernays-Gödel]], [[axioma]]titza la noció de "classe".
 
Cada conjunt és una classe, no importa quina fundació es trigui. Una classe que no és un conjunt (informalment en Zermelo-Fraenkel) s'anomena una ''classe pròpia'', i una classe que és un conjunt de vegades s'anomena una ''classe petita''. Per exemple, la classe tots els [[nombre ordinal|nombres ordinals]], així com la classe de tots els conjunts, són classe pròpies en molts sistemes formals.
Fora de la teoria de conjunts, la paraula "classe" s'utilitza de vegades com a sinònim de "conjunt". Aquest ús ve dels períodes històrics en què les classes i els conjunts no es distingien com ara ho fa la terminologia teòrica de conjunts moderna.
 
== Exemples ==
16.605

modificacions