{"entities":{"Q747786":{"pageid":749635,"ns":120,"title":"Item:Q747786","lastrevid":64036905,"modified":"2026-04-11T17:13:20Z","type":"item","id":"Q747786","labels":{"en":{"language":"en","value":"Direct limit topologies of quasi-uniform spaces and paratopological groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6495772"}},"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":"Q747786$FAC778D1-014C-4016-9AD6-8427AAD43CE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8814ec53721982b08a0c751cb0dcc1458a47b643","datavalue":{"value":{"text":"Direct limit topologies of quasi-uniform spaces and paratopological groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q747786$3B5B4EDD-6FCF-41D2-9CB0-BF5A49C3C61C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b9634981077f763b645746cd7a0e91613f8e5f7","datavalue":{"value":"1335.22003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747786$55EFB585-3A61-48A5-AB50-120C140059A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aed6e523f28b887a197e8bcf8023366c071685b7","datavalue":{"value":"10.1215/17358787-3163248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747786$10BB0303-7FF1-43FC-95E2-A276E766D2D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea9df62a56512f786a521143476d3ff343ad48dd","datavalue":{"value":{"entity-type":"item","numeric-id":284608,"id":"Q284608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$E333778C-9DC6-4442-AFDE-D46B50628F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"890ab633143f1b16d1e2882745f12f2f14b162a1","datavalue":{"value":{"entity-type":"item","numeric-id":390818,"id":"Q390818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$0FC7EB29-E48E-4B41-B036-184CED86838C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"121dee4500a41964412ccb9191e8588d303743c2","datavalue":{"value":{"entity-type":"item","numeric-id":492249,"id":"Q492249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$5E60C7DD-ECDC-4095-B752-0822EEAA3F96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96774f4319f40f6c757c511554dcfda640b05aa2","datavalue":{"value":{"entity-type":"item","numeric-id":258950,"id":"Q258950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$8852D62F-B9A8-41DE-AF5B-C0BD0E8006C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35c8aaf3936528809abbf86cf64227758dd2e522","datavalue":{"value":{"time":"+2015-10-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":"Q747786$1CE97BB4-3050-4E27-AA2C-79F58067C22C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f6ee456eaf51e17a416febe9cacdc00e2bd0c50","datavalue":{"value":"https://projecteuclid.org/euclid.bjma/1444913862","type":"string"},"datatype":"url"},"type":"statement","id":"Q747786$73280B5B-C5D1-42FC-8082-09AB9C280419","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e6c408b10cb988319e147fc5b133dca2d17d768","datavalue":{"value":"Let \\((X_n)_{n<\\omega}\\) be a sequence of quasi-uniform spaces such that \\(X_0\\subset X_1\\subset X_2\\subset\\cdots\\subset X_n\\subset\\cdots\\) and let \\(X\\) be the corresponding direct limit, i.e., \\(X=\\bigcup_{n<\\omega}X_n\\) and \\(X\\) has the strongest quasi-uniformity that makes all inclusion maps \\(X_n\\hookrightarrow X\\) quasi-uniformly continuous. The authors show that this quasi-uniformity is generated by a family of quasi-pseudo-metrics on \\(X\\), which they construct as follows. For each \\(n<\\omega\\), let \\({\\mathcal P}_n\\) be the family of all quasi-uniform quasi-pseudo-metrics on \\(X_n\\). A sequence \\((d_n)_{n<\\omega}\\in \\prod_{b<\\omega}{\\mathcal P}_n\\) is said to be monotone if \\(d_n\\leq d_{n+1}\\mid(X_n\\times X_n)\\) for each \\(n<\\omega\\). Every monotone sequence \\((d_n)_{n<\\omega}\\in\\prod_{n<\\omega}{\\mathcal P}_n\\) induces a quasi-pseudo-metric \\(\\varinjlim d_n\\) on \\(X\\) defined by \\(\\varinjlim d_n(x,y)= \\inf\\{\\sum^n_{i=1} d_{|x_{i-1},x_i|}(x_{i-1}, x_i)\\mid x= x_0,x_1,\\dots, x_n= y\\}\\), where \\(|x_{i-1}, x_i|= \\max\\{|x_{i-1}|,|x_i|\\}\\) and \\(|x_{i-1}|= \\min\\{n<\\omega\\mid x_{i-1}\\in X_n\\}\\) and \\(|x_i|= \\min\\{n<\\omega\\mid x_i\\in X_n\\}\\). The resulting family \\(\\{\\varinjlim d_n\\mid(d_n)_{n<\\omega}{\\mathcal P}_n\\) is monotone\\} of quasi-pseudo-metrics on \\(X\\) is shown to generate the quasi-uniformity of the direct limit \\(X\\).     The authors also investigate sequences \\(((G_n,\\tau_n))_{n<\\omega}\\) of paratopological groups such that \\(G_0\\subset G_1\\subset G_2\\subset\\cdots\\subset G_n\\subset\\cdots\\) and their direct limits, where a paratopological group is a group with a topology such that the product map is jointly continuous. In general, the finest topology \\(\\tau\\) on \\(G= \\bigcup_{n<\\omega} G_n\\) that makes all inclusion maps \\((G_n,\\tau_n)\\hookrightarrow G\\) continuous does not turn \\(G\\) into a paratopological group. For each \\(n<\\omega\\), let \\(\\tau^*_n\\) be the coarsest group topology on \\(G_n\\) that is finer than \\(\\tau_n\\). The authors show that, if \\((G,\\tau)\\) is a paratopological group and \\(\\tau^*\\) is the coarsest group topology on \\(G\\) that is finer than \\(\\tau\\), then \\(\\tau^*\\) is identical with the finest topology on \\(G\\) that makes all inclusion maps \\((G_n,\\tau^*_n)\\hookrightarrow G\\) continuous. They also consider four more topologies on \\(G\\) and provide conditions on \\(((G_n,\\tau_n))_{n<\\omega}\\) under which they turn \\(G\\) into a paratopological group, and in particular under which they are identical with \\(\\tau\\). For topological groups, these topologies have been studied by \\textit{T. Banakh} and \\textit{D. Repov\u0161} [Tohoku Math. J. (2) 64, No. 1, 1--24 (2012; Zbl 1241.22002)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q747786$91A8CCBC-8D43-483D-ACE7-E94B8B728A91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b401dc4eec2ba3cb0025b54e4a8352cc0d7a062","datavalue":{"value":"22A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747786$A87D0B2C-7002-4981-B9F3-87C378E6C6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747786$ACA65F70-40E8-4174-8A68-AE489AC57A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747786$FF3FA2F8-090A-40CD-80CF-84F7A37772C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8975949a4f53f61db0206a6e464e5b70f054fb","datavalue":{"value":"54H11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747786$B76B2188-B8E0-4E43-A366-A630B4399445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747786$97EE5ED1-EDB7-4D82-8B4D-DC95E8A8EA13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31a1fa8e692eac5db9ac057ee9cc54e1f12679df","datavalue":{"value":"6495772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747786$3264B71A-0B57-48EE-974D-2F49E2A8FCFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72be51c024d280b2a49b2c8a4b6b8edddf134479","datavalue":{"value":"direct limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q747786$41D58154-D05A-45C6-8CDB-1F9AFDB8EAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5015b6969258e443890842989b87ca739cfce76","datavalue":{"value":"quasi-uniform space","type":"string"},"datatype":"string"},"type":"statement","id":"Q747786$62274B34-413B-496C-AE5A-399BA8D55249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d46427ed4c1103031467ac329b847b889920ce8a","datavalue":{"value":"quasi-pseudo-metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q747786$C656B653-A44D-4B5C-8312-4ED178F01F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dfc490b661f299478c5a5c890856e6b88984dbc","datavalue":{"value":"paratopological group","type":"string"},"datatype":"string"},"type":"statement","id":"Q747786$CE61B7F9-B6BD-4D1B-98DC-47D5BE426800","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":"Q747786$3E98B43F-5577-408C-B149-4C308EEE2604","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":"Q747786$9B86D7FB-5276-4C95-820A-1AF5136E4E75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efe120efefebcd066d8a90096f729e797886de86","datavalue":{"value":"W2103475679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747786$5AEEEA9C-EBBD-44A8-B526-7F759945E9D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f3f553f8c6c65cbc613d6fd1e0ac44ab00d462","datavalue":{"value":{"entity-type":"item","numeric-id":960848,"id":"Q960848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$489653AD-3955-43AA-94BD-EDDAB88EDA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03032646872f78efb4a2d91b5a303c2c34b1bd57","datavalue":{"value":{"entity-type":"item","numeric-id":415291,"id":"Q415291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$EA73DCEF-7DF2-4F4A-A1C6-9BB57D178D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239d052bbcc547e82c975f7aa886ecc0cda5364f","datavalue":{"value":{"entity-type":"item","numeric-id":1570028,"id":"Q1570028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$ABA5202B-7F56-476D-A90B-DEAD26BFB075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf4b3fbf7bb34dec9ef45add591e72af3e074e6","datavalue":{"value":{"entity-type":"item","numeric-id":3966761,"id":"Q3966761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$6BE7A277-8D14-4E5E-87E9-B4E100F13B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c3b0a1ef0dbc5ed63586ce548404431935a27a","datavalue":{"value":{"entity-type":"item","numeric-id":1890267,"id":"Q1890267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$BDE0D1F2-E320-4E5C-93E1-0ACCC026CBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b17f3e936408bdc11f72d4195041bec7a24e12d","datavalue":{"value":{"entity-type":"item","numeric-id":880114,"id":"Q880114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$34F691F5-1EA8-45BB-AD54-0E4AC5F5BBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd35f0b1545564e74aabeea30ebf597ac639dfb","datavalue":{"value":{"entity-type":"item","numeric-id":698526,"id":"Q698526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$7DE7F191-B765-4D9C-BC28-28BB616F392C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0c3c47f64b2a657422a5680ff1a982139dfdd39","datavalue":{"value":{"entity-type":"item","numeric-id":690859,"id":"Q690859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$5CE3E1B2-BA15-46D6-BB21-C13D583F2363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e509f6b301e5e5e7018fc5f2b30167d4c63b47","datavalue":{"value":{"entity-type":"item","numeric-id":1293341,"id":"Q1293341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$4D6E260C-A72E-4F94-A8F6-48F59C21922B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a35a82087ea4b807107442b9fcfbbef82aca421","datavalue":{"value":{"entity-type":"item","numeric-id":1296416,"id":"Q1296416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747786$EC06ED37-ADFD-4238-A285-5F84043B1B41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec6536f55fa1b548d1a034968a6a957eabc1c74","datavalue":{"value":{"entity-type":"item","numeric-id":415291,"id":"Q415291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1650e20742cf3d5cca16e96a317c7816e43583","datavalue":{"value":{"amount":"+0.8283781409263611","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":"Q747786$1221225D-BA69-43C8-9F84-4418FB090C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e77db5c4e77b264be8d2ca37be77929f4982ac7","datavalue":{"value":{"entity-type":"item","numeric-id":2634689,"id":"Q2634689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b018bc5b984a22fa68196d0f794d734422f76b94","datavalue":{"value":{"amount":"+0.7922812104225159","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":"Q747786$2B11052B-E80E-4485-98D3-57E9ACAD9318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b8537942693a870f90b8f8b5ca8893863666d8","datavalue":{"value":{"entity-type":"item","numeric-id":4818662,"id":"Q4818662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258d74de26bde5c94a179a5fe7447573cb80877b","datavalue":{"value":{"amount":"+0.7767088413238525","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":"Q747786$2B4C857C-7A56-4D52-A8B2-EEF33BB29301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f550f8c1ee36d3e947ef4ce33fb61ffd4332708","datavalue":{"value":{"entity-type":"item","numeric-id":4956613,"id":"Q4956613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa1145d07a2e23af3142634ef9fd385c739dac3","datavalue":{"value":{"amount":"+0.7693703174591064","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":"Q747786$1602A0B2-05DE-45DB-819D-0F0C6946396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b6d3002d89d77262668b0588f7f950ae7156186","datavalue":{"value":{"entity-type":"item","numeric-id":1383572,"id":"Q1383572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa0cb55da0e46df31be01a0c658dfd5390891cd","datavalue":{"value":{"amount":"+0.7629231810569763","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":"Q747786$950B3296-60FB-4C7E-8F05-536FA9020D95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Direct limit topologies of quasi-uniform spaces and paratopological groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Direct_limit_topologies_of_quasi-uniform_spaces_and_paratopological_groups"}}}}}