It is currently Fri Apr 19, 2019 3:59 pm


All times are UTC [ DST ]




Post new topic Reply to topic  [ 3 posts ] 
Author Message
 Post subject: Continuous map
PostPosted: Thu Oct 13, 2016 1:40 pm 
Team Member
User avatar

Joined: Mon Nov 09, 2015 1:36 am
Posts: 460
Location: Ioannina, Greece
Let $E_1\,,\; E_2$ be metric spaces and $f:E_1\longrightarrow E_2$ a map such that for every compact subspace $S$ of $E_1$ the restriction $f|_S:S\subseteq E_1\longrightarrow E_2$ is continuous. Prove that $f$ is continuous on $E_1$.

_________________
Grigorios Kostakos


Top
Offline Profile  
Reply with quote  

 Post subject: Re: Continuous map
PostPosted: Sat Nov 12, 2016 9:08 pm 

Joined: Sat Nov 12, 2016 3:50 pm
Posts: 2
We suppose that $ x_{n}\rightarrow x_{0}$. The set $ \left \{ x_{1},x_{2},.... \right.\left. \right \}\cup \left \{ x_{0} \right.\left.\right \}$ is compact and from the hypothesis(the restriction of f in every compact set is continuous) we obtain that $ f(x_{n})\rightarrow f(x_{0})$. So the proof has finished.

Question: Is this true for topological (not necessarily metric) spaces? If yes prove it, if not find a counterexample.


Top
Offline Profile  
Reply with quote  

 Post subject: Re: Continuous map
PostPosted: Tue Nov 29, 2016 2:25 pm 

Joined: Sat Nov 14, 2015 6:32 am
Posts: 158
Location: Melbourne, Australia
jason1996 wrote:

Question: Is this true for topological (not necessarily metric) spaces? If yes prove it, if not find a counterexample.


Hello jason1996,

well the answer to your question is yes under one condition. $f$ must be defined on either closed or open subsets of the topological space. Try looking up for the final topology.

A little bit general result is the following:

Let $X$ be a topological space and $A_1$ and $A_2$ be subspaces of $X$. Let $g_{i}:A_i\rightarrow Y$ be continous for $i=1,2$. If $g_1$ and $g_2$ coincide on $A_1\cap A_2$ and $A_1$ and $A_2$ are either both open or both closed, then the function $f:X\rightarrow Y$ defined by $f(x)=g_1(x)$ if $x \in A_1$ and $f(x)=g_2(x)$ otherwise is continuous.

Assume that $g_1$ and $g_2$ are given continuous functions that satisfy the hypothesis and $A_1$ and $A_2$ are both open (respectively closed). Let $U$ be an open set (respectively closed set) of $Y$. Then,
$$f^{-1}[U] = g_1^{-1}[U]\cup g_2^{-1}[U]$$ which is a binary union of open (respectively closed) sets in $X$, hence open (closed) by continuity of $g_i$ ($i=1,2$). Hence $f$ is continuous.

_________________
$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_{p \; \text{prime}}\frac{1}{1-p^{-s}}$


Top
Offline Profile  
Reply with quote  

Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 3 posts ] 

All times are UTC [ DST ]


Mathimatikoi Online

Users browsing this forum: No registered users and 0 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
cron
Powered by phpBB® Forum Software © phpBB Group Color scheme created with Colorize It.
Theme created StylerBB.net