• The Pure and Applied Mathematics
• /
• v.2 no.2
• /
• pp.157-162
• /
• 1995

Let I be the interval, $S^1$ the circle and let X be a compact metric space. And let $C^{circ}(X,\;X)$ denote the set of continuous maps from X into itself. For any f$f\in\;C\circ(X,\;X),\;let\;P(f),\;R(f),\;\Gamma(f),\;\Lambda(f)\;and\;\Omega(f)$ denote the collection of the periodic points, recurrent points, ${\gamma}-limit{\;}points,{\;}{\omega}-limit$ points and nonwandering points, respectively.(omitted)

• The Mathematical Education
• /
• v.16 no.2
• /
• pp.22-26
• /
• 1978

It is shown that a map having an extension to an open map between the Alex-androff base compactifications of its domain and range has a unique such extension. J.S. Wasileski has introduced the Alexandroff base compactifications of Hausdorff spaces endowed with Alexandroff bases. We introduce a definition of morphism between such spaces to obtain a category which we denote by ABC. We prove that the Alexandroff base compactification on objects can be extended to a functor on ABC and that the compact objects give an epireflective subcategory of ABC. For each topological space X there exists a completely regular space $\alpha$X and a surjective continuous function $\alpha$$_{x}$ : Xlongrightarrow$\alpha$X such that for each completely regular space Z and g$\in$C (X, Z) there exists a unique g$\in$C($\alpha$X, 2) with g=g$^{\circ}$$\beta$$_{x}$. Such a pair ($\alpha$$_{x}$, $\alpha$X) is called a completely regularization of X. Let TOP be the category of topological spaces and continuous functions and let CREG be the category of completely regular spaces and continuous functions. The functor $\alpha$ : TOPlongrightarrowCREG is a completely regular reflection functor. For each topological space X there exists a compact Hausdorff space $\beta$X and a dense continuous function $\beta$x : Xlongrightarrow$\beta$X such that for each compact Hausdorff space K and g$\in$C (X, K) there exists a uniqueg$\in$C($\beta$X, K) with g=g$^{\circ}$$\beta$$_{x}$. Such a pair ($\beta$$_{x}$, $\beta$X) is called a Stone-Cech compactification of X. Let COMPT$_2$ be the category of compact Hausdorff spaces and continuous functions. The functor $\beta$ : TOPlongrightarrowCOMPT$_2$ is a compact reflection functor. For each topological space X there exists a realcompact space (equation omitted) and a dense continuous function (equation omitted) such that for each realcompact space Z and g$\in$C(X, 2) there exists a unique g$\in$C (equation omitted) with g=g$^{\circ}$(equation omitted). Such a pair (equation omitted) is called a Hewitt's realcompactification of X. Let RCOM be the category of realcompact spaces and continuous functions. The functor (equation omitted) : TOPlongrightarrowRCOM is a realcompact refection functor. In [2], D. Harris established the existence of a category of spaces and maps on which the Wallman compactification is an epirefiective functor. H. L. Bentley and S. A. Naimpally [1] generalized the result of Harris concerning the functorial properties of the Wallman compactification of a T$_1$-space. J. S. Wasileski [5] constructed a new compactification called Alexandroff base compactification. In order to fix our notations and for the sake of convenience. we begin with recalling reflection and Alexandroff base compactification.

• Kyungpook Mathematical Journal
• /
• v.49 no.3
• /
• pp.573-582
• /
• 2009

This paper is indented to explain a dynamics on homotopies on the compact metric space, by the envelopes of homotopies. It generalizes the notion of not only the envelopes of maps in discrete geometry ([3]), but the envelopes of flows in continuous geometry ([5]). Certain distinctions among the homotopy geometry, the ow geometry and the discrete geometry will be illustrated. In particular, it is shown that any ${\omega}$-limit set, as well as any attractor, for an envelope of homotopies is an empty set (provided the homotopies that we treat are not trivial), whereas it is nonempty in general in discrete case.

• The Pure and Applied Mathematics
• /
• v.3 no.2
• /
• pp.155-162
• /
• 1996

We will show that let X and Y be M -finite Banach spaces with canonical M-decompositions $X{\cong}{{\prod}^{{\gamma}_{\infty}}_{i=1}}{X^{n_i}}_{i}\;and\;Y{\cong}{{\prod}^{{\bar{\gamma}}_{\infty}}_{j=1}}{\tilde{Y}^{m_j}}_{j}$, respectively and M and N nonzero locally compact Hausdorff spaces. Then I : $C_{0}$(M,X) ${\longrightarrow}\;C_{0}$(N,Y) is an isometrical isomorphism if and only if r = $\bar{r}$ and there are permutation and homeomorphisms and continuous maps such that I = ${I^{-1}}_{N.Y}\;{\circ}I_{w}^{-1}{\circ}({{\prod}^{\gamma}}_{i=1}I_{t_i,u_i}){\circ}I_{M,X}$.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.139-149
• /
• 1989

pp.Hartman and G. Stampacchia [6] proved the following theorem in 1966: If f:X.rarw. $R^{n}$ is a continuous map on a compact convex subset X of $R^{n}$ , then there exists $x_{0}$ ..mem.X such that $x_{0}$ , $x_{0}$ -x>.geq.0 for all x.mem.X. This remarkable result has been investigated and generalized by F.E. Browder [1], [2], W. Takahashi [9], S. Park [8] and others. For example, Browder extended this theorem to a map f defined on a compact convex subser X of a topological vector space E into the dual space $E^{*}$; see [2, Theorem 2]. And Takahashi extended Browder's theorem to closed convex sets in topological vector space; see [9, Theorem 3]. In Section 2, we obtain some variational inequalities, especially, generalizations of Browder's and Takahashi's theorems. The generalization of Browder's is an earlier result of the first author [8]. In Section 3, using Theorem 1, we improve and extend some known fixed pint theorems. Theorems 4 and 8 improve Takahashi's results [9, Theorems 5 and 9], respectively. Theorem 4 extends the first author's fixed point theorem [8, Theorem 8] (Theorem 5 in this paper) which is a generalization of Browder [1, Theroem 1]. Theorem 8 extends Theorem 9 which is a generalization of Browder [2, Theorem 3]. Finally, in Section 4, we obtain variational inequalities for multivalued maps by using Theorem 1. We improve Takahashi's results [9, Theorems 21 and 22] which are generalization of Browder [2, Theorem 6] and the Kakutani fixed point theorem [7], respectively.ani fixed point theorem [7], respectively.

• Communications of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.951-965
• /
• 2019

Let $f:X{\rightarrow}X$ be a continuous map on a compact metric space (X, d) and for an arbitrary $x{\in}X$, $${\mathcal{SC}}_d(x,f):=\{y{\mid}x{\text{ can be strong }}d-{\text{chain to }}y\}$$. We give an example to show that ${\mathcal{SC}}_d(x,f)$ is dependent on the metric d on X but it is a closed and f-invariant set. We prove that if ${\mathcal{SC}}_d(x,f){\supseteq}{\Omega}(f)$ or f has the asymptotic-average shadowing property, then ${\mathcal{SC}}_d(x,f)=X$. Also, we show that if f has the shadowing property, then ${\lim}\;{\sup}_{n{\in}{\mathbb{N}}}\{f^n\}={\mathcal{SC}}_d(f)$ where ${\mathcal{SC}}_d(f)=\{(x,y){\mid}y{\in}{\mathcal{SC}}_d(x,f)\}$. For each $n{\in}{\mathbb{N}}$, we give an example in which ${\mathcal{SCR}}_d(f^n){\neq}{\mathcal{SCR}}_d(f)$. In spite of it, we prove that if $f^{-1}:(X,d){\rightarrow}(X,d)$ is an equicontinuous map, then ${\mathcal{SCR}}_d(f^n)={\mathcal{SCR}}_d(f)$ for all $n{\in}{\mathbb{N}}$.