{"entities":{"Q1734263":{"pageid":1745004,"ns":120,"title":"Item:Q1734263","lastrevid":68928660,"modified":"2026-04-13T03:10:18Z","type":"item","id":"Q1734263","labels":{"en":{"language":"en","value":"On uniformly continuous functions between pseudometric spaces and the axiom of countable choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7043051"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$ECABC83F-323B-4D29-AFE9-4CDB7C92C584","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b37ca06d6aeba11323264ad694dccc78f91821c","datavalue":{"value":{"text":"On uniformly continuous functions between pseudometric spaces and the axiom of countable choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1734263$28EE3554-9314-4108-812F-4B463EAB78E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b956e4c211acbe0dad7bb8bcc5c89154a28f6399","datavalue":{"value":"1475.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734263$57BF3DDC-7F80-42AC-8CD9-AF94103F42B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90f0ca9762889a6cee706eb47154cc17235732ef","datavalue":{"value":{"entity-type":"item","numeric-id":590094,"id":"Q590094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$13BE7A68-E4FC-41BE-9A85-A5459FD9A8B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$BE610EE3-EAA7-4A72-BFEB-893F74ED28BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d06bbe883443d922d03e742956c1e568349f86c8","datavalue":{"value":{"time":"+2019-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1734263$682B0EB9-2A13-4687-A55B-7AE2F8D344F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b0f37a97584cb8ba91c7210a66dd6017221b812","datavalue":{"value":"A (pseudo)metric space is said to be \\textit{Atsuji} or UC if every continuous real-valued function defined on the space is uniformly continuous. \\textit{M. Atsuji} [Pac. J. Math. 8, 11--16 (1958; Zbl 0082.16207)] was the first to provide equivalent conditions under which continuous functions of a metric space are uniformly continuous. Recently, in the context of ZF set theory (i.e., Zermelo-Fraenkel set theory without the axiom of choice), the property of being UC in the class of metric spaces has been studied by \\textit{K. Keremedis} [Topology Appl. 210, 366--375 (2016; Zbl 1355.54035); Bull. Pol. Acad. Sci., Math. 65, No. 2, 113--124 (2017; Zbl 1436.03256); Topol. Proc. 52, 73--93 (2018; Zbl 1398.54046)].  In the paper under review, the author investigates (within ZF) the property UC in the class of pseudometric spaces and obtains some interesting equivalents of the axiom of countable choice \\(\\mathrm{AC}_{\\omega}\\) (i.e., every countably infinite family of non-empty sets has a choice function); one of those equivalents being a well-known characterization -- via pairs of sequences -- of uniform continuity of real-valued continuous functions defined on pseudometric spaces (see (2) below).  The main result of this paper is that \\(\\mathrm{AC}_{\\omega}\\) is equivalent to each of the following statements: \\begin{itemize} \\item[1.] If \\(M,N\\) are pseudometric spaces and \\(f:M\\rightarrow N\\) is a continuous function, \\(f\\) is uniformly continuous, if and only if, for every pair of (not necessarily convergent) sequences \\((x_n)\\), \\((y_n)\\) in \\(M\\) such that \\(d_{M}(x_n,y_n)\\rightarrow 0\\) one has \\(d_{N}(f(x_n),f(y_n))\\rightarrow 0\\).  \\item[2.] If \\(M\\) is a pseudometric space and \\(f:M\\rightarrow\\mathbb{R}\\) is a continuous function, \\(f\\) is uniformly continuous, if and only if, for every pair of (not necessarily convergent) sequences \\((x_n)\\), \\((y_n)\\) in \\(M\\) such that \\(d_{M}(x_n,y_n)\\rightarrow 0\\) one has \\(|f(x_n)-f(y_n)|\\rightarrow 0\\).  \\item[3.] Let \\(M,N\\) be pseudometric spaces and assume \\(M\\) to be sequentially compact (i.e., every sequence in \\(M\\) has a convergent subsequence converging to a point in \\(M\\)). Then for every function \\(f:M\\rightarrow N\\), \\(f\\) is continuous, if and only if, it is uniformly continuous.  \\item[4.] Sequentially compact, pseudometric spaces are UC. \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734263$5A0F9DEB-9C1E-464F-840A-1808E7A9098E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"511460d5b84fc17c87ef8ad0e040133272c8d02c","datavalue":{"value":{"entity-type":"item","numeric-id":283107,"id":"Q283107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$AE1995FD-2139-4E12-BDC9-024C4965B760","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734263$9D91844F-C94E-4E26-9338-4CB0120EF0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734263$C1ABA62B-CC5C-4DED-AC7D-52EA197C0394","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39c0fa27614741f0054ddb47dbcaed37d88f0c47","datavalue":{"value":"7043051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734263$EFE6EE86-126D-42DE-B8E4-4B4665BDC8C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6f748e78029eacf7b7d6a8597b93806218d72b","datavalue":{"value":"axiom of countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734263$18E06ACC-9EFB-4917-B73B-690CB58FA2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3727b3552168ebf117c5cdbb5ccdcb7347059ee5","datavalue":{"value":"pseudometric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734263$074C883D-921A-4AC2-8591-F75B8F7D663B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051b9b7dd93701a972bbd72920bdb951539c784c","datavalue":{"value":"uniform continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734263$B9C16289-62F9-4A9E-B435-EBA868F531C7","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$2DE40ECB-5A1D-4BB5-A279-BF80DA163723","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cef7aa3634283ede236c08439d5870a0c6a7e8a5","datavalue":{"value":"https://doi.org/10.1007/s00153-018-0643-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1734263$40ABB04D-8738-439E-B801-D9E9E67A9132","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b126189cf2b5fb958ac1fa4c3dc4c10ca595bd19","datavalue":{"value":"W2884768194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734263$58A12898-D3CD-4DC3-A804-09CD5DCF57C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d4b10866d37078b59f2bcbab09359d6e9d2a83f5","datavalue":{"value":"Q114018306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734263$27C248A2-C8B9-47B5-A80E-FC6162D29719","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7730f7a73b0e71b632c97e260879cc375e63a8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1295287,"id":"Q1295287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$09AF338E-527D-4A10-9CFC-C1688DEBC8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4176451ee44d39446ffa5830aced434ca0f2af08","datavalue":{"value":{"entity-type":"item","numeric-id":5920586,"id":"Q5920586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$20DC875A-285F-445E-90A7-1CAF4E13CA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a8df4f46289779e476c5e26b2ce5f628ca7a0f","datavalue":{"value":{"entity-type":"item","numeric-id":5248284,"id":"Q5248284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$91575CDF-685A-49A4-833E-CEA03A6141FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6084574919df1fabb6811a7478d7ce895596b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4210469,"id":"Q4210469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$AA8EA00B-AD46-4BE8-80B4-1D624852BD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edddcf410f050320978c0bdbfc83f92953120a2","datavalue":{"value":{"entity-type":"item","numeric-id":1587990,"id":"Q1587990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$F075A227-1431-4D63-8D67-B544167E13B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff30a6ed9fdc88e33feff9c78cc658e17f8a3e2","datavalue":{"value":{"entity-type":"item","numeric-id":306170,"id":"Q306170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$DAB6AF17-6A87-4458-AE5A-206863D302EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c4400f52c867b16851c1706116b7de83ad231f","datavalue":{"value":{"entity-type":"item","numeric-id":4595466,"id":"Q4595466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734263$BB1AC243-32BD-45B1-A5AC-FFA1A7103E30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c8b3b47825038f41e31a338fcbde96f61858796","datavalue":{"value":"10.1007/S00153-018-0643-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734263$942C9B11-9A5B-4A2D-AA58-C12A27CEEF07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c323b04a5bd30b396521482d4c7a8d734f15f48f","datavalue":{"value":{"entity-type":"item","numeric-id":4595466,"id":"Q4595466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede2e9bf3a0051ef764e24666436c5bf2e336f6e","datavalue":{"value":{"amount":"+0.8059348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1734263$8BD10639-6A25-49F1-8190-8961812CB709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bee93f2eb0539e07f4142b690b5bb04edbf28a","datavalue":{"value":{"entity-type":"item","numeric-id":1587990,"id":"Q1587990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5774fdd62a8f95976255a81b8254a32a101c993f","datavalue":{"value":{"amount":"+0.75534445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1734263$1D0B9F67-3952-4EC6-8FCA-242B606F09D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba1cf5febcdbde22b3696ccc37fb10c709a015f","datavalue":{"value":{"entity-type":"item","numeric-id":5248284,"id":"Q5248284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9dc3149d485ac31cd8f60974b89424e1b674f61","datavalue":{"value":{"amount":"+0.74799067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1734263$B09202F9-6357-4AA2-9448-DB25B66A3C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6870f42bb6111db9918d890e42f1d512a3a5cb3d","datavalue":{"value":{"entity-type":"item","numeric-id":3803815,"id":"Q3803815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed130904c60f8dd32aca043bd98530771140125c","datavalue":{"value":{"amount":"+0.74461824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1734263$FD9B3AC1-1581-43C9-BBF6-FC949FB65A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52deafba22d77fe3da0aa1f54f0632b804806e88","datavalue":{"value":{"entity-type":"item","numeric-id":2414759,"id":"Q2414759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f735461b3be8efc1fa75a9e2e14f880822dee0","datavalue":{"value":{"amount":"+0.7390227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1734263$4D011B02-4217-4246-8266-5ADD68085E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6c5b33369429a3cebde697bd46617eac029137","datavalue":{"value":{"entity-type":"item","numeric-id":1705845,"id":"Q1705845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b808f2ac6a1f96f03b351ee4b89663e9da001f89","datavalue":{"value":{"amount":"+0.7264908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1734263$D381DEE3-C09A-4AC1-BFFE-E5738670BB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50e5c5082f161cfa28dc490a56bbcd8a806fd68","datavalue":{"value":{"entity-type":"item","numeric-id":3763250,"id":"Q3763250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f922d8da3099dddff72712ac1fc2c6a018d9b5e3","datavalue":{"value":{"amount":"+0.7261843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1734263$3894E5CF-00A8-428E-A65D-BB662FE70EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7751e650bfcd7af82e008fd44ef9aef87f52b324","datavalue":{"value":{"entity-type":"item","numeric-id":4642660,"id":"Q4642660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66ae2b42aab832edd29aedec4139b8e895d0da7","datavalue":{"value":{"amount":"+0.7197766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1734263$616D1119-D30B-4ABC-B5B4-34990DB1E256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26cd06d2e98050e0237ab6b262037c482da1ed4b","datavalue":{"value":{"entity-type":"item","numeric-id":4522503,"id":"Q4522503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ea2c28873d3467f0a89a638c370c30e2ffe67b","datavalue":{"value":{"amount":"+0.7096579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1734263$1FA3E008-4377-4F6F-B6F7-A831E28F7055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca672da083b075d6b76ef90352681956aba0800c","datavalue":{"value":{"entity-type":"item","numeric-id":3137322,"id":"Q3137322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc16319626c36b35b691939b97d000a357ab63a","datavalue":{"value":{"amount":"+0.70869327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1734263$2EFBAB19-56B9-4CE5-B021-DAFED440049F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On uniformly continuous functions between pseudometric spaces and the axiom of countable choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_uniformly_continuous_functions_between_pseudometric_spaces_and_the_axiom_of_countable_choice"}}}}}