Otdfbt

What does Linus Torvalds mean when he says that Git "never ever" tracks a file?

Did Section 31 appear in Star Trek: The Next Generation?

Protecting Dualbooting Windows from dangerous code (like rm -rf)

What could be the right powersource for 15 seconds lifespan disposable giant chainsaw?

Building a conditional check constraint

Why isn't airport relocation done gradually?

Does the shape of a die affect the probability of a number being rolled?

If I score a critical hit on an 18 or higher, what are my chances of getting a critical hit if I roll 3d20?

Did 3000BC Egyptians use meteoric iron weapons?

How to support a colleague who finds meetings extremely tiring?

If a Druid sees an animal’s corpse, can they wild shape into that animal?

Right tool to dig six foot holes?

Can a flute soloist sit?

Can we generate random numbers using irrational numbers like π and e?

For what reasons would an animal species NOT cross a *horizontal* land bridge?

Falsification in Math vs Science

Pokemon Turn Based battle (Python)

One word riddle: Vowel in the middle

Which Sci-Fi work first showed weapon of galactic-scale mass destruction?

Geography at the pixel level

What tool would a Roman-age civilization have for the breaking of silver and other metals into dust?

Why is the maximum length of OpenWrt’s root password 8 characters?

FPGA - DIY Programming

What to do when moving next to a bird sanctuary with a loosely-domesticated cat?

a relationship between local compactness and closure

3

1

$begingroup$

Suppose that $X$ is a Hausdorff locally compact space and $S$ a subset of $X$. Let $xin X$ and suppose that every compact neighborhood of $x$ intersects $S$. Does it follow that $x$ lies in the closure of $S$?

general-topology

share|cite|improve this question

asked Apr 6 at 15:08

User12239User12239

364216

$endgroup$

add a comment | 

3

1

$begingroup$

Suppose that $X$ is a Hausdorff locally compact space and $S$ a subset of $X$. Let $xin X$ and suppose that every compact neighborhood of $x$ intersects $S$. Does it follow that $x$ lies in the closure of $S$?

general-topology

share|cite|improve this question

asked Apr 6 at 15:08

User12239User12239

364216

$endgroup$

add a comment | 

$begingroup$

Suppose that $X$ is a Hausdorff locally compact space and $S$ a subset of $X$. Let $xin X$ and suppose that every compact neighborhood of $x$ intersects $S$. Does it follow that $x$ lies in the closure of $S$?

general-topology

share|cite|improve this question

asked Apr 6 at 15:08

User12239User12239

364216

$endgroup$

share|cite|improve this question

asked Apr 6 at 15:08

User12239User12239

364216

share|cite|improve this question

asked Apr 6 at 15:08

User12239User12239

364216

asked Apr 6 at 15:08

User12239User12239

364216

asked Apr 6 at 15:08

User12239User12239

364216

2 Answers
2

active

oldest

votes

2

$begingroup$

Yes, it is true. Since $X$ is locally compact and Hausdorff, given a neighborhood $U$ of $x$ in $X$, we can find a neighborhood $V$ such that $overline V$ is compact and $overline Vsubseteq U$. As every compact neighborhood of $x$ intersects with $S$, $overline Vcap Sneq emptyset$ $implies Ucap Sneq emptyset$.

share|cite|improve this answer

edited Apr 6 at 15:25

answered Apr 6 at 15:20

Thomas ShelbyThomas Shelby

4,7362727

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Yes I was doubting if every neighborhood has a compact neighborhood so I need to prove this fact now
  $endgroup$
  – User12239
  Apr 6 at 15:26
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  You can find a proof in 'Topology' by Munkres.
  $endgroup$
  – Thomas Shelby
  Apr 6 at 15:28
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Also see this.
  $endgroup$
  – Thomas Shelby
  Apr 6 at 15:31
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Thanks I’m looking them up
  $endgroup$
  – User12239
  Apr 6 at 15:33
  

  
  
  
  

add a comment | 

2

$begingroup$

In this case ($X$ being locally compact Hausdorff) for every point $x$ of $X$, every neighbourhood of $x$ contains a compact neighbourhood of $x$ - see.

Then any neighbourhood of $x$ contains a compact neighbourhood which intersects $S$, so $xin barS$

share|cite|improve this answer

answered Apr 6 at 15:18

MaksimMaksim

1,01719

$endgroup$

add a comment | 

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

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3177090%2fa-relationship-between-local-compactness-and-closure%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

2

$begingroup$

Yes, it is true. Since $X$ is locally compact and Hausdorff, given a neighborhood $U$ of $x$ in $X$, we can find a neighborhood $V$ such that $overline V$ is compact and $overline Vsubseteq U$. As every compact neighborhood of $x$ intersects with $S$, $overline Vcap Sneq emptyset$ $implies Ucap Sneq emptyset$.

share|cite|improve this answer

edited Apr 6 at 15:25

answered Apr 6 at 15:20

Thomas ShelbyThomas Shelby

4,7362727

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Yes I was doubting if every neighborhood has a compact neighborhood so I need to prove this fact now
  $endgroup$
  – User12239
  Apr 6 at 15:26
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  You can find a proof in 'Topology' by Munkres.
  $endgroup$
  – Thomas Shelby
  Apr 6 at 15:28
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Also see this.
  $endgroup$
  – Thomas Shelby
  Apr 6 at 15:31
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Thanks I’m looking them up
  $endgroup$
  – User12239
  Apr 6 at 15:33
  

  
  
  
  

add a comment | 

2

$begingroup$

Yes, it is true. Since $X$ is locally compact and Hausdorff, given a neighborhood $U$ of $x$ in $X$, we can find a neighborhood $V$ such that $overline V$ is compact and $overline Vsubseteq U$. As every compact neighborhood of $x$ intersects with $S$, $overline Vcap Sneq emptyset$ $implies Ucap Sneq emptyset$.

share|cite|improve this answer

edited Apr 6 at 15:25

answered Apr 6 at 15:20

Thomas ShelbyThomas Shelby

4,7362727

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Yes I was doubting if every neighborhood has a compact neighborhood so I need to prove this fact now
  $endgroup$
  – User12239
  Apr 6 at 15:26
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  You can find a proof in 'Topology' by Munkres.
  $endgroup$
  – Thomas Shelby
  Apr 6 at 15:28
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Also see this.
  $endgroup$
  – Thomas Shelby
  Apr 6 at 15:31
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Thanks I’m looking them up
  $endgroup$
  – User12239
  Apr 6 at 15:33
  

  
  
  
  

add a comment | 

$begingroup$

Yes, it is true. Since $X$ is locally compact and Hausdorff, given a neighborhood $U$ of $x$ in $X$, we can find a neighborhood $V$ such that $overline V$ is compact and $overline Vsubseteq U$. As every compact neighborhood of $x$ intersects with $S$, $overline Vcap Sneq emptyset$ $implies Ucap Sneq emptyset$.

share|cite|improve this answer

edited Apr 6 at 15:25

answered Apr 6 at 15:20

Thomas ShelbyThomas Shelby

4,7362727

$endgroup$

share|cite|improve this answer

edited Apr 6 at 15:25

answered Apr 6 at 15:20

Thomas ShelbyThomas Shelby

4,7362727

answered Apr 6 at 15:20

Thomas ShelbyThomas Shelby

4,7362727

answered Apr 6 at 15:20

Thomas ShelbyThomas Shelby

4,7362727

2

$begingroup$

In this case ($X$ being locally compact Hausdorff) for every point $x$ of $X$, every neighbourhood of $x$ contains a compact neighbourhood of $x$ - see.

Then any neighbourhood of $x$ contains a compact neighbourhood which intersects $S$, so $xin barS$

share|cite|improve this answer

answered Apr 6 at 15:18

MaksimMaksim

1,01719

$endgroup$

add a comment | 

2

$begingroup$

In this case ($X$ being locally compact Hausdorff) for every point $x$ of $X$, every neighbourhood of $x$ contains a compact neighbourhood of $x$ - see.

Then any neighbourhood of $x$ contains a compact neighbourhood which intersects $S$, so $xin barS$

share|cite|improve this answer

answered Apr 6 at 15:18

MaksimMaksim

1,01719

$endgroup$

add a comment | 

$begingroup$

In this case ($X$ being locally compact Hausdorff) for every point $x$ of $X$, every neighbourhood of $x$ contains a compact neighbourhood of $x$ - see.

Then any neighbourhood of $x$ contains a compact neighbourhood which intersects $S$, so $xin barS$

share|cite|improve this answer

answered Apr 6 at 15:18

MaksimMaksim

1,01719

$endgroup$

share|cite|improve this answer

answered Apr 6 at 15:18

MaksimMaksim

1,01719

answered Apr 6 at 15:18

MaksimMaksim

1,01719

answered Apr 6 at 15:18

MaksimMaksim

1,01719