Coinductive properties of Lipschitz functions on streams

Simple item page
dc.creatorKim, Jiho
dc.date2008-09-24
dc.date.accessioned2026-07-07T10:05:00Z
dc.date.available2026-07-07T10:05:00Z
dc.descriptionA 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.
dc.identifierhttps://arxiv.org/abs/0809.4187
dc.identifierhttp://arxiv.org/abs/0809.4187
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/169884
dc.subjectDynamical Systems
dc.subject11B99, 68Q70
dc.titleCoinductive properties of Lipschitz functions on streams
dc.typetext

Files

Collections

arXiv