Persistence module and Finite type

A persistence module \mathcal{M}=\{M^i,\varphi^i\}_{i\geq 0} is a family of R-modules M^i, together with homomorphisms \varphi^i: M^i\to M^{i+1}.

For example, the homology of a persistence complex is a persistence module, where \varphi^i maps a homology class to the one that contains it.

A persistence complex \{C_*^i, f^i\} (resp.\ persistence module \{M^i, \varphi^i\}) is of finite type if each component complex (resp.\ module) is a finitely generated R-module, and if the maps f^i (resp.\ \varphi^i) are isomorphisms for i\geq m for some integer m.

If K is a finite filtered simplicial complex, then it generates a persistence complex \mathscr{C} of finite type, whose homology is a persistence module \mathcal{M} of finite type.


Author: mathtuition88

Math and Education Blog

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: