title: Semiretta
text: # Semiretta
  
  In geometria, la semiretta è l'insieme formato da un punto su una retta data e una delle due parti in cui tale retta viene divisa dal punto.
  
  Una definizione formale è la seguente: dati due punti O e P esiste una retta r che li contiene, la semiretta definita da O e P è l'insieme dei punti della retta r compresi tra O e P (inclusi gli stessi punti O e P) e dei punti di r tali che P è compreso tra O e il punto considerato. Il punto O è detto punto d'origine della semiretta. Ogni semiretta è univocamente determinata dall'origine e da un qualunque suo altro punto. Preso un punto Q della retta r tale che O è compreso tra P e Q, si ha che O e Q definiscono un'altra semiretta detta semiretta opposta a r.
  
  Nel caso di un punto su una retta orientata è possibile dare la seguente definizione di semiretta: fissato un punto O su una retta orientata, si chiama semiretta il sottoinsieme della retta formato dal punto O e da tutti quelli che lo seguono (oppure che lo precedono, per ottenere la semiretta opposta).
  
  ## Spazi vettoriali
  
  Esiste una definizione più generale di semiretta valida in spazi vettoriali:
  
  Sia $V$ uno spazio vettoriale su un campo ordinato. Preso vettore non nullo $v\in V$, una semiretta uscente dall'origine s è l'insieme dei multipli positivi di $v$ più l'origine.
  
  Una semiretta è invece un qualunque insieme che sia il traslato (secondo un qualunque vettore $u\in V$) di una semiretta uscente dall'origine.
  
  