Relaciones y funciones

Entender los conceptos de Relacin y de Funcin es de suma importancia en Matemtica. Para lograr esa comprensin es necesario adentrarnos en la nocin de Correspondencia, ya que esta tiene un papel fundamental en las relaciones y funciones. Lo primero es entender que Correspondencia es equivalente a Relacin. En nuestra lengua, decir en relacin a, es equivalente a decir corresponde a. Ejemplos: En una tienda comercial, cada artculo est relacionado con su precio; o sea, a cada artculo le corresponde un precio. En la gua telefnica, cada cliente est relacionado con un nmero; o sea, a cada nombre de la gua le corresponde un nmero. Definicin matemtica de Relacin y de Funcin En matemtica, Relacin es la correspondencia de un primer conjunto, llamado Dominio, con un segundo conjunto, llamadoRecorrido o Rango, de manera que a cada elemento del Dominio le corresponde uno o ms elementos del Recorrido o Rango. Por su parte, una Funcin es una relacin a la cual se aade la condicin de que a cada valor del Dominio le corresponde uno y slo un valor del Recorrido. De las definiciones anteriores podemos deducir que todas las funciones son relaciones, pero no todas las relaciones sonfunciones. Tambin debemos agregar que toda ecuacin es una Relacin, pero no toda ecuacin es una Funcin. Todas las Relaciones pueden ser graficadas en el Plano Cartesiano. Ver: Plano Cartesiano Dados dos conjuntos A y B una relacin definida de A en B es un conjunto de parejas ordenadas (par ordenado) que hacen verdadera una proposicin; dicho de otro modo, una relacin es cualquier subconjunto del producto cartesiano A x B Ejemplo 1. Si A = {2, 3} y B = {1, 4, 5}, encontrar tres relaciones definidas de A en B. Solucin El producto cartesiano de A x B est conformado por las siguientes parejas o pares ordenados: A x B = {(2, 1), (2, 4), (2, 5), (3, 1), (3, 4), (3, 5)}

Y cada uno de los siguientes conjuntos corresponde a relaciones definidas de A en B: R1 = {(2, 1), (3, 1)} R2 = {(2, 4), (2, 5), (3, 4), (3, 5)} R3 = {(2, 4), (3, 5)} La relacin R1 se puede definir como el conjunto de pares cuyo segundo elemento es 1, esto es, R1 = {(x, y) / y = 1}. La relacin R2 est formada por los pares cuyo primer componente es menor que el segundo componente, R2 = {(x, y) / x < y} Y la relacin R3 est conformada por todos los pares que cumplen con que el segundo componente es dos unidades mayor que el primer componente, dicho de otro modo, R3 = {(x, y) / y = x + 2} As, se puede continuar enumerando relaciones definidas a partir de A x B. Como se puede ver, la regla que define la relacin se puede escribir mediante ecuaciones o desigualdades que relacionan los valores de x e y. Estas reglas son un medio conveniente para ordenar en pares los elementos de los dos conjuntos. Ejemplo 2. Dados los conjuntos C = {1, 3} y D = {2, 3, 6}, encontrar todos los pares ordenados (x, y) que satisfagan la relacin R = {(x, y) / x + y = 3} Solucin El producto cartesiano de C x D est formado por los siguientes pares ordenados C x D = {(1, 2), (1, 3), (1, 6), (3, 2), (3, 3), (3, 6)} Las parejas ordenadas que satisfacen que la suma de sus componentes sea igual a 3 son: R = {(1, 2), (3, 6)} Toda relacin queda definida si se conoce el conjunto de partida, el conjunto de llegada y la regla mediante la cual se asocian los elementos. En el ejemplo anterior, el conjunto de partida corresponde al conjunto C, el conjunto de llegada es el conjunto D y la expresin x + y = 3 es la regla que asocia los elementos de los dos conjuntos. Dominio y rango de una relacin El dominio de una relacin es el conjunto de preimgenes; es decir, el conjunto formado por los elementos del conjunto de partida que estn relacionados. Al conjunto de imgenes, esto es, elementos del conjunto de llegada que estn relacionados, se le denomina recorrido o rango. Ejemplo 3

Sea A = {1, 2, 3, 4} y B = {4, 5, 6, 7, 8} y R la relacin definida de A en B determinada por la regla y es el doble de x o y = 2x, encontrar dominio y rango de la relacin. Solucin El total de pares ordenados que podemos formar, o producto cartesiano es: A x B = {(1, 4), (1, 5), (1, 6), (1, 7), (1, 8), (2, 4), (2, 5), (2, 6), (2, 7), (2, 8), (3, 4), (3, 5), (3, 6), (3, 7), (3, 8), (4, 4), (4, 5), (4, 6), (4, 7), (4, 8)} Pero los pares que pertenecen a la relacin R (y = 2x) son solo: R = {(2, 4), (3, 6), (4, 8)} En esta relacin vemos que: 4 es el doble de 2; esto es, 4 es la imagen de 2 bajo R, dicho de otro modo, 2 es preimagen de 4. As, el dominio y rango son: D = {2, 3, 4} Rg = {4, 6, 8} Segn lo que vemos, Qu relacin hay entre el Dominio y el conjunto de partida? En el Dominio falta el elemento 1 del conjunto de partida, por lo tanto el Dominio es un subconjunto de A. Otra pregunta: Todo elemento del conjunto de llegada es elemento del rango? La respuesta es no, pues en el rango faltan el 5 y el 7. Representacin grfica de las relaciones Los pares ordenados se pueden representar grficamente por medio de diagramas sagitales o por medio de puntos en el plano cartesiano. Veamos el siguiente ejemplo. Ejemplo 4 Si A = {1, 2, 3, 4, 5} y B = {1, 3, 5, 7, 9} y R la relacin definida por la regla R = {(x, y) / y = 2x + 1}, graficar R. Solucin Los pares ordenados que pertenecen a la relacin (que cumplen con y = 2x + 1) son: R = {(1, 3), (2, 5), (3, 7), (4, 9)} Y la grfica correspondiente es la siguiente:

Funcin matemtica Definicin La definicin general de funcin hace referencia a la dependencia entre los elementos de dos conjuntos dados. Dados dos conjuntos A y B, una funcin (tambin aplicacin o mapeo) entre ellos es una asociacin6 f que a cada elemento de A le asigna un nico elemento de B. Se dice entonces que A es el dominio (tambin conjunto de partida o conjunto inicial) de f y queB es su codominio (tambin conjunto de llegada o conjunto final). Un objeto o valor genrico a en el dominio A se denomina la variable independiente; y un objeto genrico b del dominio B es la variable dependiente. Tambin se les llama valores de entrada y de salida, respectivamente. Esta definicin es precisa, aunque en matemticas se utiliza una definicin formal ms rigurosa, que construye las funciones como un objeto concreto. Ejemplos

Todos los nmeros reales tienen un cubo, por lo que existe la funcin cubo que a cada nmero en el dominio R le asigna su cubo en el codominio R. Exceptuando al 0, todos los nmeros reales tienen un nico inverso. Existe entonces la funcin inverso cuyo dominio son los nmeros reales no nulos R \ {0}, y con codominio R. Cada mamfero conocido se clasifica en un gnero, como Homo, Sus o Loxodonta. Existe por tanto una funcin clasificacin en

gneros que asigna a cada mamfero de la coleccin M = {mamferos conocidos} su gnero. El codominio de clasificacin en gneros es la coleccin G = {gneros de Mammalia}. Existe una funcin rea que a cada tringulo del plano (en la coleccin T de todos ellos, su dominio), le asigna su rea, un nmero real, luego su codominio es R. En unas elecciones en las que cada votante pueda emitir un nico voto, existe una funcin voto que asigna a cada elector el partido que elija. En la imagen se muestra un conjunto de electores E y un conjunto de partidos P, y una funcin entre ellos. Funciones con mltiples variables Existen muchos ejemplos de funciones que necesitan dos valores para ser calculadas, como la funcin tiempo de viaje T, que viene dada por el cociente entre la distancia d y la velocidad media v: cada pareja de nmeros reales positivos (una distancia y una velocidad) tiene asociada un nmero real positivo (el tiempo de viaje). Por tanto, una funcin puede tener dos (o ms) variables independientes. La nocin de funcin de mltiples variables independientes no necesita de una definicin especfica separada de la de funcin ordinaria. La generalidad de la definicin anterior, en la que se contempla que el dominio sea un conjunto de objetos matemticos arbitrarios, permite omitir la especificacin de dos (o ms) conjuntos de variables independientes, A1 y A2, por ejemplo. En lugar de ello, el dominio se toma como el conjunto de las parejas (a1, a2), con primera componente en A1 y segunda componente en A2. Este conjunto se denomina el producto cartesiano de A1 y A2, y se denota por A1 A2. De este modo las dos variables independientes quedan reunidas en un solo objeto. Por ejemplo, en el caso de la funcin T, su dominio es el conjunto R+ R+, el conjunto de parejas de nmeros reales positivos. En el caso de ms de dos variables, la definicin es la misma, usando un conjunto ordenado de mltiples objetos, (a1,..., an), una n-tupla. Tambin el caso de mltiples variablesdependientes se contempla de esta manera. Por ejemplo, una funcin divisin puede tomar dos nmeros naturales como valores de entrada (dividendo y divisor) y arrojar dos nmeros naturales como valores de salida (cociente y resto). Se dice entonces que esta funcin tiene como dominio y codominio el conjunto N N. Notacin. Nomenclatura La notacin habitual para presentar una funcin f con dominio A y codominio B es:

Tambin se dice que f es una funcin de A a B o entre A y B. El dominio de una funcin f se denota tambin por dom(f), D(f), Df, etc. Por f(a) se resume

la operacin o regla que permite obtener el elemento de B asociado a un cierto a A, denominado la imagende a.6 Ejemplos

La funcin cubo puede denotarse ahora como f: R R, con f(x) = x3 para cada nmero real x. La funcin inverso es g: R \ {0} R, con g(x) = 1/x para cada x real y no nulo. La funcin clasificacin en gneros puede escribirse como : M G, donde (m) = Gnero de m, para cada mamfero conocidom. La funcin rea se puede denotar como A: T R, y entonces A(t) = rea de t = B H/2, donde t es un tringulo del plano, B subase, y H su altura. La funcin voto se puede escribir como v: E P, donde v(a) = Partido que a vot, para cada votante a.

La notacin utilizada puede ser un poco ms laxa, como por ejemplo la funcin f(n) = n. En dicha expresin no se especifica que conjuntos se toman como dominio y codominio. En general, estos vendrn dados por el contexto en el que se especifique dicha funcin. En el caso de funciones de varias variables (dos, por ejemplo), la imagen del par (a1, a2) no se denota por f((a1, a2)), sino porf(a1, a2), y similarmente para ms variables. Existen adems terminologas diversas en distintas ramas de las matemticas para referirse a funciones con determinados dominios y codominios. Algunas bastante extendidas son: Funcin real. f: R R Funcin compleja. f: C C n Funcin escalar. f: R R n m Funcin vectorial. f: R R

En particular, las palabras funcin, aplicacin, mapeo, u otras como operador, funcional, etc. pueden designar tipos concretos de funcin segn el contexto. Imagen e imagen inversa Artculo principal: Conjunto imagen.

Dado un conjunto de votantes y un conjunto de posible partidos, en unas elecciones, el sentido del voto de cada individuo se puede visualizar como una funcin. Los elementos del codominio B asociados con algn elemento del dominio Aconstituyen la imagen de la funcin. Dada una funcin f : A B, el elemento de B que corresponde a un cierto elemento a del dominio A se denomina la imagen de a, f(a). El conjunto de las imgenes de cada elemento del dominio es la imagen de la funcin f (tambin rango orecorrido de f). El conjunto de las imgenes de un subconjunto cualquiera del dominio, X A, se denomina la imagen de X. La imagen de una funcin f se denota por Im(f), y la de un subconjunto X por f(X) of[X]. En notacin conjuntista las imgenes de f y X se denotan:

La anti-imagen de cada partido es el conjunto de los electores que lo votaron. La imagen de una funcin f es un subconjunto del codominio de la misma, pero no son necesariamente iguales: pueden existir elementos en el codominio que no son la imagen de ningn elemento del dominio, es decir, que no tienen preimagen. La imagen inversa (tambin anti-imagen o preimagen) de un elemento b del codominio B es el conjunto de elementos del dominio A que tienen a b por imagen. Se denota por f1(b). La imagen inversa de un subconjunto cualquiera del codominio, Y B, es el conjunto de las preimgenes de cada elemento de Y, y se escribe f1(Y). As, la preimagen de un elemento del codominio puede no contener ningn objeto o, por el contrario, contener uno o ms objetos, cuando a uno o varios elementos del dominio se les asigna dicho elemento del codominio. En notacin conjuntista, se escriben:

Ejemplos

La imagen de la funcin cubo f es todo R, ya que todo nmero real posee una raz cbica real. En particular, las races cbicas de los nmeros positivos (negativos) son positivas (negativas), por lo que se tiene, por ejemplo, f1(R+) = R+. El recorrido de la funcin inverso g no es igual a su codominio, ya que no hay ningn nmero real x cuyo inverso sea 0, 1/x = 0. Para la funcin clasificacin en gneros se tiene: (Perro) = Canis, y 1(Canis) = {Perro, coyote, chacal,...}.

Como el rea es siempre un nmero positivo, el recorrido de la funcin rea A es R+. En el diagrama puede comprobarse que la imagen de la funcin voto v no coincide con el codominio, ya que el partido C no recibi ningn voto. Sin embargo puede verse que, por ejemplo, v1(Partido A) tiene 2 elementos. Igualdad de funciones Dadas dos funciones, para que sean idnticas han de tener el mismo dominio y codominio, y asignar la misma imagen a cada elemento del dominio: Dadas dos funciones f : A B y g : C D, son iguales o idnticas si se cumple:

Tienen el mismo dominio: A = C Tienen el mismo codominio: B = D

Asignan las mismas imgenes: para cada x A = B, se tiene que f(x) = g(x) Funciones inyectivas, suprayectivas y biyectivas Artculos principales: Funcin inyectiva, Funcin suprayectiva y Funcin biyectiva. La imagen inversa de un elemento del codominio puede ser vaca, o contener varios objetos del dominio. Esto da lugar a la siguiente clasificacin: Funciones Inyectiva No inyectiva

Sobreyectiva

Biyectiva

No sobreyectiva

Se dice que una funcin f : A B es inyectiva si las imgenes de elementos distintos son distintas:

o, de modo equivalente, si slo asigna imgenes idnticas a elementos idnticos:

Una funcin f : A B se dice suprayectiva (o sobreyectiva) si su imagen es igual a su codominio:

o, de modo equivalente, si todo elemento del codominio es la imagen de algn elemento del dominio:

Las funciones inyectivas no repiten las imgenes: si b = f(a), ningn otro a' tiene por imagen a b, por lo que la anti-imagen de este ltimo slo contiene al elemento a. Las funciones suprayectivas recorren todo el codominio, por lo que ninguna anti-imagen puede estar vaca. La definicin de funcin suprayectiva asume que esta tiene un codominio especificado previamente. De lo contrario, la nocin de suprayectividad no tiene sentido. Cuando una funcin tiene ambas propiedades a la vez, se dice que es una biyeccin entre ambos conjuntos: Una funcin f : A B se dice biyectiva si es inyectiva y suprayectiva. Las funciones biyectivas constituyen un emparejamiento perfecto entre los elementos del dominio y el codominio: cada elemento enA tiene una nica pareja en B como todas las funciones, y a cada elemento de B le corresponde uno solo en A al menos uno por ser suprayectiva, y como mucho uno por ser inyectiva. Ejemplos.

La funcin cubo f: R R es biyectiva. Es inyectiva porque dos nmeros reales que tienen el mismo cubo son idnticos, y es suprayectiva porque Im(f) = R. La funcin inverso g: R \ {0} R es inyectiva, ya que el inverso de cada nmero real no nulo es nico (1/x = 1/y implica necesariamente que x = y). Sin embargo no es suprayectiva, dado que Im(g) = R \ {0}. La funcin de clasificacin de mamferos : M G no es inyectiva, ya que hay mamferos distintos en el mismo gnero (por ejemplo, (Yak) = (Toro) = Bos). Sin embargo s es suprayectiva, ya que en cada gnero de mamferos hay clasificada al menos una especie de mamferos. La funcin rea A: T R no es sobreyectiva, ya que Im(A) = R+. Tampoco es inyectiva, ya que pueden construirse con facilidad tringulos distintos con el mismo rea.

En la imagen pueden verse varios ejemplos de funciones entre un conjunto de pinceles P y un conjunto de caras C. lgebra de funciones Con las funciones puede realizarse una operacin de composicin con propiedades similares a las de la multiplicacin. Composicin de funciones

La composicin g f acta sobre el objeto x transformndolo segn f, y despus transformando f(x) mediante g. Artculo principal: Composicin de funciones. Dadas dos funciones, bajo ciertas condiciones podemos usar los valores de salida de una de ellas como valores de entrada para la otra., creando una nueva funcin. Sean dos funciones f : A B y g : C D, tales que el recorrido de la primera est contenido en el dominio de la segunda, Im(f) C. Entonces puede formarse la composicin de g con f, la funcin g f : A D que a cada a en el dominio A le asocia el elemento (g f)(a) = g(f(a)).

Es decir, la composicin g f hace actuar primero la funcin f sobre un elemento de A, y luego g sobre la imagen que se obtenga:

La condicin Im(f) C asegura precisamente que este segundo paso se pueda llevar a cabo. Ejemplos

La imagen de la funcin inverso g es R \ {0} puesto que todo nmero real no nulo es el inverso de otro, y por tanto est contenido en el dominio de la funcin cubo f, que es R. La composicin f g: R \ {0} R acta entonces como f(g(x)) = f(1/x) = (1/x)3 = 1/x3. Dadas las funciones reales h1: R R y h2: R R dadas por h1(x) = x2 y h2(x) = x + 1, puede tomarse la composicin en ambos rdenes, h1 h2 y h2 h1. Sin embargo, son funciones distintas, ya que: (h1 h2)(x) = h1(h2(x)) = h1(x + 1) = (x + 1)2 = x2 + 2x + 1, y (h2 h1)(x) = h2(h1(x)) = h2(x2) = x2 + 1

La funcin que clasifica los mamferos en gneros puede componerse con la funcin : G Or que clasifica los gneros de mamferos en rdenes que forman el conjunto Or. La funcin asigna a cada mamfero su orden:

( )(Humano) = (Homo) = Primate, ( )(Guanaco) = (Lama) = Artiodactyla Funcin identidad Artculo principal: Funcin identidad. En cualquier conjunto puede definirse una funcin identidad, que teniendo como dominio y codominio al propio conjunto, asocia cada elemento consigo mismo. Dado un conjunto A, la funcin identidad de A es la funcin idA : A A que a cada a A le asocia idA(a) = a. Tambin se denota como IA. La funcin identidad acta como un elemento neutro al componer funciones, ya que no hace nada. Dada una funcin cualquiera f : A B se tiene:

Es decir, dado un elemento x A, se tiene que:

Funcin inversa Artculo principal: Funcin inversa. Una funcin puede tener inversa, es decir, otra funcin que al componerla con ella resulte en la identidad, del mismo modo que un nmero multiplicado por su inverso da 1. Dada una funcin f : A B, se dice que g : B A es la inversa o recproca de f si se cumple:

La inversa se denota por g = f1, y tanto f como f1 se dicen invertibles. No todas las funciones son invertibles, sino que solo aquellas que sean biyectivas poseen inversa: Toda funcin biyectiva f es invertible, y su inversa f1 es biyectiva a su vez. Recprocamente, toda funcin invertible f es biyectiva. La notacin para funciones inversas puede ser confusa. Para un elemento del codominio b, f1(b) puede denotar tanto la anti-imagen de b (un subconjunto del dominio), como a la imagen de b por la funcin inversa de f (un elemento del dominio), en el caso de que fsea invertible. Ejemplos.

La funcin exponencial h: R R, que asocia a cada nmero real su exponencial, h(x) = ex, no es invertible, ya que no es suprayectiva: ningn nmero negativo pertenece a la imagen de h. Existe una funcin que calcula el cambio entre dos divisas. En el caso del cambio de rupias a quetzales (las monedas de la India yGuatemala), la conversin est dada (en 2011) por: Q(r) = 0,15 r Esta funcin de cambio tiene inversa, la conversin recproca de quetzales a rupias: R(q) = 6,65 q La funcin cubo f(x) = x3 es invertible, ya que podemos definir la funcin inversa mediante la raz cbica, f1(x) = 3x.

La funcin de clasificacin en gneros : M G no es invertible, ya que no es inyectiva, y para cada gnero pueden existir varios mamferos clasificados en l. La funcin que asigna a cada da de la semana su siguiente tiene por inversa la funcin que asigna a cada da de la semana su antecesor:

Lunes Domingo, Martes Lunes,..., Domingo Lunes Restriccin y extensin Artculo principal: Restriccin de una funcin.

La funcin que asigna a cada mujer del electorado su voto es una restriccin de la funcin que a cada miembro del electorado le asigna su voto. La restriccin de una funcin dada es otra funcin definida en una parte del dominio de la original, pero que acta igual que esta. Se dice tambin que la primera es una extensin de la segunda. Dadas dos funciones f : A B y g : C D, de forma que el dominio de g sea un subconjunto del dominio de f, C A, y cuyas imgenes coinciden en este subconjunto:

se dice entonces que g es la restriccin de f al subconjunto C, y que f es una extensin de g. La restriccin de una funcin f: A B a un subconjunto C A se denota por f|C. Representacin de funciones Artculo principal: Representacin grfica de una funcin.

Las funciones se pueden presentar de distintas maneras:

usando una relacin matemtica descrita mediante una expresin matemtica: ecuaciones de la forma . Cuando la relacin es funcional, es decir satisface la segunda condicin de la definicin de funcin, se puede definir una funcin que se dice definida por la relacin, A menos que se indique lo contrario, se supone en tales casos que el dominio es el mayor posible (respecto a inclusin) y que el codominio son todos los Reales. El dominio seleccionado se llama el dominio natural, de la funcin. Ejemplo: y=x+2. Dominio natural es todos los reales. Ejemplo: "Para todo x, nmero entero, y vale x ms dos unidades".

Como tabulacin: tabla que permite representar algunos valores discretos de la funcin.

Ejemplo:

Como pares ordenados: pares ordenados, muy usados en teora de grafos.

Ejemplo: A={(-2, 0),(-1, 1),(0, 2),(1, 3),... (x, x+2)}

Como grfica: grfica que permite visualizar las tendencias en la funcin. Muy utilizada para las funciones continuas tpicas delclculo, aunque tambin las hay para funciones discretas. 5 4 3 2 1 0 y/x X -2 -1 0 1 2 3 X X X X X

Ejemplo:

Definicin formal Las funciones pueden definirse en trminos de otros objetos matemticos, como los conjuntos y los pares ordenados. En particular, una funcin es un caso particular de relacin binaria, luego su esta definicin est basada en la que se adopte para las relaciones. En el enfoque extensivo se identifica una funcin con su grfica: Una funcin es un conjunto f de pares ordenados tal que no contiene dos pares distintos con la misma primera componente:

El dominio (la imagen) de la funcin es entonces el conjunto de primeras (segundas) componentes:

En la definicin extensiva no aparece el concepto de codominio como conjunto potencial donde est contenido el recorrido. En algunas reas de las matemticas es importante preservar esta distincin, y por tanto se usa una definicin distinta:7 Una funcin es una terna de conjuntos f = (A, B, G(f)), el dominio, el codominio y el grafo de f, tales que: 1. G(f) A B 2. Todo elemento del dominio tiene imagen: para cada a A, existe un b B tal que (a, b) G(f) 3. Esta imagen es nica: si (a, b), (a, c) G(f), entonces b = c. De este modo, puede imponerse que dos funciones con el mismo grafo sean distintas por tener codominio distinto.