{"entities":{"Q2826334":{"pageid":2837072,"ns":120,"title":"Item:Q2826334","lastrevid":83744045,"modified":"2026-05-07T10:47:56Z","type":"item","id":"Q2826334","labels":{"en":{"language":"en","value":"Compositions of \\(\\varrho \\)-upper continuous functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6639556"}},"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":"Q2826334$D679F898-7F3F-43FA-8800-D928653BC6B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23e05db650a73ff09975c32f1566f826b13ebfd5","datavalue":{"value":"1389.26006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826334$D656A9DE-3FCF-4830-B1C6-57043D3A2D61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e980fb7c32f4fdcdaadb02cdfab2968d4c1ca4cd","datavalue":{"value":{"entity-type":"item","numeric-id":178351,"id":"Q178351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826334$7A6B6BD8-3622-4AA3-97C1-2439739F5277","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9654dda326c7625386dfa5d02ed88aa11952965c","datavalue":{"value":{"entity-type":"item","numeric-id":2054591,"id":"Q2054591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826334$B7DA0882-DFC0-440C-8F97-C408EF120024","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b474ab9bc4d92c48e7f4bfbba41d711ae289b102","datavalue":{"value":{"time":"+2016-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2826334$32CC31F0-28D9-428E-9CF0-DAA2D7821A0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b822e7a8e3182eac90bd373b5db12c2ae0651c8d","datavalue":{"value":"26A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826334$2D80A119-88FD-44E4-9834-70F1D89CE8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826334$83FD0101-4779-49B6-BDD1-9396C2E3E1FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"615931b97c2d2f85926287cb8ba20fba05598855","datavalue":{"value":"6639556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826334$6CE217E0-53AE-4630-AD52-25F3D1646E82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8a292a41cf5be56239a7cb882323774a367860","datavalue":{"value":"approximately continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826334$3FEC21C6-DB04-4A05-8F9D-8E69ACCF6D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb471c4b1f893aab6c7e164d69742f61a9a29e84","datavalue":{"value":"\\(\\varrho \\)-upper continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826334$B124AB5F-5094-4329-9D36-AF5EA113F17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dd60954f7db4924d258eedb00fbd873a078d510","datavalue":{"value":"Zahorski theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826334$F80B0C5E-9BCE-4B92-A9E7-AD7EB44E331E","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":"Q2826334$D6CC4827-275C-4E72-815A-635F796EB924","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff1f19784324028a19aa4014633bc74005ab6ac0","datavalue":{"value":"https://doi.org/10.1515/ms-2015-0162","type":"string"},"datatype":"url"},"type":"statement","id":"Q2826334$54587029-8B42-488E-B617-ADD85F5B0B26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"323c71e297c49367238e27f92455b3295a655b53","datavalue":{"value":"W2518471315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826334$84BB4C81-53CF-4127-B6C0-BB3A1A5E6797","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"304c241f7d200e30ad4142cd094d23c95d8b34c2","datavalue":{"value":"10.1515/MS-2015-0162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826334$611FF9FF-69AB-4F49-867C-7885542A8C7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc6c5ac8fdcdfb92f62523f679d0d6ba8357025a","datavalue":{"value":{"text":"Compositions of \\(\\varrho \\)-upper continuous functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2826334$E58D64B2-6C7A-4ED5-8505-E3A819C45F9D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f3b60ee9bba65b1da4edec2c2587f101af6d1d4","datavalue":{"value":"In this paper, some properties of compositions of \\(\\varrho\\)-upper continuous functions are presented. The author shows conditions for a function \\(f\\: I \\to I\\) under which \\(g \\circ f\\) is \\(\\varrho \\)-upper continuous for each \\(\\varrho \\)-upper continuous function \\(g: I \\to \\mathbb R\\). Also, a small generalization of the Luzin-Menchoff theorem and the Zahorski theorem is discussed.NEWLINENEWLINENEWLINEFirst, some notations are presented. Let \\(E\\) be a measurable subset of \\(\\mathbb R\\) and let \\(x\\in \\mathbb R\\). The numbers NEWLINENEWLINE\\[NEWLINE \\overline {d}(E,x)=\\limsup \\limits_{t\\rightarrow 0^+ k\\rightarrow 0^+}\\frac {| E\\cap [x-t,x+k]|}{k+t} \\quad \\text{and} \\quad \\underline {d}(E,x)=\\liminf \\limits_{t\\rightarrow 0^+ k\\rightarrow 0^+}\\frac {| E\\cap [x-t,x+k]|}{k+t}NEWLINE\\]NEWLINENEWLINEare called the upper and lower density of \\(E\\) at \\(x\\), respectively.NEWLINENEWLINENEWLINELet \\(0< \\varrho \\leq 1\\). We say that \\(x\\) is a point of \\(\\varrho \\)-type upper density of \\(E\\) if either \\(\\overline {d}(E,x)>\\varrho \\) if \\(\\varrho <1\\) or \\(\\overline {d}(E,x)=1\\) if \\(\\varrho =1\\).NEWLINENEWLINELet \\(I\\) be an open interval and \\(0< \\varrho \\leq 1\\). The function \\(f\\colon I\\to \\mathbb R\\) is called \\(\\varrho \\)-upper continuous at \\(x\\in I\\) provided that there is a measurable set \\(E\\subset I\\) such that \\(x\\) is a point of \\(\\varrho \\)-type upper density of \\(E\\), \\(x\\in E\\) and \\(f| E\\) is continuous at \\(x\\). If \\(f\\) is \\(\\varrho \\)-upper continuous at each point of \\(I\\) we say that \\(f\\) is \\(\\varrho \\)-upper continuous. The symbol \\(\\mathcal{UC}_{\\varrho}\\) denotes the class of all \\(\\varrho \\)-upper continuous functions defined on \\(I\\).NEWLINENEWLINENEWLINELet \\(\\mathcal{F}\\) be a family of real functions defined on an open interval \\(I\\). We put NEWLINE\\[NEWLINE\\mathcal {IC(F)}=\\{f:I\\to I:(\\forall g\\in \\mathcal{F})(g\\circ f\\in \\mathcal {F})\\}.NEWLINE\\]NEWLINE The author proves that a measurable function \\(f: I\\to I\\) belongs to \\(\\mathcal {IC}(\\mathcal{UC}_1)\\) if and only if the following condition:NEWLINENEWLINENEWLINELet \\(x\\in I\\) and \\(E\\subset I\\) be a measurable set such that \\(f(x)\\in E\\) and \\(\\overline {d}(E,f(x))=1\\). Then, there exists a measurable set \\(F\\subset f^{-1}(E)\\) for which \\(\\overline {d}(F,x)=1\\) is fulfilled.NEWLINENEWLINENEWLINEMoreover, a measurable function \\(f:I\\to I\\) belongs to \\(\\mathcal {IC}(\\mathcal {UC}_\\varrho)\\), \\(\\varrho \\in (0,1)\\), if and only if the following condition:NEWLINENEWLINENEWLINELet \\(x\\in I\\) and \\(E\\subset I\\) be a measurable set such that \\(f(x)\\in E\\) and \\(\\overline {d}(E,f(x))>\\varrho \\). Then, there exists a measurable set \\(F\\subset f^{-1}(E)\\) for which \\(\\overline {d}(F,x)>\\varrho \\) is fulfilled.NEWLINENEWLINENEWLINEAlso, the author studies compositions of \\(\\varrho \\)-upper continuous functions with homeomorphisms. The author presents the following generalizations of the Luzin-Menchoff theorem and the Zahorski theorem.NEWLINENEWLINENEWLINETheorem. Let \\(E\\) be a measurable subset of \\(\\mathbb R\\) and let \\(X\\) be a closed in \\(\\mathbb R\\) subset of \\(E\\) such that \\(\\overline {d}(E,x)> 0\\) for each \\(x \\in X\\). Then, there exists a perfect set \\(P\\) such that \\(X\\subset P\\subset E\\) and \\(\\underline {d}(P,x)=\\underline {d}(E,x)\\) and \\(\\overline {d}(P,x)=\\overline {d}(E,x)\\) for each \\(x\\in X\\).NEWLINENEWLINENEWLINETheorem. Let \\(E\\) be a set of type \\(F_\\sigma\\) such that \\(\\overline {d}(E,x)> 0\\) for each \\(x \\in E\\). There exists a semi-continuous function \\(f:\\mathbb R \\to \\mathbb R\\) such that \\(0 <f(x)\\leq 1\\) for \\(x\\in E\\), \\(f(x)=0\\) for \\(x\\not \\in E\\) and \\(\\underline {d}(t\\in \\mathbb R: \\{| f(x)-f(t)| <\\varepsilon \\},x)=\\underline {d}(E,x)\\), \\(\\overline {d}(t\\in \\mathbb R: \\{| f(x)-f(t)| <\\varepsilon \\},x)=\\overline {d}(E,x)\\) for each \\(x\\in E\\) and for each \\(\\varepsilon >0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826334$4FD95F5C-AE5C-4F25-9E6E-CFA3AA2FD966","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b7a1f10db568bfe44aeb31e53f1043e93f913a","datavalue":{"value":{"entity-type":"item","numeric-id":2057285,"id":"Q2057285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4b7267bba49d9f8273e54905c1be8a1f740422","datavalue":{"value":{"amount":"+0.8648499846458435","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":"Q2826334$CFDBBBE0-EC30-455B-B99B-D1A6C566E439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d22a3c96e33356c6e7850f0f741db54e874e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3405398,"id":"Q3405398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62869b1aa56674b633b0af903e9397534979255f","datavalue":{"value":{"amount":"+0.8501092791557312","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":"Q2826334$A60551C8-6515-40DC-B846-E0740222452F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fab7cd49aee0f9eefe83d10eabbbb0890cee058","datavalue":{"value":{"entity-type":"item","numeric-id":3161716,"id":"Q3161716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd0997d12b379496d95c5480166bed5c2537997","datavalue":{"value":{"amount":"+0.8464008569717407","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":"Q2826334$D25B9F72-1ECC-484C-A7BE-32E12995F17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2db70bf1a38f8198809318ebed402dbcfbbf681","datavalue":{"value":{"entity-type":"item","numeric-id":5270938,"id":"Q5270938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf47c844feda5dd1ebc17c2cc9048ea21b2c24d","datavalue":{"value":{"amount":"+0.8257254362106323","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":"Q2826334$6133116E-1A01-4241-BDEA-C75FEFD5E475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16272cbceadb0f75562c8932f73d89a6f71e90e7","datavalue":{"value":{"entity-type":"item","numeric-id":1085289,"id":"Q1085289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc180ecff120f3bb90ab70b0e34358e6e2b3af8","datavalue":{"value":{"amount":"+0.8018325567245483","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":"Q2826334$69E5FB57-572A-460F-A666-91DD4767F878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositions of \\(\\varrho \\)-upper continuous functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositions_of_%5C(%5Cvarrho_%5C)-upper_continuous_functions"}}}}}