Prefascicul si fascicularizatul

[Dragos Fratila]

Am nevoie (nu urgent) de o confirmare/infirmare a unei chestii:

Fie \( X \) spatiu topologic si \( \cal{F} \) un prefascicul (de multimi) care are proprietatea 2 (adica se pot lipi sectiunile, dar nu rezulta neaparat o sectiune unica). Notam cu \( \overline{\cal{F}} \) fascicularizatul lui \( \cal{F} \) si cu \( \eta:\cal{F}\to\overline{\cal{F}} \) aplicatia canonica.
Atunci \( \eta_U:\cal{F}(U)\to{\overline{\cal{F}}}(U) \) este surjectiva.