Ensayo sobre la Ensenanza del Concepto de

Funcion
Rene A. Hernandez Toledo

Noviembre 2005, Agosto 2007

1. Introduccion
Este ensayo presenta una serie de reflexiones personales sobre la ensenanza
del concepto de funcion. En tiempos recientes, una serie de investigaciones sobre
el tema indican serios problemas en los resultados de la ensenanza. Las solucio-
nes propuestas han, algunas veces, enfrentado a grupos de proponentes, especial-
mente entre aquellos que se autodefinen como matematicos con aquellos que se
autodefinen como educadores matematicos. La autodefinicion es importante, por-
que la clasificacion no necesariamente representa sus formaciones formales, sino
mas bien sus intereses personales actuales. Creo que parte del conflicto se debe a
confusiones semanticas. Aunque se usen las mismas palabras, no se habla de lo
mismo. Tratare de explicar las diferencias percibidas en la seccion que he llamado
Matematica Social y Matematica Formal.
Relacionado con lo anterior y relevante para la ensenanza, he introducido una
clasificacion de los conceptos en nebulosos y puntuales. Creo que muchos proble-
mas relacionados con la ensenanza de conceptos basicos, en particular el concepto
de funcion, pueden entenderse mejor con el uso de dicha clasificacion.
Despues de esos preliminares, presentamos un esquema de las etapas necesa-
rias para que un aprendiz logre un dominio basico del concepto de funcion. La
division en etapas quiere llamar la atencion a que hay que dar tiempo para que
se produzca la formacion de un concepto tan complejo como es el concepto de
funcion.
2. Matematica Social y Matematica Formal
La educacion (general) tiene como objetivo formar ciudadanos y no necesaria-
mente matematicos. No obstante lo anterior, la educacion tampoco debe impedir el
desarrollo de aquellas personas que tienen talentos matematicos y desean expan-
dirlos.
Las dos observaciones anteriores apuntan parcialmente a los problemas que se
presentan cuando hablamos de la ensenanza de las matematicas. Las matematicas
son parte de nuestro ambiente social, en el sentido que hay muchas actividades
que realizan las personas que tienen que ver con temas de la matematica. Las per-
sonas sean o no matematicos, necesitan realizar operaciones aritmeticas como la
suma y, por lo tanto, necesitan aprender acerca de dichas operaciones. La diferen-
cia, sin embargo, esta en la perspectiva con que abordan el tema. La mayora de
las personas usan la suma diariamente como parte de transacciones comerciales,
compraventa de artculos de consumo frecuente. Tales personas estan obviamen-
te preocupadas por la exactitud de los resultados y por la manera mas comoda de
realizar dichos computos. Por otra parte, los matematicos estan mas preocupados
con las propiedades algebraicas de la suma: conmutatividad, asociatividad, etc..
En este ensayo, llamaremos matematica social a aquellas actividades relacio-
nadas con la matematica que usamos como integrantes de una sociedad. Por otra
parte, tendremos la matematica formal, que es la matematica que estudian y desa-
rrollan los matematicos profesionales. Aunque hay, muchas veces, coincidencia en
los temas, no pasa lo mismo con el enfoque al abordar los temas, ya que lo que
se persigue es diferente. La ensenanza social de las matematicas, o sea de la ma-
tematica social, es una ensenanza para la supervivencia de nuestra sociedad, no
necesariamente para el desarrollo de la ciencia de las matematicas. Su enfasis es
preparar personas que puedan entender lo suficiente de los conceptos matematicos
para participar de manera plena en la vida social. Esto permite ciertas liberalidades
que no son admisibles en la matematica formal. Por ejemplo, a nivel de matemati-
ca social, podemos hablar del conjunto de todas las sillas, aunque formalmente
tal conjunto no exista, al menos en formalizaciones como aquella de Zermelo
Fraenkel. Estas liberalidades sirven, sin embargo, de modelos intuitivos para la
matematica formal, por lo que no hay realmente contradiccion u oposicion entre
ambas visiones, desde el punto de vista de la ensenanza. La conexion entre ambas
visiones debe ser de complemento, la matematica social desarrolla la intuicion de
los conceptos y cuando sea necesario algunas formalizaciones. Por su parte, la ma-
tematica formal contribuye con el analisis formal de los conceptos a expandir la
intuicion y, tambien. a sugerir caminos en el desarrollo didactico de los conceptos.
Los matematicos formales saben que los conceptos basicos de la matemati-
ca han ido evolucionando. Nuestra concepcion actual de numero es, por ejemplo,

2
diferente a aquella de los romanos, aunque trabajemos todava con ciertos nume-
ros que tambien usaban los romanos. Otro ejemplo, la aparicion de las geometras
noeuclidianas significa el final de la creencia de las matematicas como ciencia
natural, ya que muestran mas claramente la esencia de la matematica como un len-
guaje creado o inventado para solucionar de manera eficiente ciertos problemas o
formular de manera logica teoras acerca de la estructura y organizacion del mundo.
Es, pues, un error insistir en tratar de descubrir relaciones matematicas por expe-
rimentacion, ya que no se puede descubrir algo que ha sido inventado de forma
relativamente arbitraria. No hay en la naturaleza, por ejemplo, ni lneas, ni angu-
los, ni nada semejante, como tampoco numeros. Los numeros complejos son tan
imaginarios (en el sentido usual de la palabra) como los numeros reales, etc. Eso no
quiere decir que esas invenciones no tengan aplicaciones a situaciones de la vida
real dentro de teoras predictoras. Tampoco quiere decir que la ensenanza de la ma-
tematica deba reducirse al enunciado de supuestos basicos y a deducciones a partir
de ellos. Las teoras matematicas estan basadas en una observacion cuidadosa de la
naturaleza, en la abstraccion de esas propiedades y en relaciones observables entre
ellas. Por lo que el desarrollo psicologico de los conceptos, es decir dentro de la
cabeza de un estudiante debe casi siempre ser precedida de etapas manipulativas,
para familiarizarlo con los objetos y las propiedades que serviran de base para las
abstracciones.
Nuestra posicion respecto a la ensenanza de conceptos matematicos es que
se debe atender primordialmente a los diversos aspectos que los hacen utiles o
necesarios para la vida social. Lo anterior se debe enriquecer, cuando sea posible,
con la vision de la matematica formal acerca de esos conceptos, pero nunca estar
en contradiccion logica con los mismos.
Finalmente una reflexion sobre la actividad matematica formal que debe incidir
sobre la ensenanza de las matematica social. Es comun or que se debe ensenar a
los estudiantes a hacer matematicas como la hacen los matematicos. Desde mi
punto de vista, esa afirmacion resulta un tanto contradictoria, ya que mi tesis es
que hay diferencias entre la matematica social y la matematica formal, por lo que
no hace sentido proponer que la ensenanza (de la matematica social) sea modelada
a como hacen matematica los matematicos formales.
Hay, sin embargo, dos aspectos de los matematicas formales que deben apare-
cer siempre en la ensenanza de la matematica social. En primer lugar, la relatividad
de los conceptos. Es importante destacar y ensenar que los conceptos matematicos
no son fijos, que han evolucionado y evolucionan con el estado del conocimiento
de un aprendiz. Esto significa conscientemente revisar los conceptos aprendidos
con anterioridad, para adaptarlo a nuevas informaciones. Por ejemplo, en los gra-
dos elementales, numero es algo asociado con cantidad; por lo que la aparicion

3
de nuevos numeros, cuya conexion con cantidad no es aparente, debe llevar a re-
examinar tales concepciones. Este ejercicio es importante que se internalize en los
estudiantes, de manera que posteriormente lo hagan de manera casi automatica. El
segundo aspecto lo constituye las demostraciones. No hay matematica sin demos-
traciones. La demostracion es el unico metodo aceptado para validar resultados en
matematicas. Sin demostraciones, la ensenanza de matematicas pierde su esencia,
y se convierte en un recitado de procedimientos disconexos, para obtener resulta-
dos. La formalidad de la demostracion es un asunto aparte. Argumentos heursticos
son aceptables en matematica social como tambien figuras que muestren la plau-
sibilidad del concepto.

3. Conceptos Nebulosos y Puntuales

Mi primera observacion sobre los conceptos matematicos sociales es que deben
clasificarse en conceptos nebulosos y conceptos puntuales.1
Consideremos, por ejemplo, el concepto de numero. Claramente este concepto
es un concepto matematico y la mayora de las personas normales puede reconocer
algunos numeros cuando los ven, pero no es tan facil definir lo que un numero es.
Simplemente no hay, por as decirlo, una definicion conceptual de numero, aunque
sea posible que haya definiciones formales de algunos conjuntos de numeros. Los
numeros como conceptos sociales presentan diversas facetas, todas ellas interesan-
tes y que tienen, ciertamente, su contrapartida formal; sin embargo no es facil dar
una definicion para el concepto de numero. Podemos hablar de los usos de los
numeros y tenemos, as, un uso cardinal (nos sirven para contar objetos), un uso
medicional (nos sirven para expresar resultados de mediciones de magnitudes),
un uso ordinal (nos sirven para ordenar objetos, por ejemplo los numeros de las
paginas de un libro). Aprendemos, ademas, acerca de los numeros en forma incre-
mental, empezando con los llamados numeros naturales, seguido de los racionales
positivos, algunos irracionales, luego los numeros negativos, los numeros reales
(en su encarnacion decimal) y, finalmente, los complejos. Matematicamente lo an-
terior, sin embargo, no agota todos los conjuntos de numeros de la matematica
formal, ya que hay varios otros conjuntos de numeros (cuaterniones, padicos, hi-
perreales, surreales).
Los numeros son esencialmente conceptos mentales, construcciones mentales
destiladas o abstradas de nuestras experiencias de contar y medir. Para poder traba-
jar concretamente con ellos, es necesario, por lo tanto, representarlos en forma con-
creta. Tenemos disponibles diversas representaciones. Aquellas usadas comunmen-
1
Esta terminologa es una adaptacion de la terminologa usada en Logica Difusa.

4
te, se llaman sistemas de numeracion y sabemos, por la historia, que se han usado
diversos sistemas de representacion, siendo el sistema de numeracion decimal y
el sistema de numeracion romano los mas conocidos, socialmente, entre nosotros.
Tambien, hay una representacion grafica, llamada la lnea numerica que combina
elementos pictoricos con los sistemas numericos.
Los numeros, o de forma mas precisasiguiendo la tendencia moderna de
las matematicaslos conjuntos de numeros, vienen acompanados de operaciones
(procesos para producir un nuevo numero a partir de dos numeros dados) y de
relaciones (orden y divisibilidad).
La adquisicion del concepto de numero es una lenta, que empieza por aprender
a contar, pasando a las representaciones numericas y a las operaciones, a nuevos
numeros, nuevas representaciones y nuevas operaciones. Aunque, abstractamente,
una misma operacion no cambia al extenderse los sistemas numericos, social-
mente la situacion es diferente. No hay nada en la matematica formal que nos diga
que dos perros mas tres perros son cinco perrosya que no hay perros ni gatos
en la matematica formal. Igualmente, el sentido comun nos dice que dos perros
mas tres gatos no producen cinco de algo, ya que no sumamos chinas con bote-
llas. Analogamente, hay socialmente problemas con sumar numeros con distintos
apellidos, por ejemplo, digamos dos tercios con tres quintos. Una persona no muy
instruida en fracciones puede tener problemas hallando el resultado de la suma an-
terior. Sin embargo, esa misma persona puede juntar en un mismo lugar 2/3 de taza
de harina con 3/5 de taza de harina. Los procedimientos que usamos para operar
socialmente con numeros dependen de los apellidos de los mismos, o sea a cual
conjunto pertenecen. No es lo mismo sumar dos numeros naturales que juntar dos
segmentos para obtener un segmento cuyo largo sea igual a la suma de los largos
de los segmentos originales.
Todo lo anterior forma parte del concepto social de numero. La complejidad
de la situacion junto con lo impreciso o ambiguo de ciertas situaciones, hacen que
clasifiquemos al concepto de numero como de concepto nebuloso.
Como opuesto a la nocion de concepto nebuloso, tendremos la nocion de con-
cepto puntual o agudo. Un ejemplo de tal tipo de concepto es el concepto de nume-
ro primo. En primer lugar, es relativamente facil producir una definicion precisa de
numero primo. Recordemos dicha definicion
Un numero entero mayor que 1 es un numero primo, ssi, los unicos
divisores (positivos) de dicho numero son el 1 y el mismo.
Usando la definicion anterior, es facil para cualquier persona que medianamente
entienda los terminos empleados en la definicion, verificar si un cierto numero
dado es o no primo. Tambien, podra producir ejemplos de tales numeros.

5
 La razon de la facilidad indicada reside en la precision de la definicion y en
que tal definicion es una invencion teorica conveniente. Es decir, no hay ningu-
na relacion con una experiencia concreta. De hecho, cuando primero aprendemos
acerca de numeros primos, no hay un uso obvio para los mismos. Su importancia es
mayormente teorica. No obstante lo anterior, es un concepto natural, en el sentido
que cualquier persona que experimente algun tiempo con numeros enteros positi-
vos y la relacion de divisibilidad entre ellos, observara que hay una clase especial
de numeros formada por aquellos que tienen solamente dos factores distintos.
La clasificacion anterior de los conceptos matematicos es ella misma nebulosa,
por lo que no daremos una definicion de la misma. Esperamos que la experiencia
nos ayude a distinguirlas. Lo importante, desde el punto de vista de este ensayo, es
que la ensenanzaaprendizaje de los conceptos dependera del tipo del concepto.
Un concepto puntual debe usualmente ser ensenado o contado por una per-
sona a otra. Como tales conceptos representan convenios, usualmente teoricos y
teleologicos (o sea que se introducen porque son utiles en unos aspectos que el
aprendiz aun desconoce), no hay experimentacion o experiencia que nos guen en
la construccion mental del concepto. Obviamente, dependiendo del estado de co-
nocimiento del aprendiz, puede ser necesaria un cierto grado de experimentacion
para fijar (en la memoria) el concepto,
Al contrario, los conceptos nebulosos no se pueden ensenar, en el sentido de
que basta con una persona le explique a otra. Su aprendizaje requiere periodos lar-
gos de tiempo de familiarizacion con instancias del concepto, un analisis de sus
componentes y su relacion con otros conceptos. El aprendiz debe construir sus
propias estructuras mentales para el concepto. El maestro puede ayudar o facilitar
dicha construccion, especialmente procurando un ambiente de exploracion y usos
lingusticos que no limiten la adaptacion del concepto a situaciones que extienden
la situacion original. (Por ejemplo, no decir que no se puede restar una cantidad
mayor de una menor, ya que esto obstaculiza la introduccion posterior de nume-
ros negativos.) El dominio del concepto, por parte del aprendiz, no es algo fijo,
ya que dependera esencialmente del estado de conocimiento del aprendiz, lo que
ira variando con el tiempo.
Hemos introducido la distincion entre conceptos nebulosos y puntuales, por-
que creemos que la ausencia de esta distincion, incide negativamente en el proceso
ensenanzaaprendizaje. Especialmente, cuando se trata de definir conceptos ne-
bulosos o de descubrir definiciones que son convenios.
Finalmente, queremos repetir que no daremos definicion de nuestras nociones
de concepto nebuloso y concepto puntual, ya que creemos que esas nociones son
tambien nebulosas. Ademas, es comun que nociones matematicas generen con-
ceptos que son parcialmente nebulosos y parcialmente precisos. Por ejemplo, los

6
algoritmos para realizar las operaciones, digamos con numeros enteros, Dichos al-
goritmos tienen una especificacion formal muy precisa, de hecho podemos progra-
mar maquinas que no entienden de numeros para realizar las mismas. Sin embargo,
dichas definiciones son demasiado complejas para darselas a principiantes. Es ne-
cesario aprender esos algoritmos, como recetas, con posibles justificaciones para
los mismos, cuando sea posible. Por lo que el dominio de ese tipo de destrezas
puede tomar una porcion significativa de tiempo.

4. El Concepto de Funcion
El concepto de funcion es un concepto nebuloso (en la matematica social) .
Basta revisar la historia del concepto para darse cuenta de lo anterior. Sin embargo,
y he aqu el problema, hay algunas definiciones simples de funcion, por lo que
aparenta ser un concepto puntual. Como dijimos, el concepto ha evolucionado en
la historia, es decir el significado matematico asociado al vocablo funcion. Aqu,
adoptaremos la definicion producida en la segunda mitad del siglo XIX.

Una funcion es la asignacion a cada elemento de un conjunto de un

unico elemento de otro conjunto.

Sabemos que, posteriormente, como parte de la formalizacion matematica de la

teora de conjuntos, hay una definicion de funcion como un conjunto de pares orde-
nados con ciertas propiedades especiales. 2 Sin embargo, en este ensayo, siempre
estaremos hablando de la nocion de funcion dada en la definicion del siglo XIX.

5. Las Etapas del Aprendizaje del Concepto de Funcion

Creemos que el primer error en la ensenanza de funciones se produce cuando
se inicia el aprendizaje con una de las definiciones; no importa cual sea. Ya que
eso, apunta hacia un concepto puntual, cuando realmente se trata de un concepto
difuso.
Se puede, en mi opinion, hablar de funcion, a traves de ejemplos de funcio-
nes, sin necesidad de dar una definicion precisa, as como hablamos de numeros
sin tener una definicion precisa de ese concepto. Hay solamente dos precauciones
importantes. La primera es advertir a los aprendices que no hagan generalizaciones
2
Algunas personas sostienen que esa es LA definicion correcta, porque aparece en la formali-
zacion de ZermeloFraenkel de los conjuntos. Hay dos razones para preferir la definicion del siglo
XIX. Por una parte, estamos hablando de matematica social, la restriccion de que todo debe ser con-
junto es una necesidad teorica que hace poco sentido a personas que estan empezando a estudiar
matematicas.

7
prematuras, o sea que no intenten codificar como absoluta o puntual la nocion de
funcion, sino que deben irse formando una idea, a traves de los ejemplos, de lo que
una funcion es, pero que deben esperar hasta tener suficiente experiencia, antes de
intentar producir una definicion. La segunda precaucion es proveer a los aprendi-
ces con suficientes ejemplos diversos, que muestren la variedad de instancias que
deseamos incluir dentro de la nocion de funcion. Recordemos que le tomo a la
humanidad mucho tiempo antes de producir una definicion aceptable de funcion.
El maestro como gua o facilitador del proceso de ensenanzaaprendizaje de-
bera estar atento a que no se produzcan generalizaciones prematuras, advirtiendo
cuando sea necesario sobre la necesidad de esperar por mas instancias del concep-
to, para poder construir una buena intuicion acerca del mismo.
Presentaremos, a continuacion, tres etapas basicas en el desarrollo del concepto
de funcion. Tales etapas son: ManipulativaExploratoria, Analtica y Deductiva. La
terminologa esta adoptada de los niveles de los Van Hiele.

5.1. Etapa ManipulativaExploratoria

En esta etapa, el aprendiz toma contacto consciente con las instancias del con-
cepto de funcion presentado por el maestro. Aprende la terminologa y la notacion
basica asociadas con el concepto de funcion (valor de la funcion, imagen por la
funcion). Conoce y usa diferentes presentaciones (formulas, graficas, tablas, etc.).
Naturalmente, por razones de tiempo, es imposible e inclusive no deseable,
presentar todas las instancias de manera inmediata. Por lo que la aparicion mas na-
tural de funciones (especialmente numericas) es a traves de formulas. Las formulas
permiten producir un valor a partir de otro dado. Posteriormente, tendremos funcio-
nes donde la formula no es obvia, por ejemplo cuando estan presentadas mediante
una grafica que relaciona los valores de dos magnitudes, o mediante tablas. Lo que
servira para cuestionar cualquier generalizacion prematura que asociara de manera
necesaria una formula con la nocion de funcion. Para cada tipo de presentacion,
ya sea simbolica (una o varias formulas), grafica (y hay varias posibilidades, no
solamente la cartesiana), tabular, pictorica, maquina de funciones, lo importante es
la posibilidad de evaluar la funcion en valores especficos. Esto acentuara lo que
es comun a todos los ejemplos de funciones: la asignacion a cada elemento de un
conjunto de un elemento de un segundo conjunto. Al final de esta primera etapa, el
aprendiz debera poder

1. Identificar, en una situacion dada, relaciones funcionales. Es decir, corres-

pondencias entre elementos de dos conjuntos que permitan definir una fun-
cion.

8
 2. Evaluar una funcion, o sea la imagen correspondiente a un elemento por la
funcion, para cualquier tipo de presentacion que se use.

3. Dada una funcion y un posible candidato a imagen por la funcion determinar,

si efectivamente lo es, y cual o cuales seran sus preimagenes.

4. Convertir de un tipo de presentacion a otra.

5.1.1. Vocabulario de la Etapa

El vocabulario de cada etapa es algo a lo que debe atenderse cuidadosamente.
A medida que se avance en las etapas, el uso de un vocabulario propio y preciso
debe ser uno de los objetivos del proceso de aprendizaje.
Los vocablos basicos de esta etapa son: relacion, relacion funcional, valor de
la funcion, imagen por la funcion.
Una relacion funcional es una relacion entre dos tipos o clases de magnitudes u
objetos que permite asociar a cada valor de una de esas magnitudes, un unico valor
de la otra magnitud. En otras palabras, las relaciones funcionales son aquellas que
nos permitiran definir funciones. Cuando tengo una funcion f asociando elementos
de un conjunto A en un conjunto B, el elemento b de B asociado al elemento a de
A se dira que es el valor de la funcion f en a o, tambien, que es la imagen por f
de a, lo que denotaremos por f (a) = b o por f : a 7 b.
Hay una nomenclatura tradicional cuyo valor didactico es un asunto discutible.
Se trata del vocablo variable y de la supuesta nocion de variable. A pesar de lo tra-
dicional del termino, no hay nada, estrictamente hablando, en la nocion matematica
de funcion que obligue a usar la nocion de variable. Recordemos la definicion que
estamos usando, y veremos que all no aparece variable. La terminologa de va-
riable es una terminologa previa a la invencion de la teora de conjuntos (que es
de finales del siglo XIX) y puede ser reemplazada logica y practicamente por la
pertenencia a un conjunto. Decir, por ejemplo, que x es una variable real no es
mas que afirmar que x R . Lo unico importante con la expresion x R es que
x representa un elemento cualquiera del conjunto de los Reales y en expresiones
algebraicas donde aparezca ese x, sera posible sustituir x por un smbolo (literal o
numeral) que represente a un unico valor real.
Una vez aclarado lo anterior, es decir que no hay nada especial en la pala-
bra variable, excepto un uso tradicional, la terminologa variable independiente y
variable dependiente se podra introducir en la proxima etapa; ya que su uso es, to-
dava, comun en las aplicaciones. Siempre y cuando quede claro que no hay nada
que vare.

9
5.1.2. El Modelo Cinematico
Un modelo interesante para ilustrar el concepto de funcion es el modelo ci-
nematico.
Suponemos que:

(a) tenemos un carrito, como los usados en laboratorios de Fsica para hacer
experimentos.

(b) el carrito se mueve sobre una lnea y puede hacerlo en cualquiera de las dos
direcciones.

(c) la lnea esta equipada con un sistema de coordenadas lineal, o sea que cada
punto de la lnea tiene asociado un numerola coordenada del puntoque
nos permitira indicar la posicion del carrito.

La trayectoria sera la especificacion de la posicion (s) del carrito como una fun-
cion del tiempo t. Siguiendo la costumbre de los fsicos, escribiremos s(t) = f (t),
donde f es la funcion que define la trayectoria. Para precisar, supondremos que
la posicion del carrito es la posicion (coordenada) de su centro. Suponiendo que
la lnea esta horizontal y los positivos hacia la derecha, moverse hacia la derecha
querra decir que el carrito se mueve de modo que el valor de s esta aumentando.
Este modelo presenta una forma muy concreta para pensar acerca de funciones
y de su conducta.

5.2. Etapa Analtica

En esta etapa, el aprendiz identifica las partes de una funcion (analisis = des-
componer en partes), examina las propiedades generales de las funciones y, espe-
cialmente, aquellas de las funciones numericas.
Como resultado del analisis se distinguen tres partes en una funcion.

Un conjunto de partida o de entrada, donde residen los elementos a los que

la funcion asignara valores. Formalmente este conjunto se llama el dominio
de la funcion. (Una variable independiente es cualquier elemento del domi-
nio de la funcion.)

Un conjunto de llegada o de salida, donde residen los elementos que son

los posibles valores asignables por la funcion a los elementos del dominio.
Formalmente, llamamos a este conjunto el codominio de la funcion. (Una
variable dependiente es cualquier elemento del codominio de la funcion.)

10
 La regla de asignacion o correspondencia.

Notacion. La notacion f : A B corresponde al analisis anterior. La

funcion es f (ese el nombre o identificador de la funcion), su dominio y co-
dominio son A y B respectivamente. La flecha simboliza la correspondencia
funcional entre el dominio y codominio.

El analisis anterior nos provee, ademas, con la definicion formal del concepto
de funcion, es decir un tro consistente de un conjunto de partida A (dominio), un
conjunto de llegada B (codominio) y una asignacion (regla de la funcion) a cada
elemento del dominio de un unico elemento del codominio.
Dos funciones seran, por lo tanto, iguales, ssi, tienen cada uno de sus compo-
nentes iguales.

Nomenclatura. Llamamos funcion numerica a una funcion cuyo dominio y co-

dominio son subconjuntos de los Reales.
Llamamos funcion con valores reales a una funcion cuyo codominio son los
Reales. Por ejemplo, la funcion que asigna a cada persona de un conjunto de per-
sonas, su altura (expresada en alguna unidad de medida).
Definir una funcion (que es algo distinto a la definicion del concepto de fun-
cion) consiste, por lo tanto, en indicar sus componentes: su dominio, su codominio
y su regla.

Ejemplo 5.1. Sea f : R R tal que x 7 x2 . Es la funcion llamada f de los

Reales en los Reales, tal que a cada numero real x asocia el numero real f (x) = x2 .
Recientemente, se ha empezado a usar la expresion f : R R :: x 7 x2 ,
para abreviar la especificacion anterior, es decir la secuencia de dos puntos quiere
decir tal que.

Observacion. A veces, se lee el tal que como definida por, lo cual aunque
no es totalmente incorrecto, tiene el problema de inducir a espritus no advertidos
de que la definicion proviene de la regla solamente.

5.2.1. Clasificacion General de Funciones

Sea f : A B dada. Cuando b es un elemento del dominio, nos interesa
considerar la ecuacion (en la incognita x)

f (x) = b. (*)

11
En palabras: hallar todos los elementos del dominio de f cuya imagen es igual a
b. Hay ejemplos que muestran que tenemos varios casos posibles: en primer lu-
gar que puede que haya solucion, como puede que no la haya. En segundo lugar,
cuando haya solucion, que dicha solucion puede ser unica o puede haber varias
soluciones diferentes. Como siempre en Matematicas, cuando hay propiedades es-
peciales, introducimos nombres especiales para aquellos objetos que tienen esas
propiedades.
Sea f : A B una funcion cualquiera.
Decimos que f es suprayectiva, ssi, para todo b B, la ecuacion f (x) = b
tiene al menos una solucion.
Decimos que f es inyectiva, ssi, para todo b B, la ecuacion f (x) = b
tiene a lo mas una solucion.
Decimos que f es biyectiva, ssi, es inyectiva y suprayectiva a la vez. Es
decir, ssi, para todo b B, la ecuacion f (x) = b siempre tiene una unica
solucion.
Experimentacion muestra que hay funciones con igual regla pero con distinto
dominio o codominio, por lo que son diferentes. En particular, pueden tener tipos
diferentes respecto a la clasificacion recien introducida.
Ejemplos 5.2.
1. La funcion f : R R :: f (x) = x2 no es ni inyectiva ni suprayectiva.
Ya que la ecuacion f (x) = 4 tiene como soluciones 2 o 2, y la ecuacion
f (x) = 1 no tiene solucion.
2. La funcion f : R R + 2
0 :: f (x) = x es suprayectiva pero no in-
yectiva. (donde R 0 es el conjunto de los reales no negativos, o sea que
+

R +0 := [0, +), ).
3. La funcion f : R +
0 R :: f (x) = x es inyectiva pero no suprayectiva.
2

4. La funcion f : R +
0 R 0 :: f (x) = x es inyectiva y suprayectiva, por lo
+ 2

que es biyectiva.
Las consideraciones anteriores conllevan naturalmente a introducir la nocion
de Imagen de una Funcion.
Sea f : A B una funcion. Llamamos imagen de f al subconjun-
to de B formado por todos aquellos elementos que son imagenes de
elementos de A.
im(f ) := {y B : x A, tal que f (x) = y}.

12
 En la literatura matematica elemental, este conjunto recibe la mayor variedad
de nombres: alcance, rango, campo de valores, etc.
Observemos que una funcion f : A B es suprayectiva, ssi, su imagen
coincide con su codominio. Se tiene, tambien, que f : A B es inyectiva, si la
relacion que asigna a cada elemento de la imagen su preimagen en A, define una
funcion desde im(f ) en A.

5.2.2. Las funciones numericas

Recordemos que llamamos funciones numericas a funciones cuyo dominio y
codominio son subconjuntos de los Reales. Con estas funciones tenemos asociada
de manera preferencial la representacion grafica cartesiana.
La experimentacion con las graficas debe llevar a la observacion de propieda-
des tales como crecientes, decrecientes y la determinacion de valores maximos y
mnimos de funciones.
En algunos casos, la grafica puede tambien ayudarnos a determinar si la funcion
es inyectiva o suprayectiva.

Dominio natural. Hay una tradicion, especialmente en las disciplinas que usan
matematica, de presentar a las funciones numericas solamente mediante su regla.
Esta costumbre hace necesario introducir un convenio adicional: la nocion de do-
minio natural, definido como el subconjunto maximal (respecto a la inclusion)
de los Reales, donde se puede definir con esa regla una funcion, cuyo codominio
(natural) sera siempre todos los Reales, a menos que se especifique algo distinto.

5.2.3. Las Operaciones con Funciones Numericas

El analisis de reglas de tipo x 7 x2 + 3x + 1 conduce de manera natural a
expresar el valor de un cierta funcion como la suma de los valores de dos funciones.
Por ejemplo, si f (x) = x2 + 3x + 1 y g(x) = x2 y h(x) = 3x + 1, entonces
f (x) = g(x) + h(x).
Sea F (A, R ) el conjunto formado por todas las funciones del conjunto A en
los Reales, donde el conjunto A puede o no ser un subconjunto de los Reales. Se
introducen operaciones de suma resta, multiplicacion y producto por constantes,
como las funciones de A en R indicadas a continuacion:
f + g := x 7 f (x) + g(x)
f g := x 7 f (x) g(x)
f g := x 7 f (x)g(x)
af := x 7 af (x)

13
 En general, no hay cocientes de funciones, ya que puede ser que el dominio
natural del tal cociente no coincida con el conjunto A. Observemos que en la de-
finicion anterior no se supone que necesariamente A sea un subconjunto de los
Reales.

5.2.4. La Composicion de Funciones

Sea h(x) = x + 1. Colocando g(x) = x y f (x) = x + 1 se tiene que
h(x) = g(f (x)). Esto muestra que hay funciones pueden descomponerse en termi-
nos de funciones mas simples. La situacion se puede abstraer a funciones generales,
o sea que no sean necesariamente numericas.

Sean f : A B y g : B C funciones. Llamamos composicion

de g con f a la funcion de A en C denotada por g f y tal que

g f : A C :: x 7 g(f (x)).

f
A@ /B
La definicion anterior se ilustra grafica- @@
mente a la derecha. @@ g
gf @@ 
C

5.2.5. Vocabulario de la Etapa

Esta etapa es rica en la introduccion de vocablos, como corresponde a cuando
se hace analisis de una situacion.
Dominio, codominio y regla de una funcion.
Imagen de una funcion.
Funciones inyectivas, suprayectivas, biyectivas,
Composicion de Funciones.
(Funciones Numericas.)
Funciones crecientes, decrecientes, constantes.
Valores maximos, mnimos. (*)
Suma, resta, multiplicacion, producto por constantes. (*)
(*) Estas nociones pueden entenderse a funciones con valores numericos,
pero con dominio arbitrario.

14
5.3. Etapa Reflexiva
En esta etapa, el aprendiz reflexiona sobre las propiedades estudiadas en la
etapa anterior y busca relaciones entre las diferentes nociones. Operacionalmente,
las funciones pasan a ser los objetos de estudio.
Los resultados de este estudio sera la produccion de enunciados tales como
aquellos contenidos en las proposiciones siguientes. El dominio conceptual de esta
etapa incluye no solo conjeturar los resultados sino que, tambien, la demostracion
de los mismos.

Proposicion 5.1 (Propiedades de las Operaciones con Funciones).

a) La suma de funciones numericas es asociativa, conmutativa, con elemento neu-

tro y cada elemento tiene opuesto aditivo.

b) La multiplicacion de funciones numericas es asociativa, conmutativa, con ele-

mento neutro. Hay funciones f y g tales que f 6= 0, g 6= 0 pero f g = 0.

Proposicion 5.2 (Funciones Numericas).

1. La suma de funciones crecientes es una funcion creciente.

2. El producto de una funcion creciente por una constante positiva es una fun-
cion creciente.

Proposicion 5.3. La composicion de funciones inyectivas (resp. suprayectivas, bi-

yectivas) es una funcion del misma tipo.

Proposicion 5.4. Una funcion creciente sobre un intervalo es inyectiva.

Como regla general, se debe explorar las combinaciones de propiedades, con-

jeturar resultados generales y probarlos. Cuando las combinaciones no producen
resultados generales, como que el producto de dos funciones crecientes no nece-
sariamente es creciente, producir contraejemplos y buscar condiciones adicionales
para los casos cuando se cumpla el enunciado.

15
6. Consideraciones Finales
Nuestra descripcion de las etapas refuerza nuestra creencia de que funcion es
un concepto nebuloso. Por lo que diremos, que una persona que logra realizar lo
descrito en las tres etapas, tiene un dominio del concepto de funcion.
Tal dominio es un dominio basico, ya que estudios posteriores podran modifi-
car lo dicho hasta aqu.

7. Rol del Maestro

El maestro o instructor tiene un rol importante en nuestro modelo de apren-
dizaje. El conoce la proxima etapa, por lo que su rol es orientar al estudiante,
proporcionandole ejemplos, materiales, explicaciones, etc. que lo conduzcan a la
proxima etapa.
La proxima etapa de la etapa reflexiva es la etapa de deducciones formales. Tal
etapa no es un objetivo de la matematica social, por lo que en la etapa reflexiva,
solamente se orienta al aprendiz acerca de como transmitir por escrito o grafica-
mente u otra manera, las demostraciones de las propiedades que hay descubierto o
le hayan sido sugeridas.

Sitio del artculo http://renehernandez.fortunecity.com

Buscar en Artculos>Didactica.

RAHT - OP304

16