For a finite-dimensional inner product space $V$, since it has a finite basis, then we can do the Gram-Schimidt process to produce an orthonormal basis. However, the Gram-Schmidt process does not work with infinitely many vectors. So it is natural to ask, does every infinite-dimensional inner product space have an orthonormal basis? If the answer is yes, how to prove it?  PS: For "basis", I mean the Hamel basis.
I'm reading the Algebra book by Knapp and he mentions in passing that an orthonormal set in an infinite dimension vector space is "never large enough" to be a vector-space basis (i.e. that every vector can be written as a finite sum of vectors from the basis; such bases do exist for infinite dimension vector spaces by virtue of the axiom of choice, but usually one works with orthonormal sets for which infinite sums yield all the elements of the vector space).  So my question is - how can we prove this claim? (That an orthonormal set in an infinite dimension vector space is not a vector space basis).    Edit (by Jonas Meyer): Knapp says in a footnote on  of Basic algebra:     In the infinite-dimensional theory the term "orthonormal basis" is used for an orthonormal set that spans $V$ when limits of finite sums are allowed, in addition to finite sums themselves; when $V$ is infinite-dimensional, an orthonormal basis is never large enough to be a vector-space basis.   Thus, without explicitly using the word, Knapp is referring only to complete infinite-dimensional inner product spaces.
How do I increase the render distance? Why are properties lost in the Cayley–Dickson construction? Motivating question:    I'm aware that one can construct a hierarchy of number systems via the Cayley–Dickson process:  $$\mathbb{R} \subset \mathbb{C} \subset \mathbb{H} \subset \mathbb{O} \subset \mathbb{S} \subset \ldots $$  "Reals" $\subset$ "Complex" $\subset$ "Quaternions" $\subset$ "Octonions" $\subset$ "Sedenions" $\subset$ $\ldots$  and that at each step you're given a multiplication table that tell how the elements interact. As you move up the ladder, certain "nice" properties are lost: ordering,  commutativity, associativity, multiplicative normedness, etc... Given the multiplication table, you can show that these properties don't hold.   Eric Naslund noted that "the first 4 are very special as they are the unique 4 normed division algebras over ℝ", no surprise then that these $2^n$-ions have found quite a bit of use. I'm interested in the sequence itself however, irrespective of how useful a $2^{256}$-ion might be (ducenti-quinquaginta-sex-ion?).   I feel like something deeper is going on here though that I don't understand. Why are these particular properties lost at each step? Is it possible to quantify the process such that, at the $2^n$-ion you can say something about the symmetry of the multiplication table*?  * I'm making an ansatz that there is a connection between the symmetry of the multiplication table and these "nice" properties. Taylor Series type inequality How do you prove that there are infinitely many primes of the form $5 + 6n$? What are the use cases of SO_REUSEADDR? I have used SO_REUSEADDR to have my server which got terminated to restart with out complaining that the socket is already is in use. I was wondering if there are other uses of SO_REUSEADDR? Have anyone used the socket option for other than the said purpose? Indicator icons do not appear after upgrade to Ubuntu 17.10 Everytime, I read about blackbody, I always get confused at the point where it is written     Under thermal equilibrium conditions , the blackbody radiation depends only on temperature. ..... . At equilibrium , electromagnetic waves bounce around with the walls of the cavity.   What is this equilibrium all about? Why is it important here?? If there is thermal equilibrium, why does the body radiate?? Please help. How does a fork bomb work? WARNING DO NOT ATTEMPT TO RUN THIS ON A PRODUCTION MACHINE   In reading the  I generally follow what's going on with the following code:  :(){ :|:&amp; };:   excerpt of description     The following fork bomb was presented as art in 2002;   its exact origin is unknown, but it existed on Usenet prior to 2002.   The bomb is executed by pasting the following 13 characters into a    shell such as  or . It operates by defining   a function called ':', which calls itself twice, once in the   foreground and once in the background.   However the last bit isn't entirely clear to me. I see the function definition:  :(){ ... }   But what else is going on?  Also do other shells such as ksh, csh, and tcsh also suffer the same fate of being able to construct something similar? Sockets: Discover port availability using Java Is it possible to run Snow Leopard on a LATE 2011 MacBook Pro? Assume that $X$ and $Y$ are two random variables such that $Y=E[X|Y]$ almost surely and $X= E[Y|X]$ almost surely. Prove that $X=Y$ almost surely.   The hint I was given is to evaluate: $$E[X-Y;X&gt;a,Y\leq a] + E[X-Y;X\leq a,Y\leq a]$$  which I can write as: $$\int_A(X-Y)dP +\int_B(X-Y)dP$$ where $A=\{X&gt;a, Y\leq a\}$ and $B=\{X\leq a,Y\leq a\}$.  But I need some more hints. How to remove local (untracked) files from the current Git working tree org.apache.tomcat.util.bcel.classfile.ClassFormatException: Invalid byte tag in constant pool: 15 Can't install Linux Headers (Kali Linux) I am trying to install Linux headers for Kali Linux on my machine and I have tried every possible solution on the internet but it always show "Unable to locate packages "  root@kali:/usr/sbin# apt-get install linux-headers-4.6.0-kali1-amd64 Reading package lists... Done Building dependency tree        Reading state information... Done E: Unable to locate package linux-headers-4.6.0-kali1-amd64 E: Couldn't find any package by glob 'linux-headers-4.6.0-kali1-amd64' E: Couldn't find any package by regex 'linux-headers-4.6.0-kali1-amd64'   Here is my sources.list file :  # Regular Repositories deb http://http.kali.org/kali sana main non-free contrib deb http://security.kali.org/kali-security sana/updates main contrib non-free # Source repositories deb-src http://http.kali.org/kali sana main non-free contrib deb-src http://security.kali.org/kali-security sana/updates main contrib non-free   Uname -a output :   root@kali:/usr/sbin# uname -a Linux kali 4.6.0-kali1-amd64 #1 SMP Debian 4.6.4-1kali1 (2016-07-21) x86_64 GNU/Linux Formal basis for variable substitution in limits Finding the limit of $\frac {n}{\sqrt[n]{n!}}$ I'm trying to find  $$\lim_{n\to\infty}\frac{n}{\sqrt[n]{n!}} .$$   I tried couple of methods: Stolz, Squeeze, D'Alambert  Thanks!  Edit: I can't use Stirling. How can I get form data with JavaScript/jQuery? Getting tabular statistics from table using QGIS? I have heard that some issues in group theory prevent classifying all manifolds upto homotopy using the fundamental group invariant. Does anyone know what are those issues?  Thanks, K. The ls -al command shows the following output;  -rwxrw-r--    10    root   root 2048    Jan 13 07:11 afile.exe   What are all the fields in the preceding display?