{"entities":{"Q1748100":{"pageid":1758842,"ns":120,"title":"Item:Q1748100","lastrevid":73605378,"modified":"2026-04-14T16:37:43Z","type":"item","id":"Q1748100","labels":{"en":{"language":"en","value":"Ordered sets as uniformities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6865840"}},"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":"Q1748100$A710D03F-50BB-4DA7-A3B5-ED40FF78B4F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"638c6ca37bcc2f07297c53313485c7337fc050d5","datavalue":{"value":{"text":"Ordered sets as uniformities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1748100$067975CA-77DE-4227-ADF4-6276FEDB6C6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dab63a4b8bb845e48198eec9fc2a20640dc767a6","datavalue":{"value":"1395.54025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1748100$EBF7E432-7A54-45FD-A9CC-95D462F8B4B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2270682efc663e68ea553417f1a7ff3f2755a0","datavalue":{"value":{"entity-type":"item","numeric-id":169642,"id":"Q169642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$D43966C4-DA43-41CC-AF43-C340B7CECA45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"14d6963ce25f1d14da24a2d3cf0c0b194e504705","datavalue":{"value":{"entity-type":"item","numeric-id":309179,"id":"Q309179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$1B786E3B-C5BC-4BCA-AB33-3AEEEC5A5A87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1679cdff871c3abffb2794c84ff8718bbd0c06a0","datavalue":{"value":{"time":"+2018-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1748100$7F5F4FE1-44D8-4168-BBCE-206A0A19FFDB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e90466d76aa534e2d533a8929eac71c3b91f7e3","datavalue":{"value":"Any ordered set \\(R=(R, \\leq)\\) is regarded as a uniform space with the uniformity \\(u_r\\) which has as a base of uniform covers the collection \\(\\{U_r: r\\in R\\}\\) where \\(U_r=\\{\\{q\\}: q\\in R\\}\\cup\\{\\uparrow r\\}\\) and \\(\\uparrow r:=\\{s\\in R: r\\leq s\\}\\) for each \\(r\\in R\\). The proximity relation \\(\\rho\\) corresponding to \\(u_r\\) is described as follows: for each pair \\(A,B\\) of subsets of \\(R\\), \\(A\\rho B\\) if and only if either \\(A\\cap B\\neq\\emptyset\\) or both \\(A,B\\) are cofinal in \\(R\\). It is shown in ZFC that, for every ordered set \\(R\\), the following conditions are equivalent: (1) \\(R\\) is proximally fine, (2) \\(R\\) is not proximally complete, (3) there does not exist a uniformity strictly finer than \\(u_R\\) which is proximally equivalent with \\(u_R\\).   The author gives a detailed proof in ZFC of the theorem stating that ordered products of finitely many linearly ordered sets are proximally fine and he shows a gap in the previous proof to this theorem published in [\\textit{M. Hu\u0161ek}, Topology Appl. 221, 121--132 (2017; Zbl 1421.54009)].   The results obtained are applied to a proof in ZFC of the following theorem: If \\(h: bX\\to bY\\) is a homeomorphism between Hausdorff compactifications \\(bX\\) and \\(bY\\) of Tychonoff spaces \\(X\\) and \\(Y\\), resp., such that the proximities of \\(X\\) and \\(Y\\) inherited from \\(bX\\) and \\(bY\\), resp., are proximally complete, while filters of neighbourhoods in \\(X\\) and \\(Y\\) are not proximally complete, then \\(h(X)=Y\\). Several remarks on products of infinitely many uniform spaces are made. Finally, the following question is posed: Is the ordered product \\(\\omega^{\\omega}\\) proximally fine?","type":"string"},"datatype":"string"},"type":"statement","id":"Q1748100$4D3C0F76-4914-415E-8AB8-B43F14C2E247","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"48ae23a7b799afe441008a69912601a7c2996360","datavalue":{"value":{"entity-type":"item","numeric-id":500936,"id":"Q500936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$3AE71E51-1451-4A11-AA1C-9E938DF73B33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"50fde6f1b079e2f7199fd9f86bbad38cba037fd5","datavalue":{"value":"54E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1748100$EAE55E06-3AB4-40EE-BDB4-56843D48F4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5f9f9fdc01eced40a1042148c42cf5fd19eced2","datavalue":{"value":"54C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1748100$211F717C-6035-4CDF-B6EA-F29E14EA91BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1748100$D3D058B3-55E8-4F3D-85FE-42B43BABE0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1748100$342D09F9-8F99-44B3-B7C4-ED7B67F48F1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27126f13e7f5fc472f89ed7fe7cfddce9817c7d5","datavalue":{"value":"6865840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1748100$1D183975-6CA6-457F-8F41-E8E39B58FC4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b4012ccbdab023048a01bfc8f94bd23553d1d4","datavalue":{"value":"ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1748100$9FE839B5-6B54-44CD-8807-8A750B250581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4484c24653bfd1a89dfc85b132d2f51b3c7560a9","datavalue":{"value":"uniform space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1748100$46813662-B4D1-4448-8656-55536BB426BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1754560d11dec323003083ba76ffc260286f189","datavalue":{"value":"proximally fine space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1748100$2F62C9A2-B751-42D7-BABF-826B86E52CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aac96d81246c5bece4c9f4e0c5ea432601c517d","datavalue":{"value":"proximal completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1748100$5E15B1E5-EF1E-44A9-B85A-CFD79CC6211B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec9e24d466446edd31522961fa33c39d9b5d9ef","datavalue":{"value":"compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1748100$6205D9DD-30FD-4E16-8083-22BEFB903A44","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":"Q1748100$F84DE5D5-A3F5-4434-950A-3431FE87D528","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29d07315bf38d8bd065ac04e7576b7e481b8557a","datavalue":{"value":"https://doi.org/10.1515/taa-2018-0007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1748100$70ADB4FE-6B4D-48B1-AE65-2BEF3E467B63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e31f73169f852800879fc7839b8a5aef882432b4","datavalue":{"value":"W2795423388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1748100$8C98C6C4-3D1E-4142-8337-8617534497B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c546d1d715746f98c26713eff0b02304b10e84f6","datavalue":{"value":{"entity-type":"item","numeric-id":5734968,"id":"Q5734968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$6D9E0CCC-E48D-47F4-9404-AB126BB1322A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbfabe1359d8cf2bb63825f0d9a8733e22c284d","datavalue":{"value":{"entity-type":"item","numeric-id":5271555,"id":"Q5271555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$2DAC1966-25FC-4EF4-BB58-7AD00A47CC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585970dc471cb89a70913369b2d68b9a3cd72ec8","datavalue":{"value":{"entity-type":"item","numeric-id":5809626,"id":"Q5809626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$34A1825C-0F0F-499F-9A04-8052431E62C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$ABF8321A-0121-4F64-BD14-DB6BDE1C7038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9607aefa733b171d0ae1c40b90cfb4c3dd9f175","datavalue":{"value":{"entity-type":"item","numeric-id":4092640,"id":"Q4092640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$11683DF0-BA30-4B34-9BE7-C770235D4245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58e1c086592f3fd086311114ae4ba366911c7c6","datavalue":{"value":{"entity-type":"item","numeric-id":2400854,"id":"Q2400854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$2FA25B43-42E6-4218-83C0-DA25D36F8248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1890b87a2ec6a4526a60d4b0d76ecbdeb51b02","datavalue":{"value":{"entity-type":"item","numeric-id":500935,"id":"Q500935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$E632478B-B4AA-4FFE-992F-040281066B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d353a8cbf694d6e12f9512ed9e78e8c90af4635","datavalue":{"value":{"entity-type":"item","numeric-id":769545,"id":"Q769545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$C5EED28F-44BE-46FE-9877-6276331DC45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ccb24b43d6c5be550705fb762459b3d201feda","datavalue":{"value":{"entity-type":"item","numeric-id":5327708,"id":"Q5327708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$7A549815-DCEE-4E55-980C-383677E4A353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7d68bb7053e957e50a7257632ef94e287445f3","datavalue":{"value":{"entity-type":"item","numeric-id":4098893,"id":"Q4098893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$D1918BD4-B011-42E0-BC2F-616997594AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612eb34fd63912ed92878231e5e13e9292d82af4","datavalue":{"value":{"entity-type":"item","numeric-id":5182306,"id":"Q5182306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$6323576B-08BF-44D1-8A8B-19747F391DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e25e058eff3821d213f6c595aa658a55bff25d","datavalue":{"value":{"entity-type":"item","numeric-id":5819011,"id":"Q5819011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$2424CD39-C80B-4A38-B521-49F41EFAE4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0bbaafa84f7da3354e879c3c6ee19be2363e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5813695,"id":"Q5813695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$D71EA8B0-832B-4F86-880E-D01E404417B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e601b2ce5ba97ef44988ce045a7b4dcf8c9f71d","datavalue":{"value":{"entity-type":"item","numeric-id":5817981,"id":"Q5817981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$C215614A-287B-443A-85EA-6185F0FC8715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028666432f18dcb46989f01ba38af8837ec93682","datavalue":{"value":{"entity-type":"item","numeric-id":5814176,"id":"Q5814176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$F55CE144-AB36-408A-A946-8A7D6B43FAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1036f3a1c3a34490f5b97153610d4b1f0769e2fc","datavalue":{"value":{"entity-type":"item","numeric-id":3277085,"id":"Q3277085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$90E0CBA8-5846-4345-B0C8-80D5054B17DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61169ab8cb6b756ba3ae30c462db63e47e634de7","datavalue":{"value":{"entity-type":"item","numeric-id":3250197,"id":"Q3250197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$A298183F-71A1-4509-B96A-3DEB8A971C7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edf3ed6a1d72a5302fff89014fcd14c9a84268f5","datavalue":{"value":"10.1515/TAA-2018-0007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1748100$C8D56B76-0A6E-4044-B760-2619290C0072","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d99ce38eb2d9c8d991bb572459df282bca9adfa3","datavalue":{"value":{"entity-type":"item","numeric-id":3200226,"id":"Q3200226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db2d1b4a802940137db6ee311b893d1428569d9","datavalue":{"value":{"amount":"+0.8153151869773865","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":"Q1748100$5CF30EEC-2C00-4814-9506-7F54B5E80E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a647d693fa293eaf644e8325adf3caacc178a084","datavalue":{"value":{"entity-type":"item","numeric-id":5398963,"id":"Q5398963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c02ec4b1d81b0a97cff561b58ba2acf2cb7b824e","datavalue":{"value":{"amount":"+0.7986030578613281","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":"Q1748100$A97A5A9D-B855-4A2F-8138-D64F7C8D220E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487ef4fa03f80ff1b8d3bc3b4a5b7af4eb5c0a24","datavalue":{"value":{"entity-type":"item","numeric-id":3828711,"id":"Q3828711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33cc77adf2d983f8d9a31a207c5efd5aae9d9bee","datavalue":{"value":{"amount":"+0.7849729657173157","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":"Q1748100$6D83C00B-9FE6-4EA7-BC62-D6AC8BF7C1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91b802a5d581199d268a62cd991c45425428fb8","datavalue":{"value":{"entity-type":"item","numeric-id":4726301,"id":"Q4726301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8704f72b0f968f971b4f57b4219f0eb4d54a30c8","datavalue":{"value":{"amount":"+0.7768799066543579","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":"Q1748100$37D74A67-96D3-4DA0-BC5A-80404C3BDC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb64d157acdf09c879ea043876015af5ff20b7df","datavalue":{"value":{"entity-type":"item","numeric-id":4280794,"id":"Q4280794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608c32446bd0fc2dde32e354954952166427e990","datavalue":{"value":{"amount":"+0.7737725973129272","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":"Q1748100$783B20F5-A44D-40D7-826A-3089C139F201","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1748100$5427E037-FDF3-414A-AAA7-288D483B6DBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordered sets as uniformities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordered_sets_as_uniformities"}}}}}