{"entities":{"Q1610287":{"pageid":1621027,"ns":120,"title":"Item:Q1610287","lastrevid":67986072,"modified":"2026-04-12T20:40:49Z","type":"item","id":"Q1610287","labels":{"en":{"language":"en","value":"Bicompletion and Samuel bicompactification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1783496"}},"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":"Q1610287$3DC3EC77-CBFC-4C6B-9001-599325BA8700","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb8b279b78bfeef4e262ba5e609df6044c276784","datavalue":{"value":{"text":"Bicompletion and Samuel bicompactification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1610287$86555547-C9A7-4E2A-9027-00C6B24C9FD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbe48b2720d8ac22d4685e469fed3b5a21332c49","datavalue":{"value":"1008.54016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610287$894EA811-315F-4558-A8B8-B9FBD7187647","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"426298c60774de6e61fa82fdb0313cc64e0883b0","datavalue":{"value":"10.1023/A:1015240428548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610287$893123EF-134C-42ED-BE14-E787229B57E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a252202490ba3d8805fedd1159b02c9191cd1089","datavalue":{"value":{"entity-type":"item","numeric-id":645203,"id":"Q645203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610287$B6AD9EB7-A2C5-4F3A-A6CA-F5510958137D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43bf0825e1eebe8c29269fdac4762527ebfe47a3","datavalue":{"value":{"entity-type":"item","numeric-id":386876,"id":"Q386876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610287$3A7B5415-F33F-41E5-8C0B-29250A3F3F08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610287$B1A896F2-EFA1-4464-BC67-F3CFAB57676A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0004237905b7322cb3b10a20c84f2f03323c8c30","datavalue":{"value":{"time":"+2002-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1610287$75C4AC40-F7E8-4D3A-A754-388D577613CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e83578c5b863b78f991d6a6bfc7f31f607a545b","datavalue":{"value":"Let \\(T:\\mathbf{QU}_0 \\to\\text\\textbf{TOP}_0\\) be the forgetful functor, where \\(\\mathbf{QU}_0\\) is the category of quasi-uniform \\(T_0\\)-spaces and \\(\\mathbf{TOP}_0\\) is the category of topological \\(T_0\\)-spaces. A functor \\(F:\\mathbf{TOP}_0\\to\\text\\textbf{QU}_0\\) is called a \\(T\\)-section if \\(T\\circ F: \\mathbf{TOP}_0 \\to\\text\\textbf{TOP}_0\\) is the identity functor on \\(\\mathbf{TOP}_0\\). Following G. C. L. Br\u00fcmmer, a \\(T\\)-section \\(F:\\mathbf{TOP}_0 \\to \\text\\textbf{QU}_0\\) is called lower (upper) \\(K\\)-true if \\(K\\circ F(X)\\) is coarser (finer) than \\(F\\circ T\\circ K\\circ F(X)\\) for each \\(X\\in\\mathbf{TOP}_0\\), where \\(K: \\mathbf{QU}_0\\to \\text\\textbf{QU}_0\\) is the bicompletion functor. The main results are:   Theorem 1: A \\(T\\)-section \\(F:\\mathbf{TOP}_0 \\to\\text\\textbf{QU}_0\\) is upper \\(K\\)-true if and only if, for every sober space \\(X\\), \\(F(X)\\) is bicomplete.   Theorem 2: The locally finite covering quasi-uniformity functor \\(L:\\mathbf{TOP}_0\\to \\text\\textbf{QU}_0\\) (which is a \\(T\\)-section) is neither lower nor upper \\(K\\)-true.   Theorem 3: The point finite covering quasi-uniformity functor \\(PF:\\mathbf{TOP}_0\\to\\text\\textbf{QU}_0\\) (which is a \\(T\\)-section) is lower but not upper \\(K\\)-true.   Additionally it is proved that the quasi-proximity space induced by the bicompletion of a quasi-uniform \\(T_0\\)-space \\(X\\) is a subspace of the quasi-proximity space induced by the Samuel bicompactification of \\(X\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610287$F8F49D53-029C-4C97-BEE2-4A7B77DC2B95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610287$0D88AC97-491E-49D6-9CE7-784FF9DF866A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610287$D2E7BB78-86D1-47CC-95C6-DC5228A4BCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610287$0BCE0C2B-0F20-4BF7-92DA-0C07D7D73F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50fde6f1b079e2f7199fd9f86bbad38cba037fd5","datavalue":{"value":"54E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610287$79FFB2D4-0FCB-40C6-89EC-645CD2320AEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e05ef483a28db94324c576a33e08f15397aae5b3","datavalue":{"value":"1783496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610287$D39CBB1A-CD1C-4B68-894C-B1F79917FC6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e104f42ae713ea05cfaf265f053f811be39b364","datavalue":{"value":"totally bounded","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610287$64421F21-6C14-4AF3-8EC4-338DE18FDC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33bfa990a3a03176678bb49af25b345dcf7835fa","datavalue":{"value":"quasi-proximity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610287$DA94D924-E98D-458E-8871-9AF218A934B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77d02e8be88b0d79e5eff289ae94bf5f49691d5e","datavalue":{"value":"Samuel bicompactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610287$843B40E6-5686-4CB8-89C6-786B1A3B9CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f6e3d9394e72e914a9ae539640c6ec9e13c6031","datavalue":{"value":"bicompletion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610287$B2AD91F6-03B8-4E4D-84EF-AB077C7334F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0279f42558ae6f966453970fccbee323d3009944","datavalue":{"value":"functorial quasi-uniformity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610287$FF4C84E2-1A23-4396-BB84-E25F2B40B340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2e870e0549b2d1ab534ea7815b155619c3af19","datavalue":{"value":"lower \\(K\\)-true","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610287$7233041A-07B0-40CE-A035-94DE93250891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f64674bf31182973e817e8ef50ff1aad78b5855","datavalue":{"value":"upper \\(K\\)-true","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610287$6F73E5B2-2770-444B-95DD-88E583E20848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5015b6969258e443890842989b87ca739cfce76","datavalue":{"value":"quasi-uniform space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610287$AA7A7ABF-C49C-4F72-9BCD-9B7E68C48648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf7907b232bc03cd92891e7f9d4b1339ad6ad54","datavalue":{"value":"sober space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610287$06221A29-1827-481C-92CB-F7DA3722CCB6","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":"Q1610287$C4F5C9CE-2371-4CE2-B39A-AC2012748CEA","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":"Q1610287$9E7081C5-B1CB-4812-8341-AA720AE39EA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07d7742e2229e8826be295a2d47c0dd504f9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":719721,"id":"Q719721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeadd3622f52cbe61fefb35d0636e1224fb2b8b0","datavalue":{"value":{"amount":"+0.9076489806175232","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":"Q1610287$43432A57-7F9A-4C87-8A49-D5255A36FF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1325885439d9951ca2806eca18296a6e86b538","datavalue":{"value":{"entity-type":"item","numeric-id":2471002,"id":"Q2471002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309149dd4b8d428a92de0255302c0c4366f16bcb","datavalue":{"value":{"amount":"+0.8401442766189575","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":"Q1610287$F14BF1ED-5C60-431F-AA2C-BD05AF75B30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0132d777c8ddf3d9604447c9346b852445c4b3fe","datavalue":{"value":{"entity-type":"item","numeric-id":3357082,"id":"Q3357082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d590558e00aef6731cb261a92133222cc5492a7","datavalue":{"value":{"amount":"+0.8251392841339111","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":"Q1610287$F547BE8F-97F2-44E3-A17A-62E221F762B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85db4145960b877676e20907ae77cfbed55ce43c","datavalue":{"value":{"entity-type":"item","numeric-id":4280780,"id":"Q4280780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb40eb88a174559c9cbe855cc4653a881c40a4f","datavalue":{"value":{"amount":"+0.8165963888168335","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":"Q1610287$B588B100-0DA8-4730-B77B-9C7796626461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fff78dcbe42479e6e8ff7dcd41b336cd5c202e81","datavalue":{"value":{"entity-type":"item","numeric-id":4262642,"id":"Q4262642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fea7fade26c33c409cecf0f274bdc9c3a7eb18","datavalue":{"value":{"amount":"+0.8160678148269653","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":"Q1610287$E5ACDB0A-ABE4-488D-9378-1373363EE720","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bicompletion and Samuel bicompactification","badges":[]}}}}}