Funcin: imagen y preimagen

A modo de recapitulacin, podemos definir funcin de la siguiente manera: Una funcin es una correspondencia entre dos conjuntos A y B no vacos, en la cual para todo elemento que pertenece al conjunto A existe un solo elemento, y solo uno, que pertenece al conjunto B al cual se le asocia o corresponde. Para simbolizar que se ha establecido una funcin f, de un conjunto A en un conjunto B, se usa la siguiente notacin: f:AB Criterio de la funcin En un sentido abstracto, calcular una funcin consiste en examinar la correspondencia general de y con respecto a x, expresado en la frmula abstracta: y = f(x) Esta frmula establece que la magnitud y est, de modo general, en funcin de x. Ojo, que la magnitud y corresponde a lo que luego llamaremos imagen, y que depende del valor que se le asigne a x (que ser la preimagen) en f(x). La notacin y = f (x) se lee y es una funcin de x o y es igual a f de x (esta notacin no significa f por (x)). Obviamente en lugar de x e y hubisemos podido emplear variable, y escribirlo as: Variable dependiente = f (variable independiente) Ejemplo 1 Si A = {1, 2, 3} y B = {2, 4, 6} y su correspondencia es el doble.

Entonces f(x) = 2x En efecto f(1) = 2 1 = 2 f(2) = 2 2 = 4 f(3) = 2 3 = 6 Tenemos Dominio = {1, 2, 3} Codominio = {2, 4, 6} mbito (rango o recorrido) = {2, 4, 6} Ejemplo 2 Si A = {1, 3, 5} y B = {3, 5, 7, 9, 11} y su correspondencia es el doble ms uno.

Entonces f(x) = 2x + 1 En efecto: f(1) = 2 1 + 1 = 3 f(3) = 2 3 + 1 = 7 f(5) = 2 5 + 1 = 11 Tenemos Dominio = {1, 3, 5} Codominio = {3, 5, 7, 9, 11} mbito (rango o recorrido) = {3, 7, 11} Conceptos bsicos de la funcin Dada una funcin f : A B (es lo mismo que f : X Y) se define: * El conjunto A se llama conjunto de partida o dominio, se puede representar como f D. * Al conjunto B se llama conjunto de llegada o codominio. * Se llaman preimgenes a los elementos del conjunto de partida o dominio. * Se llaman imgenes a los elementos del conjunto de llegada o codominio que estn asociados a una preimagen, mediante el criterio de la funcin. * Se llama rango (recorrido o mbito) de una funcin al conjunto formado por las imgenes. Este conjunto es un subconjunto del codominio, se puede representar como f R f A, respectivamente. Para ilustrar los conceptos anteriores usaremos lo que se denomina Diagramas de Venn-Euler.

Ver: Funciones matemticas Ejemplo 3 Analizar el siguiente diagrama que representa una funcin y determinar el dominio, codominio y el mbito (rango o recorrido).

Tenemos Dominio (Df) = {1, 2, 3, 4} Codominio = {1, 4, 9, 16, 25} mbito (Af) = {1, 4, 9, 16} Ejemplo 4 Analizar el siguiente diagrama que representa una funcin y determinar el dominio, codominio y el mbito.

Tenemos Dominio (Df) = {1,2 3, 4} Codominio = {1, 2, 3, 4} mbito (Af) = {1, 2, 3, 4} Recuerde que los elementos del dominio se llaman preimgenes y los elementos del mbito (rango o recorrido) se llaman imgenes. Debido a que es posible que el codominio y el mbito estn compuestos por el mismo conjunto de elementos, suele pensarse que codominio y mbito es lo mismo, el concepto y los ejemplos anteriores nos permiten darnos cuenta que pensar as es un error. Clculo de la imagen Debemos recordar que el conjunto de partida esta formado por las preimgenes y, se llama dominio, las preimgenes son los valores que toma la variable independiente. Ejemplo 5 Un carpintero gasta $350 por cada silla que haga ms un monto fijo de $2.000 por da cunto gastar si hace 2 sillas por da? Cunto gastar si hace 4, 6 u 8 sillas por da? Para este ejemplo, x representa cada silla y f(x) el costo de fabricarla, lo cual significa que el costo es igual a multiplicar 350 por cada silla y sumarle el gasto fijo. Es decir: f(x) = 350x + 2.000 Por lo que el valor de la variable independiente x para la primera pregunta es 2. Para encontrar la respuesta sustituimos el valor de dicha variable en el criterio de la funcin. f(2) = 350 2 + 2.000

f(2) = 700 + 2.000 f(2) = 2.700 Entonces si hace solamente 2 sillas en un da, gastara $2.700 en hacerlas. De esto podemos decir que 2 es la preimagen de 2.700. Adems: f(4) = 350 4 + 2.000 = 3.400 f(6) = 350 6 + 2.000 = 4.100 f(8) = 350 8 + 2.000 = 4.800 Tenemos, entonces: fD = {2, 4, 6, 8} Codominio: {2.700, 3.400, 4.100, 4.800} Ejemplo 6 Tenemos f(x)= x2 6x +7 Cul es la imagen de 10? Dado que nos preguntan por la imagen esto significa que 10 es una preimagen por lo que x = 10 f(10) = 102 6 10 + 7 f(10) = 100 60 + 7 f(10) = 47 Clculo de la preimagen Para calcular la preimagen de una funcin, conociendo la imagen y el criterio (el miembro de la derecha de la ecuacin), se iguala el criterio de la funcin con la imagen que se tiene. Despejando la incgnita de la ecuacin que se forma se determina el valor de la variable.

Quizs la idea central en la matemtica sea el concepto de funcin. En la historia de la matemtica, parece ser REN DESCARTES quien introdujo primeramente en el ao de 1637 el concepto de funcin, para significar la potencia entera de la variable x. Posteriormente LEIBNIZ (1646 1716) utiliz dicho concepto para denotar las cantidades asociadas a una curva. LEONHARD EULER (1706 1783) lo utiliz luego para identificar la relacin entre variable y constantes en una frmula. Pero, la definicin que se usa actualmente de funcin es debida a DIRICHLET (1805 1859) la cual describe a una funcin como una regla de correspondencia entre dos conjuntos. Intuitivamente se considera que la cantidad y es funcin de la cantidad x, si existe alguna regla, ley o procedimiento que permita asignar un valor nico de y, para cada valor que se considere de x, dentro de cierto conjunto posible de valores. Muchas veces es posible expresar dicha regla o ley por medio de una ecuacin matemtica como ocurre por ejemplo, con el rea y de un crculo, en funcin del radio x ; y = x2; otras veces es difcil o an imposible hallar la frmula matemtica que relaciona las variables x e y aunque siga siendo posible la asignacin de un valor nico de y para cada valor de x. Lo que interesa realmente es poder determinar un conjunto de pares ordenados (x, y), independientemente de si la ley o regla que relaciona las variables x e y es de tipo matemtico, emprica o simplemente descriptiva.

Definiciones.

i. Sean A y B dos conjuntos no vacios. Una funcin de A en B, es una regla de correspondencia que asocia a cada elemento x de A un nico elemento y de B. Se usan indistintamente los smbolos:

para expresar que "f" es una funcin de A en B y que adems, al elemento x de A, le corresponde el elemento y (imagen de x mediante f) de B.

ii. Al conjunto A se le llama: dominio de la funcin y se denotar por el smbolo D(f). Igualmente, al subconjunto de B, formado por todas las imgenes de los elementos de A, se le llama: rango de la funcin y se denotar por el smbolo r(f). Observaciones. i. Para los conceptos del clculo que se desarrollarn posteriormente, los conjuntos A y B mencionados anteriormente son por lo general, subconjuntos de R, de esta forma la funcin: se llamar funcin real de variable real.

ii.

En la expresin que expresa la correspondencia entre los elementos x de A con los y de B, la letra x se llama: variable independiente y la letra y: variable dependiente.

En el siguiente ejemplo, se ilustran los conceptos establecidos hasta ahora. Considere por ejemplo los conjuntos: y diagrama: , y la funcin definida por medio del

Se tiene entonces: La imagen del elemento a mediante f es 5. Es decir, f(a) = 5 La imagen del elemento b mediante f es 3. Es decir, f(b) = 3 La imagen del elemento c mediante f es 7. Es decir, f(c) = 7 La imagen del elemento d mediante f es 0. Es decir, f(d) = 0 La imagen del elemento e mediante f es 5. Es decir, f(e) = 5 . Ahora,

En lo sucesivo, cuando no se mencionen los conjuntos A y B de una funcin, sino, solamente la regla o correspondencia, entre sus elementos, se entender que tanto A como B son subconjuntos de nmeros reales. En este caso, se dice que el dominio es el conjunto de nmeros reales para los cuales tiene sentido la "regla" o "correspondencia", o mas precisamente, los valores para los cuales f(x) es un nmero real.