به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
0 امتیاز
324 بازدید
در دانشگاه توسط zaraj (3 امتیاز)
ویرایش شده توسط AmirHosein

نشان دهید فضای متریک $(X,d)$ ناهمبند است اگر و تنها اگر نگاشت پیوسته و پوشای $f\colon X\to\lbrace 0,1\rbrace$ وجود داشته باشد.

1 پاسخ

+1 امتیاز
توسط fardina (17,622 امتیاز)
انتخاب شده توسط AmirHosein
 
بهترین پاسخ

در ابتدا توجه کنید که هر متری روی مجموعه دو عضوی $\{0,1\}$ با متر گسسته معادل است. پس متر روی این مجموعه را متر گسسته در نظر می‌گیریم.

فرض کنید $X$ ناهمبند باشد. در اینصورت مجموعه‌ای ناتهی و سره از $X$ مثل $A$ موجود است که هم بسته است و هم باز. تابع $f(x)=\chi_A(x)=\begin{cases} 1 & x\in A\\ 0 & x\notin A \end{cases}$ از $X$ به $\{0,1\}$ پوشا (از زیرمجموعه سره بودن) و پیوسته است (چرا؟ کافی است تصویر زیرمجموعه‌های باز در $\{0,1\}$ را تحت این تابع پیدا کنید و ببینید که در $X$ باز است).

بر عکس فرض کنید تابعی پیوسته و پوشا مثل $f\colon X\to\lbrace 0,1\rbrace$ موجود باشد. در اینصورت $A=f^{-1}(\{0\})$ و $B=f^{-1}(\{1\})$ در $X$ ناتهی (از پوشا بودن) و بسته (از پیوستگی) هستند و $A\cap B=\emptyset$ پس تشکیل یک ناهمبندی برای $X$ می‌دهند.

برای ترجمه ی یک جمله از انگلیسی به فرانسوی دو چیز ضروری است. اول، باید جمله ی انگلیسی را تماما بفهمیم. دوم، باید با اصطلاحات ویژه ای که در زبان فرانسوی هستند آشنا باشیم. این وضعیت خیلی شبیه هنگامی است که سعی داریم شرط را که با کلمات بیان شده است با نمادهای ریاضی بیان کنیم. اول، باید آن را تمام درک کنیم. دوم، باید با اصطلاحات ریاضی ریاضی آشنا باشیم.
...