ESCUELA PREPARATORIA OFICIAL NO.

23

FUNCIONES ALGEBRAICAS

POR:

EDWIN REN VILCHIS VILLAVICENCIO (1 III TURNO: MATUTINO).

PENSAMIENTO ALGEBRAICO E INFORMATICA Y COMPUTACIN II

PROFESORES:
PAZ VIRGINIA MONROY PREZ.
ROCO LEONARDO HERNNDEZ.

LERMA DE VILLADA MXICO. MAYO 2015.

INDICE:

Introduccin..3
Metodologa......4
Qu

es

un

modelo

matamtico?..............................................................................5
En

dnde

se

encuentran

los

modelos

matemticos?..............................................6
Cmo

puedo

formular

un

modelo

matemtico

en

una

situacin

real?...................7,8
En dnde uso los modelos matemticos?..............................................................8
Cuntos modelos matemticos existen?.....................................................9, 10,
11
Por qu surge la necesidad de crear modelos matemticos?..........................11,
12
Por

qu

se

le

llama

funcin

un

modelo

matemtico?.........................................12
Referencias.13

INTRODUCCIN.
En matemticas, en muchas cuestiones, empleamos modelos matemticos, los
cuales son la descripcin matemtica de una situacin real. Estos modelos los
usamos cuando empleamos una ecuacin o una funcin en la realidad como lo
son: el tamao de una poblacin, la demanda por un producto, la rapidez de cada
de un objeto, la concentracin de un producto en una reaccin qumica, la
expectativa de vida de una persona cuando nace, el costo de la reduccin de
emisiones, por mencionar algunos ejemplos.
El propsito de este modelo es entender el fenmeno y quiz hacer predicciones
con respecto al comportamiento futuro. En aplicabilidad emplea algn tipo de
formulismo matemtico para expresar de excelente manera una situacin o un
fenmeno natural.
Un modelo matemtico nunca es una representacin totalmente preciosa de una
situacin fsica, es una idealizacin. Un buen modelo simplifica la realidad lo
suficientemente para como para permitir clculos matemticos pero es lo
suficientemente preciso para proveer conclusiones valiosas. Es importante darse
cuenta de los lmites del modelo. No hay que pasar por alto, que la instancia de la
naturaleza tiene la ltima palabra.
Es importante aclarar que existen tipos diferentes de funciones que pueden usarse
para modelar correspondencias que se observan en el mundo real. En las
secciones subsecuentes, analizar el comportamiento y las grficas de estas

funciones y atender ejemplos de situaciones modeladas en forma apropiada por

medio de estas funciones.
Si las predicciones no se comparan de manera apropiada con la realidad, necesita
afinar su modelo o bien formular uno nuevo y empezar otro ciclo de nuevo; esto se
puede observar desde un principio del modelo y se va a ir afirmando conforme
vayamos avanzando con nuestro modelo matemtico.

METODOLOGA:
PROBLEMA DEL MUNDO
REAL.

FORMULAR

MODELO
MATEMTICO.

RESOLVER

PROBLEMA DEL MUNDO

REAL.

INTERPRETAR

PREDICCIONES
EN EL MUNDO REAL.

QU ES UN MODELO MATEMTICO?
Un modelo matemtico es uno de los tipos de modelos cientficos que emplea
algn tipo de formulismo matemtico para expresar relaciones, proposiciones
sustantivas de hechos, variables, parmetros, entidades y relaciones entre
variables y/o entidades u operaciones, para estudiar comportamientos de sistemas
complejos

ante

situaciones

difciles

de

observar

en

la

realidad.

El

trmino modelizacin matemtica es utilizado tambin en diseo grfico cuando se

habla de modelos geomtricos de los objetos en dos (2D) o tres dimensiones (3D).
Un modelo matemtico describe tericamente un objeto que existe fuera del
campo de las Matemticas. Las previsiones del tiempo y los pronsticos
econmicos, por ejemplo, estn basados en modelos matemticos. Su xito o
fracaso depende de la precisin con la que se construya esta representacin
numrica, la fidelidad con la que se concreticen hechos y situaciones naturales en
forma de variables relacionadas entre s.
Los modelos matemticos son conjuntos con ciertas relaciones ya definidas, que
posibilitan la satisfaccin de proposiciones que derivan de los axiomas tericos.
Para ello, se sirven de diversas herramientas, como ser el lgebra lineal que, por
ejemplo, facilita la fase de anlisis, gracias a la representacin grfica de las
distintas funciones.
En un modelo matemtico hay tres fases:
1._La construccin, proceso en el que se convierte el objeto a lenguaje
matemtico;
2._El anlisis o estudio del modelo confeccionado;
3._ La interpretacin de dicho anlisis, donde se aplican los resultados del estudio
al objeto del cual se parti.

En dnde se encuentran los modelos matemticos?

En distintas ciencias y situaciones; en matemticas las empleamos al desarrollar
una ecuacin o una funcin en la realidad como lo son: el tamao de una
poblacin, la demanda por un producto, la rapidez de cada de un objeto, la
concentracin de un producto en una reaccin qumica, la expectativa de vida de
una persona cuando nace, el costo de la reduccin de emisiones, por mencionar
algunos ejemplos.
Para poder utilizar correctamente un modelo, es necesario conocer bien el
problema y definirlo con precisin, que es uno de los aspectos ms importantes en
la solucin de todo problema. Un error que se presenta frecuentemente es que las
personas prestan poca atencin a la definicin del problema, lo cual da como
resultado un trabajo de mala calidad o la repeticin del mismo. Otro requerimiento
en el uso de los modelos, es que obliga a los usuarios a identificar las reas en las
que el conocimiento o la informacin son deficientes y en las que se requiere de
mayor esfuerzo o de mayores conocimientos.
La probabilidad, por su esencia, requiere del uso de modelos grficos y
matemticos. Los modelos grficos los usa para presentar la informacin y los
matemticos para procesar la misma y hacer inferencias con ella. Por ejemplo, el
muestreo es una herramienta que sirve para hacer inferencias. Pongamos el caso
que se tenga una urna con canicas de diferentes colores (poblacin). Es posible
tomar una parte de la poblacin (muestra) y clasificar las canicas segn el color, lo
cual dar idea de la forma en que se distribuyen los colores de la poblacin.
Al plantear un problema estadstico, se deben buscar los mtodos y
procedimientos adecuados para la solucin y representarlos mediante un modelo
matemtico. El xito que se obtenga depender de cuan fiel y completamente
represente el modelo al problema y de que tan bien se puedan deducir soluciones
al modelo una vez que este se ha elaborado.

CMO PUEDO FORMULAR UN MODELO MATEMTICO EN UNA SITUACIN

REAL?
En muchos casos la construccin o creacin de modelos matemticos tiles sigue
una serie de fases bien determinadas:
1. Identificacin de un problema o situacin compleja que necesita ser
simulada, optimizada o controlada y por tanto requerira un modelo
matemtico predictivo.
2. Eleccin del tipo de modelo, esto requiere precisar qu tipo de respuesta
u output pretende obtenerse, cuales son los datos de entrada o factores
relevantes, y para qu pretende usarse el modelo. Esta eleccin debe ser
suficientemente simple como para permitir un tratamiento matemtico
asequible con los recursos disponibles. Esta fase requiere adems
identificar el mayor nmero de datos fidedignos, rotular y clasificar las
incgnitas

(variables

independientes

dependientes)

y establecer

consideraciones, fsicas, qumicas, geomtricas, etc. que representen

adecuadamente el fenmeno en estudio.
3. Formalizacin del modelo en la que se detallarn qu forma tienen los
datos de entrada, qu tipo de herramienta matemtica se usar, como se
adaptan a la informacin previa existente. Tambin podra incluir la
confeccin de algoritmos, ensamblaje de archivos informticos, etc, etc. En
esta fase posiblemente se introduzcan tambin simplificaciones suficientes
para que el problema matemtico de modelizacin sea tratable
computacionalmente.

4. Comparacin de resultados los resultados obtenidos como predicciones

necesitan ser comparados con los hechos observados para ver si el
modelo est prediciendo bien. Si los resultados no se ajustan bien,
frecuentemente se vuelve a la fase 1.
Es importante mencionar que la inmensa mayora de modelos matemticos no son
exactos y tienen un alto grado de idealizacin y simplificacin, ya que una
modelizacin muy exacta puede ser ms complicada de tratar de una
simplificacin conveniente y por tanto menos til. Es importante recordar que el
mecanismo con que se desarrolla un modelo matemtico repercute en el
desarrollo de otras tcnicas de conocimientos enfocadas al rea sociocultural.
En dnde se usan los modelos matemticos?
En matemticas las empleamos al desarrollar una ecuacin o una funcin en la
realidad como lo son: el tamao de una poblacin, la demanda por un producto, la
rapidez de cada de un objeto, la concentracin de un producto en una reaccin
qumica, la expectativa de vida de una persona cuando nace, el costo de la
reduccin de emisiones, por mencionar algunos ejemplos.
Aunque tambin se utilizan en distintas ciencias, en las cuales les resulta una
manera para predecir lo que pasar.
Entre las ciencias destacan:

Astrologa.
Psicologa.
Fsica.
Qumica.
Algebra.
Matemticas.
Biologa.
Sociologa.
Entre otras.

Cuntos modelos matemticos existen?

Se podra decir que un modelo de las ciencias fsicas es una traduccin de la
realidad fsica de un sistema fsico en trminos matemticos, es decir, una forma
de representar cada uno de los tipos entidades que intervienen en un cierto
proceso fsico mediante objetos matemticos. Las relaciones matemticas
formales entre los objetos del modelo, deben representar de alguna manera las
relaciones reales existentes entre las diferentes entidades o aspectos del sistema
u objeto real. As una vez "traducido" o "representado" cierto problema en forma
de modelo matemtico, se pueden aplicar el clculo, el lgebra y otras
herramientas matemticas para deducir el comportamiento del sistema bajo
estudio. Un modelo fsico requerir por tanto que se pueda seguir el camino
inverso al modelado, permitiendo reinterpretar en la realidad las predicciones del
modelo.

SEGN LA INFORMACIN DE ENTRADA: Con respecto a la funcin del

origen de la informacin utilizada para construir los modelos pueden
clasificarse de otras formas. Podemos distinguir entre modelos heursticos y
modelos empricos:

Modelos heursticos (del griego euriskein 'hallar, inventar'). Son los que estn
basados en las explicaciones sobre las causas o mecanismos naturales que
dan lugar al fenmeno estudiado.
Modelos empricos (del griego empeirikos relativo a la 'experiencia'). Son los
que utilizan las observaciones directas o los resultados de experimentos del
fenmeno estudiado.

SEGN

EL TIPO

DE

REPRESENTACIN:

Adems

los

modelos

matemticos encuentran distintas denominaciones en sus diversas

aplicaciones. Una posible clasificacin puede atender a si pretenden hacer
predicciones de tipo cualitativo o pretende cuantificar aspectos del sistema
que se est modelizando:
Modelos cualitativos o conceptuales, estos pueden usar figuras, grficos o
descripciones causales, en general se contentan con predecir si el estado del
sistema ir en determinada direccin o si aumentar o disminuir alguna
magnitud, sin importar exactamente la magnitud concreta de la mayora de
aspectos.
Modelos

cuantitativos o numricos,

usan

nmeros

para

representar

aspectos del sistema modelizado, y generalmente incluyen frmulas y

algoritmos matemticos ms o menos complejos que relacionan los valores
numricos. El clculo con los mismos permite representar el proceso fsico o
los cambios cuantitativos del sistema modelado.

SEGN SU APLICACIN O OBJETO: Por su uso suelen utilizarse en las

siguientes tres reas, sin embargo existen muchas otras como la de
finanzas, ciencias etc.

Modelo de simulacin o descriptivo, de situaciones medibles de manera

precisa o aleatoria, por ejemplo con aspectos de programacin lneal cuando
es de manera precisa, y probabilstica o heurstica cuando es aleatorio. Este
tipo de modelos pretende predecir qu sucede en una situacin concreta dada.
Modelo de optimizacin. Para determinar el punto exacto para resolver
alguna problemtica administrativa, de produccin, o cualquier otra situacin.
Cuando la optimizacin es entera o no lineal, combinada, se refiere a modelos

matemticos poco predecibles, pero que pueden acoplarse a alguna

alternativa existente y aproximada en su cuantificacin. Este tipo de modelos
requiere comparar diversas condiciones, casos o posibles valores de un
parmetro y ver cual de ellos resulta ptimo segn el criterio elegido.
Modelo de control. Para saber con precisin como est algo en una
organizacin, investigacin, rea de operacin, etc. Este modelo pretende
ayudar a decidir qu nuevas medidas, variables o qu parmetros deben
ajustarse para lograr un resultado o estado concreto del sistema modelado.

POR QU SURGE LA NECESIDAD DE CREAR MODELOS MATEMTICOS?

Porque en la vida diaria se nos presentan problemas, que en los cuales para
encontrar explicaciones debemos de emplear estos modelos, recordando que las
matemticas las empleamos en todas las instancias de nuestra vida; estas son
extraordinariamente importante, es por ello que las ocupamos en nuestra vida
diaria en cada momento.
Algunos beneficios al utilizarlos son:

Ayudan a que tengamos un pensamiento analtico. Lo podramos definir

como el pensamiento dirigido a descomponer los argumentos en sus
premisas o expresiones que lo componen, ver las relaciones que hay entre
ellas y su conclusin, con el fin de juzgar su veracidad o confiabilidad de la
misma. Esto es lo que llevamos a cabo cuando hacemos un problema
matemtico: recoger los datos, desglosar sus premisas, observar las
relaciones que guardan o resolver sistemticamente sus partes de

manera racional.
El pensamiento analtico desarrolla la habilidad de investigar y conocer la
verdad sobre el mundo que nos rodea. Son verdades que tratamos de

buscar y que se basan en las evidencias y no en las emociones. Es un

pensamiento que nos permite estar en alerta al error tanto nuestro como de
otras personas, al engao y a la manipulacin. Esto es posible gracias a
que las matemticas nos permiten razonar con claridad y de una manera

lgica, teniendo en cuenta datos reales y que pueden verificarse.

Desarrollan la capacidad de pensamiento puesto que para encontrar las
soluciones, hay que pensar en todo un proceso coherente. Podra decirse
que las matemticas son fundamentales en la educacin de los nios, ya

que les ensean a pensar.

Podemos explicar cmo funcionan las cosas, es decir, podemos expresar
nuestros pensamientos e ideas con claridad, coherencia y precisin. Esto
es fundamental y muy positivo para que todos los dems nos comprendan y
sepan que somos personas con un pensamiento claro y coherente. Nuestra
forma de ordenar ideas y de expresarlas correctamente son gran parte de

nuestra imagen.
Entre otras.
Por qu se llama funcin a un modelo matemtico?

1. Son parte de las matemticas. Se emplean en las matemticas y las

ciencias para que nos resulten ms fcil de comprender, a travs de
frmulas o ecuaciones.
2. Son importantes para desarrollar una prediccin. El uso de estos modelos
nos permite predecir las cosas, aunque la ltima palabra de esto lo tiene la
naturaleza.
3. Tienen la misma funcin que las matemticas. Deben de ser exactas y sin
ningn tipo de errores.
4. Su objetivo es facilitar la comprensin de fenmenos fsicos, qumicos,
biolgicos, meteorolgicos, matemticos, entre otros.

REFERENCIAS:
http://matematicas.uis.edu.co/~garenasd/doc/CS-s1p2.
http://www.material_simulacion.ucv.cl/tipos_de_modelos_matematicos.htm
http://definicion.de/modelo-matematico/

HISTORIA DE LAS FUNCIONES ALGEBRAICAS Y SU FUNCIN:

Si tratramos hoy de contestar a la difcil pregunta 'qu son las matemticas?'
muchas veces respondemos algo como 'El estudio de las relaciones entre
conjuntos' o 'El estudio de las dependencias entre cantidades variables'.
Si estas afirmaciones son cercanas a la verdad entonces sera lgico sugerir que
el concepto de funcin debe haber aparecido desde las primeras etapas del
desarrollo de las matemticas. Ciertamente, si vemos las matemticas babilnicas
encontramos tablas de cuadrados de los nmeros naturales, cubos de los
nmeros naturales y recprocos de los nmeros naturales. Estas tablas sin duda
definen funciones de N sobre N o de N sobre R. E. T. Bell escribi en 1945:
Puede no ser demasiado generoso dar crdito a los antiguos babilonios de tener
el instinto de funcin; ya que una funcin ha sido definida sucesivamente como
una tabla o como una correspondencia.
Sin embargo esto seguramente viene de ver a los antiguos matemticos a travs
de ojos modernos. Por lo tanto tenemos que rechazar la sugerencia de que el
concepto de funcin estuviera presente en las matemticas babilnicas aunque
podamos ver que estudiaban funciones especficas. Si avanzamos hasta las
matemticas griegas entonces llegamos al trabajo de Ptolomeo. l comput
cuerdas de un crculo lo que esencialmente quiere decir que comput funciones
trigonomtricas. Seguramente, uno podra pensar, que si estaba calculando
funciones trigonomtricas entonces Ptolomeo debe haber comprendido el
concepto de funcin. Como escribi O Petersen en 1974 [22]:
Pero si concebimos una funcin no como una frmula sino como una relacin ms
general que asocia elementos de un conjunto con los elementos de otro conjunto,
es obvio que las funciones en ese sentido abundan en el Almagesto.
Sin duda Petersen est en lo correcto al afirmar que hay funciones, en el sentido
moderno, por todo el Almagesto. Ptolomeo lidi con las funciones pero es poco
probable que comprendiera el concepto de funcin. Como escribe Thiele en la
primera pgina de [2]:
De vez en cuando, comparaciones anacrnicas como la que se acaba de dar nos
ayudan a elucidar hechos documentados pero no a interpretar su historia.
Habiendo sugerido que el concepto de funcin estaba ausente en estas antiguas
obras matemticas, permtanos sugerir, como lo hace Youschkevitch en [32], que
Oresme se estaba acercando en 1350 cuando describi las leyes de la naturaleza
como leyes que dan una dependencia entre una cantidad y otra. Youschkevich
escribe [32]:

La nocin de una funcin aparece por primera vez en una forma ms general
durante el siglo XIV en las escuelas de filosofa natural de Oxford y Pars.
Galileo estaba empezando a entender el concepto an con mayor claridad. Sus
estudios sobre el movimiento contienen la clara comprensin de una relacin entre
variables. De nuevo otra parte de sus matemticas muestra que estaba
empezando a captar el concepto de mapeo entre conjuntos. En 1638 estudi el
problema de dos crculos concntricos con centro O, el crculo mas grande A con
dimetro del doble que el crculo ms pequeo B. Pero al tomar cualquier punto P
sobre el crculo A entonces PA corta al crculo B en un punto. As Galileo haba
construido una funcin que mapeaba cada punto de A sobre un punto de B. De
modo similar, si Q es un punto sobre B entonces el segmento OQ resultante corta
al crculo A en exactamente un punto. De nuevo tiene una funcin, esta vez de los
puntos en B hacia los puntos en A. Aunque la circunferencia de A sea el doble de
la circunferencia de B, ambas tienen el mismo nmero de puntos. Tambin produjo
la correspondencia uno-a-uno estndar entre los enteros positivos y sus
cuadrados, la cual (en trminos modernos) daba una biseccin entre N y un
subconjunto propio. Casi al mismo tiempo que Galileo llegaba a estas ideas,
Descartes introduca el lgebra a la geometra en La Gometrie (La geometra).
Afirma que una curva puede dibujarse al permitir que un lnea tome sucesivamente
un nmero infinito de valores distintos. Esto de nuevo lleva el concepto de funcin
a la construccin de una curva ya que Descartes est pensando en trminos de la
magnitud de una expresin algebraica que toma infinitos valores como en que la
magnitud a partir de la cual se compone la expresin, toma un infinito nmero de
valores Detengmonos por un momento antes de llegar a la primera vez que se
us la palabra 'funcin'. Es importante entender que el concepto se desarroll con
el paso del tiempo; su significado fue cambiando y tambin fue siendo definido con
mayor precisin a travs de los aos. Ya hemos sugerido que una tabla de
valores, aunque defina una funcin, no es pensada necesariamente por su creador
como una funcin. Los primeros empleos de la palabra 'funcin' s encapsulaban
ideas del concepto moderno pero de manera mucho ms restrictiva. Como tantos
trminos matemticos, la palabra funcin fue usada por primera vez con su
significado no-matemtico. Leibniz escribi en agosto de 1673 de:
[...] otros tipos de lneas que, dada una figura, llevan a cabo alguna funcin.
Johann Bernoulli, en una carta a Leibniz escrita el 2 de septiembre de 1694,
describe una funcin como:
[...] una cantidad formada de alguna manera a partir de cantidades indeterminadas
y constantes.
En un artculo de 1698 sobre problemas isoperimtricos, Johann Bernoulli escribe
sobre 'funciones de ordenadas' (ver [32]). Leibniz le escribi a Bernoulli diciendo:

[...] Me agrada que use el trmino funcin en el mismo sentido que yo.
Era un concepto cuya introduccin sucedi en el momento ideal en lo que
respecta a Johann Bernoulli ya que estaba estudiando problemas de clculo de
variaciones en cuyas soluciones aparecen funciones. Ver [28] para mayor
informacin sobre cmo el autor considera que el clculo de variaciones es la
teora matemtica que se desarroll ms en conexin con el concepto de funcin.
Se puede decir que en 1748 el concepto de funcin salt a la fama en
matemticas. Esto se debi a Euler quien public Introductio in analysin
infinitorum en el ao en que hace central el concepto de funcin en su
presentacin del anlisis. Euler defini una funcin en el libro como sigue:
Una funcin de una cantidad variable es una expresin analtica compuesta de
cualquier manera a partir de la cantidad variable y de nmeros o cantidades
constantes.
Todo esto est muy bien pero Euler no da una definicin de 'expresin analtica'
sino que supone que el lector entender que significa expresiones formadas por
las operaciones comunes de suma, multiplicacin, potencias, races, etc. Divide
sus funciones en distintos tipos tales como algebraicas y trascendentes. El tipo
depende de la naturaleza de la expresin analtica; por ejemplo, las funciones
trascendentes son las no-algebraicas como:
[...] exponeciales, logaritmos y otras de las que el clculo integral nos provee en
abundancia.
Euler permiti que las operaciones algebraicas de sus expresiones analticas
aparecieran un nmero infinito de veces, dando como resultado series infinitas,
productos infinitos y fracciones continuas infinitas. Ms adelante sugiere que una
funcin trascendente debe ser estudiada expandindola en una serie de
potencias. No afirma que todas las funciones trascendentes puedan ser
expandidas de este modo pero s que se debe probar en cada caso especfico. Sin
embargo, haba una dificultad en el trabajo de Euler que generara confusin ya
que no logr distinguir entre una funcin y su representacin. No obstante,
Introductio in analysin infinitorum cambiara la manera en que los matemticos
piensan sobre conceptos familiares. Jahnke escribe [2]:
Hasta Euler las cantidades trigonomtricas seno, coseno, tangente, etc. se
consideraban como lneas relacionadas con el crculo ms que como funciones.
[...] Fue Euler quien introdujo el acercamiento funcional.
El concepto de funcin haba llevado a Euler a hacer muchos descubrimientos
importantes antes de que escribiera Introductio in analysin infinitorum. Por
ejemplo, haba llegado a definir la funcin gamma y a resolver el problema que
haba derrotado a los matemticos durante mucho tiempo: la suma de la serie

/12 + 1/22 + 1/32 + 1/42 + ...

Demostr que la suma da 2/6 y public el resultado en 1740. Regresemos a los

contenidos de Introductio in analysin infinitorum. All Euler presenta las funciones
continuas, discontinuas y mixtas pero ya que solo los primeros dos de estos
conceptos tienen significados modernos distintos, llamaremos las versiones de
Euler E-continuas y E-discontinuas para evitar confusiones. Una funcin Econtinua era aquella que se expresaba mediante una nica expresin analtica,
una funcin mixta se expresaba en trminos de dos o ms expresiones analticas
y una funcin E-discontinua inclua funciones mixtas pero era un concepto ms
general. Euler no indic claramente qu quera decir por una funcin Ediscontinua aunque es obvio que las consideraba ms generales que las mixtas.
Ms adelante las defini como aquellas funciones que tenan curvas dibujadas
arbitrariamente como sus grficas (de modo ms bien confuso, son esencialmente
lo que llamamos hoy funciones continuas). En 1746 d'Alembert public una
solucin al problema de una cuerda tensa que vibra. La solucin, por supuesto,
depende de la forma inicial de la cuerda y d'Alembert insisti en su solucin en
que la funcin que describe las velocidades iniciales de cada punto de la cuerda
tena que ser E-continua, es decir, expresada mediante una sola expresin
analtica. Euler public un artculo en 1749 en el que objetaba la restriccin
impuesta por d'Alembert, afirmando que, por razones fsicas, expresiones ms
generales para la forma inicial tenan que permitirse. Youschkevitch escribe [32]:
d'Alembert no estaba de acuerdo con Euler. As empez la larga controversia
sobre la naturaleza de las funciones que se permitan como condiciones iniciales y
en las integrales de las ecuaciones diferenciales parciales, las cuales continuaba
apareciendo en cantidades cada vez mayores en la teora de la elasticidad, la
hidrodinmica, la aerodinmica y la geometra diferencial.
En 1755 Euler public otro libro muy importante, Institutiones calculi differentialis.
En este libro defini una funcin de manera totalmente general, dando lo que
podemos razonablemente afirmar que era una definicin verdaderamente
moderna de funcin:
Si algunas cantidades dependen de otras del tal modo que si estas ltimas
cambian tambin lo hacen las primeras, entonces las primeras cantidades se
llaman funciones de las segundas. Esta definicin se aplica de manera ms bien
amplia e incluye todas las formas en que una cantidad puede ser determinada por
otra. Si, por lo tanto, x denota una cantidad variable, entonces todas las
cantidades que dependen de x de cualquier modo, o que son determinadas por
ella, son llamadas funciones de x.
Esto podra haber sido un gran logro pero, despus de dar esta amplia definicin,
Euler dedic el libro al desarrollo del clculo diferencial usando solamente

funciones analticas. El primer problema con la definicin de Euler de tipos de

funciones fue sealada en 1780 cuando se demostr que una funcin mixta, dada
por distintas frmulas, a veces poda darse mediante una sola frmula. El ejemplo
ms claro de una funcin as fue dado por Cauchy en 1844 cuando not que la
funcin
y = x para x0, y = -x para x < 0
poda expresarse mediante la frmula y = (x). Por lo tanto dividir las funciones en
E-continuas y mixtas no tena sentido. Sin embargo, una objecin ms seria vino
del trabajo de Fourier quien afirm en 1805 que Euler estaba equivocado. Fourier
demostr que algunas funciones discontinuas podan representarse por lo que hoy
llamamos una serie de Fourier. La diferencia entre funciones E-continuas y
funciones E-discontinuas, por ende, no exista. El trabajo de Fourier no fue
aceptado de inmediato y matemticos prominentes como Lagrange no lo
aceptaron en ese momento. Luzin seala en [17] y [18] que la confusin respecto
a las funciones se haba debido a una falta de comprensin de la diferencia entre
'funcin' y su representacin; por ejemplo como una serie de senos y cosenos. EL
trabajo de Fourier llevara finalmente a clarificar el concepto de funcin cuando, en
1829, Dirichlet demostr algunos resultados concernientes a la convergencia de
las series de Fourier, y aclarando as la diferencia entre una funcin y su
representacin. Otros matemticos dieron sus propias versiones de la definicin
de funcin. Condorcet parece haber sido el primero en retomar la definicin
general de Euler de 1755 (ver [31] para ms detalles). En 1778 Condorcet envo
las primeras dos partes de un trabajo de cinco, Trait du calcul integral a la
Academia de Pars. Nunca fue publicado pero muchos de los principales
matemticos franceses lo vieron. En esta obra, Condorcet distingue tres tipos de
funciones: funciones explcitas, implcitas dadas solo por ecuaciones no resueltas
y funciones que se definen a partir de consideraciones fsicas tales como las que
son solucin de una ecuacin diferencial. Lacroix, quien haba ledo el trabajo
inconcluso de Condorcet, escribi en 1797:
Cada cantidad cuyo valor depende de una o ms cantidades se llama una funcin
de stas ltimas, se conozca o no qu operacin es necesario usar para llegar de
la ltima a la primera.
Cauchy, en 1821, dio una definicin que hace de la dependencia entre variables el
centro del concepto de funcin. Escribi en Cours d'analyse:
Si cantidades variables son unidas entre ellas de tal modo que el valor de una de
ellas est dado, se puede llegar a los valores de todas las otras; uno
ordinariamente concibe estas distintas cantidades como expresadas mediante una
de ellas, la cual entonces toma el nombre de variable independiente; las otras

cantidades expresadas mediante la variable independiente son aquellas a las que

se llaman funciones de esta variable.
Ntese que a pesar de la generalidad de la definicin de Cauchy, que est
diseada para cubrir tanto las funciones implcitas como las explcitas, an piensa
en una funcin en trminos de una frmula. De hecho, hace la distincin entre
funciones implcitas y explcitas justo despus de dar esta definicin. Tambin
introduce conceptos que indican que todava peinsa en trminos de expresiones
analticas. Fourier, en Thorie analytique de la Chaleur en 1822, dio la siguiente
definicin:
En general, la funcin (x) representa una sucesin de valores u ordenadas cada
uno de los cuales es arbitrario. Dados una infinidad de valores de la abscisa x, hay
un nmero igual de ordenadas (x). Todas tienen valores numricos, ya sean
positivos, negativos o cero. No suponemos que estas ordenadas estn sujetas a
una ley comn; se siguen unas a otras de una forma cualquiera y cada una de
ellas est dada como si fuera una cantidad sola.
Est claro que Fourier ha dado una definicin que se aleja deliberadamente de las
expresiones analticas. Sin embargo, y a pesar de ello, cuando empieza a
demostrar teoremas sobre expresar una funcin arbitraria como serie de Fourier,
entonces usa el hecho de que su funcin es continua en el sentido moderno!
Dirichlet, en 1837, acept la definicin de funcin de Fourier e inmediatamente de
dar esta definicin, defini una funcin continua (usando continuo en el sentido
moderno). Dirichlet tambin dio un ejemplo de una funcin definida en el intervalo
[0,1] que es discontinua en todos sus puntos; sta es (x) definida como 0 si x es
racional y 1 si x es irracional. En 1838, Lobachevsky dio una definicin de una
funcin general que todava necesitaba que sta fuera continua:
Una funcin de x es un nmero que est dado para cada x y que cambia
gradualmente junto con x. El valor de la funcin puede estar dado mediante una
expresin analtica o mediante una condicin que ofrece una manera de probar
todos los nmeros y seleccionar uno de ellos o, finalmente, la dependencia puede
existir pero ser desconocida.
Sin duda la funcin discontinua en todos los puntos de Dirichlet no sera una
funcin bajo la definicin de Lobachervsky. Hankel, en 1870, deplor la confusin
que an reinaba sobre el concepto de funcin:
Una persona define funcin esencialmente en el sentido de Euler, otra requiere
que y debe cambiar con x segn alguna ley, sin dar una explicacin de este
obscuro concepto; la tercder la define en la misma manera que Dirichlet, la cuarta
sin ms no la define. Sin embargo, todo el mundo deduce de su concepto
conclusiones que no estn contenidas en l.

Alrededor de esa poca se construyeron muchas funciones patolgicas. Cauchy

dio un ejemplo temprano cuando not que (x) = exp(-1/x) para x0, (0) = 0, es
una funcin continua cuyas derivadas en 0 son todas 0. Por lo tanto, tiene una
serie de Taylor que converge en todos los puntos pero que solo es igual a la
funcin en 0. En 1876 Paul du Bois-Reymond hizo la distincin entre una funcin
cuya serie de Fourier diverge en un punto. En esta lnea se avanz en 1885
cuando Weierstrass demostr que cualquier funcin continua es el lmite de una
secuencia de polinomios que converge uniformente. Anteriormente, en 1872,
Weierstrass haba enviado un artculo a la Academia de Ciencias de Berln dando
un ejemplo de una funcin continua que no es diferenciable en ningn punto.
Ltzen escribe en [2]:
La funcin de Weierstrass contradeca la idea intuitiva de la mayor parte de sus
contemporneas que apuntaba a que las funciones contnuas eran differenciables
excepto en 'puntos especiales'. Fue una sensacin y, de acuerdo con Hankel,
incredulidad cuando du Bois-Reymond la public en 1875.
Poincar estaba a disgusto con la direccin que haba tomado la definicin de
funcin. En 1899 escribi:
Durante medio siblo hemos visto una masa de funciones extraas que parecen
forzadas a parecerse lo menos posible a las funciones honestas que sirven a
algn propsito. [...] Antes, cuando se inventaba una nueva funcin era con una
meta prctica. Hoy son inventadas a propsito para mostrar que el razonamiento
de nuestros ancestros fallaba y nunca obtendremos ms que eso de ellas. Si la
lgica fuera la nica gua del profesor, tendra que empezar por lo ms general, es
decir, las funciones ms estrambticas.
De dnde han tomado el concepto las definiciones ms modernas? Goursat, en
1923, dio la definicin que aparece en la mayora de los libros de textos hoy en
da:
Se dice que y es una funcin de x si a cada valor de x le corresponde un valor de
y. Esta correspondencia se indica mediante la ecuacin y = (x).
En caso de que sta no sea lo suficientemente precisa y que involucra conceptos
como 'valor' y 'correspondencia', vase la definicin dada por Patrick Suples en
1960:
Definicin. A es una relacin (x)(x A (y)(z)(x = (y,z)). Se escribe y A z
si (y,z) A.
Definicin. es una funcin es una relacin y (x) (y) (z)(x y y x z y
= z).

REFERENCIAS:
Qu hubiera pensado Poincar de la definicin de Suples? Artculo de: J J
O'Connor y E F Robertson MacTutor History of Mathematics Archive
Bibliografa
1. H N Jahnke (ed.), A history of analysis (American Mathematical
Society, Providence, R.I., 2003).
1. N Luzin, Function I, Amer. Math. Monthly 105 (1) (1998), 59-67.
2. N Luzin, Function II, Amer. Math. Monthly 105 (3) (1998), 263-270.
1. O Petersen, Logistics and the theory of functions, Arch. Internat.
d'Hist. d. Sciences 24 (94) (1974), 29-50.
1. R Thiele, Frhe Variationsrechnung und Funktionsbegriff, Mathesis
(Verl. Gesch. Nat.wiss. Tech., Berlin, 2000), 128-181.
1. A P Youschkevitch, The concept of function in the works of Condorcet
(Russian), in Studies in the history of mathematics, No. 19 (Russian),
Izdat. 'Nauka', Moscow, 1974), 158-166, 301.
2. A P Youschkevitch, The concept of function up to the middle of the
19th century, Arch. History Exact Sci. 16 (1) (1976/77), 37-85.

http://astroseti.org/?/historia-de-las-matematicas/historia-del-concepto-de-funcion

Ventas
FUNCIN CONSTANTE.

-1
4

-3

-3

Edwin
Edwin
Ren
Ren
Vilchis
Vilchis
Villavicencio.
Villavicencio.
2 2
Semestre
Semestre
Grupo:
Grupo:
lll lll

FUNCIN
LNEAL
-3x
5x
(1/3)x
-3x-2
2x-2

Edwin Ren Vilchis

Villavicencio.
2 Semestre Grupo:

FUNCIN
3x2-2x+1
CUADRTIC
2
A-x +2
(x+3)2
(x+2)2+2

Edwin Ren Vilchis

Villavicencio.
2 Semestre Grupo: lll

FUNCIN CBICA
3
-(x+2)
FUNCIN
CBICA
(x-3)3
(x-1)

-x3
3x3

x3+1
-3x3+2

Edwin Ren Vilchis

Villavicencio.
2 Semestre Grupo: lll

Edwin Ren Vilchis

Villavicencio.
2 Semestre Grupo: lll

FUNCIN
1/x2
RACIONAL
2x/x2+3
(x-6)(x2-5
-(x/(x2-5))

Edwin Ren Vilchis

Villavicencio.
2 Semestre Grupo: lll

FUNCIN
2
cos(x
)-sin(x)
TRIGONOMETRICA
-tan(x2)
tan(x2)-sin(x2)
(tan(x*2)- sin(x2))/
(cos(x2)+sin(x))

Edwin Ren Vilchis

Villavicencio.
2 Semestre Grupo: lll

FUNCIN
EXPONENCIAL
-6x
(x)2+x

Edwin Ren Vilchis

Villavicencio.
2 Semestre Grupo: lll

FUNCINES
DISCONTINUA

5(x)x2+x
(cos x)x2+x

Edwin Ren Vilchis

Villavicencio.
2 Semestre Grupo: lll

FUNCINES
ceil (-x)
SECCIONADAS
ceil (-x2-3)
ceil (sin(x3))

Edwin Ren Vilchis

Villavicencio.
2 Semestre Grupo: lll

3
FUNCIN
VALOR
abs(-x
)
ABSOLUTO
abs(x)

abs((x)/x2+3

Edwin Ren Vilchis

Villavicencio.
2 Semestre Grupo: lll