学上，下限拓扑是定义在实数集 formula_1 上的拓扑。其不同于 formula_1 上的标准拓扑（由开区间生成），且具有若干有趣的性质。其为全体半开区间 <nowiki>[</nowiki>"a","b"<nowiki>)</nowiki> 组成的基生成的拓扑，其中 "a" 和 "b" 取遍任意实数。这样得到的拓扑空间称为 Sorgenfrey 直线（得名自 ）或箭头，有时记为 formula_3. 与康托集和长直线类似，Sorgenfrey 直线也经常作为点集拓扑学中不少似是而非的命题的反例。