K-denkliği - K-equivalence

İçinde matematik, ${ displaystyle { mathcal {K}}}$-eşdeğerlikveya temas denkliği, bir denklik ilişkisi arasında harita mikropları. Tarafından tanıtıldı John Mather seminal çalışmasında Tekillik teorisi 1960'larda kararlı haritaları incelemek için teknik bir araç olarak. O zamandan beri kendi başına önemli olduğunu kanıtladı. Kabaca konuşursak, iki harita mikropu ƒ, g vardır ${ displaystyle scriptstyle { mathcal {K}}}$eşdeğer eğer ƒ⁻¹(0) ve g⁻¹(0) diffeomorfik.

Tanım

İki harita mikropları ${ displaystyle f, g: X - (Y, 0)}$ vardır ${ displaystyle scriptstyle { mathcal {K}}}$eşdeğeri varsa diffeomorfizm

${ displaystyle Psi: X times Y - X times Y}$

Ψ (x, y) = (φ (x), ψ (x, y)) şeklinde tatmin edici,

${ displaystyle Psi (x, 0) = ( varphi (x), 0)}$, ve

${ displaystyle Psi (x, f (x)) = ( varphi (x), g ( varphi (x)))}$.

Başka bir deyişle, Ψ şunun grafiğini eşler f grafiğine gsıfır haritasının kendi grafiğinin yanı sıra. Özellikle diffeomorfizm φ haritaları f⁻¹(0) ile g⁻¹(0). İsim İletişim bu eşdeğerliğin, grafik arasındaki teması ölçtüğü gerçeğiyle açıklanmaktadır. f ve sıfır haritasının grafiği.

Temas eşitliği, denklem çözüm setlerini incelemek için uygun eşdeğerlik ilişkisidir ve birçok uygulama dinamik sistemler ve çatallanma teorisi, Örneğin.

Bu denklik ilişkisinin, zayıf -den A eşdeğeri herhangi bir çift ${ displaystyle scriptstyle { mathcal {A}}}$eşdeğer harita mikropları zorunlu olarak ${ displaystyle scriptstyle { mathcal {K}}}$-eşdeğer.

K_V-eşdeğerlik

Bu değişiklik ${ displaystyle scriptstyle { mathcal {K}}}$-eşdeğerlik, James Damon 1980'lerde. Buraya V bir alt kümesidir (veya alt çeşitliliği) Yve yukarıdaki diffeomorfizm Ψ korumak için gereklidir ${ displaystyle X times {0 }}$ fakat ${ displaystyle X times V}$ (yani, ${ displaystyle y in V Rightarrow psi (x, y) in V}$). Özellikle, Ψ haritalar f⁻¹(V) ile g⁻¹(V).

Ayrıca bakınız

• A eşdeğeri

Referanslar

• J. Martinet, Düzgün İşlevlerin ve Haritaların Tekillikleri, LMS Ders Notu Serisi Cilt 58. Cambridge University Press, 1982.
• J. Damon, Alt Gruplar için Açılma ve Belirleme Teoremleri ${ displaystyle scriptstyle { mathcal {A}}}$ ve ${ displaystyle scriptstyle { mathcal {K}}}$. Memoirs Amer. Matematik. Soc. 50, Hayır. 306 (1984).