Premica
je poleg
to?ke
in
ravnine
eden osnovnih pojmov
geometrije
. Premica je v grobem re?eno (neskon?no) tanek, (neskon?no) dolg, raven geometrijski objekt. Na premici je
razdalja
med to?kama najmanj?a (v
evklidski geometriji
). Na obeh straneh omejen del premice imenujemo
daljica
, na eni strani omejen del premice pa
poltrak
.
Dve razli?ni premici se sekata v najve? eni to?ki, dve razli?ni ravnini se sekata v najve? eni premici. To spoznavno predstavo premice lahko dolo?no oblikujemo na razli?ne na?ine.
?e geometrijo razvijemo
aksiomatsko
(kot v
Evklidovih
Elementih
in kasneje v
Hilbertovem
delu
Osnove geometrije
), potem premica sploh ni dolo?ena in je ozna?ena aksiomatsko s svojimi zna?ilnostmi. ≫Vse, kar zadovoljuje aksiomom premice, je premica≪. Medtem, ko je Evklid sicer dolo?il premico kot ≫dol?ino brez ?irine≪, kasneje tak?ne predstave ni uporabljal.
V
evklidskem prostoru
(in podobno v vseh drugih
vektorskih prostorih
) dolo?imo premico
L
kot
podmno?ico
oblike:
kjer sta
a
in
b
dana
vektorja
v
, pri ?emer je
b
neni?elen. Vektor
b
opisuje smer premice,
a
pa je to?ka na premici. Z razli?no izbiro
a
in
b
lahkpo pridelamo enako premico.
Pokazati se da, da v
vsako premico
L
opi?emo z
linearno ena?bo
oblike:
z dolo?enimi
realnimi
koeficienti
a
,
b
in
c
, kjer
a
in
b
nista oba hkrati enaka ni?. Pomembna zna?ilnost teh premic je njihova
strmina
. V ravninskem
kartezi?nem koordinatnem sistemu
je premica
graf
linearne funkcije
:
kjer je
k
smerni koeficient premice
,
n
pa odsek na
ordinatni osi
.
?e bolj odmi?ljeno si predstavljamo
realno premico
kot prototip premice in privzamemo, da so to?ke na njej v enoli?ni povezavi z realnimi ?tevili. Pri tem lahko uporabimo tudi
hiperrealna ?tevila
ali celo
dolgo premico
iz
topologije
.
≫Premost≪ premice kot zna?ilnost najmanj?e razdalje med to?kami lahko posplo?imo in vodi do zamisli o
geodetkah
na odvedljivih
mnogoterostih
.