INTRODUCCIN

Es muy conveniente introducir algunas nociones bsicas sobre espacios mtricos y

Topologa. Estas nociones no solamente tienen valor intrnseco, sino favorecen fluidez
en exposicin terica en todos captulos.

ALGO SOBRE ESPACIOS MTRICOS

I1. Definicin Una mtrica en conjunto X , no vaco, es cualquier funcin
d : X X R tal que
1) d x, y 0 , para todo x, y X
2) d x, y 0 x y
3) d x, y d y, x , para todo x, y X
4) d x, y d x, z d z , y , para todo x, y, z X .
En tal caso decimos que X , d es espacio mtrico cuya mtrica es d , o brevemente
que X es espacio mtrico (subentendido que su mtrica es d ).
I2. Nota No est descartado que, dado un conjunto no vaco X , existan dos mtricas,
digamos d1 y d 2 , no iguales, tales que X , d1 y X , d 2 sean espacios mtricos. De
hecho es posible que exista una familia infinita de mtricas en modo que X sea espacio
mtrico cuya mtrica es cualquiera de mtricas de ella.
I3. Ejemplos de espacios mtricos son:
1) R cuya mtrica, digamos d , est dada por d x, y x y , para todo x, y R .
n

2) R n cuya mtrica, digamos tambin d , est dada por d x, y x j y j ,

2

j 0

para todo x, y R . n

En ambos ejemplos, mtricas consideradas son aqullas usuales en sendos conjuntos.

Otra mtrica en R n es d1 x, y jmx
1,K , n
x j y j , para todo x, y R n ; verificar que esta
funcin cumple propiedades (1) hasta (4) inherentes a mtricas.
I4. Definicin Una norma en espacio vectorial X es cualquier funcin : X R tal
que
1) x 0 , para todo x X
2) x 0 x0
3) x x , para todo R , y para todo x X
4) x y x y , para todo x, y X
En tal caso decimos que X , es espacio vectorial normado, o que X es espacio
vectorial normado cuya norma es .
I5. Nota No est descartado que, dado un en espacio vectorial X , existan dos normas,
digamos 1 y 2 , no iguales, tales que X , 1 y X , 2 sean espacios
vectoriales normados; de hecho es posible que exista una familia infinita de normas en
modo que X sea espacio vectorial normado cuya norma es cualquiera de normas de
ella.
I.6 Nota Es fcilmemte demostrable que: si es norma en espacio vectorial X ,
entonces funcin d x, y x y es mtrica en X . O sea: todo espacio vectorial

1
normado, con norma , es naturalmente espacio mtrico, con la mtrica inducida por
su norma. Cules son normas usuales en R y en R n ?

En lo que sigue de este tem, y en siguiente, X es espacio mtrico con mtrica d

I7. Definicin Dados p X y nmero real r 0 , definimos vecindad de p , aqulla

de radio r , denotada por Vr p , as
V r p x X d x, p r
I8. Nota Si, como ejemplo, X R 2 ; entonces Vr p no es otra cosa que un disco de
radio r cuyo centro es p . Qu es Vr p en R 3 ?; en R ?
I9. Definicin Decimos que A , subconjunto de X , es:
1) conjunto abierto, o brevemente abierto,si, dado cualquier p A , existe r 0
(que depende de p ) tal que Vr p A .
2) conjunto cerrado, o brevemente cerrado, si A C (complemento de A en X ) es
abierto.
I10. Nota Est claro que y X son simultneamente abiertos y cerrados, y que todas
vecindades son conjuntos abiertos (demostrarlo). Observemos que Vr p , como
subconjunto de R , no es otra cosa que intervalo abierto con centro en p , aqul de
radio r ; o sea: Vr p p r , p r . Intervalos abiertos son conjuntos abiertos e
intervalos cerrados son conjuntos cerrados, como nombres indican (pero no porque
nombres lo indican).
I11. Definicin Dado A , subconjunto de X , decimos que p X es
1) punto interior de A si existe r 0 (que depende de p ) tal que Vr p A .
Conjunto de todos puntos interiores de A es llamado interior de A y es
denotado por Int A .
2) punto fronterizo de A si, para todo r 0 , tenemos que Vr p A y
Vr p A C . Conjunto de todos puntos fronterizos de A es llamado
frontera de A y es denotado por Fr A .
3) punto adherente de A si, para todo r 0 , tenemos que Vr p A .
Conjunto de todos puntos adherentes de A es llamado adherencia de A , o
clausura de A , y es denotado por Cl A .
4) punto de acumulacin de A si, cualquiera sea r 0 , tenemos que

Vr p A , donde Vr p x X 0 d x, p r .

EE: 1.3.1 hasta 1.3.3.

ALGO SOBRE TOPOLOGA

I12. Definicin Una topologa en conjunto X , no vaco, es cualquier subconjunto
de X tal que:
1) , X .
2) cualquier unin de elementos de es elemento de .
3) cualquier interseccin finita de elementos de es elemento de .
En tal caso decimos que X , es espacio topolgico, o que X es espacio topolgico
cuya topologa es .

2
I13. Nota Cualquier elemento de una topologa es llamados un abierto de esa
topologa; elementos de X suelen ser llamados puntos. Hay un cmulo de ejemplos
ilustrativos de espacios topolgicos; pero tenemos inters en aqullos que son tambin
espacios mtricos, en especial R y R n .
I14. Todo espacio mtrico es naturalmente espacio topolgico Sea X espacio
mtrico cuya mtrica es d . Sea Ai subconjunto abierto de X (en sentido de
definicin I9), para cada i I , donde I es cualquier conjunto de ndices (finito o
infinito; si infinito, entonces numerable o no numerable). Tenemos que iI Ai es
abierto, lo que demostramos as: Tomemos cualquier punto p perteneciente a esta
unin (si vaca, entonces no hay nada que demostrar); luego p est en alguno de los
Ai , digamos A j . Como A j es abierto, entonces existe r 0 tal que
Vr p A j Ai
iI

lo que da trmino a demostracin.

Supongamos ahora que Ai sea subconjunto abierto de X , para cada i I , donde I
es conjunto finito de ndices. Tenemos que iI Ai es abierto, lo que demostramos as:
Tomemos cualquier punto p perteneciente a esta interseccin (si vaca, entonces no
hay nada que demostrar); luego p est en todos Ai . Como cada Ai es abierto,
entonces existe ri 0 (que depende de i ) tal que Vri p Ai . Pongamos
r min ri i I ; est claro que r es nmero positivo. Luego Vr p est incluida en
todos Ai , y consecuentemente en interseccin de stos, lo que da trmino a
demostracin.
Conclusin: Si X es espaci mtrico, entonces X es tambin espacio topolgico.
Basta considerar topologa inducida por mtrica en X . Abiertos de esta topologa son
aquellos subconjuntos de X que son abiertos segn definicin I9. Es precisamente por
ello que topologa inducida por mtrica en X es llamada topologa usual en X . En
general: si un espacio mtrico es presentado como espacio topolgico, sin precisar
topologa en l; entonces es subentendido que es espacio topolgico con topologa
usual.
EE: 1.3.4 y 1.3.5.

CAPTULO 1
OPTIMIZACIN DE FUNCIONES REALES DE VARIABLE REAL

SECCIN 1.1
TEORA BSICA

3
 f es funcin real de variable real (f.r.v.r.) en esta seccin

1.1.1 Definicin Decimos que a Dom f es

1) maximizante local de f si existe r 0 tal que
f x f a , para todo x J r a Dom f
2) minimizante local de f si a es maximizante local de f .
Maximizantes y minimizantes, locales y globales, son llamados optimizantes.

1.1.2 Definicin Decimos que a Dom f es

1) maximizante global de f si
f x f a , para todo x Dom f
2) minimizante global de f si a es maximizante global de f .
Add: 1.2.1 hasta 1.2.4.

1.1.3 Teorema (WEIERSTRASS) Sean f continua y J un intervalo compacto

(cerrado y acotado) incluido en Dom f . Luego existen a, b J tales que
f a f x f b , para todo x J
Add: 1.2.5 y 1.2.6.

1.1.4 Definicin Decimos que a Dom f es punto crtico de f si se da (cuanto

menos) uno de tres enunciados siguientes:
1) a es punto fronterizo de Dom f .
2) no existe f a .
3) f a 0 .

1.1.5 Teorema Supongamos que f sea continua y que su dominio sea intervalo abierto.
Luego: si p es maximizante (minimizante) local de f y nico punto crtico de esta
funcin, entonces p es nico maximizante (minimizante) global de f .
Add: 1.2.7 y 1.2.8.

1.1.7 Teorema (Condicin necesaria de orden 1, CNO 1) Sea a punto interior de

Dom f , y supongamos que exista f a . Luego: si a es optimizante local de f ,

entonces f a 0 .

1.1.8 Corolario Si a es optimizante local de f , entonces a es punto crtico de f .

Add: 1.2.9 y 1.2.10.

1.1.9 Teorema (Criterio de primera derivada para optimalidad local de puntos

interiores) Sea a punto interior de Dom f . Supongamos que f sea continua en a y
que exista r 0 tal que f sea diferenciable en a r , a a, a r . Luego:
1) si f 0 en a r , a y f 0 en a, a r , entonces a es maximizante local
de f .
2) si f 0 en a r , a y f 0 en a, a r , entonces a es minimizante local
de f .

4
1.1.10 Corolario (Criterio de primera derivada para optimalidad global de puntos
interiores) Sea a punto interior de Dom f . Supongamos que f sea continua en a y
que f sea diferenciable. Luego:
1) si f 0 en , a Dom f y f 0 en a, Dom f , entonces a es
maximizante global de f .
2) si f 0 en , a Dom f y f 0 en a, Dom f , entonces a es
minimizante global de f .

1.1.11 Corolario (Criterio de primera derivada para optimalidad local de puntos

fronterizos) Supongamos que Dom f a, b , que f sea continua en a y en b , y
que exista r 0 tal que f sea diferenciable en a, a r y en b r , b . Luego:
1) si f 0 en a, a r , entonces a es maximizante local de f .
2) si f 0 en a, a r , entonces a es minimizante local de f .
3) si f 0 en b r , b , entonces b es maximizante local de f .
4) si f 0 en b r , b , entonces b es minimizante local de f .

1.1.12 Corolario (Criterio de primera derivada para optimalidad global de puntos

fronterizos) Supongamos que Dom f a, b , y que f sea diferenciable en a, b y
continua en a y en b . Luego:
1) si f 0 en a, b , entonces a es maximizante global de f y b es
minimizante global de f .
2) si f 0 en a, b , entonces a es minimizante global de f y b es
maximizante global de f .
Add: 1.2.11 y 1.2.12.

1.1.13 Teorema (Condicin suficiente de orden 2, CSO 2) Supongamos que a sea

punto interior de Dom f , que f sea diferenciable en una vecindad de a , que
f a 0 y que exista f a . Luego:
1) si f a 0 , entonces a es maximizante local de f .
2) si f a 0 , entonces a es minimizante local de f .
Add: 1.2.13.

1.1.14 Teorema (Generalizacin de CSO 2) Sean f una f.r.v.r. de clase C n 1 en

intervalo J , y a J un punto crtico de f tal que f a f a K f a 0
n 1

y f n a 0 . Luego:
1) si n es impar, entonces a no es optimizante local de f .
2) si n es par y f n a 0 , entonces a es maximizante local de f .
3) si n es par y f n a 0 , entonces a es minimizante local de f .
Add: 1.2.14.

1.1.15 Definicin Decimos que una funcin f , que suponemos continua, es

1) cncava hacia abajo en intervalo J si, dados dos puntos cualesquiera
x1 , x 2 J , tenemos que
f 1 x1 x 2 1 f x1 f x 2 , para todo 0,1

5
 2) estrictamente cncava hacia abajo en intervalo J si, dados dos puntos
cualesquiera x1 , x 2 J , x1 x 2 , tenemos que
f 1 x1 x2 1 f x1 f x 2 , para todo 0,1
3) cncava hacia arriba en intervalo J si f es cncava hacia abajo en J .
4) estrictamente cncava hacia arriba en intervalo J si f es estrictamente
cncava hacia abajo en J .
Add: 1.2.15 hasta 1.2.17.

1.1.16 Teorema (Criterio de concavidad para optimalidad global de puntos interiores)

Supongamos que f sea continua y que su dominio sea intervalo J . Supongamos
tambin que p Int J y que f p 0 . Luego:
1) si f es cncava hacia abajo, entonces p es maximizante global de f .
2) si f es estrictamente cncava hacia abajo, entonces p es nico maximizante
global de f .
3) si f es cncava hacia arriba, entonces p es minimizante global de f .
4) si f es estrictamente cncava hacia arriba, entonces p es nico minimizante
global de f .
Add: 1.2.18 y 1.2.19.

1.1.17 Teorema Supongamos que f sea dos veces diferenciable en intervalo abierto J
. Luego:
1) f es cncava hacia abajo en J si y slo si f 0 en J .
2) si f 0 en J , entonces f es estrictamente cncava hacia abajo en J .
3) f es cncava hacia arriba en J si y slo si f 0 en J .
4) si f 0 en J , entonces f es estrictamente cncava hacia arriba en J .
Add: 1.2.20 hasta 1.2.23.

1.1.18 Corolario Supongamos que Dom f sea intervalo abierto y que a sea
optimizante local de f . Luego:
1) si f 0 en Dom f , entonces a es maximizante global de f .
2) si f 0 en Dom f , entonces a es nico maximizante global de f .
3) si f 0 en Dom f , entonces a es minimizante global de f .
4) si f 0 en Dom f , entonces a es nico minimizante global de f .
Add: 1.2.24.