Olarak fizik , bir boyutsal indirgeme bir formüle bir teori verilen bir işlemdir zaman alan bir boyut , bir alt uzay formüle başka teori inşa boyut . Aşağıda, yaygın olarak kullanılan birkaç azaltma prosedürünü kısaca açıklayacağız.
Bu yaklaşımda, en basit olanı, boyut olarak teorinin alanlarını yalnızca alt uzayın koordinatlarına bağlı olacak şekilde sınırlar . Örneğin düşündüğümüz eğer için , yani Minkowski'yle alanını ve biz konuşmak bir daire üzerinde azalma ve daire denir kompaktifikasyonunun alanı . Bu durumda alanlar, çember üzerindeki açısal koordinata bağlı olmamaya zorlanır. Bu, Theodor Kaluza ve Oskar Klein tarafından 5 boyutlu genel görelilik bağlamında elektromanyetizma teorisini ve onun 4 boyutlu ayar değişmezliğini orijinal 5 boyutlu teorinin yeniden değerleme değişmezliğinden yeniden üretmeye çalışmak için düşündüğü çerçevedir . Kullanımla, bu boyutsal indirgemenin diğer alanlara genelleştirilmesine daha sonra genellikle Kaluza-Klein indirgeme adı verilir . Kompakt bir boyut çeşitliliği ile yazabilirsek , o zaman kompaktlaştırma uzayı demeye devam ederiz ve üzerinde bir küçültme yaptığımızı söyleriz .
Orijinal teori, bir eylemden kaynaklanan hareket denklemlerine sahipse , alanlara yalnızca koordinatlarına bağlı olan kısıtlamanın, hareket denklemleriyle uyumlu olmasını, yani kısıtlı alanların hala hareket denklemleri. Daha sonra bu tutarlı kesinti durumunda konuşuruz . Toroidlerdeki azalmalar veya toroidal azalmalar her zaman tutarlıdır. Daha karmaşık yoğunlaştırma türleri için (örneğin küreler gibi) cevap açık değildir ve durum bazında bir analiz gerektirir.
Alanlar koordinatlarından bağımsız değildir, ancak bağımlılıkları basittir ve orijinal teorinin simetrilerine bağlıdır.