Στα μαθηματικά, ένα κυρτό κανονικό 4-πολύτοπο (ή πολυχώρο) είναι ένα 4-διάστατο (4D) πολύτοπο το οποίο είναι και κανονικό και κυρτό. Πρόκειται για τα τετραδιάστατα ανάλογα των πλατωνικών στερεών (σε τρεις διαστάσεις) και των κανονικών πολυγώνων (σε δύο διαστάσεις).
Αυτά τα πολύτοπα περιγράφηκαν για πρώτη φορά από τον Ελβετό μαθηματικό Ludwig Schläfli στα μέσα του 19ου αιώνα. Ο Schläfli ανακάλυψε ότι υπάρχουν ακριβώς έξι τέτοια σχήματα. Πέντε από αυτά μπορούν να θεωρηθούν ως ανάλογα υψηλότερης διάστασης των πλατωνικών στερεών. Υπάρχει ένα επιπλέον σχήμα (το 24-κύτταρο) το οποίο δεν έχει τρισδιάστατο ισοδύναμο.
Κάθε κυρτό κανονικό 4πολύτοπο οριοθετείται από ένα σύνολο τρισδιάστατων κελιών που είναι όλα πλατωνικά στερεά του ίδιου τύπου και μεγέθους. Αυτά συναρμολογούνται μεταξύ τους κατά μήκος των αντίστοιχων επιφανειών τους με κανονικό τρόπο.
