Fuentes:

1.- Suvorov
2.- Haaser
FUNCIONES
Introduccin.

La idea de funcin es uno de los conceptos ms fundamentales de la matemtica.

Si a cada objeto de un conjunto corresponde un nico objeto de un segundo
conjunto, entonces esta correspondencia se llama funcin. (2,123)

Funciones.

La idea bsica de funcin es la correspondencia de un conjunto A de objetos a

un conjunto B de objetos. Ahora bien una correspondencia de A a B es
equivalente a una coleccin S de pares ordenados (a,b) del producto cartesiano A
x B : si el elemento b de B corresponde a a de A, entonces el par ordenado
(a,b) estar en S, y si (a,b) esta en S ,entonces b corresponde a a. Por otra
parte, queremos que esta correspondencia sea tal que no exista ambigedad
alguna un elemento y solo un elemento de B ha de corresponder a cada
elemento de A. Esta limitacin sobre una correspondencia se refleja en la
coleccin de pares ordenados por la restriccin de que ninguno de dos distintos
pares ordenados puede tener un mismo primer elemento. Es pues, natural,
adems de conveniente, definir una funcin como un tipo especial de conjunto
de pares ordenados. (2,124)

Definicin. Una funcin es un conjunto de pares ordenados de elementos tales

que ninguno dos pares distintos tienen el mismo primer elemento. El conjunto de
los primeros elementos de los pares ordenados se llama dominio de la funcin,
y el conjunto de los segundos elementos rango de la funcin. (2,125)

Funciones Reales de Variable Real.

Si los primeros y segundos elementos de los pares ordenados son nmeros reales
entonces las funciones se denominan funciones reales de variable real, donde su

dominio y su rango son subconjuntos del conjunto de los nmeros reales.

(2,126)

Algunos de este tipo de funciones se pueden definir analticamente usando los

conceptos de magnitud variable o simplemente variable y regla de
correspondencia de la siguiente manera. (2,125), (2,126)

Funciones Reales de Variable Real.

Definicin. Una funcin real de variable real es aquella funcin definido por la
expresin y = f(x) denominado regla de correspondencia donde x y y son
variables, que toman valores de su dominio y rango respectivamente donde la
primera es denominado independiente y la segunda es denominado dependiente.
A estos tipos de funciones nos limitaremos a estudiarlos.

Funciones Especiales.

Por su utilidad para ilustrar propiedades particulares de funciones, definiremos

algunas funciones reales de variable real. (2,131)
a. Definicin. La funcin identidad, denotado por I es la funcin que tiene
R, el conjunto de todos los nmeros reales, como su dominio y como su
regla de correspodecia I (x) = x. (2,131)
b. Definicin.

Una funcin constante es una funcin con R como su

dominio y con rango consistente en un solo numero real. (2,131)

c. Definicin. La funcin valor absoluto, denotado por | |, es la funcin con
dominio R y la regla de correspondencia.
x, si x 0
|x| =
-x, si x < 0 (2,131)
d. Definicin. La funcin mximo entero, denotada por , es la funcin
con dominio el conjunto de todos los nmeros reales y con regla de
correspondencia: x es mximo entero no mayor que x. (2,132)
Operaciones de Funciones.

Definicin. Si f y g son funciones reales con dominios Df y Dg respectivamente,

entonces f + g

y fg son funciones con dominio Df Dg y reglas de

correspondencia:

g x f ( x) g x

fg x

f ( x) g x

(2,135)

Teorema. El conjunto S de las funciones reales de variable real con las

operaciones antes definidas de adicin y multiplicacin, tiene las siguientes
propiedades.
A1. Para f y gS cualesquiera, f +gS.
A2. Para f y gS cualesquiera, f +g = g +f.
A3. Para f, g y hS cualesquiera, (f +g) + h = f + (g +h).
A4. Hay un elemento y slo un elemento en S, denotado por 0, tal que
para todo fS, f + 0 = f. (2,136)
Demostracin:
f + 0 = f , supongamos que g es una funcin neutra con respecto a la
adicin, entonces para todo xR, tomando como f la funcin constante
c.
(c+g)(x) = c(x)
luego
c+g(x) = c(x)
entonces
g(x) = 0
por tanto
g=0
De manera anloga a la demostracin de estas propiedades se demuestran
las siguientes:
M1. Para f y gS cualesquiera, f gS.
M2. Para f y gS cualesquiera, f g = g f.
M3. Para f,g y hS cualesquiera , (f g) h = f (g h).
M4. Hay un elemento y solo un elemento en S, denotado por 1, tal que
para todo fS, f .1 = f.

D. Para f, g, y hS cualesquiera, f(g + h) = fg +fh.

No es cierto que todo elemento de S tenga un inverso aditivo nico ni
que todo elemento distinto de cero en S tenga un inverso multiplicativo
nico. En realidad, si el dominio de una funcin f no es total de R
entonces para ninguna funcin g podemos tener f+g = 0 o f.g = 1, puesto
que el dominio de las funciones constantes 0 y 1 es R, pero Df+g y Df.g
no puede ser R. Sin embargo, podemos definir funciones a las que
llamamos f y 1/f tales que
f+(-f) = 0 (sobre Df)
y
f.1/f = 1 (sobre {x/xDf y f(x) 0}.
Consideremos el problema: Dadas fS, encontrar una funcin g tal que
Dg = Df y para todo xDf.
(f+g)(x) = 0
entonces
g(x) = -f(x)
anlogamente se tiene para 1/f, entonces

Definicin. Si f es una funcin real, -f es una funcin con dominio Df y regla de

correspondencia

f ( x) f ( x) (2,137)

Definicin. Si f es una funcin real, entonces 1/f es una funcin con dominio los
elementos xDf, tales que f(x) 0 y la regla de correspondencia
1
1
f ( x) f ( x)

(2,138)

Definicin. Si f y g son funciones reales, entonces

f g f ( g ) (2,138)

Definicin. Si f y g son funciones reales, entonces

f / g f .(1 / g ) (2,138)

Composicin de Funciones

Definicin. La composicin de f con g, denotada por f o g y que se lee f circulo

g o f composicin g, es la funcin cuyo dominio consiste en los elementos xDg
tales que g(x)D f y cuya regla de correspondencia es

 fog ( x)

f ( g ( x)) . (2,141)

Teorema. Si S es el conjunto de todas las funciones reales de variable real,

entonces:
C1. Para todo f y gS, f o gS.
C2. La composicin no es conmutativa.
C3. Para todo f, g, y hS, (f og) o h = f o(g o h). (2,145)
Demostracin:
D (fog)oh = {x/xDh y h(x)D (fog)} = {x/xDh, h(x)Dg y
g(h(x))Df } = {x/xDg oh y (goh)(x)Df } = D f o(goh).
Para cualquier x que pertenezca al dominio comn de estas funciones
tenemos:
[(fog)oh](x) = [fog] (h(x)) = f (g (h(x))) = f ([goh] (x)) = [fo(goh)] (x).
C4. Hay un elemento y solo un elemento es S, denotado por I, tal que para todo
f S, foI = f = Iof. (2,145)
Demostracin:
Los dominios de foI e Iof son ambos Df. Para cualquier xDf.
(foI)(x) = f(I(x)) = f(x)
e
(Iof)(x) = I (f(x)) = f(x).
Por tanto
foI = f = Iof
Para demostrar que I es el nico elemento neutro con respecto a la
composicin, supongamos que I

es tambin un

elemento neutro.

Entonces I = IoI = I.
D1. Para todo f, g, y hS, (f + g)oh = foh + goh. (2,145)
Demostracin:
D(f + g)oh = {x/xDh y h(x)Df+g } = {x/xDh y h(x)DfDg } =
{x/xDh y h(x)Df }{x/xDh y h(x)Dg } = D foh + goh.
Para cualquier x en el dominio comn de las funciones tenemos:

[(f + g)oh](x) = [f + g] (h(x)) = f (h(x)) + g (h(x)) = [foh](x) + [goh](x) =

[foh + goh](x).
Anlogamente lo siguiente:
D2. Para todo f, g, y hS, (fg)oh = (foh) ( goh). (2,145)
Funcin Inversa.
Definicin. Una funcin f se llama univalente (uno-uno) si f(x1) = f(x2) implica
x1 = x2. (2,146)
Definicin. Si f es univalente, la funcin {(f(x), x)| xDf} se llama inversa de f
y se denota por f*. (2,147)

Teorema. Las propiedades de la funcin inversa respecto a composicin

son:
f** = f.
f*of = f of* = I. (2,148)
Demostracin:
Ntese que f* es una funcin univalente. As pues, f* tiene un inverso,
llammoslo f**. Como f* = {(f(x), x)/xDf}, se tiene
f** = {(x,f(x))/xDf} = f.
Demostremos ahora que f* puede considerarse como el inverso de f en
el siguiente sentido, con respecto a la composicin:
f*of = I (sobre Df)
fof* = I(sobre D f* = Rf).
Para cualquier xDf
[f*of](x) = f*(f(x)) = x = I(x).
Para cualquier xDf*
[fof*](x) = f (f*(x)) = f** (f*(x)) = x = I(x).