![Page 1: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/1.jpg)
IntroducciónNociones y resultados básicos
Una introducción a la teoría de Morse discreta
José Antonio Vilches
Departamento de Geometría y TopologíaUniversidad de Sevilla
Departament de MatemàtiquesUniversitat Autònoma de Barcelona
24 de Abril de 2017
Una introducción a la teoría de Morse discreta
![Page 2: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/2.jpg)
IntroducciónNociones y resultados básicos
Introducción
Teoría de Morse clásica
* M. Morse, The calculus of variations in the large, ColloquiumPublications 18 (1934) Amer. Math. Soc., Providence R. I.
* J. Milnor Morse Theory, Princeton University Press, NewJersey, 1963.
* L. Nicolaescu, An invitation to Morse Theory, Springer, NewYork, 2007.
Teoría de Morse discreta
* R. Forman, Morse Theory for cell complexes, Adv. inMath.,134 (1) (1998), 90-145.
* R. Forman, A user’s guide to discrete Morse theory, SéminaireLotharingien de Combinatoire 48 (2002), Article B48c.
* K. P. Knudson Morse Theory: Smooth and Discrete, WorldScientific, New Jersey, 2015.
Una introducción a la teoría de Morse discreta
![Page 3: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/3.jpg)
IntroducciónNociones y resultados básicos
Introducción
Teoría de Morse clásica
* M. Morse, The calculus of variations in the large, ColloquiumPublications 18 (1934) Amer. Math. Soc., Providence R. I.
* J. Milnor Morse Theory, Princeton University Press, NewJersey, 1963.
* L. Nicolaescu, An invitation to Morse Theory, Springer, NewYork, 2007.
Teoría de Morse discreta
* R. Forman, Morse Theory for cell complexes, Adv. inMath.,134 (1) (1998), 90-145.
* R. Forman, A user’s guide to discrete Morse theory, SéminaireLotharingien de Combinatoire 48 (2002), Article B48c.
* K. P. Knudson Morse Theory: Smooth and Discrete, WorldScientific, New Jersey, 2015.
Una introducción a la teoría de Morse discreta
![Page 4: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/4.jpg)
IntroducciónNociones y resultados básicos
Introducción
Teoría de Morse clásica
* M. Morse, The calculus of variations in the large, ColloquiumPublications 18 (1934) Amer. Math. Soc., Providence R. I.
* J. Milnor Morse Theory, Princeton University Press, NewJersey, 1963.
* L. Nicolaescu, An invitation to Morse Theory, Springer, NewYork, 2007.
Teoría de Morse discreta
* R. Forman, Morse Theory for cell complexes, Adv. inMath.,134 (1) (1998), 90-145.
* R. Forman, A user’s guide to discrete Morse theory, SéminaireLotharingien de Combinatoire 48 (2002), Article B48c.
* K. P. Knudson Morse Theory: Smooth and Discrete, WorldScientific, New Jersey, 2015.
Una introducción a la teoría de Morse discreta
![Page 5: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/5.jpg)
IntroducciónNociones y resultados básicos
Introducción
Teoría de Morse clásica
* M. Morse, The calculus of variations in the large, ColloquiumPublications 18 (1934) Amer. Math. Soc., Providence R. I.
* J. Milnor Morse Theory, Princeton University Press, NewJersey, 1963.
* L. Nicolaescu, An invitation to Morse Theory, Springer, NewYork, 2007.
Teoría de Morse discreta
* R. Forman, Morse Theory for cell complexes, Adv. inMath.,134 (1) (1998), 90-145.
* R. Forman, A user’s guide to discrete Morse theory, SéminaireLotharingien de Combinatoire 48 (2002), Article B48c.
* K. P. Knudson Morse Theory: Smooth and Discrete, WorldScientific, New Jersey, 2015.
Una introducción a la teoría de Morse discreta
![Page 6: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/6.jpg)
IntroducciónNociones y resultados básicos
Introducción
Teoría de Morse clásica
* M. Morse, The calculus of variations in the large, ColloquiumPublications 18 (1934) Amer. Math. Soc., Providence R. I.
* J. Milnor Morse Theory, Princeton University Press, NewJersey, 1963.
* L. Nicolaescu, An invitation to Morse Theory, Springer, NewYork, 2007.
Teoría de Morse discreta
* R. Forman, Morse Theory for cell complexes, Adv. inMath.,134 (1) (1998), 90-145.
* R. Forman, A user’s guide to discrete Morse theory, SéminaireLotharingien de Combinatoire 48 (2002), Article B48c.
* K. P. Knudson Morse Theory: Smooth and Discrete, WorldScientific, New Jersey, 2015.
Una introducción a la teoría de Morse discreta
![Page 7: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/7.jpg)
IntroducciónNociones y resultados básicos
Introducción
Teoría de Morse clásica
* M. Morse, The calculus of variations in the large, ColloquiumPublications 18 (1934) Amer. Math. Soc., Providence R. I.
* J. Milnor Morse Theory, Princeton University Press, NewJersey, 1963.
* L. Nicolaescu, An invitation to Morse Theory, Springer, NewYork, 2007.
Teoría de Morse discreta
* R. Forman, Morse Theory for cell complexes, Adv. inMath.,134 (1) (1998), 90-145.
* R. Forman, A user’s guide to discrete Morse theory, SéminaireLotharingien de Combinatoire 48 (2002), Article B48c.
* K. P. Knudson Morse Theory: Smooth and Discrete, WorldScientific, New Jersey, 2015.
Una introducción a la teoría de Morse discreta
![Page 8: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/8.jpg)
IntroducciónNociones y resultados básicos
Introducción
Teoría de Morse clásica
* M. Morse, The calculus of variations in the large, ColloquiumPublications 18 (1934) Amer. Math. Soc., Providence R. I.
* J. Milnor Morse Theory, Princeton University Press, NewJersey, 1963.
* L. Nicolaescu, An invitation to Morse Theory, Springer, NewYork, 2007.
Teoría de Morse discreta
* R. Forman, Morse Theory for cell complexes, Adv. inMath.,134 (1) (1998), 90-145.
* R. Forman, A user’s guide to discrete Morse theory, SéminaireLotharingien de Combinatoire 48 (2002), Article B48c.
* K. P. Knudson Morse Theory: Smooth and Discrete, WorldScientific, New Jersey, 2015.
Una introducción a la teoría de Morse discreta
![Page 9: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/9.jpg)
IntroducciónNociones y resultados básicos
Introducción
Teoría de Morse clásica
* M. Morse, The calculus of variations in the large, ColloquiumPublications 18 (1934) Amer. Math. Soc., Providence R. I.
* J. Milnor Morse Theory, Princeton University Press, NewJersey, 1963.
* L. Nicolaescu, An invitation to Morse Theory, Springer, NewYork, 2007.
Teoría de Morse discreta
* R. Forman, Morse Theory for cell complexes, Adv. inMath.,134 (1) (1998), 90-145.
* R. Forman, A user’s guide to discrete Morse theory, SéminaireLotharingien de Combinatoire 48 (2002), Article B48c.
* K. P. Knudson Morse Theory: Smooth and Discrete, WorldScientific, New Jersey, 2015.
Una introducción a la teoría de Morse discreta
![Page 10: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/10.jpg)
IntroducciónNociones y resultados básicos
Introducción
Teoría de Morse clásica
* M. Morse, The calculus of variations in the large, ColloquiumPublications 18 (1934) Amer. Math. Soc., Providence R. I.
* J. Milnor Morse Theory, Princeton University Press, NewJersey, 1963.
* L. Nicolaescu, An invitation to Morse Theory, Springer, NewYork, 2007.
Teoría de Morse discreta
* R. Forman, Morse Theory for cell complexes, Adv. inMath.,134 (1) (1998), 90-145.
* R. Forman, A user’s guide to discrete Morse theory, SéminaireLotharingien de Combinatoire 48 (2002), Article B48c.
* K. P. Knudson Morse Theory: Smooth and Discrete, WorldScientific, New Jersey, 2015.
Una introducción a la teoría de Morse discreta
![Page 11: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/11.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Qué es la teoría de Morse discreta (TMD)?
Una teoría/herramienta combinatoria que estudia propiedadesde objetos discretos (complejos simpliciales).¿Cuáles son sus principales resultados?Relacionar la topología de objetos discretos con propiedades defunciones discretas definidas sobre ellos.¿Cuáles son sus ventajas respecto a la teoría clásica?
Por su naturaleza discreta, resulta más natural para serimplementada. Además, ello permite estudiarla desde distintospuntos de vista: teoría de grafos, posets, enfoque algebraico,...A diferencia del enfoque clásico, la TMD se aplica sobreobjetos más generales que las variedades.Las pruebas de versiones discretas de muchos resultadosclásicos son más directas y menos técnicas.
Una introducción a la teoría de Morse discreta
![Page 12: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/12.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Qué es la teoría de Morse discreta (TMD)?Una teoría/herramienta combinatoria que estudia propiedadesde objetos discretos (complejos simpliciales).
¿Cuáles son sus principales resultados?Relacionar la topología de objetos discretos con propiedades defunciones discretas definidas sobre ellos.¿Cuáles son sus ventajas respecto a la teoría clásica?
Por su naturaleza discreta, resulta más natural para serimplementada. Además, ello permite estudiarla desde distintospuntos de vista: teoría de grafos, posets, enfoque algebraico,...A diferencia del enfoque clásico, la TMD se aplica sobreobjetos más generales que las variedades.Las pruebas de versiones discretas de muchos resultadosclásicos son más directas y menos técnicas.
Una introducción a la teoría de Morse discreta
![Page 13: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/13.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Qué es la teoría de Morse discreta (TMD)?Una teoría/herramienta combinatoria que estudia propiedadesde objetos discretos (complejos simpliciales).¿Cuáles son sus principales resultados?
Relacionar la topología de objetos discretos con propiedades defunciones discretas definidas sobre ellos.¿Cuáles son sus ventajas respecto a la teoría clásica?
Por su naturaleza discreta, resulta más natural para serimplementada. Además, ello permite estudiarla desde distintospuntos de vista: teoría de grafos, posets, enfoque algebraico,...A diferencia del enfoque clásico, la TMD se aplica sobreobjetos más generales que las variedades.Las pruebas de versiones discretas de muchos resultadosclásicos son más directas y menos técnicas.
Una introducción a la teoría de Morse discreta
![Page 14: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/14.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Qué es la teoría de Morse discreta (TMD)?Una teoría/herramienta combinatoria que estudia propiedadesde objetos discretos (complejos simpliciales).¿Cuáles son sus principales resultados?Relacionar la topología de objetos discretos con propiedades defunciones discretas definidas sobre ellos.
¿Cuáles son sus ventajas respecto a la teoría clásica?
Por su naturaleza discreta, resulta más natural para serimplementada. Además, ello permite estudiarla desde distintospuntos de vista: teoría de grafos, posets, enfoque algebraico,...A diferencia del enfoque clásico, la TMD se aplica sobreobjetos más generales que las variedades.Las pruebas de versiones discretas de muchos resultadosclásicos son más directas y menos técnicas.
Una introducción a la teoría de Morse discreta
![Page 15: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/15.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Qué es la teoría de Morse discreta (TMD)?Una teoría/herramienta combinatoria que estudia propiedadesde objetos discretos (complejos simpliciales).¿Cuáles son sus principales resultados?Relacionar la topología de objetos discretos con propiedades defunciones discretas definidas sobre ellos.¿Cuáles son sus ventajas respecto a la teoría clásica?
Por su naturaleza discreta, resulta más natural para serimplementada. Además, ello permite estudiarla desde distintospuntos de vista: teoría de grafos, posets, enfoque algebraico,...A diferencia del enfoque clásico, la TMD se aplica sobreobjetos más generales que las variedades.Las pruebas de versiones discretas de muchos resultadosclásicos son más directas y menos técnicas.
Una introducción a la teoría de Morse discreta
![Page 16: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/16.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Qué es la teoría de Morse discreta (TMD)?Una teoría/herramienta combinatoria que estudia propiedadesde objetos discretos (complejos simpliciales).¿Cuáles son sus principales resultados?Relacionar la topología de objetos discretos con propiedades defunciones discretas definidas sobre ellos.¿Cuáles son sus ventajas respecto a la teoría clásica?
Por su naturaleza discreta, resulta más natural para serimplementada. Además, ello permite estudiarla desde distintospuntos de vista: teoría de grafos, posets, enfoque algebraico,...
A diferencia del enfoque clásico, la TMD se aplica sobreobjetos más generales que las variedades.Las pruebas de versiones discretas de muchos resultadosclásicos son más directas y menos técnicas.
Una introducción a la teoría de Morse discreta
![Page 17: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/17.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Qué es la teoría de Morse discreta (TMD)?Una teoría/herramienta combinatoria que estudia propiedadesde objetos discretos (complejos simpliciales).¿Cuáles son sus principales resultados?Relacionar la topología de objetos discretos con propiedades defunciones discretas definidas sobre ellos.¿Cuáles son sus ventajas respecto a la teoría clásica?
Por su naturaleza discreta, resulta más natural para serimplementada. Además, ello permite estudiarla desde distintospuntos de vista: teoría de grafos, posets, enfoque algebraico,...A diferencia del enfoque clásico, la TMD se aplica sobreobjetos más generales que las variedades.
Las pruebas de versiones discretas de muchos resultadosclásicos son más directas y menos técnicas.
Una introducción a la teoría de Morse discreta
![Page 18: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/18.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Qué es la teoría de Morse discreta (TMD)?Una teoría/herramienta combinatoria que estudia propiedadesde objetos discretos (complejos simpliciales).¿Cuáles son sus principales resultados?Relacionar la topología de objetos discretos con propiedades defunciones discretas definidas sobre ellos.¿Cuáles son sus ventajas respecto a la teoría clásica?
Por su naturaleza discreta, resulta más natural para serimplementada. Además, ello permite estudiarla desde distintospuntos de vista: teoría de grafos, posets, enfoque algebraico,...A diferencia del enfoque clásico, la TMD se aplica sobreobjetos más generales que las variedades.Las pruebas de versiones discretas de muchos resultadosclásicos son más directas y menos técnicas.
Una introducción a la teoría de Morse discreta
![Page 19: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/19.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Cuáles son sus aplicaciones?
Visualización (Trabajos de T. Lewiner y N. Mramor-Kosta).Topología Computacional (Trabajos de P. Real).Compresión de imágenes digitales (Trabajos de RocíoGonzález-Díaz).Análisis topológico de datos (Trabajos de Ulrich Bauer).Tipo de homotopía de complejos asociados a grafos (Trabajosde Jakob Jonnson, Dimitry Kozlov y John Shareshian).Álgebra conmutativa (Trabajos de Wolkmar Welker , MichaelJollenbeck).Sistemas dinámicos (Trabajos de Marian Mrozek).
Una introducción a la teoría de Morse discreta
![Page 20: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/20.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Cuáles son sus aplicaciones?
Visualización (Trabajos de T. Lewiner y N. Mramor-Kosta).
Topología Computacional (Trabajos de P. Real).Compresión de imágenes digitales (Trabajos de RocíoGonzález-Díaz).Análisis topológico de datos (Trabajos de Ulrich Bauer).Tipo de homotopía de complejos asociados a grafos (Trabajosde Jakob Jonnson, Dimitry Kozlov y John Shareshian).Álgebra conmutativa (Trabajos de Wolkmar Welker , MichaelJollenbeck).Sistemas dinámicos (Trabajos de Marian Mrozek).
Una introducción a la teoría de Morse discreta
![Page 21: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/21.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Cuáles son sus aplicaciones?
Visualización (Trabajos de T. Lewiner y N. Mramor-Kosta).Topología Computacional (Trabajos de P. Real).
Compresión de imágenes digitales (Trabajos de RocíoGonzález-Díaz).Análisis topológico de datos (Trabajos de Ulrich Bauer).Tipo de homotopía de complejos asociados a grafos (Trabajosde Jakob Jonnson, Dimitry Kozlov y John Shareshian).Álgebra conmutativa (Trabajos de Wolkmar Welker , MichaelJollenbeck).Sistemas dinámicos (Trabajos de Marian Mrozek).
Una introducción a la teoría de Morse discreta
![Page 22: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/22.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Cuáles son sus aplicaciones?
Visualización (Trabajos de T. Lewiner y N. Mramor-Kosta).Topología Computacional (Trabajos de P. Real).Compresión de imágenes digitales (Trabajos de RocíoGonzález-Díaz).
Análisis topológico de datos (Trabajos de Ulrich Bauer).Tipo de homotopía de complejos asociados a grafos (Trabajosde Jakob Jonnson, Dimitry Kozlov y John Shareshian).Álgebra conmutativa (Trabajos de Wolkmar Welker , MichaelJollenbeck).Sistemas dinámicos (Trabajos de Marian Mrozek).
Una introducción a la teoría de Morse discreta
![Page 23: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/23.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Cuáles son sus aplicaciones?
Visualización (Trabajos de T. Lewiner y N. Mramor-Kosta).Topología Computacional (Trabajos de P. Real).Compresión de imágenes digitales (Trabajos de RocíoGonzález-Díaz).Análisis topológico de datos (Trabajos de Ulrich Bauer).
Tipo de homotopía de complejos asociados a grafos (Trabajosde Jakob Jonnson, Dimitry Kozlov y John Shareshian).Álgebra conmutativa (Trabajos de Wolkmar Welker , MichaelJollenbeck).Sistemas dinámicos (Trabajos de Marian Mrozek).
Una introducción a la teoría de Morse discreta
![Page 24: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/24.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Cuáles son sus aplicaciones?
Visualización (Trabajos de T. Lewiner y N. Mramor-Kosta).Topología Computacional (Trabajos de P. Real).Compresión de imágenes digitales (Trabajos de RocíoGonzález-Díaz).Análisis topológico de datos (Trabajos de Ulrich Bauer).Tipo de homotopía de complejos asociados a grafos (Trabajosde Jakob Jonnson, Dimitry Kozlov y John Shareshian).
Álgebra conmutativa (Trabajos de Wolkmar Welker , MichaelJollenbeck).Sistemas dinámicos (Trabajos de Marian Mrozek).
Una introducción a la teoría de Morse discreta
![Page 25: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/25.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Cuáles son sus aplicaciones?
Visualización (Trabajos de T. Lewiner y N. Mramor-Kosta).Topología Computacional (Trabajos de P. Real).Compresión de imágenes digitales (Trabajos de RocíoGonzález-Díaz).Análisis topológico de datos (Trabajos de Ulrich Bauer).Tipo de homotopía de complejos asociados a grafos (Trabajosde Jakob Jonnson, Dimitry Kozlov y John Shareshian).Álgebra conmutativa (Trabajos de Wolkmar Welker , MichaelJollenbeck).
Sistemas dinámicos (Trabajos de Marian Mrozek).
Una introducción a la teoría de Morse discreta
![Page 26: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/26.jpg)
IntroducciónNociones y resultados básicos
Introducción
¿Cuáles son sus aplicaciones?
Visualización (Trabajos de T. Lewiner y N. Mramor-Kosta).Topología Computacional (Trabajos de P. Real).Compresión de imágenes digitales (Trabajos de RocíoGonzález-Díaz).Análisis topológico de datos (Trabajos de Ulrich Bauer).Tipo de homotopía de complejos asociados a grafos (Trabajosde Jakob Jonnson, Dimitry Kozlov y John Shareshian).Álgebra conmutativa (Trabajos de Wolkmar Welker , MichaelJollenbeck).Sistemas dinámicos (Trabajos de Marian Mrozek).
Una introducción a la teoría de Morse discreta
![Page 27: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/27.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
DefiniciónUn n-símplice es la envolvente convexa de n + 1 puntos de Rn enposición general.
DefiniciónUn complejo simplicial K es una familia (finita) de símplicesverificando:
1 Si τ ∈ K y σ < τ , entonces σ ∈ K.2 Dados τ , τ ′ ∈ K tales que τ ∩ τ ′ 6= ∅, entonces τ ∩ τ ′ ∈ K.
Una introducción a la teoría de Morse discreta
![Page 28: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/28.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
DefiniciónUn n-símplice es la envolvente convexa de n + 1 puntos de Rn enposición general.
DefiniciónUn complejo simplicial K es una familia (finita) de símplicesverificando:
1 Si τ ∈ K y σ < τ , entonces σ ∈ K.2 Dados τ , τ ′ ∈ K tales que τ ∩ τ ′ 6= ∅, entonces τ ∩ τ ′ ∈ K.
Una introducción a la teoría de Morse discreta
![Page 29: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/29.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
DefiniciónUna función de Morse discreta definida sobre un complejo simplicialK es una función f : K −→ R tal que, para todo p-símplice σ ∈ Kverifica:
1 card{τ (p+1) > σ/f (τ) ≤ f (σ)} ≤ 1.2 card{υ(p−1) < σ/f (υ) ≥ f (σ)} ≤ 1.
Una introducción a la teoría de Morse discreta
![Page 30: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/30.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
DefiniciónSe dice que un p-síimplice σ ∈ K es crítico con respecto a f si:
1 card{τ (p+1) > σ/f (τ) ≤ f (σ)} = 0.2 card{υ(p−1) < σ/f (υ) ≥ f (σ)} = 0.
Si σ es un símplice crítico, se dice que f (σ) es un valor crítico.
Una introducción a la teoría de Morse discreta
![Page 31: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/31.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
DefiniciónSe dice que un p-síimplice σ ∈ K es crítico con respecto a f si:
1 card{τ (p+1) > σ/f (τ) ≤ f (σ)} = 0.2 card{υ(p−1) < σ/f (υ) ≥ f (σ)} = 0.
Si σ es un símplice crítico, se dice que f (σ) es un valor crítico.
Una introducción a la teoría de Morse discreta
![Page 32: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/32.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
0
1
1
2
1
1
1
3 3
1
1 2
3
3
437
1
6
2
1
5
3
1
1
3
4
Una introducción a la teoría de Morse discreta
![Page 33: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/33.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
DefiniciónUn campo vectorial discreto V en un complejo K es un conjunto depares {α(p), β(p+1)} de símplices de K tales que:
|dim(α)− dim(β)| = 1.α(p) < β(p+1).Todo símplice de K está, a lo más, en un único par.
Una introducción a la teoría de Morse discreta
![Page 34: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/34.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
DefiniciónDado un campo vectorial discreto V en K, un V -camino es unasucesión de símplices
α(p)0 , β
(p+1)0 , α
(p)1 , β
(p+1)1 , . . . , β
(p+1)r , α
(p)r+1
tales que para todo i ≥ 0 se verifica:
(α(p)i , β
(p+1)i ) ∈ V .
β(p+1)i > α
(p)i+1 6= α
(p)i .
Se dirá que un V -camino es cerrado si α(p)0 = α
(p)r+1.
Una introducción a la teoría de Morse discreta
![Page 35: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/35.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
DefiniciónDado un campo vectorial discreto V en K, un V -camino es unasucesión de símplices
α(p)0 , β
(p+1)0 , α
(p)1 , β
(p+1)1 , . . . , β
(p+1)r , α
(p)r+1
tales que para todo i ≥ 0 se verifica:
(α(p)i , β
(p+1)i ) ∈ V .
β(p+1)i > α
(p)i+1 6= α
(p)i .
Se dirá que un V -camino es cerrado si α(p)0 = α
(p)r+1.
Una introducción a la teoría de Morse discreta
![Page 36: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/36.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
DefiniciónDada una función de Morse discreta definida en K, se dice que unpar de símplices (α(p) < β(p+1)) está en el campo vectorialgradiente inducido por f si f (α) ≥ f (β).
Una introducción a la teoría de Morse discreta
![Page 37: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/37.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
DefiniciónDada una función de Morse discreta definida en K, se dice que unpar de símplices (α(p) < β(p+1)) está en el campo vectorialgradiente inducido por f si f (α) ≥ f (β).
Una introducción a la teoría de Morse discreta
![Page 38: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/38.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
TeoremaSea V el campo gradiente inducido por una función de Morsediscreta definida en un complejo K. Una sucesión de símplices
α(p)0 , β
(p+1)0 , α
(p)1 , β
(p+1)1 , . . . , β
(p+1)r , α
(p)r+1
es un V -camino si y solo si
f (α(p)0 ) ≥ f (β(p+1)
0 ) > · · · ≥ f (β(p+1)r ) > f (α(p)
r+1)
.
Una introducción a la teoría de Morse discreta
![Page 39: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/39.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
TeoremaUn campo vectorial discreto V es el campo gradiente inducido poruna función de Morse discreta si y solo si no existen V -caminoscerrados.
Una introducción a la teoría de Morse discreta
![Page 40: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/40.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónSea K un complejo simplicial. Se dice que σ ∈ K es una caralibre de K si σ es cara de un único símplice de τ de K.
A la eliminación del par (σ, τ) en K se la denomina colapsoelemental.
στ
Una introducción a la teoría de Morse discreta
![Page 41: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/41.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónSea K un complejo simplicial. Se dice que σ ∈ K es una caralibre de K si σ es cara de un único símplice de τ de K.A la eliminación del par (σ, τ) en K se la denomina colapsoelemental.
στ
Una introducción a la teoría de Morse discreta
![Page 42: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/42.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónSea K un complejo simplicial. Se dice que σ ∈ K es una caralibre de K si σ es cara de un único símplice de τ de K.A la eliminación del par (σ, τ) en K se la denomina colapsoelemental.
στ
Una introducción a la teoría de Morse discreta
![Page 43: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/43.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónUn complejo se llama colapsable si puede reducirse a unvértice tras un número finito de colapsos.Al proceso inverso a un colapso elemental se le llamaexpansión elemental.Una sucesión finita de colapsos (resp. expansiones) elementalesse denomina colapso (resp. expansión) generalizado.Si un complejo puede obtenerse a partir de otro mediantecolapsos y expansiones se dirá que ambos son del mismo tipode homotopía simple.
Una introducción a la teoría de Morse discreta
![Page 44: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/44.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónUn complejo se llama colapsable si puede reducirse a unvértice tras un número finito de colapsos.
Al proceso inverso a un colapso elemental se le llamaexpansión elemental.Una sucesión finita de colapsos (resp. expansiones) elementalesse denomina colapso (resp. expansión) generalizado.Si un complejo puede obtenerse a partir de otro mediantecolapsos y expansiones se dirá que ambos son del mismo tipode homotopía simple.
Una introducción a la teoría de Morse discreta
![Page 45: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/45.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónUn complejo se llama colapsable si puede reducirse a unvértice tras un número finito de colapsos.Al proceso inverso a un colapso elemental se le llamaexpansión elemental.
Una sucesión finita de colapsos (resp. expansiones) elementalesse denomina colapso (resp. expansión) generalizado.Si un complejo puede obtenerse a partir de otro mediantecolapsos y expansiones se dirá que ambos son del mismo tipode homotopía simple.
Una introducción a la teoría de Morse discreta
![Page 46: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/46.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónUn complejo se llama colapsable si puede reducirse a unvértice tras un número finito de colapsos.Al proceso inverso a un colapso elemental se le llamaexpansión elemental.Una sucesión finita de colapsos (resp. expansiones) elementalesse denomina colapso (resp. expansión) generalizado.
Si un complejo puede obtenerse a partir de otro mediantecolapsos y expansiones se dirá que ambos son del mismo tipode homotopía simple.
Una introducción a la teoría de Morse discreta
![Page 47: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/47.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónUn complejo se llama colapsable si puede reducirse a unvértice tras un número finito de colapsos.Al proceso inverso a un colapso elemental se le llamaexpansión elemental.Una sucesión finita de colapsos (resp. expansiones) elementalesse denomina colapso (resp. expansión) generalizado.Si un complejo puede obtenerse a partir de otro mediantecolapsos y expansiones se dirá que ambos son del mismo tipode homotopía simple.
Una introducción a la teoría de Morse discreta
![Page 48: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/48.jpg)
IntroducciónNociones y resultados básicos
Nociones Básicas en TMD
DefiniciónSea f una función de Morse discreta definida sobre un complejo K,dado c ∈ R se define el subcomplejo de nivel K (c) como:
K (c) =⋃
f (α)≤c
⋃β≤α
β
Una introducción a la teoría de Morse discreta
![Page 49: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/49.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
TeoremaSi el intervalo (a, b] no contiene valores críticos, se tiene que lossubcomplejos de nivel K (a) y K (b) son del mismo tipo dehomotopía simple. Realmente K (b) colapsa a K (a).
0
1
1
2
1
1
1
3 3
1
1 2
3
3
31
2
1
3
1
1
30
1
1
2
1
1
1
3 3
1
1 2
3
3
431
2
1
3
1
1
3
4
K(3) K(4)
Una introducción a la teoría de Morse discreta
![Page 50: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/50.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
TeoremaSi el intervalo (a, b] no contiene valores críticos, se tiene que lossubcomplejos de nivel K (a) y K (b) son del mismo tipo dehomotopía simple. Realmente K (b) colapsa a K (a).
0
1
1
2
1
1
1
3 3
1
1 2
3
3
31
2
1
3
1
1
30
1
1
2
1
1
1
3 3
1
1 2
3
3
431
2
1
3
1
1
3
4
K(3) K(4)
Una introducción a la teoría de Morse discreta
![Page 51: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/51.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
TeoremaSi el intervalo (a, b] contiene un único valor crítico f (α), se tieneque el subcomplejo de nivel K (b) es homotópicamente equivalenteal CW -complejo K (a) ∪F Bp donde F es una aplicación depegamiento que identifica Sp−1 con el borde del p-símplice críticoα.
0
1
1
2
1
1
1
3 3
1
1 2
3
3
431
2
1
3
1
1
3
40
1
1
2
1
1
1
3 3
1
1 2
3
3
431
2
15
3
1
1
3
4
K(4) K(5)
Una introducción a la teoría de Morse discreta
![Page 52: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/52.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
TeoremaSi el intervalo (a, b] contiene un único valor crítico f (α), se tieneque el subcomplejo de nivel K (b) es homotópicamente equivalenteal CW -complejo K (a) ∪F Bp donde F es una aplicación depegamiento que identifica Sp−1 con el borde del p-símplice críticoα.
0
1
1
2
1
1
1
3 3
1
1 2
3
3
431
2
1
3
1
1
3
40
1
1
2
1
1
1
3 3
1
1 2
3
3
431
2
15
3
1
1
3
4
K(4) K(5)
Una introducción a la teoría de Morse discreta
![Page 53: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/53.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
TeoremaSea f una función de Morse discreta definida sobre un complejosimplicial K . Se tiene que K es homotópicamente equivalente a unCW-complejo con una célula de dimensión p por cada p-símplicecrítico de f en K.
Una introducción a la teoría de Morse discreta
![Page 54: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/54.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
Teorema (Desigualdades débiles de Morse)
Dada una función de Morse discreta f definida sobre un complejoX , denotamos por bp al p-ésimo número de Betti de X conp = 0, 1, . . . , n. Se tiene que:
mp(f ) ≥ bp,
m0(f )−m1(f ) + · · ·+ (−1)nmn(f ) =b0 − b1 + · · ·+ (−1)nbn = χ(X ),
donde mp(f ) denota el número de símplices críticos de f .
Teorema (Desigualdades fuertes de Morse)
Bajo las hipótesis anteriores se tiene para todo p = 0, 1, . . . , n:
mp(f )−mp−1(f ) + · · · ±m0 ≥ bp − bp−1 + · · · ± b0
Una introducción a la teoría de Morse discreta
![Page 55: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/55.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
Teorema (Desigualdades débiles de Morse)
Dada una función de Morse discreta f definida sobre un complejoX , denotamos por bp al p-ésimo número de Betti de X conp = 0, 1, . . . , n. Se tiene que:
mp(f ) ≥ bp,m0(f )−m1(f ) + · · ·+ (−1)nmn(f ) =b0 − b1 + · · ·+ (−1)nbn = χ(X ),
donde mp(f ) denota el número de símplices críticos de f .
Teorema (Desigualdades fuertes de Morse)
Bajo las hipótesis anteriores se tiene para todo p = 0, 1, . . . , n:
mp(f )−mp−1(f ) + · · · ±m0 ≥ bp − bp−1 + · · · ± b0
Una introducción a la teoría de Morse discreta
![Page 56: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/56.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
Teorema (Desigualdades débiles de Morse)
Dada una función de Morse discreta f definida sobre un complejoX , denotamos por bp al p-ésimo número de Betti de X conp = 0, 1, . . . , n. Se tiene que:
mp(f ) ≥ bp,m0(f )−m1(f ) + · · ·+ (−1)nmn(f ) =b0 − b1 + · · ·+ (−1)nbn = χ(X ),
donde mp(f ) denota el número de símplices críticos de f .
Teorema (Desigualdades fuertes de Morse)
Bajo las hipótesis anteriores se tiene para todo p = 0, 1, . . . , n:
mp(f )−mp−1(f ) + · · · ±m0 ≥ bp − bp−1 + · · · ± b0
Una introducción a la teoría de Morse discreta
![Page 57: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/57.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónLa característica de Morse-Smale de un complejo K se define como
γ(K ) = min{n∑
p=0
mp(g) : g ∈ DMF (K )}
donde DMF (K ) es el cjto. de las funciones de Morse discretassobre K.
Una introducción a la teoría de Morse discreta
![Page 58: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/58.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónLa característica de Morse-Smale de un complejo K se define como
γ(K ) = min{n∑
p=0
mp(g) : g ∈ DMF (K )}
donde DMF (K ) es el cjto. de las funciones de Morse discretassobre K.
Una introducción a la teoría de Morse discreta
![Page 59: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/59.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónSe dirá que una función de Morse discreta f : K −→ R es óptima siel número de símplices críticos de f es mínimo, es decir,
n∑p=0
mp(f ) = γ(K )
Una introducción a la teoría de Morse discreta
![Page 60: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/60.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónSe dirá que una función de Morse discreta f : K −→ R es óptima siel número de símplices críticos de f es mínimo, es decir,
n∑p=0
mp(f ) = γ(K )
Una introducción a la teoría de Morse discreta
![Page 61: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/61.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónSe dirá que una función de Morse discreta f : K −→ R es óptima siel número de símplices críticos de f es mínimo, es decir,
n∑p=0
mp(f ) = γ(K )
Una introducción a la teoría de Morse discreta
![Page 62: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/62.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónSe dirá que una función de Morse discreta f : K −→ R esF-perfecta si mi (f ) = bi (K ;F) para todo i = 0, . . . , dim(K )
TeoremaF-perfecta ⇒ óptima.El recíproco NO es cierto.
Una introducción a la teoría de Morse discreta
![Page 63: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/63.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónSe dirá que una función de Morse discreta f : K −→ R esF-perfecta si mi (f ) = bi (K ;F) para todo i = 0, . . . , dim(K )
TeoremaF-perfecta ⇒ óptima.El recíproco NO es cierto.
Una introducción a la teoría de Morse discreta
![Page 64: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/64.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónSe dirá que una función de Morse discreta f : K −→ R esF-perfecta si mi (f ) = bi (K ;F) para todo i = 0, . . . , dim(K )
TeoremaF-perfecta ⇒ óptima.
El recíproco NO es cierto.
Una introducción a la teoría de Morse discreta
![Page 65: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/65.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónSe dirá que una función de Morse discreta f : K −→ R esF-perfecta si mi (f ) = bi (K ;F) para todo i = 0, . . . , dim(K )
TeoremaF-perfecta ⇒ óptima.El recíproco NO es cierto.
Una introducción a la teoría de Morse discreta
![Page 66: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/66.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
d
ee
d g
h i
f
a cb a
aba c
Campo vectorial gradiente inducido por una función de Morsediscrete Z-perfecta en el toro.
Una introducción a la teoría de Morse discreta
![Page 67: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/67.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
d
ee
d g
h i
f
a cb a
aba c
Campo vectorial gradiente inducido por una función de Morsediscrete Z-perfecta en el toro.
Una introducción a la teoría de Morse discreta
![Page 68: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/68.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
a b c a
b
c
a
b
c
d
e
f g
h
Campo vectorial gradiente inducido por una función de Morsediscreta óptima no Z-perfecta en el sombrero bobo.
Una introducción a la teoría de Morse discreta
![Page 69: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/69.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
a b c a
b
c
a
b
c
d
e
f g
h
Campo vectorial gradiente inducido por una función de Morsediscreta óptima no Z-perfecta en el sombrero bobo.
Una introducción a la teoría de Morse discreta
![Page 70: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/70.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
TeoremaUn complejo K es colapsable si y solo si γ(K ) = 1, es decir, Kadmite una función de Morse discreta con un único símplice crítico.
TeoremaSea K un complejo celular K que admite una función de Morsediscreta con 2 símplices críticos. Se tiene que:
K es homotópicamente equivalente a una esfera Sn.Si además K es una n-variedad triangulada sin borde, entoncesK es homeomorfo a Sn.
Una introducción a la teoría de Morse discreta
![Page 71: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/71.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
TeoremaUn complejo K es colapsable si y solo si γ(K ) = 1, es decir, Kadmite una función de Morse discreta con un único símplice crítico.
TeoremaSea K un complejo celular K que admite una función de Morsediscreta con 2 símplices críticos. Se tiene que:
K es homotópicamente equivalente a una esfera Sn.Si además K es una n-variedad triangulada sin borde, entoncesK es homeomorfo a Sn.
Una introducción a la teoría de Morse discreta
![Page 72: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/72.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
TeoremaUn complejo K es colapsable si y solo si γ(K ) = 1, es decir, Kadmite una función de Morse discreta con un único símplice crítico.
TeoremaSea K un complejo celular K que admite una función de Morsediscreta con 2 símplices críticos. Se tiene que:
K es homotópicamente equivalente a una esfera Sn.
Si además K es una n-variedad triangulada sin borde, entoncesK es homeomorfo a Sn.
Una introducción a la teoría de Morse discreta
![Page 73: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/73.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
TeoremaUn complejo K es colapsable si y solo si γ(K ) = 1, es decir, Kadmite una función de Morse discreta con un único símplice crítico.
TeoremaSea K un complejo celular K que admite una función de Morsediscreta con 2 símplices críticos. Se tiene que:
K es homotópicamente equivalente a una esfera Sn.Si además K es una n-variedad triangulada sin borde, entoncesK es homeomorfo a Sn.
Una introducción a la teoría de Morse discreta
![Page 74: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/74.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
Teorema (R. Forman)
Sea f una función de Morse discreta definida en un complejo K ysean τ (p+1) y σ(p) dos símplices críticos de f tales que existe unúnico camino gradiente desde ∂τ a σ. Se tiene que:
Existe otra función de Morse discreta g en K con los mismossímplices críticos que f salvo σ y τ .Además f y g coinciden en todo símplice fuera del caminogradiente mencionado.
Una introducción a la teoría de Morse discreta
![Page 75: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/75.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
Teorema (R. Forman)
Sea f una función de Morse discreta definida en un complejo K ysean τ (p+1) y σ(p) dos símplices críticos de f tales que existe unúnico camino gradiente desde ∂τ a σ. Se tiene que:
Existe otra función de Morse discreta g en K con los mismossímplices críticos que f salvo σ y τ .Además f y g coinciden en todo símplice fuera del caminogradiente mencionado.
Una introducción a la teoría de Morse discreta
![Page 76: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/76.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
Teorema (R. Forman)
Sea f una función de Morse discreta definida en un complejo K ysean τ (p+1) y σ(p) dos símplices críticos de f tales que existe unúnico camino gradiente desde ∂τ a σ. Se tiene que:
Existe otra función de Morse discreta g en K con los mismossímplices críticos que f salvo σ y τ .
Además f y g coinciden en todo símplice fuera del caminogradiente mencionado.
Una introducción a la teoría de Morse discreta
![Page 77: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/77.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
Teorema (R. Forman)
Sea f una función de Morse discreta definida en un complejo K ysean τ (p+1) y σ(p) dos símplices críticos de f tales que existe unúnico camino gradiente desde ∂τ a σ. Se tiene que:
Existe otra función de Morse discreta g en K con los mismossímplices críticos que f salvo σ y τ .Además f y g coinciden en todo símplice fuera del caminogradiente mencionado.
Una introducción a la teoría de Morse discreta
![Page 78: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/78.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónUn proceso de cancelación reduce el número de pares de símplicescríticos de una función de Morse discreta. Consiste en:
Seleccionar un par de símplices críticos conectados por unúnico V -camino.Invertir las flechas del V -camino considerado.Mantener el resto del campo gradiente tal como estabadefinido.
Una introducción a la teoría de Morse discreta
![Page 79: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/79.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónUn proceso de cancelación reduce el número de pares de símplicescríticos de una función de Morse discreta.
Consiste en:
Seleccionar un par de símplices críticos conectados por unúnico V -camino.Invertir las flechas del V -camino considerado.Mantener el resto del campo gradiente tal como estabadefinido.
Una introducción a la teoría de Morse discreta
![Page 80: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/80.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónUn proceso de cancelación reduce el número de pares de símplicescríticos de una función de Morse discreta. Consiste en:
Seleccionar un par de símplices críticos conectados por unúnico V -camino.Invertir las flechas del V -camino considerado.Mantener el resto del campo gradiente tal como estabadefinido.
Una introducción a la teoría de Morse discreta
![Page 81: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/81.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónUn proceso de cancelación reduce el número de pares de símplicescríticos de una función de Morse discreta. Consiste en:
Seleccionar un par de símplices críticos conectados por unúnico V -camino.
Invertir las flechas del V -camino considerado.Mantener el resto del campo gradiente tal como estabadefinido.
Una introducción a la teoría de Morse discreta
![Page 82: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/82.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónUn proceso de cancelación reduce el número de pares de símplicescríticos de una función de Morse discreta. Consiste en:
Seleccionar un par de símplices críticos conectados por unúnico V -camino.Invertir las flechas del V -camino considerado.
Mantener el resto del campo gradiente tal como estabadefinido.
Una introducción a la teoría de Morse discreta
![Page 83: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/83.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
DefiniciónUn proceso de cancelación reduce el número de pares de símplicescríticos de una función de Morse discreta. Consiste en:
Seleccionar un par de símplices críticos conectados por unúnico V -camino.Invertir las flechas del V -camino considerado.Mantener el resto del campo gradiente tal como estabadefinido.
Una introducción a la teoría de Morse discreta
![Page 84: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/84.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
~
Una introducción a la teoría de Morse discreta
![Page 85: Una introducción a la teoría de Morse discreta - mat.uab.catmat.uab.cat/~natalia/ExpBarcelonaA2017.pdf · Introducción Nociones y resultados básicos Una introducción a la teoría](https://reader034.vdocuments.site/reader034/viewer/2022052515/5a78cd327f8b9a83238ca5dc/html5/thumbnails/85.jpg)
IntroducciónNociones y resultados básicos
Resultados principales en TMD
~
Una introducción a la teoría de Morse discreta