Is it true that given an index set $A$ and a topological vector subspace $E$ of $\mathbb{R}^A$ (that is, $E$ carries weak topology), there is a dense topological vector subspace of $E$ which is isomorphic as a topological vector space to a direct sum $$\bigoplus_{a\in B}\mathbb{R}_a$$ of $B$-many copies of $\mathbb{R}$ (endowed with the topology inherrited from the Tychonoff product $\mathbb{R}^B$) for some index set $B$?
2025-01-13 00:02:00.1736726520
Does every vector space with a weak topology contain a dense subspace which is a direct sum of real lines?
89 Views Asked by Jan https://math.techqa.club/user/jan/detail At
1
There are 1 best solutions below
Related Questions in TOPOLOGICAL-VECTOR-SPACES
- equivalent definitions of weak topology on a topological vector space
- The existence of a limit point of a closed set
- Cardinal functions on TVS
- Basic neighborhoods in weak topology
- Quotient topology of a topological vector space is translation-invariant
- In a proof of the representation of linear functionals of topological vector space
- Advantange of having a complete topology on test functions
- Do I need topology to study stochastic process?
- weak topology and dual pairs
- linear independence in a dual pair
Related Questions in DIRECT-SUM
- Direct sum counterexample
- Simultaneously diagonalize the regular representation of C2 (+) C2 (+) C2.
- Dual group of the direct sum of abelian groups
- Does $A\oplus \mathbb{Z}\cong B\oplus \mathbb{Z}$ imply $A\cong B$?
- Let $φ: V→V$ be a linear map with $φ \circ φ = \text{id}$. If $U = \{v \in V | φ(v) = v\}, W = \{ v \in V | φ(v) = -v\}$. Prove $ V \cong U \oplus W$
- If $T:V\to V$ linear and $N(V)+R(T)=V$ then $V=N(T)\oplus R(T)$
- Free R-module as a direct sum of copies of R
- Projection of a vector onto direct sum subspace
- Question about equations involving sum of powers modulo a prime
- Splitting $\mathbb Z_{pq}$ into direct sum with $\mathbb Z_p$
Related Questions in WEAK-TOPOLOGY
- Can we classify weakly compact subsets of $l^{\infty}$?
- Why is the quotient map from a Banach space open with respect to the weak topologies?
- Metric on $M[0,1]$ the space of measures
- How to show that $\lambda\in V^{**}$ is in the image of $V$ iff it is weak-* continuous?
- Weak closure of orthonormal basis in Hilbert space
- Is $\text{ball}_{R}(X^{\ast})\cap\bigcap_{i\in I}\{x^{\ast}\in X^{\ast} | \ |x^{\ast}(x_i)|\leq r_i\}$ norm (or weak*) connected?
- Weak closure of orthonormal basis in Hilbert space (2)
- Does every vector space with a weak topology contain a dense subspace which is a direct sum of real lines?
- Weaker and Stronger topologies (open sets, continuity and terminology)
- The bidual of a Banach space
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
If $E$ is a normed space, then in its weak topology there is no subspace isomorphic as a topological vector space to $\mathbb R^{\mathbb N}$.
We can prove this using: in a normed space, if a sequence converges weakly then it is bounded (in norm).
So let $E$ be a normed space. Let $e_1,e_2,\cdots$ be any sequence of nonzero vectors in $E$. Then there exists a choice $(t_k)_{k \in \mathbb N}$ of scalars, so that the equence $(\sum_{k=1}^n t_k e_k)_{n \in \mathbb N}$ is unbounded, and therefore the series $\sum_{k=1}^\infty t_k e_k$ does not converge weakly.
Finally note that if $\phi : \mathbb R^{\mathbb N} \to E$ is a linear injective map that is continuous (from the product topology of $\mathbb R^{\mathbb N}$ to the weak topology of $E$), then it gives us a sequence $(e_k)$ of nonzero vectors such that $$ \sum_{k=1}^\infty t_k e_k = \phi\Big((t_1,t_2,t_3,\cdots)\Big) $$ converges weakly for all sequences $(t_k)$ of scalars.
added (no need for weak sequential completeness)
In a normed space, for any sequence $(e_k)$ there are positive scalars so that $t_k e_k$ is unbounded, and therefore $t_k e_k$ does not converge weakly. But any linear injection $$ \phi : \bigoplus_{k \in \mathbb N} \mathbb R \to E $$ that is continuous (from the topology inherrited from the Tychonoff product $\mathbb{R}^B$ to the weak topology) would give us a counterexample to that.