Regularity properties of functional equations and inequalities
Identifieur interne : 003077 ( Main/Exploration ); précédent : 003076; suivant : 003078Regularity properties of functional equations and inequalities
Auteurs : Karl-Goswin Grosse-Erdmann [Allemagne]Source :
- aequationes mathematicae [ 0001-9054 ] ; 1989-06-01.
Descripteurs français
- Pascal (Inist)
English descriptors
- KwdEn :
Abstract
Summary: By a well-known theorem of Lebesgue and Fréchet every measurable additive real function is continuous. This result was improved by Ostrowski who showed that a (Jensen-) convex real function must be continuous if it is bounded above on a set of positive Lebesgue measure. Recently, R. Trautner provided a short and elegant proof of the Lebesgue—Fréchet theorem based on a representation theorem for sequences on the real line. We consider here a locally compact topological groupX with some Haar measure. Then the following generalizes Trautner's theorem: Theorem.Let M be a measurable subset of X of positive finite Haar measure. Then there is a neighbourhood W of the identity e such that for each sequence (z n )in W there is a subsequence (z nk )and points y and x k in M with z nk =x k ·y −1 for k ∈ℕ. Using this theorem we obtain the following extensions of the theorems of Lebesgue and Fréchet and of Ostrowski. Theorem.Let R and T be topological spaces. Suppose that R has a countable base and that X is metrizable. If g: X → R and H: R × X → T are mappings where g is measurable on a set M of positive finite Haar measure and H is continuous in its first variable, then any solution f: X → T of f(x · y) = H(g)(x), y) for x, y∈X is continuous. Theorem.Let G: X × X → ℝ be a mapping. If there is a subset M of X of positive finite Haar measure such that for each y∈X the mapping x ↦ G(x, y) is bounded above on M, then any solution f: x → ℞ of f(x · y) ⩽ G(x, y) for x, y∈X is locally bounded above. We also prove category analogues of the above results and obtain similar results for general binary mappings in place of the group operation in the argument off.
Url:
DOI: 10.1007/BF01836446
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 001999
- to stream Istex, to step Curation: 001882
- to stream Istex, to step Checkpoint: 001604
- to stream Main, to step Merge: 003698
- to stream PascalFrancis, to step Corpus: 001835
- to stream PascalFrancis, to step Curation: 001211
- to stream PascalFrancis, to step Checkpoint: 001591
- to stream Main, to step Merge: 003729
- to stream Main, to step Curation: 003077
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Regularity properties of functional equations and inequalities</title>
<author><name sortKey="Grosse Erdmann, Karl Goswin" sort="Grosse Erdmann, Karl Goswin" uniqKey="Grosse Erdmann K" first="Karl-Goswin" last="Grosse-Erdmann">Karl-Goswin Grosse-Erdmann</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:AF5109B4D456E24567006A47CE18213D345CB6B7</idno>
<date when="1989" year="1989">1989</date>
<idno type="doi">10.1007/BF01836446</idno>
<idno type="url">https://api.istex.fr/document/AF5109B4D456E24567006A47CE18213D345CB6B7/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001999</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001999</idno>
<idno type="wicri:Area/Istex/Curation">001882</idno>
<idno type="wicri:Area/Istex/Checkpoint">001604</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001604</idno>
<idno type="wicri:doubleKey">0001-9054:1989:Grosse Erdmann K:regularity:properties:of</idno>
<idno type="wicri:Area/Main/Merge">003698</idno>
<idno type="wicri:source">INIST</idno>
<idno type="RBID">Pascal:89-0367533</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">001835</idno>
<idno type="wicri:Area/PascalFrancis/Curation">001211</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">001591</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">001591</idno>
<idno type="wicri:doubleKey">0001-9054:1989:Grosse Erdmann K:regularity:properties:of</idno>
<idno type="wicri:Area/Main/Merge">003729</idno>
<idno type="wicri:Area/Main/Curation">003077</idno>
<idno type="wicri:Area/Main/Exploration">003077</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Regularity properties of functional equations and inequalities</title>
<author><name sortKey="Grosse Erdmann, Karl Goswin" sort="Grosse Erdmann, Karl Goswin" uniqKey="Grosse Erdmann K" first="Karl-Goswin" last="Grosse-Erdmann">Karl-Goswin Grosse-Erdmann</name>
<affiliation wicri:level="1"><country xml:lang="fr">Allemagne</country>
<wicri:regionArea>Fachbereich IV—Mathematik, Universität Trier, Postfach 3825, D-5500, Trier</wicri:regionArea>
<wicri:noRegion>Trier</wicri:noRegion>
<wicri:noRegion>Trier</wicri:noRegion>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="j">aequationes mathematicae</title>
<title level="j" type="abbrev">Aeq. Math.</title>
<idno type="ISSN">0001-9054</idno>
<idno type="eISSN">1420-8903</idno>
<imprint><publisher>Birkhäuser-Verlag</publisher>
<pubPlace>Basel</pubPlace>
<date type="published" when="1989-06-01">1989-06-01</date>
<biblScope unit="volume">37</biblScope>
<biblScope unit="issue">2-3</biblScope>
<biblScope unit="page" from="233">233</biblScope>
<biblScope unit="page" to="251">251</biblScope>
</imprint>
<idno type="ISSN">0001-9054</idno>
</series>
<idno type="istex">AF5109B4D456E24567006A47CE18213D345CB6B7</idno>
<idno type="DOI">10.1007/BF01836446</idno>
<idno type="ArticleID">BF01836446</idno>
<idno type="ArticleID">Art8</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0001-9054</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Functional equation</term>
<term>Inequality</term>
<term>Regularity</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Equation fonctionnelle</term>
<term>Inégalité</term>
<term>Régularité</term>
</keywords>
</textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Summary: By a well-known theorem of Lebesgue and Fréchet every measurable additive real function is continuous. This result was improved by Ostrowski who showed that a (Jensen-) convex real function must be continuous if it is bounded above on a set of positive Lebesgue measure. Recently, R. Trautner provided a short and elegant proof of the Lebesgue—Fréchet theorem based on a representation theorem for sequences on the real line. We consider here a locally compact topological groupX with some Haar measure. Then the following generalizes Trautner's theorem: Theorem.Let M be a measurable subset of X of positive finite Haar measure. Then there is a neighbourhood W of the identity e such that for each sequence (z n )in W there is a subsequence (z nk )and points y and x k in M with z nk =x k ·y −1 for k ∈ℕ. Using this theorem we obtain the following extensions of the theorems of Lebesgue and Fréchet and of Ostrowski. Theorem.Let R and T be topological spaces. Suppose that R has a countable base and that X is metrizable. If g: X → R and H: R × X → T are mappings where g is measurable on a set M of positive finite Haar measure and H is continuous in its first variable, then any solution f: X → T of f(x · y) = H(g)(x), y) for x, y∈X is continuous. Theorem.Let G: X × X → ℝ be a mapping. If there is a subset M of X of positive finite Haar measure such that for each y∈X the mapping x ↦ G(x, y) is bounded above on M, then any solution f: x → ℞ of f(x · y) ⩽ G(x, y) for x, y∈X is locally bounded above. We also prove category analogues of the above results and obtain similar results for general binary mappings in place of the group operation in the argument off.</div>
</front>
</TEI>
<affiliations><list><country><li>Allemagne</li>
</country>
</list>
<tree><country name="Allemagne"><noRegion><name sortKey="Grosse Erdmann, Karl Goswin" sort="Grosse Erdmann, Karl Goswin" uniqKey="Grosse Erdmann K" first="Karl-Goswin" last="Grosse-Erdmann">Karl-Goswin Grosse-Erdmann</name>
</noRegion>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003077 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 003077 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Rhénanie |area= UnivTrevesV1 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:AF5109B4D456E24567006A47CE18213D345CB6B7 |texte= Regularity properties of functional equations and inequalities }}
![]() | This area was generated with Dilib version V0.6.31. | ![]() |