Egy szakaszt két közeli fogalomnak nevezünk: a geometriában és a matematikai elemzésben .
Az euklideszi térben a szakasz egy két pont által határolt egyenes része . Pontosabban: ez egy halmaz , amely egy adott egyenes két különböző pontjából (amelyeket a szakasz végeinek nevezünk) és a közöttük lévő összes pontból (amelyeket belső pontjainak nevezünk). Olyan szakasz, amelynek végei a pontok , és a szimbólummal jelöljük . A szakasz végei közötti távolságot hosszának nevezzük, és vagy jelöli .
Általában egy egyenes szakasz esetében nem mindegy, hogy milyen sorrendben veszik figyelembe a végeit: vagyis a és a szakaszok ugyanazt a szakaszt képviselik. Ha a szegmens meghatározza az irányt, vagyis azt a sorrendet, amelyben végei vannak felsorolva, akkor az ilyen szakaszt irányítottnak vagy vektornak nevezzük . Például az irányított szegmensek és nem esnek egybe. Az irányított szegmensekre nincs külön megjelölés – általában külön jelzik, hogy egy szegmens fontos az iránya szempontjából.
Ez elvezet a szabad vektor fogalmához - az összes lehetséges vektor osztályához, amelyek csak párhuzamos fordításban különböznek egymástól , és amelyeket egyenlőnek tekintünk.
Egy numerikus (koordináta) egyenes szakasza (egyébként numerikus szakasz , szakasz ) valós számok halmaza , amelyek kielégítik az egyenlőtlenséget, ahol előre meghatározott valós számokatnevezünka szakasz végeinek ( határpontjainak ). Velük ellentétbenaz egyenlőtlenséget kielégítőszakasz belső pontjainak nevezzük [1] .
A szegmens jelölése általában :
.A definíció szerint bármely szegmens minden bizonnyal benne van a valós számok halmazában. A szegmens zárt intervallum .
A számot a numerikus szakasz hosszának nevezzük .
A szegmensrendszer a szegmenshalmaz elemeinek végtelen sorozata a számegyenesen.
A szegmensrendszert jelöli . Nyilvánvaló, hogy minden természetes számhoz hozzá van rendelve egy szegmens .
Egy szegmensrendszert összehúzónak nevezünk, ha [2]
Bármely szegmens szerződéskötési rendszernek egyetlen pontja van, amely a rendszer összes szegmenséhez tartozik.
hol van az univerzális kvantor .Ez a tény egy monoton korlátos sorozat tulajdonságaiból következik [3] .