Intereting Posts

Can any smooth planar curve which is closed, be a base for a 3 dimensional cone?
Computing $e^{isD}$ for a differential operator D
Markov process vs. markov chain vs. random process vs. stochastic process vs. collection of random variables
Quick way to find eigenvalues of anti-diagonal matrix
Divide a triangle into 2 equal area polygons
Confusing Trigonometry Problem
Calculate $\frac{1}{5^1}+\frac{3}{5^3}+\frac{5}{5^5}+\frac{7}{5^7}+\frac{9}{5^9}+\cdots$
A commutative ring is a field iff the only ideals are $(0)$ and $(1)$
Name of corresponding objects in equivalent categories
Finding $\binom{n}{0} + \binom{n}{3} + \binom{n}{6} + \ldots $
The set of all $x$ such that $xHx^{-1}\subseteq H$ is a subgroup, when $H\leq G$
Lie group homomorphism from $\mathbb{R}\rightarrow S^1$
Grothendieck group of the monoid of subsets in a group
On the ring of integers of a compositum of number fields
Local solutions of a Diophantine equation

I am looking for an explicit example for a Hamel basis for $l^{\,p}$?. As we know that for a Banach space a Hamel basis has either finite or uncountably infinite cardinality and for such a basis one can express any element of the vector space as a finite linear combination of these. After some trying I could not write one explicitly. A quick google search did not reveal anything useful except for the proof of uncountability of a an infinite Hamel basis. Maybe I am being a bit silly but I don’t think the answer is as obvious as for a Schauder basis for the same case.

So, what is an explicit example for a Hamel basis for $l^{\,p}$??

- Does Lowenheim-Skolem theorem depend on axiom of choice?
- Can you explain the “Axiom of choice” in simple terms?
- Why does the infinite prisoners and hats puzzle require the axiom of choice?
- For any two sets $A,B$ , $|A|\leq|B|$ or $|B|\leq|A|$
- What's an example of a vector space that doesn't have a basis if we don't accept Choice?
- Hahn-Banach Theorem for separable spaces without Zorn's Lemma

- Direct approach to the Closed Graph Theorem
- Continuity and the Axiom of Choice
- Young's inequality for discrete convolution
- Show reflexive normed vector space is a Banach space
- Is $W_0^{1,p}(\Omega)\cap L^\infty(\Omega)$ complete?
- Does a “backwards” choice function imply the Axiom of Choice?
- Axiom of choice and compactness.
- Let $V:= (C(),\|\cdot\|$) with $\|f\|:= \int_0^1|f(x)| \ dx$. Consider the function $f_n$ and show that V is not a Banach Space.
- Why isn't this a valid argument to the “proof” of the Axiom of Countable Choice?
- If the dual spaces are isometrically isomorphic are the spaces isomorphic?

The existence of a Hamel basis for $\ell^p$ cannot be proved without some of the axiom of choice, which in modern terms usually means that we cannot write it explicitly.

It is consistent with ZF+DC (a weak form of the axiom of choice which is sufficient to do a lot of the usual mathematics) that all sets of real numbers have Baire property, and in such model we have that every linear function from $\ell^p$ to itself is continuous.

It is also true (in ZF) that $\ell^p$ is separable for $1\leq p<\infty$. It is a known fact that continuous endomorphisms are determined completely by the countable dense set.

If there exists a Hamel basis then its cardinality is at least $\frak c$ (or rather exactly that), and therefore it has $2^\frak c$ many permutations, each extends uniquely to a linear automorphism, which is continuous.

Now, note that $\ell^p$ has size $\leq\frak c$ itself, since it is a separable metric space (and again, this is in fact $\frak c$) and therefore it has only $\frak c$ many *continuous* endomorphisms.

Cantor’s theorem tells us that $2^\frak c\neq c$, and therefore in Shelah’s model where every set of real numbers have the Baire property there is no Hamel basis for $\ell^p$.

- A conjecture about Pythagorean triples
- Learning general relativity
- Problem with Density of $X-Y$
- Find all natural values n, that $\sqrt{P_{2}(n)}$ is also a natural number
- To prove that $ + ++\dots ++$ is even.
- Taylor series for $\sqrt{x}$?
- How to show that $f(x)=x^2$ is continuous at $x=1$?
- Burgers equation with initial data $u(x,0) = x^2$
- Is $\mathbb{C}^2$ isomorphic to $\mathbb{R}^4$?
- On orders of a quadratic number field
- Existence and uniqueness of a function generalizing a finite sum of powers of logarithms
- Meaning of signed volume
- Can the factorial function be written as a sum?
- Are the rationals a closed or open set in $\mathbb{R}$?
- Best books on A Second Course in Linear Algebra