How to obtain $V_1$ and $V_2$ such that $f(V_1 \times V_2) \subseteq U$?

Let $X$ be a topological vector space and $x^\star, y^\star\in X$. Let $\lambda \in (0, 1)$. We define a map $f: X \times X \to X$ by $f(x, y) = \lambda x + (1-\lambda)y$. Then $f$ is continuous. Let $z^\star := f(x^\star, y^\star)$ and $U$ be an open neighborhood of $z^\star$. Then there is an open neighborhood $V$ of $(x^\star, y^\star)$ such that $f(V) \subseteq U$.

In this answer, @Seirios goes further and asserts that there are some open neighborhood $V_1$ of $x^\star$ and open neighborhood $V_2$ of $y^\star$ such that $f(V_1 \times V_2) \subseteq U$.

Could you elaborate how to obtain such $V_1$ and $V_2$?


If $V$ is open, it is (by definition) the union of basic open neighborhoods of the form $V_1 \times V_2$. As $V$ contains $(x^*, y^*)$, one of these basic neighborhoods must contain $(x^*, y^*)$.