1: \documentclass[11pt]{amsart2000}
2: %\documentclass[11pt]{amsart}
3: \usepackage{epsfig}
4: \newtheorem{lem}{Lemma}[section]
5: \newtheorem{prop}[lem]{Proposition}
6: \newtheorem{thm}[lem]{Theorem}
7: \newtheorem{cor}[lem]{Corollary}
8: \theoremstyle{definition}
9: \newtheorem{defn}[lem]{Definition}
10: \newtheorem{rem}[lem]{Remark}
11: \newtheorem{exam}[lem]{Example}
12:
13: \begin{document}
14: \setlength{\unitlength}{0.01in}
15: \linethickness{0.01in}
16: \begin{center}
17: \begin{picture}(474,66)(0,0)
18: \multiput(0,66)(1,0){40}{\line(0,-1){24}}
19: \multiput(43,65)(1,-1){24}{\line(0,-1){40}}
20: \multiput(1,39)(1,-1){40}{\line(1,0){24}}
21: \multiput(70,2)(1,1){24}{\line(0,1){40}}
22: \multiput(72,0)(1,1){24}{\line(1,0){40}}
23: \multiput(97,66)(1,0){40}{\line(0,-1){40}}
24: \put(143,66){\makebox(0,0)[tl]{\footnotesize Proceedings of the Ninth Prague Topological Symposium}}
25: \put(143,50){\makebox(0,0)[tl]{\footnotesize Contributed papers from the symposium held in}}
26: \put(143,34){\makebox(0,0)[tl]{\footnotesize Prague, Czech Republic, August 19--25, 2001}}
27: \end{picture}
28: \end{center}
29: \vspace{0.25in}
30: \setcounter{page}{75}
31: \title{On finite $T_0$ topological spaces}
32: \author{A. El-Fattah El-Atik}
33: \address{Ernst-Moritz-Arndt-Universit\"at,
34: Institut f\"ur Mathematik und Informatik, Jahnstr. 15a, 17487
35: Greifswald, Germany}
36: \email{elatik@mail.uni-greifswald.de}
37: \address{From November 20,2001 the new address will be\\
38: Department of Mathematics, Faculty of Science,
39: Tanta University, Tanta, Egypt}
40: \email{aatik@dec1.tanta.eun.eg}
41: \author{M. E. Abd El-Monsef}
42: \address{Department of Mathematics, Faculty of Science,
43: Tanta University, Tanta, Egypt}
44: \author{E. I. Lashin}
45: \address{Department of Mathematics, Faculty of Engineering,
46: Tanta University, Tanta, Egypt}
47: \subjclass[2000]{Primary: 54B10, 54D30; Secondary: 54A05, 54G99}
48: \keywords{$T_0$ spaces, finite $T_0$ spaces, minimal neighborhoods,
49: partially ordered sets, multifunctions, topological dimension, weak
50: continuity}
51: \begin{abstract}
52: Finite topological spaces became much more essential in topology, with the
53: development of computer science.
54: The task of this paper is to study and investigate some properties of such
55: spaces with the existence of an ordered relation between their minimal
56: neighborhoods.
57: We introduce notations and elementary facts known as Alexandroff
58: space~\cite{arenas1, arenas2, adg}.
59: The family of minimal neighborhoods forms a unique minimal base.
60: We consider $T_0$ spaces.
61: We give a link between finite $T_0$ spaces and the related partial order.
62: Finally, we study some properties of multifunctions and their
63: relationships with connected ordered topological spaces.
64: \end{abstract}
65: \thanks{A. El-Fattah El-Atik, M. E. Abd El-Monsef and E. I. Lashin,
66: {\em On finite $T_0$ topological spaces},
67: Proceedings of the Ninth Prague Topological Symposium, (Prague, 2001),
68: pp.~75--90, Topology Atlas, Toronto, 2002}
69: \maketitle
70:
71: \section{Introduction and Preliminaries}
72:
73: Finite spaces were first studied by P.A.~Alexandroff in 1937
74: in~\cite{alex}.
75: Actually, finite spaces had been more earlier investigated by many authors
76: under the name of simplicial complexes.
77: There were several other contributions by Flachsmeyer in 1961 \cite{flac},
78: Stong in 1966 \cite{ston} and L. Lotz in 1970 \cite{lot}.
79: Rinow \cite{rin} in his book discussed some properties of finite spaces.
80: However, the subject has never been considered as a main field of
81: topology.
82:
83: With the progress of computer technology, finite spaces have become more
84: important.
85: Herman in 1990 \cite{her}, Khalimsky and et.~al.\ in 1990 \cite{khal},
86: Kong and Kopperman in 1991 \cite{kon} have been applied them to model the
87: computer screen. In this paper we focus on finite spaces with
88: order.
89: The main importance of our study is to offer a new formulations for some
90: topological operators in general topology such as interior, closure,
91: boundary and exterior operators.
92: We present and study comparisons between some topological properties in
93: the case of finite spaces.
94: In what follows, by $X$ we mean always mean a finite $T_0$ space.
95: For each $A\subset X$, the closure (resp.\ interior, exterior,
96: boundary) of $A$ will be denoted by $\overline{A}$
97: (resp.\ $\mbox{ int }(A)$, $\mbox{ ext }(A)$, $\partial A$).
98:
99: For each point $x$ in a space $X$, there is a smallest neighborhood which
100: is contained in each other neighborhood of $x$.
101: For each $x\in X$, let
102: \[U_x = \bigcap \{V: V \mbox{ is an open set containing }x \}\] Clearly
103: $U_x$ is the smallest open set containing $x$ since $X$ is finite.\\
104:
105: Alexandroff spaces are the topological spaces in which each element is
106: contained in a smallest open set or equivalently the spaces where
107: arbitrary intersections of open sets are open.
108: It is clear that all finite
109: spaces are locally finite and all locally finite spaces are Alexandroff.
110:
111: \begin{lem} \label{l:baseft}
112: The class $\mathcal{U} = \{U_x: x\in X\}$ is a base for a finite space $(X, \tau)$.
113: Each base of $\tau$ contains $\mathcal{U} $.
114: \end{lem}
115:
116: Notice that if $X$ is Alexandroff, then $X$ is $T_1$ if and only if
117: $U_x= \{x\}$.
118: It follows that $X$ is discrete and so every point is an isolated point.
119:
120: \begin{rem}\label{r:twominnbd}
121: Observe that if $x$ and $y$ are two points in a space $X$, then $y\in U_x$
122: if and only if $U_y \subseteq U_x$.
123: \end{rem}
124:
125: \begin{defn}\label{d:relation}\cite{alek}
126: For two points $x, y\in X$, ~$y\geq x$ if ~$U_y\subseteq U_x$.
127: \end{defn}
128:
129: \begin{rem}
130: From Definition~\ref{d:relation}, the relation $\geq $ is reflexive and
131: transitive since $\subseteq$ is so.
132: \end{rem}
133:
134: \begin{prop}\label{p:rewclosure}
135: In a space $X$, $y\geq x$ if and only if $x\in \overline{\{y\}}$.
136: In such case, $x$ is said to be identified with $y$.
137: \end{prop}
138:
139: \begin{proof}
140: Let $y\geq x$ and $y\neq x$.
141: Then $y\in U_x$ which is the smallest open set containing $x$.
142: Then for any open set $G$ containing $x$, we have
143: $(G\setminus \{x\})\cap \{y\}\neq \phi$.
144: This means $x$ is an accumulation point of $y$.
145: Therefore $x\in \overline{\{y\}}$.
146: Conversely, let $x\in \overline{\{y\}}$.
147: Then $G\cap \{y\}\neq \phi$ for every open sets $G$ containing $x$.
148: So $y\in G$ for every open set $G$.
149: Take $G= U_x$.
150: By Remark~\ref{r:twominnbd}, we get $U_y\subseteq U_x$.
151: This shows that $y\geq x$.
152: \end{proof}
153:
154: The following example will be used throughout the paper.
155:
156: \begin{exam}[The class of topologies on a set with three points]
157: \label{ex:thptnbd}
158: We give a list of all topologies on the set $X= \{x, y, z\}$ up to
159: homeomorphic topologies.
160: There are 9 topologies, with the following $U_x$, $U_y$ and $U_z$:
161: \begin{itemize}
162: \item[\textbf{\large $\tau_1$}]
163: All three points are isolated. This is the discrete topology and $U_x=
164: \{x\}$, $U_y=\{y\}$, $U_z= \{z\}$.
165: \end{itemize}
166: Now, we assume that the topology has only two isolated points ,
167: say, $U_x=\{x\}$ and $U_y= \{y\}$. We have two cases concerning
168: $U_z$:
169: \begin{itemize}
170: \item[\textbf{\large $\tau_2 $}]
171: The neighborhood of $U_z$ has two points. We can assume $U_z= \{x, z\}$.
172: \item[\textbf{\large $\tau_3 $}]
173: The neighborhood of $U_z$ has three points, $U_z= X$.
174: \end{itemize}
175: Next, we consider the case that the topology has only one isolated
176: point, say, $U_x= \{x\}$. Again, we have to distinguish between
177: different cases concerning $U_y$ and $U_z$:
178: \begin{itemize}
179: \item[\textbf{\large $\tau_4$}]
180: Both $U_y$ and $U_z$ have three points. Then $U_y= U_z= X$.
181: \item[\textbf{\large $\tau_5$}]
182: One neighborhood, say $U_z$, has three points and $U_y$ has two
183: points. Then $U_y= \{y, z\}$ is not possible, so $U_y= \{x, y\}$.
184: \item[\textbf{\large $\tau_6$}]
185: Both neighborhoods have two points and are equal $U_y= U_z= \{y, z\}$.
186: \item[\textbf{\large $\tau_7 $}]
187: $U_x$ and $U_y$ have two points and are different. Then they can not be
188: $\{y, z\}$. Thus $U_y= \{x, y\}$ and $U_z= \{x, z\}$.
189: \end{itemize}
190: Finally, we have two cases without isolated points:
191: \begin{itemize}
192: \item[\textbf{\large $\tau_8$}]
193: There is a neighborhood with two points, say, $U_x= \{x, y\}$. Then the
194: neighborhood of $z$ must have three points. Thus $U_x= U_y= \{x, y\}$ and
195: $U_z= X$.
196: \item[\textbf{\large $\tau_9$}]
197: All neighborhoods have three points, then $U_x= U_y= U_z= X$.
198: \end{itemize}
199: Figure~\ref{f:figps} shows this class of topologies with its minimal
200: neighborhoods.
201: The smallest ellipse refers to a singleton, the middle is a two points
202: neighborhood and the biggest one is the whole space $X$.
203:
204: \begin{figure}
205: \centering \epsfxsize100mm \epsfysize120mm
206: \centerline{\epsffile{figure.eps}}
207: \caption{Topological spaces with minimal neighborhoods.}\label{f:figps}
208: \end{figure}
209: \end{exam}
210:
211: \section{$T_0$ Properties and Associated Partial Order}
212:
213: In this section, we investigate some properties of $T_0$ spaces
214: such that for two distinct points $x$, $y$ in $X$, $x\geq y$ and
215: $y\geq x$ only true if $U_x= U_y$. If $\mathcal{U} (x)$ denote the
216: neighborhood system of $x$. Recall that a space is $T_0$ if and
217: only if $\mathcal{U} (x)\neq \mathcal{U} (y)$ for $x\neq y$.
218:
219: \begin{rem}
220: The topologies $\tau_i$ for $i\in \{1, 2, 3, 5, 7\}$, in
221: Example~\ref{ex:thptnbd}, are $T_0$. Any two elements in
222: Figure~\ref{f:figps} with the same neighborhood is not $T_0$ such
223: as $\tau_j$ for $j\in \{4, 6, 8, 9\}$.
224: \end{rem}
225:
226: \begin{defn}\label{d:twonbdsys}
227: For points $x, y$ in a topological space $X$, $y\geq x$ if $\mathcal{U}
228: (y)\supseteq \mathcal{U} (x)$. Notice that $\supseteq$ means more numbers
229: of neighborhoods.
230: \end{defn}
231:
232: \begin{rem}
233: The relation $\geq$ is reflexive and transitive, since this is
234: true for $\supseteq$. In a $T_0$ space, it is also antisymmetric.
235: Then $\geq$ is a partial order in $T_0$ spaces.
236: \end{rem}
237:
238: \begin{defn}\label{d:openinparor}
239: Let $(X, \leq)$ be a partially ordered set and $U\subseteq X$. We
240: say that $U$ is open if whenever $x\in U$ and $y\geq x$ it is also
241: the case that $y\in U$.
242: \end{defn}
243:
244: In the following result we denote by the set of open subsets of
245: $X$ by $\mathcal{U} _ \leq $.
246:
247: \begin{prop}
248: If $(X, \leq)$ is a partially ordered set, then $(X, \mathcal{U} _{\leq})$
249: is a finite $T_0$ space.
250: \end{prop}
251: \begin{proof}
252: Clearly, $X$ and $\phi$ are elements in $\mathcal{U} _\leq$.
253: Let $U_i \in \mathcal{U} _\leq \mbox{ for every } i\in I$.
254: For any $x\in \bigcup\limits_{i\in I}U_i$ and $y\geq x$, there is
255: $i_0\in I$ such that $x\in U_{i_0}$.
256: By openness of $U_{i_0}$, we have $y\in U_{i_0}$ and
257: $y\in \bigcup\limits_{i\in I}U_i$.
258: Therefore
259: $\bigcup\limits_{i\in I}U_i\in \mathcal{U} _\leq$.
260: Also, if $A$ and $B$ are elements in $\mathcal{U} _\leq$, then
261: $A\cap B \in \mathcal{U} _\leq$.
262: To show $T_0$, consider two distinct elements $x, y \in X$.
263: Clearly, $x\in U_x$ and $y\in U_y$.
264: If $y\not\in U_x$, the proof is complete.
265: If $y\in U_x$, $y\geq x$, by the antisymmetry of $\leq$, $x\not\geq y$
266: and so $x\notin U_y$ which also completes the proof.
267: \end{proof}
268:
269: \begin{rem}
270: The closure of any singleton $p$ of a finite $T_0$ space $(X,
271: \mathcal{U} _\leq)$ has the form $\overline {\{p\}}= \{x : x\leq p\}$.
272: \end{rem}
273:
274: \begin{rem}
275: The order relation $\leq$ is not useful in $T_1$ spaces, because
276: there are no comparable elements. In other words, since for every
277: two distinct points $x$ and $y$ in a $T_1$ space,
278: $\overline{\{x\}}\neq \overline{\{y\}}$, then the relation $x\leq
279: y$ is never satisfied. Thus $\leq$ is a good tool only for $T_0$
280: spaces which are not $T_1$.
281: \end{rem}
282:
283: \begin{prop}\label{p:tswisolated}
284: A finite $T_0$ space contains an isolated point.
285: \end{prop}
286: \begin{proof}
287: Obvious.
288: \end{proof}
289:
290: \begin{rem}
291: Finite spaces with isolated points need not be $T_0$. Each of
292: $\tau_4$ and $\tau_6$ in figure~\ref{f:figps} of
293: example~\ref{ex:thptnbd} has an isolated points, but not $T_0$.
294: \end{rem}
295:
296: \begin{prop}\label{p:openisolated}
297: Every open set in a finite $T_0$ space contains an isolated point.
298: \end{prop}
299:
300: \begin{proof}
301: Let $G$ be an arbitrary open set in $X$. Then $G$ is a finite open
302: $T_0$ subspace. By Proposition~\ref{p:tswisolated}, there is an
303: isolated point $x$ in $G$. Since $G$ is open in $X$, then $x$ must
304: be isolated point in $X$.
305: \end{proof}
306:
307: \section{Some Topological Properties}
308:
309: In this paper, some of topological operators which are well known
310: for topologists have new forms with respect to the Alexandroff's
311: notion of order.
312:
313: \begin{prop} \label{p:upperlower}
314: In any finite space, the open (closed) points are the maximal
315: (minimal) elements. Therefore $U$ is an open set if it contains
316: its upper bounds. By the complement, $F$ is closed if it contains
317: its lower bounds.
318: \end{prop}
319: \begin{proof}
320: By Definition~\ref{d:relation} and Proposition~\ref{p:rewclosure},
321: the partial order $x\leq y$ for points $x, y$ in a finite $T_0$
322: space $X$ was defined by $y\in U_x$ or $x\in \overline {\{y\}}$.
323: This means that for open points $\{x\}= U_x$, there is no strictly
324: larger $y$. Thus the open points are the maximal elements in $X$.
325: Similarly, for a closed point $y$, if $U_x= \{x\}$, then $x\leq y$
326: implies $y= x$. Hence the closed points are the minimal elements.
327: \end{proof}
328:
329: \begin{prop}\label{p:interiorset}
330: In a finite topological space $X$, the interior of a subset
331: $A\subset X$, $\mbox{ int }A$, is the set of all points $a\in A$
332: such that for every $b\geq a$ it is also true that $b\in A$. In
333: other words, the elements of $\mbox{ int }A$ are all upper bounds
334: of $X$ belonging to $A$.
335: \end{prop}
336: \begin{proof}
337: We prove that $\mbox{ int }A= \{a\in A: b\geq a \mbox{ implies }
338: b\in A\}$. For $``\subseteq''$, let $a\in \mbox{int}(A)$ that is
339: $U_a\subseteq A$ for $\mbox{ int }A$ is the greatest open set
340: contained in $A$. But $U_a= \{b: b\geq a\}$. For $``\supseteq''$, if
341: $b\in A$ for all $b\geq a$. That means $U_a \subseteq A$, then
342: $a\in \mbox{ int }A$.
343: \end{proof}
344:
345: \begin{prop} \label{p:closureset}
346: For a subset $A$ in a finite topological space $X$, the closure of
347: $A$, $\overline A$, is the set of points $b\in X$ such that $b\leq
348: a$ for some $a\in A$. In other words, $\overline A$ is the set of
349: all lower bounds of points of $A$.
350: \end{prop}
351: \begin{proof}
352: In a finite topological space $X$, $\overline A=
353: \bigcup\limits_{a\in A}\overline {\{a\}}$. By the definition of
354: $\leq$, we have $\overline {\{a\}}= \{b: b\leq a\}$ and the claim.
355: \end{proof}
356:
357: \begin{prop}\label{p:clint}
358: For a finite topological space $X$, the closure of an interior of
359: a subset $A$ of $X$, $\overline {\mbox{ int }A}$, is the set of
360: all $x$ in $X$ such that there exists a maximal element $a\in A$
361: with $a\geq x$.
362: \end{prop}
363: \begin{proof}
364: By Proposition~\ref{p:closureset}, $\overline{\mbox{ int }A}=
365: \bigcup\{b: b\leq a \mbox{ for some }a\in \mbox{ int }A \}$. Since
366: $a\in\mbox{int }A $, then all $c\geq a$ are also in $A$. Therefore
367: $\overline {\mbox{ int }A}= \bigcup\{b: b\leq a \mbox{ for }a\in A
368: \}$. Since we have a finite ordered set, there is a maximal $c\geq
369: a$. Hence $\overline {\mbox{ int }A}$ is the lower bounds of
370: maximal elements in $A$.
371: \end{proof}
372:
373: \begin{prop}\label{p:intcl}
374: In a finite topological space $X$, the interior of a closure of
375: $A\subset X$,$\mbox{ int }\overline A$, is the points $x\in X$
376: such that all maximal elements $y\geq x$ belong to $A$.
377: \end{prop}
378: \begin{proof}
379: From~\ref{p:interiorset} and \ref{p:closureset}, we have
380: \begin{eqnarray}
381: \mbox{ int }\overline A &=& \{a\in \overline A: b\geq a \mbox{
382: implies }b\in \overline A \}\nonumber\\
383: &=& \{a\in \overline A: b\geq a \mbox{ implies that there is }c\in
384: A, c\geq b\}\nonumber\\
385: &=& \{a\in \overline A: \mbox{ all maximal elements }b\geq a
386: \mbox{ must belong to }A\}\nonumber
387: \end{eqnarray}
388: To prove the equality, if $b$ is maximal, then $b\in A$ since
389: there is no other $c$ in $A$. Hence $b\in \mbox{int}\overline A$.
390: On the other hand, if all elements in $A$ are maximal and $b\geq
391: a$, then there is a maximal $c\geq b$ with $c\in A$.
392: \end{proof}
393:
394: In finite topological spaces, From Propositions~\ref{p:clint}~
395: and~\ref{p:intcl}, we have $\mbox{int}\overline A\subseteq
396: \overline {\mbox{ int }A}$. The following example shows that the
397: inverse inclusion is not always true.
398:
399: \begin{exam}\label{ex:closint}
400: Consider the topology $\tau_3$ in Example~\ref{ex:thptnbd}. If $A=
401: \{y, z\}$, we get $\mbox{ int }{\overline A}= \{y\}$ and
402: $\overline{\mbox{ int }A}= \{y, z\}$. Therefore
403: $\mbox{int}\overline A \not\supseteq \overline {\mbox{ int } A}$.
404: \end{exam}
405:
406: In 1961, Levine \cite{levine1} introduced the notion of semi-open
407: set in any topological space. A subset $A$ in a topological space
408: $X$ is called semi-open if and only if $A\subset \overline {\mbox{
409: int }A}$. In 1982, Mashhour et.~al.\ \cite{mash} defined the
410: concept of preopen set. A subset $A$ is preopen in $X$ if and only
411: if $A\subset \mbox{ int }{\overline A}$. There are no implications
412: between these two concepts. This means that semiopen sets need not
413: be preopen and conversely. In 1997, Abd El-Monsef et.~al.\
414: \cite{abdel} defined the concept of $\gamma$-open set as a union
415: of semi-open and preopen sets which is equivalent to $A\subset
416: \mbox{ int }{\overline A} \cup \overline {\mbox{ int }A}$, for any
417: subset $A$ of $X$. From the relation $\mbox{int}\overline
418: A\subseteq \overline {\mbox{ int }A}$, we obtain a new implication
419: between types of near openness in finite topological spaces.
420:
421: \begin{rem}\label{r:semipre}
422: In a finite topological space $X$, the following are true:
423: \begin{enumerate}
424: \item[(i)] Every preopen set in $X$ is semi-open. The converse
425: may not be true as it is shown in Example~\ref{ex:closint}
426: \item[(ii)] Semiopen sets coincide with $\gamma$-open sets.
427: The following diagram shows the relation between these notions in a
428: finite case.
429:
430: $$\begin{array}{crccr}
431: \textbf{\large openness}&\Longrightarrow& \textbf {\large
432: preopenness}& \\
433: &&\Downarrow&& \\
434: \textbf{\large $\gamma $-openness }&\Longleftrightarrow
435: &\textbf{\large semi-openness}&&
436: \end{array}$$
437: \end{enumerate}
438: \end{rem}
439:
440: The axiom $T_0$ is necessary for satisfying the previous
441: implications. The following examples show this fact.
442:
443: \begin{exam}
444: Any subset of an indiscrete space is preopen but not semi-open,
445: since the indiscrete spaces are not $T_0$.
446: \end{exam}
447:
448: \begin{prop}
449: In a finite space $X$, the boundary of a subset $A$ of $X$ is the
450: set $b\in X$ such that $b\leq a$ for some $a\in A$ and $b\leq c$
451: for some $c\notin A$.
452: \end{prop}
453: \begin{proof}
454: It follows from the definition, $\partial A= \overline A\cap
455: \overline {X\setminus A}$, and Proposition~\ref{p:closureset}.
456: \end{proof}
457:
458: \begin{prop}
459: In a finite space $X$, the exterior of $A\subset X$ is the set of
460: points $x\in X$ such that for $b\geq x$ implies $b\notin A$.
461: \end{prop}
462: \begin{proof}
463: Since for any topological space $\mbox{ ext (A)}= X\setminus
464: {\overline A}= \mbox { int }(X\setminus A)$. By
465: Proposition~\ref{p:interiorset}, we have
466: \begin{eqnarray}
467: \mbox{ ext (A)}&=& \{ x\in X: b\geq x \mbox { implies }b\in
468: X\setminus A\}\nonumber\\
469: &=& \{x\in X: b\geq x \mbox { implies }b\notin A\}\nonumber
470: \end{eqnarray}
471: \end{proof}
472:
473: \section{The Dimension for Finite Spaces}
474:
475: The notion of a topological dimension has a sense for finite
476: spaces. Although we have only a finite number of points, all
477: finite dimensions are possible. We use the notion of inductive
478: dimension as stated by Engelking (\cite{eng}, Chapter 7). A
479: discrete space $X$ has dimension zero denoted by $\dim X= 1$,
480: since the neighborhoods have no boundaries. On the real line $R$,
481: the open intervals form a basis. The boundary of an interval
482: consist of two points which is a discrete space. Analogously, the
483: plane has dimension $\leq 2$ since a circumference has dimension
484: $\leq 1$. This is the typical situation in three-dimensional
485: spaces. This leads to the following definition.
486:
487: \begin{defn}(\cite{cain}, p.195) \label{d:dim}
488: Let $X$ be a topological space. $\dim X= -1$ if and only if $X=
489: \phi$. Let $n$ be a positive integer and $\dim X\leq k$ be defined
490: for each $k\leq n-1$. Then $\dim X\leq n$ if $X$ has a base
491: $\beta$ such that $\dim\partial B\leq n-1$ for all $ B\in\beta $.
492: \end{defn}
493: A base $\beta$ of any finite space will be replaced by the set of
494: all minimal neighborhoods for each of its points.
495:
496: \begin{prop}
497: For a finite space $X$, $\dim X\leq n$ if and only if the minimal
498: base $\mathcal{U} $ fulfils $\dim \partial U_x\leq n-1$ for each $U_x\in
499: \mathcal{U} $.
500: \end{prop}
501: \begin{proof}
502: If $\dim X\leq n$, then by definition~\ref{d:dim} it has a base
503: $\beta$ such that $\dim\partial B\leq n-1$ for all $ B\in\beta $.
504: By Lemma~\ref{l:baseft}, each $\beta$ contains $\mathcal{U} $. Then $\dim
505: \partial U_x\leq n-1$. The converse is obvious.
506: \end{proof}
507:
508: \begin{prop}
509: A topological space $X$ has dimension zero if and only if $X$ has
510: a base of clopen sets.
511: \end{prop}
512: \begin{proof}
513: It is clear that $\partial B= \phi$ if and only if $B$ is clopen.
514: Dimension zero means existence of a base with $\partial B= \phi$.
515: This condition is equivalent to $B$ being clopen. Since $\partial
516: B$ is containing those $x$ which are accumulation points of $B$
517: and its complement. For clopen sets $B$, we have $\partial B=
518: \phi$. On the other hand, if $\partial B= \partial (X\setminus B)=
519: \phi$, then $B$ and $X\setminus B$ are closed and so $B$ is
520: clopen.
521: \end{proof}
522:
523: \begin{prop}
524: Every finite $T_0$ space with base $\beta$ of clopen sets is
525: discrete.
526: \end{prop}
527: \begin{proof}
528: Since every zero dimensional $T_0$ space is $T_1$. then it is
529: closed as a consequence of the finiteness of the space.
530: \end{proof}
531:
532: Finiteness and $T_0$ axiom are necessary. It can be satisfied from
533: the following examples.
534:
535: \begin{exam}
536: The Cantor set $\{0, 1\}^{\infty}$ with product topology has a
537: base of clopen sets, but this space is not discrete.
538: \end{exam}
539:
540: \begin{exam}
541: In Example~\ref{ex:thptnbd}, the topology $\tau_6$ has a base
542: $\{\{x\}, \{y, z\}\}$ with clopen sets. $X$ is not discrete,
543: because $X$ is not $T_0$.
544: \end{exam}
545:
546: \begin{lem}\label{l:clopendiscrete}
547: Let $X= C\cup V$ such that every $c\in C$ is closed and $v\in V$
548: is open. Then each of $C$ and $V$ is a discrete subspace of $X$.
549: \end{lem}
550: \begin{proof}
551: Since $C$ is a finite closed subspace of $X$, then each $c\in C$
552: is a closed point in $C$. Then $C\setminus \{c\}$ is a finite
553: closed subset in $C$. So $\{c\}$ is an open point in $C$. This
554: means that $C$ is a discrete set. It is clear that $V$ is
555: discrete.
556: \end{proof}
557:
558: The following Proposition describes the finite one-dimensional
559: $T_0$ space.
560:
561: \begin{thm}\label{t:openorclosed}
562: Let $X$ be a finite $T_0$ space. Then $\dim X\leq 1$ if and only
563: if every singleton in $X$ is either open or closed.
564: \end{thm}
565: \begin{proof}
566: Let $X$ be a finite $T_0$ space. By
567: Proposition~\ref{p:tswisolated}, $X$ has an open point say $x_0$
568: and $U_{x_0}= \{x_0\}$. Since $\dim X\leq 1$, then $\dim \partial
569: (\{x_0\})= 0$ and so $\partial (\{x_0\})$ is discrete. This means
570: that each $y_0\in \partial (\{x_0\})$ is closed in $\partial
571: (\{x_0\})$. Since $\partial (\{x_0\})$ is closed in $X$, then
572: $\{y_0\}$ is also closed in $X$. Take $X^{'}= X\setminus
573: \mbox{cl}(\{x_0\})$ which is an open finite $T_0$ subspace of $X$.
574: By Proposition~\ref{p:openisolated}, $X^{'}$ has an open point set
575: $x_1$ and $U_{x_1}= \{x_1\}$ which is also open in $X$. Also $\dim
576: \partial (\{x_1\})= 0$, then $\partial (\{x_1\})$ is discrete. So,
577: each $y_1 \in \partial (\{x_1\})$ is closed in $\partial
578: (\{x_1\})$. Then $\{y_1\}$ is closed in $X$. Take $X^{''}=
579: X\setminus \mbox{cl}(\{x_0, x_1\})$. By continuing, the proof is
580: completed in one direction. Conversely, Suppose that singletons
581: are open or closed. By Lemma~\ref{l:clopendiscrete}, we have in
582: either cases discrete subspaces of $X$. Therefore the dimension of
583: each subspace is $X\leq 1$. Hence $\dim X\leq 1$.
584: \end{proof}
585:
586: \begin{defn}
587: The height of a partially ordered set $(X, \leq)$ is the degree of
588: a longest element of the increasing sequence $x_1< x_2<....< x_n$
589: of elements of $X$.
590: \end{defn}
591:
592: \begin{exam}
593: The discrete space has a height 1, since there are no comparable
594: elements i.e. no $x< y$. The space in which each point is either
595: open or closed of height 2, for $x< y$ is satisfied only for a
596: closed point $x$ and an open point $y$.
597: \end{exam}
598:
599: Theorem~\ref{t:openorclosed} can be reformulate as follows: The
600: dimension of a finite space $X$ is the height of a partially
601: ordered set $(X, \leq)$ minus 1.
602:
603: \begin{rem}
604: Recall that a space $(X, \tau)$ is called $T_{\frac{1}{2}}$ if
605: every generalized closed subset of $X$ is closed~\cite{levine2} or
606: equivalently if every singleton is either open or
607: closed~\cite{dunham}.\\
608: Observe that by Theorem~\ref{t:openorclosed}, every finite
609: $T_{\frac{1}{2}}$ space is a one dimensional $T_0$. It is also
610: clear that a space $X$ is $T_{\frac{1}{2}}$ if its non-closed
611: singletons are isolated.
612: \end{rem}
613:
614: \section{Density in Finite Spaces}
615:
616: In this section, we introduce some characterizations of density in
617: finite spaces.
618:
619: \begin{prop}\label{p:openpdense}
620: In finite $T_0$ spaces, the set of all open points is dense.
621: \end{prop}
622: \begin{proof}
623: Let $X$ be a finite $T_0$. By Proposition~\ref{p:tswisolated}, $X$
624: contains an isolated point. If $O= \{x: \{x\}\mbox{ is open }\}$.
625: Then by Proposition~\ref{p:openisolated}, every open set $G$
626: containing $x$ must intersect $O$. This means that $x\in \overline
627: O$. Hence $O$ is dense.
628: \end{proof}
629:
630: \begin{rem}
631: The condition $T_0$ is necessary in
632: Proposition~\ref{p:openpdense}. The singleton $\{x\}$ in $\tau_6$
633: of example~\ref{ex:thptnbd} is open but not dense.
634: \end{rem}
635:
636: \begin{prop}\label{p:denseiffopen}
637: A subset $A$ is dense in a finite $T_0$ space $X$ if and only if
638: it contains all open points of $X$.
639: \end{prop}
640: \begin{proof}
641: Let $O=\{x:\{x\}=U_x\}$ be the set of open points in $X$. If $A$
642: is a dense subset of $X$, by density, then $A$ must intersect
643: $U_x$. So, it must contain $x$. The converse case follows readily
644: from~Proposition~\ref{p:openpdense}.
645: \end{proof}
646:
647: \begin{cor}\label{c:denseconopen}
648: In finite $T_0$ spaces, each dense set contains an open dense set.
649: \end{cor}
650: \begin{proof}
651: Obvious from Proposition~\ref{p:openpdense} and
652: Proposition~\ref{p:denseiffopen}.
653: \end{proof}
654:
655: In Corollary~\ref{c:denseconopen}, The condition $T_0$ is
656: necessary.
657:
658: \begin{exam}
659: Consider the topology $\tau _6$ in Example~\ref{ex:thptnbd}. A
660: subset $\{a, c\}$ is dense. But it does not contain an open dense
661: subset.
662: \end{exam}
663:
664: Some topological concepts induced by density. Recall that $A$ is
665: said to be codense (resp. nowhere dense, dense-in-itself) if
666: $\mbox { int }(A)= \phi$ (resp. $\mbox { int }\overline A= \phi$,
667: $A= \mbox{ d}(A)$), where $\mbox{ d}(A)$ denotes the set of
668: accumulation points of $A$. Dense-in-itself of any $A\subseteq X$,
669: equivalently that $A$ does not have any isolated points. We state
670: these notions in the finite spaces.
671:
672: \begin{prop}
673: For arbitrary finite topological space $X$, the following are true
674: for any subset $A$ of $X$,
675: \begin{enumerate}
676: \item[(i)] It is co-dense if there is no upper bounds
677: belongs to $A$.
678: \item[(ii)] It is nowhere dense if there is no element has a
679: maximal element in $A$.
680: \item[(iii)] It is dense in-itself if $A$ contains all of its
681: lower bounds.
682: \end{enumerate}
683: \end{prop}
684: \begin{proof}
685: (i) and (ii) are obvious from Proposition~\ref{p:interiorset} and
686: Proposition~\ref{p:intcl} respectively.\newline (iii) Clear by
687: Proposition~\ref{p:closureset} and using the equality $A=
688: \overline A$.
689: \end{proof}
690:
691: Recall that a topological space $(X, \tau)$ is said to be a
692: submaximal if each of its dense subsets is open.
693:
694: \begin{prop}
695: Any finite $T_0$ space $X$ is submaximal if and only if it
696: contains at most a non-isolated point.
697: \end{prop}
698: \begin{proof}
699: The set of open points is dense by Proposition~\ref{p:openpdense}.
700: Also by the submaximality of $X$, every dense subset is open. Then
701: for every points $x, y, z \in X$ such that $x\leq y\leq z$,
702: $X\setminus \{y\}$ is not open. Therefore $y$ is not isolated.
703: Conversely, if all the points of $X$ are isolated, then the only
704: dense set is $X$ itself. This means that $X$ is submaximal.
705: Otherwise, if $X$ contains only non-isolated point $y$. Let $A$ be
706: any dense subset of $X$. By Proposition~\ref{p:denseiffopen}, $A$
707: contains all isolated points of $X$.
708: \end{proof}
709:
710: \begin{cor}
711: Every finite $T_0$ submaximal spaces is $T_{\frac {1}{2}}$. It is
712: also one-dimensional space.
713: \end{cor}
714: \begin{proof}
715: It is a consequence Theorem~\ref{t:openorclosed}.
716: \end{proof}
717:
718: \section{Some Weaker Forms of Continuity in Finite Spaces}
719:
720: Continuous functions play an important role in topology. The
721: following proposition shows a corresponding definition of
722: continuity between finite spaces using the minimal neighborhood of
723: each point and its image.
724:
725: \begin{prop}
726: Let $X$ and $Y$ be finite topological spaces, then the function
727: $f:X\longrightarrow Y$ is continuous at $x$ if and only if
728: $f(U_x)\subseteq U_{f(x)}$.
729: \end{prop}
730: \begin{proof}
731: Let $f:X\longrightarrow Y$ be a continuous function. Fix a point
732: $x\in X$. Since $U_{f(x)}$ is an open neighborhood of $f(x)$, then
733: by the continuity of $f$, $f^{-1} (U_{f(x)})$ is an open
734: neighborhood of $x$ and so $f(U_x) \subseteq U_{f(x)}$.
735: Conversely, let $W$ be an open set containing $f(x)$. By
736: assumption, $f(U _x)\subseteq U_{f(x)}\subseteq W$. Take $U_x= U$,
737: then $f(U)\subseteq W$ which shows that $f$ is continuous at $x$.
738: \end{proof}
739:
740: Recall that a function $f: X\longrightarrow Y$ from a topological
741: space $X$ into a topological space $Y$ is precontinuous
742: \cite{mash} (resp. semicontinuous \cite{levine3},
743: $\gamma$-continuous \cite{abdel}) if the inverse image of each
744: open set in $Y$ is preopen (resp. semiopen, $\gamma$-open) in $X$.
745:
746: In an arbitrary topological space, there is no connection between
747: precontinuity and semicontinuity. Each of them implies
748: $\gamma$-continuity. In the finite case, by
749: Remark~\ref{r:semipre}, every precontinuous function is
750: semicontinuous which coincides with $\gamma$-continuous. The
751: following implications show a new connection between continuity
752: and some kinds of near continuity.
753:
754: $$\begin{array}{crccr}
755: \textbf{\large Continuity}&\Longrightarrow& \textbf {\large
756: Precontinuity}& \\
757: &&\Downarrow&& \\
758: \textbf{\large $\gamma $-continuity }&\Longleftrightarrow
759: &\textbf{\large Semicontinuity}&&
760: \end{array}$$
761:
762: The following example shows that the converse is not always true.
763:
764: \begin{exam}
765: Let $X= Y= \{x, y, z\}$ as in Example~\ref{ex:thptnbd}. The
766: mapping $f: (X, \tau_3)\longrightarrow (Y, \tau_5)$ which defined
767: by $f(x)= x$, $f(y)= z$ and $f(z)=y$ is $\gamma$-continuous, but
768: not precontinuous.
769: \end{exam}
770:
771: A function $f:X\longrightarrow Y$ from a topological space $X$
772: into a topological space $Y$ is called preopen \cite{mash} (resp.
773: semiopen\cite{biswas}, $\gamma$-open\cite{abdel}) if the image of
774: each open set in $X$ is preopen (resp. semiopen, $\gamma$-open).
775:
776: In arbitrary topological space, there is no connection between
777: preopen and semiopen functions. In a finite case, by
778: Remark~\ref{r:semipre}, a preopen function is semiopen which
779: coincides with $\gamma$-open. Each of them belongs to
780: $\gamma$-open function. The implications between these types of
781: functions and other corresponding ones are given by the following
782: diagram:
783:
784: $$\begin{array}{crccr}
785: \textbf{\large Open function}&\Longrightarrow& \textbf {\large
786: Preopen function}& \\
787: &&\Downarrow&& \\
788: \textbf{\large $\gamma $-open function}&\Longleftrightarrow
789: &\textbf{\large Semiopen function}&&
790: \end{array}$$
791:
792: The converse of these implications are not true, in general, as
793: the following example illustrates.
794:
795: \begin{exam}
796: Let $X= \{x, y, z\}$ with a topology $\tau_5$ as in
797: Example~\ref{ex:thptnbd} and $Y= \{a, b, c, d\}$ with the topology
798: of minimal neighborhoods $U_a= \{a\}$, $U_b= \{b\}$, $U_c= U_d=
799: Y$. The function $f:X\longrightarrow Y$ is $\gamma$-open but not
800: preopen.
801: \end{exam}
802:
803: \section{Continuity of Multifunctions in Finite Topological Spaces}
804:
805: Let $X$ and $Y$ be two nonempty sets and $P(Y)$ be the collection
806: of all subsets of $Y$. Recall that the function $F:X
807: \longrightarrow P(Y)$ is called a multifunction~(\cite{cain},
808: p.186).
809:
810: \begin{defn}
811: A function $F:X \longrightarrow P(Y)$ from a topological space $X$
812: into a topological space $Y$ is called:
813: \begin{enumerate}
814: \item \textit{upper semicontinuous mulitifunction} (abb.U.S.C) at a point
815: $x_0 \in X$ if for every open set $V$ in $Y$ such that $F(x_0)
816: \subset V$, there exists an open set $U$ containing $x_0$ such
817: that $F(U)\subset V$.
818: \item \textit{lower semicontinuous multifunction} (abb.L.S.C)at a point
819: $x_0 \in X$ if for every open set $V$ in $Y$ such that $F(x_0)
820: \cap V \neq \phi$, there exists an open set containing $x_0$ such
821: that $F(x) \cap V \neq \phi$ for each $x \in U$.
822: \end{enumerate}
823: \end{defn}
824:
825: \begin{rem}
826: U.S.C is not necessarily L.S.C, and L.S.C is not necessarily
827: U.S.C.
828: \end{rem}
829:
830: Now, the following theorems and examples give the relation beteen
831: the usual definition of continuity for single valued functions and
832: upper and lower semicontinuity for multifunctions.
833:
834: \begin{defn}\cite{khal}
835: A space $X$ is said to be a connected ordered topological space
836: (abb. COTS) if for every three points subset $Y$ in $X$, there
837: exists $y\in Y$ such that $Y$ meets two connected components of
838: $X\setminus\{y\}$. In other words, for any three points one of
839: them separates the other two.
840: \end{defn}
841:
842: \begin{rem}\label{r:single}
843: Let $X= [0,1]$ with usual topology and $f$ be a continuous
844: function from $X$ into itself. $\pi :X\longrightarrow Y$ is a
845: quotient function from $X$ into a finite COTS $Y$. The function
846: $g$ from $Y$ into itself is defined by $g(y)= \pi f
847: {\pi}^{-1}\{y\}$ is continuous. The following examples discuss the
848: continuity of $g$ in the case of single valued functions.
849: \end{rem}
850:
851: \begin{exam}\label{e:pi}
852: Let $X= [0, 1]$ and $f:X \longrightarrow X$ be a continuous
853: function defined by \[f(x)= \left\{\begin{array}{r@{\quad:\quad}l}
854: x+ 1/2& 0 \leq x \leq 1/2\\1 & 1/2\leq x \leq 1 \end{array}
855: \right.\] and $Y= \{a, b, c, d, e\}$ is a COTS. $\pi$ is a
856: quotient function defined by \[\pi
857: (x)= \left\{\begin{array}{r@{\quad:\quad}l} a &x= 0\\b & 0<x<1/2\\
858: c& x= 1/2\\d &1/2<x<1\\ e &x= 1 \end{array} \right.\] Since $g(y)=
859: \pi f {\pi}^{-1}{(y)}$ for each $y\in Y$, so $g(a)= c$, $g(b)= d$,
860: $g(c)= e$, $g(d)= e$, $g(e)= e$. Then $g$ is continuous at each
861: point $y\in Y$.
862: \end{exam}
863:
864: The following theorem is considered as an equivalent definition
865: for U.S.C and L.S.C in finite topological spaces with respect to
866: the minimal neighborhood of each point.
867:
868: \begin{thm}\label{t:multif}
869: For finite topological spaces $X$ and $Y$ and multifunction
870: $F:X\longrightarrow P(Y)$, we have:
871: \begin{enumerate}
872: \item[(i)] $F$ is U.S.C at $x$ if and only if $F(\mathcal{U}_x)\subset
873: \bigcup\limits_{y\in F(x)}\mathcal{U}_y$.
874: \item[(ii)] $F$ is L.S.C at $x$ if and only if $F(x')\cap \mathcal{U}_y\neq
875: \phi$ for all $x' \in \mathcal{U}_x$ and $y\in F(x)$.
876: \end{enumerate}
877: \end{thm}
878: \begin{proof}
879: (i).
880: Let $F$ be U.S.C at $x\in X$.
881: Then for every open set $V$such that $F(x)\subset V$.
882: There exits an open set $U$ with $x\in U$ such that $F(U)\subset V$.
883: Since $x\in U$, then $\mathcal{U} _x \subset \mathcal{U} $.
884: By assumption, we obtain $F(\mathcal{U} _x)\subset V$.
885: Take
886: $\textstyle{V= \bigcup\limits_{y\in F(x)}\mathcal{U} _y}$,
887: then
888: $F(\mathcal{U} _x)\subset \bigcup\limits_{y\in F(x)}\mathcal{U} _y$.
889: Conversely, let $F(\mathcal{U} _x)\subset \bigcup\limits_{y\in F(x)}\mathcal{U} _y$.
890: For $x\in \mathcal{U} _x$, take any $V\supset F(x)$.
891: As $\mathcal{U} $, we choose $\mathcal{U} _x$, then
892: $F(\mathcal{U} _x)\subset \bigcup\limits_{y\in F(x)}\mathcal{U} _y \subset V$.
893: Therefore $F(\mathcal{U}_x) \subset V$ shows that $F$ is U.S.C.
894:
895: (ii).
896: Let $F$ be L.S.C\ at $x\in X$.
897: That means for every open set $V$ such that $F(x)\cap V\neq \phi$, there
898: is an open set $U$ with $x\in U$ such that $F(x')\cap V\neq \phi$ for all
899: $x'\in U$.
900: Applying for a special $V$, take $V= \mathcal{U}_y$ and $y\in F(x)$.
901: Since $\mathcal{U}_x\subset \mathcal{U}$, then $F(x')\cap \mathcal{U}_y \neq \phi$
902: for all $x'\in \mathcal{U}_x$ and $y\in F(x)$.
903: Conversely, let $V$ be an arbitrary open set with
904: $F(x)\cap V\neq \phi$.
905: Take $y\in F(x)\cap V$, then $\mathcal{U}y \subset V$.
906: As $\mathcal{U}$, we choose $\mathcal{U}_x$ and by assumption
907: $\phi \neq F(x')\cap \mathcal{U}_y\subset F(x')\cap V$.
908: Then $F(x')\cap V\neq \phi$ for all $x'\in \mathcal{U}_x$ and $F$ is L.S.C.
909: \end{proof}
910:
911: U.S.C may not be L.S.C.
912: It can be satisfied from the following example.
913:
914: \begin{exam}
915: Let $X= Y= \{a, b\}$. Their minimal neighborhoods are $\mathcal{U}_a=
916: \{a\}$ and $\mathcal{U}_b= \{a, b\}$. The multifunction $F:
917: X\longrightarrow P(Y)$ is defined by $F(a)= \{a, b\}, F(b)=
918: \{a\}$. Then $F$ is L.S.C. It is not U.S.C since we have
919: $F(\mathcal{U}_b)= \{a, b\}\not\subset \bigcup \limits_{y\in F(b)}\mathcal{U}_y=
920: \{a\}$ by Theorem~\ref{t:multif}(i), $\mathcal{U}_b=\{a, b\}, F(b)=
921: \{a\}$. Therefore $F$ is not U.S.C. If the multifunction
922: $G:X\longrightarrow P(Y)$ is defined by $G(a)= \{a\}, G(b)= \{a,
923: b\}$, then $G$ is U.S.C. It is not L.S.C at the point $b$. Since
924: by Theorem~\ref{t:multif}(ii), we have $\mathcal{U}_b= \{a, b\},
925: F(b)= \{a, b\}$ and $F(a)\cap \mathcal{U}_a= \{b\}\cap \{a\}= \phi$.
926: \end{exam}
927:
928: The following examples discuss the upper and lower semi-continuity
929: of $g$.
930:
931: \begin{exam}\label{e:pi1}
932: Let $X= [0, 1]$ with usual topology. The function $f$ from $X$
933: into itself defined by
934: \[f(x)= \left\{\begin{array}{r@{\quad:\quad}l}
935: 3/4-2x& 0 \leq x < 1/4\\1/3x+1/6 & 1/4\leq x \leq 1 \end{array}
936: \right.\] and the quotient function $\pi: X\longrightarrow Y$,
937: where $Y$ is a finite COTS with five points defined by
938: \[\pi (x)= \left\{\begin{array}{r@{\quad:\quad}l} a &x= 0\\
939: b &x= 0<x<1/2\\c& x= 1/2\\d &1/2<x<1\\ e &x= 1
940: \end{array} \right.\]
941: The multifunction $g: Y\longrightarrow P(Y)$ is defined by $g(y)=
942: \pi f {\pi}^{-1}{y}$. Then $ g(a)= d, g(b)=\{b, c,d \}, g(c)= b,
943: g(d)= b, g(e)=c$. $g$ is L.S.C, but not U.S.C since the point $y=
944: a$, $\mathcal{U}_a= \{a, b\}$, $g(a)= \{d\}$ and $g(\mathcal{U}_a)= \{b,
945: c, d\} \not\subset \bigcup\limits_{y\in g(a)}\mathcal{U}_y)= \{d\}$.
946: \end{exam}
947:
948: Now, we consider some properties of U.S.C and L.S.C for
949: multifunctions. These make a connection between multifunctions and
950: dimension theory.
951:
952: \begin{thm}\label{t:contdim}
953: Let $\pi:X\longrightarrow Y$ be a continuous function from a
954: topological space $X$ into a one-dimensional $T_0$ space $Y$. For
955: any closed point in $Y$, ${\pi}^{-1}(y)$ is only one point and for
956: any open point $z\in \mathcal{U}_y$, ${\pi}^{-1}(y)\in
957: cl({\pi}^{-1}(z))$, then $\pi$ is an open function.
958: \end{thm}
959: \begin{proof}
960: Let $W$ be an open set in $X$. Our aim is to prove that $\pi (W)=
961: \bigcup\limits_{y\in \pi (W)}\mathcal{U}_y$. It is clear that $\pi
962: (W)\subset \bigcup\limits_{y\in \pi (W)}\mathcal{U}_y$. So, it is
963: enough to prove that $\mathcal{U}_y \subset \pi (W)$ for each $y\in
964: \pi (W)$. There are two cases: If $y$ is an open point, then
965: $\mathcal{U}_y= \{y\}\subset \pi (W)$ and we are done. If $y$ is a
966: closed point, by the assumption, ${\pi}^{-1}(y)= x$. Let $z$ be an
967: open point such that $z\in \mathcal{U}_(y)$, by hypothesis, $x\in
968: cl({\pi}^{-1}(z))$. Since $W$ is an open neighborhood of $x$, then
969: ${\pi}^{-1}(z)\cap W \neq \phi$. For a point $v\in
970: {\pi}^{-1}(z)\cap W \neq \phi$, we have $z= \pi(v)\in \pi(W)$.
971: Therefore, $\mathcal{U}_y\subset \pi (W)$. This completes the proof.
972: \end{proof}
973:
974: Under the previous assumptions of Theorem~\ref{t:contdim}, $\pi$
975: is not a closed function.
976:
977: \begin{exam}
978: Let $X=[0, 1]$ with usual topology and $Y$ is a COTS with three
979: points. The function $\pi:X\longrightarrow Y$ is
980: defined by \[\pi (x)= \left\{\begin{array}{r@{\quad:\quad}l} a &x= 0\\
981: b &0<x<1\\c& x= 1 \end{array} \right.\] The assumption of Theorem
982: \ref{t:contdim} hold. $\pi$ is not closed because if we take a
983: closed set $F\subset (0, 1)$, then $\pi (F)=\{b\}$ is not closed.
984: \end{exam}
985:
986: \begin{prop}
987: For a topological space $X$ and one-dimensional $T_0$-space $Y$,
988: consider a continuous function $f$ and a quotient a function $\pi$
989: from $X$ into $Y$. If the multifunction $g:Y\longrightarrow P(Y)$
990: is defined by $g= \pi f {\pi}^{-1}$, then $g(y)$ is a singleton
991: for each closed point $y\in Y$.
992: \end{prop}
993: \begin{proof}
994: Obvious, since $f$ and $\pi$ are single -valued functions.
995: \end{proof}
996:
997: \begin{thm}\label{t:condit}
998: For a space $X$ and one-dimensional $T_0$-space $Y$, assume the
999: following assumptions hold.
1000: \begin{enumerate}
1001: \item[(1)] The function $\pi:X\longrightarrow Y$ is continuous.
1002: \item[(2)] For every closed point $y$, ${\pi}^{-1}(y)$ is one
1003: point.
1004: \item[(3)] For every open point $z\in \mathcal{U}_y$, ${\pi}^{-1}(z)=
1005: x$.
1006: \item[(4)] A multifunction $g:Y\longrightarrow P(Y)$ defined by
1007: $g= \pi f{\pi}^{-1}$.
1008: \end{enumerate}
1009: Then $g$ is L.S.C.
1010: \end{thm}
1011: \begin{proof}
1012: Let $y_0\in Y$ and $V$ be an open set in $Y$ such that $g(y_0)\cap
1013: V\neq \phi$. If $y_0$ is an open point, then we can take
1014: $\mathcal{U}_{y_0}=\{y_0\}$ and so $ g$ is L.S.C. If $y_0$ is a closed
1015: point, by assumption, for any open point $y\in \mathcal{U}_{y_0}$,
1016: ${\pi}^{-1}(y_0)= x\in cl({\pi}^{-1}(y))$. By Proposition 30,
1017: $g(y_0)$ is a singleton and so $f^{-1}{\pi}^{-1}(V)$ is an open
1018: neighborhood of $x$. Therefore ${\pi}{-1}(V)\cap W \neq \phi$ for
1019: all $y\in \mathcal{U}_{y_0}$ and $W= f^{-1}{\pi}^{-1}(V)$. This shows
1020: that $g$ is L.S.C.
1021: \end{proof}
1022:
1023: Under the conditions of Theorem~\ref{t:condit}, the multifunction
1024: is not necessarily to be U.S.C.
1025:
1026: \begin{exam}
1027: Let $X$ and $Y$ and the quotient function as in
1028: Example~\ref{e:pi1}. The function $f$ is defined by \[f(x)=
1029: \left\{\begin{array}{r@{\quad:\quad}l} 2x-1& 0 < x < 1/2\\1-2x &
1030: 1/2< x < 1\\1&x\in \{0, 1\} \end{array} \right.\] We have $ g(a)=
1031: e, g(b)=\{b, c,d \}, g(c)= a, g(d)= \{b, c,d\}, g(e)=e$. $g$ is
1032: not U.S.C since at the point $y_0= a$, $\mathcal{U}_a= \{a, b\}$,
1033: $g(a)= \{e\}$, we have $g(\mathcal{U}_a)= \{b, c, d, e\} \not\subset
1034: \bigcup\limits_{y\in g(a)}\mathcal{U}_y)= \{d, e\}$.
1035: \end{exam}
1036:
1037: \subsection*{Acknowledgment}
1038: The results of this paper were obtained during my Ph.D. studies at Tanta
1039: University and are also contained in my thesis.\footnote{A short version
1040: of the thesis, supervised by C. Bandt, was distributed as a preprint at
1041: Ernst-Moritz-Arndt-Universit\"at Greifswald \cite{elatik}.}
1042: I would like to express my deep gratitude to my supervisors whose guidance
1043: and support were crucial for the successful completion of this paper.
1044:
1045: %\bibliographystyle{amsplain}
1046: %\bibliography{08}
1047: \providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
1048: \providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
1049: % \MRhref is called by the amsart/book/proc definition of \MR.
1050: \providecommand{\MRhref}[2]{%
1051: \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
1052: }
1053: \providecommand{\href}[2]{#2}
1054: \begin{thebibliography}{10}
1055:
1056: \bibitem{alex}
1057: P.~S. Alexandroff, \emph{{D}iskrete {R}\"aume}, Rec. Math. [Mat. Sbornik] N.S.
1058: \textbf{2} (1937), 501--518.
1059:
1060: \bibitem{alek}
1061: \bysame, \emph{Combinatorial topology. {V}ol. 1}, Graylock Press, Rochester, N.
1062: Y., 1956. \MR{17,882a}
1063:
1064: \bibitem{arenas2}
1065: Francisco~G. Arenas, \emph{Some results on {A}lexandroff spaces}, Preprint,
1066: Topology Atlas, 1997, {\tt http://at.yorku.ca/p/a/a/k/12.htm}.
1067:
1068: \bibitem{arenas1}
1069: Francisco.~G. Arenas, \emph{Alexandroff spaces}, Acta Math. Univ. Comenian.
1070: (N.S.) \textbf{68} (1999), no.~1, 17--25. \MR{2000i:54028}
1071:
1072: \bibitem{adg}
1073: Francisco~G. Arenas, Julian Dontchev, and Maximilian Ganster, \emph{On some
1074: weaker forms of {A}lexandroff spaces}, Arab. J. Sci. Eng. Sect. A Sci.
1075: \textbf{23} (1998), no.~1, 79--89. \MR{99b:54056}
1076:
1077: \bibitem{biswas}
1078: Nanigopal Biswas, \emph{On some mappings in topological spaces}, Bull. Calcutta
1079: Math. Soc. \textbf{61} (1969), 127--135. \MR{43 \#6886}
1080:
1081: \bibitem{cain}
1082: George~L. Cain, \emph{Introduction to general topology}, Addison-Wesley
1083: Publishing Company Advanced Book Program, Reading, MA, 1994. \MR{1 248 821}
1084:
1085: \bibitem{dunham}
1086: William Dunham, \emph{${T}\sb{1/2}$-spaces}, Kyungpook Math. J. \textbf{17}
1087: (1977), no.~2, 161--169. \MR{57 \#10677}
1088:
1089: \bibitem{abdel}
1090: Abd. El-Fattah El-Atik, \emph{A study on some types of mappings on topological
1091: spaces}, Master's thesis, Tanta University, 1997.
1092:
1093: \bibitem{elatik}
1094: \bysame, \emph{Approximation of fractals by finite topological spaces},
1095: Preprintreihe Mathematik~22, Ernst-Moritz-Arndt-Universit\"at Greifswald,
1096: 2001.
1097:
1098: \bibitem{eng}
1099: Ryszard Engelking, \emph{General topology}, PWN---Polish Scientific Publishers,
1100: Warsaw, 1977, Translated from the Polish by the author, Monografie
1101: Matematyczne, Tom 60. [Mathematical Monographs, Vol. 60]. \MR{58 \#18316b}
1102:
1103: \bibitem{flac}
1104: J{\"u}rgen Flachsmeyer, \emph{Zur {S}pektralentwicklung topologischer
1105: {R}\"aume}, Math. Ann. \textbf{144} (1961), 253--274. \MR{26 \#735}
1106:
1107: \bibitem{her}
1108: G.~T. Herman, \emph{On topology as applied to image analysis}, Comp.Vision,
1109: Graphics Image Process. \textbf{52} (1990), 409--415.
1110:
1111: \bibitem{khal}
1112: Efim Khalimsky, Ralph Kopperman, and Paul~R. Meyer, \emph{Computer graphics and
1113: connected topologies on finite ordered sets}, Topology Appl. \textbf{36}
1114: (1990), no.~1, 1--17. \MR{92c:54037}
1115:
1116: \bibitem{kon}
1117: T.~Yung Kong, Ralph Kopperman, and Paul~R. Meyer, \emph{A topological approach
1118: to digital topology}, Amer. Math. Monthly \textbf{98} (1991), no.~10,
1119: 901--917. \MR{93b:68092}
1120:
1121: \bibitem{levine1}
1122: Norman Levine, \emph{A decomposition of continuity in topological spaces},
1123: Amer. Math. Monthly \textbf{68} (1961), 44--46. \MR{23 \#A3548}
1124:
1125: \bibitem{levine3}
1126: \bysame, \emph{Semi-open sets and semi-continuity in topological spaces}, Amer.
1127: Math. Monthly \textbf{70} (1963), 36--41. \MR{29 \#4025}
1128:
1129: \bibitem{levine2}
1130: \bysame, \emph{Generalized closed sets in topology}, Rend. Circ. Mat. Palermo
1131: (2) \textbf{19} (1970), 89--96. \MR{46 \#4471}
1132:
1133: \bibitem{lot}
1134: L.~Lotz, \emph{{E}ndliche {T}opologische {R}\"{a}ume}, Tech. report,
1135: Greifswald, Germany, 1970, Diplomarbeit.
1136:
1137: \bibitem{mash}
1138: A.~S. Mashhour, M.~E. Abd El-Monsef, and S.~N. El-Deep, \emph{On precontinuous
1139: and weak precontinuous mappings}, Proc. Math. Phys. Soc. Egypt (1982),
1140: no.~53, 47--53 (1983). \MR{87c:54002}
1141:
1142: \bibitem{rin}
1143: W.~Rinow, \emph{Lehrbuch der {T}opologie}, VEB Deutscher Verlag der
1144: Wissenschaften, Berlin, 1975, Hochschulb\"ucher f\"ur Mathematik, Band 79.
1145: \MR{58 \#24157}
1146:
1147: \bibitem{ston}
1148: R.~E. Stong, \emph{Finite topological spaces}, Trans. Amer. Math. Soc.
1149: \textbf{123} (1966), 325--340. \MR{33 \#3247}
1150:
1151: \end{thebibliography}
1152: \end{document}
1153: