Let $X$ be a metric or topological space. $Y\subseteq X$ be its subspace. Let $V\subseteq Y$ be open with respect to the smaller subspace $Y$ (i.e. $V$ may be not open with respect to $X$). Then I wonder is there always an open set $U$ with respect to $X$, such that $U\cap Y=V$?
2026-04-08 18:07:04.1775671624
Does there always exist an open set in bigger space that lying over a given open set in smaller space?
86 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
Yes, there is. For each $x\in V$, there is some $r_x>0$ such that $D(x,r_x)\cap Y\subset V$, by definition of open set in a metric space. So, take $U=\bigcup_{x\in V}D(x,r_x)$, and that will be an open subset of $X$ such that $U\cap Y=V$.