1

M T O D O S M A T E M T I C O S I 20071 hgvalqui

01) REPASO DE ALGUNOS CONCEPTOS.

Buenos y malos conjuntos. Conjuntos de pares ordenados. (Un poderoso y
elemental concepto de) Funciones como conjuntos de pares ordenados.
Operaciones con funciones.
Derivada direccional (es una generalizacin ms o menos simple del concepto
de derivada; y se puede aplicar a funciones ordinarioas, funciones de varias
variables, funciones vectoriales y matriciales, funcionales, operadores, etc)

00) CONJUNTOS (esto es una revisin y una aclaracin de ciertos conceptos)

00.1) Existen buenos y malos conjuntos. Malos conjuntos seran, por ejemplo:
mi primera idea de ayer, alguna cosa , {x / x es un da caluroso,
p / p es uno de los pensamientos de Einstein,
z / z es un peruano, h / h es una hoja de este rbol Estos, Por qu?
Cuando uno se refiere a un conjunto (matemtico) est suponiendo que se trata de un
buen conjunto; pero tal cosa puede no ser cierta. Por eso es conveniente tener
cuidado. Un buen conjunto , C, se caracteriza por lo siguiente: Dado un objeto
cualquiera, X , no existen dudas para afirmar una de las dos posibilidades, X C
XC.

00.2) En un conjunto no interesa el orden en el que se escriban sus elementos, ni

tampoco interesa si algunos de los elementos estn repetidos:
1, 2, 3, 4 = 3, 1, 4, 2 = 2, 2, 1, 3, 1, 3, 3, 4
UNA, CHINA, EN, LA, UNIVERSIDAD = UNA, UNIVERSIDAD, EN, LA
CHINA
c, a r, r, e, t, e, r, a = c, a, r, r, e, t, a = c, a, r, t, e, r, a = c, r, e, t, a

00.3) ATENCIN: El conjunto , , ,

Est constituido por cuatro peces, tres peces, dos peces; o por uno solo?

00.4) A veces conviene considerar conjuntos ordenados. Cuando se especifica que

un conjunto es ordenado, entonces los elementos de tal conjunto deben ser escritos
en el orden especificado. Sus elementos suelen mostrarse encerrados entre dos
parntesis, o de alguna otra forma que no cause confusin. Por ejemplo, una palabra
es un conjunto ordenado de ciertas letras; (c, a, r, r, e, t, a) carreta careta.
Cuando en un conjunto ordinario algn elemento aparece repetidamente dichas
repeticiones pueden ser suprimidas. En cambio, en un conjunto ordenado tal
simplificacin no se puede realizar.
e, l, e, m, e, n, t, a, l, m, e, n, t, e = m, e, n, t, a, l , pero
(e, l, e, m, e, n, t, a, l, m, e, n, t, e) (m, e, n, t, a, l)
El conjunto ordenado 05 08 01 significa, en el Per, el da 5 de agosto del ao
2001; en cambio, en EEUU, significa el da 8 de mayo del ao 2001.
 2

La escritura posicional de un nmero en la base decimal (o cualquiera otra base)

es un conjunto ordenado de nmeros naturales; por ejemplo 334602 334620
Para pares ordenados (a , b) = (c , d) a = c & b = d
A los alumnos de la FC que han odo sobre la escritura de los nmeros en la base
dual se los puede clasificar en 10 clases: i) Los que no entendieron el asunto,
ii) Los que s lo entendieron.

CONJUNTOS DE PARES ORDENADOS:

01) Sea g un conjunto de pares ordenados de objetos, por ejemplo,
g = (a, 1), (#, #), (, 4), (@ , Y), (Y, Y), (Y , Y), (a, 1), ( , ), ( , ), (a, 1)
donde debemos recordar que no interesa en que orden se escriban los elementos de
g (es decir, el conjunto g no es ordenado; los elementos de cada par s son
ordenados).
Al conjunto de las primeras componentes de g lo designaremos con Dg y le
damos el nombre de dominio de g ; al conjunto de las segundas componentes lo
llamaremos rango de g y lo designaremos con Rg
Dg = { a, #, , @ , Y, Y , , , a} , Rg = { 1 , #, 4 , Y , , , 1}

01.1) Por otra parte, definimos el conjunto gin , llamado conjunto inverso de g,
como el conjunto de pares ordenados que se obtiene al intercambiar, en cada par, la
primera con la segunda componente; es decir,
(x, z) gin (z,x) g

01.2) Ahora, el conjunto h , de pares ordenados:

h = (a, 1), (a, #), (, 4), (@ , Y), (Y, Y), (Y , Y), (@ , ), ( , ), (23, 0), (0, 0)
se diferencia del conjunto g, entre otras cosas, por lo siguiente:
i) En el conjunto g no existen dos pares ordenados diferentes que posean la
misma primera componente.
[Notemos que el par ordenado (a,1) est repetido; no se trata de dos pares
diferentes. Notemos tambin que en g existen pares ordenados diferentes
que tienen la misma segunda componente]
ii) En el conjunto h s existen (por lo menos) dos pares ordenados diferentes
que tienen la misma primera componente, por ejemplo, (a, 1) y (a, #).
Determine a cul tipo de conjuntos (al tipo g , o al tipo h) pertenece cada uno de los
siguientes conjuntos:
f1 = (r , s)/ r R , r2 + 4 r + s = 4
f2 = (x , y)/ x R , x4 + y4 = 1
f3 = (y , x)/ x , y R , x > 0, y2 + x2 = 1
f4 = (p , q)/ p R , p3 + q3 = 1
f5 = (g , h)
f6 = (sen, cos), (cos, sen), (tan, sec2), (exp, exp), (In, nIn-1), (sen3 , 3 cos3)
donde In , sen3 y cos3 , son funciones tales que: In(x) = xn , sen3(x) = sen(3x) ,
cos3(x) = cos(3x).
f7 = (sen , cos), (cos, cos), (tan, cos), (exp, cos), (In, cos), (sen3 , cos)
f8 = (x , y)/ x R , y = (ax+b)/(cx+d) , las constantes son reales
f9 = (x , y}/ x R , y = (cx a)/(dx b), las constantes son reales

f10 = ( , ),( , ),( , ), ( , ), ( , )

 3

Consideremos dos pares de f1 que posean la misma primera componentes, (r , s) y

(r , t) . Si resultase que necesariamente s = t , entonces se trata de un nico par,
repetido, y f1 sera del tipo g. Si existiesen dos objetos s, t, diferentes, entonces f1 ser
del tipo h. Ahora (r, s) , (r , t) f1 r2 + 4r + s = 0 & r2 + 4r + t = 0 (restando) s
t = 0 s = t.
Para f2 tendremos: (x , w) , (x , z) f2 x4 + w4 = 1 & x4 + z4 = 1 w4 z4 = 0
(w2 + z2)( w2 z2) = 0 a) w2 + z2 = 0 w = z = 0 , b) w2 z2 = 0 (w + z)(w
z) = 0 b1) w = z , b2) w = z , en cuyo caso, no siendo nulos, w , z son
nmeros diferentes y f2 resulta ser del tipo h.
Para f3 tendremos: (y, x) , (y , z) f3 y2 + x2 = 1 , y2 + z2 = 1 x2 z2 = 0
a) z = x , b) z = x ; pero en f3 las segundas componentes de sus pares ordenados son
positivas, luego z = x se cumplir solamente cuando z = x = 0. f3 es del tipo g.
Por otro lado (p, q) , (p, r) f4 q3 r3 = 0 (q r)( q2 + qr + r2) = 0 a) q = r ,
b) q2 + qr + r2 = 0 b1) q = r = 0 , b2) q , r no nulos, (q + r)2 = qr > 0 en w2 + qr
+ r2 los 3 sumandos son positivos, entonces la suma no puede ser nula. Es decir, slo
queda la posibilidad q = r. Entonces f4 es del tipo g

01.3) Sean los conjuntos de pares ordenados:

M = (x,z) / x4 + z4 = 16 con x real, z < 0
N = (p,q) / p4 + q4 = 16 con p, q reales
P = (1, 1), (1, 2), (p,q), (x,y) / p,q,x,y son letras del abecedario

01.4) Los conjunto N y P anteriores son tales que si uno conoce el conjunto (es decir,
conoce todos sus elementos) y conoce la primera componente de uno de sus pares, a
veces NO ES POSIBLE determinar (en forma nica) el correspondiente segundo
elemento del par. Es decir, existen pares diferentes que tienen la misma primera
componente; por ejemplo, (0, 2), (0, 2) N, (1, 1), (1, 2) P

01.5) Por otra parte, supongamos que en el conjunto M existan dos pares diferentes
con la misma primera componente: (a, b), (a, c) M, entonces a4 + b4 = 16, a4 + c4
= 16. Restando obtenemos b4 c4 = 0, es decir, (b c)(b + c)(b2 + c2) = 0 ; pero por
la condicin del conjunto M tanto b como c son negativos, entonces b + c < 0 , b2 +
c2 > 0. Es decir, b c = 0, con lo cual los dos pares resultan ser iguales. Nuestra
suposicin de que existan dos pares diferentes con la misma primera componente
result contradictoria; luego ella es falsa.

02) DEFINICIN: Un conjunto de pares ordenados (pares de objetos cualesquiera,

pero bien definidos) en el que no existan dos pares diferentes que posean la misma
primera componente , ser bautizado con el nombre de funcin.
Identifique, entre los conjuntos fk de (01.2):, aquellos que son funciones.

f1 , f3 , f4 son funciones; f2 no lo es. Es claro que f5 es del tipo g , pues no existen dos
pares diferentes, luego es una funcin.

02.1) Ntese que dada una funcin f , y dada una de las primeras componentes de
sus pares, x, entonces la correspondiente segunda componente, z, queda bien
determinada (esto no se cumple en un conjunto de pares ordenados que no sea una
funcin).
Es decir, podemos afirmar que z [f, x] , lo que suele escribirse as: z = f(x)
 4

O tambin: f es una funcin { z = f(x) (x , z) f }

02.2) Cules de los siguientes conjuntos son funciones?

A = (1 , &), ( , ), ( , )
B = (p , p)
C = (p , q) / p2 eq = 1, con p racional, q entero Atencin!
D = (sen , cos), (cos , sen) , (tan , sec2) , (cotan , cosec2) , (I7 , 7 I6) ,
(sen3 , 3sen2cos)
Do = (f, g) / f , g son funciones reales de una variable, donde
g(x) = lm(h0) [f(x+h) f(x)]/h
E = ((x, y, z) ; (xyz , x + y/z)) / con 0 < x < 1, 2 < y < 10, 7 < z < 0
2

F = (g , 27 g(x)dx) donde g es una funcin integrable de variable real

Fa = (g , g(a)) donde g es una funcin continua de variable real; a es un nmero
real
G = (A , 1), (B , 2), (C , 3), (D , 4), (E , 5), (F , 6) donde A, B, C, D, E, F son los
conjuntos dados ms arriba
I = (s , s) / s A En realidad deberamos escribir IA.

In = (p, q) / q = pn, con p S

senw = ( , sen w) / U Cuntas funciones sen1 existen?
ew = ( , ew ) / es un entero
M = (x , y) / x4 + y4 = 16 con x real, y < 0
N = (p , q) / p4 + q4 = 16 con p, q reales
P = (1 , 1) , (1 , 2) , (p , q) , (x , y) / p, q, x, y son letras del abecedario

02.3) Muchas veces se escribe una funcin dando solamente la frmula para la
segunda componente, sin especificar el rango; por ejemplo,
la funcin y = [senx /(81x2)]1/2 Qu significa tal cosa?
Se trata de la funcin
f = (x, y)/ y = [senx /(81 x2)]1/2 con x A
donde el conjunto A es el mximo posible, tal que las dos componentes existan y
resulten reales. En el ejemplo no est permitido x = 9 ni x = 27/2 ; en cambio
es claro que f(0) = 0; pero f(327) = 0 ? Tampoco est permitido x = 9 ni x = 19.
Es decir, cuando no se especifique el dominio de la funcin, entonces deber
suponerse que se trata del dominio mximo.

02.4)
i) Grfico de una funcin
con dos puntos de discontinuidad:
ii) Ecuacin de una funcin
con dos puntos de discontinuidad:
f(x) = (x4 1)/(x2 1)

02.5) Las funciones se pueden graficar de muchas maneras. Lo importante es que la

representacin usada no sea confusa. Normalmente slo las funciones de pares de
 5

nmeros reales pueden ser representadas (en el plano) en forma pticamente

correcta.

Un ejemplo de representacin que no puede ser fiel: D

Si se nos dice que la figura presentada es un cubo, entonces A B
debemos aceptar que el ngulo ABC es recto, y que las longitudes C
de los segmentos AB, BC y CD son iguales, aunque parezca que eso no es as
Cunto vale la suma de los 3 ngulos que forman los 3 segmentos que concurren en
C?

03) Dadas dos funciones f , g se construye una nueva funcin, denominada la

funcin compuesta de g con f , designada con gof

gof = (p,q)/ pDf , f(p)Dg , q = g(f(p))

f g

Rf
Df Dg Rg
gof

Los extremos de la FLECHAS LARGAS son los pares de la funcin gof

Por razones de claridad, en el dibujo se estn mostrando solamente algunos de

los elementos de los dominios y de los rangos de la funciones.

03.1) Construya las funciones f5of5 , f6of7, f8of9, f9of8, f8 of8 , con los fk de ms arriba.

04) Si f es una funcin y su conjunto inverso, fin , tambin es una funcin, entonces
diremos que f es invertible y que fin es la funcin inversa de f. Verifique que fofin =
finof = I donde DI = Df..

04.1) Verifique que si f es invertible i) f(x) = f(z) x = z , ii) f(x) = f(z) x = z

05) Sea n un nmero natural; consideremos las funciones de la forma

f = (1, a1), (2, a2), (3, a3),....., (k, ak), ...., (n, an) donde ak [n] 1, 2, 3,....., n
y, por supuesto, f(k) = ak. Tenga presente que algunos (o todos los) ak pueden ser
iguales entre s.
 6

05.1) Cuando una funcin de (05) sea invertible recibir el nombre de permutacin
(del conjunto [n]). Diremos que fog, es el producto de composicin de tales
funciones. [Ntese que en este producto s importa el orden de los factores]
Verifique que si p es una permutacin, entonces pj = k (pin) k = j

05.2) Designemos con Pn al conjunto de todas las funciones invertibles de la forma

dada en (05) (formadas por n pares de nmeros naturales). Entonces verifique que:
i) f, g Pn fog Pn ii) (fog)oh = fo(goh) iii) Existe una funcin IPn tal
que Iof = f oI = f para toda f Pn iv) Para toda f Pn existe otra funcin
f Pn tal que f of = fof = I.
in in in

05.3) Sean las funciones f , g tales que f(x) = 1/(x 1) , g(x) = 1/x
[NOTA: Cuando no se define explcitamente el dominio de una funcin debe
suponerse que se trata del mximo dominio posible]. Resolver las dos siguientes
ecuaciones fou = g , vof = g.
fou = g f(u(x)) = g(x) 1/[u(x) 1] = 1/x u(x) 1 = x u(x) = x + 1
vof = g v(f(x)) = g(x) v(1/(x 1) = 1/x . Por otra parte f(x) = 1/(x 1)
x = 1 + 1/f(x) . Entonces v(f(x)) = 1/x = 1/[1 + 1/f(x)] = f(x)/[1 + f(x)], de donde
podemos escribir v(z) = z/(1 + z) . Verifique que ambas soluciones son correctas

06) Suma de dos funciones: f + g = h h(x) = f(x) + g(x) x Df Dg

06.1) Producto de dos funciones: fg = h h(x) = f(x) g(x) x Df Dg

06.2) Cociente de dos funciones: f/g = h g(x) 0, h(x) = f(x)/g(x) x Df Dg

06.3) OTROS: Para una funcin se puede definir su valor mximo, sus puntos
estacionarios, su norma (de muchas maneras), regiones de continuidad, regiones de
derivabilidad, etc.

07) Sea la funcin F = (p, q) tq p = (x, z) R2 , q = (x2 , xz , z/(1 + |x|) donde

tq tal que.
i) Verifique que F es invertible, ii) Determine Fin.
i) (04.1) (x2 , xz , z/(1 + x ) = (p2 , pq , q/(1 + p) x = p , z = q.
Efectivamente, x2 = p2 p = x 1 + p= 1 + x z = q x = p
ii) x2 = u , xz = v , z/(1 + |x|) = w u 0 , z = w(1 + u1/2) x = v/[w(1 + u1/2)]

07.1) Sea la funcin F = (p, q) tq p = (x, y, z) R3 , q = (x2 + y2, xyz ) ,

i) Vea si ella es invertible, ii) Determine F(1, 2, 3) y F(2, 1, 3)

07.2) Sea la funcin Z = ((r, s), m) tq m = r + s2, construya la funcin f tal que
f(x, y) = F(x, y, Z(x, y)).
f(x , y) = (x2 + y2 , xyZ(x, y)) = (x2 + y2 , xy(x + y2))

07.3) Sean las funciones f1(t) = 2 sen t , f2(t) = exp(t) , f3(t) = t ; construya la
funcin g(t) = F(f1(t), f2(t), f3(t))

07.4) Construya la funcin u tal que u(x) = F(x, f2(x), Z(f1(x), x))
 7

08) La Derivada Direccional. Sea una funcin F con dominio DF y rango RF tales
que la operacin
[F(p + hv) F(p))]/h
tenga sentido, siendo h un nmero real pequeo. Por ejemplo, para la funcin de
(07.1) tendramos , con v = (r, s, t), que p + hv = (x + hr, y + hs , z + ht), de donde
F(p + hv) F(p) = (x + hr)2 + (y + hs)2 + (x + hr)(y + hs)(z + ht) x2 + y2 + xyz ; es
decir,
F(p + hv) F(p) = h(2xr + 2ys + xyt + xzs + yzr) + h2(r2 + s2 + xst + yrt + zrs), de
donde
[F(p + hv) F(p))]/h = (2xr + 2ys + xyt + xzs + yzr) + h(r2 + s2 + xst + yrt + zrs)

08.1) Supongamos que v sea una cantidad unitaria (por el momento no interesa
mucho el significado de tal afirmacin), entonces el nmero h ser, de alguna
manera, la medida de la distancia entre los objetos p y p + hv. As, [F(p + hv)
F(p))]/h es el cociente entre la diferencia de los valores de F en los puntos p y p +
hv, y la distancia entre dichos puntos. Recordemos que, en el caso de funciones
ordinarias, [f(x + h1) f(x)]/h es la pendiente de la secante de la recta que pasa por
los puntos (x, f(x)) y (x+h1, f(x+h1).

08.2) Como en el caso de la derivada ordinaria, cuando h 0 , a veces existir el

lmite del cociente [F(p + hv) F(p))]/h , pero otras veces dicho lmite no existir.
Cuando dicho lmite exista diremos que l es la derivada direccional de la funcin F
en el punto p y en la direccin v.
[Dv F](p) lm(h0) [F(p + hv) F(p))]/h
08.3) Ejemplos.
i) F(p, q, r) = [pq, q/r] , es decir, DF R3 , RF R2 . derivada en la direccin k
= [a, b, c]. Con x [p, q , r] , tendremos
F(x + hk) F(x) = [(p+ha)(q+hb) , (q+hb)/(r+hc)] [pq , q/r]
= [(p+ha)(q+hb) pq , (q+hb)/(r+hc) q/r]
= [h(pb+aq) + h2bc , h(br qc)/r(r+hc)]
= h [(pb+aq) + hbc , (br qc)/r(r+hc)]
Entonces Dk F(p,q,r) = [pb+aq , (br qc)/r2]
ii) G(p,q,r) = pq2 + qr2 R , que es un ejemplo de una funcin de 3 variables
(reales), con valores reales, lo que se conoce como un campo escalar. En la
direccin v = (x, y, z). Ahora:
G(p+ hx, q + hy, r + hz) G(p, q, r) =
= (p + hx)(q + hy)2 + (q + hy)(r + hz)2 pq2 qr2
= h(xq2 + 2ypq) + h2(y2p + 2qxy) + h3y2 + h(yr2 + 2zqr) + h2(z2q + 2ryz) + h3z2 .
Entonces, DvG(p,q,r) = xq2 + 2ypq + yr2 + 2zqr

iii) J(g) = ab [g2 + gg] , donde se supone que g es una funcin integrable en el
intervalo (a, b), y tambin que posee 2 derivada continua. La direccin , es
ahora una cierta funcin. As, J(g + h) J(g) = ab [(g+h)2 + (g+h)
(g+h] [g2 + gg] = ab 2hg + h22 + h(g + g) + h2 ,
entonces, DJ(g) = ab 2g + (g + g)
iv) Sea la funcin G anterior. Ahora construimos la funcional
J(f) = ab G[f(t), f(t), t]dt
Calcular DJ(g) , donde es una funcin dada.
 8

Primeramente recordemos que podemos escribir el desarrollo en serie de

Taylor:
G(p + , q +, r) = G(p, q, r) + hG1(p,q,r) + hG2(p,q,r) + (h)2/2G12 +
(h)2/2G22 + h2/2G12 + O(h3),
donde los subndices indican con respecto a cual de las variables (la 1, la 2
la 3 variable). Ahora:
J(f + h) J(f) = ab G[f(t)+h(t), f(t)+h(t), t] G[f(t), f(t), t] dt
Pero, teniendo presente que f(t) + h(t) , f(t) + h(t) , t , f(t) , f(t) , son
5 nmeros, y considerando el desarrollo de Taylor anterior, tendremos:
J(f + h) J(f) = ab h(t)G1(p,q,r) + h(t)G2(p,q,r) + (h(t))2/2G12 +
(h(t))2/2G22 + h2(t)(t)/2G12 + O(h3) dt , donde por supuesto, p = f(t), q
= f(t), r = t. Entonces, DJ(f) = ab (t)G1(p,q,r) + (t)G2(p,q,r)dt

08.4) Sea una funcin F tal que DF Rn , entonces la variable independiente p ,

como la direccin v, sern vectores ndimensionales. En particular podemos tomar
la direccin v = ek del k-simo eje de coordenadas; as tenemos Dk Dek . Dicha
derivada direccional suele escribirse /xk , es decir, F(x)/xk DkF(x)

08.5) Sea F(p, q, r) = p2qr + ep/r Qu significan:

i) /x F(p,q,r) , ii) /p F(p,q,r), iii) /x F(3,4,3) , iv) /x F(p, x, r) ,
v) /x F(x, x, x) , vi) /x F(z, z , z) , vii) /x F(xyz, x2, 1/x) ,
viii) /x F(p, g(x), r) , ix) /x F(g(x), q, r) , x) /x F(g(p), g(q),
2
g(r)) ? donde g(t) = 2t + 3t

08.6) Para la misma funcin F(p, q, r) = p2qr + ep/r Qu significan:

i) D1F(p,q,r) , ii) D1F(p,q,r), iii) D1F(3,4,3) , iv) D1F(p, x, r) ,
2
v) D1F (x, x, x) , vi) D1F(z, z , z) , vii) D1F(xyz, x , 1/x) ,
viii) D1F(p, g(x), r) , ix) D1F(g(x), q, r) , x) D1F(g(p), g(q), g(r)) ?

De (08.5) y (08.6) podemos apreciar las ventajas de usar D1F , D2F , D3F , en vez
de F/x , F/y , F/z.

08.7) [Una tarea trabajosa] Sean las funciones dadas en 07.1:

F = (p, q) tq p = (x, y, z) R3 , q = (x2 + y2, xyz )
Z = ((r, s), m) tq m = r + s2, f1(t) = 2 sen t , f2(t) = exp(t) , f3(t) = t
g(t) = F(f1(t), f2(t), f3(t)) , u(x) = F(x, f2(x), Z(f1(x), x))
Determine las derivadas DkF(x) , DkZ(a, b) , Dg(x) , Du(x), donde Df f .

FIN DEL CAPTULO

 9

BIBLIOGRAFA:
01) Arfken, Mathematical Methods for Physicists
02) Smirnov, Higher Mathematics, (son seis tomos)
03) Butkov, Mathematical Physics.
04) Krasnov, Kiselev , Makrenko, Funciones de variable compleja- Clculo
operacional, Teora de la estabilidad
05) Smirnov, Problemas de ecuaciones diferenciales
06) Sommerfeld (6 tomo)
07) Kolmogorov-Fomin (Elementos de la Teora de funciones y del anlisis
funcional),
06) Sneddon (ecuaciones de segundo orden)
09) Elsgolz (Ecuaciones ordinarias y parciales de primer orden).
10) Problemas de Clculo de Variaciones (Krasnov)
11) hgv, lgebra Lineal [para funciones como pares ordenados, introduccin a la
teora de grupos, nmeros complejos, espacios vectoriales, operadores y matrices;
aplicaciones a la Fsica]
12) hgv, Apuntes para Mtodos Matemticos I