Professional Documents
Culture Documents
Una funcin vista como una caja negra, que transforma los
valores u objetos de entrada en los valores u objetos de salida
p Inicial de p;
En matemticas, se dice que una magnitud o cantidad es si se conviene V = {Palabras del espaol} y A = {Alfabeto
funcin de otra si el valor de la primera depende del va- espaol}.
1
2 INTRODUCCIN
Una funcin puede representarse de diversas formas: mediante el citado algoritmo o ecuaciones 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
una grca que d una imagen de la funcin.
Historia
2 Introduccin
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 parme- Representacin grca de la velocidad de un cuerpo acelerado a
tro. La notacin f(x) fue utilizada por primera vez por 0,66 m/s2 .
A.C. Clairaut, y por Leonhard Euler en su obra Commentarii de San petersburgo en 1736.[2][3][4]
Una funcin es un objeto matemtico que se utiliza para
Inicialmente, una funcin se identicaba a efectos prcti- expresar la dependencia entre dos magnitudes, y puede
cos con una expresin analtica que permita calcular sus presentarse a travs de varios aspectos complementarios.
valores. Sin embargo, esta denicin tena algunas limi- Un ejemplo habitual de funcin numrica es la relacin
taciones: expresiones distintas pueden arrojar los mismos entre la posicin y el tiempo en el movimiento de un cuervalores, y no todas las dependencias entre dos cantida- po.
des pueden expresarse de esta manera. En 1837 Dirichlet Un mvil que se desplaza con una aceleracin de 0,66
propuso la denicin moderna de funcin numrica co- m/s2 recorre una distancia d que est en funcin del tiemmo una correspondencia cualquiera entre dos conjuntos po transcurrido t. Se dice que d es la variable dependiente
de nmeros, que asocia a cada nmero en el primer con- de t, la variable independiente. Estas magnitudes, calculajunto un nico nmero del segundo.
das a priori o medidas en un experimento, pueden consigLa intuicin sobre el concepto de funcin tambin evolu- narse de varias maneras. (Se supone que el cuerpo parte
3.1
d = 0,33 t ,
donde las magnitudes se expresan unidades del SI. De estos tres modos se reeja que existe una dependencia entre
ambas magnitudes.
Una funcin tambin puede reejar 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 = at 2 /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:
3
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 clasica en un gnero,
como Homo, Sus o Loxodonta. Existe por tanto una
funcin clasicacin en gneros que asigna a cada
mamfero de la coleccin M = {mamferos conocidos} su gnero. El codominio de clasicacin 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.
La nocin de funcin de mltiples variables independientes no necesita de una denicin especca separada de
Lunes Martes, Martes Mircoles,..., Dola de funcin ordinaria. La generalidad de la denimingo Lunes
cin anterior, en la que se contempla que el dominio sea
un conjunto de objetos matemticos arbitrarios, permite
omitir la especicacin de dos (o ms) conjuntos de va3 Denicin
riables independientes, A1 y A2 , por ejemplo. En lugar de
ello, el dominio se toma como el conjunto de las parejas
(a
1 , a2 ), con primera componente en A1 y segunda comLa denicin general de funcin hace referencia a la deponente
en A2 . Este conjunto se denomina el producto
pendencia entre los elementos de dos conjuntos dados.
cartesiano de A1 y A2 , y se denota por A1 A2 .
Un objeto o valor genrico a en el dominio A se denomina
la variable independiente; y un objeto genrico b del do- De este modo las dos variables independientes quedan
minio B es la variable dependiente. Tambin se les llama reunidas en un solo objeto. Por ejemplo, en el caso de la
+
+
valores de entrada y de salida, respectivamente. Esta de- funcin T, su dominio es el conjunto R R , el conjunnicin es precisa, aunque en matemticas se utiliza una to de parejas de nmeros reales positivos. En el caso de
denicin formal ms rigurosa, que construye las funcio- ms de dos variables, la denicin es la misma, usando
un conjunto ordenado de mltiples objetos, (a1 ,..., a ),
nes como un objeto concreto.
una n-tupla. Tambin el caso de mltiples variables dependientes se contempla de esta manera. Por ejemplo, una
Ejemplos
funcin divisin puede tomar dos nmeros naturales como valores de entrada (dividendo y divisor) y arrojar dos
Todos los nmeros reales tienen un cubo, por lo que nmeros naturales como valores de salida (cociente y resexiste la funcin cubo que a cada nmero en el to). Se dice entonces que esta funcin tiene como domidominio R le asigna su cubo en el codominio R.
nio y codominio el conjunto N N.
3.2
Notacin. Nomenclatura
DEFINICIN
La notacin habitual para presentar una funcin f con dominio A y codominio B es:
f: A
a
B
b = f (a)
La funcin clasicacin en gneros puede escribirse como : M G, donde (m) = Gnero de m, Los elementos del codominio B asociados con algn elemento del dominio A constituyen la imagen de la funcin.
para cada mamfero conocido m.
La funcin rea se puede denotar como A: T La imagen de una funcin f se denota por Im(f), y la de
R, y entonces A(t) = rea de t = B H/2, donde t es un subconjunto X por f(X) o f[X]. En notacin conjuntista las imgenes de f y X se denotan:
un tringulo del plano, B su base, 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 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.
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
5
dominio se les asigna dicho elemento del codominio. En Las funciones biyectivas constituyen un emparejamiennotacin conjuntista, se escriben:
to perfecto entre los elementos del dominio y el codominio: cada elemento en A tiene una nica pareja en
1
B como todas las funciones, y a cada elemento de
f (b) = {a A : f (a) = b}
B le corresponde uno solo en A al menos uno por ser
f 1 (Y ) = {a A : existe b Y con f (a) = b}suprayectiva, y como mucho uno por ser inyectiva.
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, f 1 (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 clasicacin 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.
3.4
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 clasicacin 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 clasicada 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.
Igualdad de funciones
Dadas dos funciones, para que sean idnticas han de te- 5 lgebra de funciones
ner el mismo dominio y codominio, y asignar la misma
Con las funciones puede realizarse una operacin de
imagen a cada elemento del dominio:
composicin con propiedades similares a las de la
multiplicacin.
La imagen inversa de un elemento del codominio puede Dadas dos funciones, bajo ciertas condiciones podemos
ser vaca, o contener varios objetos del dominio. Esto da usar los valores de salida de una de ellas como valores de
entrada para la otra., creando una nueva funcin.
lugar a la siguiente clasicacin:
Las funciones inyectivas no repiten las imgenes: si b = Es decir, la composicin g f hace actuar primero la funf(a), ningn otro a' tiene por imagen a b, por lo que la cin f sobre un elemento de A, y luego g sobre la imagen
anti-imagen de este ltimo slo contiene al elemento a. que se obtenga:
Las funciones suprayectivas recorren todo el codominio,
x 7 f (x) 7 g(f (x))
por lo que ninguna anti-imagen puede estar vaca. La denicin de funcin suprayectiva asume que esta tiene un
codominio especicado previamente. De lo contrario, la La condicin Im(f) C asegura precisamente que este
nocin de suprayectividad no tiene sentido.
segundo paso se pueda llevar a cabo.
Cuando una funcin tiene ambas propiedades a la vez, se
Ejemplos
dice que es una biyeccin entre ambos conjuntos:
LGEBRA DE FUNCIONES
A
x 7
x 7 f (x)
id
B
x 7 f (x) 7
f (x)
5.4
Restriccin y extensin
Las funciones pueden denirse en trminos de otros obLa restriccin de una funcin dada es otra funcin de- jetos matemticos, como los conjuntos y los pares ordenida en una parte del dominio de la original, pero que nados. En particular, una funcin es un caso particular de
acta igual que esta. Se dice tambin que la primera es relacin binaria, luego su esta denicin est basada en la
que se adopte para las relaciones. En el enfoque extenuna extensin de la segunda.
sivo se identica una funcin con su grca:
La restriccin de una funcin f: A B a un subconjunto
En la denicin extensiva no aparece el concepto de
C A se denota por f|C.
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
6 Representacin de funciones
una denicin distinta:[8]
Las funciones se pueden presentar de distintas maneras:
usando una relacin matemtica descrita mediante
una expresin matemtica: ecuaciones de la forma y = f (x) . Cuando la relacin es funcional, es
decir satisface la segunda condicin de la denicin
de funcin, se puede denir una funcin que se dice
denida 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:
X
Y
2
0
8 Vase tambin
Anexo:Funciones matemticas
Sucesin matemtica
Funcin lineal
Funcin exponencial
Funcin cuadrtica
Representacin grca de una funcin
1 0 1 2 3
1 2 3 4 5
Funcin multivaluada
10 ENLACES EXTERNOS
Referencias
Dorronsoro, Jorge; Hernndez, Eugenio (1996). Nmeros, grupos y anillos. Adison-Wesley Iberoamericana. ISBN 0-201-65395-8.
10
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre funciones. Commons
11
11.1
Funcin matemtica Fuente: https://es.wikipedia.org/wiki/Funci%C3%B3n_matem%C3%A1tica?oldid=88612699 Colaboradores: Joseaperez, 4lex, Oblongo, Fibonacci, Sabbut, Moriel, Robbot, Mr bim, Kraton~eswiki, Vivero, Javier Carro, DefLog, Interwiki, Dodo,
Ascnder, Truor, Elwikipedista, Tano4595, Dianai, Xenoforme, Gengiskanhg, Domaniom, Cinabrium, FAR, Digigalos, Petronas, AlfonsoERomero, Airunp, JMPerez, Yrithinnd, Taichi, Pedvi, RobotQuistnix, Mortadelo, Superzerocool, Chobot, Guilloip, Yrbot, Oscar ., Vitamine, .Sergio, YurikBot, Gaeddal, GermanX, Wewe, Beto29, LoquBot, KnightRider, Manolo456, Lt. CiberShark, Eskimbot, Kekkyojin,
Elvenbyte, Gtz, Maldoror, Lucianobello, Haitike, Chlewbot, Siabef, Sking, Tuncket, Nihilo, Paintman, Juan Marquez, Kn, BOTpolicia,
CEM-bot, Chuo, Fenicio, Marianov, Retama, Davius, Antur, Julian Mendez, Jjafjjaf, Daniel JG, FrancoGG, Ingenioso Hidalgo, Fsd141,
Thijs!bot, DasAuge, Lauranrg, Mahadeva, Loco91, Diosa, Bot que revierte, RoyFocker, IrwinSantos, PhJ, Botones, Cratn, Isha, JAnDbot,
Soulbot, VanKleinen, Kved, Muro de Aguas, Gsrdzl, CommonsDelinker, TXiKiBoT, Aalvarez12, HiTe, Humberto, Netito777, Timichal,
Rehernan~eswiki, Nioger, Chabbot, Idioma-bot, Plux, Manuel Trujillo Berges, Snakeeater, Bucephala, AlnoktaBOT, VolkovBot, Technopat, Queninosta, Raystorm, Belgrano, Matdrodes, Lucien leGrey, AlleborgoBot, Sgarg0, Muro Bot, Edmenb, J.M.Domingo, BotMultichill,
Erik Jack, SieBot, Ctrl Z, PaintBot, Merdalro, Carmin, Cobalttempest, Drinibot, BOTarate, OboeCrack, Manw, Odranoel6211, Mafores,
Tirithel, Jarisleif, Javierito92, Dnu72, HUB, Nicop, Gato ocioso, Farisori, Eduardosalg, Poco a poco, Juan Mayordomo, BodhisattvaBot,
Toolserver, Raulshc, SilvonenBot, UA31, AVBOT, David0811, LucienBOT, Louperibot, SunriseProjector, MarcoAurelio, NjardarBot,
SpBot, Diegusjaimes, DumZiBoT, MelancholieBot, Arjuno3, Luckas-bot, Spirit-Black-Wikipedista, Xtquique, ArthurBot, RadiX, SuperBraulio13, Manuelt15, Xqbot, Jkbw, Ricardogpn, Klrinion 72, Juan diego perez, Kismalac, Rich410, KamikazeBot, Dinamik-bot, Foundling, EmausBot, ZroBot, Grillitus, ChuispastonBot, Chopinzone, WikitanvirBot, Metrnomo, MerlIwBot, KLBot2, MetroBot, Acratta,
Carliitaeliza, Asqueladd, Miguel2706, Addbot, Balles2601, XMJA, JacobRodrigues, Manuel Balarezo, Yukimy, Jarould, BenjaBot, Marielabeaumont, Lectorina, Julio grillo I, CPozo y Annimos: 437
11.2
Imgenes
Archivo:Commons-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public domain Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used
to be slightly warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version,
created by Reidab.
Archivo:ConstantAcceleration.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/8/81/ConstantAcceleration.svg Licencia:
CC0 Colaboradores: Trabajo propio Artista original: Kismalac
Archivo:Correspon_1302.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/6/65/Correspon_1302.svg Licencia: GFDL Colaboradores: Trabajo propio Artista original: HiTe
Archivo:Correspon_1402.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/8/89/Correspon_1402.svg Licencia: GFDL Colaboradores: Trabajo propio Artista original: HiTe
Archivo:Correspon_1502.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/f/fd/Correspon_1502.svg Licencia: GFDL Colaboradores: Trabajo propio Artista original: HiTe
Archivo:Correspon_1602.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/45/Correspon_1602.svg Licencia: GFDL Colaboradores: Trabajo propio Artista original: HiTe
Archivo:FunctionMachine.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/7/79/FunctionMachine.svg Licencia: CC0
Colaboradores: Trabajo propio. Based on the public domain image Function machine by Wvbailey. Artista original: kismalac
Archivo:FunctionMachinesComposition.svg
Fuente:
https://upload.wikimedia.org/wikipedia/commons/6/65/
FunctionMachinesComposition.svg Licencia: CC0 Colaboradores: Trabajo propio. Based on the public domain image w:File:Function
machine5.png by w:User:Wvbailey. Artista original: Kismalac
Archivo:Gottfried_Wilhelm_von_Leibniz.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/6/6a/Gottfried_Wilhelm_
von_Leibniz.jpg Licencia: Public domain Colaboradores: /gbrown/philosophers/leibniz/BritannicaPages/Leibniz/LeibnizGif.html Artista
original: Christoph Bernhard Francke
Archivo:InverseVotingApplication.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/d/dd/InverseVotingApplication.svg
Licencia: CC BY-SA 3.0 Colaboradores:
Toilets_unisex.svg Artista original: Toilets_unisex.svg: AIGA symbol signs collection
Archivo:PolygonsFunction.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c8/PolygonsFunction.svg Licencia: CC BYSA 3.0 Colaboradores: Trabajo propio Artista original: kismalac
Archivo:VotingApplication.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/6/64/VotingApplication.svg Licencia: CC
BY-SA 3.0 Colaboradores:
Toilets_unisex.svg Artista original: Toilets_unisex.svg: AIGA symbol signs collection
Archivo:VotingApplicationRestriction.svg
Fuente:
VotingApplicationRestriction.svg Licencia: CC BY-SA 3.0 Colaboradores:
https://upload.wikimedia.org/wikipedia/commons/1/15/
11.3