The two policemen theorem är ett teorem i matematisk analys om förekomsten av en gräns för en funktion som är "sandwiched" mellan två andra funktioner som har samma gräns. Formulerad enligt följande:
Om funktionen är sådan att för alla i någon grannskap av punkten , och funktionerna och har samma gräns vid , så finns det en gräns för funktionen vid , lika med samma värde, det vill säga |
Detta namn har också en liknande sekvensgränssats , formulerad enligt följande:
Om sekvensen är sådan att för alla , och sekvenserna och har samma gräns vid , så finns det en gräns för sekvensen vid , lika med samma värde, det vill säga |
Från ojämlikheten får vi ojämlikheten . Villkoret tillåter oss att säga att för alla finns det ett grannskap där ojämlikheterna och är sanna . Av ovanstående ojämlikheter följer att för , som uppfyller definitionen av gränsen , det vill säga [1] .
Namnet på satsen kommer från det faktum att om två poliser leder en fånge till polisstationen under armarna, då tvingas han följa med dem.
I olika länder kallas denna sats olika. Sammandragningssatsen, mellanfunktionssatsen, två carabinieri -satsen, sandwichsatsen (eller sandwichregeln), tresträngsatsen, två - gendarmsatsen , tvåpolismanssatsen , etc.