intersection of all neighborhoods of a point in zariski topology.

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite












Consider the affine space $A^n$ with the Zariski topology,
V a variety (with the induced topology) and let $Pin V$ a point. Let B be the set of all neighborhoods of the point P in V. Is it true that $P=bigcaplimits_U_iin B U_i$?



Obviously this is not true on a general topological space (e.g consider the trivial topology where the only open sets are $emptyset$ and the whole space), so the fact that we have Zariski topology is important.



Apart from that, I' m not sure on how to proceed. Intuition tells me that this is indeed true, but given the fact that open sets here are very big in size (they 're dense, so no two open sets can have an empty intersection), I 'm not confident of the result.
Any hint would be welcome.







share|cite|improve this question
























    up vote
    4
    down vote

    favorite












    Consider the affine space $A^n$ with the Zariski topology,
    V a variety (with the induced topology) and let $Pin V$ a point. Let B be the set of all neighborhoods of the point P in V. Is it true that $P=bigcaplimits_U_iin B U_i$?



    Obviously this is not true on a general topological space (e.g consider the trivial topology where the only open sets are $emptyset$ and the whole space), so the fact that we have Zariski topology is important.



    Apart from that, I' m not sure on how to proceed. Intuition tells me that this is indeed true, but given the fact that open sets here are very big in size (they 're dense, so no two open sets can have an empty intersection), I 'm not confident of the result.
    Any hint would be welcome.







    share|cite|improve this question






















      up vote
      4
      down vote

      favorite









      up vote
      4
      down vote

      favorite











      Consider the affine space $A^n$ with the Zariski topology,
      V a variety (with the induced topology) and let $Pin V$ a point. Let B be the set of all neighborhoods of the point P in V. Is it true that $P=bigcaplimits_U_iin B U_i$?



      Obviously this is not true on a general topological space (e.g consider the trivial topology where the only open sets are $emptyset$ and the whole space), so the fact that we have Zariski topology is important.



      Apart from that, I' m not sure on how to proceed. Intuition tells me that this is indeed true, but given the fact that open sets here are very big in size (they 're dense, so no two open sets can have an empty intersection), I 'm not confident of the result.
      Any hint would be welcome.







      share|cite|improve this question












      Consider the affine space $A^n$ with the Zariski topology,
      V a variety (with the induced topology) and let $Pin V$ a point. Let B be the set of all neighborhoods of the point P in V. Is it true that $P=bigcaplimits_U_iin B U_i$?



      Obviously this is not true on a general topological space (e.g consider the trivial topology where the only open sets are $emptyset$ and the whole space), so the fact that we have Zariski topology is important.



      Apart from that, I' m not sure on how to proceed. Intuition tells me that this is indeed true, but given the fact that open sets here are very big in size (they 're dense, so no two open sets can have an empty intersection), I 'm not confident of the result.
      Any hint would be welcome.









      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Aug 9 at 17:55









      Foivos

      35929




      35929




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          4
          down vote



          accepted










          $(a_1,...,a_n)=V(X-a_1,...,X-a_n)$, this implies that $U(a_1,...,a_n)=A^n-(a_1,..,a_n)$ is open.



          $(a_1,..,a_n)=cap U(b_1,...,b_n), (b_1,..,b_n)neq (a_1,..,a_n)$.






          share|cite|improve this answer



























            up vote
            6
            down vote













            Follows from the fact that $Bbb A^n$ is $T_1$ and that subspace of $T_1$ space is $T_1$.






            share|cite|improve this answer




















              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',
              convertImagesToLinks: true,
              noModals: false,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              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%2f2877519%2fintersection-of-all-neighborhoods-of-a-point-in-zariski-topology%23new-answer', 'question_page');

              );

              Post as a guest






























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes








              up vote
              4
              down vote



              accepted










              $(a_1,...,a_n)=V(X-a_1,...,X-a_n)$, this implies that $U(a_1,...,a_n)=A^n-(a_1,..,a_n)$ is open.



              $(a_1,..,a_n)=cap U(b_1,...,b_n), (b_1,..,b_n)neq (a_1,..,a_n)$.






              share|cite|improve this answer
























                up vote
                4
                down vote



                accepted










                $(a_1,...,a_n)=V(X-a_1,...,X-a_n)$, this implies that $U(a_1,...,a_n)=A^n-(a_1,..,a_n)$ is open.



                $(a_1,..,a_n)=cap U(b_1,...,b_n), (b_1,..,b_n)neq (a_1,..,a_n)$.






                share|cite|improve this answer






















                  up vote
                  4
                  down vote



                  accepted







                  up vote
                  4
                  down vote



                  accepted






                  $(a_1,...,a_n)=V(X-a_1,...,X-a_n)$, this implies that $U(a_1,...,a_n)=A^n-(a_1,..,a_n)$ is open.



                  $(a_1,..,a_n)=cap U(b_1,...,b_n), (b_1,..,b_n)neq (a_1,..,a_n)$.






                  share|cite|improve this answer












                  $(a_1,...,a_n)=V(X-a_1,...,X-a_n)$, this implies that $U(a_1,...,a_n)=A^n-(a_1,..,a_n)$ is open.



                  $(a_1,..,a_n)=cap U(b_1,...,b_n), (b_1,..,b_n)neq (a_1,..,a_n)$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Aug 9 at 18:01









                  Tsemo Aristide

                  51.5k11243




                  51.5k11243




















                      up vote
                      6
                      down vote













                      Follows from the fact that $Bbb A^n$ is $T_1$ and that subspace of $T_1$ space is $T_1$.






                      share|cite|improve this answer
























                        up vote
                        6
                        down vote













                        Follows from the fact that $Bbb A^n$ is $T_1$ and that subspace of $T_1$ space is $T_1$.






                        share|cite|improve this answer






















                          up vote
                          6
                          down vote










                          up vote
                          6
                          down vote









                          Follows from the fact that $Bbb A^n$ is $T_1$ and that subspace of $T_1$ space is $T_1$.






                          share|cite|improve this answer












                          Follows from the fact that $Bbb A^n$ is $T_1$ and that subspace of $T_1$ space is $T_1$.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Aug 9 at 18:00









                          Kenny Lau

                          18.8k2157




                          18.8k2157






















                               

                              draft saved


                              draft discarded


























                               


                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function ()
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2877519%2fintersection-of-all-neighborhoods-of-a-point-in-zariski-topology%23new-answer', 'question_page');

                              );

                              Post as a guest













































































                              這個網誌中的熱門文章

                              Is there any way to eliminate the singular point to solve this integral by hand or by approximations?

                              Why am i infinitely getting the same tweet with the Twitter Search API?

                              Carbon dioxide