Ett segment kallas två nära begrepp: i geometri och matematisk analys .
I det euklidiska rummet är ett linjesegment en del av en linje som begränsas av två punkter . Mer exakt: detta är en uppsättning som består av två olika punkter på en given linje (som kallas ändarna på segmentet ) och alla punkter som ligger mellan dem (som kallas dess inre punkter). Ett segment vars ändar är punkterna och betecknas med symbolen . Avståndet mellan ändarna på ett segment kallas dess längd och betecknas eller .
Vanligtvis, för ett rakt linjesegment, spelar det ingen roll i vilken ordning dess ändar betraktas: det vill säga segmenten och representerar samma segment. Om segmentet bestämmer riktningen, det vill säga i vilken ordning dess ändar listas, kallas ett sådant segment riktat , eller vektor . Till exempel, riktade segment och inte sammanfaller. Det finns ingen separat beteckning för riktade segment - det faktum att ett segment är viktigt för dess riktning anges vanligtvis specifikt.
Detta leder till begreppet en fri vektor - klassen av alla möjliga vektorer som skiljer sig från varandra endast genom en parallell translation , som tas lika.
Ett segment av en numerisk (koordinat) linje (annars , ett numeriskt segment , segment ) är en uppsättning reella tal som uppfyller olikheten, där förutbestämda reella talkallasändarna( gränspunkter ) av segmentet. I motsats till dem kallasde återstående siffrornasom uppfyller ojämlikheten inre punkter i segmentet [1] .
Segmentet betecknas vanligtvis :
.Varje segment, per definition, ingår verkligen i uppsättningen av reella tal. Segmentet är ett slutet intervall .
Numret kallas längden på det numeriska segmentet .
Systemet av segment är en oändlig sekvens av element i uppsättningen av segment på tallinjen.
Segmentsystemet betecknas med . Det är underförstått att varje naturligt tal tilldelas ett segment .
Ett system av segment kallas kontraktering om [2]
Varje kontrakterande system av segment har en enda punkt som tillhör alla segment av detta system.
var är den universella kvantifieraren .Detta faktum följer av egenskaperna hos en monoton bunden sekvens [3] .