Kahden poliisin teoreema on lause matemaattisessa analyysissä rajan olemassaolosta funktiolle , joka on " kiinnitetty " kahden muun funktion väliin, joilla on sama raja. Muotoiltu seuraavasti:
Jos funktio on sellainen, että kaikille jossain pisteen naapurustossa ja funktioilla ja niillä on sama raja klo , niin funktion raja on sama kuin sama arvo, joka on |
Tällä nimellä on myös samanlainen sekvenssirajalause , joka on muotoiltu seuraavasti:
Jos sekvenssi on sellainen, että kaikille , ja sarjoille ja niillä on sama raja klo , niin sekvenssin raja on sama kuin sama arvo, eli |
Epätasa-arvosta saamme eriarvoisuuden . Ehto antaa meille mahdollisuuden sanoa, että jokaiselle on olemassa naapuruus , jossa epätasa-arvo ja on totta . Yllä olevista epäyhtälöistä seuraa, että for , joka täyttää rajan määritelmän , eli [1] .
Lauseen nimi tulee siitä, että jos kaksi poliisia johdattaa vangin käsivarren alle poliisiasemalle, hänen on lähdettävä heidän mukanaan.
Eri maissa tätä lausetta kutsutaan eri tavalla. Supistumislause, välifunktiolause, kahden karabinierin lause, sandwich -lause (tai sandwich-sääntö), kolmen merkkijonon lause, kahden santarmin lause, kahden poliisin lause jne.