Displaying similar documents to “Triangular maps with the chain recurrent points periodic.”

The fundamental theorem of dynamical systems

Douglas E. Norton (1995)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We propose the title of The Fundamental Theorem of Dynamical Systems for a theorem of Charles Conley concerning the decomposition of spaces on which dynamical systems are defined. First, we briefly set the context and state the theorem. After some definitions and preliminary results, based both on Conley's work and modifications to it, we present a sketch of a proof of the result in the setting of the iteration of continuous functions on compact metric spaces. Finally, we claim that...

Definition of Flat Poset and Existence Theorems for Recursive Call

Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski (2014)

Formalized Mathematics

Similarity:

This text includes the definition and basic notions of product of posets, chain-complete and flat posets, flattening operation, and the existence theorems of recursive call using the flattening operator. First part of the article, devoted to product and flat posets has a purely mathematical quality. Definition 3 allows to construct a flat poset from arbitrary non-empty set [12] in order to provide formal apparatus which eanbles to work with recursive calls within the Mizar langauge....