Different version of the Hilbert basis theorem
67706
If $R$ is a Noetherian ring then $R[[x]]$ is also Noetherian
144531
How to prove that a nilpotent operator has a basis representation that is strictly upper triangular?
52596
A basis for $k(X)$ regarded as a vector space over $k$
17159
Proof of Closest Point Theorem in Hilbert Space
144225
$\ell_p$ is Hilbert if and only if $p=2$
107682
Show that if the Riesz map is surjective on $H$, then $H$ is a Hilbert space
12212
Showing a certain subspace of Hilbert space is dense
96748
Formal deductions on Hilbert system
115273
Nilpotent matrix and basis for $F^n$
57649
Prove that for every $f$, a bilinear form, there exists a basis ${v_1,...,v_n}$ so that $f(v_i,v_j) = -f(v_j,v_i)$
5506
Perturbation property of Orthonormal basis for Hilbert space
130045
Show that $l^2$ is a Hilbert space
81879
$Av=λv$ basis proof problems
61539
proof for a basis in $L^2$
148101
Basis for $\mathbb{Z}^2$
129549
Showing that the orthogonal projection in a Hilbert space is compact iff the subspace is finite dimensional
63118
Finding the closed form of the determinant of the Hilbert matrix