Equicontinuity and Sensitivity of Group Actions*

Let(X, G) be a dynamical system(G-system for short), that is, X is a topological space and G is an infinite topological group continuously acting on X. In the paper,the authors introduce the concepts of Hausdorff sensitivity, Hausdorff equicontinuity and topological equicontinuity for G-systems and prove that a minimal G-system(X, G) is either topologically equicontinuous or Hausdorff sensitive under the assumption that X is a T₃-space and they provide a classification of transitive d...     

ALMOST PERIODICITY AND EQUICONTINUITY OF THE TOPOLOGICAL TRANSFORMATION GROUP

In this paper, a characterization of almost periodicity of topological transformation groups on uniform spaces is given. By searching the appropriate base for uniform structure, it is shown that the topological transformation group is topologically equivalent to an isometric one if it is uniformly equicontinuous.     

When is an Almost Lo cally Compact Space Sup ercomplete?

It is proved in this paper that (1) the topological sum of a family of supercomplete spaces is supercomplete; (2) if X is a metacompact and almost locally compact space then X is supercomplete. Moreover, some questions on supercomplete spaces are posed in the paper.     

A STATE SPACE ISOMORPHISM THEOREM F0R MINIMAL DYNAMICAL SYSTEMS

Consider a discrete time dynamical system x_(k 1)=f(x_k) on a compact metric space M, wheref: M→M is a continuous map. Let h:M→R~k be a continuous output function. Suppose that all ofthe positive orbits of f are dense and that the system is observable. We prove that any outputtrajectory of the system determines f and h and M up to a homeomorphism.If M is a compactAbelian topological group and f is an ergodic translation, then any output trajectory determinesthe system up to a translation and a group isomorphism of the group.     

Incompressible pairwise incompressible surfaces in link complements

The central subject of studying in this paper is incompressible pairwise incompressible surfaces in link complements. Let L be a non-split prime link and let F be an incompressible pairwise incompressible surface in S~3 - L. We discuss the properties that the surface F intersects with 2-spheres in S~3 - L. The intersection forms a topological graph consisting of a collection of circles and saddle-shaped discs. We introduce topological graphs and their moves (R-move and S~2-move), and define the characteristic number of the topological graph for F∩S~2±. The characteristic number is unchanged under the moves. In fact, the number is exactly the Euler Characteristic number of the surface when a graph satisfies some conditions. By these ways, we characterize the properties of incompressible pairwise incompressible surfaces in alternating (or almost alternating) link complements. We prove that the genus of the surface equals zero if the component number of F∩S~2+(or F∩S~2-) is less than five and the graph is simple for alternating or almost alternating links. Furthermore, one can prove that the genus of the surface is zero if #(F) ≤8.     

The <Emphasis Type="Italic">C</Emphasis>-topology on lattice-ordered groups

Let A be a lattice-ordered group. Gusi′c showed that A can be equipped with a C-topology which makes A into a topological group. We give a generalization of Gusi′c's theorem,and reveal the very nature of a "C-group" of Gusi′c in this paper. Moreover,we show that the C-topological groups are topological lattice-ordered groups,and prove that every archimedean lattice-ordered vector space is a T2 topological lattice-ordered vector space under the C-topology. An easy example shows that a C-group need not be T2....     

Steinberg triality groups acting on 2 - (v, k, 1) designs

A 2 - (v,k,1) design D = (P, B) is a system consisting of a finite set P of v points and a collection B of k-subsets of P, called blocks, such that each 2-subset of P is contained in precisely one block. Let G be an automorphism group of a 2- (v,k,1) design. Delandtsheer proved that if G is block-primitive and D is not a projective plane, then G is almost simple, that is, T ≤ G ≤ Aut(T), where T is a non-abelian simple group. In this paper, we prove that T is not isomorphic to 3D4(q). This paper is part of a project to classify groups and designs where the group acts primitively on the blocks of the design.     

ON INNERπ'-CLOSED GROUPS AND NORMAL π-COMPLEMENTS

In this paper, the author classifies the finite inner π′-closed groups, and proves the following results1. If each proper subgroup K of a group G is weak π-homogeneous and weak π′-homogeneous, then G is a Schmidt group, or a direct product of two Hall subgroups.2. If G is a weak π-homogeneous group, then G is π′-closed if one of the following statements is true: (1)Each π-subgroup of G is 2-closed. (2) Each π-subgroup of G is 2′-closed.3. Let G be a group and π be a set of odd primes. If N_G(Z(J(P))) has a normal π-completement for a Sytow p-subgroup of G with prime ρ in π then so does G.     

关于局部紧域的加法特征的一点注记

In this note, we give an elementary and constructive proof for that the additive character group of a locally compact field is isomorphic to itself as an additive topological group.     

On quasi-weakly almost periodic points

The core problem of dynamical systems is to study the asymptotic behaviors of orbits and their topological structures. It is well known that the orbits with certain recurrence and generating ergodic (or invariant) measures are important, such orbits form a full measure set for all invariant measures of the system, its closure is called the measure center of the system. To investigate this set, Zhou introduced the notions of weakly almost periodic point and quasi-weakly almost periodic point in 1990s, and presented some open problems on complexity of discrete dynamical systems in 2004. One of the open problems is as follows: for a quasi-weakly almost periodic point but not weakly almost periodic, is there an invariant measure generated by its orbit such that the support of this measure is equal to its minimal center of attraction (a closed invariant set which attracts its orbit statistically for every point and has no proper subset with this property)? Up to now, the problem remains open. In this paper, we construct two points in the one-sided shift system of two symbols, each of them generates a sub-shift system. One gives a positive answer to the question above, the other answers in the negative. Thus we solve the open problem completely. More important, the two examples show that a proper quasi-weakly almost periodic orbit behaves very differently with weakly almost periodic orbit.     

A Two-Dimensional Kinetic Triangulation with Near-Quadratic Topological Changes

A triangulation of a set S of points in the plane is a subdivision of the convex hull of S into triangles whose vertices are points of S. Given a set S of n points in each moving independently, we wish to maintain a triangulation of S. The triangulation needs to be updated periodically as the points in S move, so the goal is to maintain a triangulation with a small number of topological events, each being the insertion or deletion of an edge. We propose a kinetic data structure (KDS) that processes topological events with high probability if the trajectories of input points are algebraic curves of fixed degree. Each topological event can be processed in time. This is the first known KDS for maintaining a triangulation that processes a near-quadratic number of topological events, and almost matches the lower bound [1]. The number of topological events can be reduced to if only k of the points are moving.     

Stability of Critical Points with Interval Persistence

Scalar functions defined on a topological space are at the core of many applications such as shape matching, visualization and physical simulations. Topological persistence is an approach to characterizing these functions. It measures how long topological structures in the sub-level sets persist as c changes. Recently it was shown that the critical values defining a topological structure with relatively large persistence remain almost unaffected by small perturbations. This result suggests that topological persistence is a good measure for matching and comparing scalar functions. We extend these results to critical points in the domain by redefining persistence and critical points and replacing sub-level sets with interval sets . With these modifications we establish a stability result for critical points. This result is strengthened for maxima that can be used for matching two scalar functions.     

Quasi‐convexly dense and suitable sets in the arc component of a compact group

Let G be an abelian topological group. The symbol $\widehat{G}Let G be an abelian topological group. The symbol $\widehat{G}$ denotes the group of all continuous characters $\chi :G\rightarrow {\mathbb T}$ endowed with the compact open topology. A subset E of G is said to be qc‐dense in G provided that χ(E)?φ([? 1/4, 1/4]) holds only for the trivial character $\chi \in \widehat{G}$, where $\varphi : {\mathbb R}\rightarrow {\mathbb T}={\mathbb R}/{\mathbb Z}$ is the canonical homomorphism. A super‐sequence is a non‐empty compact Hausdorff space S with at most one non‐isolated point (to which S converges). We prove that an infinite compact abelian group G is connected if and only if its arc component G_a contains a super‐sequence converging to 0 that is qc‐dense in G. This gives as a corollary a recent theorem of Außenhofer: For a connected locally compact abelian group G, the restriction homomorphism $r:\widehat{G}\rightarrow \widehat{G}_a$ defined by $r(\chi )=\chi \upharpoonright _{G_a}$ for $\chi \in \widehat{G}$, is a topological isomorphism. We show that an infinite compact group G is connected if and only if its arc component G_a contains a super‐sequence converging to the identity that is qc‐dense in G and generates a dense subgroup of G. We also offer a short alternative proof of the result of Hofmann and Morris on the existence of suitable sets of minimal size in the arc component of a compact connected group.     

A Survey of the Homotopy Properties of Inclusion of Certain Types of Configuration Spaces into the Cartesian Product

Let X be a topological space.In this survey the authors consider several types of configuration spaces,namely,the classical(usual)configuration spaces F_n(X)and D_n(X),the orbit configuration spaces F_n~G(X)and F_n~G(X)/S_nwith respect to a free action of a group G on X,and the graph configuration spaces F_n~Γ(X)and F_n~Γ(X)/H,whereΓis a graph and H is a suitable subgroup of the symmetric group S_n.The ordered configuration spaces F_n(X),F_n~G(X),F_n~Γ(X)are all subsets of the n-fold Cartesian product ∏_1~nX of X with itself,and satisfy F_n~G(X)?F_n(X)?F_n~Γ(X)?∏_1~nX.If A denotes one of these configuration spaces,the authors analyse the difference between A and ∏_1~nXfrom a topological and homotopical point of view.The principal results known in the literature concern the usual configuration spaces.The authors are particularly interested in the homomorphism on the level of the homotopy groups of the spaces induced by the inclusionι:A-→∏_1~nX,the homotopy type of the homotopy fibre I_ιof the mapιvia certain constructions on various spaces that depend on X,and the long exact sequence in homotopy of the fibration involving I_ιand arising from the inclusionι.In this respect,if X is either a surface without boundary,in particular if X is the 2-sphere or the real projective plane,or a space whose universal covering is contractible,or an orbit space S~k/Gof the k-dimensional sphere by a free action of a Lie group G,the authors present recent results obtained by themselves for the first case,and in collaboration with Golasi′nski for the second and third cases.The authors also briefly indicate some older results relative to the homotopy of these spaces that are related to the problems of interest.In order to motivate various questions,for the remaining types of configuration spaces,a few of their basic properties are described and proved.A list of open questions and problems is given at the end of the paper.     

Characterizations of regular almost periodicity in compact minimal abelian flows

Regular almost periodicity in compact minimal abelian flows was characterized for the case of discrete acting group by W. Gottschalk and G. Hedlund and for the case of -dimensional phase space by W. Gottschalk a few decades ago. In 1995 J. Egawa gave characterizations for the case when the acting group is . We extend Egawa's results to the case of an arbitrary abelian acting group and a not necessarily metrizable phase space. We then show how our statements imply previously known characterizations in each of the three special cases and give various other applications (characterization of regularly almost periodic functions on arbitrary abelian topological groups, classification of uniformly regularly almost periodic compact minimal - and -flows, conditions equivalent with uniform regular almost periodicity, etc.).

     

$C(X)$上的开点与紧开拓扑

In this note we define a new topology on C(X),the set of all real-valued continuous functions on a Tychonoff space X.The new topology on C(X) is the topology having subbase open sets of both kinds:[f,C,ε[={g E C(X):|f(x)-g(x)| ε for every x∈C} and[U,r]~-={g∈C(X):g~(-1)(r)∩U≠φ},where f∈C(X),C∈KC(X)={nonempty compact subsets of X},ε 0,while U is an open subset of X and r∈R.The space C(X) equipped with the new topology T_(kh) which is stated above is denoted by C_(kh)(X).Denote X_0={x∈X:x is an isolated point of X} and X_c={x∈X:x has a compact neighborhood in X}.We show that if X is a Tychonoff space such that X_0=X_c,then the following statements are equivalent:(1) X_0 is G_δ-dense in X;(2) C_(kh)(X) is regular;(3) C_(kh)(X) is Tychonoff;(4) C_(kh)(X) is a topological group.We also show that if X is a Tychonoff space such that X_0=X_c and C_(kh)(X) is regular space with countable pseudocharacter,then X is σ-compact.If X is a metrizable hemicompact countable space,then C_(kh)(X) is first countable.     

The rank and generating set for inverse limits of wreath products of Abelian groups

We derive an exact formula for the topological rank d(W) of the inverse limit ${W = \ldots \wr A_2 \wr A_1}$ of iterated wreath products of arbitrary nontrivial finite Abelian groups. By using the language of automorphisms of a spherically homogeneous rooted tree, we construct and study a topological generating set for W with cardinality ${d(A_1) + \rho'}$ , where ${\rho'}$ is the topological rank of the profinite Abelian group ${A_2 \times A_3 \times \cdots}$ . In particular, if the group A ₁ is cyclic, this approach gives a minimal generating set for W.     

On the Rank of the Semigroup TE(X)

${\cal T}_X $ denotes the full transformation semigroup on a set $ X $. For a nontrivial equivalence $E$ on $X$, let \[ T_E (X) =\{ f\in {\cal T}_X : \forall \, (a,b)\in E,\, (af,bf)\in E \} . \] Then $T_E (X) $ is exactly the semigroup of continuous selfmaps of the topological space $X$ for which the collection of all $E$-classes is a basis. In this paper, we first discuss the rank of the homeomorphism group $G$, and then consider the rank of $T_E (X)$ for a special case that the set $X$ is finite and that each class of the equivalence $E$ has the same cardinality. Finally, the rank of the closed selfmap semigroup $\Gamma(X)$ of the space $X$ is observed. We conclude that the rank of $G$ is no more than 4, the rank of $T_E (X)$ is no more than 6 and the rank of $\Gamma(X)$ is no more than 5.     

On the spectral norm of algebraic numbers

In this paper we continue to study the spectral norms and their completions ([4]) in the case of the algebraic closure $ \overline {\mathbb Q} $ of ? in ?. Let $ \widetilde{\overline{\mathbb{Q}}} $ be the completion of $ \overline {\mathbb Q} $ relative to the spectral norm. We prove that $ \widetilde{\overline{\mathbb{Q}}} $ can be identified with the R‐subalgebra of all symmetric functions of C(G), where C(G) denotes the ?‐Banach algebra of all continuous functions defined on the absolute Galois group G = Gal$ {\overline {\mathbb Q}} / {\mathbb Q} $. We prove that any compact, closed to conjugation subset of ? is the pseudo‐orbit of a suitable element of $ \widetilde{\overline{\mathbb{Q}}} $. We also prove that the topological closure of any algebraic number field in $ \widetilde{\overline{\mathbb{Q}}} $ is of the form $\widetilde{\mathbb{Q}[x]}$ with x in $ \widetilde{\overline{\mathbb{Q}}} $.     

Flat covers and cotorsion envelopes of sheaves

In this paper we prove that any sheaf of modules over any topological space (in fact, any -module where is a sheaf of rings on the topological space) has a flat cover and a cotorsion envelope. This result is very useful, as we shall explain later in the introduction, in order to compute cohomology, due to the fact that the category of sheaves ( -modules) does not have in general enough projectives.