<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">AM</journal-id><journal-title-group><journal-title>Applied Mathematics</journal-title></journal-title-group><issn pub-type="epub">2152-7385</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/am.2015.66097</article-id><article-id pub-id-type="publisher-id">AM-57037</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  More Properties of Semi-Linear Uniform Spaces
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>.</surname><given-names>A. Alhihi</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Department of Mathematics, Al-Balqa’ Applied University, Alsalt, Jordan</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>suad.hihi@bau.edu.jo</email></corresp></author-notes><pub-date pub-type="epub"><day>29</day><month>05</month><year>2015</year></pub-date><volume>06</volume><issue>06</issue><fpage>1069</fpage><lpage>1075</lpage><history><date date-type="received"><day>22</day>	<month>April</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>7</month>	<year>June</year>	</date><date date-type="accepted"><day>10</day>	<month>June</month>	<year>2015</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  In this paper we shall generalize the definition given in [1] for Lipschitz condition and contractions for functions on a non-metrizable space, besides we shall give more properties of semi-linear uniform spaces.
 
</p></abstract><kwd-group><kwd>Lipschitz Condition</kwd><kwd> Contractions</kwd><kwd> Not Metrizable Spaces</kwd><kwd> Semi-Linear Spaces</kwd><kwd> Uniform Spaces</kwd><kwd> Fixed Point</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The notion of uniformity has been investigated by several mathematician as Weil [<xref ref-type="bibr" rid="scirp.57037-ref2">2</xref>] - [<xref ref-type="bibr" rid="scirp.57037-ref4">4</xref>] , Cohen [<xref ref-type="bibr" rid="scirp.57037-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.57037-ref6">6</xref>] , and Graves [<xref ref-type="bibr" rid="scirp.57037-ref7">7</xref>] .</p><p>The theory of uniform spaces was given by Burbaki in [<xref ref-type="bibr" rid="scirp.57037-ref8">8</xref>] . Also Wiels in his booklet [<xref ref-type="bibr" rid="scirp.57037-ref4">4</xref>] defined uniformly continuous mapping. For more information about Uniform spaces one my refer to [<xref ref-type="bibr" rid="scirp.57037-ref9">9</xref>] .</p><p>In 2009, Tallafha, A. and Khalil, R. [<xref ref-type="bibr" rid="scirp.57037-ref10">10</xref>] , defined a new type of uniform spaces, namely semi-linear uniform spaces and they gave example of semi-linear space which was not metrizable. Also they defined a set valued map <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x5.png" xlink:type="simple"/></inline-formula> on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x6.png" xlink:type="simple"/></inline-formula>, by which they studied some cases of best approximation in such spaces. More precisely, they gave the following.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x7.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space; <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x8.png" xlink:type="simple"/></inline-formula>is proximinal if for any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x9.png" xlink:type="simple"/></inline-formula>, there exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x10.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x11.png" xlink:type="simple"/></inline-formula>. They asked that “must every compact is proximinal”, they gave the answer for the cases―i) E is finiate; ii) If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x12.png" xlink:type="simple"/></inline-formula> converges to x, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x13.png" xlink:type="simple"/></inline-formula> is proximinal.</p><p>In [<xref ref-type="bibr" rid="scirp.57037-ref11">11</xref>] , Tallafha, A. defined another set valued map <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x14.png" xlink:type="simple"/></inline-formula> on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x15.png" xlink:type="simple"/></inline-formula>, and gave some properties of semi-linear uniform spaces using the maps <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x16.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x17.png" xlink:type="simple"/></inline-formula>. Also in [<xref ref-type="bibr" rid="scirp.57037-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.57037-ref12">12</xref>] , Tallafha defined Lipschitz condition and con- tractions for functions on semi-linear uniform spaces, which enabled us to study fixed point for such functions. Lipschitz condition, and contractions are usually discussed in metric and normed spaces and never been studied in other weaker spaces. We believe that the structure of semi-linear uniform spaces is very rich, and all the known results on fixed point theory can be generalized.</p><p>The object of this paper is to generalize the definition of Lipschitz condition, and contraction mapping on semi-linear uniform spaces given by Tallafha [<xref ref-type="bibr" rid="scirp.57037-ref12">12</xref>] . Also we shall give a new topopological properties and more properties of semi-linear uniform spaces.</p></sec><sec id="s2"><title>2. Semi-Linear Uniform Space</title><p>Let X be a set and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x18.png" xlink:type="simple"/></inline-formula> be a collection of subsets of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x19.png" xlink:type="simple"/></inline-formula>, such that each element V of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x20.png" xlink:type="simple"/></inline-formula> contains the diagonal<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x21.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x22.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x23.png" xlink:type="simple"/></inline-formula> (symmetric). <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x24.png" xlink:type="simple"/></inline-formula>is called the family of all entourages of the diagonal.</p><p>Definition 1 [<xref ref-type="bibr" rid="scirp.57037-ref10">10</xref>] . Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x25.png" xlink:type="simple"/></inline-formula> be a sub collection of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x26.png" xlink:type="simple"/></inline-formula>, the pair <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x27.png" xlink:type="simple"/></inline-formula> is called a semi-linear uniform space if,</p><p>i) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x28.png" xlink:type="simple"/></inline-formula>is a chain.</p><p>ii) For every<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x29.png" xlink:type="simple"/></inline-formula>, there exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x30.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x31.png" xlink:type="simple"/></inline-formula>.</p><p>iii)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x32.png" xlink:type="simple"/></inline-formula>.</p><p>iv)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x33.png" xlink:type="simple"/></inline-formula>.</p><p>Definition 2 [<xref ref-type="bibr" rid="scirp.57037-ref10">10</xref>] . Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x34.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space, for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x35.png" xlink:type="simple"/></inline-formula>, let</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x36.png" xlink:type="simple"/></inline-formula>. Then, the set valued map <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x37.png" xlink:type="simple"/></inline-formula> on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x38.png" xlink:type="simple"/></inline-formula> is defined by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x39.png" xlink:type="simple"/></inline-formula></p><p>Clearly for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x40.png" xlink:type="simple"/></inline-formula>, we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x41.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x42.png" xlink:type="simple"/></inline-formula>. Let</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x43.png" xlink:type="simple"/></inline-formula>, from now on, we shall denote <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x44.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x45.png" xlink:type="simple"/></inline-formula>.</p><p>Definition 3 [<xref ref-type="bibr" rid="scirp.57037-ref11">11</xref>] . Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x46.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space. Then, the set valued map <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x47.png" xlink:type="simple"/></inline-formula> on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x48.png" xlink:type="simple"/></inline-formula> is</p><p>defined by, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x49.png" xlink:type="simple"/></inline-formula></p><p>The following results are given in [<xref ref-type="bibr" rid="scirp.57037-ref12">12</xref>] .</p><p>Proposition 1. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x50.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x51.png" xlink:type="simple"/></inline-formula> is a sub collection of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x52.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x53.png" xlink:type="simple"/></inline-formula>, if an only if there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x54.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x55.png" xlink:type="simple"/></inline-formula>.</p><p>Corollary 1. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x56.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x57.png" xlink:type="simple"/></inline-formula>, then,</p><p>1) There exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x58.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x59.png" xlink:type="simple"/></inline-formula>.</p><p>2)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x60.png" xlink:type="simple"/></inline-formula>.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x61.png" xlink:type="simple"/></inline-formula> the family of all entourages of the diagonal, then for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x62.png" xlink:type="simple"/></inline-formula>, by nV, we mean <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x63.png" xlink:type="simple"/></inline-formula> n-times and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x64.png" xlink:type="simple"/></inline-formula>, so for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x65.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x66.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x67.png" xlink:type="simple"/></inline-formula> for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x68.png" xlink:type="simple"/></inline-formula>.</p><p>Proposition 2. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x69.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x70.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x71.png" xlink:type="simple"/></inline-formula>.</p><p>Proposition 3. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x72.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x73.png" xlink:type="simple"/></inline-formula> is a sub collection of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x74.png" xlink:type="simple"/></inline-formula>, then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x75.png" xlink:type="simple"/></inline-formula>.</p><p>Question. Does<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x76.png" xlink:type="simple"/></inline-formula>?</p></sec><sec id="s3"><title>3. Topological Properties of Semi-Linear Uniform Spaces</title><p>Definition 4 [<xref ref-type="bibr" rid="scirp.57037-ref13">13</xref>] . For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x77.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x78.png" xlink:type="simple"/></inline-formula>. The open ball of center x and radius V is defined by</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x79.png" xlink:type="simple"/></inline-formula>, equivalently<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x80.png" xlink:type="simple"/></inline-formula>.</p><p>Clearly if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x81.png" xlink:type="simple"/></inline-formula>, then there is a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x82.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x83.png" xlink:type="simple"/></inline-formula>. So <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x84.png" xlink:type="simple"/></inline-formula> is a base for some topology on X. This topology is denoted by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x85.png" xlink:type="simple"/></inline-formula>.</p><p>More presicly<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x86.png" xlink:type="simple"/></inline-formula>.</p><p>In [<xref ref-type="bibr" rid="scirp.57037-ref10">10</xref>] it is shown that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x87.png" xlink:type="simple"/></inline-formula> is Hausdorf, so if X is finite then we have the discreet topology, therefore interest- ing examples are when X is infinite. Also, if X is infinite then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x88.png" xlink:type="simple"/></inline-formula> should be infinite, other wise<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x89.png" xlink:type="simple"/></inline-formula>, which implies also that the topology is the discrete topology.</p><p>Proposition 4. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x90.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x91.png" xlink:type="simple"/></inline-formula> a subcollection of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x92.png" xlink:type="simple"/></inline-formula> satisfies,</p><p>i) For every<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x93.png" xlink:type="simple"/></inline-formula>, there is a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x94.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x94.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x95.png" xlink:type="simple"/></inline-formula>.</p><p>ii)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x96.png" xlink:type="simple"/></inline-formula>.</p><p>iii)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x97.png" xlink:type="simple"/></inline-formula>.</p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x98.png" xlink:type="simple"/></inline-formula> is a semi-linear uniform space and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x99.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula> is a subcollection of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula> is a subcollection of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula> and i), iii), iv) in definition (1.1) are satisfied. Now for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula> ther exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula> so there is a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x108.png" xlink:type="simple"/></inline-formula> So <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x109.png" xlink:type="simple"/></inline-formula> is a semi-linear uniform space. Now <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x110.png" xlink:type="simple"/></inline-formula> is clear. Let O be a nonempty open set in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x111.png" xlink:type="simple"/></inline-formula> then if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x112.png" xlink:type="simple"/></inline-formula> ther exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x113.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x114.png" xlink:type="simple"/></inline-formula> Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x115.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x116.png" xlink:type="simple"/></inline-formula> so <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x117.png" xlink:type="simple"/></inline-formula> hence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x118.png" xlink:type="simple"/></inline-formula></p><p>Theorem 1. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x119.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x120.png" xlink:type="simple"/></inline-formula> the topology on X indused by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x121.png" xlink:type="simple"/></inline-formula>, then.</p><p>i) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x122.png" xlink:type="simple"/></inline-formula>can be consider as asubset of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x123.png" xlink:type="simple"/></inline-formula></p><p>ii) Fore all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x124.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x125.png" xlink:type="simple"/></inline-formula></p><p>Proof. i). Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x126.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x127.png" xlink:type="simple"/></inline-formula> is the interior of U with respect to the topology <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x128.png" xlink:type="simple"/></inline-formula> on</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x129.png" xlink:type="simple"/></inline-formula>By Proposition 2.2, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x130.png" xlink:type="simple"/></inline-formula>is a semi-linear uniform space indusing the topology <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x131.png" xlink:type="simple"/></inline-formula> on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x132.png" xlink:type="simple"/></inline-formula> Sine we deal with the toplogy<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x133.png" xlink:type="simple"/></inline-formula>, we may replace <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x134.png" xlink:type="simple"/></inline-formula> with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x135.png" xlink:type="simple"/></inline-formula>, so for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x136.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x137.png" xlink:type="simple"/></inline-formula> for some <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x137.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x138.png" xlink:type="simple"/></inline-formula> hence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x137.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x138.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x139.png" xlink:type="simple"/></inline-formula></p><p>ii) Is clear by definition of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x140.png" xlink:type="simple"/></inline-formula></p><p>In [<xref ref-type="bibr" rid="scirp.57037-ref11">11</xref>] , Tallafha gave some important properties of semi-linear uniform spaces, using the set valued map <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x141.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x142.png" xlink:type="simple"/></inline-formula>.</p><p>Now we shall give more properties of semi-linear uniform spaces.</p></sec><sec id="s4"><title>4. More Properties of Semi-Linear Uniform Spaces</title><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x143.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x144.png" xlink:type="simple"/></inline-formula> is a chain so there exist a well order set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x145.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x145.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x146.png" xlink:type="simple"/></inline-formula> For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x145.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x147.png" xlink:type="simple"/></inline-formula>, then, ther exist<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x145.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x148.png" xlink:type="simple"/></inline-formula>, such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x145.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x149.png" xlink:type="simple"/></inline-formula>. That is, there exist</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x150.png" xlink:type="simple"/></inline-formula>such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x151.png" xlink:type="simple"/></inline-formula>. This implies, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x152.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x152.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x153.png" xlink:type="simple"/></inline-formula> Hence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x152.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x154.png" xlink:type="simple"/></inline-formula></p><p>is bounded above by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x155.png" xlink:type="simple"/></inline-formula>. By Zorn’s Lemma <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x156.png" xlink:type="simple"/></inline-formula> has a maximal element<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x156.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x157.png" xlink:type="simple"/></inline-formula>. So <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x156.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x157.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x158.png" xlink:type="simple"/></inline-formula> This copleet the proof of the following lemma.</p><p>Lemma 1. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x159.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x160.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x161.png" xlink:type="simple"/></inline-formula> is a well order</p><p>set, then for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x162.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x163.png" xlink:type="simple"/></inline-formula>, ther exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x164.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x165.png" xlink:type="simple"/></inline-formula></p><p>Remember that for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x166.png" xlink:type="simple"/></inline-formula> the family of all entourages of the diagonal, V satisfies the following nice properties, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x167.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x168.png" xlink:type="simple"/></inline-formula> for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x169.png" xlink:type="simple"/></inline-formula>. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x170.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x171.png" xlink:type="simple"/></inline-formula> be a subcollections of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x172.png" xlink:type="simple"/></inline-formula>, defined by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x173.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x174.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x175.png" xlink:type="simple"/></inline-formula> For all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x176.png" xlink:type="simple"/></inline-formula> by Co-</p><p>rollary 1.6, there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x177.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x178.png" xlink:type="simple"/></inline-formula>. So we can define<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x179.png" xlink:type="simple"/></inline-formula>, for an element <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x180.png" xlink:type="simple"/></inline-formula> by.</p><p>Definition 5. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x181.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x182.png" xlink:type="simple"/></inline-formula>. Define <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x183.png" xlink:type="simple"/></inline-formula> by,</p><disp-formula id="scirp.57037-formula474"><graphic  xlink:href="http://html.scirp.org/file/16-7402726x184.png"  xlink:type="simple"/></disp-formula><p>Clearly <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x185.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x186.png" xlink:type="simple"/></inline-formula> for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x187.png" xlink:type="simple"/></inline-formula>. But <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x188.png" xlink:type="simple"/></inline-formula> need not be an element in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x189.png" xlink:type="simple"/></inline-formula>, evin if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x190.png" xlink:type="simple"/></inline-formula>. But we have.</p><p>Lemma 2. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x191.png" xlink:type="simple"/></inline-formula> be a semi-linear uniform space, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x191.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x192.png" xlink:type="simple"/></inline-formula>R is a well order set, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x191.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x192.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x193.png" xlink:type="simple"/></inline-formula>.</p><p>Then there exist<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x194.png" xlink:type="simple"/></inline-formula>, such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x195.png" xlink:type="simple"/></inline-formula> and if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x196.png" xlink:type="simple"/></inline-formula> satisfied<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x197.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x197.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x198.png" xlink:type="simple"/></inline-formula></p><p>Proof. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x199.png" xlink:type="simple"/></inline-formula>, there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x200.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x201.png" xlink:type="simple"/></inline-formula>, so for every <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x202.png" xlink:type="simple"/></inline-formula> satisfies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x203.png" xlink:type="simple"/></inline-formula>, we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x204.png" xlink:type="simple"/></inline-formula>. Hence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x205.png" xlink:type="simple"/></inline-formula> is bounded above by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x205.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x206.png" xlink:type="simple"/></inline-formula>. Hence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x205.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x207.png" xlink:type="simple"/></inline-formula> be the maximal element of T.</p><p>Theorem 2. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x208.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x209.png" xlink:type="simple"/></inline-formula> a subcolection of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x210.png" xlink:type="simple"/></inline-formula>. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x211.png" xlink:type="simple"/></inline-formula>, we have</p><p>i)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x212.png" xlink:type="simple"/></inline-formula>.</p><p>ii) If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x213.png" xlink:type="simple"/></inline-formula> satisfies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x213.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x214.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x213.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x214.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x215.png" xlink:type="simple"/></inline-formula>.</p><p>iii)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x216.png" xlink:type="simple"/></inline-formula>.</p><p>iv)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x217.png" xlink:type="simple"/></inline-formula>.</p><p>v)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x218.png" xlink:type="simple"/></inline-formula>.</p><p>vi)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x219.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. i). Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x220.png" xlink:type="simple"/></inline-formula>, then there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x221.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x222.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x222.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x223.png" xlink:type="simple"/></inline-formula></p><p>So there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x224.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x225.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x226.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x227.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x228.png" xlink:type="simple"/></inline-formula> Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x229.png" xlink:type="simple"/></inline-formula> is a chain, there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x230.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x231.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x232.png" xlink:type="simple"/></inline-formula> So <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x233.png" xlink:type="simple"/></inline-formula></p><p>ii) and iv), are clear by definition of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x234.png" xlink:type="simple"/></inline-formula></p><p>iii) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x235.png" xlink:type="simple"/></inline-formula>v)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x236.png" xlink:type="simple"/></inline-formula>, for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x237.png" xlink:type="simple"/></inline-formula> so</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x238.png" xlink:type="simple"/></inline-formula>. Conversly, Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x239.png" xlink:type="simple"/></inline-formula> then, for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x240.png" xlink:type="simple"/></inline-formula> there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x241.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x242.png" xlink:type="simple"/></inline-formula> So there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x243.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x244.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x245.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x246.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x247.png" xlink:type="simple"/></inline-formula>Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x248.png" xlink:type="simple"/></inline-formula> is a chain, there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x249.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x250.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x251.png" xlink:type="simple"/></inline-formula> So <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x252.png" xlink:type="simple"/></inline-formula></p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x253.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x254.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x255.png" xlink:type="simple"/></inline-formula> replacing A by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x256.png" xlink:type="simple"/></inline-formula> or by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x257.png" xlink:type="simple"/></inline-formula> we have.</p><p>Corollary 2. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x258.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x259.png" xlink:type="simple"/></inline-formula> is a semi-linear uniform spaces, we have,</p><p>i)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x260.png" xlink:type="simple"/></inline-formula>.</p><p>ii)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x261.png" xlink:type="simple"/></inline-formula>.</p><p>Corollary 3. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x262.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x263.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x264.png" xlink:type="simple"/></inline-formula> then</p><p>i)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x265.png" xlink:type="simple"/></inline-formula>.</p><p>ii) If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x266.png" xlink:type="simple"/></inline-formula> satisfies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x267.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x268.png" xlink:type="simple"/></inline-formula></p><p>iii)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x269.png" xlink:type="simple"/></inline-formula>.</p><p>iv)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x270.png" xlink:type="simple"/></inline-formula>.</p><p>v) If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x271.png" xlink:type="simple"/></inline-formula> satisfies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x272.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x272.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x273.png" xlink:type="simple"/></inline-formula></p><p>vi) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x274.png" xlink:type="simple"/></inline-formula></p><p>Also we have the follwing corollary.</p><p>Corollary 4. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x275.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x275.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x276.png" xlink:type="simple"/></inline-formula> is a semi-linear uniform spaces, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x275.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x277.png" xlink:type="simple"/></inline-formula>.</p><p>Corollary 5. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x278.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x279.png" xlink:type="simple"/></inline-formula>if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x280.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x280.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x281.png" xlink:type="simple"/></inline-formula> is the largest element in Γ satisfies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x280.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x282.png" xlink:type="simple"/></inline-formula></p><p>Also by Definition 3.6, for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x283.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x284.png" xlink:type="simple"/></inline-formula> is a semi-linear uniform spaces, we have,</p><p>i)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x285.png" xlink:type="simple"/></inline-formula>.</p><p>ii) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x286.png" xlink:type="simple"/></inline-formula></p><p>Proposition 5. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x287.png" xlink:type="simple"/></inline-formula> be any distinct points in semi-linear uniform spaces<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x287.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x288.png" xlink:type="simple"/></inline-formula>. Then,</p><disp-formula id="scirp.57037-formula475"><graphic  xlink:href="http://html.scirp.org/file/16-7402726x289.png"  xlink:type="simple"/></disp-formula><p>Proof. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x290.png" xlink:type="simple"/></inline-formula> then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x290.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x291.png" xlink:type="simple"/></inline-formula>, then there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x290.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x291.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x292.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x290.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x291.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x292.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x293.png" xlink:type="simple"/></inline-formula> So there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x290.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x291.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x292.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x293.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x294.png" xlink:type="simple"/></inline-formula> such that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x295.png" xlink:type="simple"/></inline-formula>but <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x296.png" xlink:type="simple"/></inline-formula> is a chain implies the existence of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x297.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x297.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x298.png" xlink:type="simple"/></inline-formula> for all</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x299.png" xlink:type="simple"/></inline-formula>So <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x300.png" xlink:type="simple"/></inline-formula> On the other hand by proposition 1.7,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x301.png" xlink:type="simple"/></inline-formula>. So for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x302.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x303.png" xlink:type="simple"/></inline-formula> which implies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x304.png" xlink:type="simple"/></inline-formula></p><p>Definition 6. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x305.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x306.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x307.png" xlink:type="simple"/></inline-formula> define</p><p>i) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x309.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x309.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x308.png" xlink:type="simple"/></inline-formula>and the greatest common devisor of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x309.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x308.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x310.png" xlink:type="simple"/></inline-formula> is 1.</p><p>ii)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x311.png" xlink:type="simple"/></inline-formula>.</p><p>iii)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x312.png" xlink:type="simple"/></inline-formula>.</p><p>Definition 7. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x313.png" xlink:type="simple"/></inline-formula> be any points in semi-linear uniform spaces<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x313.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x314.png" xlink:type="simple"/></inline-formula>. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x313.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x314.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x315.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x316.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x316.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x317.png" xlink:type="simple"/></inline-formula> and the greatest common devisor of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x316.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x317.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x318.png" xlink:type="simple"/></inline-formula> is 1.</p><p>Using the a bove definition and Proposition 1.7, we have.</p><p>Proposition 6. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x319.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x319.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x320.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x319.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x320.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x321.png" xlink:type="simple"/></inline-formula></p><p>Proposition 7. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x322.png" xlink:type="simple"/></inline-formula> be any points in semi-linear uniform spaces<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x322.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x323.png" xlink:type="simple"/></inline-formula>. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x322.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x323.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x324.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x322.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x323.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x324.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x325.png" xlink:type="simple"/></inline-formula></p><p>Definition 8. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x326.png" xlink:type="simple"/></inline-formula> be an increasing sequence of positive rationals. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x326.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x327.png" xlink:type="simple"/></inline-formula> then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x328.png" xlink:type="simple"/></inline-formula>is defined by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x328.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x329.png" xlink:type="simple"/></inline-formula></p><p>Proposition 8. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x330.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x330.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x331.png" xlink:type="simple"/></inline-formula> an increasin sequence of positive rationals. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x330.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x331.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x332.png" xlink:type="simple"/></inline-formula> then</p><disp-formula id="scirp.57037-formula476"><graphic  xlink:href="http://html.scirp.org/file/16-7402726x333.png"  xlink:type="simple"/></disp-formula><p>Proof. It is an immediate consequence of Proposition (7) and Definition (8).</p></sec><sec id="s5"><title>5. Contractions</title><p>In [<xref ref-type="bibr" rid="scirp.57037-ref10">10</xref>] the definitions of converges and Cauchy are given. Now we shall discuss some topological properties of semi-linear uniform spaces. Since the semi-linear uniform space is a topological space then the continuity of a function is as in topology. The concept of uniform continuity is given by Wiels [<xref ref-type="bibr" rid="scirp.57037-ref4">4</xref>] , so we have:</p><p>Definition 9 [<xref ref-type="bibr" rid="scirp.57037-ref4">4</xref>] . Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x334.png" xlink:type="simple"/></inline-formula>, then f is uniformly continuous if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x334.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x335.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x334.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x335.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x336.png" xlink:type="simple"/></inline-formula> such</p><p>that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x337.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x337.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x338.png" xlink:type="simple"/></inline-formula></p><p>Clearly using our notation we have:</p><p>Proposition 9. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x339.png" xlink:type="simple"/></inline-formula>. Then f is uniformly continuous, if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x339.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x340.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x339.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x340.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x341.png" xlink:type="simple"/></inline-formula> such that, for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x339.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x340.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x341.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x342.png" xlink:type="simple"/></inline-formula> if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x339.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x340.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x341.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x342.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x343.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x339.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x340.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x341.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x342.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x343.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x344.png" xlink:type="simple"/></inline-formula></p><p>The following proposition shows that we may replace <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x345.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x345.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x346.png" xlink:type="simple"/></inline-formula> in Proposition 2.2.</p><p>Proposition 10 [<xref ref-type="bibr" rid="scirp.57037-ref12">12</xref>] . Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x347.png" xlink:type="simple"/></inline-formula>. Then f is uniformly continuous, if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x347.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x348.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x349.png" xlink:type="simple"/></inline-formula>such that for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x349.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x350.png" xlink:type="simple"/></inline-formula> if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x349.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x351.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x349.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x352.png" xlink:type="simple"/></inline-formula></p><p>In [<xref ref-type="bibr" rid="scirp.57037-ref10">10</xref>] , Tallafha gave an example of a space which was the semi-linear uniform space, but not metrizable. Till now, to define a function f that satisfies Lipschitz condition, or to be a contraction, it should be defined on a metric space to another metric space. The main idea of this paper is to define such concepts without metric spaces, and we just need a semi-linear uniform space, which is weaker as we mentioned before.</p><p>Definition 10 [<xref ref-type="bibr" rid="scirp.57037-ref1">1</xref>] . Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x353.png" xlink:type="simple"/></inline-formula> then f satisfied Lipschitz condition if there exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x354.png" xlink:type="simple"/></inline-formula> such</p><p>that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x355.png" xlink:type="simple"/></inline-formula> Moreover if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x356.png" xlink:type="simple"/></inline-formula>, then we call f a contraction.</p><p>Now we shall give a new definition of Lipschitz condition and contraction called r-Lipschitz condition and r-contraction.</p><p>Definition 11. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x357.png" xlink:type="simple"/></inline-formula> then f satisfied r-Lipschitz condition if there exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x358.png" xlink:type="simple"/></inline-formula> such</p><p>that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x359.png" xlink:type="simple"/></inline-formula> Moreover if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x360.png" xlink:type="simple"/></inline-formula> then we call f a r-contraction.</p><p>Question. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x361.png" xlink:type="simple"/></inline-formula> be semi-linear uniform spaces and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x361.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x362.png" xlink:type="simple"/></inline-formula> what is the relation be- tween Lipschitz condition and r-Lipschitz condition, contraction, and r-contraction.</p><p>Remark 1 [<xref ref-type="bibr" rid="scirp.57037-ref12">12</xref>] . Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x363.png" xlink:type="simple"/></inline-formula> be semi-linear uniform spaces, then if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x363.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x364.png" xlink:type="simple"/></inline-formula> then the topology indused by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x363.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x364.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x365.png" xlink:type="simple"/></inline-formula> is the descrete topology which is metrizable. Therefore we can asumme that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x363.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x364.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x365.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x366.png" xlink:type="simple"/></inline-formula></p><p>Question [<xref ref-type="bibr" rid="scirp.57037-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.57037-ref12">12</xref>] . Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x367.png" xlink:type="simple"/></inline-formula> be a complete semi-linear uniform space. And <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x367.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x368.png" xlink:type="simple"/></inline-formula> be a contraction. Does f has a unique fixed point?</p><p>Question. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x369.png" xlink:type="simple"/></inline-formula> be a complete semi-linear uniform space. And <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x369.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/16-7402726x370.png" xlink:type="simple"/></inline-formula> be r-contraction. Does f has a unique fixed point?</p></sec></body><back><ref-list><title>References</title><ref id="scirp.57037-ref1"><label>1</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Tallafha</surname><given-names> A. </given-names></name>,<etal>et al</etal>. (<year>2013</year>)<article-title>Open Problems in Semi-Linear Uniform Spaces</article-title><source> Journal of Applied Functional Analysis</source><volume> 8</volume>,<fpage> 223</fpage>-<lpage>228</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.57037-ref2"><label>2</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Weil</surname><given-names> A. </given-names></name>,<etal>et al</etal>. (<year>1936</year>)<article-title>Les recouvrements des espaces topologiques: Espaces complete, espaces bicompact</article-title><source> Comptes Rendus de l’Acad&amp;eacute;mie des Sciences</source><volume> 202</volume>,<fpage> 1002</fpage>-<lpage>1005</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.57037-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Weil, A. (1937) Sur les espaces a structure uniforme et sur la topologie generale. Actuarial Science India, 551, Paris.</mixed-citation></ref><ref id="scirp.57037-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Weil, A. (1938) Sur les espaces à structure uniforme et sur la topologic g&amp;eacute;n&amp;eacute;rale. Hermann, Paris.</mixed-citation></ref><ref id="scirp.57037-ref5"><label>5</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Cohen</surname><given-names> L.W. </given-names></name>,<etal>et al</etal>. (<year>1937</year>)<article-title>Uniformity Properties in a Topological Space Satisfying the First Denumerability Postulate</article-title><source> Duke Mathematical Journal</source><volume> 3</volume>,<fpage> 610</fpage>-<lpage>615</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.57037-ref6"><label>6</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Cohen</surname><given-names> L.W. </given-names></name>,<etal>et al</etal>. (<year>1939</year>)<article-title>On Imbedding a Space in a Complete Space</article-title><source> Duke Mathematical Journal</source><volume> 5</volume>,<fpage> 174</fpage>-<lpage>183</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.57037-ref7"><label>7</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Graves</surname><given-names> L.M. </given-names></name>,<etal>et al</etal>. (<year>1937</year>)<article-title>On the Completing of a Housdroff Space</article-title><source> Annals of Mathematics</source><volume> 38</volume>,<fpage> 61</fpage>-<lpage>64</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.57037-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Bourbaki, N. (1940) Topologie G&amp;eacute;n&amp;eacute;rale (General Topology). Paris.</mixed-citation></ref><ref id="scirp.57037-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">James, I.M. (1987) Topological and Uniform Spaces. Undergraduate Texts in Mathematics. Springer-Verlag, Berlin.</mixed-citation></ref><ref id="scirp.57037-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Tallafha, A. and Khalil, R. (2009) Best Approximation in Uniformity Type Spaces. European Journal of Pure and Applied Mathematics, 2, 231-238.</mixed-citation></ref><ref id="scirp.57037-ref11"><label>11</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Tallafha</surname><given-names> A. </given-names></name>,<etal>et al</etal>. (<year>2011</year>)<article-title>Some Properties of Semi-Linear Uniform Spaces</article-title><source> Boletin da Sociedade Paranaense de Matematica</source><volume> 29</volume>,<fpage> 9</fpage>-<lpage>14</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.57037-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Tallafha, A. (2015) Fixed Point in a Non-Metrizable Spaces. To Appear.</mixed-citation></ref><ref id="scirp.57037-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Engelking, R. (1968) Outline of General Topology. North-Holand, Amsterdam.</mixed-citation></ref></ref-list></back></article>