Intereting Posts

Prove that if $X$ and it's closure $\overline X$ are connected and if $X\subset Y \subset \overline X$, show that Y is also connected.
Is $f(x + dx) -f(x) = f'(x) dx$ a valid equation?
Embedding of free $R$-algebras
How many segments are there in the Cantor set?
Showing the metric $\rho=\frac{d}{d+1} $ induces the same toplogy as $d$
Find conditions on positive integers so that $\sqrt{a}+\sqrt{b}+\sqrt{c}$ is irrational
The number of ways of writing an integer as a sum of two squares
How to divide currency?
Show the negative-definiteness of a squared Riemannian metric
Fixed points and cardinal exponentiation
When do two functions become equal?
Why is the restricted direct product topology on the idele group stronger than the topology induced by the adele group?
Online tool for making graphs (vertices and edges)?
Intuitive understanding of why the sum of nth roots of unity is $0$
Does $M_n^{-1}$ converge for a series of growing matrices $M_n$?

There is a conjecture: “The only *subspace* of a **normed** vector space $V$ that has a non-empty interior, is $V$ itself.” (here, the topology is the obvious set of all open sets generated by the metric $||\cdot||$).

I have a *proof* for the case $V$ is finite dimensional. Because, let $V$ have dimension $n$ and a subspace $S$ of $V$ have dimension $m < n$. Let $\{v_1,v_2,\ldots,v_m\}$ be a basis for $S$, extended to the basis $\{v_1,\ldots,v_m,\ldots,v_n\}$ of $V$. Now, suppose that $p = b_1v_1+\cdots+b_mv_m$ is an interior point of $S$. Now, consider the norm $N(a_1v_1 +\cdots+a_nv_n)=\max(|a_1|,\ldots,|a_n|)$. Then, there is an $r>0$, such that $||x-p||<r$ and $x$ is in $V$ $\implies$ $x$ is in $S$, since on a finite dim. space, all norms are equivalent. Let $m<k\leq n$,and chose $v$ in $V$ as:

$$v=\left(b_1+\frac{r}{2}\right)v_1+\left(b_2+\frac{r}{2}\right)v_2+\cdots+\left(b_m+\frac{r}{m}\right)v_m+\frac{r}{2}v_k$$

Then, $N(v-p)\leq\frac{r}{2}<r$, so $v$ is in $S$ and by the subspace property of $S$, $v_k$ is in $S$ too, a contradiction to $m<n$.

- Does every Banach space admit a continuous injection to a non-closed subspace of another Banach space?
- Are there two different ways to generalize the orthogonal group?
- Weakly compact implies bounded in norm
- Banach spaces and their unit sphere
- The space $C$ with $\|f\|:=\int_a^b |f(x)|d(x)$ is a normed space but not a Banach space
- Cauchy-Schwarz Inequality

I have primarily 2 questions:

(1) Is there a simpler method to proof the conjecture for the finite dimensional case?

(2) Is the conjecture true for the infinite dimensional case?

Sorry, if the question admits a very trivial answer. The motivation behind my question , is the fact that an open interval in $\mathbb{R}$ is not open in $\mathbb{R}\times\mathbb{R}$, etc.

- Multiplicative norm on $\mathbb{R}$.
- Pathologies in module theory
- Let $f: V_n \to V_n$ be an endomorphism, prove $\text{dim}(\text{Ker}f \cap \text{Im} f) = r(f) - r(f^2)$
- Dimensions of vector subspaces
- Prove that Every Vector Space Has a Basis
- Linear basis of sum of kernels of two linear applications from $\mathbb R^4$ to $\mathbb R^2$
- Why is it important that a basis be orthonormal?
- What is $\Bbb{R}^n$?
- Not every metric is induced from a norm
- Trouble understanding Sum of Subspaces

Your conjecture is true in any normed vector space. They key is that you don’t need to switch to an equivalent norm, as your proof does.

Suppose $S$ has a nonempty interior. Then it contains some ball $B(x,r) = \{y : \|y-x\| < r\}$. Now the idea is that every point of $V$ can be translated and rescaled to put it inside the ball $B(x,r)$. Namely, if $z \in V$, then set $y = x + \frac{r}{2 \|z\|} z$, so that $y \in B(x,r) \subset S$. Since $S$ is a subspace, we have $z = \frac{2 \|z\|}{r} (y-x) \in S$. So $S=V$.

A nice consequence of this is that any *closed* proper subspace is necessarily nowhere dense. So if $V$ is a Banach space, the Baire category theorem implies that $V$ cannot be a countable union of closed proper subspaces. In particular, an infinite dimensional Banach space cannot be a countable union of finite dimensional subspaces. This means, for example, that a vector space of countable dimension (e.g. the space of polynomials) cannot be equipped with a complete norm.

It’s also true in any topological vector space. If $S$ contains a neighbourhood $U$ of $s$, then it also contains $U-s$ which is a neighbourhood of $0$. By continuity of scalar multiplication, for any $v \in V$ there is $\delta > 0$ such that $t v \in U-s$ for all

scalars $t$ with $|t| < \delta$. And then $v = t^{-1}(tv) \in S$.

Suppose $W$ is a subspace of a normed vector space $V$ with nonempty interior. Let $w\in W$ be a point such that there is an open neighborhood $U$ of $w$ contained within $W$. Then the open set $U’ = U – w = \{v\in V : v + w\in U\}$ is an open neighborhood of $0$ which is contained within $W$, since $W$ is closed under addition. In particular, some ball $B(0,r)$ is contained within $W$. If $v\in V$ is any point, then $$\frac{r}{2\|v\|}v\in B(0,r)\subset W,$$ and thus since $W$ is closed under scalar multiplication, $v\in W$. It follows that $V \subseteq W$, so $V = W$.

- Evaluating $\int_0^{\infty}\frac{\ln(x^2+1)}{x^2+1}dx$
- Prove that $\exp(x)>0$ using only formal definition of exp
- Find all $n>1$ such that $\dfrac{2^n+1}{n^2}$ is an integer.
- Prove by Mathematical Induction: $1(1!) + 2(2!) + \cdot \cdot \cdot +n(n!) = (n+1)!-1$
- how to point out errors in proof by induction
- Avoiding proof by induction
- Min-Max Principle $\lambda_n = \inf_{X \in \Phi_n(V)} \{ \sup_{u \in X} \rho(u) \}$ – Explanations
- DTFT of Impulse train is equal to 0 through my equation.
- Rate of change of direction of vector-valued function
- Proof that there is no Banach-Tarski paradox in $\Bbb R^2$ using finitely additive invariant set functions?
- Connected sum of surfaces with boundary
- Why does this series $\sum_{n=0}^{\infty} \frac{(n!)^{2}}{(2n)!}$ converge?
- Prove or disprove there exists a set of four numbers out of the $48$ positive integers of which product is a perfect square
- which of the following is NOT a possible value of $(e^{f})''(0)$??
- irreducibility of polynomials with integer coefficients