Introducción
El concepto de función es uno de los pilares fundamentales del análisis matemático
moderno. Actúa como el hilo conductor que unifica el álgebra, la geometría y el cálculo.
Históricamente, la noción de dependencia entre variables evolucionó desde tablas
astronómicas en la antigüedad hasta la definición formal basada en la teoría de conjuntos
que utilizamos hoy en día. Una función no es simplemente una fórmula de asignación; es
una relación estructural entre dos conjuntos que garantiza previsibilidad y unicidad.
El propósito de este informe es ofrecer una exposición rigurosa, exhaustiva y pedagógica de
las estructuras fundamentales que gobiernan la teoría de funciones. Como futuros
profesores de matemáticas, nuestro objetivo es guiar a los estudiantes a través de un
recorrido que va desde las asignaciones más elementales hasta las transformaciones de
subconjuntos bajo operadores de imagen. Comenzaremos definiendo lo que es una función
para después analizar las funciones notables básicas, cuya simplicidad matemática las
convierte en los bloques de construcción de modelos más complejos. Luego, estudiaremos
los criterios formales que determinan cuándo dos funciones son rigurosamente idénticas.
Posteriormente, nos adentraremos en el álgebra de funciones mediante la operación de
composición. Esta herramienta permite construir nuevas estructuras entrelazando sistemas
matemáticos. También abordaremos la caracterización y la clasificación de funciones
(inyectiva, sobreyectiva y biyectiva). Finalmente, elevaremos el nivel de abstracción
analizando cómo las funciones actúan no solo sobre elementos individuales, sino sobre
conjuntos completos, mediante los conceptos de imagen directa e imagen recíproca.
Cada sección de este documento combina la definición formal con explicaciones
conceptuales y ejercicios demostrativos detallados paso a paso. Este enfoque busca dotar al
estudiante de las herramientas analíticas necesarias para dominar el lenguaje formal de la
matemática superior.
Función
Una función se define como una asociación entre conjuntos, el dominio y
el codominio; de tal manera que a cada elemento del dominio le corresponda un único
elemento del codominio.
El dominio es el conjunto de valores posibles para las entradas o conjunto de
partida de la función, es decir, los valores de x. El rango es el conjunto de valores
posibles para las salidas o conjunto de llegada de la función, es decir, los valores de y.
Funciones Notables
En el estudio del análisis matemático, ciertas funciones sirven como estructuras de
referencia debido a sus propiedades algebraicas y geométricas fundamentales. Estas
funciones elementales se denominan funciones notables.
1.1 Función Identidad
Es aquella función que tiene como imagen el mismo valor que el argumento. Sea A un
conjunto no vacío. La función identidad en A, denotada como id (A) o simplemente I. por
lo tanto la función identidad es: F(x)=x.
Propiedades Geométricas y Algebraicas
Si A = {R}, su gráfica es una línea recta que pasa por el origen con un ángulo de
inclinación de 45° respecto al eje de las abscisas. Dividiendo el primer y tercer
cuadrante, actúa como el eje de simetría para funciones inversas.
Opera como el elemento neutro para la composición de funciones. Para cualquier
función f: A →B, se cumple que f *id_A = f y id_B *f = f.
1.2 Función Constante
Es aquella en la que para cualquier valor de la variable independiente (x), la variable
dependiente (f(x)) no cambia, es decir, permanece constante. Sea f(x)=c, el dominio de esta
función es el conjunto de todos los números reales, y el codominio es únicamente el real c.
llegada (c ∈ B). La función constante asigna el mismo elemento c a cada uno de los
es decir, sean A y B dos conjuntos no vacíos, y sea c un elemento fijo del conjunto de
elementos del conjunto de partida.
f: A→ B
x→ f(x)=c
Propiedades Geométricas y Algebraicas
Si A = {R}, y B = {R}, su gráfica es una recta horizontal paralela al eje X que
interseca al eje Y en el punto (0, c).
La derivada de cualquier función constante en el campo de los números reales es
idénticamente cero en todo su dominio, lo que indica una tasa de cambio nula.
El conjunto imagen (o rango) de una función constante es un conjunto unitario:
Im(f) = {c}.
Igualdad de Funciones
En la teoría de conjuntos y el análisis matemático, la igualdad de dos funciones no se
reduce a la coincidencia visual de sus expresiones algebraicas. Dos funciones son
rigurosamente iguales si y solo si comparten la misma estructura triádica fundamental:
dominio, codominio y regla de correspondencia.
Definición Formal
Sean dos funciones f: A→ B y g: C→ D. Decimos que f es igual a g (y se denota f = g) si y
solo si se cumplen simultáneamente las siguientes tres condiciones:
1. Igualdad de Dominios: A = C
3. Igualdad de Criterios: ∀ x ∈ A, f(x) = g(x)
2. Igualdad de Codominios: B = D
Si tan solo una de estas condiciones falla, las funciones \(f\) y \(g\) se consideran objetos
matemáticos distintos, aun cuando sus fórmulas coincidan en algunos tramos.
Función f: A → B Función g: C → D
┌───────────────┐ ┌───────────────┐
│ Dominio: A │═════> │ Dominio: C │(Condición 1: A = C)
│ Codominio: B │═════> │ Codominio: D │(Condición 2: B = D)
│ Criterio: f(x)│═════> │ Criterio: g(x) (Condición 3: f(x) = g(x)
└───────────────┘ └───────────────┘
Composición de Funciones
La composición de funciones es una operación algebraica que consiste en la aplicación
sucesiva de dos o más funciones, donde la salida de la primera función se transforma en la
entrada de la segunda.
Sean las funciones f: A→ B y g: C→ D. La función compuesta g*f (leída como “f
compuesta con g" o "g de f") es una nueva función cuyo dominio está formado por los
elementos de A tales que su imagen a través de f pertenece al dominio de g.
Veamos un ejemplo con las funciones y .
La composición de las funciones y es: , pues
Propiedades de la Composición
Asociatividad: Si f: A→ B, g: B→ C y h: C→ D, entonces:
h*(g*f) =(h*g) *f
No Conmutativa (En General): Para dos funciones cualesquiera f y g, se tiene de
forma general que:
g *f ≠ f*g
Elemento Neutro: Si f: A→ B, entonces se cumple rigurosamente la identidad:
f * id_A=f id_B* f
4: Caracterización de Funciones
consiste en el estudio detallado de sus propiedades y comportamientos. Permite describir
con precisión los fenómenos que modelan. Para caracterizar completamente una función, se
analizan sus elementos fundamentales, su comportamiento gráfico y algebraico, y sus
propiedades analíticas.
Aquí tienes una guía organizada de los aspectos clave que se evalúan:
Elementos Fundamentales
Dominio (Dom(f)): Conjunto de todos los valores que toma la variable
independiente x para los cuales la función está definida.
Recorrido / Rango (Im(f)): Conjunto de todos los valores que efectivamente toma
la variable dependiente y.
Comportamiento Geométrico
Puntos de corte: Son los puntos donde la gráfica cruza los ejes coordenados.
o Corte con el eje OX: Ocurre cuando y = 0.
o Corte con el eje OY: Ocurre cuando x = 0.
Simetría:
o Par: Cumple f(-x) = f(x). Es simétrica respecto al eje Y.
o Impar: Cumple f(-x) = -f(x). Es simétrica respecto al origen de coordenadas
(0,0).
Periodicidad: Indica si el comportamiento de la función se repite cada cierto
intervalo (período (T)). Muy común en funciones trigonométricas.
Comportamiento Analítico
Monotonía (Crecimiento y decrecimiento): Se determina dónde la función sube,
baja o se mantiene constante en un intervalo dado.
Creciente: Si para x_1 < x_2, entonces f(x_1) < f(x_2)).
Decreciente: Si para x_1 < x_2, entonces f(x_1) > f(x_2).
Extremos relativos: Son los puntos más altos (máximos) o más bajos (mínimos) dentro
de un tramo específico de la gráfica.
Curvatura y Puntos de inflexión: Analiza la concavidad de la curva (forma de U o forma
de ∩) y los puntos exactos donde la curvatura cambia.
Asíntotas: Son rectas a las que la gráfica de la función se acerca indefinidamente sin
llegar a tocarlas. Pueden ser verticales, horizontales u oblicuas.
Acotación y Signo
Signo: Define los intervalos donde la función está por encima del eje X (f(x) > 0\),
es positiva) o por debajo de este (f(x) < 0), es negativa).
Acotación: Analiza si la gráfica está limitada por arriba (acotada superiormente) o
por abajo (acotada inferiormente).
5: Clasificación de Funciones
La clasificación de funciones se basa en cómo se distribuyen y emparejan los elementos del
dominio con los elementos del codominio. Esta clasificación es fundamental para
determinar si un proceso matemático se puede revertir de forma unívoca (invertibilidad).
5.1 Función Inyectiva (Uno a Uno)
Una función es inyectiva si elementos distintos del dominio se mapean a elementos
estrictamente distintos en el codominio. Ningún elemento del codominio es imagen de más
de un elemento del dominio.
5.2 Función Sobreyectiva (Epiyectiva)
Una función es sobreyectiva si todos los elementos del conjunto de llegada tienen al menos
una preimagen en el conjunto de partida. Esto significa que el codominio y el recorrido (o
rango) son exactamente el mismo, por lo que no "sobra" ningún elemento en el conjunto de
llegada sin relacionar.
5.3 Función Biyectiva
Una función es biyectiva si es inyectiva y sobreyectiva al mismo tiempo. Esto establece
una correspondencia perfecta de "uno a uno" entre los dos conjuntos; cada elemento del
dominio tiene una única imagen, y todos los elementos del codominio tienen exactamente
una preimagen.
6: Imagen Directa y Recíproca de un Subconjunto
Las funciones operan sobre elementos individuales, pero sus definiciones se extienden de
manera natural para transformar subconjuntos completos de sus respectivos dominios y
codominios.
6.1 Imagen Directa
Sea una función f: A→ B y sea (X) un subconjunto de su dominio (X ⊆ A). La imagen
directa de X a través de f, denotada como f(X), es el subconjunto de B que contiene a todas
las imágenes de los elementos de X.
6.2 Imagen Recíproca (Inversa)
Sea una función f: A→ B y sea Y un subconjunto de su codominio (Y ⊆B). La imagen
recíproca o inversa de Y a través de f, denotada como f^(-1)(Y), es el subconjunto de A
formado por todos los elementos cuyas imágenes caen dentro del conjunto Y.
Conclusión
El análisis detallado de la teoría de funciones presentado en este informe revela que la
formalidad matemática no es un mero capricho burocrático, sino una necesidad estructural
para garantizar la validez y la precisión de los modelos lógicos. A través de este recorrido,
hemos visto cómo las funciones notables sirven de base para comprender el
comportamiento de sistemas algebraicos más complejos. Asimismo, hemos constatado que
determinar la igualdad de dos funciones exige una correspondencia rigurosa entre sus
dominios y codominios, recordándonos que las expresiones algebraicas no operan en el
vacío, sino dentro de espacios vectoriales y topológicos bien definidos.
Por otra parte, el estudio de la composición y la caracterización de funciones nos
proporciona las herramientas necesarias para evaluar la dinámica de transformaciones
sucesivas y regularidades globales, tales como la paridad y la monotonía. La clasificación
en funciones inyectivas, sobreyectivas y biyectivas constituye el pilar fundamental de la
invertibilidad, un concepto clave en matemáticas que permite asegurar la conservación de
la información y la posibilidad de revertir procesos lógicos y físicos de manera unívoca.
Finalmente, la introducción a las imágenes directas y recíprocas eleva la perspectiva de
análisis desde el tratamiento de puntos individuales hacia la manipulación abstracta de
familias de subconjuntos. Esta transición es vital para el desarrollo de áreas avanzadas
como la topología, el análisis real y la geometría diferencial. Como docentes, reafirmamos
que el dominio de estos conceptos permite a los estudiantes estructurar el pensamiento
abstracto, proporcionándoles un lenguaje lógico y riguroso esencial para abordar con éxito
los desafíos de las ciencias exactas y la ingeniería.