{"entities":{"Q2318355":{"pageid":2329098,"ns":120,"title":"Item:Q2318355","lastrevid":57845547,"modified":"2026-04-02T18:57:25Z","type":"item","id":"Q2318355","labels":{"en":{"language":"en","value":"On a characterization of path connected topological fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7094347"}},"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":"Q2318355$21E93060-1148-4B7C-8C2D-EB919125A9DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d4b540dfd5bdfdc2eda8168deec394ad85bdc06","datavalue":{"value":{"text":"On a characterization of path connected topological fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2318355$5B1F00BB-9237-486A-93D7-48237ADE7E75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c90f55e2275150d1ebefdb3b10ef6a2239e2e52","datavalue":{"value":"1428.54011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318355$74346AC9-1D84-4C30-948F-6B62DBF80322","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dc305b54ae43bbc22e0aea2ff5b91f442dca137","datavalue":{"value":{"entity-type":"item","numeric-id":265571,"id":"Q265571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$0BB412E2-D5A8-409E-BE7C-DE662C967E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba5fea770f53a4430e6cf9e42db7e9527e8313a","datavalue":{"value":{"entity-type":"item","numeric-id":810006,"id":"Q810006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$B2558B2B-5707-4BA4-AEC9-266E9FE032EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$2321FAEB-B1F5-4682-9CEB-9D15B08D5418","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77fd9504ab9f9a1d017ec97a7cdec039d17298a2","datavalue":{"value":{"time":"+2019-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2318355$7C1BB92F-A172-49AC-AD17-C9CED466B28C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5e0012c07000977908eb56e372682b3aee51831","datavalue":{"value":"https://arxiv.org/abs/1709.01538","type":"string"},"datatype":"url"},"type":"statement","id":"Q2318355$6E8F5E7C-7029-4FA9-AA48-D8964E038518","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6feb9d708c4132c489c32f41980a47302a8455ef","datavalue":{"value":"Let us first recall some notations and terminologies used throughout this report. It is well known that a ring \\(R\\) is said to be a topological ring if it is a topological space and the mappings \\((x,y)\\mapsto x-y\\) and \\((x,y)\\mapsto xy\\) are continuous. A topological field \\(F\\) is a topological ring where, in addition, it is required that the inverse mapping \\(a\\mapsto a^{-1}\\) is continuous on \\(F\\setminus \\{0\\}\\).  The ring of all continuous functions from a topological space \\(X\\) to a topological field \\(F\\) is denoted by \\(C(X,F)\\); \\(C(X,\\mathbb{R})\\) is denoted by \\(C(X)\\). Basic classical results concerning rings of continiuous real-valued functions can be found in [\\textit{L. Gillman} and \\textit{M. Jerison}, Rings of continuous functions. Princeton-Toronto-London-New York: D. Van Nostrand Company, Inc. (1960; Zbl 0093.30001)], and a comprehensive survey of the results in the context of rings of continuous functions with values in a topological ring other than the real field can be found in [\\textit{E. M. Vechtomov}, J. Math. Sci., New York 78, No. 6, 702--753 (1996; Zbl 0868.46018)]. A topological space \\(X\\) is said to be path connected if for every two points \\(x,y\\in X\\), there is a continuous path \\(\\lambda: [0,1]\\rightarrow X\\) joining \\(x\\) and \\(y\\), and to be arcwise connected if \\(\\lambda\\) may be always chosen as a homeomorphism between \\([0,1]\\) and its image. It is well known that, in the context of topological fields, path connectedness coincides with arcwise connectedness. A topological space \\(X\\) is said to be \\(F\\)-regular if the collection \\(\\{Z(f): f\\in C(X,F)\\}\\) separates points from closed sets of \\(X\\) in which \\(Z(f)=\\{x\\in X: f(x)=0\\}\\). Note that zero-dimensional spaces (a Hausdorff space containing a base of clopen sets is called zero-dimensional) are exactly \\(F\\)-regular spaces for an arbitrary disconnected field \\(F\\), and Tychonoff spaces are exactly \\(F\\)-regular spaces for arcwise connected fields, see [\\textit{E. M. Vechtomov}, Math. Notes 55, No. 6, 568--579 (1994; Zbl 0841.54013); translation from Mat. Zametki 55, No. 6, 32--49 (1994)]. The classical theorem of Gelfand and Kolmogoroff states that \\(\\mathrm{Max}(C(X))\\), the space of maximal ideals of \\(C(X)\\) equipped with the hull-kernel topology, is homeomorphic to the Stone-\u010cech compactification of \\(X\\), \\(\\beta X\\), under a homeomorphism whose restriction to the subspace consisting of fixed maximal ideals is a homeomorphism onto \\(X\\). Note that fixed maximal ideals of \\(C(X)\\) are precisely the ideals \\(M_x=\\{f\\in C(X): f(x)=0\\}\\) for \\(x\\in X\\), and it is well known that a Tychonoff space \\(X\\) is compact if and only if every maximal ideal of \\(C(X)\\) is fixed. The Gelfand and Kolmogoroff theorem has been generalized to the rings \\(C(X,F)\\) by \\textit{E. M. Vechtomov} in [loc. cit.] and [Russ. Math. Surv. 47, No. 5, 171--172 (1992; Zbl 0795.54027); translation from Usp. Mat. Nauk 47, No. 5, 171--172 (1992)]. In the first of these papers, it has been stated (Theorem 5) that for any disconnected (resp., arcwise connected) topological field \\(F\\) and any zero-dimensional (resp., Tychonoff) space \\(X\\) the ring \\(C(X,F)\\) satisfies the Gelfand-Kolmogoroff theorem with respect to the Banaschewski compactification \\(\\beta_0X\\) (resp., the Stone-\u010cech compactification). Note that a ring \\(C(X,F)\\) is said to satisfy the Gel{f}and-Kolmogoroff theorem, briefly, GKT, with respect to the compactification \\(K\\) of \\(X\\) if the mapping \\(p\\mapsto M^p\\) is a homeomorphism between the spaces \\(K\\) and \\(\\mathrm{Max}(C(X,F))\\) in which \\(M^p\\) denotes \\(\\{f\\in C(X,F): p\\in \\mathrm{cl}_{K}Z(f)\\}\\). This mapping is called the Gelfand mapping and, following the notations of the paper under review, we denote it by \\(I_F\\).  In the paper under review, using the Gelfand mapping \\(I_F\\), for the case that \\(X\\) is a compact Hausdorff space, a characterization of path-connected topological fields is investigated. More precisely, it is proved that, for every compact Hausdorff topological space \\(X\\), the Gelfand mapping \\(I_F\\) is a homeomorphism onto \\(X\\) if and only if \\(F\\) is path connected, Theorem 4.1 of the paper. We next show that this fact easily follows from the results of \\textit{E. M. Vechtomov} [loc. cit.], and moreover, could be generalized for non-compact topological spaces. However, the paper investigates a new proof for the fact. For the sake of the reader, we cite some basic statements of [\\textit{E. M. Vechtomov}, loc. cit.] which are used for proving the mentioned fact. Note that a topological field \\(F\\) is said to satisfy the GKT if for each \\(F\\)-regular topological space \\(X\\), the ring \\(C(X,F)\\) satisfies the GKT with respect to \\(\\beta_FX\\), see [\\textit{G. Bachman} et al., Trans. Am. Math. Soc. 204, 91--112 (1975; Zbl 0299.54016)] for details about the compactification \\(\\beta_FX\\).  Theorem 1. A ring \\(C(X,F)\\) satisfies the GKT with respect to some compactification (Hausdorff compactification) if and only if \\(X\\) is \\(F\\)-regular and each \\(M^p\\) is a \\(z\\)-ideal.  Theorem 2. Every disconnected or linearly connected topological field satisfies the Gelfand-Kolmogorov theorem.  The next statement could be considered as a generalization of Theorem 4.1 of the paper under review.  Theorem 3. Let \\(F\\) be topological field. Then the Gelfand map \\(I_F\\) is a homeomorphism for every Tychonoff topological space \\(X\\) if and only if \\(F\\) is path connected.  (\\(\\Rightarrow\\)) Let \\(X\\) be a non zero-dimensional Hausdorff space. By the hypothesis, the Gelfand mapping \\(I_F\\) is a homeomorphism and thus, by Theorem 1, \\(X\\) is \\(F\\)-regular. Therefore, as \\(X\\) is not zero-dimensional, \\(F\\) should be path-connected.  (\\(\\Leftarrow\\)) Let \\(F\\) be a path-connected topological field and \\(X\\) be a Tychonoff space. As \\(X\\) is a Tychonoff space, it easily follows that \\(\\beta_FX=\\beta X=X\\) and thus, by Theorem 2, the Gelfand mapping \\(I_F\\) would be a homeomorphism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318355$FEF011A0-7603-4BEF-9206-BF67EA26EA15","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fd1da947301b1779206db9947f739cb74793389","datavalue":{"value":{"entity-type":"item","numeric-id":2003107,"id":"Q2003107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$300117A3-E719-440E-9BCE-C3B8E3A37E20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e0d0f659dce4fa94cf1a9f1c1ef49e032dc9cc1","datavalue":{"value":"54H13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318355$8B1B94DC-B663-4AEB-9291-F70E809D6E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2bc67b9cedcabf9dd81426dd906e3a7d5c0c8bd","datavalue":{"value":"12J99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318355$0279DB2A-57DB-4015-9DDE-19FF933207E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec122fe484c819ac2498b8eb2de630286caa9d67","datavalue":{"value":"13J99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318355$D3BEF27F-D679-4057-95D1-D2C20FE3E955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"022e9b23a1c7b86b8179e3d4e3925f91e3f0bfde","datavalue":{"value":"54C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318355$A1FDC8CE-D3B0-4F78-89F3-5586CEFDA429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"faba2e3a15b452965fa15f6385539feddd9a3a8a","datavalue":{"value":"46E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318355$CF0AE6D3-D1DC-4B7D-8600-9EB47B358A17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e5459b295a6ff5dc1896ec6508c3c3cd0fff71c","datavalue":{"value":"7094347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318355$5B7F9C6D-3AA0-4D01-96FD-1EF7D52A4014","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d80915f7637964ceca5fe7ec8dcce7ffea7b0dd","datavalue":{"value":"path connected","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318355$C3C2D432-048A-4CCC-A2A8-682BC8C28C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99f81acbf9504033ce78cf8805f03a3267021c0e","datavalue":{"value":"arcwise connected","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318355$78269B99-114A-4703-AF90-56D4B49F1F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37e09da450def71975f1974dba641ef20091a090","datavalue":{"value":"topological field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318355$C2979029-F483-4565-AB30-594E74F6E00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742348501f9a7255fbfd35aa110bba0fa011ffba","datavalue":{"value":"Gelfand map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318355$CDFFAE1E-F928-4762-85E8-55C34BD92FD8","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":"Q2318355$65BB3957-AC74-4989-A11D-E8B520F426CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb6b69d4896a47f1d5b7fa57246b23b9c90e8244","datavalue":{"value":"W2750717469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318355$E2F913FB-7E39-49B2-AF91-78C001AF0447","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c880e5873fd743d227c2b3b35a34d5f6f49df5","datavalue":{"value":{"entity-type":"item","numeric-id":4054360,"id":"Q4054360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$53587E4F-7195-4107-8F20-7863FEE42319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0267912aa4e34d45e8c53f9ad9b9a159f72e21c5","datavalue":{"value":{"entity-type":"item","numeric-id":5605289,"id":"Q5605289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$9550CD9E-4F82-46C6-8B11-EBC61C20D371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1b0ca83aa44043e03b512fa9311de97d13a88c1","datavalue":{"value":{"entity-type":"item","numeric-id":1097313,"id":"Q1097313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$4F3221A5-FFCE-4A59-BB8B-63FFAD9FDF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3394a55f33433e297e47f69ab70c7e5e9eb7a74","datavalue":{"value":{"entity-type":"item","numeric-id":1565382,"id":"Q1565382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$9598E497-F3B0-4013-8681-2F253178588F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c073c8947f793f17f557ab89fbf39de730b4a02b","datavalue":{"value":{"entity-type":"item","numeric-id":2526165,"id":"Q2526165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$30D5C389-48A0-4A6B-953A-1C553BB38ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33187b370ac7485d7c08d290c0139385dbd8aaa1","datavalue":{"value":{"entity-type":"item","numeric-id":1918663,"id":"Q1918663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$BE022298-D866-4F1F-AB79-C51D975B7D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe8f75183c78c902a7cd0558e857f2332892c52","datavalue":{"value":{"entity-type":"item","numeric-id":770868,"id":"Q770868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$9B41A3D0-BCF3-4645-8B2C-0C2B97766222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670ed79a1854f8e502aa938ab4b1645b02a2e895","datavalue":{"value":{"entity-type":"item","numeric-id":5605131,"id":"Q5605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318355$9E8CBCFF-AB7D-4A9D-9CBA-79E2EE37A892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"760a8e0ba4e6fdced70703cc413183e6a0063554","datavalue":{"value":"10.1016/J.JPAA.2019.03.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318355$CE4BCF2B-F652-473C-BF7C-51BD47019558","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75332d22666497afb2c00dccd91dd92a6b2f3bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3138147,"id":"Q3138147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a9ef9638b80ef284db6993c969834dc1ff384c","datavalue":{"value":{"amount":"+0.7342607378959656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2318355$F4CA6D37-A0C5-400D-BF83-694AD73662AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa1496eabe4de29aec760b60982c32a18adb819","datavalue":{"value":{"entity-type":"item","numeric-id":4298482,"id":"Q4298482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb818a6fa394a9714d7b4c58202798b02c1a0e3","datavalue":{"value":{"amount":"+0.7331092357635498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2318355$BF399054-A25C-4A90-8BEC-43784F67160B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b2612006e4473af99b46629aa15629c0f97b107","datavalue":{"value":{"entity-type":"item","numeric-id":1898507,"id":"Q1898507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca06f49c405200a603cd2814d99b83bd135681f","datavalue":{"value":{"amount":"+0.7224159836769104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2318355$04A77457-1774-4FA3-AFD5-5619E37F0240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c9a58298df703b748987c9e41da3296f39cd7d4","datavalue":{"value":{"entity-type":"item","numeric-id":3825048,"id":"Q3825048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e56b13f768b144863ff4b0ffc47d1b13bd9f6b4","datavalue":{"value":{"amount":"+0.7214600443840027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2318355$9C029F3A-1549-48BD-ACDE-332728F95237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa057bb370040d8a12252cf2658a101a97d190b","datavalue":{"value":{"entity-type":"item","numeric-id":1097313,"id":"Q1097313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442a1530d6efd19e3b9bb6f9bd46e8a0cad14c5c","datavalue":{"value":{"amount":"+0.7124918103218079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2318355$597A1B39-95E0-44D2-B554-4FEF7D0414CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2318355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2318355"}}}}}