Prosta Sorgenfreya, prosta z topologią Sorgenfreya, prosta z topologią strzałki, strzałka Niemyckiego – zbiór liczb rzeczywistych z topologią wprowadzoną przez bazę:
Zbiór liczb rzeczywistych z topologią Sorgenfreya oznaczany bywa czasem symbolem
Nazwa pojęcia pochodzi od nazwiska matematyka amerykańskiego, Roberta Sorgenfreya. Przestrzeń ta, podobnie jak płaszczyzna Niemyckiego czy zbiór Cantora, jest często wykorzystywanym kontrprzykładem w topologii ogólnej.
Własności Topologia strzałki jest silniejsza (większa) od naturalnej topologii (euklidesowej) na prostej ponieważ każdy przedział otwarty można przedstawić jako sumę (nieskończenie wielu) przedziałów jednostronnie otwartych. Dla dowolnych liczb rzeczywistych przedział jest zbiorem otwarto-domkniętym w topologii Sorgenfreya. Ponadto, dla dowolnego przedziały
są również otwarto-domknięte. Oznacza to, że prosta Sorgenfreya jest całkowicie niespójna. Topologia strzałki spełnia pierwszy aksjomat przeliczalności i jest ośrodkowa (na przykład, zbiór liczb wymiernych jest gęsty w w topologii Sorgenfreya), ale nie spełnia ona drugiego aksjomatu przeliczalności.