(a , + c) =

(x elR x a) : escluso

a
,
b =
{" " x a) inclUSP

-
,
b =

)" "x b) -

-co
,
b =

(" "xxb)
(-10 c) ,
+
= IP

a
,
bel a
,
bc0 -> ImeIN

t .
c .
nasb

Densità di Q in IR

& e denso in IR

Fa belR ,
I geQ acqb
acb

CLASSI CONTINUE SEPARATE

Def A
,
BEIR A B = 0 AeB
,

costituiscono classi separate se

-a A YbeB = a b(AB)

Def Celemento separatore

A B
,
classi separate XGIR

si dice elemento separatore se

auxb
-

aef-beB

poiché IR è completo

IC =

SUDA
a = B
7B = inf B

Xxe B e l'elemento separatore

,

A =

(aeQ , q22)B (aea q22) =