Continuity at a point in terms of closure The 2019 Stack Overflow Developer Survey Results Are InSet Closure Union and IntersectionContinuity of a function through adherence of subsetsConvex set with empty interior is nowhere dense?Is preimage of closure equal to closure of preimage under continuous topological maps?How to show the logical equivalence of the following two definitions of continuity in a topological space?Given $A subseteq X$ in the discrete and the trivial topology, find closure of $A$Show two notions of dense are equivalentEquivalent definitions of continuity at a pointAbout continuity and clousureEquivalent definition of irreducible topological subspace.

Short story: child made less intelligent and less attractive

How to support a colleague who finds meetings extremely tiring?

Pokemon Turn Based battle (Python)

What is this sharp, curved notch on my knife for?

Why don't hard Brexiteers insist on a hard border to prevent illegal immigration after Brexit?

Why isn't the circumferential light around the M87 black hole's event horizon symmetric?

How to type this arrow in math mode?

Correct punctuation for showing a character's confusion

How much of the clove should I use when using big garlic heads?

RequirePermission not working

Can withdrawing asylum be illegal?

How can I add encounters in the Lost Mine of Phandelver campaign without giving PCs too much XP?

What is the motivation for a law requiring 2 parties to consent for recording a conversation

Button changing its text & action. Good or terrible?

What force causes entropy to increase?

A word that means fill it to the required quantity

Ubuntu Server install with full GUI

Are spiders unable to hurt humans, especially very small spiders?

Why are there uneven bright areas in this photo of black hole?

What do hard-Brexiteers want with respect to the Irish border?

Why didn't the Event Horizon Telescope team mention Sagittarius A*?

Can an undergraduate be advised by a professor who is very far away?

Is it safe to harvest rainwater that fell on solar panels?

If my opponent casts Ultimate Price on my Phantasmal Bear, can I save it by casting Snap or Curfew?



Continuity at a point in terms of closure



The 2019 Stack Overflow Developer Survey Results Are InSet Closure Union and IntersectionContinuity of a function through adherence of subsetsConvex set with empty interior is nowhere dense?Is preimage of closure equal to closure of preimage under continuous topological maps?How to show the logical equivalence of the following two definitions of continuity in a topological space?Given $A subseteq X$ in the discrete and the trivial topology, find closure of $A$Show two notions of dense are equivalentEquivalent definitions of continuity at a pointAbout continuity and clousureEquivalent definition of irreducible topological subspace.










4












$begingroup$


If $X$ and $Y$ are topological spaces, for $f:Xto Y$ to be continuous at $x_0in X$ it is necessary that $Asubseteq X land x_0inoverlineA implies f(x_0)inoverlinef(A)$.



I was wondering whether it is also sufficient. A proof or counterexample would be much appreciated!



Proof (necessity): Let $V$ be a neighborhood of $f(x_0)$. Since $f$ is continuous, $f^-1(V)$ is a neighborhood of $x_0$ in $X$. Since $x_0inoverlineA$, we have $Acap f^-1(V)neqvarnothing$. Let $xin Acap f^-1(V)$. Then $f(x)in f(A)cap V$, so that $f(A)cap Vneqvarnothing$; since this holds for any neighborhood $V$ of $f(x_0)$, we have $f(x_0)inoverlinef(A)$.










share|cite|improve this question









$endgroup$
















    4












    $begingroup$


    If $X$ and $Y$ are topological spaces, for $f:Xto Y$ to be continuous at $x_0in X$ it is necessary that $Asubseteq X land x_0inoverlineA implies f(x_0)inoverlinef(A)$.



    I was wondering whether it is also sufficient. A proof or counterexample would be much appreciated!



    Proof (necessity): Let $V$ be a neighborhood of $f(x_0)$. Since $f$ is continuous, $f^-1(V)$ is a neighborhood of $x_0$ in $X$. Since $x_0inoverlineA$, we have $Acap f^-1(V)neqvarnothing$. Let $xin Acap f^-1(V)$. Then $f(x)in f(A)cap V$, so that $f(A)cap Vneqvarnothing$; since this holds for any neighborhood $V$ of $f(x_0)$, we have $f(x_0)inoverlinef(A)$.










    share|cite|improve this question









    $endgroup$














      4












      4








      4





      $begingroup$


      If $X$ and $Y$ are topological spaces, for $f:Xto Y$ to be continuous at $x_0in X$ it is necessary that $Asubseteq X land x_0inoverlineA implies f(x_0)inoverlinef(A)$.



      I was wondering whether it is also sufficient. A proof or counterexample would be much appreciated!



      Proof (necessity): Let $V$ be a neighborhood of $f(x_0)$. Since $f$ is continuous, $f^-1(V)$ is a neighborhood of $x_0$ in $X$. Since $x_0inoverlineA$, we have $Acap f^-1(V)neqvarnothing$. Let $xin Acap f^-1(V)$. Then $f(x)in f(A)cap V$, so that $f(A)cap Vneqvarnothing$; since this holds for any neighborhood $V$ of $f(x_0)$, we have $f(x_0)inoverlinef(A)$.










      share|cite|improve this question









      $endgroup$




      If $X$ and $Y$ are topological spaces, for $f:Xto Y$ to be continuous at $x_0in X$ it is necessary that $Asubseteq X land x_0inoverlineA implies f(x_0)inoverlinef(A)$.



      I was wondering whether it is also sufficient. A proof or counterexample would be much appreciated!



      Proof (necessity): Let $V$ be a neighborhood of $f(x_0)$. Since $f$ is continuous, $f^-1(V)$ is a neighborhood of $x_0$ in $X$. Since $x_0inoverlineA$, we have $Acap f^-1(V)neqvarnothing$. Let $xin Acap f^-1(V)$. Then $f(x)in f(A)cap V$, so that $f(A)cap Vneqvarnothing$; since this holds for any neighborhood $V$ of $f(x_0)$, we have $f(x_0)inoverlinef(A)$.







      general-topology continuity






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Apr 7 at 16:29









      BlondCaféBlondCafé

      364




      364




















          2 Answers
          2






          active

          oldest

          votes


















          3












          $begingroup$

          Let $Vsubset Y$ be an open such that $f(x_0)in V$. If $x_0 in overlinef^-1(Ysetminus V)$, then $f(x_o)in overlinef(f^-1(Ysetminus V))subset overlineYsetminus V= Ysetminus V$, a contradiction, so $x_0 notin overlinef^-1(Ysetminus V)$. Then, if $U = Xsetminus overlinef^-1(Ysetminus V)$ is an open in $X$ such that $x_0in U$, and $f(U)subset V$, so $f$ is continuous in $x_0$.






          share|cite|improve this answer









          $endgroup$




















            2












            $begingroup$

            It's also sufficient: let $y=f(x_0)$ and $y in V$, $V$ open in $Y$.
            We want to find (for continuity at $x_0$) find some open neighbourhood $U$ of $x_0$ such that $f[U] subseteq V$.



            Suppose that this would fail, then for every neighbourhood $U$ of $x_0$ we would have $f[U] nsubseteq V$, or equivalently $U cap f^-1[Ysetminus V] neq emptyset$.



            It follows that then $x_0 in overlinef^-1[Ysetminus V]$ and so the assumption on $f$ would imply that $y=f(x_0) in overlinef[f^-1[Ysetminus V]]$. But $f[f^-1[B]] subseteq B$ for any $B$ so we'd deduce that $y in overlineYsetminus V = Ysetminus V$ which is nonsense. So contradiction and such a $U$ must exist.






            share|cite|improve this answer









            $endgroup$













              Your Answer





              StackExchange.ifUsing("editor", function ()
              return StackExchange.using("mathjaxEditing", function ()
              StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
              StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
              );
              );
              , "mathjax-editing");

              StackExchange.ready(function()
              var channelOptions =
              tags: "".split(" "),
              id: "69"
              ;
              initTagRenderer("".split(" "), "".split(" "), channelOptions);

              StackExchange.using("externalEditor", function()
              // Have to fire editor after snippets, if snippets enabled
              if (StackExchange.settings.snippets.snippetsEnabled)
              StackExchange.using("snippets", function()
              createEditor();
              );

              else
              createEditor();

              );

              function createEditor()
              StackExchange.prepareEditor(
              heartbeatType: 'answer',
              autoActivateHeartbeat: false,
              convertImagesToLinks: true,
              noModals: true,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              imageUploader:
              brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
              contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
              allowUrls: true
              ,
              noCode: true, onDemand: true,
              discardSelector: ".discard-answer"
              ,immediatelyShowMarkdownHelp:true
              );



              );













              draft saved

              draft discarded


















              StackExchange.ready(
              function ()
              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3178435%2fcontinuity-at-a-point-in-terms-of-closure%23new-answer', 'question_page');

              );

              Post as a guest















              Required, but never shown

























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              3












              $begingroup$

              Let $Vsubset Y$ be an open such that $f(x_0)in V$. If $x_0 in overlinef^-1(Ysetminus V)$, then $f(x_o)in overlinef(f^-1(Ysetminus V))subset overlineYsetminus V= Ysetminus V$, a contradiction, so $x_0 notin overlinef^-1(Ysetminus V)$. Then, if $U = Xsetminus overlinef^-1(Ysetminus V)$ is an open in $X$ such that $x_0in U$, and $f(U)subset V$, so $f$ is continuous in $x_0$.






              share|cite|improve this answer









              $endgroup$

















                3












                $begingroup$

                Let $Vsubset Y$ be an open such that $f(x_0)in V$. If $x_0 in overlinef^-1(Ysetminus V)$, then $f(x_o)in overlinef(f^-1(Ysetminus V))subset overlineYsetminus V= Ysetminus V$, a contradiction, so $x_0 notin overlinef^-1(Ysetminus V)$. Then, if $U = Xsetminus overlinef^-1(Ysetminus V)$ is an open in $X$ such that $x_0in U$, and $f(U)subset V$, so $f$ is continuous in $x_0$.






                share|cite|improve this answer









                $endgroup$















                  3












                  3








                  3





                  $begingroup$

                  Let $Vsubset Y$ be an open such that $f(x_0)in V$. If $x_0 in overlinef^-1(Ysetminus V)$, then $f(x_o)in overlinef(f^-1(Ysetminus V))subset overlineYsetminus V= Ysetminus V$, a contradiction, so $x_0 notin overlinef^-1(Ysetminus V)$. Then, if $U = Xsetminus overlinef^-1(Ysetminus V)$ is an open in $X$ such that $x_0in U$, and $f(U)subset V$, so $f$ is continuous in $x_0$.






                  share|cite|improve this answer









                  $endgroup$



                  Let $Vsubset Y$ be an open such that $f(x_0)in V$. If $x_0 in overlinef^-1(Ysetminus V)$, then $f(x_o)in overlinef(f^-1(Ysetminus V))subset overlineYsetminus V= Ysetminus V$, a contradiction, so $x_0 notin overlinef^-1(Ysetminus V)$. Then, if $U = Xsetminus overlinef^-1(Ysetminus V)$ is an open in $X$ such that $x_0in U$, and $f(U)subset V$, so $f$ is continuous in $x_0$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Apr 7 at 17:06









                  guchiheguchihe

                  21919




                  21919





















                      2












                      $begingroup$

                      It's also sufficient: let $y=f(x_0)$ and $y in V$, $V$ open in $Y$.
                      We want to find (for continuity at $x_0$) find some open neighbourhood $U$ of $x_0$ such that $f[U] subseteq V$.



                      Suppose that this would fail, then for every neighbourhood $U$ of $x_0$ we would have $f[U] nsubseteq V$, or equivalently $U cap f^-1[Ysetminus V] neq emptyset$.



                      It follows that then $x_0 in overlinef^-1[Ysetminus V]$ and so the assumption on $f$ would imply that $y=f(x_0) in overlinef[f^-1[Ysetminus V]]$. But $f[f^-1[B]] subseteq B$ for any $B$ so we'd deduce that $y in overlineYsetminus V = Ysetminus V$ which is nonsense. So contradiction and such a $U$ must exist.






                      share|cite|improve this answer









                      $endgroup$

















                        2












                        $begingroup$

                        It's also sufficient: let $y=f(x_0)$ and $y in V$, $V$ open in $Y$.
                        We want to find (for continuity at $x_0$) find some open neighbourhood $U$ of $x_0$ such that $f[U] subseteq V$.



                        Suppose that this would fail, then for every neighbourhood $U$ of $x_0$ we would have $f[U] nsubseteq V$, or equivalently $U cap f^-1[Ysetminus V] neq emptyset$.



                        It follows that then $x_0 in overlinef^-1[Ysetminus V]$ and so the assumption on $f$ would imply that $y=f(x_0) in overlinef[f^-1[Ysetminus V]]$. But $f[f^-1[B]] subseteq B$ for any $B$ so we'd deduce that $y in overlineYsetminus V = Ysetminus V$ which is nonsense. So contradiction and such a $U$ must exist.






                        share|cite|improve this answer









                        $endgroup$















                          2












                          2








                          2





                          $begingroup$

                          It's also sufficient: let $y=f(x_0)$ and $y in V$, $V$ open in $Y$.
                          We want to find (for continuity at $x_0$) find some open neighbourhood $U$ of $x_0$ such that $f[U] subseteq V$.



                          Suppose that this would fail, then for every neighbourhood $U$ of $x_0$ we would have $f[U] nsubseteq V$, or equivalently $U cap f^-1[Ysetminus V] neq emptyset$.



                          It follows that then $x_0 in overlinef^-1[Ysetminus V]$ and so the assumption on $f$ would imply that $y=f(x_0) in overlinef[f^-1[Ysetminus V]]$. But $f[f^-1[B]] subseteq B$ for any $B$ so we'd deduce that $y in overlineYsetminus V = Ysetminus V$ which is nonsense. So contradiction and such a $U$ must exist.






                          share|cite|improve this answer









                          $endgroup$



                          It's also sufficient: let $y=f(x_0)$ and $y in V$, $V$ open in $Y$.
                          We want to find (for continuity at $x_0$) find some open neighbourhood $U$ of $x_0$ such that $f[U] subseteq V$.



                          Suppose that this would fail, then for every neighbourhood $U$ of $x_0$ we would have $f[U] nsubseteq V$, or equivalently $U cap f^-1[Ysetminus V] neq emptyset$.



                          It follows that then $x_0 in overlinef^-1[Ysetminus V]$ and so the assumption on $f$ would imply that $y=f(x_0) in overlinef[f^-1[Ysetminus V]]$. But $f[f^-1[B]] subseteq B$ for any $B$ so we'd deduce that $y in overlineYsetminus V = Ysetminus V$ which is nonsense. So contradiction and such a $U$ must exist.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Apr 7 at 17:07









                          Henno BrandsmaHenno Brandsma

                          116k349127




                          116k349127



























                              draft saved

                              draft discarded
















































                              Thanks for contributing an answer to Mathematics Stack Exchange!


                              • Please be sure to answer the question. Provide details and share your research!

                              But avoid


                              • Asking for help, clarification, or responding to other answers.

                              • Making statements based on opinion; back them up with references or personal experience.

                              Use MathJax to format equations. MathJax reference.


                              To learn more, see our tips on writing great answers.




                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function ()
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3178435%2fcontinuity-at-a-point-in-terms-of-closure%23new-answer', 'question_page');

                              );

                              Post as a guest















                              Required, but never shown





















































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown

































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown







                              Popular posts from this blog

                              Wikipedia:Vital articles Мазмуну Biography - Өмүр баян Philosophy and psychology - Философия жана психология Religion - Дин Social sciences - Коомдук илимдер Language and literature - Тил жана адабият Science - Илим Technology - Технология Arts and recreation - Искусство жана эс алуу History and geography - Тарых жана география Навигация менюсу

                              Club Baloncesto Breogán Índice Historia | Pavillón | Nome | O Breogán na cultura popular | Xogadores | Adestradores | Presidentes | Palmarés | Historial | Líderes | Notas | Véxase tamén | Menú de navegacióncbbreogan.galCadroGuía oficial da ACB 2009-10, páxina 201Guía oficial ACB 1992, páxina 183. Editorial DB.É de 6.500 espectadores sentados axeitándose á última normativa"Estudiantes Junior, entre as mellores canteiras"o orixinalHemeroteca El Mundo Deportivo, 16 setembro de 1970, páxina 12Historia do BreogánAlfredo Pérez, o último canoneiroHistoria C.B. BreogánHemeroteca de El Mundo DeportivoJimmy Wright, norteamericano do Breogán deixará Lugo por ameazas de morteResultados de Breogán en 1986-87Resultados de Breogán en 1990-91Ficha de Velimir Perasović en acb.comResultados de Breogán en 1994-95Breogán arrasa al Barça. "El Mundo Deportivo", 27 de setembro de 1999, páxina 58CB Breogán - FC BarcelonaA FEB invita a participar nunha nova Liga EuropeaCharlie Bell na prensa estatalMáximos anotadores 2005Tempada 2005-06 : Tódolos Xogadores da Xornada""Non quero pensar nunha man negra, mais pregúntome que está a pasar""o orixinalRaúl López, orgulloso dos xogadores, presume da boa saúde económica do BreogánJulio González confirma que cesa como presidente del BreogánHomenaxe a Lisardo GómezA tempada do rexurdimento celesteEntrevista a Lisardo GómezEl COB dinamita el Pazo para forzar el quinto (69-73)Cafés Candelas, patrocinador del CB Breogán"Suso Lázare, novo presidente do Breogán"o orixinalCafés Candelas Breogán firma el mayor triunfo de la historiaEl Breogán realizará 17 homenajes por su cincuenta aniversario"O Breogán honra ao seu fundador e primeiro presidente"o orixinalMiguel Giao recibiu a homenaxe do PazoHomenaxe aos primeiros gladiadores celestesO home que nos amosa como ver o Breo co corazónTita Franco será homenaxeada polos #50anosdeBreoJulio Vila recibirá unha homenaxe in memoriam polos #50anosdeBreo"O Breogán homenaxeará aos seus aboados máis veteráns"Pechada ovación a «Capi» Sanmartín e Ricardo «Corazón de González»Homenaxe por décadas de informaciónPaco García volve ao Pazo con motivo do 50 aniversario"Resultados y clasificaciones""O Cafés Candelas Breogán, campión da Copa Princesa""O Cafés Candelas Breogán, equipo ACB"C.B. Breogán"Proxecto social"o orixinal"Centros asociados"o orixinalFicha en imdb.comMario Camus trata la recuperación del amor en 'La vieja música', su última película"Páxina web oficial""Club Baloncesto Breogán""C. B. Breogán S.A.D."eehttp://www.fegaba.com

                              What should I write in an apology letter, since I have decided not to join a company after accepting an offer letterShould I keep looking after accepting a job offer?What should I do when I've been verbally told I would get an offer letter, but still haven't gotten one after 4 weeks?Do I accept an offer from a company that I am not likely to join?New job hasn't confirmed starting date and I want to give current employer as much notice as possibleHow should I address my manager in my resignation letter?HR delayed background verification, now jobless as resignedNo email communication after accepting a formal written offer. How should I phrase the call?What should I do if after receiving a verbal offer letter I am informed that my written job offer is put on hold due to some internal issues?Should I inform the current employer that I am about to resign within 1-2 weeks since I have signed the offer letter and waiting for visa?What company will do, if I send their offer letter to another company