Aplicacion (matematicas) : Diferéncia entre lei versions

Contengut suprimit Contengut apondut
Luckas-bot (discussion | contribucions)
m r2.7.1) (Robòt Apondre: am:አስረካቢ
Vivarés (discussion | contribucions)
m "graf"
Linha 29 :
* Se ditz que l'ensemble ''X'' es lo '''domeni''' de ''f'' o l''''ensemble de definicion''' de ''f''.
* Se ditz que l'ensemble ''Y'' es lo '''codomeni''' de ''f'' o l''''ensemble d'arribada''' de ''f''.
* L'ensemble <math>\ \Gamma_f</math> es un sosensemble dau produch cartesian ''X'' x ''Y'' : es un grafegraf. Se ditz qu'es lo '''grafegraf''' de l'aplicacion ''f''. Per definicion :
:<math>\Gamma_f = \{(x,\, y) \mid (x \in X) \wedge (y \in Y) \wedge (y = f(x)\;\}</math> ;
 
Linha 38 :
Es l'aplicacion de ''X'' dins ''X'', notada <math>\ id_X</math> , qu'a cada element ''x'' de ''X'' associa lo meteis element ''x''.
:<math>id_X : X \to X,\, x \mapsto x</math> ; autrament dich : <math>\ id_X(x) = x</math> per tot ''x'' dins ''X''.
Lo grafegraf de l'aplicacion identica de ''X'' es l'ensemble seguent (sonat ''diagonala'' dau [[produch cartesian#Cas particular : carrat cartesian d'un ensemble|carrat cartesian]] <math>\ X^2</math> de ''X'') :
:<math>\Delta_X = \{(x,\, y) \mid (x \in X) \wedge (y \in X) \wedge (y = x)\;\}</math>; autrament dich : <math>\Delta_X = \{(x,\, x) \mid x \in X\;\}</math>
 
Linha 78 :
Aquesteis exemples mòstran que, segon lei cas, l'imatge e lo codomeni d'una aplicacion pòdon èsser diferents o egaus : fau ''a priori'' s'avisar de pas confondre lei doas nocions. Se ditz qu'una aplicacion es [[Aplicacion subrejectiva|subrejectiva]] se son imatge coïncidís amb son codomeni (cada boita contèn aumens un objècte). Segon aquesta definicion, <math>f_2</math> es subrejectiva, e lei doas autreis aplicacions o son pas.
 
'''Remarca''' : leis aplicacions <math>f_1,\, f_2</math> an lo meteis domeni <math>\mathbb R</math> e lo meteis grafegraf <math>\Gamma = \{(x,\, x^2) \mid x \in \mathbb R\} </math> , mai ''son diferentas'', qu'an pas lo meteis codomeni : la segonda es subrejectiva e la premiera o es pas.
 
=== Generalizacion ===