 ${\mathbf{GrVect}}$ is the category of ${\mathbb{N}}_0$-graded vector spaces over ${\mathbbm{k}}$. Most of the content of this section generalises to the graded case in a completely straightforward way, so to avoid too much duplication, we only state it for the ungraded case.

To be able to extract any sort of useful information from persistence modules, we need to understand their structure. One way of doing this is by decomposing them into indecomposable summands. The indecomposables relevant in our case are known as interval modules.

A persistence module $M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ is [*indecomposable*]{} if $M\cong M_1\oplus M_2$ implies that either $M_1\cong 0$ or $M_2\cong 0$.

Let $J\subseteq{\mathbb{R}}$ be an interval. The [*interval module*]{} ${\mathbbm{k}}J\colon ({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ is defined as $${\mathbbm{k}}J(x)=\begin{cases}
{\mathbbm{k}};&\text{if $x\in J$,}\\
0;&\text{otherwise,}
\end{cases}$$ and $${\mathbbm{k}}J(x\leq y)=\begin{cases}
{\operatorname{id}}_{{\mathbbm{k}}};&\text{if $x,y\in J$,}\\
0;&\text{otherwise.}
\end{cases}$$

One of the main features of persistence modules over $({\mathbb{R}},\leq)$ that makes them useful in TDA is that they can frequently be decomposed as direct sums of interval modules. When such a decomposition exists, it is unique [@azumaya1950corrections]. The following version of the decomposition theorem is originally due to Crawley-Boevey [@crawley2015decomposition]. In the case of persistence modules over $({\mathbb{R}},\leq)$, it can be stated as follows.

Suppose $M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ is a persistence module such that $M(x)$ is finite dimensional for every $x\in{\mathbb{R}}$. Then $M$ has a decomposition into interval modules.

Whenever a persistence module $M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ decomposes
$ { \mathbf{GrVect}}$ is the category of $ { \mathbb{N}}_0$-graded vector spaces over $ { \mathbbm{k}}$. Most of the content of this section popularize to the grade case in a completely straightforward means, so to avoid besides much duplicate, we only state it for the ungraded case. 

 To be able to extract any kind of useful information from persistence modules, we necessitate to understand their structure. One way of doing this is by decomposing them into indecomposable summands. The indecomposables relevant in our event are known as interval modules. 

 A perseverance module $ M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ is [ * indecomposable * ] { } if $ M\cong M_1\oplus M_2 $ implies that either $ M_1\cong 0 $ or $ M_2\cong 0$. 

 Let $ J\subseteq{\mathbb{R}}$ be an time interval. The [ * interval faculty * ] { } $ { \mathbbm{k}}J\colon ({ \mathbb{R}},\leq)\to{\mathbf{Vect}}$ is defined as $ $ { \mathbbm{k}}J(x)=\begin{cases } 
 { \mathbbm{k}};&\text{if $ x\in J$,}\\ 
 0;&\text{otherwise, } 
 \end{cases}$$ and $ $ { \mathbbm{k}}J(x\leq y)=\begin{cases } 
 { \operatorname{id}}_{{\mathbbm{k}}};&\text{if $ x, y\in J$,}\\ 
 0;&\text{otherwise. } 
 \end{cases}$$ 

 One of the main features of persistence module over $ ({ \mathbb{R}},\leq)$ that makes them useful in TDA is that they can frequently be decomposed as direct sums of time interval faculty. When such a decomposition exists, it is unique [ @azumaya1950corrections ]. The following version of the decomposition theorem is originally due to Crawley - Boevey [ @crawley2015decomposition ]. In the case of continuity modules over $ ({ \mathbb{R}},\leq)$, it can be stated as stick to. 

 presuppose $ M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ is a persistence module such that $ M(x)$ is finite dimensional for every $ x\in{\mathbb{R}}$. Then $ M$ has a decay into interval module. 

 Whenever a persistence module $ M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ decomposes
 ${\mahhbf{GrVect}}$ is the categovy of ${\mathbb{N}}_0$-grabwd vecvor spades over ${\mathbbm{k}}$. Most of the contenv of this section generalises tu the grafed case in e completely strejghtforward wzn, so co avoid too mucm duplicatimn, we only stade ic for the ungraded case.

To be able to extracy wny sort of usgful pnsormzniin from persistence modules, ws need uo understand theit structure. One way of doijg tjis is by decomposlng them injk igeecomposable summands. Uhz indecompoaables relevant in our case are knowu as intervql mofoles.

A persisvence iodule $M\colok({\kathbb{S}},\leq)\to{\msthbf{Vect}}$ is [*ikdecokpowable*]{} if $M\cong M_1\oplus M_2$ implies that eijher $M_1\cong 0$ kr $M_2\cong 0$.

Let $J\subwereq{\majhbb{R}}$ be xb ivtedvel. Fhe [*inhertal module*]{} ${\jathbbm{k}}J\cooon ({\mathbb{R}},\leq)\to{\matnbs{Nrct}}$ is definsd as $${\iaehbbm{k}}J(x)=\begin{cases}
{\mathbbm{k}};&\text{if $x\in J$,}\\
0;&\ttxt{otgerwise,}
\end{cases}$$ and $${\matybbm{k}}J(x\leq y)=\begin{cased}
{\operatorgame{id}}_{{\mathbbm{k}}};&\text{if $x,y\in J$,}\\
0;&\text{otherwise.}
\end{cases}$$

Ote of ghe mwkb veatures of persistence modules over $({\mathbb{R}},\lqs)$ uhan makes them usefml in TDA is that yhfy san frequentli be deekmlosed as direct suls of igtervql modulef. Whrn such a decomposition exiwts, it is unpque [@azumaya1950correctiond]. The follocing vgrsion of the decomposition tkeorem is originaply due tk Crawley-Boevey [@cfawkef2015decomposition]. In the case of persiwtenee modulds ofer $({\maehbb{R}},\leq)$, ih can be stated as folloas.

Supkose $M\wolon({\mathbh{R}},\leq)\to{\mathbf{Vect}}$ is a persisteire module sucn dhan $M(x)$ is fnnite cimensional fjr every $x\in{\majhbb{R}}$. Theu $M$ har a decompksition into interdal modules.

Whajever a persmstence mjdulw $M\cilon({\matfcb{R}},\leq)\to{\mathbf{Fect}}$ decomposes
${\mathbf{GrVect}}$ is the category of ${\mathbb{N}}_0$-graded vector ${\mathbbm{k}}$. of the of this section in completely straightforward way, to avoid too duplication, we only state it for ungraded case. To be able to extract any sort of useful information from modules, we need to understand their structure. One way of doing this is decomposing into summands. indecomposables relevant in our case are known as interval modules. A persistence module $M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ is [*indecomposable*]{} $M\cong M_1\oplus M_2$ implies that either $M_1\cong 0$ $M_2\cong 0$. Let $J\subseteq{\mathbb{R}}$ an interval. The [*interval module*]{} ({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ defined as {\mathbbm{k}};&\text{if J$,}\\ \end{cases}$$ and $${\mathbbm{k}}J(x\leq {\operatorname{id}}_{{\mathbbm{k}}};&\text{if $x,y\in J$,}\\ 0;&\text{otherwise.} \end{cases}$$ One of the main features of persistence modules over $({\mathbb{R}},\leq)$ that makes useful in that they frequently decomposed direct sums of When such a decomposition exists, it The following version of the decomposition theorem is due to [@crawley2015decomposition]. In the case of persistence over $({\mathbb{R}},\leq)$, it can be stated as follows. $M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ is a persistence module such that $M(x)$ is finite dimensional for every $x\in{\mathbb{R}}$. Then a decomposition into interval Whenever a persistence $M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$
 ${\mathbf{GrVect}}$ is the category Of ${\mathbb{N}}_0$-gRaded VecTor SpAces Over ${\Mathbbm{k}}$. Most of THe coNtent of this section geneRalisEs TO the GRaDed caSe in a coMPlETEly StRaIghTfORwArd waY, so To avoid Too much dupLicAtIon, we only staTE iT for the ungRadEd case.

To be abLe tO extraCt Any SOrt of UseFul inFormatIOn from PersistenCe MOdules, WE need to UNDeRstaNd their structure. ONE wAY of doing this is By decoMpOSiNG TheM inTo indecompOsAble sUMmands. THE iNDEComPOsables relevaNt in our case ARe kNown as InTerVAl moduLes.

A pErSIstEnce module $M\ColoN({\mathbb{R}},\lEq)\to{\maTHbf{Vect}}$ IS [*indecoMposabLe*]{} iF $M\cOng M_1\OPlUs m_2$ imPlIEs tHAt EitHEr $M_1\Cong 0$ or $M_2\cOnG 0$.

LEt $J\suBsetEQ{\MAThbb{r}}$ be An inTervaL. The [*interval mOduLe*]{} ${\maTHbbM{k}}J\coLon ({\maThbb{r}},\lEq)\to{\mAthbf{VEct}}$ is DeFined as $${\mathbbm{k}}j(x)=\beGin{cases}
{\mAthBbM{k}};&\tExT{if $x\iN j$,}\\
0;&\text{oTheRwiSe,}
\end{caSes}$$ and $${\mAThbBm{K}}j(X\LeQ y)=\begin{cases}
{\operatOrNAMe{Id}}_{{\mathbbM{k}}};&\text{IF $x,Y\iN j$,}\\
0;&\text{othErWisE.}
\end{CASes}$$

OnE of tHE mAin featuRes of pERsIsTence moDuLes oveR $({\mAthBb{R}},\Leq)$ thAT makEs them Useful in tDA is THat they can freqUEntly be decompOSeD AS dIRect SumS of interval ModuLEs. WhEn suCH a DecOMposiTion eXiSTs, IT is unique [@azumaya1950corReCtions]. the foLlowing versioN of the decoMPOSition thEoreM Is ORiginally due to crawlEy-Boevey [@crAWley2015decoMposiTion]. In thE case of peRSIstence mOduLes OveR $({\maTHBb{r}},\leq)$, it can be stATEd as FoLlows.

SuPpoSe $M\coloN({\maThbB{R}},\lEq)\tO{\mAthbf{Vect}}$ Is a persiStEnCe MoDulE such THat $M(x)$ is fInIte DiMenSionaL For eveRy $x\in{\MathBb{r}}$. THEn $M$ Has a decOMpOSItioN iNtO intErvAl ModulEs.

WhENevEr a persIstence moDulE $m\colOn({\MaThbb{R}},\leQ)\to{\mathbf{Vect}}$ DeComposes
 ${\mathbf{GrVect}}$ is th e category  of $ {\m ath bb {N}} _0$- graded vectors pace s over ${\mathbbm{k}}$ . Mos to f th e  c onten t of th i ss e cti on  g ene ra l is es to  th e grade d case ina c om pletely stra i gh tforward w ay,  so to avoid  to o much  d upl i catio n,we on ly sta t e it f or the un gr a ded ca s e.

Tob e  a bleto extract any so r to f useful infor mation  f r om p ers ist ence modul es , wen eed tou nd e r s tan d  their struct ure. One wa y  of  doing  t his is bydecom po s ing  them intoinde composabl e summ a nds. Th e  indeco mposab les  re leva n tin  ou rc ase ar e k n own  as inte rv al  modu les. A pers ist ence  modu le $M\colon({ \ma thbb { R}} ,\leq )\to{ \mat hb f{Vec t}}$ i s [*i nd ecomposable*]{}  if$M\cong M _1\ op lus  M _2$ i m pliestha t e ither $ M_1\con g  0$  o r $ M_ 2\cong 0$.

Let $J \s u b se teq{\mat hbb{R} } $be an inter va l.The[ * inter valm od ule*]{}${\mat h bb m{ k}}J\co lo n ({\m at hbb {R} },\le q )\to {\math bf{Vect} }$ is defined as $${ \ mathbbm{k}}J( x )= \ b eg i n{ca ses }
{\mathbbm {k}} ; &\te xt{i f  $ x\i n  J$,} \\
0; &\ t ex t {otherwise,}
\end{c as es}$$and $ ${\mathbbm{k} }J(x\leq y ) = \ begin{ca ses} {\ o peratorname{id }}_{{ \mathbbm{k } }};&\tex t{if$x,y\inJ$,}\\
0; & \ text{oth erw ise .}\en d { ca ses}$$

One o f thema in feat ure s of pe rsi ste nce  mo du les over$({\math bb {R }} ,\ leq )$ th a t makesth emus efu l inT DA isthatthey  c an fre quently be d ecom po se d as  di re ct su ms o f  in tervalmodules.Whe n  suc hadecompo sition exists ,it is uniq ue  [@ azumay a 1 950corre ctions]. The followingv ersionofthe d ecom positionthe orem i s o r iginal ly due  to C ra wle y - Boeve y [@ cra wl ey2015deco m p osi tion] .In t he case  of persistence mo d ule s over $({\ma thb b{R} } , \l eq) $ ,i t c an bes t ated as follows .

Suppose  $ M \c olon({\mat h bb{ R} },\leq) \to{\ma thbf{ V ect}}$is a pers istence m od ules u chthat $M(x) $ is fin ite dimen s ional fo r eve ry$x\in{ \m ath bb{R} }$. Th e n $ M$ ha s a de co mposit ion i nt o interv al modules.

Whenever a  persi stenc e m odule $M\ col o n({ \mathbb{R }},\ leq)\to{\m ath bf{ Vect} }$d ecomp oses 
 ${\mathbf{GrVect}}$_is the_category of ${\mathbb{N}}_0$-graded vector_spaces over_${\mathbbm{k}}$._Most of_the_content of this_section generalises to_the graded case in_a completely straightforward_way,_so to avoid too much duplication, we only state it for the ungraded case.

To_be_able to_extract_any_sort of useful information from_persistence modules, we need to_understand their_structure. One way of doing this is by_decomposing_them into indecomposable_summands. The indecomposables relevant in our case are known_as interval modules.

A persistence module $M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$_is [*indecomposable*]{} if_$M\cong_M_1\oplus_M_2$ implies that either_$M_1\cong 0$ or $M_2\cong 0$.

Let $J\subseteq{\mathbb{R}}$_be an interval. The [*interval module*]{}_${\mathbbm{k}}J\colon ({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ is defined as $${\mathbbm{k}}J(x)=\begin{cases}
{\mathbbm{k}};&\text{if $x\in_J$,}\\
0;&\text{otherwise,}
\end{cases}$$ and $${\mathbbm{k}}J(x\leq y)=\begin{cases}
{\operatorname{id}}_{{\mathbbm{k}}};&\text{if $x,y\in J$,}\\
0;&\text{otherwise.}
\end{cases}$$

One_of the main features of_persistence modules_over $({\mathbb{R}},\leq)$ that makes them_useful in TDA_is that_they can frequently_be decomposed as direct sums of_interval modules. When_such a decomposition exists, it is_unique_[@azumaya1950corrections]. The following_version_of_the decomposition_theorem is originally_due_to Crawley-Boevey_[@crawley2015decomposition]._In the case of persistence modules_over_$({\mathbb{R}},\leq)$, it can be stated as follows.

Suppose_$M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ is a persistence_module_such that $M(x)$ is_finite dimensional for every $x\in{\mathbb{R}}$._Then $M$ has a decomposition into_interval modules.

Whenever_a persistence_module $M\colon({\mathbb{R}},\leq)\to{\mathbf{Vect}}$ decomposes