Intereting Posts

uniqueness of Hahn-Banach extension for convex dual spaces
The area of the region $|x-ay| \le c$ for $0 \le x \le 1$ and $0 \le y \le 1$
The number of Sylow subgroups on $G$ with $|G|=pqr$
Proving that any polynomial $p:\mathbb{R}\rightarrow \mathbb{R}$ is not bounded, but its restriction to any bounded set is bounded
Find value of '$t$' at a point on a cubic Bezier curve
Arranging indistinguishable objects in a circle
$\limsup$ and cluster points
Show $\Bbb R ^n$ with a finite set removed is still connected.
Use Nakayama's Lemma to show that $I$ is principal, generated by an idempotent.
Let. $X \sim \mathcal{U}(0,1)$. Given $X = x$, let $Y \sim \mathcal{U}(0,x)$. How can I calculate $\mathbb{E}(X|Y = y)$?
Integration of $\displaystyle \int\frac{1}{1+x^8}\,dx$
invariance of integrals for homotopy equivalent spaces
Is ln(n) transcendental for all integer $n > 1$?
extension of automorphism of field to algebraically closed field
Show $a_{n+1}=\sqrt{2+a_n},a_1=\sqrt2$ is monotone increasing and bounded by $2$; what is the limit?

Let $X$ be a locally compact and Hausdorff space. Show that if $Y \subset X$ is locally compact, then $Y$ is locally closed, in essence $Y$ is an open subset of $\overline{Y}$, where $\overline{Y}$ has the subspace topology inherited by $X$.

I really don’t have any ideas how to go about this. Any help will be most appreciated!

- Example of a first-countable non-$T_1$ compact topological space which is not sequentially compact?
- Existence of a continuous function which does not achieve a maximum.
- Proof that a product of two quasi-compact spaces is quasi-compact without Axiom of Choice
- Stone–Čech compactification of $\mathbb{N}, \mathbb{Q}$ and $\mathbb{R}$
- Can a function have a strict local extremum at each point?
- $K\subseteq \mathbb{R}^n$ is a compact space iff every continuous function in $K$ is bounded.

- What tools are used to show a type of convergence is or is not topologizable?
- $A \subset \mathbb{R^n}$, $n \geq 2$, such that $A$ is homeomorphic to $\mathbb{R^n} \setminus A$, and $A$ is connected
- Topology on cartesian product and product topology.
- If $\tau_1, \tau_2,\tau_3$ then which are correct?
- topologies of spaces in escher games
- Spaces with the property: Uniformly continuous equals continuous
- Quasi Cauchy sequences in general topology?
- Extreme points of unit ball in $C(X)$
- Two continuous functions that are the same in the rationals.
- Sphere-sphere intersection is not a surface

You can actually get away with $X$ being just Hausdorff.

Note that it suffices to show that every $y \in Y$ has an open neighbourhood $U$ (in $X$) such that $U \cap \overline{Y} \subseteq Y$.

By local compactness of $Y$ (and definition of the subspace topology) $y \in Y$ has an open neighbourhood $U$ in $X$ such that $\mathrm{cl}_Y ( U \cap Y ) = \overline{U} \cap Y$ is compact, and hence closed in $X$. As $U \cap Y \subseteq \overline{U} \cap Y$ it follows that $\overline{U \cap Y } \subseteq \overline{U} \cap Y \subseteq Y$ and so

$$U \cap \overline{Y} \subseteq \overline{ U \cap \overline{Y} } = \overline{ U \cap Y} \subseteq Y,$$ as required.

For the equality $\overline{ U \cap \overline{Y} } = \overline{ U \cap Y}$, note that $\supseteq$ is trivial. For the opposite inclusion given $x \in \overline{ U \cap \overline{Y} }$ and any neighbourhood $V$ of $x$ it must be that $(V \cap U ) \cap \overline{Y} = V \cap ( U \cap \overline{Y} ) \neq \emptyset$, and as $U \cap V$ is open it must be that $V \cap ( U \cap Y ) = ( U \cap V ) \cap Y \neq \emptyset$. Thus $x \in \overline{ U \cap Y }$.

- Fourier transform of sine and cosine function
- How many subgroups of $\Bbb{Z}_4 \times \Bbb{Z}_6$?
- Evaluating the integral with trigonometric integrand
- Series $\sum\limits_{n=0}^{\infty}\frac{n+1}{2^n}$
- Are primes randomly distributed?
- Range of a Rational Function
- The Formula to this Sequence Series
- Is it possible to describe the Collatz function in one formula?
- A structural proof that $ax=xa$ forms a monoid
- Show that the countable product of metric spaces is metrizable
- In $ \triangle ABC$ show that $ 1 \lt \cos A + \cos B + \cos C \le \frac 32$
- Limit of Gaussian random variables is Gaussian?
- Calculate $\pi_2(S^2 \vee S^1)$
- Consistent choice of elements in inverse directed system
- Why is the derivative of sine the cosine in radians but not in degrees?