{"entities":{"Q989108":{"pageid":990956,"ns":120,"title":"Item:Q989108","lastrevid":65922522,"modified":"2026-04-12T06:17:46Z","type":"item","id":"Q989108","labels":{"en":{"language":"en","value":"More on separation of a diagonal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5775742"}},"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":"Q989108$FC344192-4696-4584-9AEC-1D338020C3D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37ce2a52bcc7889d6e228ed8427003b4c88371f5","datavalue":{"value":{"text":"More on separation of a diagonal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q989108$5A362B5D-DF2F-4482-8556-8FE40A670FE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"957845f87284c75591f793706096236a51fcbbaa","datavalue":{"value":"1203.54016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989108$D9B09FF8-C550-4B91-A6A3-24F5FF8B0D15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c1793bdc04f278ab2fed3499ed19d941b4f1532","datavalue":{"value":{"entity-type":"item","numeric-id":600128,"id":"Q600128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$9AD4538D-F5F3-4D5A-A16B-928E5EF423C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05fe3e69e3ca3d3ea92b9655dafb691590156156","datavalue":{"value":{"entity-type":"item","numeric-id":392550,"id":"Q392550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$0583D1DD-C4E0-4407-96AA-81CD0F8C0B66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$7EFA6F20-69B7-473A-9D19-EB85D99C72F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d41229d07426b9e73118857bb29c2f20303df69","datavalue":{"value":{"time":"+2010-08-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":"Q989108$CC342772-365D-4936-98BB-FA31C08F985B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d6ef4af9e8edac07a28338c89f901703315c59a","datavalue":{"value":"Following the second author a completely regular \\(T_1\\)-space \\(X\\) is called functionally \\(\\Delta\\)-paracompact if for every \\(A\\subset X^2\\setminus\\Delta_X\\) closed in \\(X^2\\) there exists a locally finite cover \\({\\mathcal U}\\) of \\(X\\) consisting of co-zero sets such that \\(\\bigcup\\{U\\times U\\mid U\\in{\\mathcal U}\\}\\) does not meet \\(A\\). It is known from the second author's paper [ibid. 157, No.~2, 352--358 (2010; Zbl 1187.54020)] that every paracompact Hausdorff-space and every GO-space is \\(\\Delta\\)-paracompact. It is also known that a completely regular \\(T_1\\)-space is \\(\\Delta\\)-paracompact if and only if it is divisible in the sense of \\textit{\u00c1. Cs\u00e1sz\u00e1r} [General topology. Bristol: Adam Hilger Ltd. Budapest: Akademiai Kiado. 488 p. (1978; Zbl 0366.54001)]. In this paper the following is shown.  Theorem 1. Every first countable, countably compact, monotonically normal space is functionally \\(\\Delta\\)-paracompact. A completely regular \\(T_1\\)-space \\(X\\) is called regular \\(\\Delta\\)-paracompact if for every \\(A\\subset X^2\\setminus\\Delta_X\\) closed in \\(X^2\\) there exists a locally finite open cover \\({\\mathcal U}\\) of \\(X\\) such that \\(\\bigcup\\{\\text{cl\\,} U\\times\\text{cl\\,} U\\mid U\\in{\\mathcal U}\\}\\) does not meet \\(A\\).  Theorem 2. Every regular \\(\\Delta\\)-paracompact space is collectionwise normal. It is known that functionally \\(\\Delta\\)-paracompactness implies regular \\(\\Delta\\)-paracompactness. Question 1. Is every regular \\(\\Delta\\)-paracompact space functionally \\(\\Delta\\)-paracompact? Obviously, every regular \\(\\Delta\\)-paracompact space is \\(\\Delta\\)-paracompact, i.e., has the property that for every \\(A\\subset X^2\\setminus\\Delta_X\\) closed in \\(X^2\\) there exists a locally finite open cover \\({\\mathcal U}\\) of \\(X\\) such that \\(\\bigcup\\{U\\times U\\mid U\\in{\\mathcal U}\\}\\) does not meet \\(A\\).  Theorem 3. Every \\(\\Delta\\)-paracompact space is strongly collectionwise Hausdorff.   Theorem 4. Every \\(\\Delta\\)-paracompact pseudocompact space is countably compact. Every functionally \\(\\Delta\\)-paracompact space is functionally \\(\\Delta\\)-normal, i.e., has the property that for every \\(A\\subset X^2\\setminus\\Delta_X\\) closed in \\(X^2\\) there exists a continuous function \\(f: X^2\\to[0,1]\\) such that \\(f[A]= \\{1\\}\\) and \\(f[\\Delta_X]= \\{0\\}\\).  Example 1. There exists a functionally \\(\\Delta\\)-normal space that is not \\(\\Delta\\)-paracompact. A negative answer to the following question would also answer Question 1. Question 2. Is every regular \\(\\Delta\\)-paracompact space functionally \\(\\Delta\\)-normal? Obviously, every functionally \\(\\Delta\\)-normal space is \\(\\Delta\\)-normal in the sense of \\textit{K. P. Hart} [Colloq. Math. 53, 49--56 (1987; Zbl 0633.54010)]. However, it is still not known whether the two concepts coincide. Question 3. Is every \\(\\Delta\\)-normal space functionally \\(\\Delta\\)-normal? By two interesting examples it is shown that functional \\(\\Delta\\)-normality is quite different from normality.  Example 2. There exists a functionally \\(\\Delta\\)-normal space that is not normal.  Example 3. There exists a normal space with a \\(G_\\delta\\)-diagonal that is not \\(\\Delta\\)-normal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q989108$AD271E83-9E0F-4CD4-9406-34BEBDAB96AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6638429f658636cde013e7c47dae42190f534e9","datavalue":{"value":"54D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989108$7F345D9B-1913-44B5-9A97-06A83BA4EB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f0d5addb2d30fca390d5d0949dbf8c7e9c67e06","datavalue":{"value":"54D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989108$32189B3B-8575-4A75-913E-936E51E91D0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a34503e3c5c3e39b35d669d16cb00ade88fa0854","datavalue":{"value":"5775742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989108$5194F5EF-3C6E-4EB2-BCDF-CF542D952F4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf42f3b5cb042b12b6ec2ca1e0876584092f2610","datavalue":{"value":"functionally \\(\\Delta\\)-paracompact space","type":"string"},"datatype":"string"},"type":"statement","id":"Q989108$1771CD56-FA37-4FE0-A09A-92F34BFDE439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bca493900237998c55662d41fdb8186f83ebeca","datavalue":{"value":"monotonically normal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q989108$BB6DE68B-AA99-4EC5-A41E-3299EA47114E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97833d181bfe58531d0f0f0d433e71982948d2c3","datavalue":{"value":"regular \\(\\Delta\\)-paracompact space","type":"string"},"datatype":"string"},"type":"statement","id":"Q989108$92962251-AD54-4C54-BB6F-E8AB3D009F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a306dc00a50f5854e07835a9560a6fae915cec52","datavalue":{"value":"collectionwise normal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q989108$F8B24861-8B2A-41C6-8477-61FF5DA60079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f934cd9a7912a4033a301fae6838fc193d301b3","datavalue":{"value":"\\(\\Delta\\)-paracompact space","type":"string"},"datatype":"string"},"type":"statement","id":"Q989108$AD227BB2-80CD-4A2B-9413-BD08E0C745AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011d7fb3759d9fde8af81d139076b75fd5d26df3","datavalue":{"value":"strongly collectionwise Hausdorff space","type":"string"},"datatype":"string"},"type":"statement","id":"Q989108$0683196F-C3F1-4592-B698-BDF205DFF4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ab881ee1e834813f0f9f44c3b9d41d8912d34f","datavalue":{"value":"functionally \\(\\Delta\\)-normal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q989108$755B5CA7-77F0-4E9A-9BCF-1A1CBED91BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a1541d6271aea29f90e801a05c1892556a98455","datavalue":{"value":"\\(\\Delta\\)-normal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q989108$5E9328D1-19C3-4914-B0E3-B63464CADF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27eddd0b746d5eb1598b1e36227a331acf5265c","datavalue":{"value":"normal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q989108$245B7B14-9D83-4C98-8597-6D3C198AD82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e086f9a524f1b006c6b3786384e73d8780d5b6f","datavalue":{"value":"\\(G_\\delta\\)-diagonal","type":"string"},"datatype":"string"},"type":"statement","id":"Q989108$55FD24AE-54AB-40FF-AF75-4E6B0D97F519","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b2911fdeea7f924850571195e6243062eb44a76b","datavalue":{"value":{"entity-type":"item","numeric-id":590219,"id":"Q590219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$13A128B1-C42D-4A4B-BA0F-9FD4445C178F","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":"Q989108$EF9C3412-74A6-4FF0-BF44-7B41E54B061C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ce0c807d062ceca56a281dd9ff5174aed15f811","datavalue":{"value":"https://doi.org/10.1016/j.topol.2010.06.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q989108$911DF7EA-5DED-40EA-8B42-3782982E2C0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"512990cc44dd722b4cd3756b38fc2fe59bfe389d","datavalue":{"value":"W1967053126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989108$3655C616-8C84-4920-8AB3-4077FEA53C4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1537a2161f76778dd96d2ec267a1bffcf0b082dc","datavalue":{"value":{"entity-type":"item","numeric-id":4101149,"id":"Q4101149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$960B2812-BEC5-4E86-A10A-CAC231ECD9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72146a5e536d0f3c0bddb5a903076e33b2ab66bd","datavalue":{"value":{"entity-type":"item","numeric-id":5905646,"id":"Q5905646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$953258CB-9906-489E-A907-262795D40E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04001a62ae10b8541cb363040ec9f731fe2f65a7","datavalue":{"value":{"entity-type":"item","numeric-id":5804696,"id":"Q5804696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$FEFC68BF-14CB-452E-BBBD-3990511EDCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276724dffdf4a650e6566acd863223745dd4c078","datavalue":{"value":{"entity-type":"item","numeric-id":4769645,"id":"Q4769645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$02BEE8ED-6F14-4AB0-BF2E-2BA7DCF02699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac2ed2da8b4ddc56f485869a79128a996464e24","datavalue":{"value":{"entity-type":"item","numeric-id":1044866,"id":"Q1044866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$71F62880-3E98-41A9-AD54-54551EB4F9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6e28ee6415a18743d67909d2a421b0483f2d91","datavalue":{"value":{"entity-type":"item","numeric-id":4142325,"id":"Q4142325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$9D28019F-9C98-461F-9568-0DE091A30045","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":"Q989108$876375E7-A2ED-467D-8BA1-6EF8A405C532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7439fb83749bbf918e784b03c9ef918a6e2e19eb","datavalue":{"value":{"entity-type":"item","numeric-id":3771230,"id":"Q3771230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$212DF72B-36C5-4016-B6BC-E588EEB7A7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b18348bf7ab99c98e36a8578e446ef04ea63d1","datavalue":{"value":{"entity-type":"item","numeric-id":5734065,"id":"Q5734065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$5F821447-4288-4FE1-9587-577070F361F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e1f4b56fd5fb7989118ee30a05362ca5ab2dba","datavalue":{"value":{"entity-type":"item","numeric-id":3891410,"id":"Q3891410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$62AE91B9-E729-4B1A-BC36-A6697A586A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b43ceef86a6b962d67eed3f5dbc4f4c6aa36bb0e","datavalue":{"value":{"entity-type":"item","numeric-id":2545085,"id":"Q2545085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989108$BE92AB2E-664E-48C6-AFB9-D5B97D803CE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2db13c038818dcdb055d05519796fda7187ce165","datavalue":{"value":"10.1016/J.TOPOL.2010.06.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989108$095A483F-2BA5-4EF5-B57E-2E2DD407F0D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f451c149bf4bde06cccb390bab83ff390cdb73","datavalue":{"value":{"entity-type":"item","numeric-id":1044866,"id":"Q1044866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9cef82f5b8c75101db2d0ee4fbcae0cc55dffd1","datavalue":{"value":{"amount":"+0.939245343208313","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":"Q989108$20F865A3-A026-4D99-A64B-848FBF250391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab87aacc5363f513e625a8d74a0e16b30d91f21d","datavalue":{"value":{"entity-type":"item","numeric-id":4926362,"id":"Q4926362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"510c7b2c1da5155476690f94453dc9de9d1efba8","datavalue":{"value":{"amount":"+0.794465959072113","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":"Q989108$BE3593CA-7C39-47E9-8F83-A1202BFA7758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433f5073a8533ab81be93b4a7a4296b6d8e6c7e5","datavalue":{"value":{"entity-type":"item","numeric-id":2443476,"id":"Q2443476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90465ebed799ccc9532875689dafcade6bdf7151","datavalue":{"value":{"amount":"+0.7941774129867554","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":"Q989108$05945563-5A54-45FE-B83C-0B92147E93CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09022a96bf0e2eedd1a49de35780ff8c0f3cfcc4","datavalue":{"value":{"entity-type":"item","numeric-id":3771230,"id":"Q3771230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cd55997b4c07a9303c56a2eeda6d7e1314eb7c","datavalue":{"value":{"amount":"+0.7401764988899231","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":"Q989108$D96F980E-9DD0-42C6-8B1F-65A6F8512A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f786ef9b47caf3662732f40629e603ff256ce1c","datavalue":{"value":{"entity-type":"item","numeric-id":2121602,"id":"Q2121602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3511bca3fe194c4c9b4efbef73e49d0fd69c8c6e","datavalue":{"value":{"amount":"+0.7373424768447876","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":"Q989108$4B7BCDF1-64A2-46B5-8330-46DA53DF4719","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"More on separation of a diagonal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/More_on_separation_of_a_diagonal"}}}}}