C.3).- Factorizacin de monomios y polinomios. C.2a).- Factorizacin de un monomio. C.2b).- factorizacin de un polinomio. C.4).- Factor comn. C.4 a).

- Factor comn monomio. C.4 b).- Factor comn polinomio. C.5).- Trinomio cuadrado perfecto. C.6).- Binomio cuadrado perfecto. C.6 a).- Regla para factorizar una diferencia de cuadrados. C.7).- Trinomio de la forma x2 + bx +c. C.8).- Cubo perfecto de un binomio. c).- Binomio de Newton d).- Caso e).- Ecuaciones cuadrticas. e-a).- Grficas e interpretaciones e-b).- Aplicaciones. Teorema fundamental del lgebra.

FACTORIZACIN DE UN POLINOMIO: Como veremos no todo polinomio se

puede se puede descomponer en dos o mas factores distintos de 1, pues en el mismo modo que en aritmtica, hay nmeros primos que solo son divisibles por ellos

mismos y por 1, hay expresiones algebraicas que slo son divisibles por ellos mismos y por 1, y que , por lo tanto, o son el producto de otras expresiones algebraicas, el teorema fundamental del lgebra puede dar la respuesta de cuando se puede obtener una descomposicin.

Factor comn

El caso mas simple es cuando todos los trminos de un monomio o en general un polinomio tienen un factor comn.

a).- Factor comn monomio. Se pretende descomponer en factores la expresin algebraica: .

Como los factores de la expresin son y , los cuales tienen en comn a escribiremos al factor comn como coeficiente de la expresin teniendo

b).- Factor comn polinomio.

Se pretende descomponer la expresin Los trminos que y tienen en comn el factor

. por lo

Como podemos observar en ambos casos, factor comn monomio y factor comn

polinomio, cada uno de los trminos de la expresin original se puede dividir por el factor comn. Ejemplos: Expresin algebraica 2+2x x(a + b) + m(a + b) 3x2 + 3 2x+1 3x2 + 1 Factor comn 2 (a + b) 3 Ninguno Ninguno descomposicin 2 + 2x =2(1+x)
x(a + b) + m(a + b) = (x + m)(a + b)

3x2 + 3 = 3(x2+1)

En el ltimo ejercicio se muestra una expresin de grado dos y la descomposicin no se puede realizar.

polinomio, cada uno de los trminos de la expresin original se puede dividir por el factor comn. Ejemplos:

En el ltimo ejercicio se muestra una expresin de grado dos y la descomposicin no se puede realizar.

TRINOMIO CUADRADO PERFECTO.

Se dice que una expresin es un cuadrado perfecto cuando la expresin se puede descomponer como producto de un mismo factor.

Por ejemplo: 1.- Se puede expresar como 9x2 como 9x2= (3x)(3x) 2.- x4 se puede descomponer como x4=(x2 )(x2)

Un trinomio es cuadrado perfecto es el cuadrado de un binomio, o el producto de dos binomios iguales. Por ejemplo: x2 + 2xy + y2 se puede expresar como:

Nota cuando se utiliza el signo mas la expresin es:

(x + y )2 = (x + y) (x + y ) = x2 + 2xy + y2

con signo menos: (x - y )2 = (x - y) (x - y ) = x2 - 2xy + y2

o en una sola expresin:

(x + y )2 = (x + y) (x + y ) = x2 + 2xy + y2

Tambin se lee como: El cuadrado de un binomio es igual al cuadrado del primer trmino mas o menos, segn el caso, el doble producto del primero por el segundo mas el cuadrado del segundo. Ejemplos de Trinomios cuadrados perfectos x2 /4 + xy + y2 = ( x/2 + y ) 2 = (x/2 + y) (x/2 + y ) 4x2 + 12xy + 9y2 = ( 2x + 3y ) 2 = (2x + 3y) (2x + 3y ) x2 /4 - 2xy + 4y2 = ( x/2 - 2y ) 2 = ( x/2 - 2y ) ( x/2 - 2y ) 25a2 + 30ab + 9b2 = ( 5a + 3b ) 2 = ( 5a + 3b ) ( 5a + 3b )

DIFERENCIA DE CUADRADOS PERFECTOS.

En los productos notables se vio que la suma de dos cantidades multiplicados por su diferencia es igual al cuadrado del minuendo menos el cuadrado del sustraendo, o sea

Se conoce como diferencia de cuadrados a la expresin formada por el producto de una suma de dos trminos y la diferencia de los mismos trminos.

(x + y ) (x y) = x2 y2

Regla para factorizar una diferencia de cuadrados.

Dada la diferencia de cuadrados, x2 y2, se saca la raz a los dos trminos, considerando la raz positiva y se multiplica la suma de las dos races por la diferencia de las dos races.

Ejemplos

TRINOMIO DE LA FORMA x2 + bx +c. La descomposicin de factores de la forma x2 + bx +c depende de los valores de b y c, positivos o negativos (ecuacin de segundo grado).

Ejemplos:

Ejemplos de expresiones algebraicas de segundo grado de la forma x2 + bx +c x2 -2x +1= (x -1)(x -1) = (x -1)2

x2 -2x +5 no se puede descomponer en el campo de los reales. x2 -2x-5=(x - 5/2)(x +1/2) (ver solucin de ecuaciones cuadrticas). CUBO PERFECTO DE UN BINOMIO.

La forma de una expresin algebraica que representa un cubo perfecto de un binomio es dada por:

(x + y)3= x3 +3x2y + 3xy2 + y3

generalmente se expresa como:

El cubo de un binomio es igual al cubo del primero mas, o menos, el triple producto del primer termino al cuadrado por el segundo mas el triple producto del primero por el cuadrado del segundo mas, o menos, el segundo al cuadrado.

Ejemplos: Ejemplos de cubo perfecto de un binomio a3x3 + 3ba2x2y + 3ab2xy2 +b3y3 = (ax + by)3 8x3 + 36x2y + 54xy2 +27y3 = (2x + 3y)3 1/27x3 + x2y + 9xy2 +27y3 = (1/3x + 3y)3 x3 + 3/2x2y + 3/4xy2 + 1/8y3 = (x + 1/2y)3 Se puede desarrollar expresiones, no solo cuadrado o cubos de binomios perfectos, sino para expresiones de binomios a mayor grado, sin embargo es mejor analizar el teorema del binomio de Newton que agrupa a todos estos desarrollos incluyendo los cuadrados o cubos de binomios.

EL TEOREMA DEL BINOMIO

El teorema del binomio, descubierto hacia 1664 -1665, fue comunicado por primera vez en dos cartas dirigidas en 1676 a Henry Oldenburg (hacia 1615-1677), secretario de la Royal Society que favoreca los intercambios de correspondencia entre los cientficos de su poca. En la primera carta, fechada el 13 de junio de 1676, en respuesta a una peticin de Leibniz que quera conocer los trabajos de matemticos ingleses sobre series infinitas, Newton presenta el enunciado de su teorema y un ejemplo que lo ilustra, y menciona ejemplos conocidos en los cuales se aplica el teorema. Leibniz responde, en una carta fechada el 17 de agosto del mismo ao, que est en posesin de un mtodo general que le permite obtener diferentes resultados sobre las cuadraturas, las series, etc., y menciona algunos de sus resultados. Interesado por las investigaciones de Leibniz, Newton le responde tambin con una carta fechada el 24 de octubre en la que explica en detalle cmo ha descubierto la serie binmica. El descubrimiento de la generalizacin de la serie binmica es un resultado importante de por s; sin embargo, a partir de este descubrimiento Newton tuvo la intuicin de que se poda operar con series infinitas de la misma manera que con expresiones polinmicas finitas. El anlisis mediante las series infinitas pareca posible, porque ahora resultaban ser una forma equivalente para expresar las funciones que representaban. Newton no public nunca el teorema del binomio. Lo hizo Wallis por primera vez en 1685 en su Algebra, atribuyendo a Newton este descubrimiento.

Como sabemos de los temas de factorizacin, anteriores podemos desarrollar fcilmente polinomios de la forma a2 + 2ab + b2 o a3 + 3a2b +3ab2 + b3 , sin embargo el realizar operaciones con potencias de mayor grado resulta tedioso, a continuacin presentamos algunos de ellos.

(a + b)1 = a + b

(a + b)2 = a2 + 2ab + b2

(a + b)3 = a3 + 3a2b +3ab2 + b3

(a + b)4 = a4 + 4a3b + 6a2b2 + 4ab3 + b4

(a +b)5 = a5 + 5a4b +10a3b2 10a2b3 + 5ab4 + b5

debido a lo tedioso de estos clculos se hace necesario el uso de alguna expresin que nos permita adquirir los binomios de mayor potencia. La expresin que se muestra a continuacin es conocido como el teorema de Newton, permite desarrollar los clculos anteriores y de mayor grado:

Donde

Es la combinatoria, se lee, de n elementos tomados r, donde n!=1234..(n-1) n conocido como factorial de n y 0!=0, 1!=1

Ejemplos:

pero podemos ver que:

con esta igualdad es fcil de calcular expresiones mas grandes con menos operaciones, por ejemplo:

Vemos que:

Entonces :

Un caso particular del binomio de Newton es el siguiente:

Ejemplos de la forma a n - b n : Con n = 0

Con n = 1 Con n = 2 Ejemplos de la forma a n - b n :

Suma y Resta
1. si los nmeros tienen el mismo signo se suman se deja el mismo signo. 3+5=8 (3) + (5) = 8 2. si nmeros tienen distinto signo, se restan y al resultadose le coloca el signo del nmero con mayor valor absoluto. 3+5=2 3 + (5) = 2

Multiplicacin y Divisin + por + = + - por - = + + por - = - por + = (2)(5) = 10 (2)(5) = 10 (2)(5) = 10 (2)(5) = 10 (10)(5) = 2 (10)(5) = 2 (10)(5) = 2 (10)(5) = 2

la ley quedaria establecida como, signos iguales dan positivo, signos diferentes dan negativo.
Leyes de los exponentes Los exponentes tambin se llaman potencias o ndices El exponente de un nmero dice cuntas veces se multiplica el nmero. En este ejemplo: 82 = 8 8 = 64

En palabras: 82 se puede leer "8 a la segunda potencia", "8 a la potencia 2" o simplemente "8 al cuadrado"

Todo lo que necesitas saber... Todas las "Leyes de los Exponentes" (o tambin "reglas de los exponentes") vienen de tres ideas: El exponente de un nmero dice multiplica el nmero por s mismo tantas veces

Lo contrario de multiplicar es dividir, as que un exponente negativo significa dividir

Un exponente fraccionario como 1/n quiere decir hacer la raz n-sima:

Si entiendes esto, entonces entiendes todos los exponentes! Y todas las reglas que siguen se basan en esas ideas. Leyes de los exponentes Aqu estn las leyes (las explicaciones estn despus):

Ley x1 = x x0 = 1 x-1 = 1/x xmxn = xm+n xm/xn = xm-n (xm)n = xmn (xy)n = xnyn (x/y)n = xn/yn x-n = 1/xn

Ejemplo 61 = 6 70 = 1 4-1 = 1/4 x2x3 = x2+3 = x5 x4/x2 = x4-2 = x2 (x2)3 = x23 = x6 (xy)3 = x3y3 (x/y)2 = x2 / y2 x-3 = 1/x3

Explicaciones de las leyes Las tres primeras leyes (x1 = x, x0 = 1 y x-1 = 1/x) son slo parte de la sucesin natural de exponentes. Mira este ejemplo: Ejemplo: potencias de 5 ... etc... 52 51 50 5-1 155 15 1 15 25 5 1 0.2

5-2

155 ... etc...

0.04

vers que los exponentes positivos, cero y negativos son en realidad parte de un mismo patrn, es decir 5 veces ms grande (o pequeo) cuando el exponente crece (o disminuye). La ley que dice que xmxn = xm+n En xmxn, cuntas veces multiplicas "x"? Respuesta: primero "m" veces, despusotras "n" veces, en total "m+n" veces. Ejemplo: x2x3 = (xx) (xxx) = xxxxx = x5 As que x2x3 = x(2+3) = x5 La ley que dice que xm/xn = xm-n Como en el ejemplo anterior, cuntas veces multiplicas "x"? Respuesta: "m" veces, despus reduce eso"n" veces (porque ests dividiendo), en total "m-n" veces. Ejemplo: x4-2 = x4/x2 = (xxxx) / (xx) = xx = x2 (Recuerda que x/x = 1, as que cada vez que hay una x "sobre la lnea" y una "bajo la lnea" puedes cancelarlas.) Esta ley tambin te muestra por qu x0=1 : Ejemplo: x2/x2 = x2-2 = x0 =1 La ley que dice que (xm)n = xmn Primero multiplicas x "m" veces. Despus tienes que hacer eso "n" veces, en total mn veces. Ejemplo: (x3)4 = (xxx)4 = (xxx)(xxx)(xxx)(xxx) = xxxxxxxxxxxx = x12 As que (x3)4 = x34 = x12 La ley que dice que (xy)n = xnyn Para ver cmo funciona, slo piensa en ordenar las "x"s y las "y"s como en este ejemplo: Ejemplo: (xy)3 = (xy)(xy)(xy) = xyxyxy = xxxyyy = (xxx)(yyy) = x3y3 La ley que dice que (x/y)n = xn/yn Parecido al ejemplo anterior, slo ordena las "x"s y las "y"s

Ejemplo: (x/y)3 = (x/y)(x/y)(x/y) = (xxx)/(yyy) = x3/y3 La ley que dice que Para entenderlo, slo recuerda de las fracciones que n/m = n (1/m): Ejemplo: Y eso es todo Si te cuesta recordar todas las leyes, acurdate de esto: siempre puedes calcular todo si entiendes las tres ideas de la parte de arriba de esta pgina. Ah, una cosa ms... Qu pasa si x= 0? Exponente positivo (n>0) Exponente negativo (n<0) Exponente = 0 El extrao caso de 00 Hay dos argumentos diferentes sobre el valor correcto. 00 podra ser 1, o quizs 0, as que alguna gente dice que es "indeterminado": x0 = 1, as que ... 0n = 0, as que ... Cuando dudes... 00 = 1 00 = 0 00 = "indeterminado" 0n = 0 No definido! (Porque dividimos entre 0) Ummm ... lee ms abajo!

Funcin matemtica
No debe confundirse con Funcin (informtica).

En la imagen se muestra una funcin entre un conjunto de polgonos y un conjunto de nmeros. A cada polgono le corresponde su nmero de lados.

Una funcin vista como una caja negra, que transforma los valores u objetos de entrada en los valores u objetos de salida

En matemticas, se dice que una magnitud o cantidad es funcin de otra si el valor de la primera depende exclusivamente del valor de la segunda. Por ejemplo elrea A de un crculo es funcin de su radio r: el valor del rea es proporcional alcuadrado del radio, A = r2. Del mismo modo, la duracin T de un viaje de tren entre dos ciudades separadas por una distancia d de 150 km depende de la velocidad v a la que este se desplace: la duracin es inversamente proporcional a la velocidad, T = d / v. A la primera magnitud (el rea, la

duracin) se la denominavariable dependiente, y la cantidad de la que depende (el radio, la velocidad) es lavariable independiente. De manera ms abstracta, el concepto general de funcin, aplicacin o mapeose refiere en matemticas a una regla que asigna a cada elemento de un primer conjunto un nico elemento de un segundo conjunto. Por ejemplo, cada nmero entero posee un nico cuadrado, que resulta ser un nmero natural (incluyendo elcero):

... 2 +4, 1 +1, 0 0, +1 +1, +2 +4, +3 +9, ...

Esta asignacin constituye una funcin entre el conjunto de los nmeros enteros Z y el conjunto de los nmeros naturales N. Aunque las funciones que manipulan nmeros son las ms conocidas, no son el nico ejemplo: puede imaginarse una funcin que a cada palabra del espaol le asigne su letra inicial:

..., Estacin E, Museo M, Arroyo A, Rosa R, Avin A, ...

Esta es una funcin entre el conjunto de las palabras del espaol y el conjunto de las letras del alfabeto espaol. La manera habitual de denotar una funcin f es: f: A B a f(a), donde A es el dominio de la funcin f, su primer conjunto o conjunto de partida; e B es elcodominio de f, su segundo conjunto o conjunto de llegada. Por f(a) se denota la regla oalgoritmo para obtener la imagen de un cierto objeto arbitrario a del dominio A, es decir, el (nico) objeto de B que le corresponde. En ocasiones esta expresin es suficiente para especificar la funcin por completo, infiriendo el dominio y codominio por el contexto. En el ejemplo anterior, las funciones cuadrado e inicial, llmeseles f y g, se denotaran entonces como: f: Z N k k2, o sencillamente f(k) = k2; g: V A p Inicial de p; si se conviene V = {Palabras del espaol} y A = {Alfabeto espaol}. Una funcin puede representarse de diversas formas: mediante el citado algoritmo para obtener la imagen de cada elemento, mediante una tabla de valores que empareje cada valor de la variable independiente con su imagen como las mostradas arriba, o como unagrfica que d una imagen de la funcin.

ndice
[ocultar]

1 Historia 2 Introduccin 3 Definicin

o o o o

3.1 Funciones con mltiples variables 3.2 Notacin. Nomenclatura 3.3 Imagen e imagen inversa 3.4 Igualdad de funciones

4 Funciones inyectivas, suprayectivas y biyectivas 5 lgebra de funciones

o o o o

5.1 Composicin de funciones 5.2 Funcin identidad 5.3 Funcin inversa 5.4 Restriccin y extensin

6 Representacin de funciones 7 Definicin formal 8 Vase tambin 9 Referencias 10 Enlaces externos

Historia

Gottfried Leibniz acu el trmino funcin en en siglo XVII.

El concepto de funcin como un objeto matemtico independiente, susceptible de ser estudiado por s solo, no apareci hasta los inicios del clculo en el siglo XVII.1 Ren Descartes, Isaac Newton y Gottfried Leibniz establecieron la idea de funcin como dependencia entre dos cantidades variables. Leibniz en particular acu los trminos funcin, variable, constante y parmetro. La notacin f(x) fue utilizada por primera vez por A.C. Clairaut, y por Leonhard Euleren su obra Commentarii de San petersburgo en 1736.2 3 4 Inicialmente, una funcin se identificaba a efectos prcticos con una expresin analtica que permita calcular sus valores. Sin embargo, esta definicin tena algunas limitaciones: expresiones distintas pueden arrojar los mismos valores, y no todas las dependencias entre dos cantidades pueden expresarse de esta manera. En 1837 Dirichlet propuso la definicin moderna de funcin numrica como una correspondencia cualquiera entre dos conjuntos de nmeros, que asocia a cada nmero en el primer conjunto un nico nmero del segundo. La intuicin sobre el concepto de funcin tambin evolucion. Inicialmente la dependencia entre dos cantidades se imaginaba como un proceso fsico, de modo que su expresin algebraica capturaba la ley fsica que corresponda a este. La tendencia a una mayor abstraccin se vio reforzada a medida que se encontraron ejemplos de funciones sin expresin analtica o representacin geomtrica sencillas, o sin relacin con ningn fenmeno natural; y por los ejemplos patolgicos como funciones continuas sin derivada en ningn punto. Durante el siglo XIX Julius Wilhelm Richard Dedekind, Karl Weierstrass, Georg Cantor, partiendo de un estudio profundo de losnmeros reales, desarrollaron la teora de funciones, siendo esta teora independiente del sistema de numeracinempleado.[cita requerida] Con el desarrollo de la teora de conjuntos, en los siglos XIX y XX surgi la definicin actual de funcin, como una correspondencia entre dos conjuntos de objetos cualesquiera, no necesariamente numricos.5 Tambin se asoci con otros conceptos vinculados como el de relacin binaria.

Introduccin

Representacin Grfica de la trayectoria de un cuerpo acelerando a 0,66 m/s 2.

Una funcin es un objeto matemtico que se utiliza para expresar la dependencia entre dos magnitudes, y puede presentarse a travs de varios aspectos complementarios. Un ejemplo habitual de funcin numrica es la relacin entre laposicin y el tiempo en el movimiento de un cuerpo. Un mvil que se desplaza con una aceleracin de 0,66 m/s2 recorre una distanciad que est en funcin del tiempo transcurrido t. Se dice que d es la variable dependiente de t, la variable independiente. Estas magnitudes, calculadas a priori o medidas en un experimento, pueden consignarse de varias maneras. (Se supone que el cuerpo parte en un instante en el que se conviene que el tiempo es t = 0 s.) Los valores de las variables pueden recogerse en una tabla, anotando la distancia recorrida d en un cierto instante t, para varios momentos distinos:

Tiempo t (s) Distancia d (m)

0,0

0,0

0,5

0,1

1,0

0,3

1,5

0,7

2,0

1,3

2,5

2,0

La grfica en la imagen es una manera equivalente de presentar la misma informacin. Cada punto de la curva roja representa una pareja de datos tiempodistancia, utilizando la correspondencia entre puntos y coordenadas del plano cartesiano. Tambin puede utilizarse un regla o algoritmo que dicte como se ha de calcular d a partir de t. En este caso, la distancia que recorre un cuerpo con esta aceleracin est dada por la expresin: d = 0,33 t2, donde las magnitudes se expresan unidades del SI. De estos tres modos se refleja que existe una dependencia entre ambas magnitudes. Una funcin tambin puede reflejar la relacin de una variable dependiente con varias variables independientes. Si el cuerpo del ejemplo se mueve con una aceleracin constante pero indeterminada a, la distancia recorrida es una funcin entonces de a y t; en particular, d= at2/2. Las funciones tambin se utilizan para expresar la dependencia entre otros objetos cualesquiera, no solo los nmeros. Por ejemplo, existe una funcin que a cada polgono le asigna su nmero de lados; o una funcin que a cada da de la semana le asigna el siguiente: Lunes Martes, Martes Mircoles,..., Domingo Lunes

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 Funcin escalar. f: Rn R Funcin vectorial. f: Rn Rm

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 (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. Ejemplo:

5 4 3 2 1 0 y/x X -2 -1 0 1 2 X X X X

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) AB 2. Todo elemento del dominio tiene imagen: para cada a A , existe

un b B t al 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.

Relacin matemtica
Este artculo o seccin necesita referencias que aparezcan en una publicacin acreditada, como revistas especializadas, monografas, prensa diaria o pginas de Internet fidedignas.
Puedes aadirlas as o avisar al autor principal del artculo en su pgina de discusin pegando: {{subst:Aviso referencias|Relacin matemtica}} ~~~~

Una relacin

, de los conjuntos

es un subconjunto del producto cartesiano

Una Relacin binaria es una relacin entre dos conjuntos. El concepto de relacin implica la idea de enumeracin, de algunos de los elementos, de los conjuntos que forman tuplas.

Un caso particular es cuando todos los conjuntos de la relacin son iguales: representa como

en este caso se

, pudindose decir que la relacin pertenece a A a la n.

[editar]Tipos

de relaciones

En las relaciones se diferencian los tipos segn el nmero de conjuntos en el producto cartesiano, que es el nmero de trminos de la relacin: Relacin unaria: un solo conjunto Relacin binaria: con dos conjuntos Relacin ternaria: con tres conjuntos Relacin cuaternaria: con cuatro conjuntos ... Relacin n-aria: caso general con n conjuntos