Mryntu

Can a Warlock become Neutral Good?

LaTeX closing $ signs makes cursor jump

In Japanese, what’s the difference between “Tonari ni” (となりに) and “Tsugi” (つぎ)? When would you use one over the other?

Test if tikzmark exists on same page

Mathematical cryptic clues

Schoenfled Residua test shows proportionality hazard assumptions holds but Kaplan-Meier plots intersect

Why doesn't H₄O²⁺ exist?

What do "features" mean/refer to in this sentence?

Why doesn't Newton's third law mean a person bounces back to where they started when they hit the ground?

Why don't electron-positron collisions release infinite energy?

Why are electrically insulating heatsinks so rare? Is it just cost?

Prove that NP is closed under karp reduction?

Voyeurism but not really

Approximately how much travel time was saved by the opening of the Suez Canal in 1869?

Can I make popcorn with any corn?

How is the claim "I am in New York only if I am in America" the same as "If I am in New York, then I am in America?

Watching something be written to a file live with tail

Collect Fourier series terms

Email Account under attack (really) - anything I can do?

Why Is Death Allowed In the Matrix?

Why do I get two different answers for this counting problem?

Is it legal for company to use my work email to pretend I still work there?

Risk of getting Chronic Wasting Disease (CWD) in the United States?

Is it important to consider tone, melody, and musical form while writing a song?

a relationship between local compactness and closure

Equivalent definition of locally compact when $X$ is Hausdorff. How did they get $overlineV cap C$ is empty?Lifting local compactness in covering spacesLocal compactness exerciseLocal compactness in an open subsetcompact and locally Hausdorff, but not locally compactWhat is the relationship between completeness and local compactness?Definition of local compactnessTwo (maybe nonequivalent) definitions of local compactnessCompact Hausdorff space, local compactnessCompact Hausdorff Spaces and their local compactnessThe local compactness and being Hausdorff

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 7 hours ago

User12239User12239

367216

$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 7 hours ago

User12239User12239

367216

$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 7 hours ago

User12239User12239

367216

$endgroup$

share|cite|improve this question

asked 7 hours ago

User12239User12239

367216

share|cite|improve this question

asked 7 hours ago

User12239User12239

367216

asked 7 hours ago

User12239User12239

367216

asked 7 hours ago

User12239User12239

367216

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 7 hours ago

answered 7 hours ago

Thomas ShelbyThomas Shelby

4,7112727

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Yes I was doubting if every neighborhood has a compact neighborhood so I need to prove this fact now
  $endgroup$
  – User12239
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  You can find a proof in 'Topology' by Munkres.
  $endgroup$
  – Thomas Shelby
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Also see this.
  $endgroup$
  – Thomas Shelby
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Thanks I’m looking them up
  $endgroup$
  – User12239
  7 hours ago
  

  
  
  
  

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 7 hours ago

MaksimMaksim

1,00719

$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 7 hours ago

answered 7 hours ago

Thomas ShelbyThomas Shelby

4,7112727

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Yes I was doubting if every neighborhood has a compact neighborhood so I need to prove this fact now
  $endgroup$
  – User12239
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  You can find a proof in 'Topology' by Munkres.
  $endgroup$
  – Thomas Shelby
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Also see this.
  $endgroup$
  – Thomas Shelby
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Thanks I’m looking them up
  $endgroup$
  – User12239
  7 hours ago
  

  
  
  
  

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 7 hours ago

answered 7 hours ago

Thomas ShelbyThomas Shelby

4,7112727

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Yes I was doubting if every neighborhood has a compact neighborhood so I need to prove this fact now
  $endgroup$
  – User12239
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  You can find a proof in 'Topology' by Munkres.
  $endgroup$
  – Thomas Shelby
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Also see this.
  $endgroup$
  – Thomas Shelby
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Thanks I’m looking them up
  $endgroup$
  – User12239
  7 hours ago
  

  
  
  
  

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 7 hours ago

answered 7 hours ago

Thomas ShelbyThomas Shelby

4,7112727

$endgroup$

share|cite|improve this answer

edited 7 hours ago

answered 7 hours ago

Thomas ShelbyThomas Shelby

4,7112727

answered 7 hours ago

Thomas ShelbyThomas Shelby

4,7112727

answered 7 hours ago

Thomas ShelbyThomas Shelby

4,7112727

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 7 hours ago

MaksimMaksim

1,00719

$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 7 hours ago

MaksimMaksim

1,00719

$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 7 hours ago

MaksimMaksim

1,00719

$endgroup$

share|cite|improve this answer

answered 7 hours ago

MaksimMaksim

1,00719

answered 7 hours ago

MaksimMaksim

1,00719

answered 7 hours ago

MaksimMaksim

1,00719