Matematikte simetri

Simetri yalnızca geometride değil, matematiğin diğer dallarında da ortaya çıkar. Simetri bir tür değişmezliktir: matematiksel bir nesnenin bir dizi işlem veya dönüşüm altında değişmeden kaldığı özelliktir.

Herhangi bir türden yapılandırılmış bir nesne (X) verildiğinde, simetri, yapıyı koruyan nesnenin kendi üzerine bir eşleştirilmesidir. Bu pek çok şekilde gerçekleşebilir; örneğin, X ek yapısı olmayan bir küme ise, bir simetri, kümeden kendisine doğru olan ve permütasyon gruplarına yol açan bir birebir haritasıdır. X nesnesi, kendi metrik yapısı veya başka herhangi bir metrik uzayıyla düzlemde bir noktalar kümesiyse, bir simetri, her nokta çifti arasındaki mesafeyi (yani bir izometri) koruyan kümenin kendisine ait bir birleşimidir.

Temel geometride dikkate alınan simetri türleri, Simetri (geometri) ana makalesinde daha ayrıntılı olarak açıklanan yansıma simetrisi, dönme simetrisi, öteleme simetrisi ve kayma yansıma simetrisini içerir.

Geometrik olarak konuşursak, eşit bir fonksiyonun grafik yüzü y eksenine göre simetriktir, bu da grafiğinin y ekseni hakkında yansıdıktan sonra değişmeden kaldığı anlamına gelir. Çift işlevlerin örnekleri arasında , x2, x4, cos (x) ve cosh (x) gösterilebilir.

Geometrik olarak, tek bir fonksiyonun grafiği, orijine göre dönme simetrisine sahiptir, bu da grafiğinin orijine göre 180 derece döndükten sonra değişmeden kaldığı anlamına gelir. Tek fonksiyonlara örnek olarak x, x3, sin (x), sinh (x) ve erf (x) verilebilir.

− A'dan + A'ya tek bir fonksiyonun integrali, A'nın sonlu olması ve fonksiyonun integrallenebilir olması koşuluyla (örneğin, − A ile A arasında dikey asimptot olmaması) sıfırdır.

− A'dan + A'ya kadar bir çift fonksiyonun integrali, A'nın sonlu olması ve fonksiyonun integrallenebilir olması koşuluyla (örneğin, − A ile A arasında dikey asimptot olmaması), 0'dan + A'ya integralin iki katıdır. Bu, A sonsuz olduğunda da geçerlidir, ancak yalnızca integral yakınsarsa.

Doğrusal cebirde, simetrik bir matris, transpozisyonuna eşit olan bir kare matristir (yani, matris transpozisyonu altında değişmezdir). Resmi olarak, matris A simetriktir.

Tüm karşılık gelen konumlardaki girişlerin eşit olmasını gerektiren matris eşitliği tanımına göre, eşit matrisler aynı boyutlara sahip olmalıdır (farklı boyutlarda veya şekillerde matrisler eşit olamaz). Sonuç olarak, yalnızca kare matrisler simetrik olabilir.

Simetrik bir matrisin girdileri, ana köşegene göre simetriktir. Dolayısıyla, girişler A = (aij) olarak yazılırsa, tüm i ve j indisleri için aij = aji olur.

Tüm köşegen dışı girişler sıfır olduğu için her kare köşegen matris simetriktir. Benzer şekilde, çarpık simetrik bir matrisin her köşegen öğesi sıfır olmalıdır, çünkü her biri kendi negatifidir.

Doğrusal cebirde, gerçek bir simetrik matris, gerçek bir iç çarpım uzayı üzerinde kendine eşlenik bir operatörü temsil eder. Karmaşık bir iç çarpım uzayı için karşılık gelen nesne, eşlenik devrikine eşit olan karmaşık değerli girdileri olan Hermitian bir matristir . Bu nedenle, karmaşık sayılar üzerindeki doğrusal cebirde, genellikle simetrik bir matrisin gerçek değerli girdilere sahip olanı ifade ettiği varsayılır. Simetrik matrisler, çeşitli uygulamalarda doğal olarak görünür ve tipik sayısal doğrusal cebir yazılımı, bunlar için özel düzenlemeler yapar.

Simetrik grup Sn (sonlu bir n sembol kümesinde), elemanları n sembollerinin tüm permütasyonları olan ve grup çalışması, sembol kümesinden kendisine bijektif fonksiyonlar olarak kabul edilen bu tür permütasyonların bileşimi olan gruptur. Bir dizi n sembolünün n! (n faktöriyel) olası permütasyonları olduğundan, simetrik grup Sn'nin dizisini (yani, elemanların sayısı) n! izler.

Simetrik bir polinom, n değişkenli bir polinom P'dir (X1, X2,…, Xn), öyle ki eğer değişkenlerden herhangi biri değiştirilirse, biri aynı polinomu elde eder. Resmi olarak, eğer 1, 2, ..., n alt simgelerinin herhangi bir permütasyonu σ için, birinde P (Xσ(1), Xσ(2),…, Xσ(n)) = P(X 1, X2,…, Xn) varsa, P simetrik bir polinomdur. .

Simetrik polinomlar, bir değişkendeki bir polinomun kökleri ile katsayıları arasındaki ilişkinin incelenmesinde doğal olarak ortaya çıkar, çünkü katsayılar köklerdeki polinom ifadeleri ile verilebilir ve tüm kökler bu ortamda benzer bir rol oynar. Bu açıdan bakıldığında, temel simetrik polinomlar en temel simetrik polinomlardır. Bir teorem, herhangi bir simetrik polinomun, temel simetrik polinomlar cinsinden ifade edilebileceğini belirtir; bu, bir monik polinomun köklerindeki her simetrik polinom ifadesinin, alternatif olarak, polinom katsayılarında bir polinom ifadesi olarak verilebileceğini ima eder.

Sonlu boyutlu bir vektör uzayında r sınıfı simetrik tensörlerin uzayı, V üzerindeki r derece homojen polinomların uzayının çiftine doğal olarak izomorfiktir . Karakteristik sıfır alanlarının üzerinde, tüm simetrik tensörlerin derecelendirilmiş vektör uzayı, V üzerindeki simetrik cebir ile doğal olarak tanımlanabilir. Bununla ilgili bir kavram, antisimetrik tensör veya alternatif formdur . Simetrik tensörler, mühendislik, fizik ve matematikte yaygın olarak görülür.

Bir polinom verildiğinde, bazı köklerin çeşitli cebirsel denklemlerle birbirine bağlı olması olabilir. Örneğin, A ve B gibi iki kök için . Galois teorisinin ana fikri, kökler tarafından sağlanan herhangi bir cebirsel denklemin, kökler değiştirildikten sonra hala karşılanması özelliğine sahip köklerin bu permütasyonlarını (veya yeniden düzenlemelerini) dikkate almaktır. Önemli bir koşul, kendimizi katsayıları rasyonel sayılar olan cebirsel denklemlerle sınırlandırmamızdır. Bu nedenle, Galois teorisi cebirsel denklemlerin doğasında bulunan simetrileri inceler.

Soyut cebirde, bir otomorfizm, matematiksel bir nesneden kendisine bir izomorfizmdir . Bir anlamda, nesnenin bir simetrisi ve tüm yapısını korurken nesneyi kendisine eşlemenin bir yoludur. Bir nesnenin tüm otomorfizmlerinin kümesi, otomorfizm grubu adı verilen bir grup oluşturur. Kabaca, nesnenin simetri grubudur .

Küme teorisinde, bir X kümesinin elemanlarının rastgele bir permütasyonu bir otomorfizmdir. X'in otomorfizm grubu da X üzerinde simetrik grup olarak adlandırılır.

Temel aritmetikte, eklenmiş bir grup olarak kabul edilen tam sayılar kümesi, Z, benzersiz bir önemsiz olmayan otomorfizme sahiptir: olumsuzlama. Bir halka olarak kabul edildiğinde, sadece önemsiz bir otomorfizmaya sahiptir. Genel olarak, olumsuzlama herhangi bir değişmeli grubun bir otomorfizmidir, ancak bir halka veya alan değildir.

Bir grup otomorfizmi, bir gruptan kendisine bir grup izomorfizmidir . Gayri resmi olarak, yapı değişmeden kalacak şekilde grup elemanlarının bir permütasyonudur. Her G grubu için, görüntüsü içsel otomorfizmaların Inn (G) grubu ve çekirdeği G'nin merkezi olan doğal bir grup homomorfizmi G → Aut (G) vardır. Böylece, G trival bir merkeze sahipse, kendi otomorfizm grubuna gömülebilir.

Doğrusal cebirde, bir vektör uzayı V'nin endomorfizmi, doğrusal bir operatör V → V'dir . Bir otomorfizm, V üzerinde ters çevrilebilir bir doğrusal operatördür. Vektör uzayı sonlu boyutlu olduğunda, V'nin otomorfizm grubu genel doğrusal grup GL (V) ile aynıdır.

Bir alan otomorfizmi, bir cisimden kendisine bijektif halka homomorfizmidir . Rasyonel sayılar (Q) ve gerçek sayılar (R) durumunda, önemsiz alan otomorfizmaları yoktur. R'nin bazı alt alanları, tüm R'ye kadar uzanmayan, önemsiz olmayan alan otomorfizmlerine sahiptir (çünkü R'de karekök olan bir sayının özelliğini koruyamazlar). Karmaşık sayılarda, C, R'yi R'ye gönderen benzersiz bir nontrivial otomorfizm vardır: karmaşık konjugasyon, fakat sonsuz (sayılamayan) birçok "vahşi" otomorfizm vardır (seçim aksiyomunu varsayarak). Alan otomorfizmleri, alan uzantıları teorisi, özellikle Galois uzantıları için önemlidir. Bir Galois uzantısı L / K durumunda, K noktasal L sabitlemesinin tüm otomorfizmlerinin alt grubuna uzantının Galois grubu denir.

ve değişim altındaki antisimetri, . Bu Pauli dışlaması olan anlamına gelir. Herhangi bir temelde doğrudur, çünkü birimsel temel değişiklikleri antisimetrik matrisleri antisimetrik tutar, ancak kesin olarak konuşursak, miktarı bir matris değil, bir antisimetrik sıra-iki tensördür .

İzometri, metrik uzaylar arasında mesafeyi koruyan bir haritadır. Bir metrik boşluk veya kümenin elemanları arasındaki mesafeleri atamak için bir set ve şema göz önüne alındığında, bir izometri, öğeleri başka bir metrik alana eşleyen bir dönüşümdür, böylece yeni metrik alandaki öğeler arasındaki mesafe, orijinal metrik alandaki öğeler arasındaki mesafeye eşittir. İki boyutlu veya üç boyutlu bir alanda, iki geometrik şekil, bir izometri ile ilişkiliyse uyumludur: rijit cisim veya rijit cismin bileşke fonksiyonu ve bir yansıma ile ilişkilidir. Katı bir hareketle bir ilişkiye kadar, doğrudan bir izometri ile ilişkili ise eşittir.

Diferansiyel denklem sisteminin bir çizgi simetrisi, diferansiyel denklem sisteminin sürekli bir simetrisidir. Bir çizgi simetrisi bilgisi, mesafenin azaltılması yoluyla sıradan bir diferansiyel denklemi basitleştirmek için kullanılabilir.

Sıradan diferansiyel denklemler için, uygun bir Lie simetrisi seti bilgisi, bir kişinin bir dizi ilk integrali açıkça hesaplamasına izin vererek, entegrasyon olmadan tam bir çözüm sağlar.

"Rastgele bir tamsayı almak" veya "rastgele bir gerçek sayı almak" gibi diğer durumlarda, yeniden etiketlemelere veya eşit uzunlukta alt aralıkların değiş tokuşuna göre hiçbir şekilde simetrik olasılık dağılımları yoktur. Diğer makul simetriler, belirli bir dağılımı seçmezler veya başka bir deyişle, maksimum simetri sağlayan benzersiz bir olasılık dağılımı yoktur.

Pozitif sonuçlara sahip rastgelelik için olası bir simetri, öncekinin logaritma için geçerli olmasıdır, yani sonuç ve karşılığının aynı dağılıma sahip olmasıdır. Bununla birlikte, bu simetri, herhangi bir belirli dağılımı benzersiz bir şekilde ayırmaz.

Bir düzlemdeki veya uzaydaki "rastgele bir nokta" için, bir başlangıç noktası seçilebilir ve sırasıyla dairesel veya küresel simetriye sahip bir olasılık dağılımı düşünülebilir.