{"entities":{"Q915128":{"pageid":916976,"ns":120,"title":"Item:Q915128","lastrevid":65316534,"modified":"2026-04-12T01:45:12Z","type":"item","id":"Q915128","labels":{"en":{"language":"en","value":"Paradoxical subsets of hyperbolic and spherical discs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4151246"}},"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":"Q915128$5F66968D-7083-4A45-A22C-46DD6582289A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78dc117504d69bf3c50eafdab5298bda790bd5cb","datavalue":{"value":{"text":"Paradoxical subsets of hyperbolic and spherical discs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915128$C8031AD0-2754-4AD5-B919-6D05451C6651","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed402acb44b59d369e6ee3fa1546a1589f8b293d","datavalue":{"value":"0702.51014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915128$2655B409-ABCB-44B1-ADB8-EB06B5D48979","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a59e00f83b28b810ef52205a130d9a34238e76b2","datavalue":{"value":"10.1007/BF00147321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915128$B0FC9349-8AFC-4E28-AE9D-25C4EA4E31A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af9377c60c1171df0a0800779f8332bec924bbff","datavalue":{"value":{"entity-type":"item","numeric-id":915127,"id":"Q915127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915128$48D04FA2-BACE-405F-9B2E-ADD1A48B4A8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b27d55f344dc6bfd48e3ff9582c04d67175a8a8","datavalue":{"value":{"entity-type":"item","numeric-id":181320,"id":"Q181320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915128$C54724F6-84F9-46BA-B1F7-9982C9D48527","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q915128$9C2A1D66-E36B-46E3-B2BD-255AE618BA5E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c4d1f228ed3bd16787420d6e9b2fd6f91d72177","datavalue":{"value":"A subset E of the Euclidean plane \\(E^ 2\\) (respectively of the hyperbolic plane \\(H^ 2\\) or of the sphere \\(S^ 2)\\) is said to be (m,n)- paradoxical (with \\(m\\leq n)\\) if E is nonempty and there are nonempty subsets \\(C_ 1,...,C_ m\\), \\(D_ 1,...,D_ n\\) of E and planar (resp. hyperbolic; spherical) isometries \\(F_ 1,...,F_ m\\); \\(G_ 1,...,G_ n\\) such that \\(P_ 1=\\{C_ i\\}\\), \\(P_ 2=\\{D_ j\\}\\) and \\(P_ 3=\\{F_ i(C_ i)\\}\\cup \\{G_ j(D_ j)\\}\\) are each partitions of \\(E^ 2\\) (resp. of \\(H^ 2\\); \\(S^ 2).\\)    The author completely answers the following question: (*) Given a disc D of radius r in \\(H^ 2\\) (or \\(S^ 2)\\) with \\(0<r\\leq \\infty\\), for which pairs (m,n), with \\(m\\leq n\\), does there exist an (m,n)-paradoxical subset of D but not an (m-1,n)-paradoxical subset of D or an (m,n-1)-paradoxical subset of D?    Namely: (1) in \\(H^ 2:\\) if \\(0<r<\\infty\\) then (1,3) and (2,2); if \\(r=\\infty\\) then (1,1). (2) in \\(S^ 2:\\) if \\(0<r<\\pi /2\\) then (1,3) and (2,2); if \\(\\pi /2\\leq r<\\pi\\) then (1,2); if \\(r=\\pi\\) then (1,1).    The problem goes back to \\textit{S. Mazurkiewicz} and \\textit{W. Sierpi\u0144ski} [C. R. Acad. Sci. Paris 158, 618-619 (1914), JFM 45.0131.01], where (*) was answered for \\(E^ 2\\) with \\(r=\\infty\\); namely (1,1). \\textit{W. Just} [Bull. Pol. Acad. Sci., Math. 36, No.1/2, 1-3 (1988; Zbl 0683.51016)] and the author (in a paper to appear in Fund. Math.) have also completely answered (*) for \\(E^ 2\\) with \\(0<r<\\infty:\\) the answer is (1,3) and (2,2).    The constructions of the paradoxical subsets (which are all denumerable) are carried out by using two independent isometries (i.e. they generate a free subgroup of rank 2) and do not use AC.","type":"string"},"datatype":"string"},"type":"statement","id":"Q915128$56CB22AE-77AF-48FB-976D-84308CE7761C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f09aa2e716ec7994a7cd5a92df375362b1eb2bf5","datavalue":{"value":"51M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915128$927759F2-BD90-4DC9-88EE-D03E02E396E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37256f133d34bc244da0ea0fe26a04c6dadb9e77","datavalue":{"value":"51M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915128$CB78DCF5-EC88-4512-9881-FE6D0879155E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915128$E26FDD80-5315-4C6E-BA32-23E86B025FAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1e934215f20f5fcaf284f8489797176e905a62a","datavalue":{"value":"4151246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915128$BA00D4E1-AB3F-4EFE-8418-845077DEAD09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db5494d3f7b8f844dd8114683f2cc3cdcc9e9d8","datavalue":{"value":"Euclidean plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q915128$862DBD5F-2E1D-467F-B871-00B6037768F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f1dfd18ac83b74c7884f2a74577f0260ada513","datavalue":{"value":"hyperbolic plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q915128$FDCB1D85-FF0B-4A1A-8F12-CC60C13D01CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0fcce008177189cafd371672d7c3ec3fea8aaa1","datavalue":{"value":"sphere","type":"string"},"datatype":"string"},"type":"statement","id":"Q915128$3487A903-A750-4140-8DB3-4463AD0B682F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38ca7934ffa3977b1e5fd7ea92653158248dabd9","datavalue":{"value":"paradoxical subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q915128$394B7681-8BFC-4340-962C-A4F93FBF36D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915128$B814E0A9-22CA-4991-BCBC-7F2EC6AA88D1","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":"Q915128$A774D0AC-D875-4A67-A4D8-9A2B8D300A71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93447e74a72033d8556262f7be66757eee36b1a4","datavalue":{"value":"https://doi.org/10.1007/bf00147321","type":"string"},"datatype":"url"},"type":"statement","id":"Q915128$7DD2EFC9-6ACB-4D01-9002-60638A65F940","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4a57a7ff870cfc97699f07d9699bc50c1c093c1","datavalue":{"value":"W2023963191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915128$072DF8D1-677D-4B75-B0BF-7DBA670DC4E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8da69d71b584b25dd01e6bfe48dca4aa727ae92","datavalue":{"value":{"entity-type":"item","numeric-id":4022043,"id":"Q4022043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a40cf3e9b9f8a7229ffc4f456259384f938193","datavalue":{"value":{"amount":"+0.771219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915128$9FD278DC-7D0B-4D37-BCD5-9AFF1C7C87E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a9686910f232f35430d18d39043ab42ab6a4706","datavalue":{"value":{"entity-type":"item","numeric-id":1174970,"id":"Q1174970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6b3e9f6cd65633b8c283474fc1520efa267f26","datavalue":{"value":{"amount":"+0.7453682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915128$4681ADEF-DDC8-4EEA-BBAA-7C1CA000F2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05f20c3ff11a4d0c07361403a909d004ce99363","datavalue":{"value":{"entity-type":"item","numeric-id":1205425,"id":"Q1205425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca03f882239c450416f063e7de15008f66ed4d06","datavalue":{"value":{"amount":"+0.70494103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915128$4870A985-1445-45C8-835A-7ED4CBC53DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd295cbd9ec1aa09a3a5671d7d89eccc6a2c98e","datavalue":{"value":{"entity-type":"item","numeric-id":4788802,"id":"Q4788802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0592ce9bcf02fb7fc7759031c012d4375eb3944b","datavalue":{"value":{"amount":"+0.69914085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915128$58C690A8-D783-4A25-BC16-6EB761C5941E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6dcf256ed1120c51dd988506a1a06c167f4f69","datavalue":{"value":{"entity-type":"item","numeric-id":3971943,"id":"Q3971943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b4314a13bf7ff9d388da3f3ce5b05fd3cd12d6","datavalue":{"value":{"amount":"+0.6853566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915128$BF8049B2-E5CA-4226-AEE7-66D0B9304153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f240eebd699e9ac84b3941457b58ee716f564c9","datavalue":{"value":{"entity-type":"item","numeric-id":4732995,"id":"Q4732995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba52111c1f49216c0474db90c48080595883c7a","datavalue":{"value":{"amount":"+0.6841368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915128$1F91172C-3E54-4F29-B139-1718A6B85316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1340d05e004dee4c67e98d28f3bd6d7d9a97fa","datavalue":{"value":{"entity-type":"item","numeric-id":2814161,"id":"Q2814161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0fd8efe1f92f67e25b4ce9a74ba03f075899a5","datavalue":{"value":{"amount":"+0.67994034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915128$4943927C-9864-4E87-921A-4ADE3C7E588A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c6ac7041fbf523048bedc022216094743c05da","datavalue":{"value":{"entity-type":"item","numeric-id":483351,"id":"Q483351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2948567cd472ab0a5a8a9f18843f2e2275a9416","datavalue":{"value":{"amount":"+0.67512995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915128$006FF038-4014-4D1B-BFC2-FE7D785AC52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a06aa062e130fb92b03e9a050f6f08899610fb","datavalue":{"value":{"entity-type":"item","numeric-id":4324332,"id":"Q4324332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89eb48bbb1fea2ae78d811600e6b20edaad06225","datavalue":{"value":{"amount":"+0.673533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915128$D86DC67B-DEA4-4473-A17B-FFB98EE2A05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e4d14482f7dfb9a8fd5a8a153cfbf119529407","datavalue":{"value":{"entity-type":"item","numeric-id":4036755,"id":"Q4036755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de74e7ee688024252b42887c02662e0942df9f56","datavalue":{"value":{"amount":"+0.6644167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915128$E709E571-8600-4EAD-9F1B-27D1C3BE159F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Paradoxical subsets of hyperbolic and spherical discs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Paradoxical_subsets_of_hyperbolic_and_spherical_discs"}}}}}