<?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.2013.47133</article-id><article-id pub-id-type="publisher-id">AM-33806</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>
 
 
  Second Descendible Self-Mapping with Closed Periodic Points Set
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>engrong</surname><given-names>Zhang</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Zhanjiang</surname><given-names>Ji</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Fanping</surname><given-names>Zeng</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>College of Mathematics and Information Science, Guangxi University, Nanning, China</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>zgrzaw@gxu.edu.cn(EZ)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>28</day><month>06</month><year>2013</year></pub-date><volume>04</volume><issue>07</issue><fpage>969</fpage><lpage>971</lpage><history><date date-type="received"><day>February</day>	<month>21,</month>	<year>2013</year></date><date date-type="rev-recd"><day>March</day>	<month>22,</month>	<year>2013</year>	</date><date date-type="accepted"><day>March</day>	<month>31,</month>	<year>2013</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><html>
 <head></head>
 
   Let  <img alt="" src="Edit_57d90bec-d363-4847-9b58-8c388c23a23e.bmp" />and <em>f</em><em>:</em><em>X</em><em>n</em><em>→</em><em>X</em><em>n</em> be a continuous map. If f is a second descendible map, then <em>P</em><em>(</em><em>f</em><em>)</em> is closed if and only if one of the following hold: 1) <img alt="" src="Edit_38bc3a50-7ef8-4726-b27c-c5f6997cd7ad.bmp" /> ; 2) For any <em>z ε R (f)</em>, there exists a yεw <em>(</em><em>z</em><em>,</em><em>f</em><em>) </em><em>∩ </em><em>P</em><em>(</em><em>f</em><em>)</em> such that every point of the set <em>orb (y,f)</em><em> i</em>s a isolated point of the set <em>w (z,f)</em>; 3) For any <em>z </em><em>ε </em><em>R</em><em>(</em><em>f</em><em>)</em>, the set <em>w (z,f)</em> is finite; 4) For any <em>z </em><em>ε </em><em>R</em><em>(</em><em>f</em><em>)</em>, the set <em>w' (z,f)</em> is finite. The consult give another condition of f with closed periodic set other than [1]. 
 
</html></p></abstract><kwd-group><kwd>Periodic Point; Recurrent Point; w-Limit Point; Second Descendible Map</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>In this paper, let <img src="1-7401396\5c318dcc-ae5f-4ac9-97e4-3314bba3e34e.jpg" /> denote<img src="1-7401396\920fa8b1-5e0e-4fe7-b7e4-d502b0b44f49.jpg" />, X denote compact metric space, <img src="1-7401396\45d5311f-8bf6-47ed-94b7-8d3a6d1e74bb.jpg" />denote all continuous self-maps on X. The concepts of periodic point, w-limit point of z and the orbit of z are showed by [<xref ref-type="bibr" rid="scirp.33806-ref2">2</xref>]. Denote by <img src="1-7401396\66a1b91d-1a44-438d-b837-b19d31e3049c.jpg" /> the sets of periodic points of f, denote by <img src="1-7401396\fa9a97e3-aae2-44bc-ba9a-12c1c94a287c.jpg" /> the w-limit points of z, and denote by <img src="1-7401396\8090a9a1-bff5-481c-a1e2-d220a6596375.jpg" /> the orbit of z. A point <img src="1-7401396\3887459d-ecef-49fe-b169-1637c14b7c90.jpg" /> is said to be recurrent point if for any neighborhood <img src="1-7401396\eaf214da-05b3-43c5-9c5b-2d4ce7d077d1.jpg" /> of x, there exists a positive integer m such that<img src="1-7401396\9d10eff3-0746-4e98-94d2-e69d52b58c80.jpg" />. Let <img src="1-7401396\b8d51b2d-7523-4c6b-ae19-97229abfa1a5.jpg" /> denote the set of recurrent points.</p><p>In recent years, many authors studied equivalent conditions of closed periodic points set. Gengrong Zhang [<xref ref-type="bibr" rid="scirp.33806-ref3">3</xref>], Xiong Jincheng [<xref ref-type="bibr" rid="scirp.33806-ref4">4</xref>] and Wang Lidong [<xref ref-type="bibr" rid="scirp.33806-ref5">5</xref>] studied respectively anti-triangular map of X<sub>2</sub>, continuous self-map of the closed interval and continuous self-map of the circle. They showed equivalent conditions of closed periodic points set (see more detail for [3-5]). Du Ruijin [<xref ref-type="bibr" rid="scirp.33806-ref1">1</xref>] given five equivalent conditions of closed periodic points set if f is a second descendible map of X<sub>n</sub>. 1)<img src="1-7401396\5bbaf98e-762a-4f91-9da6-169840fd87d8.jpg" /><img src="1-7401396\9d1317f3-bdb0-42df-b17e-7699312aa013.jpg" />; 2)<img src="1-7401396\4b396537-4133-4d8b-b8c5-8bf211a27673.jpg" />; 3)<img src="1-7401396\0b54d3c2-49ca-4a99-9327-d4f0878e1d8f.jpg" />; 4)<img src="1-7401396\9c9ada23-1461-44db-a84b-436cfc0b1f0a.jpg" /><img src="1-7401396\a73ebc78-eb6c-40f9-8af2-a61bfb9ea738.jpg" />; 5)<img src="1-7401396\543140ab-14f3-4838-9419-4c5900c060ae.jpg" />.</p><p>In this paper, we will continue to study new equivalent conditions about that the set <img src="1-7401396\9051e738-dcbe-4271-aea1-7f3f0407a149.jpg" /> is closed. The following theorem are given.</p><p>Main Theorem Let <img src="1-7401396\32696035-11a9-4440-8d5c-0595eb9a6e78.jpg" /> be a continuous map. If f is a second descendible map, then the following properties are equivalent:</p><p>1) The set <img src="1-7401396\c6c18b19-085c-4308-b3ee-d5a1a91974c0.jpg" /> is closed; 2)<img src="1-7401396\a29c99f9-e1f8-462c-9026-10b3b14535d9.jpg" />; 3) For any<img src="1-7401396\c00a6915-4dec-44b7-bd77-e7ac715a57e3.jpg" />, there exists a <img src="1-7401396\99c3b142-b077-4b01-9128-3763e4aff61c.jpg" /> such that every point of the set <img src="1-7401396\2ba8dd0a-2054-4b86-96ba-526ec915cec7.jpg" /> is a isolated point of the set<img src="1-7401396\6f12e12d-4fd4-4f04-b365-b631eb9545b0.jpg" />; 4) For any<img src="1-7401396\4c099804-a863-4b30-8e39-20e0e2c1cd8d.jpg" />, the set <img src="1-7401396\17a043db-ab92-4974-bfc3-9e2d687d29e2.jpg" /> is finite; 5) For any<img src="1-7401396\f25f2434-d563-4696-b3c2-4fcab02b10d6.jpg" />, the set <img src="1-7401396\9b2b3dfe-d110-47f7-a41c-f9a07a2ab731.jpg" /> is finite.</p></sec><sec id="s2"><title>2. Definition and Lemma</title><p>Definition 1 For any<img src="1-7401396\e7eb7654-cab8-4460-9fe4-a353254523ef.jpg" />, let<img src="1-7401396\2a00806f-9db8-496b-bf74-88b1b25cbb12.jpg" />, define:<img src="1-7401396\8275275b-4373-4aee-9832-33ea32d9b147.jpg" />, then p<sub>i</sub> is said to be canonical projection.</p><p>Definition 2 Let<img src="1-7401396\a0b6e3ed-7f05-43d6-b83c-d4220cb9483d.jpg" />, the map f is said to be second descendible if for any<img src="1-7401396\a4a1515b-1b2d-4c35-88da-9d2173c80b5a.jpg" />, there exists <img src="1-7401396\47ca7b9d-64e6-42aa-9041-cabd6887ac95.jpg" /> such that <img src="1-7401396\31782e3a-7b62-400d-b97d-84b2f1682bf3.jpg" />. In this case F<sub>i</sub> is a descendible group of f.</p><p>Lemma 1 [<xref ref-type="bibr" rid="scirp.33806-ref6">6</xref>] Let<img src="1-7401396\a8c4b35b-5ec9-4aa9-9ac4-2d7c6ab7915f.jpg" />. Then the following properties are equivalent:</p><p>1) <img src="1-7401396\3d022ced-bb4c-404a-adda-770f7eed9c31.jpg" />is a descendible group of f;</p><p>2)<img src="1-7401396\384209b9-7676-4bb0-a885-3893d5ac1778.jpg" />.</p><p>Lemma 2 Let<img src="1-7401396\d6675ffd-7310-4de5-880b-0802aefc06a5.jpg" />. If f is a second descendible map and <img src="1-7401396\69f9dbf4-1150-42f1-9180-eeb20b93e61a.jpg" /> is a descendible group of f, then any<img src="1-7401396\751578aa-c7f8-46d5-865f-26c3d25cccb7.jpg" />, we have</p><p><img src="1-7401396\a81208a5-2be2-42c4-8bee-b1412073429a.jpg" />.</p><p>Proof. Suppose<img src="1-7401396\4f365410-b5a9-4a47-ae91-aa1352a73afb.jpg" />. There exists a positive integer sequence <img src="1-7401396\ed18c89f-1b22-47fd-83a1-f1c15549f302.jpg" /> such that<img src="1-7401396\1cef237e-440c-45e6-ade5-045a12c1645a.jpg" />. By Lemma 1, we can get</p><p><img src="1-7401396\68c258e9-51b0-4e92-9942-29cdd631e80e.jpg" />. Hence for any<img src="1-7401396\c3bc64f8-9f67-45aa-ab87-ee1cf4c472f6.jpg" />, we have<img src="1-7401396\ba3958c6-9967-498e-85de-eeb9e8ef38d2.jpg" />. Thus</p><p><img src="1-7401396\ab7f2feb-858b-4341-a175-3836595fa1b4.jpg" />. This complete the proof.</p><p>Lemma 3 Let<img src="1-7401396\a21bc131-92f0-4f2c-b009-06c3d8f0f6ea.jpg" />. Then <img src="1-7401396\168deaa7-1a63-4af0-9065-7cddbaee0770.jpg" /> if and only if<img src="1-7401396\02bc676f-93cd-484e-ba30-ea7b90e3ce34.jpg" />.</p><p>Proof. Suppose<img src="1-7401396\b2af59aa-da27-4d21-9d7d-976cbf5e1979.jpg" />. For any positive integer k, there exists a positive integer sequence <img src="1-7401396\80b94b18-9b73-44cc-b2b6-88e6b2c0eca6.jpg" /> such that</p><p><img src="1-7401396\97faf989-9b0c-4ba2-aa9d-714fd1e3c371.jpg" />. Hence<img src="1-7401396\426eb65a-e4bf-4b1d-b884-23bdc5e23121.jpg" />. Assume</p><p><img src="1-7401396\5a27da57-0a06-4c5e-944b-e116589551a3.jpg" />. Then there exists a positive integer sequence <img src="1-7401396\5f5ffdc4-4a19-4c0d-9d15-6eaaad1410bb.jpg" />such that<img src="1-7401396\7e06c997-9890-4b91-802a-35f01d58f737.jpg" />. By definition,<img src="1-7401396\eefc3074-4ace-42c5-bb96-47f284369587.jpg" />. Hence we complete the proof.</p><p>Lemma 4 [<xref ref-type="bibr" rid="scirp.33806-ref5">5</xref>] Let<img src="1-7401396\2500e530-a9e4-4a6e-9525-1761cbbf658b.jpg" />. Then 1) For any<img src="1-7401396\cf57d79c-2cb5-4fdb-972b-7a0f8c446096.jpg" />, the set <img src="1-7401396\25b7b6a0-5134-43a1-bc1c-465267782907.jpg" /> is periodic orbit if and only if the set <img src="1-7401396\e1437b41-def3-404b-a67f-17ad0c6a6a06.jpg" /> is finite.</p><p>2) Let<img src="1-7401396\7d673070-6762-4458-b8e9-c335d1a5e630.jpg" />. If y is a isolated point of the set<img src="1-7401396\6674dc2e-11a6-49f0-9339-78b35bdab510.jpg" />, then we have<img src="1-7401396\0446da0f-ccaf-4f7b-aae5-8c43a002a97c.jpg" />.</p><p>Lemma 5 Let <img src="1-7401396\05e13266-6af3-4e0c-adfa-efdf5b4221b7.jpg" /> and <img src="1-7401396\0fef154d-3d5d-4cf1-8296-58333ec1e922.jpg" />. If all points of the set <img src="1-7401396\aa2f248b-e2d4-4f2c-b666-c878eabdac5e.jpg" /> are isolated points of the set<img src="1-7401396\8a3c5594-8d2e-443f-ae8d-560b47327881.jpg" />, then we have<img src="1-7401396\73b3dbbd-700e-4ec5-aacb-8a90e784d391.jpg" />.</p><p>Proof. Suppose<img src="1-7401396\dd5955b4-2219-466c-ac2d-20833fadf067.jpg" />. Then there exists a positive integer l and a sequence <img src="1-7401396\2bb451aa-fb6c-44a9-a228-223a96659fd7.jpg" /> such that <img src="1-7401396\b5076320-44cb-442a-a5b3-74af1f965ec0.jpg" /> and<img src="1-7401396\2071fc96-5078-474b-b626-39599d88ed51.jpg" />. Hence for any<img src="1-7401396\79c03e5a-2ad3-41c4-8fe9-8aeb92c9c7dc.jpg" />, we have<img src="1-7401396\20d6b160-28ba-43e2-9da9-7a349340d2d6.jpg" />. By assumption, for any<img src="1-7401396\69d352cf-5d7c-4676-a83f-0de45cff0c8e.jpg" />, the point of <img src="1-7401396\9d2e4c5e-a19e-4524-b62c-55180bfbc173.jpg" /> is a isolated point of the set<img src="1-7401396\cc6d74f3-cbf5-4af7-9b5a-71f08a72e2bc.jpg" />. Thus for any</p><p><img src="1-7401396\13c58674-3904-4562-9f8b-7edb18b7b8df.jpg" />, there exists a neighborhood <img src="1-7401396\feb22635-ac95-4bd4-9c57-0308f3705819.jpg" /> of <img src="1-7401396\08ed1128-91ee-46ef-a904-9db15b300535.jpg" /> such that<img src="1-7401396\60321481-a137-4b27-aaa2-a8cc08845685.jpg" />.</p><p>Using the equation of<img src="1-7401396\5bd20fa5-5201-4888-8120-a4c60b05a705.jpg" />, we have<img src="1-7401396\6599176d-f270-4222-a9b1-e99f80209c19.jpg" />.</p><p>By 2) of Lemma 4, we can get that <img src="1-7401396\41d840ac-ad65-4e9c-bf66-73318e034e39.jpg" /> <img src="1-7401396\a51e3024-2a4a-423a-8a86-634e9a09277f.jpg" />. Hence we have that<img src="1-7401396\58b7980f-6c21-489b-8bb3-d3fd10bda1c5.jpg" />.</p><p>Lemma 6 Let <img src="1-7401396\13992c7f-433b-46af-b7b7-bf76bbd0b993.jpg" /> and the set <img src="1-7401396\54ebc211-bd99-497e-ad3f-7f219bfeb9b2.jpg" /> is infinite. Then any<img src="1-7401396\dbe6d684-3a03-4162-90e2-d321e08c763b.jpg" />, we can get that <img src="1-7401396\0790f797-2d64-46ce-999c-50ed126576cd.jpg" />.</p><p>Proof. Assume on the contrary that there exists <img src="1-7401396\c67d4676-1294-4a29-a5b8-b9df4358b15a.jpg" /> such that<img src="1-7401396\eede0fdc-6074-45c9-ac0a-5652461ffa8d.jpg" />. Thus <img src="1-7401396\0a7b0ab5-a620-43de-869e-bd8ebf15f0eb.jpg" />. Hence the point <img src="1-7401396\81ed81eb-83e6-4249-a7a8-7ea2b3576e42.jpg" /> is a periodic point. Therefore the set <img src="1-7401396\18231a8a-f48b-4e0a-91b3-2779325c6bea.jpg" /> is finite, which is impossible. Thus the lemma is proved.</p><p>Lemma 7 [<xref ref-type="bibr" rid="scirp.33806-ref5">5</xref>] Let <img src="1-7401396\e0fdab1d-d461-4493-8b40-5c5806d19bf1.jpg" /> and for any<img src="1-7401396\b186ad37-9caf-463a-96a4-7460414e89fb.jpg" />, the set <img src="1-7401396\a39a25eb-8cf4-43e2-bab8-969579be8f32.jpg" /> is finite. Then we have<img src="1-7401396\a196c8e6-b0ff-4049-81e7-aa4e6339cff8.jpg" />.</p><p>Lemma 8 Let<img src="1-7401396\915bc416-b25a-4d50-aef7-d49296ef4c04.jpg" />. If f is a second descendible map and <img src="1-7401396\18fe1b5a-ead9-4424-a2c1-7b8fe4c57741.jpg" /> is a descendible group of f, and the set <img src="1-7401396\d8ec6d27-4611-43dc-9e07-8303ce49bbd1.jpg" /> is closed. Then any <img src="1-7401396\c468b621-2af3-4b1c-83d8-895e6dac27bc.jpg" />, we have the set <img src="1-7401396\1e256b6f-d66b-4829-b08f-bf6816b81136.jpg" /> is periodic orbit.</p><p>Proof. According to [<xref ref-type="bibr" rid="scirp.33806-ref6">6</xref>], we can get that</p><p><img src="1-7401396\80964b29-96cb-4a12-abc6-5c450471ac24.jpg" />. By assumption, the set <img src="1-7401396\bc78b6c5-5b03-4b8a-9b95-259be2b1f155.jpg" /> is closed. Hence for any<img src="1-7401396\7fda2214-937f-4e53-bbaa-65ae09c8abcc.jpg" />, the set <img src="1-7401396\b8ecf77c-2410-4195-8c5f-3006d3e9b1a5.jpg" /> is closed. Let<img src="1-7401396\6679bb95-3f7e-4d0c-9e9e-cc6288fff6a8.jpg" />. According to [<xref ref-type="bibr" rid="scirp.33806-ref4">4</xref>], the set <img src="1-7401396\4fb1ac81-3707-4d19-9dc0-55e5752ce7a4.jpg" /> is closed if and only if for any<img src="1-7401396\6dba281e-4af9-4dcc-8e83-d0946f17eec7.jpg" />, the set <img src="1-7401396\91670405-700d-4c2f-8a33-1f5d02127c48.jpg" /> is periodic orbit. Hence for any <img src="1-7401396\8acd49c0-e4f2-4529-8bfe-eb9a54afbbd6.jpg" /> and any<img src="1-7401396\c9393a8f-0e9b-4e73-a78a-981384a91a3d.jpg" />, the set <img src="1-7401396\c7f04949-1e4c-40d8-aad9-177dcf059374.jpg" /> is periodic orbit. Using 1) of Lemma 4, for any <img src="1-7401396\fff0bdfc-44fb-4d3c-8def-08a94294ccad.jpg" /> and any<img src="1-7401396\6c3f7c65-863f-4aa5-8cf0-69de565b2702.jpg" />, the set <img src="1-7401396\4c699c63-894c-4437-87ee-81db6f4b9122.jpg" /> is finite. The set <img src="1-7401396\6dfaac68-394b-4ee4-a7ea-d40a25e23ab6.jpg" /> is finite since<img src="1-7401396\756bae0e-0c8a-4d77-a766-7c33a3ed4b30.jpg" />. Therefore we have the set <img src="1-7401396\4bdaf496-2da8-4f06-9f28-98f4a6b11409.jpg" /> is periodic orbit.</p></sec><sec id="s3"><title>3. The Proof of Main Theorem</title><p>Main Theorem Let <img src="1-7401396\0f9adf91-cc6b-4eb6-ab0f-c2b8371ba965.jpg" /> be a continuous map. If f is a second descendible map, then the following properties are equivalent:</p><p>1) The set <img src="1-7401396\02508181-3a65-4e37-97f9-c5d236b3f2bd.jpg" /> is closed;</p><p>2)<img src="1-7401396\771cc14f-52ca-4eaa-83ab-d83bda276726.jpg" />;</p><p>3) For any<img src="1-7401396\5b3167f3-1e4f-4e30-aee6-9698627d0c58.jpg" />, there exists a <img src="1-7401396\d142675c-9770-4591-aacc-90a0a89097cb.jpg" /> such that every point of the set <img src="1-7401396\6fb4a148-62ae-4a68-b4d0-f1ff4c82ba5b.jpg" /> is a isolated point of the set<img src="1-7401396\e5ac23a1-cff1-440a-9e35-c87872848c8e.jpg" />;</p><p>4) For any<img src="1-7401396\8f2f7bf9-3ff7-46be-a83a-a312e1800366.jpg" />, the set <img src="1-7401396\72ca5757-0f2c-48a1-841b-b1a95b5ecbe3.jpg" /> is finite;</p><p>5) For any<img src="1-7401396\8684cf80-441a-4a2b-b5b8-f1747fd8c9bf.jpg" />, the set <img src="1-7401396\a14017b1-49bf-4fae-8f8d-0baa3c568ca7.jpg" /> is finite.</p><p>Proof. 1) <img src="1-7401396\e4321679-ea5c-43f7-b789-9facb00fd734.jpg" />2) First we will show that the set <img src="1-7401396\10218253-f92f-415d-b76e-3bffe27c7583.jpg" /> is closed if and only if for any<img src="1-7401396\4959538a-2259-4c91-9bb9-aeb1b046f50b.jpg" />, <img src="1-7401396\5e31bf9a-e3f8-4122-b391-4805724d7cd1.jpg" />(*).</p><p>According to [<xref ref-type="bibr" rid="scirp.33806-ref6">6</xref>], we can get that<img src="1-7401396\c98c5721-f90e-4f44-baeb-75a1f1fb2512.jpg" />.</p><p>Hence the set <img src="1-7401396\59ba0bfe-356d-425b-8189-475bc097b640.jpg" /> is closed if and only if for any<img src="1-7401396\d84d6a5d-84cf-4f07-8fee-257501156736.jpg" />, the set <img src="1-7401396\6246a611-f298-4e72-9315-164aebd870bf.jpg" /> is closed. Let<img src="1-7401396\c0b2a469-9cde-480b-8303-ed3d3257ad27.jpg" />. It is obvious that the set <img src="1-7401396\51dcb6bb-6df9-4133-b9e8-4f4b79af9933.jpg" /> is closed if and only if<img src="1-7401396\2fa17cb5-0423-4434-b5dd-c6eda03e9f46.jpg" />. Thus we complete the proof of (*).</p><p>Assume<img src="1-7401396\bc686713-1f68-4a7a-9405-a44c6167d5fe.jpg" />. Then there exists a integer <img src="1-7401396\8f0775b7-d418-4e2c-9817-89c63e714484.jpg" /> such that <img src="1-7401396\aeee3c11-0b85-43f8-9494-4fb46530933f.jpg" /> for any</p><p><img src="1-7401396\606c756f-cd9e-4e2f-a34a-962a32d590ad.jpg" />. Hence<img src="1-7401396\47ebbc0e-9be2-41be-b7bf-05926d401636.jpg" />. Therefore 1) implies 2).</p><p>2) <img src="1-7401396\8ca9c446-378d-4566-a4a6-5d14d6aa2efa.jpg" />1) Suppose<img src="1-7401396\3bd2681d-3870-4d5a-801c-6979ae1d1282.jpg" />. For any<img src="1-7401396\7cdc4fd9-6b98-413b-b95b-172e8a1f5ea5.jpg" />,<img src="1-7401396\c872fd10-9f30-4759-9e71-11795235c260.jpg" />. Let<img src="1-7401396\20374b31-e8d1-4c1d-a3de-cdd0b11cf299.jpg" />. According to [<xref ref-type="bibr" rid="scirp.33806-ref6">6</xref>], we can get that<img src="1-7401396\b7840c1d-a783-42b5-a66c-afb8b45d58be.jpg" />. Hence</p><p><img src="1-7401396\69cd6b18-56a4-4544-b149-21309e417bf6.jpg" />. Then there exists a integer <img src="1-7401396\6ae41594-83b1-4f96-87c6-6858eb209012.jpg" /> such that<img src="1-7401396\4fc9cd93-e32b-4d17-bdc6-1d4d08bf39d5.jpg" />. Thus for any<img src="1-7401396\59fa5453-4693-42db-b7c7-e70a1feb0af6.jpg" />. By (*), the set <img src="1-7401396\aa8a2efd-a0fa-47d9-92e0-d6e0d6202629.jpg" /> is closed.</p><p>1) <img src="1-7401396\d3afb738-b4cc-4a1d-a1d5-02a7b136f388.jpg" />3) By assumption and according to [<xref ref-type="bibr" rid="scirp.33806-ref1">1</xref>],<img src="1-7401396\970b8c17-29b8-45c7-84a6-d433ec6be24f.jpg" />. For any<img src="1-7401396\c0c5bbfe-ac61-4493-9420-0baa992a4189.jpg" />, let<img src="1-7401396\fa8ffb81-cfe6-4776-97ce-57fe7fddc106.jpg" />. Thus<img src="1-7401396\5499c719-59c9-4aaa-8eed-9f60f4406c3f.jpg" />. By assumption and Lemma 8, the set <img src="1-7401396\83062b5f-4922-42b4-b910-0fe2f350838f.jpg" /> is periodic orbit. Using 1) of Lemma 4, the set <img src="1-7401396\3a88d9a6-6f7f-4ade-b250-786bdd0bfdf8.jpg" /> is finite. Hence the set <img src="1-7401396\0dd69eb9-54ee-4ae1-a7b8-7d28fbf73be0.jpg" /> is empty. Thus 1) implies 3).</p><p>3) <img src="1-7401396\f14273cd-bdc5-404a-9bce-9fcf3ab2e8f1.jpg" />4) By assumption, for any<img src="1-7401396\d4a5f945-af01-41ab-9255-6cfa284d6ca4.jpg" />, there exists a <img src="1-7401396\9e7abb4d-a3c5-4317-93bf-cf857356f9af.jpg" /> such that every point of the set <img src="1-7401396\f886b891-72b2-48cd-9373-86acad5c4808.jpg" /> is a isolated point of the set<img src="1-7401396\a24fd716-e7a7-4a3f-92e4-68a4e90919b1.jpg" />. By Lemma 5,<img src="1-7401396\debc993f-1bfc-409c-83bc-e0d8dcc62075.jpg" />. Hence the set <img src="1-7401396\2bed174e-bfb0-4596-a4b9-fc3842a98c37.jpg" /> is finite.</p><p>4) <img src="1-7401396\a8f76908-f1fd-4d7f-bbb4-6af35b79134b.jpg" />5) It is obvious that 4) implies 5).</p><p>5) <img src="1-7401396\8d956606-3f07-4895-9b89-75b42aca94ee.jpg" />1) For any<img src="1-7401396\765cc97f-1e81-4252-a3be-bb48aeff62fe.jpg" />, we have<img src="1-7401396\35205331-a907-4979-a88e-d9bbf6014929.jpg" />.</p><p>Case 1: Suppose that the set <img src="1-7401396\0a9033fa-d956-4ba8-b35f-254c230541b2.jpg" /> is finite. Using 1) of Lemma 4, the set <img src="1-7401396\dc4fe9a4-0424-41c7-aecb-0bc2c765bb9e.jpg" /> is periodic orbit. So<img src="1-7401396\4fb3495c-3623-411f-90a4-6879a5f056c1.jpg" />. Thus<img src="1-7401396\11f33d61-b053-4fb1-9468-5ff61d85d6a1.jpg" />.</p><p>Case 2: Assume that the set <img src="1-7401396\4bdec457-55d1-44af-abe1-bc9fcedfbc55.jpg" /> is infinite. Then exists a sequence <img src="1-7401396\df32995d-cfd9-483f-bf4f-f8c7669c60d4.jpg" /> such that the sequence <img src="1-7401396\390320c8-f059-45e7-8890-da86f59af3e4.jpg" /> converges to <img src="1-7401396\8e7f75de-dde4-4fdf-8e2a-fd3dcfb0ed14.jpg" /> and by Lemma 6, all points of the set <img src="1-7401396\a12c66cd-78fe-4e23-9fad-330e1a6c2718.jpg" /> are different. Hence<img src="1-7401396\6f4d348d-e597-4dcd-91d6-67cc80e5371d.jpg" />. By assumption that the set <img src="1-7401396\b6c34f00-55a0-450c-b545-0c91c01d8fb7.jpg" /> is finite and Lemma 7, we have that<img src="1-7401396\2e86c5f3-ace9-46c4-bdc6-7abc03ea1dd8.jpg" />. Thus<img src="1-7401396\c169aefb-3b58-4903-a808-e1a51765d281.jpg" />.</p><p>According to [<xref ref-type="bibr" rid="scirp.33806-ref1">1</xref>], the set <img src="1-7401396\b4cef072-bc16-4ded-b660-0c630d7a6ed4.jpg" /> is closed. Thus we complete the proof of the theorem.</p></sec><sec id="s4"><title>4. Acknowledgements</title><p>This work was supported by the NSF of China (No. 11161029), NSF of Guangxi (2010GXNSFA013109, 2012GXNSFDA276040, 2013GXNSFBA019020).</p></sec><sec id="s5"><title>REFERENCES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.33806-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">R.-J. Du, Y.-G. Jin and M.-X. Li, “On the Periodic Point Set of a n-Dimensional Self-Mapping,” Journal of Chongqing Technology Business University (Natural Science Edition), Vol. 23, No. 1, 2006, pp. 12-14 (in Chinese).</mixed-citation></ref><ref id="scirp.33806-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">J.-C. Xiong, “Continous Self-Maps of the Closed Interval Whose Periodic Points Form a Closed Set,” Journal of China University of Science and Technology, Vol. 11, No. 4, 1981, pp. 14-22.</mixed-citation></ref><ref id="scirp.33806-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">G. R. Zhang, R. H. Li and C. L. Yang, “Anti-Triangular Maps with Closed Periodic Sets,” Far East Journal of Dynamical Systems, Vol. 19, No. 1, 2012, pp. 1-11.</mixed-citation></ref><ref id="scirp.33806-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">J. C. Xiong, “Dynamical Systems of Interval Maps: Non wandering Set, Topological Entropy and Chaos,” Advances in Mathematics, Vol. 17, No. 1, 1988 (in Chinese).</mixed-citation></ref><ref id="scirp.33806-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">L. D. Wang, “The Necessary and Sufficient Condition of a Closed Periodic Points Set of the Continuous Self-Maps of the Circle,” Journal of Shanxi Teacher’s University (Natural Science Edition), Vol. 4, No. 2, 1990 (in Chinese).</mixed-citation></ref><ref id="scirp.33806-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">B.-G. Yan, “The Chaotic Set and Asymptotic Periodic Point of Descendible Mapping,” Journal of Hebei University of Engineering (Natural Science Edition), Vol. 24, No. 3, 2007, pp. 102-103 (in Chinese).</mixed-citation></ref></ref-list></back></article>