2.1.1. Definicin de Funcin, Dominio y Contradominio.

Relacin
Una relacin esta$lece la correspondencia o asociacin entre los elementos de dos con%untos de o$%etos. Ejemplos: 1.- A cada persona se le asocia: Una edad, Una estatura, Un peso, etc. 2.- A cada automvil se le asocia: Un modelo Un nmero de motor, Un nmero de placas (matrcula), etc. 3.- En un almac n a cada artculo se le asocia: Un precio, Un nmero de inventario, Un volumen, etc. !.- A cada pas se le asocia: Un r "imen socioeconmico, Una super#icie, Una altura so$re el nivel del mar, Un clima, etc. Una relacin es una regla de correspondencia que se establece entre los elementos de un primer conjunto que se llama dominio con los elementos de un segundo conjunto que se llama contradominio, de tal manera que a cada elemento del dominio le corresponde uno o ms elementos en el contradominio.

&uncin
Una funcin es una relacin en la *ue a cada elemento del dominio le corresponde uno / slo un elemento del 'ontradominio. En consecuencia toda #uncin es una relacin, pero al"unas relaciones no son #unciones.

'riterio de la (ertical
Al de#inir una #uncin como un con%unto de pares ordenados, se )a esta$lecido *ue dos pares di#erentes no tienen el mismo primer componente. Esto si"ni#ica *ue al representar "eom tricamente la "r+#ica de una #uncin a cada punto le corresponde di#erente a$scisa, de manera *ue al tra,ar rectas paralelas al e%e de las y por cual*uier valor del dominio, cada una corta a la representacin "eom trica en un punto. -.i slo se da la representacin "eom trica de una "r+#ica para determinar si representa o no a una #uncin, por su dominio se tra,an rectas paralelas al e%e de las y, / si una de ellas la corta en m+s de un punto entonces no corresponde a una #uncin, pues e0iste al menos un elemento del dominio *ue tiene m+s de una ima"en1.
Teorema: Una ecuacin define a una funcin si cada recta vertical en el sistema de coordenadas cartesianas pasa a lo ms por un punto de la grfica de la ecuacin. Si una recta vertical pasa por dos o ms puntos de la grfica de una ecuacin, entonces la ecuacin no define una funcin.

Ejemplo 1.- 2eterminar si la "r+#ica representa una #uncin o una relacin.

6 4 2 0 -6 -4 -2 -2 0 2 -4#uncin Representa a una -6 por*ue cual*uier paralela al e%e

3as rectas verticales intersecan esta "r+#ica en e0actamente un punto. 4or lo tanto, esta "r+#ica representa la "r+#ica de una #uncin.

El dominio de la #uncin es el con%unto de todos los valores *ue puede tomar la x, / el con%unto ima"en est+ #ormado por todos los valores *ue puede tomar y $a%o la #uncin.

y corta a la curva en un solo punto. .u dominio es el con%unto de los nmeros reales / su ima"en son los reales no ne"ativos, es decir,

Ejemplo 2.- 2eterminar si la "r+#ica representa una #uncin o una relacin. y

2# 5 R, '# 5 R6 U 789.

x Ejemplo 3.- 2eterminar si la "r+#ica representa una #uncin o una relacin. y No representa una #uncin por*ue al tra,ar paralelas al e%e de las y se o$serva *ue cada una de ellas corta a la curva en dos puntos, es decir, x cada elemento del dominio tiene dos im+"enes, e0cepto el cero.

Ejemplo 4.- 2eterminar si la "r+#ica representa una #uncin o una relacin. El dominio e ima"en Representa una #uncin por*ue los puntos (- :, 8) / (8, -3) no pertenecen a la "r+#ica. -5 -3 5 3 x y de la #uncin son, los respectivamente, con%untos: 2# 5 70 ; R <-: = 0 > :9 '# 5 7/ ; R <-3 = 0 > 39

A manera de conclusin diremos lo si"uiente:

Una #uncin involucra siempre la relacin entre dos con%untos. 3os con%untos relacionados no necesariamente son num ricos. ?o cual*uier relacin entre dos con%untos es una #uncin. A veces e0isten ecuaciones *ue nos permiten e0presar la relacin entre dos

con%untos num ricos. .in em$ar"o, no siempre *ue e0istan stas, la relacin ser+ una #uncin. Adem+s, la ecuacin en s misma no es la #uncin, slo la re"la de correspondencia *ue permite e0plicitar la relacin de dos con%untos num ricos.

El concepto de #uncin, de acuerdo con su de#inicin, puede descomponerse en di#erentes constitu/entes. @stos son: A nivel conjunto Dominio y Contradominio

A nivel elemento

Arg mento e imagen

2ominio
.e llama Dominio de una #uncin al con%unto de valores *ue puede tomar la varia$le independiente. El dominio de una #uncin del tipo y f!x" suele representarse con al"una de estas e0presiones: 2#, 2om (#). Definicin: En una #uncin #: A A B, el dominio corresponde al primer con%unto. 4ara el caso *ue nos ocupa, el dominio es el con%unto A.

'ontradominio
.e llama Contradominio, Rango o Imagen de una #uncin al con%unto de valores *ue puede tomar la varia$le dependiente, es decir, es el con%unto de valores *ue puede alcan,ar la #uncin. El 'ontradominio de una #uncin del tipo / 5 #(0) suele representarse con al"una de estas e0presiones: '#, Ran"o (#), Cm (#). Definicin: El Contradominio, tam$i n llamado rango de la funcin, es el nom$re *ue se le da al se"undo con%unto. Esto es, a*uel en donde se encuentran los valores relacionados con los elementos del primer con%unto o dominio. .i la #uncin es #: AA B, el 'ontradominio es B.

Cma"en de una &uncin

3a asociacin a trav s de una #uncin #, de los con%untos A / B, de A )acia B (o simplemente #: A A B) conlleva a la asociacin individuali,ada de cada uno de los elementos del con%unto A (primer con%unto o dominio) con un nico elemento del con%unto B (se"undo con%unto o 'ontradominio). Definicin: -'ada elemento del primer con%unto reci$e el nom$re de argumento de la funcinD / a su correspondiente asociado, elemento del se"undo con%unto, se le denomina imagen del ar"umento $a%o la #uncin dada1. !"s#r$ese la %ig ra. & A -2 -1 0 1 2 y = 3x 2 ' -( -5 -2 1 4

3a #uncin f *ue aparece es una #uncin de varia$le real en donde: .u re"la de correspondencia es la ecuacin: .u dominio es el con%unto: H su 'ontradominio es el con%unto: / 5 3 0 E2 A 5 7F, -2, -G, 8, G, 2,F9 B 5 7F, -I, -:, -2, G, !,F9

.i )acemos un an+lisis elemento a elemento, encontramos por e%emplo *ue: El ar"umento 2 est+ asociado a !D es decir, la ima"en de 2 es !. J'u+l es la ima"en GK J'u+ntos ar"umentos posee el dominioK Notacin:

3a ima"en de una #uncin f se representa "eneralmente de la si"uiente manera: f(x) l ase -la ima"en del ar"umento x $a%o la #uncin f#. L simplemente -e#e de e*uis1.

?o o$stante, independientemente de la #orma en *ue se lea, siempre de$e interpretarse como corresponde. As, para el e%emplo dado en la &i"ura G2: y H como e%emplo, escri$irse como: f!x" $x %& 4ara #inali,ar esta seccin, tomando en cuenta el mismo e%emplo, contesta: J'u+l es la ima"en de # (:)K. Musti#ica tu respuesta con operaciones. E%emplo G) 'alcular el dominio / el 'ontradominio de la #uncin:
y= x 2

f!x"

# (2) 5 !

L$serva *ue para el mismo caso, la re"la de correspondencia puede tam$i n

.L3U'CN?: 'omo los nmeros se )an restrin"ido a los nmeros reales, / es una #uncin de 0 slo si de$ido a *ue para cual*uier 0 *ue satis#a"a esta desi"ualdad, se denomina un solo valor de /, sin em$ar"o, si 0 = 2, se tiene la ra, cuadrada de un nmero ne"ativo, / en consecuencia, x no se 2 o$tendr+ un nmero real /. 4or tanto, se de$e restrin"ir 0 de manera *ue . 2e este modo, el dominio de # es el intervalo [2, . ) , / su 'ontradominio es [8,+ )

x 2 8

)*emplo para disc si+n: ,alla el dominio para cada na de las sig ientes & nciones:

f ( x) =

G: , g ( x) = x 2 + 3x + GO, '( x) = 2: x 2 , x3

p( x) = x 3

)*ercicio de pr-ctica: ,alla el dominio para cada na de las sig ientes & nciones:

f ( x) = x 2 3x + G, g ( x) =

G , '( x) = x 2 x+: