{"entities":{"Q415291":{"pageid":417058,"ns":120,"title":"Item:Q415291","lastrevid":61675149,"modified":"2026-04-11T00:53:50Z","type":"item","id":"Q415291","labels":{"en":{"language":"en","value":"Direct limit topologies in the categories of topological groups and of uniform spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033835"}},"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":"Q415291$0E010864-25FC-4323-9C8A-30387C7CD522","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edc4acb9e99f18656af1abd67e73edb12e63a0cd","datavalue":{"value":{"text":"Direct limit topologies in the categories of topological groups and of uniform spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q415291$0283588A-15D8-46A1-9F6C-BACED4039F89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec52ec7fbbc0e3aad258747e74abc6bee9809f24","datavalue":{"value":"1241.22002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415291$371345EA-4A6C-4E88-984E-236AC2EDDDE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc48cb55979649761e7798a977eb013a47cf52c9","datavalue":{"value":{"entity-type":"item","numeric-id":171175,"id":"Q171175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415291$0929DEB0-7D49-4852-988D-EC83A357FBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e92ad84072131137eaa27c5ec1c4b5559c97a58","datavalue":{"value":{"entity-type":"item","numeric-id":1626690,"id":"Q1626690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415291$ED862602-35E9-4DEA-8726-B8E0845162B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f57d451e29ac1aea784b2facd6b9348f2ad6b455","datavalue":{"value":{"entity-type":"item","numeric-id":177355,"id":"Q177355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415291$E119FAFA-EBF5-41D3-A860-F2F5D0724A67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q415291$67ED8BEF-AEC4-43BA-85A2-C89DA89FA829","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2863691611d7941ed68525fa27616b290c914409","datavalue":{"value":"https://arxiv.org/abs/0911.3985","type":"string"},"datatype":"url"},"type":"statement","id":"Q415291$AC97D568-1D74-4342-B677-5CAD9698F8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b474eb82f630caea8e6df60ed85ff69f03daa02","datavalue":{"value":"https://projecteuclid.org/euclid.tmj/1332767338","type":"string"},"datatype":"url"},"type":"statement","id":"Q415291$93D04413-8102-4F1A-ACC7-65A0CDCC9F2D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6c1f2fe0c6eeff3238e68de511d6ad60593f75e3","datavalue":{"value":{"entity-type":"item","numeric-id":591010,"id":"Q591010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415291$A7B39C20-6BE9-4C42-8C20-15E68445731F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b401dc4eec2ba3cb0025b54e4a8352cc0d7a062","datavalue":{"value":"22A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415291$DFA1ADE6-DF60-49D3-BA07-BC528513531A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415291$28F41B41-AD37-4287-B288-4378E2A8CA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415291$E31D6252-7D1B-44C6-B484-94147E6B6278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415291$22B54C6A-D014-40E6-8B55-914EAF79E04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8975949a4f53f61db0206a6e464e5b70f054fb","datavalue":{"value":"54H11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415291$ED5E1F91-9A2F-4ED7-9760-CB98C4BEDAE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c379533d39a841fb101446d26c0ccf6f2b6b0a85","datavalue":{"value":"6033835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415291$1D2806C5-913C-4F77-80E5-C21C294689E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72be51c024d280b2a49b2c8a4b6b8edddf134479","datavalue":{"value":"direct limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q415291$43091B59-7EF1-481E-89F2-3191AFDCAE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f7804c3abe2f4d058e92c6855bf4734c56bc91","datavalue":{"value":"topological group","type":"string"},"datatype":"string"},"type":"statement","id":"Q415291$9A76AD94-B2A9-494D-9351-8D63A5630C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4484c24653bfd1a89dfc85b132d2f51b3c7560a9","datavalue":{"value":"uniform space","type":"string"},"datatype":"string"},"type":"statement","id":"Q415291$594F09D7-4069-4DE6-9E9C-3F8633428E73","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":"Q415291$17E92B9A-1760-446A-BF16-10987DC20356","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdb2be68691470d8be29eb0b37d889fa42e24ccb","datavalue":{"value":"W2963331129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415291$BD2BC4DB-057E-453C-9773-0C5BC0A8B5ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d6ee876fccf5dac76f83e121f41dc10ec2c5f53","datavalue":{"value":"10.2748/TMJ/1332767338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415291$A83E72B1-45E1-4C8D-ADB9-220BB7EC633C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"776c53d6d3fb779ec6356e8b09973bad716c73b6","datavalue":{"value":"For a given tower of topological groups \\(G_{0}\\subset G_{1}\\subset G_{2}\\subset\\dots\\), the authors define four topologies \\(\\overset{\\rightarrow}{\\tau}, \\overset{\\leftarrow}{\\tau}, \\overset{\\leftrightarrow}{\\tau}\\) and \\(\\overset{\\rightleftharpoons}{\\tau}\\) on the group \\(G= \\bigcup_{n\\in \\omega}G_{n}\\), which are generated by the bases: NEWLINE\\[NEWLINE\\overset{\\rightarrow}{\\mathcal{B}} = \\{(\\overrightarrow{\\prod_{n\\in\\omega}} U_{n}).x ; x\\in G, (U_{n})_{n\\in \\omega}\\in \\prod_{n\\in \\omega} \\mathcal{B}_{n} \\},NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE\\overset{\\leftarrow}{\\mathcal{B}} = \\{x . (\\overleftarrow{\\prod_{n\\in \\omega}}U_{n}) ; x\\in G, (U_{n})_{n\\in \\omega}\\in \\prod_{n\\in \\omega} \\mathcal{B}_{n} \\},NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE\\overset{\\leftrightarrow}{\\mathcal{B}} = \\{x . (\\overleftrightarrow{\\prod_{n\\in \\omega}}U_{n}) . y ; x,y\\in G, (U_{n})_{n\\in \\omega}\\in \\prod_{n\\in \\omega} \\mathcal{B}_{n} \\},NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE\\overset{\\rightleftharpoons}{\\mathcal{B}} = \\{x . (\\overleftarrow{\\prod_{n\\in \\omega}}U_{n})\\cap (\\overrightarrow{\\prod_{n\\in \\omega}}U_{n}). y ; x,y\\in G, (U_{n})_{n\\in \\omega}\\in \\prod_{n\\in \\omega} \\mathcal{B}_{n} \\},NEWLINE\\]NEWLINE where \\(w=\\{0,1,2,\\dots\\}\\) stands for the set of finite ordinals. \\({\\overset{\\rightarrow}{G}, \\overset{\\leftarrow}{G}, \\overset{\\leftrightarrow}{G}}\\) and \\(\\overset{\\rightleftharpoons}{G}\\) denote the group \\(G\\) endowed with the topologies \\({\\overset{\\rightarrow}{\\tau}, \\overset{\\leftarrow}{\\tau}, \\overset{\\leftrightarrow}{\\tau}}\\) and \\(\\overset{\\rightleftharpoons}{\\tau}\\), respectively.NEWLINENEWLINEIn this paper, the authors show that, under certain conditions on a tower of topological groups \\((G_{n})_{n\\in w}\\), the topology of the direct limit \\(g-\\underrightarrow{\\lim}G_{n}\\) coincides with one (or all) of the topologies \\({\\overset{\\rightarrow}{\\tau}, \\overset{\\leftarrow}{\\tau}, \\overset{\\leftrightarrow}{\\tau}}\\) or \\(\\overset{\\rightleftharpoons}{\\tau}\\) on the group \\(G= \\bigcup_{n\\in \\omega}G_{n}\\).NEWLINENEWLINEMoreover, the authors discuss the implications of PTA, the Passing Through Assumption, which was introduced by \\textit{N. Tatsuuma, H. Shimomura} and \\textit{T. Hirai} in [J. Math. Kyoto Univ. 38, No. 3, 551--578 (1998; Zbl 0930.22002)]. Then, they give the definition of balanced property for a tower of topological groups \\((G_{n})_{n\\in w}\\) and they show that if a tower of topological groups \\((G_{n})_{n\\in w}\\) is balanced, then a semitopological group \\({\\overset{\\rightarrow}{G}}\\) is a topological group. They also introduce the bi-balanced property of a tower \\((G_{n})\\), which is weaker than the balanced property and implies that the semitopological group \\({\\overset{\\leftrightarrow}{G}}\\) is a topological group. They present an example of a tower of topological groups \\((G_{n})_{n\\in w}\\) that is balanced but does not satisfy PTA and they also present an example of a tower \\((G_{n})_{n\\in w}\\) that satisfies PTA but is not bi-balanced.NEWLINENEWLINEFurthermore, the authors discuss the notion of direct limit in the category of uniform spaces and their uniformly continuous maps, and they show that for a tower \\((G_{n})_{n\\in w}\\) of topological groups the topologies \\({\\overset{\\rightarrow}{\\tau}}\\) and \\({\\overset{\\leftarrow}{\\tau}}\\) on the union \\(G= {\\bigcup_{n\\in \\omega}G_{n}}\\) are generated by uniformities of direct limits of the groups \\((G_{n})\\) endowed with the left and right uniformities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q415291$5B0EC903-957E-4513-B1AA-9F7AA9709EF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd361d3c1b8e9a041938d2bc86262128bad730a","datavalue":{"value":{"entity-type":"item","numeric-id":747786,"id":"Q747786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7113f57cf622cc6755d2b830c62a16394a74051b","datavalue":{"value":{"amount":"+0.8664430975914001","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":"Q415291$E7EDC1D1-9916-40A8-81AB-D00EA827FACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a51803dc1abeeac2c55d750c4d2f83a396f4a3e","datavalue":{"value":{"entity-type":"item","numeric-id":960848,"id":"Q960848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8315d06a89d63a738d8a2eb337a45f0c8d242adb","datavalue":{"value":{"amount":"+0.852391242980957","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":"Q415291$171D3FD4-41E3-4772-9E64-767AC41B35E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e320b86eabb663685467cc6db75837f9364893","datavalue":{"value":{"entity-type":"item","numeric-id":698526,"id":"Q698526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865451dfc06242ab65209b4a059cff671867d98f","datavalue":{"value":{"amount":"+0.8457862734794617","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":"Q415291$FDCBE3A9-7D14-4725-BD2B-88B7B6E8A028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08310dd2fbf74c658428f09893afa999b40bf973","datavalue":{"value":{"entity-type":"item","numeric-id":1567308,"id":"Q1567308"},"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":"Q415291$4321486F-AF3C-4436-8270-C4D756EF971F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724b57183911a815782334e32c6b2c101a976ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4266230,"id":"Q4266230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc3d0a04a3c64add911fa776dac929588bd33b3","datavalue":{"value":{"amount":"+0.7653041481971741","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":"Q415291$D6A78F0F-4FC9-481C-879C-0A546D5790A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Direct limit topologies in the categories of topological groups and of uniform spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Direct_limit_topologies_in_the_categories_of_topological_groups_and_of_uniform_spaces"}}}}}