# On Singular Interval-Valued Iteration Groups

- Institute of Mathematics, Pedagogical University of Cracow, Kraków, Poland

Let *I* = (*a, b*) and *L* be a nowhere dense perfect set containing the ends of the interval *I* and let φ : *I* → ℝ be a non-increasing continuous surjection constant on the components of *I* \ *L* and the closures of these components be the maximal intervals of constancy of φ. The family {*F*^{t}, *t* ∈ ℝ} of the interval-valued functions *F*^{t}(*x*): = φ^{−1}[*t* + φ(*x*)], *x* ∈ *I* forms a set-valued iteration group. We determine a maximal dense subgroup *T* ⊊ ℝ such that the set-valued subgroup {*F*^{t}, *t* ∈ *T*} has some regular properties. In particular, the mappings *T* ∍ *t* → *F*^{t}(*x*) for *t* ∈ *T* possess selections *f*^{t}(*x*) ∈ *F*^{t}(*x*), which are disjoint group of continuous functions.

## 1. Introduction

A family of functions {*f*^{t} : *I* → *I, t* ∈ ℝ} such that *f*^{t} ○ *f*^{s} = *f*^{t+s}, *t, s* ∈ ℝ is said to be an *iteration group*, however a family of set-valued functions {*F*^{t} : *I* → 2^{I}, *t* ∈ ℝ} such that *F*^{t} ○ *F*^{s} = *F*^{t+s}, *t, s* ∈ ℝ is said to be a *set-valued iteration group* (abbreviated to *s-v iteration group*). The notion of an iteration semigroup of set-valued functions was introduced and studied by Smajdor [1] and then studied in some classes of set-valued functions (see e.g., [2], [3], [4], [5]). The fundamental problem in the theory of multivalued iteration semigroups is the problem of existence and regularity properties of continuous selections. In this note we considered particular set-valued iteration groups whose values are the intervals or singletons. The presented results complete and generalize some of the topics from Zdun [6]. The considered s-v iteration groups have the very irregular properties. For every such s-v iteration group {*F*^{t} : *I* → 2^{I}, *t* ∈ ℝ} we find a special maximal additive subgroup *T* ⊂ ℝ such that group {*F*^{t} : *I* → 2^{I}, *t* ∈ *T*} has several “regular” properties.

## 2. Materials and Methods

Let *I* = (*a, b*) and φ : *I* → ℝ be a surjection. Define the set-valued functions

The surjection φ is said to be the generating function of the family {*F*^{t}}.

THEOREM 1

*The family* {*F*^{t} : *I* → 2^{I}} *is a set-valued iteration group, i.e.*,

*where*

*Moreover*, *x* ∉ *F*^{t}(*x*) for *t* ≠ 0.

*Proof.* Fix an *x* ∈ *I*. Let *z* ∈ *F*^{t} ○ *F*^{s}(*x*). Then there exists a *y* ∈ *F*^{s}(*x*) such that *z* ∈ *F*^{t}(*y*). This means that φ(*y*) = φ(*x*) + *s* and φ(*z*) = φ(*y*) + *t*, which gives that φ(*z*) = φ(*x*) + *t* + *s*. Hence *z* ∈ *F*^{t+s}(*x*). Similarly we prove the converse inclusion. □

If φ is a homeomorphism then Equation (1) defines the general form of continuous iteration groups such that *F*^{1}(*x*) ≠ *x* for *x* ∈ *I*.

If φ is non-injective then s-v iteration group generated by φ has very irregular properties and we will call this group *singular*. The purpose of this paper is the study of these “singularities.”

Obviously the set-valued functions *F*^{t}, *t* ∈ ℝ pairwise commute. This property is not transferible on the continuous selections of these set-valued mappings.

Let us assume that there exist *F*^{u}, *F*^{v} with $\frac{u}{v}\notin \mathbb{Q}$ which possess homeomorphic commuting selections *f* and *g*, that is *f*(*x*) ∈ *F*^{u}(*x*) and *g*(*x*) ∈ *F*^{v}(*x*) for *x* ∈ (*a, b*) and *f* ○ *g* = *g* ○ *f*. Then the generating function φ satisfies the equations φ(*f*(*x*)) = φ(*x*) + *u* and φ(*g*(*x*)) = φ(*x*) + *v*. Note that then *f, g* are iteratively incommensurable, i.e.,

where *f*^{n} denotes the *n*-th iterate of function *f* and *f*^{0} = *id*. Define

The set *L*_{f, g} does not depend on *x* and either this set is the interval cl *I* or *L*_{f, g} is a nowhere dense perfect set in *I* (see Zdun [7]). If the generating function φ is continuous at least at one point of *L*_{f, g} then it is continuous and it is monotonic (see [8]).

We have more

THEOREM 2

*If f and g are commuting iteratively incommensurable homeomorphisms, then there exist infinitely many s-v iteration groups* {*F*^{t}, *t* ∈ ℝ} *of type (1) such that f*(*x*) ∈ *F*^{1}(*x*) *and g*(*x*) ∈ *F*^{s}(*x*) *for an s* ∉ ℚ*, but the only one of them has a monotonic generating function* φ*. Then the generating function* φ *is continuous and* φ[*L*_{f,g}] = ℝ.

The proof is a simple consequence of Theorem 2 and Corollary 1 in Zdun [8].

The family {*F*^{t}, *t* ∈ ℝ} is a single-valued iteration group if and only if *L*_{f, g} = [*a, b*]. Then φ is strictly monotonic (see Zdun [8]).

In this paper we consider the case where *L*_{f, g} ≠ [*a, b*], that is {*F*^{t} : *t* ∈ ℝ} is a proper set-valued iteration group.

In the next section we will consider the more general case.

## 3. Results

Assume the following general hypothesis:

Then the function φ is continuous and the values of *F*^{t} are closed intervals or singletons. Denote by {*I*_{α}, α ∈ *A*} a family of the intervals of constancy of φ. These intervals are closed. Put

and

Note that ${\phi}_{|{L}^{*}}$ is strictly increasing, φ[*I*_{α}] are singletons and if *I*_{α} < *I*_{β} then φ[*I*_{α}] < φ[*I*_{β}].

It is easy to verify that the s-v iteration group {*F*^{t} : *I* → *cc*[*I*], *t* ∈ ℝ} generated by φ has the following properties.

PROPOSITION 1

(i) *For every x* ∈ *I F*^{t}(*x*) *either is a closed proper interval I*_{α} *or a singleton belonging to L**;

(ii) *for every x* ∈ *I the s-v function t* → *F*^{t}(*x*) *is strictly decreasing, i.e., if s* < *t then for every u* ∈ *F*^{s}(*x*) *and v* ∈ *F*^{t}(*x*), *u* < *v*;

(iii) *for every x* ∈ *I* ${\bigcup}_{t\in \mathbb{R}}{F}^{t}(x)=I;$

(iv) *every s-v function F*^{t} *is constant on the intervals I*_{α};

(v) *if s* ≠ *t then F*^{t}(*x*) ∩ *F*^{s}(*x*) = Ø *for x* ∈ *I**, that is the group* {*F*^{t}, *t* ∈ ℝ} *is disjoint*.

The conditions (i), (ii), (iii) characterize the interval-valued iteration groups. We have the following.

PROPOSITION 2

*If an s-v iteration group* {*F*^{t}, *t* ∈ ℝ} *satisfies conditions (i), (ii), and (iii), where* {*I*_{α}, α ∈ *A*} *is a given family of closed disjoint proper intervals, then there exists a function* φ *satisfying (H) such that F*^{t} *are given by the formula (**1**)*.

*Proof.* Define

Let *x*_{0} ∈ *I* and put $h(t):={F}^{t}({x}_{0})$. Note that *h* is a bijection from ℝ onto $\text{X}$. Define φ by the following way: if *x* ∈ *I*_{α} for an α ∈ *A* then $\phi (x):={h}^{-1}({I}_{\alpha})$, if *x* ∈ *L** then φ(*x*): = *h*({*x*}). It is easy to see that φ is a non-decreasing surjection of *I* onto ℝ constant on the intervals *I*_{α} and

Since ${F}^{t}\text{}\u25cb\text{}{F}^{s}({x}_{0})={F}^{t+s}({x}_{0})$ we have

Hence

Let *x* ∈ *I*. Then, by (iii), there exists an *s* ∈ ℝ such that *x* ∈ *h*(*s*). Hence φ(*x*) ∈ φ[*h*(*s*)] = *s*, thus φ(*x*) = *s*. This gives that φ[*F*^{t}(*x*)] ⊂ φ[*F*^{t}(*h*(*s*)] = φ(*x*) + *t*, so

Since *F*^{t}(*x*) ⊂ φ^{−1}[φ[*F*^{t}(*x*)]] we have *F*^{t}(*x*) ⊂ φ^{−1}[φ(*x*) + *t*]. Note that φ^{−1}[φ(*x*) + *t*] is a singleton or equals to one of the intervals *I*_{α}. If *F*^{t}(*x*) is a singleton then, by (i), ${F}^{t}(x)\notin {I}_{\alpha}$ for any α ∈ *A*. Thus φ^{−1}[φ(*x*) + *t*] is not any of the intervals *I*_{α}, so it is a singleton. If *F*^{t}(*x*) is an interval *I*_{α}, then φ^{−1}[φ(*x* + *t*)] must be also the same interval. This gives equality *F*^{t}(*x*) = φ^{−1}[φ(*x* + *t*)]. □

PROPOSITION 3

*Let a family of set-valued function F*^{t} *be given by (**1**), where* φ *satisfies (H). Define*

*for t* ∈ ℝ, *x* ∈ *I*. *Then*

(i) *the families* $\left\{{f}_{-}^{t},t\in \mathbb{R}\right\}$ *and* $\left\{{f}_{+}^{t},t\in \mathbb{R}\right\}$ *are iteration groups;*

(ii) ${f}_{-}^{t}$ *and* ${f}_{+}^{t}$ *for t* ∈ ℝ *are non-decreasing discontinuous functions constant on the intervals of constancy of* φ*;*

(iii) *the mappings* $t\to {f}_{\pm}^{t}(x)$ *are strictly decreasing;*

(iv) ${f}_{-}^{t}\left[I\right]\subset L$, ${f}_{+}^{t}\left[I\right]\subset L$, *t* ∈ ℝ*;*

(v) ${F}^{t}(x)=\left[{f}_{-}^{t}(x),{f}_{+}^{t}(x)\right]$, *t* ∈ ℝ.

*Proof.* (i) Fix an *x* ∈ *I*. Note that ${f}_{-}^{t}(x),\text{}{f}_{+}^{t}(x)\in {F}^{t}(x)$ since the sets *F*^{t}(*x*) are closed. Hence, by Equation (1),

so $\phi ({f}_{\pm}^{t}({f}_{\pm}^{s}(x)))=\phi (x)+t+s=\phi ({f}_{\pm}^{t+s}(x))$. This implies that

for an α ∈ *A* or both belong to *L**, since *I*_{α} for α ∈ *A* are the intervals of constancy of φ. Obviously, in the second case, both values are equal. However, at the first case, ${f}_{+}^{t}({f}_{+}^{s}(x))\le sup\text{}{I}_{\alpha}={f}_{+}^{t+s}(x)$ and ${f}_{-}^{t+s}(x)=inf\text{}{I}_{\alpha}\le {f}_{-}^{t}({f}_{-}^{s}(x))$. On the other hand, putting ${f}_{+}^{s}(x)=:y$ we have that ${f}_{+}^{t}(y)\in {I}_{\alpha}$ and ${f}_{+}^{t}(y)\in {F}^{t}(y)$. Hence ${F}^{t}(y)={I}_{\alpha}$ and ${f}_{+}^{t}(y)=sup\text{}{I}_{\alpha}\ge {f}_{+}^{t+s}(x)$. This gives that

Similarly we prove that

(iv) Proving (i) we have shown that ${f}_{\pm}^{t}(x)$ either belong to *L** or equals to one of the ends of the interval *I*_{α} which belong to *L*. Both cases give that ${f}_{\pm}^{t}(x)\in L$.

The remaining assertions are the simple consequences of formula (Equation 1). □

Let φ be non-decreasing and non-injective surjection. Define the following family of functions

The index *c*_{f} is uniquely determined. This allows us to define

As a particular case of Proposition 2.2 in Farzadfard and Zdun [9] we get the following

LEMMA 1

*If f* ∈ Realm(φ) *then the following conditions are equivalent:*

(i) φ[*L**] = φ[*L**] + ind *f*;

(ii) φ[*I* \ *L**] = φ[*I* \ *L**] + ind *f*;

(iii) *f*[*L**] = *L**;

(iv) *f maps each I*_{α} *into another one; moreover for every I*_{β} *there exists I*_{α} *such that f*[*I*_{α}] ⊂ *I*_{β}.

Let φ satisfy (H) and define

If *T* ≠ {0}, then *T* is a countable Abelian subgroup of group (ℝ, +).

In fact, since φ is constant in the intervals *I*_{α}, we have $\phi \left[I\text{}\backslash \text{}{L}^{*}\right]=\left\{\phi \left[{I}_{\alpha}\right],\alpha \in A\right\}$. It is easy to see that this set is unbounded above and below thus it is infinite and, consequently, countable since the intervals {*I*_{α}, α ∈ *A*} are pairwise disjoint.

DEFINITION 1

A subgroup *T* given by Equation (5) is said to be a *supporting group* of the s-v iteration group {*F*^{t} : *t* ∈ ℝ}.

THEOREM 3

*Let T* ≠ {0} *be a supporting group of s-v iteration group* {*F*^{t} : *t* ∈ ℝ} *generated by a function* φ *satisfying (H). Then*

(i) *if t* ∈ *T then for every x* ∈ *L** *F*^{t}(*x*) *is a single point and F*^{t}(*x*) ∈ *L***;*

(ii) *if t* ∈ *T then for every* α ∈ *A there exists* β ∈ *A such that* ${F}^{t}(x)={I}_{\beta}$ *for x* ∈ *I*_{α};

(iii) *if t* ∈ *T then for every* β ∈ *A there exists* α ∈ *A such that* ${F}^{t}(x)={I}_{\beta}$ *for x* ∈ *I*_{α}*;*

(iv) *if F*^{t}[*L**] = *L** *then t* ∈ *T*.

*Proof.* (i) By Equation (2) ${f}_{-}^{t},{f}_{+}^{t}\in \text{Realm}(\phi )$, $\text{ind}{f}_{\pm}^{t}=t$ for *t* ∈ ℝ and $\phi ({f}_{-}^{t}(x))=\phi ({f}_{+}^{t}(x))$. By Lemma 1 ${f}_{\pm}^{t}(x)\in {L}^{*}$ for *x* ∈ *L**. Since φ_{|Iα} is injective ${f}_{-}^{t}(x)={f}_{+}^{t}(x)$ for *x* ∈ *L**. Thus, by Proposition 3 (v), *F*^{t}(*x*) is a singleton belonging to *L**.

(ii) Let *x* ∈ *I*_{α}. By Lemma 1 ${f}_{\pm}^{t}(x)\in {I}_{\beta}$ for a β ∈ *A*. Thus ${F}^{t}(x)\subset {I}_{\beta}$. If *F*^{t}(*x*) is a singleton then, by Proposition 1 (i), *F*^{t}(*x*) belongs to *L**, so ${f}_{\pm}^{t}(x)\in {L}^{*}$, but this is a contradiction. Thus *F*^{t}(*x*) is a proper interval, so ${F}^{t}(x)={I}_{\beta}$.

(iii) Fix a β ∈ *A*. Since φ[*I*_{β}] is a singleton and φ is a surjection from *I* onto ℝ there exists an *x* ∈ *I* such that φ[*I*_{β}] = *t*+φ(*x*), that is ${F}^{t}(x)={I}_{\beta}$. Suppose *x* ∈ *L**. Then, by Lemma 1, ${f}_{\pm}^{t}(x)\in {L}^{*}$, but this is a contradiction since ${f}_{\pm}^{t}(x)\in {F}^{t}(x)={I}_{\beta}$, so there exists an α ∈ *A* such that *x* ∈ *I*_{α}.

(iv) Since φ satisfies relation Equation (3) we have φ[*L**] = φ[*F*^{t}[*L**]] = φ[*L**] + *t*, so, by Lemma 1, *t* ∈ *T*. □

Directly by Theorem 3 we get the following

COROLLARY 1

*Let T* ≠ {0} *be the supporting group of the s-v group* {*F*^{t} : *t* ∈ ℝ} *with generating function satisfying (H). Then*

(i) $T=\left\{t\in \mathbb{R}:{\forall}_{\omega \in A}\text{}{\exists}_{\overline{\omega}\in A}\text{}{F}^{t}\left[{I}_{\omega}\right]={I}_{\overline{\omega}}\right\};$

(ii) $T=\left\{t\in \mathbb{R}:{\forall}_{x\in {L}^{*}}\text{}{F}^{t}(x)\text{}\mathrm{\text{is a singleton}}\right\};$

(iii) *T* = {*t* ∈ ℝ:*F*^{t}[L*] = L*}.

DEFINITION 2

A family of continuous mappings {*f*^{t} : *I* → *I, t* ∈ *T*} such that *f*^{t} ○ *f*^{s} = *f*^{t + s} for *t, s* ∈ *T* is said to be a *T**-iteration group*.

Now we consider the problems connected with continuous selections of s-v iteration groups. The iteration groups $\left\{{f}_{-}^{t},t\in \mathbb{R}\right\}$ and $\left\{{f}_{+}^{t},t\in \mathbb{R}\right\}$ are the monotonic selections of s-v group {*F*^{t}, *t* ∈ ℝ} that is ${f}_{\pm}^{t}(x)\in {F}^{t}(x)$, but they are discontinuous.

Let φ satisfies (H) and *I*_{α} = :[*a*_{α}, *b*_{α}] for α ∈ *A* be the intervals of constancy of φ. For *t* ∈ *T* define the affine mappings *q _{t, α}* : [

*a*

_{α},

*b*

_{α}] →

*I*such that

For every *t* ∈ *T* define the following mapping

LEMMA 2

*If T* ≠ {0} *is the supporting group of s-v group* {*F*^{t} : *t* ∈ ℝ} *generated by a function satisfying condition (H), then* {*q*^{t} : *I* → *I, t* ∈ *T*} *is a T-iteration group of continuous functions. Moreover*, *q*^{t}(*x*) ∈ *F*^{t}(*x*) *for t* ∈ *T and x* ∈ *I*.

*Proof*. Note that ${q}_{t,\alpha}\left[{I}_{\alpha}\right]={F}^{t}\left[{I}_{\alpha}\right]$ and ${F}^{t}\left[{I}_{{\alpha}_{1}}\right]<{F}^{t}\left[{I}_{{\alpha}_{2}}\right]$ if *I*_{α1} < *I*_{α2}. Hence, by Theorem 3, it follows that the mappings *q*^{t} are strictly increasing surjections and, consequently, they are continuous.

It follows that for every *t, s* ∈ *T*, ${q}^{t}\text{}\u25cb\text{}{q}^{s}\left[{I}_{\alpha}\right]={q}^{t}\left[{F}^{s}\left[{I}_{\alpha}\right]\right]={F}^{t}\left[{F}^{s}\left[{I}_{\alpha}\right]\right]={F}^{t+s}\left[{I}_{\alpha}\right]={q}^{t+s}\left[{I}_{\alpha}\right]$. Since the composition of affine functions is an affine function and there exists a unique increasing affine function mapping *I*_{α} onto the interval ${F}^{t+s}\left[{I}_{\alpha}\right]$ we get that *q*^{t} ○ *q*^{s} = *q*^{t + s} on *I*_{α}. Now it is easy to see that Proposition 3 implies our assertion. □

THEOREM 4

*If s-v group* {*F*^{t} : *t* ∈ ℝ} *generated by a function satisfying condition (H) has a non trivial supporting group T**, then there exists infinitely many disjoint T**-iteration groups* {*f*^{t}, *t* ∈ *T*} *of continuous functions such that f*^{t}(*x*) ∈ *F*^{t}(*x*) *for t* ∈ *T and x* ∈ *I*. *T is a maximal additive group with this property*.

*Proof*. Let γ : *I* → *I* be a homeomorphism such that γ(*x*) = *x* for *x* ∈ *L* and for every α ∈ *A* γ[*I*_{α}] = *I*_{α}. Put

It follows, by Lemma 2, that {*f*^{t}, *t* ∈ *T*} is a *T*-iteration group and *f*^{t}(*x*) ∈ *F*^{t}(*x*).

Let *F*^{t} have a continuous and strictly increasing selection *f*. Since for every α ∈ *A*, *f*[*I*_{α}] is a proper interval, ${F}^{t}\left[{I}_{\alpha}\right]$ is also an interval. Thus, by Corollary 1, *t* ∈ *T*. □

Let us make the following assumptions.

(i) Let *L* be a Cantor set in *I*, that is *L* is a nowhere dense perfect set in *I* = (*a, b*) and *a, b* ∈ *L*.

(ii) Let *I*_{ω}, ω ∈ ℚ be open pairwise disjoint intervals such that

(iii) Let φ:*I* → ℝ be a Lebesgue function which lives on a set *L* that is φ is a continuous non-increasing surjection constant on cl *I*_{ω} and, let cl *I*_{ω} be the maximal intervals of constancy of φ.

The conditions (i), (ii), and (iii) imply that φ is continuous and

THEOREM 5

*Let T be the supporting group of s-v group* {*F*^{t} : *t* ∈ ℝ} *generated by a function* φ *satisfying condition (H). If the group T is acyclic then the set L defined by (**2**) is a Cantor set and* φ *is a Lebesgue function which lives on L*.

*Proof*. By Lemma 2 the family of mappings {*q*^{t}, *t* ∈ *T*} defined by Equation (6) is a disjoint *T*-iteration group. Denote by *L*_{T} the set of limit points of the orbits *O*(*x*) = {*q*^{t}(*x*) : *t* ∈ *T*}, i.e., ${L}_{T}=O{(x)}^{d}$. In Zdun [10] (see Th.1) it is proved that the set *L*_{T} does not depend on *x* and *L*_{T} is either a Cantor set in *I* or *L*_{T} = [*a, b*] or *L*_{T} = {*a, b*}. Moreover, *L*_{T} = {*a, b*} if and only if {*q*^{t}, *t* ∈ *T*} is a cyclic group (see [10] Theorem 2).

Since *q*^{t}(*x*) ∈ *F*^{t}(*x*) we have φ(*q*^{t}(*x*)) = φ(*x*) + *t* for *x* ∈ *I*. *L*_{T} ≠ [*a, b*]. In fact, suppose that *L*_{T} = [*a, b*]. Fix an *x* ∈ *I* and an interval *I*_{α}. By the density of the orbit *O*(*x*) there exist *u, v* ∈ ℝ such that *u* ≠ *v* and ${q}^{u}(x),{q}^{v}(x)\in {I}_{\alpha}$. Hence φ(*x*) + *u* = φ(*q*^{u}(*x*)) = φ(*q*^{v}(*x*)) = φ(*x*) + *v* what is a contradiction.

By Proposition 1 (ii) and Lemma 2 the mapping Φ(*t*): = *q*^{t} is an isomorphism of *T* onto the group {*q*^{t}, *t* ∈ *T*}. Thus *T* is cyclic if and only if {*q*^{t}, *t* ∈ *T*} is cyclic, so *T* is cyclic if and only if *L*_{T} = {*a, b*}. Hence *T* is acyclic if and only if *L*_{T} is a Cantor set.

If *T* is acyclic then φ lives on *L*_{T}. Let *x* ∈ *L*_{T} and *t* ∈ *T*. Then ${q}^{t}(x)={f}_{+}^{t}(x)\in L$. Thus *O*(*x*) ⊂ *L* and, consequently, *L*_{T} ⊂ *L*, so *L* is also a Cantor set. By the assumption φ lives on *L*, however by the definition of *q*^{t} φ lives on *L*_{F}. Thus we get *L*_{F} = *L*. □

THEOREM 6

*If f, g are commuting, iteratively incommensurable homeomorphisms and L*_{f, g} ≠ cl *I*, *then f and g are embeddable in a non-extensible disjoint T**-iteration group* {*f*^{t}, *t* ∈ *T*}*, where T is a dense, countable subgroup of* ℝ.

*Proof*. By Theorem 2 there exists an s-v iteration group {*F*^{t} : *t* ∈ ℝ} with continuous non-decreasing generating function φ such that *f*(*x*) ∈ *F*^{1}(*x*) and *g*(*x*) ∈ *F*^{s}(*x*) for an *s* ∉ ℚ and φ[*L*_{f, g}] = ℝ. Since *L*_{f, g} ≠ cl *I*, φ is a Lebesgue function which lives on *L*_{f, g}. Define *T* by Equation (5). By Theorem 5 *f* and *g* are embeddable in a *T*-iteration group {*f*^{t}, *t* ∈ *T*}. Since 1, *s* ∈ *T* the group *T* is dense. □

## 4. Discussion

In this note we consider the relation between the iteration groups of monotonic functions and the interval-valued iteration groups. These groups are still poorly investigated.

In Section 2 we indicate a desirability of the generalization of classical iteration groups in the real case. It is known that not all commutable iteratively incommensurable homeomorphisms are embeddable in an iteration group. However, Theorem 2 shows that the embeddabilty is always possible for s-v iteration groups.

Propositions 1 and 2 characterize s-v iteration groups of the form Equation (1). It is shown that, in our investigations, the form Equation (1) of s-v iteration groups are quite natural. Proposition 3 shows how s-v iteration groups of the form Equation (1) determine iterations groups of non-decreasing functions which are not injective.

A key concept of the paper is the supporting group *T* defined by Equation (5). If *T* is non-trivial additive group then it is countable and the set of all intervals of constancy of the generating function φ is also countable. Theorem 3 and Corollary 1 explain the meaning of the supporting group *T*. The restricted s-v group {*F*^{t} : *t* ∈ *T*} has a property that s-v functions *F*^{t} transform the intervals of constancy of the generating function φ onto itself and the points from its complement, that is the set *L**, onto singletons in *L**. Moreover, Theorem 4 and Corollary 1 show that each s-v function *F*^{t} for *t* ∈ *T* has continuous selection *f*^{t} such that family {*f*^{t} : *t* ∈ *T*} forms a group. Moreover, any *F*^{t} for *t* ∉ *T* has no continuous selection.

We have also proved that supporting group *T* is acyclic if and only if the generating function φ is a Lebesgue function which lives in a Cantor set.

The presented results may be helpful in the constructions of different iteration groups of non-decreasing functions.

## Author Contributions

MZ conceived the study and prepared the manuscript.

## Conflict of Interest Statement

The author declares that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

## References

2. Olko J. On indexed functions generated by families of functions. *Aequat Math.* (2014) **88**:125–35. doi: 10.1007/s00010-013-0239-1

3. Olko J. Selections of an iteration semigroup of linear set-valued functions. *Aequat Math.* (1998) **56**:157–68. doi: 10.1007/s000100050052

4. Łydzińska G. On lower semicontinuity of some set-valued iteration semigroups. *Nonlinear Anal.* (2009) **71**:5644–54. doi: 10.1016/j.na.2009.04.051

5. Piszczek M. On multivalued iteration semigroup. *Aequat Math.* (2011) **81**:97–108. doi: 10.1007/s00010-010-0034-1

6. Zdun MC. On set-valued iteration groups generated by commuting functions. *J Math Anal Appl.* (2013) **398**:638–48. doi: 10.1016/j.jmaa.2012.09.016

Keywords: iteration group, set-valued functions, simultaneous functional equations, Cantor set, singular Lebesgue function

Citation: Zdun MC (2016) On Singular Interval-Valued Iteration Groups. *Front. Appl. Math. Stat*. 2:13. doi: 10.3389/fams.2016.00013

Received: 24 May 2016; Accepted: 30 August 2016;

Published: 13 September 2016.

Edited by:

Witold Jarczyk, University of Zielona Góra, PolandReviewed by:

Ludwig Reich, University of Graz, AustriaKrzysztof Cieplinski, AGH University of Science and Technology, Poland

Copyright © 2016 Zdun. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) or licensor are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

*Correspondence: Marek C. Zdun, mczdun@up.krakow.pl