Intereting Posts

Compositional “square roots”
Solving functional equation $f(x)f(y) = f(x+y)$
Using polynomials as recursions
Explanation on $1-1$ functions and onto functions
Compute $v_2\left(2005^{2^{100}}-2003^{2^{100}}\right)$
Proof of $n^{1/n} – 1 \le \sqrt{\frac 2n}$ by induction using binomial formula
Families of subsets whose union is the whole set
Exercise books in analysis
Looking for a proof of Cleo's result for ${\large\int}_0^\infty\operatorname{Ei}^4(-x)\,dx$
Dog Bone Contour Integral
Integrate product of Dirac delta and discontinuous function?
EigenValues and EigenVectors in PCA?
Clarification on the meaning of dx in the integral and differential setting
Integral of $\int \frac {\sqrt {x^2 – 4}}{x} dx$
How to do $\frac{ \partial { \mathrm{tr}(XX^TXX^T)}}{\partial X}$

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}$??

- Without AC is there a relationship between $\beth$ and $\aleph$ numbers?
- Existence of non-trivial linear functional on any vector space
- Tukey's lemma by axiom of choice
- The relationship of ${\frak m+m=m}$ to AC
- Can you explain the “Axiom of choice” in simple terms?
- For any two sets $A,B$ , $|A|\leq|B|$ or $|B|\leq|A|$

- Question about Fredholm operator
- Closure of the span in a Banach space
- Isometric to Dual implies Hilbertable?
- Proving that “Every non-trivial ring (i.e. with more than one element ) with unity has a maximal ideal” implies axiom of choice is true
- Dual space of the space of finite measures
- Is ${\rm conv}({\rm ext}((C(X))_1))$ dense in $(C(X))_1$?
- When can a real Banach space be made into a complex Banach space?
- Is it possible to choose a subsequence countable times in ZF?
- Why does the infinite prisoners and hats puzzle require the axiom of choice?
- Duality of $L^p$ and $L^q$

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$.

- If $f_n\to f$ a.e. and are bounded in $L^p$ norm, then $\int f_n g\to \int fg$ for any $g\in L^q$
- Applications of rings without identity
- Arranging letters with two letters not next to each other
- If I generate a random matrix what is the probability of it to be singular?
- measure of information
- Alternative notation for exponents, logs and roots?
- Show that $\forall (x,y)$ in the first quadrant: $\frac {x^2+y^2}{4}\leq e^{x+y-2}$
- Can I keep adding more dimensions to complex numbers?
- History of notation: “!”
- Complex Zeros of $z^2e^z-z$
- Show $\alpha$ is selfadjoint.
- If the positive series $\sum a_n$ diverges and $s_n=\sum\limits_{k\leqslant n}a_k$ then $\sum \frac{a_n}{s_n}$ diverges as well
- Show that $\sum_{k=0}^n\binom{3n}{3k}=\frac{8^n+2(-1)^n}{3}$
- Rotman introduction to theory of groups exercise
- How to show that quotient space $X/Y$ is complete when $X$ is Banach space, and $Y$ is a closed subspace of $X$?