Preliminares Matemáticos

Capı́tulo 2

Observacion: Como vamos a trabajar con puntos regulares y valores reg-

ulares, de ahora en más nuestras aplicaciones f : M 7→ K serán submersiones
tales como las hemos definido en el capı́tulo 1.

Existe una estructura especı́fica para el conjunto de equilibrios de una

economı́a regular, y una posición especı́fica que las economı́as regulares ocu-
pan en el espacio de las economı́as, y esta existencia y posición se vinculan
con el concepto matemático llamado genericidad. La genericidad es un con-
cepto clave de las economı́as regulares. Vamos a definir este concepto en
términos de los valores regulares de una aplicación suave. Luego, en base a
la genericidad se demostraran aspectos importantes de las economı́as regu-
lares que se sabe están ubicadas dentro del espacio de las economı́as.

El Teorema de la Preimagen

Los valores regulares poseen propiedades importantes. Se destaca el

concepto de la preimagen de un valor regular. Necesitaremos el siguiente
lema:

Lema 2.1: Sea f una aplicación suave con dominio una variedad diferen-
ciable m dimensional M y codominio otra variedad diferenciable k dimen-
sional K siendo m ≥ k Supongamos que x̄ ∈ M es un punto regular de f ,
con ȳ = f (x̄) Entonces existen parametrizaciones alrededor de x̄ y ȳ tal que

ψ −1 of oϕ(x1 , x2 , ..., xm ) = (x1 , x2 , ..., xk )

en dónde ϕ(0) = x̄ y ψ(0) = ȳ

A este lema se lo conoce como el lema local de submersión ([GP] pp 20)

Este lema afirma que dado un punto regular de f , x̄, existe un entorno de
ese punto tal que identificando a los puntos de ese entorno con puntos de
m coordenadas via la parametrización ϕ, f se identifica con la submersión
canónica de Rm a Rk dada por(x1 , x2 , ..., xm ) 7→ (x1 , x2 , ..., xk )

1
 Mediante este lema obtenemos el teorema de la preimagen.

Teorema 2.1 Sea f una aplicación suave de una variedad diferencial m

dimensional M a otra variedad diferencial k dimensional K siendo m ≥ k.
Supongamos que y ∈ K es un valor regular de f , entonces su preimagen
f −1 (y) es una subvariedad diferenciable de M tal que la dimensión de f −1 (y)
es igual a la dimensión de M menos la de K, es decir que es igual a m − k.

Demostración: Como cualquier punto x̄ ∈ F −1 (y) es regular respecto de

f , se obtiene que en un entorno de x̄ y de y:

f (x1 , x2 , ..., xm ) = (x1 , x2 , ..., xk )

en dónde hemos identificado los valores de los correspondientes entornos
con sus valores coordenados mediante parametrizaciones. Recordemos que
por las respectivas parametrizaciones del lema ϕ(0) = x̄ y ψ(0) = y Si V es
el entono de x̄ y U el entorno de y como estamos considerando la preimagen
por y, el lado derecho de la ecuación de arriba es vı́a la identificación con
la parametrización ψ del entorno de y. Por lo tanto al aplicar f usando la
ecuación y las correspondientes identificaciones se cumple que via la identi-
ficación por la parametrización ϕ que V ∩ f −1 (y) es un conjunto de puntos
de coordenadas(0, 0, .., 0, xk+1 , xk+2 , ..., xm ). Entonces:

f (0, 0, ..., 0, xk+1 , xk+2 , ..., xm ) = (0, 0, ...., 0)

Por lo que la dimensión de la preimgaen por y es efectivamente de di-
mensión m − k

Corolario 2.1: Sean f , M y K como en el teorema anterior. Supongamos

que y ∈ K es un valor regular de f . Entonces para cualquier punto x ∈
f −1 (y) es dfx−1 (0) = Tx (f −1 (y)) en dónde dfx : Tx M 7→ Ty K es la derivada
de f en x.

Demostración: El punto y ∈ K se identifica via la parametrización ψ con

el punto 0 = (0, 0, ..., 0) con k coordenadas nulas y cuyo plano tangente es
ese mismo punto 0 Por otro lado f −1 (y) ⊆ M es una subvariedad de M por
lo que Tx (f −1 (y) es un subespacio de Tx M tal que df es una transformación
lineal que, restringida a ese subespacio se aplica al subespacio nulo, y luego

2
dfx−1 (0) = Tx (f −1 (y)) que es la tesis. Además, como por el teorema ante-
rior la subvariedad de M f −1 (y) tiene dimensión m − k, entonces su plano
tangente Tx (f −1 (y)) tiene igual dimensión m − k.

Proposición 2.1: Si la dimensión de M coincide con la de K, es decir que

m = k entonces para cualquier valor regular y ∈ K de f : M 7→ K ; f −1 (y)
es un subconjunto discreto de M , en dónde discreto refiere a un conjunto
posiblemente infinito numerable de puntos.

Demostración: usando el teorema anterior se tiene que dimf −1 (y) = 0

por lo que necesariamente es un conjunto discreto de puntos.

Además se tiene el siguiente lema:

Lema 2.2: Un conjunto compacto y discreto de Rn es un conjunto finito.

Demostración: Inmediata. Supongamos que el conjunto es discreto e

infinito. Podemos con la topologı́a usual encontrar un entorno de cada uno
de los puntos de ese conjunto discreto infinito de tal manera que esa familia
de entornos ası́ construida sea tal que la intersección de dos cualesquiera
de sus entornos sea el conjunto vacı́o. Luego, es evidente que dado ese
cubrimiento del conjunto discreto infinito, y dado el cubrimiento anterior no
existe un subcubrimiento finito, con lo que ese conjunto de puntos no serı́a
compacto. Por lo tanto el conjunto de puntos discretos, si es compacto, debe
ser un conjunto finito de puntos.

Debido a los resultados anteriores obtenemos el siguiente corolario

Corolario 2.2: Si M es variedad compacta y dimM =dimK , entonces

para cualquier valor regular y ∈ K, de f : M 7→ K, f −1 (y) es un conjunto
finito.

¿Y si M no fuera compacto? Usamos en ese caso la siguiente definición:

Definición 2.1 Una aplicación suave f : M 7→ K se dice propia, si para

3
cualquier subconjunto C ⊂ K que sea compacto, f −1 (C) es un compacto en
M.

Proposición 2.2: En consecuencia si dimM =dimK y f : M 7→ K es

suave y propia, dado un valor regular y de K, f −1 (y) es un conjunto finito
en M

Conjuntos de medida de Lebesgue nula

Un conjunto de medida de Lebesgue nula otorga al mismo un concepto

de pequeñez dentro de su espacio ambiente. Con rigurosidad:

Definición 2.2: A ⊂ Rn tiene medida de Lebesgue nula si dado ϵ > 0,

es posible cubrir a A por una sucesión de cubos n dimensionales todos de
volumen menor a ϵ

Ejemplos: Un punto, una recta o un plano en R3 . Un hiperplano en Rn

Un espacio afı́n k dimensional con k < n en Rn . Todos tienen medida de
Lebesgue nula.

El concepto de medida de Lesbegue 0 puede ser extendido a las var-

iedades.

Definición 2.3: C ⊂ M , en dónde M es una variedad m dimensional,

tiene medida de Lebesgue nula en M si cualquiera sea la parametrización
ϕ : U 7→ V , en donde V es un entorno de un punto x ∈ C, ϕ−1 (C ∩ V ) tiene
emedida de Lebesgue nula en Rm

Ejemplos: las subvariedades K de M con menor dimension que la di-

mension de M . Por ejemplo una curva en R2 o una esfera en R3 o una
hipersuperficie en Rn Todas esas subvariedades tienen medida de Lebesgue
nula dentro de su espacio ambiente.

Proposicion 2.3 El complemento de un conjunto de medida nula en Rn

es denso en Rn

4
 Demostración: Sea A un conjunto de medida de Lebesgue nula en Rn y
sea B el complemento de A. Supongamos que exista x ∈ Rn y un entorno Nx
de x tal que Nx ∩ B es el conjunto vacio. Luego Nx ⊂ A Por ser Nx entorno
hay una bola dentro de Nx Pero una bola no tiene medida de Lebesgue 0 y
por lo tanto tamoco A tendrı́a medida de Lebesgue nula. Contradicción. Y
la tesis se cumple.

Con igual criterio podemos afirmar que si un subconjunto C ⊂ M , dónde

M es una variedad, tiene medida de Lebesgue nula en M , entonces su com-
plemento en M es denso en M .

Proposición 2.4: La unión de una familia finita o numerable infinita de

conjuntos de medida de Lebesgue 0 tiene medida de Lebesgue 0.

Demostración: Sea Ai con i ∈ N una sucesión de conjuntos de medida de

Lebesgue nula . Dado ϵ > 0, sea (Qni )∞
i=1 un cubrimiento de An con cubos
de volumen menor a 2n Luego ∪n=1 An ⊂ ∪∞
P∞
ϵ ∞ ∞ n
n=1 ∪i=1 Qi que tiene volumen
ϵ
inferior a n=1 2n = ϵ

Esta proposicion demuestra que el conjunto de números racionales Q

tiene medida de Lebesgue nula en R Pero además sabemos que es denso en
R Es decir que en algún sentido un conjunto de medida de Lebesgue nula
puede no ser tan flaco. Para que sea realmente flaco necesitamos que además
de tener medida de Lebesgue nula, sea cerrado en Rn como para descartar
al conjunto de los racionales ya que la clausura de un cerrado es el mismo
cerrado. En estos casos el complemento es abierto y ademas denso en su
espacio ambiente y por lo tanto se puede decir que es grueso.

Teorema 2.2 (de Sard): Sea f : Rm 7→ Rk una aplicación suave con m ≥ k

Entonces el conjunto de valores crı́ticos de f tiene medida de Lebesgue nula
en Rk y el conjunto de valores regulares es denso en Rk (Ver [M], 1969) De
este teorema la versión en variedades es inmediata. Hay que reemplazar a
Rm por una variedad m dimensional M y Rk por una variedad k dimensional
K.

Proposicion 2.5 El conjunto de puntos crı́ticos de f : M 7→ K con la

dimension de M mayor o igual a la de K es cerrado en M

5
 Demostracion: Basta demostrar que el complemento de los puntos crı́ticos
es un abierto en M Sea R el conjunto de puntos regulares de f . Fijese un
punto x̄ ∈ R Luego existe una parametrización ϕ alrededor de x̄ con ȳ = f (x̄)
tal que

f¯ : ψ −1 of oϕ : U 7→ V
es una submersión de Rm a Rk que envı́a el 0 ∈ Rm al 0 ∈ Rk ya que
ϕ(0) = x̄ y además ψ(0) = ȳ en donde ψ es parametrización alrededor de
ȳ. Se dice que f¯ es una submersión en x̄ (Ver la definición en el apendice
al capı́tulo 1) Por esa definición dfx̄ : Tx̄ M 7→ Tȳ K es transformación lineal
suryectiva. (Ver definición de dfx̄ en el apendice del capitulo 1) Por lo tanto
su matriz asociada tiene el mayor rango posible. Este concepto es equivalente
a que dfx̄ sea una TL suryectiva. Entonces para x ∈ M suficientemente
cercano a x̄ tambien deberá ser dfx una TL suryectiva que va de Tx M a
Tf (x) K porque para x cercanos las matrices asociadas no pierden su máximo
rango. por lo que tambien dfx es submersión para x cercano a x̄ Esto implica
que existe un entorno del punto regular x̄ tal que todo punto de ese entorno
también es regular. Luego R el conjunto de puntos regulares de M es un
abierto.

Definicion 2.4 Una aplicacion f : X 7→ Y se denomina cerrada si la

imagen de todo cerrado en X es un cerrado en Y .

Aquı́ X e Y son meramente espacios topológicos.

Proposicion 2.6: Sean X e Y espacios topológicos localmente compactos

y de Hausdorff. Luego una aplicación continua f : X 7→ Y es propia si y
sólo si f es aplicación cerrada y f −1 (y) es un compacto en X cualquiera sea
y ∈ Y ( Ver [B] capitulo 1 inciso 3) Como las variedades de dimensión finita
son espacios localmente compactos de Hausdorff tenemos

Proposicion 2.7: Si f es una aplicación suave que va de una variedad

diferencial m dimensional a otra variedad diferencial k dimensional K y
además es propia, entonces el conjunto de valores regulares de K es un
abierto denso en K

Demostración: Al ser f propia el conjunto de puntos crı́ticos de f es un

6
cerrado con medida de Lebesgue nula en M . Sea A el conjunto de valores
regulares en K Sea B el conjunto de puntos regulares en M B vimos que es
abierto y denso en M Entonces el complemento B c de puntos crı́ticos es un
cerrado en M . Por ser f propia f (B c ) es un cerrado en K Y obviamente
ese conjunto es el total de valores crı́ticos de f Entonces el complemento
en K que es f (B) es abierto y coincide con el conjunto de valores regulares
de K Veamos que además es denso en K Como f es suave en particular es
continua y entonces verifica que f (B̄) esta incluida en la clausura de f (B)
Pero sabemos que B̄ = M por lo tanto la clausura de f (B) = K

Genericidad:

De acuerdo a la convención matemática concerniente a las propiedades

de puntos, si una propiedad es inválida sólo en un conjunto de medida de
Lebesgue 0 entonces se dice que la propiedad es válida en casi todo punto.
La genericidad es una generalización de este concepto. Tenemos la siguiente
definicion

Definición 2.5 Sea X un espacio topológico al que se le adjunta una

cantidad de parámetros. Si el conjunto {x ∈ X/x ∈ P } (donde x ∈ P
significa que x satisface la propiedad P ), es denso en X entonces se dice que
P es una propiedad genérica respecto de X.

En particular si X es una variedad de dimensión finita, una propiedad

que es inválida sólo en un conjunto de medida de Lebesgue nula es una
propiedad genérica de M . Si consideramos una variedad diferencial k di-
mensional K, que sea tambien un espacio de parámetros, entonces dada una
aplicación suave f : M 7→ K con una propiedad en común para todos los
valores regulares de f entonces esa propiedad es una propiedad genérica re-
specto de K ya que el conjunto de puntos regulares de K es denso en K
Como consecuencia de esta última observación, se puede afirmar que dada
una aplicación suave f.M 7→ K con la dimensión del dominio mayor o igual a
la del codominio, la propiedad de que la preimagen de f sea una subvariedad
diferencial de dimension m − k establece otra propiedad genérica respecto
de K Esta observación juega un papel importante en el análisis económico
subsiguiente.

7
 Bibliografı́a:

[B] Boubaki Bourbaki, N. (1965), Elements de Mathematique: Topologie

Generale

[GP] Guillemin, V. and A. Pollack (1974), Differential Topology, Engle-

wood Cliffs,NJ: Prentice-Hall

[M] Milnor, J. W. (1969), Topology from the Differentiateble Viewpoint,

Charlottesville, VA: The University Press of Virginia.