Arama

Homeomorfizma (Topolojik İzomorfizm)

Güncelleme: 21 Temmuz 2011 Gösterim: 5.829 Cevap: 3
ThinkerBeLL - avatarı
ThinkerBeLL
VIP VIP Üye
1 Temmuz 2009       Mesaj #1
ThinkerBeLL - avatarı
VIP VIP Üye
Homeomorfizma (Topolojik İzomorfizm)
Vikipedi, özgür ansiklopedi
Bir kahve bardağının simide sürekli deformasyonu
Sponsorlu Bağlantılar
mugandtorusmorph
Homeomorfizma veya topolojik eşyapı (topolojik izomorfizm), matematiksel alanda topolojinin incelediği temel konulardan biridir ve iki uzayın (mesela iki şeklin) parça koparmadan sürekli olarak birbirine dönüşümünü inceler. Kelime Yunanca homoios "benzer" ve morphē "şekil-şeklini bozmak" kelimelerinden türemiştir.
Aralarında homeomorfizma olan iki cisim homeomorfik olarak adlandırılır. Topolojik açıdan bunlar aynıdır. Mesela bir üçgeni bir çembere, bir çay bardağını, çay tabağına ya da kulplu bardağı simide homeomorf kılabiliriz.
Kabaca, topolojik cisim geometrik bir nesne ise, homeomorfizma nesnenin yeni şeklini sürekli esneyerek kaplar. Bu suretle bir kare ve çember birbirlerinin homeomorfudurlar, fakat bir küre ve ortası delik küre değildirler. Topoljistler arasında saplı bardaklarından kahvelerini içerken ve simitlerini yerken çıkmış bir espri olarak, simidin kahve fincanı şekline esneyip onu kaplayarak dönüşmesini, kahve fincanının sapını tutarken açıklayamadıklarını söylerler.
İki şekil üzerinde homeomorfizmayı şu şekilde açıklayabiliriz: A şeklinden B şekline yırtmadan, parça koparmadan geçebilmek için A'dan B'ye sürekli fonksiyona ihtiyaç vardır. Ve aynı şekilde B'den A'ya geçmemiz gerekmektedir. Bunun için de fonksiyonumuz tersinir olmalı ve tersi de sürekli olmalıdır.
Kısaca "f: A->B bir homeomorfizma ise f süreklidir, tersi vardır ve tersi de süreklidir" diyebiliriz.


Matematiksel Tanım
A ve B topolojik uzaylar olmak üzere, A 'dan B 'ye sürekli, birebir, örten ve tersi de sürekli bir gönderime homeomorfizma denir. Homeomorfizmalar, tüm topolojik uzaylar topluluğu üzerinde bir denklik bağıntısı tanımlar. Böylece oluşturulan denklik sınıflarının her birine homeomorfizma sınıfı denir.
Topolojide, verilen bir topolojik uzay topluluğu için homeomorfizma sınıflarını bulmak ve bu uzayları bu sınıflara göre sınıflandırmak temel problemlerden biridir. Örneğin, tüm 1 boyutlu çokkatlıların homeomorfizma sınıfları bilinmektedir: 1 boyutlu bağlantılı bir çokkatlı, ya (0,1) açık aralığına, ya [0,1] kapalı aralığına, ya (0,1] aralığına ya da çembere homeomorfiktir.
İki boyutlu çokkatlılara yüzey denir. Tıkız, bağlantılı bir yüzeyin homeomorfizma sınıfı, Euler sayısı ve yön verilebilir olup olmadığıyla belirlenir.
Daha yüksek boyutlu çokkatlılar için homeomorfizma sınıfı problemi bu kadar basitçe yanıtlanamaz.

Tanrı varsa eğer, ruhumu kutsasın... Ruhum varsa eğer!
Misafir - avatarı
Misafir
Ziyaretçi
14 Kasım 2009       Mesaj #2
Misafir - avatarı
Ziyaretçi
Bu deformasyonu yol bağlantılılıkla nitelendirebilir miyiz ?
Sponsorlu Bağlantılar
Rios - avatarı
Rios
Ziyaretçi
16 Kasım 2009       Mesaj #3
Rios - avatarı
Ziyaretçi
Homeomorfizma

Topolojinin incelediği temel konulardan biri homeomorfizmadır ve içerik olarak iki uzayın (dar anlamda iki şeklin) parça koparmadan sürekli olarak birbirine dönüşümünü inceler. Mesela bir üçgeni bir çembere; bir çay bardağını, çay tabağına ya da kulplu bardağı simide homeomorf kılabiliriz.
Homeomorfizma hakkında ansiklopedik bilgi

Topolojinin incelediği temel konulardan biri homeomorfizmadır ve içerik olarak iki uzayın (dar anlamda iki şeklin) parça koparmadan sürekli olarak birbirine dönüşümünü inceler. Mesela bir üçgeni bir çembere; bir çay bardağını, çay tabağına ya da kulplu bardağı simide homeomorf kılabiliriz. İki şekil üzerinde homeomorfizmayı şu şekilde açıklayabiliriz: A şeklinden B şekline yırtmadan, parça koparmadan geçebilmek için A'dan B'ye sürekli fonksiyona ihtiyaç vardır. Ve aynı şekilde B'den A'ya geçmemiz gerekmektedir. Bunun için de fonksiyonumuz tersinir olmalı ve tersi de sürekli olmalıdır. Kısaca f:A->B bir homeomorfizma ise f süreklidir, tersi vardır ve tersi de süreklidir, diyebiliriz.
AndThe_BlackSky - avatarı
AndThe_BlackSky
VIP VIP Üye
21 Temmuz 2011       Mesaj #4
AndThe_BlackSky - avatarı
VIP VIP Üye
Vikipedi, özgür ansiklopedi

Eşyapı ya da izomorfizma (ya da izomorfi), aynı kategoride olan iki benzer matematiksel nesne arasında bir gönderimdir; tersi vardır; hem kendisi hem de tersi matematiksel yapıyı korur. Aralarında eşyapı bulunan nesnelere eşyapısal ya da izomorf(ik)nesneler denir. Örneğin iki küme arasında eşyapı, birebir, örten bir gönderimdir. Kümelerin üzerinde elemanlara sahip olmak dışında bir yapı olmadığından, eşyapı gönderiminin koruyacağı başka bir yapı yoktur. Soyut cebirde iki grup arasında bir eşyapı, birebir, örten bir gönderimdir; üstüne üstlük, iki gruptaki işleme saygı gösterir, bu iki işlemin birbirleriyle konuşmasını sağlar. Aşağıdaki örneklere bakınız.
Eşyapılar, Cebir, Kategori Teorisi, Model Teorisi, Topoloji gibi alanların, inşa ettikleri nesneleri sınıflandırmada, tıpkılıklarını fark etmede, doğal olarak karşılarına çıkan kavramlardır. Bu nesneleri, üzerlerinde tanımladıkları yapılar bağlamında incelerken eşyapısal nesneleri birbirlerine denk tutarlar.

Tanım

En geniş tanımıyla, bir K kategorisi içinde iki nesne A ve B, ve A'dan B'ye kategorinin bir gönderimi f var olsun. Eğer f'nin aynı kategoride izin verilen gönderimler içinde bir tersi varsa (bu ters g olsun) ve gf = brA ve fg = brB eşitlikleri sağlanıyorsa, f'ye A'danB'ye bir eşyapı (gönderimi) denir. Tabii ki g de B'den A'ya bir eşyapı gönderimi olur. Burada brA olarak gösterilen gönderim, A'da her bir elemanı kendisine götüren gönderimdir. f eşyapısının tersi olan gönderim f - 1 olarak gösterilir.
Yani f bir eşyapıysa, aynı kategoride bir de tersi vardır ve önce f ile gidip sonra f - 1 ile geri dönünce A'da hiçbir şey yapmamış oluruz; benzer biçimde önce f - 1 ile gidip sonra f ile geri dönünce B'de hiçbir şey yapmayız.

Örnekler
  • Kümeler Kuramında: İki küme arasında bir gönderim birebir ve örtense (yani birebir eşleme ise) bu gönderim kümeler kategorisinde bir eşyapıdır. İki küme arasında eşyapı varsa, kümeler kuramı içinde kümelerden biri için kanıtlanmış bir gerçek diğeri için de doğrudur. Dolayısıyla, kümeler kuramında bu iki küme denk olarak düşünülür. Örneğin resmi bir voleybol oyunu sırasında sahadaki oyuncuların kümesiyle, bir yıl içinde ayların kümesi eşyapısaldır (ikisinde de 12 eleman var). Ayrıca tüm kesirli sayılar kümesiyle tüm tamsayılar kümesi eşyapısaldır. Oysa tüm kesirli sayılar kümesiyle tüm gerçel sayılar kümesi eşyapısal olamazlar (bkz. Cantor'un köşegen yöntemi).
  • Grup Kuramında: (A,10c3e97d2a3eda0d182b81d48f231b62) ve (B, * ) iki grup olsun. A ve B birer küme olduğundan, aralarında bir f grup eşyapısı öncelikle ilk örnekte olduğu gibi birebir bir eşleme olmalıdır. Ayrıca, bu gönderim A ve B üzerindeki işlemleri korumalıdır, birini diğerinegötürmelidir. Bunu söylerken tam tamına şu özdeşlik kastedilir:
    x ve y A'da iki eleman olmak üzere her x ve y için f(x10c3e97d2a3eda0d182b81d48f231b62 y) = f(x) * f(y).
    Yani x ve y'yi A'da işleme sokup B'ye göndermek, B'ye gönderip imgeleri oradaki işleme sokmakla her zaman aynı sonucu vermeli.
  • Halka Kuramında: (Afd824f3ad22c3c144c5cb7f1c599b665) ve (B98ab4cc51020865c0d1f8ff343ebc115 iki halka olsun. A'dan B'ye bir halka eşyapısı birebir bir eşlemedir ve halka yapılarını korur:
    x ve y A'da herhangi iki eleman olmak üzere f(x + y) = f(x)36f8ae4c86b69d52d037a6802d91cc4af(y) ve f(x10c3e97d2a3eda0d182b81d48f231b62 y) = f(x) * f(y).
  • Doğrusal cebirde: İki vektör uzayı arasında bir vektör uzayı eşyapısı, birebir bir eşlemedir ve uzaylardaki vektör toplama işlemini ve ölçeksel çarpmayı yukarıdaki anlamda korur. Sonlu boyutlu iki vektör uzayının boyutları aynıysa, gösterilebilir ki bu uzaylar eşyapısaldır.
  • Çizge kuramında: A ve B iki çizge olsun. A'nın ve B'nin köşelerinin oluşturduğu kümeleri sırasıyla KA ve KB olarak gösterelim. A'dan B'ye bir çizge eşyapısı, KA'dan KB'ye birebir bir eşlemedir; ayrıca bu eşleme, A'da (birbirlerine bir kenarla) bağlı iki köşeyi,B'de bağlı iki köşeye götürmelidir ve eğer iki köşenin B'deki imgeleri bağlıysa A'da da bağlı olmalıdır. Dolayısıyla bir çizge eşyapısı, kenarları koruyan birebir bir eşlemedir.
  • Topolojide: İki topolojik uzay arasında bir topolojik eşyapı, kendisi ve tersi sürekli olan birebir bir eşlemedir. İki çokkatlı arasında bir eşyapı, kendisi ve tersi türevlenebilir birebir bir eşlemedir.

Benzer Konular

1 Temmuz 2009 / ThinkerBeLL X-Sözlük