Itu (matematiikka)

Wikipedia
Loikkaa: valikkoon, hakuun

Itu on matematiikassa eräs topologinen rakenne. Olkoon \mathcal F X:n esilyhde, ja x\in X. Tällöin \mathcal{F}:n olki kohdassa x on ryhmä

\mathcal{F}_x=\lim_{\to\atop {U\ni x}}\mathcal{F}(U),

missä suora raja-arvo otetaan x:n avointen ympäristöjen U suhteen. Olkoon s\in\mathcal{F}(U) sektio. Jos x\in U, niin merkitään s:n kuvaa \mathcal{F}_x:ssä symbolilla s_x. Sanotaan, että s_x on s:n itu pisteessä x.