Eşyapı ya da izomorfizma (ya da izomorfi), aynı kategoride(grupta) olan benzer iki matematiksel obje arasında bir gönderim olup matematiksel vücut tersi yapıda da muhafaza edilir. Aralarında bu şekilde eşyapı bulunan objelere eşyapısal ya da izomorf(ik) objeler denir. Örneğin iki küme arasında eşyapı, birebir, örten bir gönderimdir. Kümelerin üzerinde elemanlara sahip olma haricinde bir oluşum olmadığından, eşyapı gönderiminin koruyacağı başka bir yapı yoktur. iki grup arasında bir eşyapı, birebir, örten bir gönderimdir; dahası, iki gruptaki işleme saygı gösterir, bu iki işlemin birbirleriyle etkileşim halinde olmasını sağlar.
Ludwig Von Bertalanffy'e göre genel sistem özelliklerinin varoluşunun bir sonucu, farklı alanlardaki (disiplinlerdeki) yapısal benzerlik ya da izomorfizmlerin ortaya çıkışıdır. Özünde oldukça farklı olan bireylerin davranışını yöneten prensiplerde uyumlulukların olduğu tespit edilmiştir. Basit bir örneği ele alırsak, büyümenin üstsel bir kanunu belirli bakteriyel hücrelere, bakteri, hayvan ya da insan popülasyonlarına ve genel olarak bilimde veya genetik alanındaki yayınların sayısıyla ölçülen bilimsel araştırmanın gelişimine uygulanabilmektedir.
Ayrıca sistem izomorfizmleri sayısal analizlere direnen ama buna rağmen büyük içsel bir ilgiye sahip olan problemlerde de karşımıza çıkmaktadır. Örnek verilecek olursa; hayvan toplulukları ve insan toplumları gibi biyolojik sistemler ve kolonisel organizmalar arasında izomorfizmler bulunmaktadır. Birçok durumda, izomorfik kanunlar varlıkların doğası göz önüne alınmaksızın sistemlerin belirli sınıf veya altsınıflarda geçerlidirler. Bu yüzden tartışılmakta olan "izomorfizm" kavramı, benzerlik anlamındaki "analoji"den çok daha fazla anlama sahiptir.
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 kategorisi içinde iki nesne
ve
ve
'dan
'ye kategorinin bir gönderimi
var olsun. Eğer
'nin aynı kategoride izin verilen gönderimler içinde bir tersi varsa (bu ters
olsun) ve
ve
eşitlikleri sağlanıyorsa,
'ye
'dan
'ye bir eşyapı (gönderimi) denir. Tabii ki
de
'den
'ya bir eşyapı gönderimi olur. Burada
olarak gösterilen gönderim,
'da her bir elemanı kendisine götüren gönderimdir.
eşyapısının tersi olan gönderim
olarak gösterilir.
Yani bir eşyapıysa, aynı kategoride bir de tersi vardır ve önce
ile gidip sonra
ile geri dönünce
'da hiçbir şey yapmamış oluruz; benzer biçimde önce
ile gidip sonra
ile geri dönünce
'de hiçbir şey yapmayız.
Örnekler
- : İki küme arasında bir gönderim birebir ve örtense (yani 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 tam sayı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).
- : (
,
) ve
,
iki grup olsun.
ve
birer küme olduğundan, aralarında bir
grup eşyapısı öncelikle ilk örnekte olduğu gibi birebir bir eşleme olmalıdır. Ayrıca, bu gönderim
ve
üzerindeki işlemleri korumalıdır, birini diğerine götürmelidir. Bunu söylerken tam tamına şu özdeşlik kastedilir:
ve
'da iki eleman olmak üzere her
ve
için
.
Yanive
'yi
'da işleme sokup
'ye göndermek,
'ye gönderip imgeleri oradaki işleme sokmakla her zaman aynı sonucu vermeli.
- : (
) ve
iki halka olsun.
'dan B'ye bir halka eşyapısı birebir bir eşlemedir ve halka yapılarını korur:
ve
'da herhangi iki eleman olmak üzere
ve
.
- 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:
ve
iki çizge olsun.
'nın ve
'nin köşelerinin oluşturduğu kümeleri sırasıyla
ve
olarak gösterelim.
'dan
'ye bir çizge eşyapısı,
'dan
'ye birebir bir eşlemedir; ayrıca bu eşleme,
'da (birbirlerine bir kenarla) bağlı iki köşeyi,
'de bağlı iki köşeye götürmelidir ve eğer iki köşenin
'deki imgeleri bağlıysa
'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.