Conjunt: diferència entre les revisions

Contingut suprimit Contingut afegit
m r2.7.3) (Robot afegeix: nds:Koppel (Mathematik); canvis cosmètics
m Robot substitueix 'auqesta' per 'aquesta'
Línia 172:
La teoria de conjunts és vista com el fonament a partir del qual es pot construir pràcticament tota la matemàtica. Per exemple, les [[estructures algebraiques|estructures]] en [[àlgebra abstracta]], tals com els [[Grup (matemàtiques)|grups]], els [[camp (matemàtiques)|camps]], i el [[anell (matemàtiques)|anells]] són conjunts tancats respecte de una o més operacions.
 
Una de les aplicacions principals de la teoria intuïtiva de conjunts és la de construir [[relació (matemàtiques)|relacions]]. Una relació d'un [[Domini (matemàtiques)|domini]] ''A'' en un [[codomini]] ''B'' no és res més que un subconjunt de ''A'' × ''B''. A partir d'aquest concepte es veu ràpidament que el conjunt ''F'' de tots els parells ordenats (''x'', ''x''<sup>2</sup>), on x és un nombre real, resulta força familiar. El seu domini és el conjunt <math>\mathbb{R}</math> i el seu codomini és també el conjunt <math>\mathbb{R}</math>, perquè el conjunt dels quadrats és un subconjunt del conjunt dels reals. Si s'escriu en notació funcional, auqestaaquesta relació esdevé f( ''x'' ) = ''x''<sup>2</sup>. El motiu perquè els dos siguin equivalents és, que per a cada valor donat ''y'' per al qual la funció estigi definida, la corresponent parella ordenada, (''y'', ''y''<sup>2</sup>) és un membre del conjunt ''F''.
 
== Teoria axiomàtica de conjunts ==