Az első dekompozíciós tétel a műveleti számítás egyik tétele . Lehetővé teszi egy analitikus függvény eredetijének megtalálását egy végtelenül távoli pont közelében.
Ha a függvény a végtelenben lévő pont valamely szomszédságában egy konvergens Laurent-sorozattá bővül , amelynek alakja , akkor ez az eredeti képe [1]
azok. az eredetit a Laurent-sorozat eredeti példányaira való terminusonkénti átmenettel kapjuk [2] .