Draft:Invariant set
Submission declined on 21 April 2024 by ToadetteEdit (talk). This submission is not adequately supported by reliable sources. Reliable sources are required so that information can be verified. If you need help with referencing, please see Referencing for beginners and Citing sources.
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
| ![]() |
Comment: We have already Invariant set, which covers the same subject. This is a section of Invariant (mathematics). It is possible that this section deserves to be expanded, and eventually to be split into an independent article, but this requires a WP:consensus at Talk:Invariant (mathematics). For the moment, this draft is a WP:REDUNDANTFORK. Also, the terminology ("one-sided invariant set", "two-sided invariant set", "a dynamics") of this article seems WP:OR.
Comment: A review is being requested at WikiProject Mathematics. Robert McClenon (talk) 06:04, 9 February 2024 (UTC)
Comment: We have already Invariant set, which covers the same subject. This is a section of Invariant (mathematics). It is possible that this section deserves to be expanded, and eventually to be split into an independent article, but this requires a WP:consensus at Talk:Invariant (mathematics). For the moment, this draft is a WP:REDUNDANTFORK. Also, the terminology ("one-sided invariant set", "two-sided invariant set", "a dynamics") of this article seems WP:OR. D.Lazard (talk) 13:24, 9 February 2024 (UTC)
In mathematics, an invariant set is a subset which does not change under the action of a group or other dynamical system. It often has the interpretation of a "place that one can never leave according to the given dynamical system".
Depending on the subject and on the author, "invariant set" may denote a variant of one of these two related, but distinct notions:
- A subset such that every point of is mapped again to . Points from outside of may still be mapped to . This the notion mostly considered in differential geometry and related fields. This variant is described below at one-sided definition;
- A subset such that every point of is mapped to if and only if it is already in . This is the notion mostly considered in probability theory and related fields[1][2][3], sometimes up to to null sets.[4][5][3] This variant is described below at two-sided definition.
The second variant is a special case of the first one, and for the case of group actions, the two variants coincide.
One-sided definition
[edit]Invariant sets in their one-sided definition have the property of being stable under the action, in the sense that their points will not leave the set. We give the definition for single functions, possibly with extra properties (such as being continuous or measurable), then for group actions, and finally for general monoid actions.
Definition for single functions
[edit]Let be a function. A subset is -invariant if for every ,
We can restate the condition equivalently in terms of preimages:
Definition for group actions
[edit]Let be a monoid, let be a group action, and denote the action of on by . A subset is -invariant if for every and every ,
Equivalently, in terms of preimages: for every ,
Note that since is invertible, the inclusion can be replace by an equality, and so for groups the notion coincides with the two-sided definition given below.
General definition
[edit]More generally, let be a monoid, let be a monoid action, and denote the action of on by . A subset is -invariant if for every and every ,
Equivalently, in terms of preimages: for every ,
This generalizes the notion for groups, since every group is a monoid (but in this case it does not coincide with the two-sided version). It also generalizes the notion for functions, since every function induces a unique action of the monoid by , and every action of arises in this way.
Examples
[edit]- In linear algebra, an invariant subspace of a vector space is an invariant subset under a linear map.
- In dynamical systems, an invariant manifold is a particular invariant subset under the flow of a differential equation.
One can construct more examples by replacing the set and the function with objects and morphisms of a more general category.
Two-sided definition
[edit]Invariant sets in their two-sided definition are mostly used in probability theory and related fields such as information theory and ergodic theory. They can have the interpretation of being "indifferent" to the action.
Definition
[edit]Let be a function. A subset is -invariant if for every ,
Equivalently, in terms of preimages:
More generally, let be a monoid, let be a monoid action, and denote the action of on by . A subset is -invariant if for every and every ,
Equivalently, in terms of preimages: for every ,
Properties
[edit]- Every invariant set in the two-sided sense is invariant in the one-sided sense.
- For group actions, the one-sided and two-sided versions of invariant set coincide.
- The complement of a invariant in the two-sided definition set is also invariant (in the two-sided definition).
In what follows, given , we call a function invariant if and only if , i.e. if for all .
- A subset is invariant (in the two-sided definition) if and only if its indicator function is invariant.
- Somewhat conversely, a function is invariant if and only if for every , the preimage is invariant (in the two-sided definition).
In measure and probability theory
[edit]When is a measure or measurable space and the action is given by measurable functions, one is interested in measurable invariant sets (in the two-sided definition).[1][2][3]
It is also common to consider invariance only up to null sets:[4][5][3] Given a probability space and a measure-preserving function , a measurable subset (event) is called almost surely invariant if and only if its indicator function satisfies
for almost all , i.e. the sets and only differ by a null set.
Similarly, given a measure-preserving Markov kernel , we call a set almost surely invariant if and only if
for almost all .
When the action is given by measurable functions or by Markov kernels, invariant measurable subsets (in the two-sided definition) form a sigma-algebra, the invariant sigma-algebra. This is true both for almost surely invariant sets as well as for the invariant sets in the strict sense.
See also
[edit]- Invariant (mathematics)
- Invariant subspace
- Invariant manifold
- Invariant sigma-algebra
- Group action
- Monoid action
Citations
[edit]- ^ a b Billingsley (1995), pp. 313–314
- ^ a b Douc et al. (2018), p. 99
- ^ a b c d Klenke (2020), p. 494
- ^ a b Viana & Oliveira (2016), p. 94
- ^ a b Durrett (2010), p. 330
References
[edit]- Viana, Marcelo; Oliveira, Krerley (2016). Foundations of Ergodic Theory. Cambridge University Press. ISBN 978-1-107-12696-1.
- Billingsley, Patrick (1995). Probability and Measure. John Wiley & Sons. ISBN 0-471-00710-2.
- Durrett, Rick (2010). Probability: theory and examples. Cambridge University Press. ISBN 978-0-521-76539-8.
- Douc, Randal; Moulines, Eric; Priouret, Pierre; Soulier, Philippe (2018). Markov Chains. Springer. doi:10.1007/978-3-319-97704-1. ISBN 978-3-319-97703-4.
- Klenke, Achim (2020). Probability Theory: A comprehensive course. Universitext. Springer. doi:10.1007/978-1-4471-5361-0. ISBN 978-3-030-56401-8.