title: Topologia della semicontinuità inferiore
text: # Topologia della semicontinuità inferiore
  
  La topologia su $\mathbb {R}$ della semicontinuità inferiore è data da:
  
  $\mathrm {T} =\{\emptyset ,\mathbb {R} \}\cup \{{\mathcal {O}}_{y}:y\in \mathbb {R} \},$
  
  dove gli ${\mathcal {O}}_{y}$ sono così definiti:
  
  ${\mathcal {O}}_{y}=\{x\in \mathbb {R} :x>y\},$
  
  cioè dalle semirette (positive) che hanno origine in un punto $y$ arbitrario.
  
  Si noti come una topologia definita in questo modo non permetta di trovare, fissati due punti distinti, due aperti disgiunti che li contengano, non si tratta cioè di uno spazio Hausdorff. In realtà è comunque presente una separazione, seppur debole, che definisce uno spazio topologico di Kolmogorov.
  
  