A Note on Inverse Limits of Finite Spaces

1970 ◽  
Vol 13 (1) ◽  
pp. 69-70
Author(s):  
S. B. Nadler

The following lemma, which appears as Lemma 4 in [5], was used to determine certain multicoherence properties of inverse limits of continua.Lemma. Let X denote the inverse limit of an inverse system {Xλ, fλμ, Λ} of compact Hausdorff spaces Xλ. If Xλ has no more than k components (where k < ∞ is fixed) for each λ ∊ Λ, then X has no more than k components.In this paper we give a set theoretic analogue of this lemma and an extension which was suggested to the author by Professor F. W. Lawvere. An application to inverse limits of finite groups is then given.

1973 ◽  
Vol 16 (3) ◽  
pp. 405-415
Author(s):  
Gerard Elie Cohen

An inverse limit of finite groups has been called in the literature a pro-finite group and we have extensive studies of profinite groups from the cohomological point of view by J. P. Serre. The general theory of non-abelian modules has not yet been developed and therefore we consider a generalization of profinite abelian groups. We study inverse systems of discrete finite length R-modules. Profinite modules are inverse limits of discrete finite length R-modules with the inverse limit topology.


2012 ◽  
Vol 15 (6) ◽  
Author(s):  
Gregory R. Conner ◽  
Curtis Kent

Abstract.We will show that the inverse limit of finite rank free groups with surjective connecting homomorphism is isomorphic either to a finite rank free group or to a fixed universal group. In other words, any inverse system of finite rank free groups which is not equivalent to an eventually constant system has the universal group as its limit. This universal inverse limit is naturally isomorphic to the first shape group of the Hawaiian earring. We also give an example of a homomorphic image of the Hawaiian earring group which lies in the inverse limit of free groups but is neither a free group nor isomorphic to the Hawaiian earring group.


2018 ◽  
Vol 19 (1) ◽  
pp. 9
Author(s):  
Leonard R. Rubin

<p>It has been shown by S. Mardešić that if a compact metrizable space X has dim X ≥ 1 and X is the inverse limit of an inverse sequence of compact triangulated polyhedra with simplicial bonding maps, then X must contain an arc.  We are going  to prove that  if X = (|K<sub>a</sub>|,p<sup>b</sup><sub>a</sub>,(A,)<a href="http://www.codecogs.com/eqnedit.php?latex=\preceq" target="_blank"><img title="\preceq" src="http://latex.codecogs.com/gif.latex?\preceq" alt="" /></a>)is an inverse system in set theory of triangulated polyhedra|K<sub>a</sub>|with simplicial  bonding  functions p<sup>b</sup><sub>a</sub> and X = lim X,  then  there  exists  a uniquely determined sub-inverse system X<sub>X</sub>= (|L<sub>a</sub>|, p<sup>b</sup><sub>a</sub>|L<sub>b</sub>|,(A,<a href="http://www.codecogs.com/eqnedit.php?latex=\preceq" target="_blank"><img title="\preceq" src="http://latex.codecogs.com/gif.latex?\preceq" alt="" /></a>)) of X where for each a, L<sub>a</sub> is a subcomplex of K<sub>a</sub>, each p<sup>b</sup><sub>a</sub>|L<sub>b</sub>|:|L<sub>b</sub>| → |L<sub>a</sub>| is  surjective,  and lim X<sub>X</sub> = X. We shall use this to generalize the Mardešić result by characterizing when the inverse limit of an inverse sequence of triangulated polyhedra with simplicial bonding maps must contain a topological n-cell and do the same in the case of an inverse system of finite triangulated polyhedra with simplicial bonding maps. We shall also characterize when the inverse limit of an inverse sequence of triangulated polyhedra with simplicial bonding maps must contain an embedded copy of the Hilbert cube. In each of the above settings, all the polyhedra have the weak topology or all have the metric topology(these topologies being identical when the polyhedra are finite).</p>


2011 ◽  
Vol 61 (4) ◽  
Author(s):  
Mahender Singh

AbstractWe show that the inverse limit and the orbit map commute for actions of compact groups on compact Hausdorff spaces.


2014 ◽  
Vol 64 (3) ◽  
Author(s):  
Emília Halušková
Keyword(s):  

AbstractWe study inverse limits of monounary algebras. All monounary algebras A such that A can arise from A only by an inverse limit construction are described. We deal with an existence of an inverse limit. Some inverse limit closed classes are described. The paper ends with two problems.


Author(s):  
Enrico Le Donne ◽  
Roger Zuest

We formalize the notion of limit of an inverse system of metric spaces with $1$-Lipschitz projections having unbounded fibers. The construction is applied to the sequence of free Carnot groups of fixed rank $n$ and increasing step. In this case, the limit space is in correspondence with the space of signatures of rectifiable paths in $\mathbb R^n$, as introduced by Chen. Hambly-Lyons's result on the uniqueness of signature implies that this space is a geodesic metric tree. As a particular consequence we deduce that every path in $\mathbb R^n$ can be approximated by projections of some geodesics in some Carnot group of rank $n$, giving an evidence that the complexity of sub-Riemannian geodesics increases with the step.


1991 ◽  
Vol 34 (3) ◽  
pp. 351-356 ◽  
Author(s):  
W. T. Ingram ◽  
D. D. Sherling

AbstractIn proving the contractibility of certain hyperspaces J. L. Kelley identified and defined a certain uniformnessproperty which he called Property 3.2. It is known that the classes of locally connected continua, homogeneous continua and hereditarily indecomposable continua have Property 3.2. In this paper we prove that two examples of indecomposable continua developed respectively by the authors have Property 3.2. One is the example of a nonchainable atriodic tree-like continuum with positive span which was defined by the first author, and the other is a nonchainable, noncircle-like continuum which has the cone=hyperspace property which was defined by the second author. Each of the examples is an inverse limit of an inverse system having a single bonding map.


Author(s):  
Donald M. Davis ◽  
Mark Mahowald

There are spectra P−k constructed from stunted real projective spaces as in [1] such that H*(P−k) is the span in ℤ/2[x, x−1] of those xi with i ≥ −k. (All cohomology groups have ℤ/2-coefficients unless specified otherwise.) Using collapsing maps, these form an inverse systemwhich is similar to those of Lin ([15], p. 451). It is a corollary of Lin's work that there is an equivalence of spectrawhere holim is the homotopy inverse limit ([3], ch. 5) and Ŝ–1 the 2-adic completion of a sphere spectrum. One may denote by this holim (P–κ), although one must constantly keep in mind that , but rather


1981 ◽  
Vol 46 (4) ◽  
pp. 851-863 ◽  
Author(s):  
Rick L. Smith

Profinite groups are Galois groups. The effective study of infinite Galois groups was initiated by Metakides and Nerode [8] and further developed by LaRoche [5]. In this paper we study profinite groups without considering Galois extensions of fields. The Artin method of representing a finite group as a Galois group has been generalized (effectively!) by Waterhouse [14] to profinite groups. Thus, there is no loss of relevance in our approach.The fundamental notions of a co-r.e. profinite group, recursively profinite group, and the degree of a co-r.e. profinite group are defined in §1. In this section we prove that every co-r.e. profinite group can be effectively represented as an inverse limit of finite groups. The degree invariant is shown to behave very well with respect to open subgroups and quotients. The work done in this section is basic to the rest of the paper.The commutator subgroup, the Frattini subgroup, thep-Sylow subgroups, and the center of a profinite group are essential in the study of profinite groups. It is only natural to ask if these subgroups are effective. The following question exemplifies our approach to this problem: Is the center a co-r.e. profinite group? Theorem 2 provides a general method for answering this type of question negatively. Examples 3,4 and 5 are all applications of this theorem.


2016 ◽  
Vol 38 (4) ◽  
pp. 1499-1524 ◽  
Author(s):  
JUDY KENNEDY ◽  
VAN NALL

Set-valued functions from an interval into the closed subsets of an interval arise in various areas of science and mathematical modeling. Research has shown that the dynamics of a single-valued function on a compact space are closely linked to the dynamics of the shift map on the inverse limit with the function as the sole bonding map. For example, it has been shown that with Devaney’s definition of chaos the bonding function is chaotic if and only if the shift map is chaotic. One reason for caring about this connection is that the shift map is a homeomorphism on the inverse limit, and therefore the topological structure of the inverse-limit space must reflect in its richness the dynamics of the shift map. In the set-valued case there may not be a natural definition for chaos since there is not a single well-defined orbit for each point. However, the shift map is a continuous single-valued function so it together with the inverse-limit space form a dynamical system which can be chaotic in any of the usual senses. For the set-valued case we demonstrate with theorems and examples rich topological structure in the inverse limit when the shift map is chaotic (on certain invariant sets). We then connect that chaos to a property of the set-valued function that is a natural generalization of an important chaos producing property of continuous functions.


Sign in / Sign up

Export Citation Format

Share Document