Size functor
title: "Size functor" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["algebraic-topology", "category-theory"] topic_path: "science/mathematics" source: "https://en.wikipedia.org/wiki/Size_functor" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0
Given a size pair (M,f)\ where M\ is a manifold of dimension n\ and f\ is an arbitrary real continuous function defined on it, the i-th size functor,{{cite journal | last1=Cagliari | first1=Francesca | last2=Ferri | first2=Massimo | last3=Pozzi | first3=Paola | title=Size functions from a categorical viewpoint | journal=Acta Applicandae Mathematicae | volume=67 | issue=3 | pages=225–235 | date=2001 | doi=10.1023/A:1011923819754 | doi-access=free}} with i=0,\ldots,n\ , denoted by F_i\ , is the functor in Fun(\mathrm{Rord},\mathrm{Ab})\ , where \mathrm{Rord}\ is the category of ordered real numbers, and \mathrm{Ab}\ is the category of Abelian groups, defined in the following way. For x\le y\ , setting M_x={p\in M:f(p)\le x}\ , M_y={p\in M:f(p)\le y}\ , j_{xy}\ equal to the inclusion from M_x\ into M_y\ , and k_{xy}\ equal to the morphism in \mathrm{Rord}\ from x\ to y\ ,
- for each x\in\R\ , F_i(x)=H_i(M_x);\
- F_i(k_{xy})=H_i(j_{xy}).\
In other words, the size functor studies the process of the birth and death of homology classes as the lower level set changes. When M\ is smooth and compact and f\ is a Morse function, the functor F_0\ can be described by oriented trees, called H_0\ − trees.
The concept of size functor was introduced as an extension to homology theory and category theory of the idea of size function. The main motivation for introducing the size functor originated by the observation that the size function \ell_{(M,f)}(x, y)\ can be seen as the rank of the image of H_0(j_{xy}) : H_0(M_x) \rightarrow H_0(M_y).
The concept of size functor is strictly related to the concept of persistent homology group,{{cite journal | last1=Edelsbrunner | first1=Herbert | authorlink1=Herbert Edelsbrunner | last2=Letscher | first2=David | last3=Zomorodian | first3=Afra | title=Topological Persistence and Simplification | journal=Discrete & Computational Geometry | volume=28 | issue=4 | pages=511–533 | date=2002 | doi=10.1007/s00454-002-2885-2 | doi-access=free}} studied in persistent homology. It is worth to point out that the i\ -th persistent homology group coincides with the image of the homomorphism F_i(k_{xy})=H_i(j_{xy}): H_i(M_x) \rightarrow H_i(M_y).
References
::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::