Keywords
set–valued mappings; shift mapping σ_H; inverse shadowing property.
This article is included in the Fallujah Multidisciplinary Science and Innovation gateway.
Shadowing-type properties play a fundamental role in the qualitative theory of dynamical systems, as they describe the relationship between approximate trajectories and exact orbits. In recent years, increasing attention has been given to extending these concepts to set-valued mappings, which naturally arise in various areas of mathematics and applied sciences. However, several shadowing-related notions for such mappings remain insufficiently explored.
In this work, we introduce precise definitions of the inverse shadowing property and the ergodic shadowing property for set-valued mappings. We analyse these properties within a general topological framework and examine their behaviour under the shift mapping on the inverse limit space. The relationships between inverse shadowing and ergodic shadowing are investigated using tools from topological dynamics.
We establish connections between the inverse shadowing property and the ergodic shadowing property for set-valued mappings. In particular, we show how these properties interact when considered together with the shift mapping on the inverse limit space, and we identify conditions under which one property implies the other.
The results provide a clearer understanding of shadowing phenomena for set-valued mappings and highlight the role of inverse limit spaces in studying their dynamical behavior. This work contributes to the development of shadowing theory beyond single-valued dynamics and offers a foundation for further investigations in this direction.
set–valued mappings; shift mapping σ_H; inverse shadowing property.
The phenomenon of shadowing approximation trajectories (pseudo trajectories) of dynamical systems by exact trajectories is one of the most extensively examined issues in contemporary global dynamical systems theory (for example,1,2). On the other hand, there has begun an equally intense development at the inverse shadowing problem, where a class of methods generating pseudo trajectories is specified and the question is studied as to if it is possible to approximate any precise trajectory by a trajectory of any method from this class (see3,4).
Román-Flores,5 in 2003, researched the relationship of transitivity with the associated system. After his research, numerous scientists examined the characteristics of set-valued discrete systems. For instance, the transitivity and mixing.6,7 The ergodic shadowing property is shown by Shabani and Ahmadi8 to be a feature of chain mixing in non-autonomous discrete-time dynamical systems.
Koo and Lee,9 in 2024 proved that the uniform ergodic shadowing characteristic holds for sequences of homeomorphisms on non-compact metric spaces. Al-Sharaa and Russl A.,10 in 2023, study generic non-autonomous discrete dynamical systems’ shadowing and w-expansive properties and the relationship between them. In the recent work,11 in 2025, Koo and Lee introduced the notions of dynamical systems on non-compact metric spaces and their ergodic shadowing property.
In this research, we focus on the inverse shadowing property with the ergodic shadowing property in set-valued systems and its relation with inverse limits. We introduce a new definition of the inverse and ergodic shadowing properties of set-valued mappings. This means we will create a space whose elements are sets. We will structure examples that satisfy the new definition in the future research. In the following section, we introduce some important concepts that we need:
Let be represented by any compact metric space, where is the symbol for the metric on . Let , be a series of mappings represented by . The above sequence indicates a non–autonomous discrete system . According to this mapping sequence. The point ’s trajectory can be defined as where , and represents the identity mapping similarly .
is the hyperspace of . The space of compact nonempty subsets of where the Hausdorff metric is defined as follows: for any . is a compact metric space and is a set–valued mapping on . We call the pair a set–valued system.
The product topology is applied to , which is the compact metric space of all bi–infinite sequences in . Let be a set–valued mapping for a constant value , where represents the set of all pseudo trajectories of . We will provide definitions of inverse shadowing property and ergodic shadowing property for set–valued mapping.
A mapping that satisfies is known as a method for . For any positive , there is a positive such that for every in , and any method , there exists in , such that for any in , we say that has inverse shadowing property, denoted as ISP.
In consideration of a sequence and a point put
Let be defined as an ergodic pseudo trajectories for if the following limit holds:
An ergodic pseudo trajectory is considered ergodic shadowing with a point denoted by ESP if .
We propose that an inveriant set possesses an ergodic shadowing property when, for every , there exists a that means all ergodic pseudo trajectories in can be ergodic shadowed by a single point .
A closed subspace of in addition to the corresponding shift mapping , which is defined as where for all is referred to as the inverse limit space of . It is important to observe that the compact metric space is determined by the metric , which is defined as .
For each , consider the projection mapping by for any where , for any , the mapping satisfies that as it is an open continuous mapping.
A continuous surjective set–valued mapping on a compact metric space is denoted by . Assuming has ESP, the corresponding shift mapping on the inverse limit space also has ESP.
Let be greater than zero; then we can select from such that . Since , the uniform continuity of ensures that for . Given that has ESP. Any ergodic pseudo trajectory is ergodic shadowed by a point in for any there is . Get so that .
Suppose be a ergodic pseudo trajectory with . Because the sequence of forms a ergodic pseudo trajectory for . However, there exists that means .
Suppose for any and for , the . If then which is to say . Consequently, could display ergodic shadowed for . ■
A continuous surjective set–valued mapping on a compact metric space is denoted by . Assuming has ISP, the corresponding shift mapping on the inverse limit space also has ISP.
Let be greater than zero; then we can select from so that . Since , the uniform continuity of ensures that for .
Given that has ISP, for each ,there is which means that with each and every method , it exists satisfying , for all .
Select such that . suppose that → is a method for . We construct a method of this way: let , choose a point where . If constitutes a method of , therefore, , .
Let be defined as , where . It is evident that forms a pseudo trajectory for ; hence, behaves as a method for . Since is ISP, every , where it has that gives . If where ; then ; this means that has ISP. ■
A local homeomorphism set–valued mapping on a compact metric space is denoted by . Assuming the shift mapping on has ESP, then also has ESP.
For each , according to the ESP of , it has a for every ergodic pseudo trajectory in a point in that forms ergodic shadowed. Let , and choose so that .
be the local homeomorphism; it has a such that and forms a homeomorphism when defines the neighborhood of . being uniformly continuous, for , there is where means for every .
Let be a ergodic pseudo trajectory for ; define and . If , then . This shows that , and hence defines a ergodic pseudo trajectory for . Since has ESP, there is in such that .
If , then , and we get . It is now evident by definition that has ESP.■
A local homeomorphism set–valued mapping on a compact metric space is denoted by . Assuming the shift mapping on has ISP, then also has ISP.
For each by ISP of , there is such that, for each of and for every method of , there is so that .
Let , select so that . be a local homeomorphism; represents the neighborhood of , and is a homeomorphism if there is a such that . Since represents uniform continuity at ; for every where there exists such that and .
Let be an element of , and define as a method of . Let → so that with we have . Therefore → represents a method for , since has the ISP; thus, given there is , which means , this implies that ; hence, has the ISP. ■
In this paper, we present a new definition of the inverse and ergodic shadowing properties for set-valued mappings. We explore the relationship between the inverse shadowing property and the ergodic shadowing property of set-valued mappings, as well as their connection to the shift mapping on the inverse limit space.
| Views | Downloads | |
|---|---|---|
| F1000Research | - | - |
|
PubMed Central
Data from PMC are received and updated monthly.
|
- | - |
Is the work clearly and accurately presented and does it cite the current literature?
Partly
Is the study design appropriate and is the work technically sound?
Partly
Are sufficient details of methods and analysis provided to allow replication by others?
Partly
If applicable, is the statistical analysis and its interpretation appropriate?
Not applicable
Are all the source data underlying the results available to ensure full reproducibility?
No source data required
Are the conclusions drawn adequately supported by the results?
Yes
Competing Interests: No competing interests were disclosed.
Reviewer Expertise: Dynamical systems, topology, and fuzzy mathematics.
Is the work clearly and accurately presented and does it cite the current literature?
No
Is the study design appropriate and is the work technically sound?
Partly
Are sufficient details of methods and analysis provided to allow replication by others?
Partly
If applicable, is the statistical analysis and its interpretation appropriate?
Not applicable
Are all the source data underlying the results available to ensure full reproducibility?
No source data required
Are the conclusions drawn adequately supported by the results?
Yes
Competing Interests: No competing interests were disclosed.
Reviewer Expertise: Topological Dynamics
Is the work clearly and accurately presented and does it cite the current literature?
Yes
Is the study design appropriate and is the work technically sound?
Yes
Are sufficient details of methods and analysis provided to allow replication by others?
Yes
If applicable, is the statistical analysis and its interpretation appropriate?
Not applicable
Are all the source data underlying the results available to ensure full reproducibility?
No source data required
Are the conclusions drawn adequately supported by the results?
Yes
Competing Interests: No competing interests were disclosed.
Reviewer Expertise: Topological Dynamics
Alongside their report, reviewers assign a status to the article:
| Invited Reviewers | |||
|---|---|---|---|
| 1 | 2 | 3 | |
|
Version 2 (revision) 16 Apr 26 |
read | ||
|
Version 1 20 Feb 26 |
read | read | read |
Provide sufficient details of any financial or non-financial competing interests to enable users to assess whether your comments might lead a reasonable person to question your impartiality. Consider the following examples, but note that this is not an exhaustive list:
Sign up for content alerts and receive a weekly or monthly email with all newly published articles
Already registered? Sign in
The email address should be the one you originally registered with F1000.
You registered with F1000 via Google, so we cannot reset your password.
To sign in, please click here.
If you still need help with your Google account password, please click here.
You registered with F1000 via Facebook, so we cannot reset your password.
To sign in, please click here.
If you still need help with your Facebook account password, please click here.
If your email address is registered with us, we will email you instructions to reset your password.
If you think you should have received this email but it has not arrived, please check your spam filters and/or contact for further assistance.
Comments on this article Comments (0)