# Bilineer form
Matematikte ve lineer cebirde bilineer form, bir vektör uzayından iki vektör alıp bir skaler veren bilineer fonksiyonlara denir. Başka bir değişle, bir 𝕂 cismi üzerinde tanımlı olan (mesela ℝ) bir V vektör uzayından iki eleman alıp 𝕂'dan bir eleman veren bir B fonksiyonunun bilineer bir form olabilmesi için, iki elemanında da doğrusallık özelliklerini göstermesi gerekir:
  - Her v, w ∈V vektörleri ve her λ∈𝕂 skaleri için λ'yı B'nin dışına çekebilmek gerekir, yani B(λv, w) = λB(v, w) = B(v, λw) olması gerekir.
  - Her v_1, v_2, w ∈V vektör üçlüsü için B'nin bir nevi dağılma özelliği göstermesi gerekir: B(v_1 + v_2, w) = B(v_1, w) + B(v_2, w) ve B(w, v_1 + v_2) = B(w, v_1) + B(w, v_2)
ℝ^n üzerinde tanımlı olan nokta çarpımı, bilineer formlara bir örnektir. Bunun dışında rölativitede kullanılan Minkowski çarpımı da bilineer formlara örnek verilebilir.
𝕂'nın ℂ karmaşık sayılar cismi olması hâlinde çoğu durumda bilineer formlardansa seskilineer formlar, yani argümanların birinde lineer, birinde yarı lineer (eşlenikli lineer) olan fonksiyonlar ilgimizi çekmektedir.


## Tanımlar.
V bir 𝕂 vektör uzayı olsun. Bir B: V ×V ↦𝕂 fonksiyonuna, her v, w ∈V için hemv ↦B(v, w)eşlemesi, hem dew ↦B(v, w)eşlemesi bir lineer fonksiyon teşkil ediyorsa, B'ye bir bilineer form denir.
B eğer ayrıyeten başka birkaç özelliği de sağlıyorsa başına birtakım sıfatlar gelir:
  - Eğer her v, w ∈V ikilisi için B(v, w) = B(w, v) ilişkisi geçerli oluyorsa, B'ye simetrik bir bilineer form denir.
  - Eğer her v ∈V vektörü için B(v, v) = 0 ise, B'ye alternatif bir bilineer form denir.
  - Eğer her v, w ∈V ikilisi için B(v, w) = -B(w, v) ilişkisi geçerli oluyorsa, B'ye antisimetrik bir bilineer form denir. Eğer char(𝕂) ≠2 ise, yani 𝕂 cisminde 1+1 = 0 denemiyorsa (mesela ℝ veya ℂ üzerinde), o zaman alternatif olmakla antisimetrik olmak eşdeğerdir.
  - Eğer sıfır hariç bir v ∈V vektörü için her x ∈V vektörüyle B(v, x) = 0 veya B(x, v) = 0 oluyorsa B'ye dejenere denir.
Ayrıca sözkonusu 𝕂 cismi ℝ veya ℚ gibi sıralı bir cisim ise,
  - Her v ∈V vektörü için B(v, v) ≥0 ise B'ye pozitif yarı belirli denir.
  - Eğer v ≠0 iken B(v, v) gt  0 ise B'ye pozitif belirli denir.
  - Her v ∈V vektörü için B(v, v) ≤0 ise B'ye negatif yarı belirli denir.
  - Eğer v ≠0 iken B(v, v) lt  0 ise B'ye negatif belirli denir.
  - Bazı v ∈V vektörleri için B(v, v) gt  0 oluyorken bazı w ∈V vektörleri için de B(w, w) lt  0 oluyorsa B'ye belirsiz denir.


## Örnekler.
  - ℝ^n üzerinde, B(v, w) = ∑_k=1^n v_k w_k şeklinde tanımlanan nokta çarpımı, bir bilineer form teşkil eder.
  - Özellikle kuantum fiziğinde çok kullanılan hilbert uzayında tanımlanan ⟨f, g ⟩= ∫_a^b f(x)g(x)dx şeklinde tanımlanan çarpım da bir bilineer form örneğidir. Burada söz konusu vektör uzayı sonsuz boyutludur.


## Kordinat temsili.
### Martis temsili.
Sonlu boyutlu vektör uzaylarında nasıl bir taban seçimiyle her lineer dönüşümün bir matris gösterimini elde etmek mümkünse aynı şey bilineer formlar için de mümkündür. ℬ = {b_1, b_2, ... b_n}, V'nin bir tabanı olsun. O zaman her v ∈V vektörünü v = ∑_i=1^n v_i b_i şeklinde yazmak mümkündür. Yani B(v, w)'u hesaplamak istiyorsak, bunu B(v, w) = B(∑_i=1^n v_i b_i, ∑_j=1^n w_j b_j)=∑_i=1^n v_i B(b_i, ∑_j=1^n w_j b_j) = ∑_i, j=1^n v_i w_j B(b_i, b_j)şeklinde hesaplamamız mümkündür. Eğer A ∈𝕂^n ×n matrisini A_ij = B(b_i, b_j) şeklinde tanımlarsak, bu ifadeyiB(v, w) = ∑_i, j=1^n v_i w_j B(b_i, b_j) = ∑_i, j=1^n v_i w_j A_ijformuna getirebiliriz. Sağda kalan ifade, matris çarpımı ile v^T A w ifadesine eşit olduğundan, her bilineer formu bi taban seçimiyle birlikte B(v, w) = v^T A wşeklinde yazmak mümkündür.


### Taban değişkliği.
Lineer dönüşümlerde taban değişkliği formülü, SA' S^-1 = A formülüyle veriliyordu. Ancak bilineer formlarda taban değişikliği formülü biraz farklılık gösterir.
Taban değişikliği altında yeni gösterimler, v' = S^-1 v şeklinde bulunduğundan, v'^T A' w' = vAw olmasını istiyorsak v^T S^T A' S w = v^T A w olmalıdır. Yani bilineer formlarda taban değişikliği için S^T A'S = A formülü kullanılmaktadır. Aynı lineer dönüşümü temsil eden matrislere benzer dendiği gibi aynı bilineer formu temsil eden matrislere de eş denir.


## Özellikler.
### Refleksif (dönüşlü) bilineer formlar ve ortogonalite.
Daha güçlü bir şart gözetmeden her v, w ∈V ikilisi için eğer B(v, w) = 0 ilişkisi, ancak ve ancak B(w, v) = 0 olduğunda geçerli oluyorsa B'ye refleksif denir. char(𝕂) ≠2 olan cisimlerde her refleksif bilineer form, ya simetrik ya da antisimetrik olmak zorundadır.
Refleksif bilineer formlar için bir ortogonalite (diklik) kavramı tanımlamak mümkündür. Öyle ki, B(v, w) = 0 veren her v, w ∈V çiftine ortogonal veya dik denir, ve bu durum v ⊥w şeklinde gösterilir. Eğer B nokta çarpımı ise bu kavram, öklid geometrisindeki diklik kavramıyla örtüşmektedir.
Benzer şekilde, herhangi bir altuzay U ≤V ve hatta herhangi bir altküme U ⊆V için ortogonal tamlayanını U^⊥= {v ∈V |B(u, v) = 0, ∀u ∈U} olarak, U'daki tüm vektörlere dik olan vektörler kümesi şeklinde tanımlamak mümkündür. Herhangi bir altkümenin ortogonal tamlayanı bir altuzay teşkil eder. Vektör uzayındaki her vektöre dik olan vektörlerin uzayına da V'nin radikali denir, ve bu altuzay da V^⊥ ile gösterilir. Eğer B dejenere değilse V^⊥ de trivial {0} uzayına eşit olur. U bir altuzaysa ve B dejenere değilse, U^⊥ için boyut formülü geçerli olur: (U) + (U^⊥) = (V)Refleksif olmayan bilineer formlar için soldan ve sağdan diklik arasında ayrım yapılması gerekmektedir.


### Simetrik ve antisimetrik bilineer formlar.
B(v, w) = B(w, v) özelliğini sağlayan bilineer formlara simetrik, B(v, w) = -B(w, v) özelliğini sağlayanlara da antisimetrik denir. Simetrik veya antisimetrik olmayan bilineer formlar için, eğer char(𝕂) ≠2 iseB_+(v, w) := 1/2(B(v, w) + B(w, v))veB_-(v, w) := 1/2(B(v, w) - B(w, v))şeklinde bir simetrik ve bir de antisimetrik bilineer form tanımlamak mümkündür. Bu durumda B(v, w) = B_+(v, w) + B_-(v,w) olduğundan B'yi biri simetrik biri antisimetrik iki parçaya ayırmış oluruz.
Seçilen her taban için simetrik bilineer formları temsil eden matrisler simetrik, ve antisimetrik bilineer formları temsil eden matrisler de antisimetrik olur.


## Karesel form.
Bir B bilineer formu için q(v) := B(v, v) şeklinde tanımlanabilen fonksiyonlara karesel form denir. char(𝕂) ≠2 ise, ve B simetrikse B'yi q'dan polarizasyon özelliği ile çıkarabiliriz:B(v, w) = 1/2(q(v+w) - q(v) - q(w)) Simetrik olmayan bilineer formlar için bu formül, sadece simetrik kısmı verir. Antisimetrik bilineer formlar için q(v) = 0 olur. Bu formülün başka bir sonucu ise, simetrik bir bilineer formu tanımlamak için sadece altında yatan karesel formu tanımlamanın yetmesidir.