Kompakt bir topolojik uzaydan Hausdorff bir topolojik uzaya tanımlı sürekli örten bir fonksiyonun bölüm fonksiyonu olduğunu gösteriniz.

0 beğenilme 0 beğenilmeme
21 kez görüntülendi

$(X,\tau_1),(Y,\tau_2)$ topolojik uzaylar ve $f:X\to Y$ fonksiyon olmak üzere

$$((X,\tau_1), \text{ kompakt uzay})((Y,\tau_2), \text{ Hausdorff})(f, \ (\tau_1\text{-}\tau_2) \text{ sürekli})(f[X]=Y)$$

$$\Rightarrow$$

$$ f, \text{ bölüm fonksiyonu}$$

olduğunu gösteriniz.

20, Temmuz, 2017 Lisans Matematik kategorisinde murad.ozkoc (8,828 puan) tarafından  soruldu
24, Temmuz, 2017 murad.ozkoc tarafından düzenlendi

1 cevap

0 beğenilme 0 beğenilmeme

$(X,\tau_1),$  kompakt uzay; $(Y,\tau_2),$  Hausdorff; $f, \ (\tau_1\text{-}\tau_2)$ sürekli  ve  $f[X]=Y$ olsun.

$$\tau_f:=\{A|(A\subseteq Y)(f^{-1}[A]\in\tau_1)\}=\tau_2$$ olduğunu göstermeliyiz.

$\tau_f\overset{?}{=}\max\{\tau|f, \ (\tau_1\text{-}\tau) \text{ sürekli}\}\Rightarrow \tau_2\subseteq \tau_f\ldots (1)$

$\left.\begin{array}{rr} A\in\tau_f\Rightarrow f^{-1}[A]\in\tau_1\Rightarrow  f^{-1}[Y\setminus A]=X\setminus f^{-1}[A]\in \mathcal{C}(X) \\ \\ ((X,\tau_1)  \text{ kompakt uzay})((Y,\tau_2),  \text{ Hausdorff})(f, \ (\tau_1\text{-}\tau_2) \text{ sürekli})\Rightarrow f, (\tau_1\text{-}\tau_2) \text{ kapalı}\end{array}\right\}\Rightarrow$

$\left.\begin{array}{rr} \Rightarrow (f\circ f^{-1})[A]=f[f^{-1}[A]]\in \mathcal{C}(Y) \\ \\ f[X]=Y\Rightarrow f\circ f^{-1}=I_Y\end{array}\right\}\Rightarrow I_Y[A]=A\in \mathcal{C}(Y)\Big{/} \tau_f\subseteq \tau_2\ldots (2)$

$(1),(2)\Rightarrow \tau_f=\tau_2.$

O halde $f$ bölüm fonksiyonu.

24, Temmuz, 2017 murad.ozkoc (8,828 puan) tarafından  cevaplandı
26, Aralık, 2017 murad.ozkoc tarafından düzenlendi

İspattaki geçişlerin gerekçelerine buradan ve bir alttaki yorumda bulunan linkten ulaşabilirsiniz.

...