Codomini
De Viquipèdia
En matemàtiques, el codomini de una funció f : X → Y és el conjunt Y.
El domini de f és el conjunt X.
El recorregut de f és el conjunt f(X) definit com a { f(x) : x ∈ X }. D’aquestes definicions se'n desprèn que el recorregut de f és sempre un subconjunt del codomini de f.
[edita] Exemples
Com a exemple, sia la funció f una funció definida al conjunt dels nombres reals:
Definida per
El codomini de f és , però clarament f no té com a imatge cap nombre negatiu. Per tant el recorregut de f és el conjunt
,és a dir, l’interval interval [0,∞) on:
Es pot definir un altre funció g així:
Mentre que f i g produeixen el mateix nombre com a imatge de qualsevol valor x, no són, desde el punt de vista modern, la mateixa funció perquè tenen diferents codomins. Per a veure perquè, suposeu que es defineix una tercera funció h:
Cal definir el domini de h com a :
.
Ara, definint la composició
,
.
Com es pot veure, no té sentit. Suposeu (tal com cal, tret que explicitament s’estableixi altra cosa) que no se sap quin és el recorregut de f; només se sap que pot ser
. Però això és un problema degut a que la arrel quadrada dels nombre negatius no està definida en el conjunt dels reals. Ara es té un problema degut a que la funció h, quant es composa amb la funció f, podria rebre un argument que "no pot manegar".
Aquesta manca de claredat ha de ser evitada en treballs formals. La composició de funcions, per això, requereix que el codomini de la funció de la banda dreta de la composició (no els seu recorregut, que és una conseqüència de la funció i es diu que és indeterminat a nivell de la composició) ha de ser el mateix que el domini de la funció del cantó esquerra.
![]() |
Aquest article sobre matemàtiques és un esborrany i possiblement li calgui una expansió substancial o una bona reestructuració del seu contingut. Per això, podeu ajudar la Viquipèdia expandint-lo i millorant la seva qualitat traduint d'altres Viquipèdies, posant textos amb el permís de l'autor o extraient-ne informació. |