Skip to main content

[Community Question] Linear-algebra: Cardinality of infinite dimensional vector space of functions

One of our user asked:

Assume that F is an infinite field, k is an infinite cardinal, and V= F^k is a vector space. Can it be prove proved that |V|= dimV?
My thought was that we know that|V|= max {dimV,|F|}, so all I need is to prove is that if |V|=|F|, then also |F|=dimV. Now, from Konig theorem, if |V|=|F|, then k< cf(|F|), so I tried to prove that k< cf(|F|) is imposible, but i didn't know how to continue this line of thougt. Has sombodey know how to prove it?


Comments

Popular posts from this blog

[Community Question] Linear-algebra: Are linear transformations between infinite dimensional vector spaces always differentiable?

One of our user asked: In class we saw that every linear transformation is differentiable (since there's always a linear approximation for them) and we also saw that a differentiable function must be continuous, so it must be true that all linear operators are continuous, however, I just read that between infinite dimensional vector spaces this is not necessarily true. I would like to know where's the flaw in my reasoning (I suspect that linear transformations between infinite dimensional vector spaces are not always differentiable).

[Community Question] Calculus: Asymptotic behavior of $\sum\limits_{n=0}^{\infty}x^{b^n}$

One of our user asked: This follow my previous post here , where Song has proven that $\forall b>1,\lim\limits_{x\to 1^{-}}\frac{1}{\ln(1-x)}\sum\limits_{n=0}^{\infty}x^{b^n}=-\frac{1}{\ln(b)}$ , that is to say : $$\forall b>1,\sum\limits_{n=0}^{\infty}x^{b^n}=-\log_b(1-x)+o_{x\to1^-}\left(\log_b(1-x)\right)$$ (The $o_{x\to1^-}\left(\log_b(1-x)\right)$ representing a function that is asymptotically smaller than $\log_b(1-x)$ when $x\to1^{-}$ , that is to say whose quotient by $\log_b(1-x)$ converges to $0$ as $x\to1^{-}$ , see small o notation ) So we have here a first asymptotical approximation of $\sum\limits_{n=0}^{\infty}x^{b^n}$ . I now want to take it one step further and refine the asymptotical behaviour, by proving a stronger result which I conjecture to be true (backed by numerical simulations) : $$\sum\limits_{n=0}^{\infty}x^{b^n}=-\log_b(1-x)+O_{x\to1^-}\left(1\right)$$ (The $O_{x\to1^-}\left(1\right)$ representing a function that is asymptotically bounded wh...