A Generalization of Lévy's Theorem on Positive Matrix Semigroups

We generalize a fundamental theorem on positive matrix semigroups stating that each component is either strictly positive for all times or identically zero ("Lévy's Theorem"). Our proof of this fact that does not require the matrices to be Markovian nor to be continuous at time zero. We also provide a formulation of this theorem in the terminology of one-parameter operator semigroups on sequence spaces.