Janaa kutsutaan kahdeksi läheiseksi käsitteeksi: geometriassa ja matemaattisessa analyysissä .
Euklidisessa avaruudessa jana on osa viivasta , jota rajoittaa kaksi pistettä . Tarkemmin sanottuna: tämä on joukko , joka koostuu tietyn suoran kahdesta eri pisteestä (joita kutsutaan janan päiksi ) ja kaikista niiden välissä olevista pisteistä (joita kutsutaan sen sisäpisteiksi ). Jana, jonka päät ovat pisteet ja joka on merkitty symbolilla . Janan päiden välistä etäisyyttä kutsutaan sen pituudeksi ja merkitään tai .
Yleensä suoran janan kohdalla ei ole väliä missä järjestyksessä sen päät otetaan huomioon: eli segmentit ja edustavat samaa segmenttiä. Jos segmentti määrittää suunnan, toisin sanoen järjestyksen, jossa sen päät on lueteltu, niin tällaista segmenttiä kutsutaan suunnatuksi tai vektoriksi . Esimerkiksi suunnatut segmentit ja eivät täsmää. Suunnatuille segmenteille ei ole erillistä nimeä - se, että segmentti on tärkeä sen suunnan kannalta, ilmoitetaan yleensä erikseen.
Tämä johtaa vapaan vektorin käsitteeseen - kaikkien mahdollisten vektoreiden luokkaan, jotka eroavat toisistaan vain rinnakkaiskäännöksen perusteella, ja jotka otetaan yhtäläisiksi.
Numeerisen (koordinaattien) suoran segmentti (muuten numeerinen segmentti , segmentti ) on joukko reaalilukuja , jotka täyttävät epäyhtälön, jossa ennalta määrättyjä reaalilukujakutsutaan janan päiksi (rajapisteiksi ) . Päinvastoin kuin niitä, jäljellä olevia lukuja, jotka täyttävät epätasa-arvon, kutsutaanjanan sisäpisteiksi [1] .
Segmentti on yleensä merkitty seuraavasti:
.Mikä tahansa segmentti, määritelmän mukaan, sisältyy varmasti reaalilukujen joukkoon. Segmentti on suljettu väli .
Lukua kutsutaan numeerisen segmentin pituudeksi .
Segmenttijärjestelmä on lukuviivan segmenttijoukon alkioiden loputon sarja .
Segmenttijärjestelmä on merkitty . Ymmärretään, että jokaiselle luonnolliselle luvulle on määritetty segmentti .
Segmenttien järjestelmää kutsutaan supistumiseksi , jos [2]
Jokaisella segmenttien sopimusjärjestelmällä on yksi piste, joka kuuluu tämän järjestelmän kaikkiin segmentteihin.
missä on universaali kvantori .Tämä tosiasia seuraa monotonirajoitetun sekvenssin ominaisuuksista [3] .