Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
3 beğenilme 0 beğenilmeme
1k kez görüntülendi
$I_r$, $K$'da $r$-simpleks sayıları olmak üzere; bir simpleksler kompleksi $K$'nın Euler karakteristiği, $\chi(K) := \sum_{r=0}^n(-1)^rI_r$ şeklinde tanımlanıyor.

$K$, $S$ kompakt yüzeyinin bir üçgenlemesine(triangulation) karşılık gelmesi için, $\chi(K) = v -e+f$. (köşe, kenar ve 2d yüzlerin sayılarını gösteren $v$, e, $f$ ile)

$\chi$, $S$'nin seçilen üçgenlemesinden bağımsızdır, gösteriniz.
Akademik Matematik kategorisinde (48 puan) tarafından 
tarafından düzenlendi | 1k kez görüntülendi

2 Cevaplar

0 beğenilme 0 beğenilmeme

Şunları  (birincisinin cebirsel ile gösterilmesi  zor olmayan)  kullanarak yapmak dışında bir çözüm bilmiyorum:

1. (Sonlu) bir kompleksin Euler karakteristiği ile homolojisinin Euler karakteristiği eşittir.

2.  sonlu simplisiyel komplekslerde, Eilenberg-McLane aksiyomlarını sağlayan homoloji teorisinin tek oluşu.

(Tüm üçgenlenebilen kompakt uzaylarda gösterilmiş olur)

(6.2k puan) tarafından 
0 beğenilme 0 beğenilmeme

Bir de şu var: bu iki simplisiyel bölünmenin ortak bir bölünmesi (subdivision) bulmak (Hauptvermutung sanısı) (aşağıdaki nedenle). Ama bu genelde yanlış (Hauptvermutung un yanlış olduğunu J. Milnor gösterdi http://www.maths.ed.ac.uk/~aar/papers/milnhaup.pdf)

Ama 4 ve daha küçük boyutlarda doğru imiş (2 ve daha küçüklerde Papakriyakopouolos ispatlamış), soru iki boyutta. Öyleyse (iki boyutta Hauptvermutung un doğru olduğunu kullanarak)

(her boyutta doğru)  Bölünmenin Euler karakteristiğini değiştirmediğin göstermek de yeterlidir.

(6.2k puan) tarafından 
tarafından düzenlendi
20,246 soru
21,768 cevap
73,412 yorum
2,123,249 kullanıcı