Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
489 kez görüntülendi
Akademik Matematik kategorisinde (3.7k puan) tarafından  | 489 kez görüntülendi

1 cevap

2 beğenilme 0 beğenilmeme

$p:\mathbb{S}^n\rightarrow \mathbb{RP}^n$ bildiğimiz (zıt noktaları özdeşleştiren) projeksiyon olsun. Bu (iki katlı) bir örtü uzayıdır. $f:\mathbb{RP}^n\rightarrow \mathbb{RP}^n$ sürekli olsun. $p\bar{f}=fp$ olacak şekilde bir $\bar{f}:\mathbb{S}^n\rightarrow \mathbb{S}^n$ arandığınıı varsayıyoruz elbette. $fp:\mathbb{S}^n\rightarrow\mathbb{RP}^n$ sürekli olur. (Bağlantılılı) Örtü uzaylarında yükseltme kriterinden, $fp$ nin $\mathbb{S}^n$ ye yükseltilebilmesi ($\bar{f}$ nin varlığı)  için gerek ve yeter koşul $(fp)_*(\pi(\mathbb{S}^n))\subseteq p_*(\pi(\mathbb{S}^n))$ olmasıdır. ($\pi$ esas (temel) grup, taban  uzayın bağlantılı olması varsayımından ve bu durumda grupların değişmeli olmalarından baz noktası önemsizdir.)

$n>1$ için $\pi(\mathbb{S}^n)=0$ dır.  Yükseltilebilirdir ($\bar{f}$ vardır).

$n=1$ için $\pi(\mathbb{S}^1)\cong \mathbb{Z}$ ve $\pi(\mathbb{RP}^1)\cong\mathbb{Z}$ ve (üreteçlerin uygun seçimi ile) $p_*:\mathbb{Z}\rightarrow \mathbb{Z},\ n\mapsto 2n$ dir. Yükseltilebilme için gerek ve yeter koşul $\pi(\mathbb{S}^1)$ in üretecinin ($(fp)_*$ tarafından) $\pi(\mathbb{RP}^1)$ nin üretecinin çift katına gönderilmiş olmasıdır. Fakat $(fp)_*=f_*p_*$ oluşu ve $p_*$ ın herşeyi üretecin çift katına göndermesinden dolayı $(fp)_*(\pi(\mathbb{S}^1))\subseteq p_*(\pi(\mathbb{S}^1))$ yine sağlanır ve böyle bir $\bar{f}$ vardır.


$n=0$ durumu bu argümanlara gerek olmadan kolayca bulunur.

(6.2k puan) tarafından 
tarafından düzenlendi
sürekli fonksiyonların örtme uzaylarına kaldırılabilme şartı nedir?
20,275 soru
21,807 cevap
73,489 yorum
2,446,244 kullanıcı