Kimppu on kolmio , jossa on topologinen avaruus , jota kutsutaan nipun avaruudeksi (sekä kokonais- tai kuituavaruudeksi ), on toinen avaruus, jota kutsutaan nipun pohjaksi , on jatkuva surjektiivinen kartoitus ( nipun projektio ) avaruudesta avaruuteen . Usein nippua kutsutaan kartoitukseksi tai tilaksi itsekseen .
Jokaiselle elementille tämän elementin yläpuolella oleva kerros määritellään elementin kaikkien esikuvien osajoukoksi , eli . Vastaavasti nippu on pohjan parametroimien ja avaruustopologian liimattujen kerrosten liitto .
Sellaista kartoitusta , joka on identtinen , kutsutaan nipun osaksi ,
Tyypillisesti tutkitaan tietyntyyppisiä nippuja, kuten sileitä nippuja tai paikallisesti triviaaleja nippuja .
Kimppua kutsutaan triviaaliksi (näyttää suoralta tuotteelta), jos sen tila on homeomorfinen suoralle tuotteelle ja projektio on annettu kanonisella tavalla:
Vastaavasti nippua, joka paikallisesti (joissakin elementtien ympäristöissä) näyttää suoralta tuotteelta, kutsutaan paikallisesti triviaaliksi nipuksi .
Paikallisesti triviaalin nipun sanotaan olevan sileä , jos siirtymäfunktiot ovat tasaisia .
Vektorikimppu on vektoriavaruuksien perheen kartoitus toiseen avaruuteen (topologiseen avaruuteen, monimuotoiseen ja niin edelleen) siten, että jokainen avaruuden piste liittyy vektoriavaruuteen, jonka liitto muodostaa samantyyppisen avaruuden. kuin . Näin muodostettua vektoriavaruuksien perhettä kutsutaan vektorinipun avaruudeksi .
(Sileän) jakotukin tangenttikimppu on sileä vektorikimppu, jossa tangenttiavaruuksien liitto toimii vektoriavaruuksien perheenä (vektorinipun avaruus) ja itse jakoputkisto toimii nipun pohjana.
Joitakin muita erikoiskuitutyyppejä: Gurevich -kuitu , Seifert -kuitu , Serre -kuitu , Hopf -kuitu .