Teorı́a de Morse Discreta

Nicolás López Ojeda

Nicolas Avila Ramirez

Universidad Sergio Arboleda

Introducción
En la topologı́a diferencial se estudian las propiedades globales de las variedades diferenciales. En
1934 Marston Morse en su trabajo sobre cálculo de variaciones generalizado introdujo métodos de
la topologı́a diferencial. A partir de estas ideas, el matemático, John Milnor, demostró que hay una
estrecha relación entre los puntos crı́ticos de una función diferenciable sobre una variedad diferenciable
y su tipo de homotópia. Luego en 1998 Forman introducen la teorı́a de Morse discreta. Los resultados
obtenidos en esta son análogos a los de la teorı́a de Morse clásica y, además, presentan la misma
profundidad geométrica.

Preliminares
Celda: Sea un espacio topológico σ que es homehomorfo a algún espacio euclı́deo real es decir,
existe n ∈ N tal que σ ∼ Rn , y decimos que σ es una n-celda y la dimensión de σ es n. Dada una celda
σ denotaremos como la dimensión de σ como |σ| = n.

Descomposición por celdas: Sea X un espacio topológico, décimos que el par (X, Ω) es una des-
composición por celdas, si Ω es una partición de X y los elementos de Ω son celdas es decir:
σ1 , σ2 ∈ Ω y σ1 6= σ2 entonces σ1 ∩ σ2 = ∅
[
X= σ
σ∈Ω

∀σ ∈ Ω ∃n ∈ N tal que σ ∼ Rn
Definido estos dos conceptos sobre celdas, introducimos dos definiciones sobre estas que serán utilizadas
a lo largo de la teorı́a, En general la teorı́a de Morse discreta estudia los complejos simpliciales, pero
por motivos de construcción nos centraremos solo en los CW-complejos.

Definición: Sea X un espacio topológico con una partición por celdas Ω entonces definimos a los
conjuntos:
[
Conjunto n-celdas: Xn := σ.
σ∈Ω:|σ|=n
[
n-esqueleto: X n := σ.
σ∈Ω:|σ|≤n

Dada estas definiciones introduciremos nuestro objeto de estudio en el cual trabajaremos la teorı́a de
morse discreta, estos son conocidos como CW-complejos o complejos celulares, lo interesante de los
CW-complejos es que dado un conjunto de celdas podemos construir por un proceso inductivo un CW-
complejo.

CW-Complejo: Sea (X, Ω) un espacio topológico con una partición por celdas decimos que este es
un CW-complejo si cumple que:

1
 I por cada celda σ existe una función continua ϕσ denotada función caracterı́stica para la celda σ
tal que:
n
ϕσ : B −→ X donde B n ⊆ Rn es una bola abierta de dimención n.
ϕσ |B n es un homeomorfismo entre B n y σ.
ϕσ (Sn−1 ) ⊆ X n−1 donde n = |σ| donde Sn−1 = ∂B n .
II sea σ ∈ Ω existe un m ∈ N+ tal que:
m
[
σ⊆ σi donde σi ∈ Ω
i=o

III Sea U ⊆ X decimos que U es abierto si y solo si U ∩ σ es abierto en σ para todo σ ∈ Ω. A esta
propiedad se le conoce como topologı́a débil.
Como mencionamos anteriormente dado un conjunto de celdas podemos construir un CW-complejo
inductivamente y sobre estas construcciones son las que centraremos el estudio de la teorı́a de morse
discreta. Entonces sea dado un conjunto no vació de celdas construimos el CW-complejo como:
i El 0-esqueleto X 0 es un conjunto formado por 0-celdas con una topologı́a discreta.
ii Supuesto el (n-1)-esqueleto X n−1 , construimos el n-esqueleto X n pegando n-celdas a X n−1 a lo
largo de su frontera. Obteniendo ası́ el espacio cociente X n con la topologı́a del cociente. Es decir
dado una n-celda σ tenemos una función continua φ : ∂σ −→ X n−1 con la relación de equivalencia
tal que φ(x) ≡ x.
iii Realizando este proceso obtenemos una cadena tal que X 0 ⊆ X 1 ⊆ ... ⊆ X n−1 ⊆ X n ⊆ ... 1
n
si realizando este proceso un número finito de veces
S∞obtenemos que X = X tenemos un CW-
complejo de dimensión finita en caso contrario X = n=0 X n dotamos a X con una topologı́a débil
es decir que U ⊆ X es abierto en X si y solo si U ∩ X n es abierto en X n para todo n ∈ N.
Un ejemplo de construcción de un CW-complejo simple es dado X0 = {p, q, r} y un X1 = {σ1 , σ2 , σ3 }
entonces:

Obteniendo una descomposición celular para S1 .

Si la función φ : ∂σ −→ X n−1 es un homeomorfismo sobre su imagen entonces decimos que X es
regular y además si X tiene un número finito de celdas entonces decimos que X es un CW-complejo
1 Note que las construcciones de los n-esqueletos se adquiere mediante una topologı́a de

cociente, cuando decimos que X n−1 ⊆ X n no referimos a una reescritura de X n−1 como la
imagen directa bajo la proyección de cociente para todas las celdas de dimensión n − 1 en X n

2
regular y finito. A a partir de ahora dado un conjunto X se dará por echo que es un CW-complejo
regular y finito. Además, si σ y τ son celdas de X y |σ| < |τ |, la relación σ≺τ dado por σ ⊂ τ y σ6=τ
y se dirá que la celda σ es cara de τ . y decimos que σ  τ si σ ≺ τ o σ = τ , y denotaremos que sea
una celda σ como σ p tal que σ ∈ Xp .

Función de Morse Discreta

En la teorı́a de morse discreta al igual que en la teorı́a de morse clásica el estudio de estas se sustentan
por las conocida funciones de morse, siendo en esta las función de morse discreta definidas sobre el los
CW-complejos construidos inductivamente, y a partir de esta función concluir homeomorfismos entre
estos objetos, o caracterizar su estructura.

Definición: Sea X un CW-complejo construido inductivamente y Ω el conjunto de todas las celdas de

X entonces definimos una función de Morse discreta f : Ω −→ R sobre X, la cual verifica las siguientes
condiciones, para cada celda σ ∈ Ω la cual esta relacionada con las celas τ, γ ∈ Ω donde las dimensiones
de estas celas siguen el orden de γ p−1 ≺ σ p ≺ τ p , tenemos que f es una función de morse discreta si
cumple que:
#{τ  σ : f (τ ) ≤ f (σ)} ≤ 1

#{γ ≺ σ : f (γ) ≥ f (σ)} ≤ 1

Para ilustrar un ejemplo partamos del S1 con nuestra construcción por celdas ejemplificada anterior-
mente y a cada celda le asignamos un valor siendo esta nuestra función entonces:

Cada gráfico representa una función distinta, los dos primeros son funciones de morse, pero las dos
siguientes no, ya que en la tercera si fijamos la 0-celda σ de valor 1, las 1-celdas τ adyacentes, una
tiene un valor 1 y la otra de 0 por tanto #{τ  σ : f (τ ) ≤ f (σ)} = 2, y en la cuarta, fijamos
la 1-celda σ de valor 1, las dos 0-celdas γ de dimensión menor tiene valores mas grandes por tanto
#{γ ≺ σ : f (γ) ≥ f (σ)} = 2, por tanto ninguna de estas dos cumple la definición de función de morse
discreta.

Definición: Sea X un CW-complejo y una función de morse discreta sobre X decimos que una celda
σ ∈ Ω es una celda critica si cumple que:
#{τ  σ|f (τ ) ≤ f (σ)} = 0

#{γ ≺ σ|f (γ) ≥ f (σ)} = 0

3
En las dos gráficas anteriores las cuales si representaban funciones de morse, podemos ver que en la
primera todas las celdas son celdas criticas, dado que las celdas adyacentes tienen valores distintos,
pero en la segunda solo hay una celda critica y esta es la 0-celda de valor 0, ya que es la única celda
en la que todas sus celdas adyacentes tiene valores distintos.

Campo vectorial discreto

Como se podrá pensar dado un X CW-complejo y una función de morse discreta sobre este en
realidad los valores de esta no son esenciales sino la relaciones entre estos, es decir que podemos
tener dos funciones de morse f2 , f2 que se comporten de la misma manera sobre el complejo X, pero
sus valores sean distinto, para esto introduciremos el concepto de campo vectorial como objeto para
visualizar las relaciones entre los valores de una función de morse.

Definición: Sea X un CW-complejo decimos que un Campo vectorial discreto V sobre X es un conjunto
de pares de celdas (σ, τ ) tales que σ ≺ τ y ninguna celda esta simultáneamente en mas de un par a la
vez, cuando una celda de X no esta emparejada con otra celda en V decimos que es una celda critica
del campo vectorial discreto V .
podemos expresar a la pareja (σ, τ ) como una asignación por flechas σ → τ para un campo vectorial
discreto y de esta manera poder expresarlo geométricamente de la siguiente manera.

Donde el campo vectorial discreto esta formado por las parejas (γ1 , σ1 ),(γ2 , σ6 ),(γ3 , σ5 ),(γ4 , σ4 )
,(γ6 , σ9 ),(γ5 , σ3 ),(σ7 , τ2 ),(σ2 , τ5 ),(σ8 , τ1 ),(σ10 , τ4 ). Note que dado un campo vectorial discreto podemos
movernos entre estas flechas y de esta manera formar un camino.

Definición: Dado un campo vectorial discreto V sobre un CW-complejo X decimos que un V -camino
de ı́ndice p es una sucesión :
σ0p , τ0p+1 , σ1p , τ1p+1 , ..., σrp , τrp+1 , σr+1
p

que cumple que:

(σip , τip+1 ) ∈ V

σip , σi+1
p
son caras distintas de τip+1 .
Si σr = σ0 decimos que es un V -camino cerrado.
Ejemplo:

4
Usando el Campo vectorial anterior un V -camino podrı́a ser la succión de flechas amarillas, consti-
tuido por γ2 , σ6 , γ6 , σ9 , γ5 , σ3 , γ4 , σ4 , γ3 σ5 , γ2 , Como el camino comienza y termina en la misma pareja
entonces es un camino cerrado. Una vez mostrados estos conceptos entrelazaremos la idea de campo
vectorial y la de función de morse discreta.

Definición: Sea X un CW-complejo y f una función de morse discreta asociada a este entonces defi-
nimos el Campo vectorial gradiente discreto de f como el conjunto de las parejas (σ p , τ p+1 ) tales que
f (τ ) ≤ f (σ) y lo denotaremos como −∇f .
Ejemplo:

Una forma de poder determinar una función de morse asociado a un complejo X seria ver un campo
vectorial sobre este y determinar si este campo vectorial puede ser determinado por una función de
morse es decir que sea el gradiente de esta. Pero no todo campo vectorial es el gradiente de una función
de morse para eso es necesario un teorema que los caracteriza

Teorema: Un campo vectorial discreto V definido sobre un CW-complejo X es el gradiente de una

función de morse discreta si y solo si V no tiene caminos cerrados.

Este resultado lo podemos visualizar en el ejemplo anterior, cualquier camino que intentemos realizar
en −∇f , termina en una celda distinta a la que se comenzó., En este ejemplo podemos ver también lo
fácil que es identificar las celdas criticas ya que a ninguna de estas les llega o emiten una flecha, como
la 0-celda del centro por tener un valor de 0, y las 1-celdas que están acompañadas con las de 2-celdas
de valor 4, ası́ mismo estas celdas también son criticas al tener el valor mas alto en la función, teniendo
esta función de morse un total de 5 celdas criticas.

5
Colapsos celulares
Uno de los objetivos principales de la teorı́a de morse discreta y objetivo de este informe, es la
posibilidad de extraer solo la información necesaria de un complejo celular y ası́ determinar que tipo
de homeomorfismo es con el que se esta trabajando, a este proceso de minimizar un complejo celular
se le conoce como Colapso celulares.

Definición: Dado un CW-complejo X se dice que Y ⊆ X es un Subcomplejo de X si es la unión de

celdas de X tales que σ ⊆ Y para cada celda σ de Y .
Ejemplo:

Definición: Sea X un CW-complejo regular, Una celda σ de X se llama Cara libre de X si es cara de
una única celda de X.

Definición: Un Colapso elemental es un subcomplejo Y de X resultado de extraer una cara libre a

X, es decir sean σ p ≺ τ p+1 celdas de X donde σ es una cara libre, entonces decimos que X &σ Y ”X
colapsa sobre Y ”, si Y = X − (σ ∪ τ ), Si llega a existir una sucesión de colapsos
X &σ1 X1 ,X &σ2 X2 ,...,X &σn Xn tales que Xn = Y entonces decimos que Y es un retrato de
deformación de X y lo denotamos simplemente como X & Y .
Ejemplo:

Supongamos que tenemos un colapso celular X & Y determinado pos la sucesión X0 &σ1 X1 , &σ2
X2 , &σ3 , ..., &σn Xn = Y , Entonces cada σi es cara de una única τi en Xi−1 por tanto la pareja (σi , τi )
son únicas y de esta manera podemos construir un campo vectorial discreto V a partir de colapsos
elementales, siendo este campo vectorial V un campo donde todas las celdas de Y son celdas criticas
ya que este es el sucomplejo en el cual colapsa X. Este campo vectorial inducido por un colapso es de
echo un gradiente de una función de morse gracias al siguiente teorema.

Teorema: El campo vectorial V inducido por un colapso elemental X & Y es un gradiente de alguna
función de morse discreta.

6
Complejos de nivel y Tipo de Homotopias
La importancia de la función de morse en la teorı́a de morse clásica, es decir la que se estudia en
variedades diferenciales, es en la que a partir de los puntos crı́ticos de una función de morse podremos
determinar el tipo de homotopia que tiene el conjunto de nivel de esta función, como resultado análogo a
este están los complejos de nivel de un Complejo celular y ver que mediante las celdas criticas podemos
hacerlo colapsar a uno mas sencillo.

Definición: Sea f una función de morse discreta sobre un CW-complejo X y Ω el conjunto de celdas
de este, para cada valor a ∈ R definimos el Complejo de nivel de f como:
[ [
X a := γ
γσ
σ∈Ω
f (σ) ≤ a

Si necesitemos especificar la función sobre un complejo escribiremos a Xfa como el Complejo de nivel
de a mediante la función de morse f .
Gracias a que los CW-Complejos con los que trabajamos son finitos podemos hacer suso de la combi-
natoria sobre estos y las funciones de morse y construir a partir de una función de morse f , una función
de morse g que sea inyectiva y nos preserve los Complejos de nivel.

Lema: Dada una función de morse discreta f sobre X, y a, b ∈ R tales que a < b, entonces existe una
función de morse discreta g sobre X e inyectiva en el intervalo (a, b] ⊆ R, tal que Xfa = Xga y Xfb = Xgb .
Por tanto podemos suponer que dada una función de morse sobre X esta es inyectiva sobre (a, b] y ası́
no tener problemas al referirnos al hablar f − (a, b] y llegar a los tres teoremas importantes de la teorı́a
de morse discreta.

Teorema: Sea f una función de morse discreta sobre X, tal que f −1 (a, b] no contiene ninguna celda
critica, entonces:
Xb & Xa
Teorema: Sea f una función de morse sobre X, y σ p una celda critica, tal que f (σ) ∈ (a, b], y f −1 (a, b]
no contiene mas celdas criticas, entonces el complejo de nivel X b tiene el mismo tipo de homotopia que
X a con una p-celda pegada en su frontera.

Y como consecuencia de estos dos teoremas se tiene el resultado mas importante de la teorı́a de morse
discreta.

Teorema: Sea f una función de morse discreta sobre X, entonces X tiene el mismo tipo de homotopia
que un CW-Complejo que consta de una λ-celda por cada celda critica de dimensión λ en X.

Básicamente lo que nos dice estos tres resultados es que podemos simplificar un CW-Complejo, en el
sentido de ”estirar” una cara, y extraerle la homotopia que este preserva, para un mejor entendimiento
mostraremos los siguientes dos ejemplos:

7
1. Partamos de la descomposición que dimos de S1 , y la función de morse discreta que solo tenia un
punto critico.

entonces mediante ”estiramientos” (colapsos y homotopias), podremos simplificar la estructura que

le dimos a S1 , por tan solo una celda de dimensión 0 y una de dimensión 1.
2. considere el siguiente complejo simplicial con la función de morse mostrada mediante su campo
vectorial gradiente, donde las celdas de dimención 1 mostradas de un mismo color son las mismas.

Tenemos cuatro celdas crı́ticas, el vértice {d}, que es una 0-celda, las aristas {b, g} y {e, f }, que son
1-celdas, y el triángulo {b, c, f }, que es una 2-celda. Siguiendo el anterior procedimiento

reduciendo nuestro complejo a uno que es homeomorfo a un toroide.

8
Aplicaciones

Imágenes Digitales
El esqueleto de una figura es un objeto de baja dimensión que mantiene las propiedades geométricas
y topológicas de la figura. Mediante una función de Morse discreta, en donde a cada pı́xel de una imagen
digital se le asigna su intensidad en la escala de grises, se puede determinarla información relevante la
imagen a través de la cancelación de celdas crı́ticas, eliminando los efectos del ruido.

Mapper
La empresa norteamericana Ayasdi creó el primer sofware que aplica el análisis de datos topológicos
(TDA) a los problemas del mundo real llamado Mapper. Mapper trabaja con cantidades masivas de
datos procedentes de aplicaciones reales donde no es posible distinguir una estructura concreta. El
sofware Reduce la cantidad de datos con una función real de Morse sobre el conjunto de datos, que
expone las propiedades relevantes de estos agrupándolos por similitud en lo que se le llama ”cluster”,
que no es mas que el vértice de un complejo simplicial.