Định lý bất biến miền (Invariance of domain) còn có tên gọi là Định lý Brouwer về tính bất biến của miền (domain), được chứng minh bởi nhà toán học Luitzen Egbertus Jan Brouwer (1881-1966) vào năm 1912. Định lý này được phát biểu cho không gian R n {\displaystyle \mathbb {R} ^{n}} với tôpô Euclid (hiện nay đã có phát biểu cho các không gian khác). Từ "miền" (domain) (với nghĩa hiện nay không phổ biến) chỉ tập mở.