Intereting Posts

Prove the following integral inequality: $\int_{0}^{1}f(g(x))dx\le\int_{0}^{1}f(x)dx+\int_{0}^{1}g(x)dx$
externally convex M-space
If $f_{n}$ are non-negative and $\int_{X}f_{n}d\mu=1$ does $\frac{1}{n}f_{n}$ converge almost-everywhere to $0$? does $\frac{1}{n^{2}}f_{n}$?
Basic examples of ordinals
Does mathematics require axioms?
Completion of Topological Group with Metric
The Magic Chocolate Bar illusion
Where does the Pythagorean theorem “fit” within modern mathematics?
Evaluating $\lim_{n\rightarrow\infty}x_{n+1}-x_n$
A simple(?) Analytical Geometry Question (Ellipse) my teacher can't solve
Finite-dimensional subspace normed vector space is closed
$\epsilon$-$\delta$ proof, $\lim\limits_{x \to a}$ $\frac{1}{x}$ = $\frac{1}{a}.$
Is there an equation that will graph a line segment?
How to prove the distributive property of cross product
Good books on Philosophy of Mathematics

I feel confused by the proof of the following theorem in Rudin 2/e:

Theorem 1.24If $X$ is a topological vector space (t.v.s.) with a countable local base, then there is a metric $d$ on $X$ s.t.

- $d$ is compatible with the topology of $X$,
- the open balls centered at $0$ are balanced, and
- $d$ is invariant: $d(x+z,y+z)=d(x,y), \forall x,y,z \in X$.

(This is the same theorem as in this question here.)

- Equicontinuity if the sequence of derivatives is uniformly bounded.
- Spectrum of the $\ell^{1}$ operator $A(x)=(x_{2}+x_{3}+x_{4}+ \dots,x_1,x_2,x_3,\dots)$
- Is this operator bounded? Hilbert space projection
- Can spectrum “specify” an operator?
- Convergence to function that is not measurable
- The sup norm on $C$ is not equivalent to another one, induced by some inner product

I quote the beginning of the proof where I got confused:

Proof.By Theorem 1.14 (which states that in a t.v.s. every neighborhood of $0$ contains a balanced neighborhood of $0$), $X$ has a balanced local base $\{V_n\}$ s.t. $$V_{n+1}+V_{n+1}+V_{n+1}+V_{n+1}\subset V_n , \forall n=1,2,\ldots $$

My question: I understand that we can make the countable local base balanced by choosing a balanced neighborhood inside each base element, but how can I guarantee that $V_{n+1}+V_{n+1}+V_{n+1}+V_{n+1}\subset V_n$ always holds? I feel that this might be related to the following result (p.10):

If $W$ is a neighbhorhood of $0$ in $X$, then there is a neighborhood $U$ of $0$ which is symmetric and which satisfies $U+U\subset W$.

However this only helps me find (balanced) neighborhoods $V’$ s.t. $V’+V’+V’+V’\subset V_n$, but how can I ensure that this $V’$ is actually $V_{n+1}$?

- Union of a countable collection of open balls
- Direct sum of orthogonal subspaces
- A niggling problem about frontier in topology
- On a topological proof of the infinitude of prime numbers.
- Selfadjoint Restrictions of Legendre Operator $-\frac{d}{dx}(1-x^{2})\frac{d}{dx}$
- Is the image of a nowhere dense closed subset of $$ under a differentiable map still nowhere dense?
- An other question about Theorem 3.1 from Morse theory by Milnor
- $T$ surjective iff $T^*$ injective in infinite-dimensional Hilbert space?
- Open Mapping Theorem: counterexample
- A few questions about the Hilbert triple/Gelfand triple

As the OP observes, one starts with a balanced countable basis $\{V_n\}$.

We will then construct a new countable base $\{U_n\}$ such that $U_{n+1} + U_{n+1} + U_{n+1} + U_{n+1} \subset U_n.$ Relabelling the $U_n$ as $V_n$ answers the OP’s question.

To begin with, define $U_1 := V_1$. Next, as described by the OP,

one produces a balanced n.h. $V’$ such that $V’ + V’ + V’ + V’ \subset U_1.$ Now

define $U_2 := V_2 \cap V’.$ Note that $U_2$ is balanced, is contained in $V_2$,

and satisfies $U_2 + U_2 + U_2 + U_2 \subset U_1$.

We now continue inductive. At the $n$th step, we have produced $U_n$ which is

balanced, is contained in $V_n$, and satisfies $U_n + U_n + U_n + U_n \subset U_{n-1}$. To define $U_{n+1}$, we then construct (as the OP describes) a balanced

$V’$ such that $V’ + V’ + V’ + V’ \subset U_n,$ and define $U_{n+1} := V’ \cap V_{n+1}$. This completes the induction, and hence the construction.

(Note that since the $V_n$ forms a n.h. basis, and each $U_n \subset V_n$, we have

that the $U_n$ also form a n.h. basis.)

[Also: this is essentially hsc’s answer. For some reason, perhaps because of it’s phrasing, that answer was voted down, and attracted a comment which seemed to misinterpret it as a new question, rather than an answer to this question. Hopefully this more detailed explanation will make things clear.]

We can **choose** $V_{n+1}$ such that it is balanced inside $V’$.

- How do I solve this System of Equations?
- $I+J=R$, where $R$ is a commutative rng, prove that $IJ=I\cap J$.
- What is the value of $\frac{\sin x}x$ at $x=0$?
- Statistical Inference and Manifolds
- Probabilistic techniques, methods, and ideas in (“undergraduate”) real analysis
- Taking the second derivative of a parametric curve
- Existence of an holomorphic function
- Let $\text{Rank}{(A – \lambda I)^k} = \text{Rank}{(B – \lambda I)^k}$. Why are $A$ and $B$ similar?
- The exact probability of observing $x$ unique elements after sampling with replacement from a set with $N$ elements
- How to prove that this solution of heat equation is not a tempered distribution?
- Good 1st PDE book for self study
- $V_k$ being a model of ZFC whenever $k$ is strongly inaccessible
- Showing that $\mathbb{R}$ and $\mathbb{R}\backslash\mathbb{Q}$ are equinumerous using Cantor-Bernstein
- Finitely generated flat modules that are not projective
- Choosing a text for a First Course in Topology