{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1902168","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1902168","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1902168","kernelVersion":"v1","immutable":true,"modified":"2026-01-01T12:55:03Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1902168","name":"A sandwich theorem for monotone additive functions","headline":"A sandwich theorem for monotone additive functions","description":"scientific article; zbMATH DE number 815966","url":"https://portal.mardi4nfdi.de/entity/Q1902168","datePublished":"1996-03-18","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1902167"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q172569"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/BF02573643","url":"https://doi.org/10.1007/BF02573643"},"sameAs":["https://doi.org/10.1007/BF02573643"],"comment":"A preordered abelian monoid is a quadruple \\((S, +, 0, \\prec)\\) where \\((S, +)\\) is a commutative semigroup with neutral element 0 and the relation \\(\\prec\\) is reflexive, transitive and compatible with addition. A mapping \\(\\varphi\\) from \\(S\\) into \\({\\mathbf R} \\cup \\{\\infty\\}\\) is said to be \\(\\prec\\)-monotone if \\(\\varphi(s) \\leq \\varphi(t)\\) whenever \\(s \\prec t\\) where \\(\\mathbf R\\) is the set of real numbers. The function \\(\\varphi\\) is said to be additive if it is a homomorphism of the monoid \\((S, +, 0)\\) into \\(({\\mathbf R} \\cup \\{\\infty\\}, +, 0)\\). Now let \\(X\\) and \\(Y\\) be two subsets of \\(S\\), let \\(g\\) be a function from \\(X\\) to \\(\\mathbf R\\) and let \\(h\\) be a function from \\(Y\\) to \\(\\mathbf R\\). The author investigates the problem of determining when there exists an additive \\(\\prec\\)-monotone function \\(f\\) from \\(S\\) to \\(\\mathbf R\\) such that \\(g \\leq f |X\\) and \\(f |Y \\leq h\\). In the main theorem he gives a number of conditions, some of which are necessary for the existence of such a function \\(f\\) and others which are both necessary and sufficient.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q758676"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2541075"},{"@id":"https://portal.mardi4nfdi.de/entity/Q752142"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2539707"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1844246"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3935671"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1114795"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3361071"},{"@id":"https://portal.mardi4nfdi.de/entity/Q582523"},{"@id":"https://portal.mardi4nfdi.de/entity/Q803305"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4885533"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1243812"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4170776"}]},"provenance":{"prov:generatedAtTime":"2026-01-01T12:55:03Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}