Alexandrovs linje (eller lång linje ) är ett topologiskt utrymme , ett av de främsta motexemplen som används inom topologi [1] : en vanlig reell linje består av ett räknebart antal segment placerade efter varandra, och Alexandrovlinjen är byggd från en oräkneligt antal sådana segment. Byggd av Pavel Alexandrov 1924 [ 2] .
Den slutna Alexandrov-linjen definieras som den kartesiska produkten av den första oräkneliga ordinalen och halvintervallet , utrustad med ordningstopologin (det vill säga dess bas är intervallen ) inducerad av den lexikografiska ordningen på . En öppen linje erhålls genom att ta bort det minsta elementet .
Alexandrov-linjen är ekvivalent i kraft med den verkliga linjen och är ett normalt utrymme , som vilket utrymme som helst med ordningstopologin, men det har ett antal ovanliga egenskaper. I synnerhet är dess topologi icke-metriserbar , den är sekventiellt kompakt , men inte kompakt, vägansluten , lokalt ansluten och enkelt ansluten , men inte sammandragbar . Dessutom har Aleksandrov-linjen strukturen av en oskiljaktig topologisk mångfald [3] , trots att den är icke- parakompakt , och uppfyller det första räknebarhetsaxiomet , men inte det andra . På den kan man också introducera strukturen för ett differentierbart [4] och till och med analytiskt [5] grenrör.