Funció: diferència entre les revisions

Contingut suprimit Contingut afegit
m →‎Definició formal: no tots els elements del primer conjunt apareixen en dues de les parelles
Línia 36:
:<math>\forall (x,y)\in f</math>, si <math>(x,z) \in f \Rightarrow y = z</math>
 
És a dir, a un mateix element del conjunt ''A'' li correspon un únic element del conjunt ''B''. Segons aquesta definició, doncs, si considerem la terna <math> \left( \mathbb{R},\mathbb{R},\left\{ \left( x, y\right) \in \mathbb{R}^{2} : x^{2}+y^{2}=k^{2} \right\} \right) </math> per a un valor fixat <math>k\in \mathbb{R} </math> (''k'' > 0), és a dir, la circumferència de radi ''k'' definida com una correspondència entre dos cossos de nombres reals, no és una funció, ja que certs elements del primer conjunt, com el punt 0 (i més generalment, tots els elementsreals ''x'' tals que -''k'' < ''x'' < ''k''), apareixen en dues de les parelles de la correspondència: (0,''k'') i (0,−''k'') (i més generalment, <math>(x, \sqrt{k^2-x^2})</math> i <math>(x, -\sqrt{k^2-x^2})</math>)
 
Si <math>(a,b)\in f</math>, es diu que ''b'' és la imatge de ''a'', cosa que es nota com <math>f(a)=b</math>, i que ''a'' pertany a l'antiimatge de ''b'' (cal notar que, per la definició, ''b'' pot ser imatge de més d'un element de ''A'', però ''a'' no pot tenir més d'una imatge).