tualimforum.com - Matemeatikte Birleşme

Matemeatikte Birleşme

Birleşme

Birleşme, bir küme üzerine tanımlanmış ikili işlemlerin ayırt edici özelliklerinden biridir. Bu özelliği sağlayan ikili işlemlere birleşmeli işlem denir. Açık olarak bu özellik, (xy)z = x(yz) demektedir, yani üç elemanı "çarparken" işlem sırasının önemli olmadığını söylemektedir, bir başka deyişle birleşme özelliği işlem yaparken paranteze gerek olmadığını söylemektedir. Örneğin tamsayılar kümesi Z üzerine tanımlanmış olan toplama işlemi birleşmeli bir işlemdir ancak çıkarma işlemi birleşmeli değildir, çünkü (x + y) + z = x + (y + z) eşitliği her http://upload.wikimedia.org/math/e/5...a3d5135c04.png için sağlanmasına karşın, (x − y) − z = x − (y − z) eşitliği http://upload.wikimedia.org/math/d/3...c27bc3ce77.png için sağlanmaz.
Birleşme özelliğine sahip ikili işlemlerde gönül rahatlığıyla x3 yazılabilir, yoksa x3 terimine (xx)x ya da x(xx) anlamlarından birini vermek gerekir.
Üç http://upload.wikimedia.org/math/e/5...a3d5135c04.png elemanı için geçerli olan bu özellik elbet n tane eleman için de geçerlidir. Örneğin (xy)(zt) = ((xy)z)t = (x(yz))t = x(y(zt)).

Birleşmeli olmayan ya da birleşme özelliğini anımsatan bir özelliğin geçerli olmadığı yapılara cebirde pek önem verilmez.
İngilizcesi "associative"dir.

Kümelerde Birleşim İşareti

kümelerde birleşme işareti "U" şekilindedir.İki ya da daha çok kümenin elemanlarını bir araya getirme işlemidir. A ve B iki küme ise bu iki kümenin birleşimi A U B şeklinde gösterilir
örneğin: A = { 1, 3, 5, 7 }, B = { 3, a, b } ise A U B kümesini şema ile gösterip tarayalım.

Örnekler

Her öbek birleşmelidir.
Her Halka için işlemler kendi içinde birleşmelidir.
Her Cisim için işlemler kendi içinde birleşmelidir.
Dizeyler dizey çarpması işlemine göre birleşmelidir.
Yöney Çarpımı birleşmeli bir işlem değildir.

http://upload.wikimedia.org/math/b/2...03b9284e70.pnghttp://upload.wikimedia.org/math/3/5...8f6ffbcc79.png.
Birleşmesiz

S deki * ikili işlemi, birleşme yasasına uymuyorsa buna birleşmesiz (İngilizcesi non-associative) diyoruz. Sembolik olarak,
http://upload.wikimedia.org/math/1/5...e326fa419c.png Değerlendirme sırası işlemi için sorun değildir. Örneğin:

Çıkarma

http://upload.wikimedia.org/math/b/9...bc65d4a564.png

Bölme

http://upload.wikimedia.org/math/0/b...ab1e23458e.png

üs alma

http://upload.wikimedia.org/math/a/c...fd0482d6de.png Sonlu toplamanın genellikle ilişkili olmadığına dikkat edin. Örneğin:
http://upload.wikimedia.org/math/8/0...ad18285f6c.png Benzer şekilde
http://upload.wikimedia.org/math/1/7...70ec53dfae.png