Namespaces
Variants
Actions

Difference between revisions of "Quotient space"

From Encyclopedia of Mathematics
Jump to: navigation, search
m
m
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
{{TEX|want}}
+
{{TEX|done}}
  
''of a [[Dynamical system|dynamical system]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q0769301.png" /> given on a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q0769302.png" />''
+
''of a [[Dynamical system|dynamical system]] $f^t$ given on a topological space $S$''
  
The quotient space of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q0769303.png" /> relative to the equivalence: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q0769304.png" /> if the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q0769305.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q0769306.png" /> belong to the same trajectory. In other words, the points of the quotient space are the trajectories of the dynamical system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q0769307.png" /> (in a different notation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q0769308.png" />, see [[#References|[1]]]), and the topology is the strongest in which the mapping associating each point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q0769309.png" /> with its trajectory is continuous (thus,
+
The quotient space of $S$ relative to the equivalence: $x\sim y$ if the points $x$ and $y$ belong to the same trajectory. In other words, the points of the quotient space are the trajectories of the dynamical system $f^t$ (in a different notation $f(t,p)$, see {{Cite|Ne}}), and the topology is the strongest in which the mapping associating each point of $S$ with its trajectory is continuous (thus,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693010.png" /></td> </tr></table>
+
$$\{ f^tx_k\}_{t\in\R}\xrightarrow[k\in K]{}\{ f^tx\}_{t\in\R}$$
  
(<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693011.png" /> is a directed set) if and only if there are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693012.png" /> such that
+
($K$ is a directed set) if and only if there are $t_k$ such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693013.png" /></td> </tr></table>
+
$$ f^{t_k}x_k\xrightarrow[k\in K]{}x;$$
  
if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693014.png" /> is a metric space, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693015.png" />). The quotient spaces of many dynamical systems do not satisfy any of the separation axioms, even if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693016.png" /> does. For example, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693017.png" /> is a [[Minimal set|minimal set]], then the closure of every non-empty set in the quotient space is the whole quotient space. If a dynamical system given on a metric space is completely unstable (see [[Complete instability|Complete instability]]), then for its quotient space to be Hausdorff it is necessary and sufficient that this dynamical system does not have saddles at infinity (cf. [[Saddle at infinity|Saddle at infinity]]).
+
if $S$ is a metric space, then $k\in\N$). The quotient spaces of many dynamical systems do not satisfy any of the separation axioms, even if $S$ does. For example, if $S$ is a [[Minimal set|minimal set]], then the closure of every non-empty set in the quotient space is the whole quotient space. If a dynamical system given on a metric space is completely unstable (see [[Complete instability|Complete instability]]), then for its quotient space to be Hausdorff it is necessary and sufficient that this dynamical system does not have saddles at infinity (cf. [[Saddle at infinity|Saddle at infinity]]).
  
====References====
+
In general, let $X$ be a [[Topological space|topological space]] and $R$ an equivalence relation on $X$ (equivalently: $X$ is the disjoint union of subsets $X_\lambda$, $\lambda$ in some index set $\Lambda$, not necessarily finite; in that case, $(x_1,x_2)\in R$ if and only if $x_1$ and $x_2$ belong to the same $X_\lambda$). The quotient space (also called decomposition space, see [[Quotient mapping|Quotient mapping]]) $X/R$ is the space whose points are the $R$-equivalence classes, endowed with the finest (i.e. strongest) topology making the quotient mapping $x\mapsto R[x]$ continuous (here $R[x]=\{ x'\in X : (x,x')\in R\}$ for $x\in X$). The object discussed above, where the equivalence classes are the trajectories of a dynamical system, is usually called the orbit space of the dynamical system. The characterization of convergence of a net (or [[Generalized sequence|generalized sequence]]) in the orbit space cannot be generalized to arbitrary quotient spaces: it is valid because for orbit spaces the quotient mapping is always an [[Open mapping|open mapping]].
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  V.V. Nemytskii,  V.V. Stepanov,  "Qualitative theory of differential equations" , Princeton Univ. Press  (1960)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. General topology" , Addison-Wesley  (1966)  (Translated from French)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.M. Millionshchikov,  "A comment on the Nemytskii–Bebutov theorem concerning unstable dynamic system"  ''Differential Eq.'' , '''10''' :  12  (1975)  pp. 1775–1776  ''Differensial'nye Uravneniya'' , '''10''' :  12  (1975)  pp. 2292–2293</TD></TR></table>
 
 
 
 
 
 
 
====Comments====
 
In general, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693018.png" /> be a [[Topological space|topological space]] and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693019.png" /> an equivalence relation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693020.png" /> (equivalently: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693021.png" /> is the disjoint union of subsets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693022.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693023.png" /> in some index set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693024.png" />, not necessarily finite; in that case, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693025.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693027.png" /> belong to the same <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693028.png" />). The quotient space (also called decomposition space, see [[Quotient mapping|Quotient mapping]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693029.png" /> is the space whose points are the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693030.png" />-equivalence classes, endowed with the finest (i.e. strongest) topology making the quotient mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693031.png" /> continuous (here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693032.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076930/q07693033.png" />). The object discussed above, where the equivalence classes are the trajectories of a dynamical system, is usually called the orbit space of the dynamical system. The characterization of convergence of a net (or [[Generalized sequence|generalized sequence]]) in the orbit space cannot be generalized to arbitrary quotient spaces: it is valid because for orbit spaces the quotient mapping is always an [[Open mapping|open mapping]].
 
  
That for a completely-unstable system the orbit space has a Hausdorff topology if and only if the dynamical system has no saddles at infinity is related with the results in [[#References|[a2]]]. See also Proposition 14 in [[#References|[a1]]].
+
That for a completely-unstable system the orbit space has a Hausdorff topology if and only if the dynamical system has no saddles at infinity is related with the results in {{Cite|Ma}}. See also Proposition 14 in {{Cite|Ha}}.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> O. Hajek,  "Prolongation in topological dynamics" , ''Sem. Differential Equations and Dynamical Systems II'' , ''Lect. notes in math.'' , '''144''' , Springer  (1970)  pp. 79–89</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"L. Markus,  "Parallel dynamical systems"  ''Topology'' , '''8'''  (1969)  pp. 47–57</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> R. Engelking,  "General topology" , Heldermann (1989)</TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|Bo}}||valign="top"|  N. Bourbaki,  "Elements of mathematics. General topology" , Addison-Wesley  (1966)  (Translated from French)
 +
|-
 +
|valign="top"|{{Ref|En}}||valign="top"|  R. Engelking,  "General topology" , Heldermann  (1989)
 +
|-
 +
|valign="top"|{{Ref|Ha}}||valign="top"| O. Hajek,  "Prolongation in topological dynamics" , ''Sem. Differential Equations and Dynamical Systems II'' , ''Lect. notes in math.'' , '''144''' , Springer  (1970)  pp. 79–89
 +
|-
 +
|valign="top"|{{Ref|Ma}}||valign="top"| L. Markus,  "Parallel dynamical systems"  ''Topology'' , '''8'''  (1969)  pp. 47–57
 +
|-
 +
|valign="top"|{{Ref|Mi}}||valign="top"|  V.M. Millionshchikov,  "A comment on the Nemytskii–Bebutov theorem concerning unstable dynamic system"  ''Differential Eq.'' , '''10''' :  12  (1975)  pp. 1775–1776  ''Differensial'nye Uravneniya'' , '''10''' :  12  (1975)  pp. 2292–2293
 +
|-
 +
|valign="top"|{{Ref|Ne}}||valign="top"| V.V. Nemytskii,  V.V. Stepanov,  "Qualitative theory of differential equations" , Princeton Univ. Press  (1960) (Translated from Russian)
 +
|-
 +
|}

Latest revision as of 06:37, 22 April 2012


of a dynamical system $f^t$ given on a topological space $S$

The quotient space of $S$ relative to the equivalence: $x\sim y$ if the points $x$ and $y$ belong to the same trajectory. In other words, the points of the quotient space are the trajectories of the dynamical system $f^t$ (in a different notation $f(t,p)$, see [Ne]), and the topology is the strongest in which the mapping associating each point of $S$ with its trajectory is continuous (thus,

$$\{ f^tx_k\}_{t\in\R}\xrightarrow[k\in K]{}\{ f^tx\}_{t\in\R}$$

($K$ is a directed set) if and only if there are $t_k$ such that

$$ f^{t_k}x_k\xrightarrow[k\in K]{}x;$$

if $S$ is a metric space, then $k\in\N$). The quotient spaces of many dynamical systems do not satisfy any of the separation axioms, even if $S$ does. For example, if $S$ is a minimal set, then the closure of every non-empty set in the quotient space is the whole quotient space. If a dynamical system given on a metric space is completely unstable (see Complete instability), then for its quotient space to be Hausdorff it is necessary and sufficient that this dynamical system does not have saddles at infinity (cf. Saddle at infinity).

In general, let $X$ be a topological space and $R$ an equivalence relation on $X$ (equivalently: $X$ is the disjoint union of subsets $X_\lambda$, $\lambda$ in some index set $\Lambda$, not necessarily finite; in that case, $(x_1,x_2)\in R$ if and only if $x_1$ and $x_2$ belong to the same $X_\lambda$). The quotient space (also called decomposition space, see Quotient mapping) $X/R$ is the space whose points are the $R$-equivalence classes, endowed with the finest (i.e. strongest) topology making the quotient mapping $x\mapsto R[x]$ continuous (here $R[x]=\{ x'\in X : (x,x')\in R\}$ for $x\in X$). The object discussed above, where the equivalence classes are the trajectories of a dynamical system, is usually called the orbit space of the dynamical system. The characterization of convergence of a net (or generalized sequence) in the orbit space cannot be generalized to arbitrary quotient spaces: it is valid because for orbit spaces the quotient mapping is always an open mapping.

That for a completely-unstable system the orbit space has a Hausdorff topology if and only if the dynamical system has no saddles at infinity is related with the results in [Ma]. See also Proposition 14 in [Ha].

References

[Bo] N. Bourbaki, "Elements of mathematics. General topology" , Addison-Wesley (1966) (Translated from French)
[En] R. Engelking, "General topology" , Heldermann (1989)
[Ha] O. Hajek, "Prolongation in topological dynamics" , Sem. Differential Equations and Dynamical Systems II , Lect. notes in math. , 144 , Springer (1970) pp. 79–89
[Ma] L. Markus, "Parallel dynamical systems" Topology , 8 (1969) pp. 47–57
[Mi] V.M. Millionshchikov, "A comment on the Nemytskii–Bebutov theorem concerning unstable dynamic system" Differential Eq. , 10 : 12 (1975) pp. 1775–1776 Differensial'nye Uravneniya , 10 : 12 (1975) pp. 2292–2293
[Ne] V.V. Nemytskii, V.V. Stepanov, "Qualitative theory of differential equations" , Princeton Univ. Press (1960) (Translated from Russian)
How to Cite This Entry:
Quotient space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Quotient_space&oldid=20764
This article was adapted from an original article by V.M. Millionshchikov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article