Standart baz

Üç boyuttaki her a vektörü i, j ve k standart baz vektörlerinin lineer bir kombinasyonudur.

Matematikte, koordinat vektör uzayının ( ${ℝ}^n$ veya ${ℂ}^n$olarak gösterilir) standart tabanı ya da standart bazı (aynı zamanda doğal baz veya ilkesel baz olarak da geçer), 1'e eşit olan dışında tüm bileşenleri sıfır olan vektörlerden oluşan tabanıdır. Örneğin, gerçek sayı çiftleri Şablon:Matematik tarafından kurulan öklitçi ${ℝ}^2$ düzlemi durumunda, standart baz vektörler tarafından oluşturulur.

${𝐞}_x=(1,0),{𝐞}_y=(0,1).$

Benzer şekilde, ${ℝ}^3$ üç boyutlu uzayının standart bazı da vektörler tarafından oluşturulmuştur.

${𝐞}_x=(1,0,0),{𝐞}_y=(0,1,0),{𝐞}_z=(0,0,1).$

Burada e_x vektörü x yönünü gösterir, e_y vektörü y yönünü gösterir ve e_z vektörü z yönünü gösterir. Standart baz vektörleri için {e_x, e_y, e_z}, {e₁, e₂, e₃}, {i, j, k} ve {x, y, z} dahil olmak üzere birkaç ortak notasyon vardır. Bu vektörler birim vektör (standart birim vektör) olan statülerini vurgulamak için bazen bir şapka ile gösterilirler.

Bu vektörler, diğer herhangi bir vektörün, bunların lineer bir kombinasyonu olarak benzersiz bir şekilde ifade edilebilmesi anlamında bir bazdır. Örneğin, üç boyutlu uzaydaki her v vektörü benzersiz olarak aşağıdaki gibi yazılabilir:

$v_x{𝐞}_x+v_y{𝐞}_y+v_z{𝐞}_z,$

$v_x$, $v_y$, $v_z$ skalerleri, v vektörünün skaler bileşenleridir.

Şablon:Mvar-boyutlu ${ℝ}^n$öklitçi uzayında, n belirgin vektörlerinin standart bazı oluşur

$\{{𝐞}_i:1\le i\le n\},$

e_i, i'inci koordinatta 1 ve diğer yerlerde 0 olan vektörü belirtir.

Standart bazlar tanımı polinomlar ve matrisler gibi katsayıları içeren diğer vektör uzayları için tanımlanabilir. Her iki durumda da, standart baz biri hariç tüm katsayılar 0 ve sıfır olmayan 1 olacak şekilde uzayın öğelerinden oluşur. Polinomlar için, standart baz böylece tek terimlilerden (monomiallerden) oluşur ve genel olarak tek terimli (monomial) baz olarak adlandırılır. ${ℳ}_{m\times n}$ matrisleri için, standart baz özellikle sıfır olmayan girişi 1 olan m×n-matrislerinden oluşur. Örneğin, 2×2 matrislerinin standart bazı 4 matristen oluşur.

${𝐞}_{11}=\left(\begin{array}{cc}1& 0\\ 0& 0\end{array}\right),{𝐞}_{12}=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right),{𝐞}_{21}=\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right),{𝐞}_{22}=\left(\begin{array}{cc}0& 0\\ 0& 1\end{array}\right).$

Özellikleri

Tanıma göre, standart baz ortogonal (dik) birim vektörlerinin dizisidir. Diğer bir deyişle, sıralı ve ortonormal bazdır.

Ancak, sıralanmış bir ortonormal baz her zaman bir standart baz değildir. Örneğin iki boyutlu bir standart bazın 30 derecelik rotasyonunu temsil eden iki vektör, yani

$v_1=(\frac{\sqrt{3}}{2},\frac{1}{2})$

$v_2=(\frac{1}{2},\frac{-\sqrt{3}}{2})$

vektörleri de ortogonal vektördür ancak kartezyen koordinat sisteminin eksenlerince hizalı değildir, yani bu vektörlerin bazı, standart bazın tanımına uymuyor.

Genellemeler

Bir alan üzerinde n belirsizdeki polinomların halkası için de standart bir temel vardır, yani monomlar.

Yukarıdakilerin tümü ailenin özel durumlarıdır.

${(e_i)}_{i\in I}=(({\delta }_{ij}{)}_{j\in I}{)}_{i\in I}$

$I$ herhangi bir set ve ${\delta }_{ij}$ Kroneckçi delta olduğu yerde, Şablon:Kayma her zaman sıfıra eşittir ve eğer Şablon:Kayma ise 1'e eşittir. Bu aile, R modülünün (özgür modül) kanonik bazdır

$R^{(I)}$

bütün ailelerinin

$f=(f_i)$

sonlu sayıda indeks dışında sıfır olan, eğer 1'i R'deki birim olan 1_R, olarak yorumlarsak, I'dan halka R'ye kanonik bazdır.

Diğer kullanımları

Diğer 'standart' bazların varlığı, Hodge'un 1943'te Grassmannianlar üzerine yaptığı çalışmalardan başlayarak lineer geometride bir ilgi konusuna dönüştü. Bu artık standart tek terimli teori adlı temsil teorisinin bir parçasıdır. Lie cebirinin evrensel saran cebirindeki standart baz fikri Poincaré–Birkhoff–Witt teoremi tarafından ileri sürülmüştür.

Gröbner bazları da ayrıca bazen standart baz olarak adlandırılır.

Fizikte, belirli bir öklit uzayı için standart baz vektörleri bazen kartezyen koordinat sisteminin eksenlerinin tersine karşılık gelen versörler olarak da atıfta bulunulur.

Ayrıca bakınız

• Kanonik birimler
• Şablon:Başlık bağlantısı

Kaynakça

• Şablon:Kitap kaynağı (page 198)
• Şablon:Kitap kaynağı (page 112)