Et segment kaldes to tætte begreber: i geometri og matematisk analyse .
I det euklidiske rum er et linjestykke en del af en linje afgrænset af to punkter . Mere præcist: dette er et sæt bestående af to forskellige punkter på en given linje (som kaldes enderne af segmentet ) og alle punkter, der ligger mellem dem (som kaldes dets indre punkter). Et segment, hvis ender er punkterne og er angivet med symbolet . Afstanden mellem enderne af et segment kaldes dets længde og betegnes eller .
For et lige linjesegment er det normalt ligegyldigt, i hvilken rækkefølge dets ender betragtes: det vil sige segmenterne og repræsenterer det samme segment. Hvis segmentet bestemmer retningen, det vil sige rækkefølgen, hvori dets ender er opført, så kaldes et sådant segment rettet , eller vektor . For eksempel, rettet segmenter og ikke sammenfaldende. Der er ingen særskilt betegnelse for rettede segmenter - det faktum, at et segment er vigtigt for dets retning, angives normalt specifikt.
Dette fører til begrebet en fri vektor - klassen af alle mulige vektorer, der kun adskiller sig fra hinanden ved en parallel translation , som tages ens.
Et segment af en numerisk (koordinat) linje (ellers et numerisk segment , segment ) er et sæt reelle tal , der opfylder uligheden, hvor forudbestemte reelle talkaldes enderne ( grænsepunkter )af segmentet. I modsætning til dem kaldesde resterende tal, der opfylder uligheden , indvendige punkter i segmentet [1] .
Segmentet betegnes normalt :
.Ethvert segment er per definition bestemt inkluderet i sættet af reelle tal. Segmentet er et lukket interval .
Tallet kaldes længden af det numeriske segment .
Systemet af segmenter er en uendelig række af elementer i sættet af segmenter på tallinjen.
Segmentsystemet er betegnet med . Det er underforstået, at hvert naturligt tal er tildelt et segment .
Et system af segmenter kaldes kontrahering, hvis [2]
Ethvert kontraktsystem af segmenter har et enkelt punkt, der hører til alle segmenter af dette system.
hvor er den universelle kvantifier .Dette faktum følger af egenskaberne for en monoton afgrænset sekvens [3] .