{"entities":{"Q2566831":{"pageid":2577574,"ns":120,"title":"Item:Q2566831","lastrevid":79113761,"modified":"2026-05-06T13:10:35Z","type":"item","id":"Q2566831","labels":{"en":{"language":"en","value":"On the relationship between cmp and def for separable metrizable spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2210713"}},"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":"Q2566831$3ABCEF18-D979-46D4-A980-9D25B9A393D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd5d9991f2fa4f75186775024422ddf1c94cec97","datavalue":{"value":{"text":"On the relationship between cmp and def for separable metrizable spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566831$2B6EEC90-EE60-4CB5-89C6-F56E1C28B744","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0dcbafb331fe337da3c1f71c703f310d6e3e995","datavalue":{"value":"1080.54024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566831$524C4834-010A-4630-874B-60DC8F3436B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"629dc057e389152802e1818768b4630c4335814a","datavalue":{"value":{"entity-type":"item","numeric-id":248837,"id":"Q248837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$DA3BD0D7-4D68-45D0-B095-BABFB9ED78F2","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":"Q2566831$2B766E6F-1D43-4D7D-9471-26B4C71EB443","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149818fcb8bed0a5b750a95fd3a49925c0920292","datavalue":{"value":{"time":"+2005-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566831$333B8C1D-7F0B-4040-914F-B46A5C79256B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"482ff0185abfea47eeb24a86790acccbebee43d0","datavalue":{"value":"Only separable and metrizable spaces are considered. Suppose that a space \\(X\\) has a compactification \\(Y\\) such that dim\\((Y\\setminus X)<\\infty\\). Then one defines the compactness deficiency, def\\,\\(X\\), to be the least integer \\(n\\) for which \\(X\\) has a compactification \\(Y\\) with dim\\((Y\\setminus X)\\leq n\\). The author is concerned with the relations among cmp\\,\\(X\\), Cmp\\,\\(X\\), and def\\,\\(X\\) for spaces \\(X\\). A space is called rim-compact if it has a base of open sets with compact boundaries. The respective small and large inductive compactness degrees, cmp and Cmp, were defined by de Groot as generalizations of rim-compactness. Recall that:   \\flushpar(i) cmp\\,\\(X=-1\\) if and only if \\(X\\) is compact, and \\flushpar(ii) cmp\\,\\(X\\leq n\\,\\, (n\\geq 0)\\) if every point of \\(X\\) has arbitrarily small neighborhoods \\(U\\) with cmp\\,Bd\\,\\(U\\leq n-1\\).   Also remember that: (i*) Cmp\\,\\(X=\\) cmp\\,\\(X\\) if \\(X\\) is rim-compact, and (ii*) Cmp\\,\\(X<n\\,\\,(n\\geq 1)\\) if every closed subset of \\(X\\) has arbitrarily small neighborhoods \\(U\\) with Cmp\\,Bd\\,\\(U\\leq n-1\\). It is known that cmp\\,\\(X\\leq\\) Cmp\\,\\(X\\leq\\) def\\,\\(X\\) for all \\(X\\). Although it was once conjectured by de Groot that cmp\\,\\(X=\\) def\\,\\(X\\), \\textit{R. Pol} [Bull. Acad. Polon. Sci. 30, 461--464 (1982; Zbl 0539.54026)] constructed a space \\(P\\) with cmp\\,\\(P=1<\\) Cmp\\,\\(P=\\) def\\,\\(P=2\\). It was later shown that for every positive integer \\(n\\), there exists a space \\(X\\) such that def\\,\\(X-\\) cmp\\,\\(X=n\\). The main result of this paper, Theorem 1, sharpens this result. \\textbf{Theorem 1} For each pair of positive integers \\(k\\) and \\(m\\) with \\(k\\leq m\\), there exists a separable metrizable space \\(X(k,m)\\) such that cmp\\,\\(X(k,m)=k\\) and Cmp\\,\\(X(k,m)=\\) def\\,\\(X(k,m)=m\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566831$3938B31F-955D-437C-8BEC-A7400C656CA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3791bbe968f4947b6ae53aa3a12e25288c7938fb","datavalue":{"value":"54F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566831$F2FB3403-6FCF-45EA-9F61-4C9A533AFDD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5eba00b8d3e11b50f78698aba7a6ac4f3db4ceb2","datavalue":{"value":"2210713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566831$4A7C16E1-663A-4897-AF19-C38B2EA6C282","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0381b32186987f06c9d2ac0581ce566243a07d","datavalue":{"value":"compactness deficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566831$CA6909D1-3C14-449A-B19F-8466EF543EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77edc05d553b9399409bb1567ab35a9f1c79c726","datavalue":{"value":"small and large inductive compactness degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566831$9833A231-4F5F-4533-84EA-F6EBB2410B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4768181659397122937393c61764e2f954409467","datavalue":{"value":"dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566831$E5A8BBAF-48BD-4042-9640-32EA075C378E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30afbf687086f30ffba7621a77acd15d18d82eb9","datavalue":{"value":"rim-compactness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566831$9F4147A9-98A5-4F44-9668-727C718A5853","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1fb07df68ae3429ed2deefdfbc67e544cf9dda59","datavalue":{"value":{"entity-type":"item","numeric-id":860496,"id":"Q860496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$C7CA285B-2411-404E-A104-5574527E8E09","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":"Q2566831$5FFD3275-2E48-4525-A1DA-9E1E7C256D6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b36cee01ccb47cb7fa1b870ecb01e083cf0ef77","datavalue":{"value":"https://doi.org/10.1016/j.topol.2004.10.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566831$2439569D-2427-4AD2-9F21-6409AD42CF7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c02affcb221d25ad8835ce6c4d871d4b0330dbfb","datavalue":{"value":"W2040319333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566831$6390FEEA-AE31-46D4-B732-F5FC627DD16B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"560463927be412f5b12acfc21863bc731015f22e","datavalue":{"value":{"entity-type":"item","numeric-id":4693716,"id":"Q4693716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$229B1043-5689-4889-A311-C4D686BAE588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7693603d801e72dcc418a708a86a2a43967000e2","datavalue":{"value":{"entity-type":"item","numeric-id":2773380,"id":"Q2773380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$28991E4A-3F1D-407F-8A23-67436CE873BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869fca042cf4d1e48ebf50f1ae018f5c20049d29","datavalue":{"value":{"entity-type":"item","numeric-id":5516657,"id":"Q5516657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$41946057-73A3-4200-BF22-C9F46EF4AB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe07eb9ea5712e1670934ec0773ff772c964847","datavalue":{"value":{"entity-type":"item","numeric-id":4855460,"id":"Q4855460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$B3D33D61-B86F-4AA6-9CBA-6965353130B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada9308c022c48990ffdb876d93fa730e4ea1842","datavalue":{"value":{"entity-type":"item","numeric-id":3791867,"id":"Q3791867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$0437CF84-45F7-4922-8BA9-085E8A67AF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d51a668b66a78e5bd1052fab3b1b5ac15896af7","datavalue":{"value":{"entity-type":"item","numeric-id":1819781,"id":"Q1819781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$2286B39A-97DC-42F3-9EDA-1B9811AC4764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61642b292e22da1b91c31c034014884241c84541","datavalue":{"value":{"entity-type":"item","numeric-id":3825044,"id":"Q3825044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$E1C3E68F-4315-4492-89AC-90D4135E8837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c50c197d53c07ee6138021ff1a0c9cb6aeebf3","datavalue":{"value":{"entity-type":"item","numeric-id":4043775,"id":"Q4043775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$1AEA7AE5-9CF0-47CF-9A3F-0BC8A6D53126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d54b643e68958fbc0561f676133b832776f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":1074172,"id":"Q1074172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$A2A22099-2A60-423D-BE72-99B72D7DBAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea8699b547ce32991c062f3d99632a109f39e83","datavalue":{"value":{"entity-type":"item","numeric-id":3326430,"id":"Q3326430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$ECB87F32-E175-4900-940A-7B2A72F84340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf1173000259d49d4c5679c139a1dcbda2a9a6","datavalue":{"value":{"entity-type":"item","numeric-id":5530376,"id":"Q5530376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566831$0CFA037E-68F2-461C-A1A9-06D49E6EFDF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"580babbff5d1b64389cb02b1e0217d4e731c77ca","datavalue":{"value":"10.1016/J.TOPOL.2004.10.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566831$16F3988A-111E-40A5-BC1D-FD082EE1DFDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036d555441b6662b49cd711da46a865b1e19824c","datavalue":{"value":{"entity-type":"item","numeric-id":4020234,"id":"Q4020234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72b32de047a602c76f9ea69f03317bcbf04da46","datavalue":{"value":{"amount":"+0.896892249584198","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":"Q2566831$36FB3110-F030-4CB8-8A44-8E7E31A11189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c3f37f467bee034085799abe0f009f0176dbd9","datavalue":{"value":{"entity-type":"item","numeric-id":876523,"id":"Q876523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8fd912ebc10aaa32adea27a1133b805cb0dbc7","datavalue":{"value":{"amount":"+0.8963175415992737","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":"Q2566831$C272A00C-4289-4F94-9C30-776E0B85FF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"727aeaac9374751ac93433d8b8260eb68f43991b","datavalue":{"value":{"entity-type":"item","numeric-id":3791867,"id":"Q3791867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98dbe8ee33773dec7ee035620d1a5c062b83aae","datavalue":{"value":{"amount":"+0.8956271409988403","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":"Q2566831$7B997A49-D264-48BF-A428-8F6AFA1BF34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1cd9dac4d0bd76416cce03b3121ee575b72efac","datavalue":{"value":{"entity-type":"item","numeric-id":3326430,"id":"Q3326430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7eb946440342ac65575c94c3d8ddf10c4bf5e3","datavalue":{"value":{"amount":"+0.8729933500289917","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":"Q2566831$39440916-2CCB-4EA5-9547-BB4D3B7B9981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d814c469239f13f56aaf2547cfd506e8bce621","datavalue":{"value":{"entity-type":"item","numeric-id":1065420,"id":"Q1065420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423c713f40fbbeb9569190645d56c685d9bab620","datavalue":{"value":{"amount":"+0.8611764907836914","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":"Q2566831$476B7E40-4E59-4340-865E-79DE4A6C7593","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the relationship between cmp and def for separable metrizable spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_relationship_between_cmp_and_def_for_separable_metrizable_spaces"}}}}}