Coinductive properties of Lipschitz functions on streams

Details Coinductive properties of Lipschitz functions on streams Coinductive properties of Lipschitz functions on streams

2008-09-24

arxiv.org/abs/0809.4187v1

Mathematics

Dynamical Systems

Scientific paper

A simple hierarchical structure is imposed on the set of Lipschitz functions on streams (i.e. sequences over a fixed alphabet set) under the standard metric. We prove that sets of non-expanding and contractive functions are closed under a certain coiterative construction. The closure property is used to construct new final stream coalgebras over finite alphabets. For an example, we show that the 2-adic extension of the Collatz function and certain variants yield final bitstream coalgebras.

Affiliated with

Also associated with

No associations

Rating

Coinductive properties of Lipschitz functions on streams does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Coinductive properties of Lipschitz functions on streams, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coinductive properties of Lipschitz functions on streams will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-111181