Červená dolina (poľ. Dolina Jagnięca, maď. Vőrostó vőlgye, nem. Rotseetal) je dolina, ktorú tvorí severozápadný úval Doliny Zeleného plesa, ku ktorému sa zvažuje nie príliš strmou, kosodrevinou porastenou a 200 m vysokou jazernou stenou. Leží medzi Karbunkulovým hrebeňom, úsekom hlavného hrebeňa Vysokých Tatier od Belasej veže po Jahňací štít a jeho juhovýchodným vedľajším Kozím hrebeňom. Od jazernej steny pri Červenom plese po úpätie hrebeňa pod Kolovým sedlom meria približne 800 m. Vo Vysokých Tatrách je ešte jedna Červená dolina, ktorá je súčasťou Bielovodskej doliny.