Coinductive Properties of Lipschitz Functions on Streams
نویسنده
چکیده
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.
منابع مشابه
Quasicompact and Riesz unital endomorphisms of real Lipschitz algebras of complex-valued functions
We first show that a bounded linear operator $ T $ on a real Banach space $ E $ is quasicompact (Riesz, respectively) if and only if $T': E_{mathbb{C}}longrightarrow E_{mathbb{C}}$ is quasicompact (Riesz, respectively), where the complex Banach space $E_{mathbb{C}}$ is a suitable complexification of $E$ and $T'$ is the complex linear operator on $E_{mathbb{C}}$ associated with $T$. Next, we pr...
متن کاملPOINT DERIVATIONS ON BANACH ALGEBRAS OF α-LIPSCHITZ VECTOR-VALUED OPERATORS
The Lipschitz function algebras were first defined in the 1960s by some mathematicians, including Schubert. Initially, the Lipschitz real-value and complex-value functions are defined and quantitative properties of these algebras are investigated. Over time these algebras have been studied and generalized by many mathematicians such as Cao, Zhang, Xu, Weaver, and others. Let be a non-emp...
متن کاملCoinductive Field of Exact Real Numbers and General Corecursion
In this article we present a method to define algebraic structure (field operations) on a representation of real numbers by coinductive streams. The field operations will be given in two algorithms (homographic and quadratic algorithm) that operate on streams of Möbius maps. The algorithms can be seen as coalgebra maps on the coalgebra of streams and hence they will be formalised as general cor...
متن کاملAn effective optimization algorithm for locally nonconvex Lipschitz functions based on mollifier subgradients
متن کامل
Compact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions
We characterize compact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions on metric spaces, not necessarily compact, with Lipschitz involutions and determine their spectra.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008