homotop⁽⁺⁾·/·a

homotop⁽⁺⁾·a

          (p.p. {voj⭑·o}  rilat⭑·e al⭑ du⭑·a voj⭑·o  , en⭑ {topologi⁽⁺⁾·a spac⭑·o}
           ) Tia, ke⭑ ekzist⭑·as tia {kontinu⁴·a} {bild¹·ig·o}  de⭑
           al⭑  , ke⭑ por⭑ ĉiu  ,  kaj⭑
           : oni dir⭑·as, ke⭑  est⭑·as homotop⁽⁺⁾·a al⭑  , aŭ⭑
          ke⭑  kaj⭑  est⭑·as homotop⁽⁺⁾·aj; oni dir⭑·as, ke⭑ {ferm⭑·it·a voj⭑·o}
          est⭑·as homotop⁽⁺⁾·a al⭑ punkt⭑·o  , se⭑ ĝi est⭑·as homotop⁽⁺⁾·a al⭑ la⭑
          konstant⭑·a voj⭑·o kun⭑ bild¹·ar·o  ; homotop⁽⁺⁾·ec·o est⭑·as
          {ekvivalent⁽⁺⁾·o-rilat⭑·o} . {fundament⭑·a grup⭑·o} .

          Rim.: La⭑ difin⭑·o interpret¹·iĝ·as intuici⁽⁺⁾·e per⭑ tio, ke⭑ la⭑ voj⭑·on 
          ebl⭑·as kontinu⁴·e ali⭑~form⭑·i en⭑ la⭑ voj⭑·on  .

   [artikol⭑-versi⁹·o: 1.18 2022/03/20 17:24:55 ]
     __________________________________________________________________